Index of /logs/student-concurrency/20210615-092525-student-concurrency-9bbddad6b1
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
concurrency.2021-06-12_15-04-15.logfiles/ 2021-06-15 09:30 -
concurrency.2021-06-12_15-04-15.logfiles-dump/ 2021-06-15 09:30 -
![[TXT]](/icons/text.gif)
results.2021-06-15_09-23-30.table.html 2021-06-15 09:30 6.1M
results.2021-06-15_09-23-30.table.csv 2021-06-15 09:30 897K
results.2021-06-15_09-23-30.diff.html 2021-06-15 09:30 6.0M
results.2021-06-15_09-23-30.diff.csv 2021-06-15 09:30 882K
![[ ]](/icons/unknown.gif)
overview 2021-06-15 09:30 49K
concurrency.2021-06-12_15-04-15.results.txt 2021-06-15 09:26 2.4M
concurrency.2021-06-12_15-04-15.results.Automizer PN.xml 2021-06-15 09:26 2.1M
concurrency.2021-06-12_15-04-15.results.Automizer PN.Weaver Benchmarks.xml 2021-06-15 09:26 343K
concurrency.2021-06-12_15-04-15.results.Automizer PN.Ultimate Repo: pthreads.xml 2021-06-15 09:30 71K
concurrency.2021-06-12_15-04-15.results.Automizer PN.Ultimate Repo: MCR.xml 2021-06-15 09:26 38K
concurrency.2021-06-12_15-04-15.results.Automizer PN.Ultimate Repo: Boogie.xml 2021-06-15 09:26 79K
concurrency.2021-06-12_15-04-15.results.Automizer PN.SVCOMP ConcurrencySafety-Main.xml 2021-06-15 09:30 1.6M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.Persistent.xml 2021-06-15 09:30 2.1M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.Persistent.Weaver Benchmarks.xml 2021-06-15 09:30 330K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.Persistent.Ultimate Repo: pthreads.xml 2021-06-15 09:26 78K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.Persistent.Ultimate Repo: MCR.xml 2021-06-15 09:30 38K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.Persistent.Ultimate Repo: Boogie.xml 2021-06-15 09:26 73K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.Persistent.SVCOMP ConcurrencySafety-Main.xml 2021-06-15 09:30 1.7M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.None.xml 2021-06-15 09:30 2.2M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.None.Weaver Benchmarks.xml 2021-06-15 09:30 346K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.None.Ultimate Repo: pthreads.xml 2021-06-15 09:26 88K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.None.Ultimate Repo: MCR.xml 2021-06-15 09:26 39K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.None.Ultimate Repo: Boogie.xml 2021-06-15 09:26 83K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.None.SVCOMP ConcurrencySafety-Main.xml 2021-06-15 09:26 1.7M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.xml 2021-06-15 09:26 2.1M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Weaver Benchmarks.xml 2021-06-15 09:30 294K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Ultimate Repo: pthreads.xml 2021-06-15 09:26 77K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Ultimate Repo: MCR.xml 2021-06-15 09:30 39K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Ultimate Repo: Boogie.xml 2021-06-15 09:30 75K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP ConcurrencySafety-Main.xml 2021-06-15 09:30 1.7M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.xml 2021-06-15 09:30 1.9M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.Weaver Benchmarks.xml 2021-06-15 09:30 273K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.Ultimate Repo: pthreads.xml 2021-06-15 09:26 71K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.Ultimate Repo: MCR.xml 2021-06-15 09:30 37K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.Ultimate Repo: Boogie.xml 2021-06-15 09:26 70K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.SVCOMP ConcurrencySafety-Main.xml 2021-06-15 09:30 1.5M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.xml 2021-06-15 09:30 2.1M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.Weaver Benchmarks.xml 2021-06-15 09:30 317K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.Ultimate Repo: pthreads.xml 2021-06-15 09:26 77K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.Ultimate Repo: MCR.xml 2021-06-15 09:30 40K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.Ultimate Repo: Boogie.xml 2021-06-15 09:26 75K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-06-15 09:30 1.7M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.xml 2021-06-15 09:30 2.1M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Weaver Benchmarks.xml 2021-06-15 09:30 335K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Ultimate Repo: pthreads.xml 2021-06-15 09:30 85K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Ultimate Repo: MCR.xml 2021-06-15 09:26 35K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Ultimate Repo: Boogie.xml 2021-06-15 09:26 73K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.SVCOMP ConcurrencySafety-Main.xml 2021-06-15 09:26 1.6M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom42.xml 2021-06-15 09:26 2.2M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom42.Weaver Benchmarks.xml 2021-06-15 09:26 327K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom42.Ultimate Repo: pthreads.xml 2021-06-15 09:26 91K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom42.Ultimate Repo: MCR.xml 2021-06-15 09:30 33K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom42.Ultimate Repo: Boogie.xml 2021-06-15 09:26 73K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom42.SVCOMP ConcurrencySafety-Main.xml 2021-06-15 09:26 1.7M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderLockstep.xml 2021-06-15 09:30 2.1M
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderLockstep.Weaver Benchmarks.xml 2021-06-15 09:26 314K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderLockstep.Ultimate Repo: pthreads.xml 2021-06-15 09:26 77K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderLockstep.Ultimate Repo: MCR.xml 2021-06-15 09:26 37K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderLockstep.Ultimate Repo: Boogie.xml 2021-06-15 09:30 72K
concurrency.2021-06-12_15-04-15.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-06-15 09:26 1.7M
concurrency.2021-06-12_15-04-15.results.Automizer FA.xml 2021-06-15 09:30 2.1M
concurrency.2021-06-12_15-04-15.results.Automizer FA.Weaver Benchmarks.xml 2021-06-15 09:30 346K
concurrency.2021-06-12_15-04-15.results.Automizer FA.Ultimate Repo: pthreads.xml 2021-06-15 09:30 73K
concurrency.2021-06-12_15-04-15.results.Automizer FA.Ultimate Repo: MCR.xml 2021-06-15 09:26 37K
concurrency.2021-06-12_15-04-15.results.Automizer FA.Ultimate Repo: Boogie.xml 2021-06-15 09:30 73K
concurrency.2021-06-12_15-04-15.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml 2021-06-15 09:30 1.6M
concurrency.2021-06-12_15-04-15.results.Automizer FA.NewStates.xml 2021-06-15 09:30 1.7M
concurrency.2021-06-12_15-04-15.results.Automizer FA.NewStates.Weaver Benchmarks.xml 2021-06-15 09:26 251K
concurrency.2021-06-12_15-04-15.results.Automizer FA.NewStates.Ultimate Repo: pthreads.xml 2021-06-15 09:30 70K
concurrency.2021-06-12_15-04-15.results.Automizer FA.NewStates.Ultimate Repo: MCR.xml 2021-06-15 09:30 28K
concurrency.2021-06-12_15-04-15.results.Automizer FA.NewStates.Ultimate Repo: Boogie.xml 2021-06-15 09:26 67K
concurrency.2021-06-12_15-04-15.results.Automizer FA.NewStates.SVCOMP ConcurrencySafety-Main.xml 2021-06-15 09:30 1.3M
concurrency-tabledef.table.html 2021-06-15 11:54 8.7M
concurrency-tabledef.table.csv 2021-06-15 11:53 1.2M
concurrency-tabledef.diff.html 2021-06-15 11:54 8.2M
concurrency-tabledef.diff.csv 2021-06-15 11:53 1.2M