Index of /logs/student-concurrency/20210824-112044-student-concurrency-87fd7473a0
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
concurrency.2021-08-21_11-01-52.logfiles/ 2021-08-24 11:31 -
concurrency.2021-08-21_11-01-52.logfiles-dump/ 2021-08-24 11:23 -
![[ ]](/icons/unknown.gif)
overview 2021-08-24 11:23 29K
![[TXT]](/icons/text.gif)
concurrency.2021-08-21_11-01-52.results.txt 2021-08-24 11:23 3.8M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.Persistent.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.Persistent.Weaver Benchmarks.xml 2021-08-24 11:31 325K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.Persistent.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.6M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.Persistent.POPL2022 Benchmarks.xml 2021-08-24 11:23 157K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.None.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.None.Weaver Benchmarks.xml 2021-08-24 11:23 336K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.None.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.5M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.None.POPL2022 Benchmarks.xml 2021-08-24 11:23 159K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepUncond.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepUncond.Weaver Benchmarks.xml 2021-08-24 11:23 328K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepUncond.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.5M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepUncond.POPL2022 Benchmarks.xml 2021-08-24 11:23 155K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Weaver Benchmarks.xml 2021-08-24 11:23 331K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.5M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.POPL2022 Benchmarks.xml 2021-08-24 11:23 135K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom7777.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom7777.Weaver Benchmarks.xml 2021-08-24 11:23 324K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom7777.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.6M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom7777.POPL2022 Benchmarks.xml 2021-08-24 11:23 146K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom521.xml 2021-08-24 11:31 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom521.Weaver Benchmarks.xml 2021-08-24 11:23 323K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom521.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.6M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom521.POPL2022 Benchmarks.xml 2021-08-24 11:23 160K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.Weaver Benchmarks.xml 2021-08-24 11:23 330K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.6M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.POPL2022 Benchmarks.xml 2021-08-24 11:31 155K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.Weaver Benchmarks.xml 2021-08-24 11:23 316K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.6M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.POPL2022 Benchmarks.xml 2021-08-24 11:23 156K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.Weaver Benchmarks.xml 2021-08-24 11:23 323K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.6M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.POPL2022 Benchmarks.xml 2021-08-24 11:23 151K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLockstep.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLockstep.Weaver Benchmarks.xml 2021-08-24 11:31 326K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.6M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLockstep.POPL2022 Benchmarks.xml 2021-08-24 11:23 153K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Weaver Benchmarks.xml 2021-08-24 11:23 337K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Symm.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Symm.Weaver Benchmarks.xml 2021-08-24 11:23 331K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Symm.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.5M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Symm.POPL2022 Benchmarks.xml 2021-08-24 11:23 147K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.5M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.POPL2022 Benchmarks.xml 2021-08-24 11:23 151K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom7777.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom7777.Weaver Benchmarks.xml 2021-08-24 11:23 331K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom7777.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.5M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom7777.POPL2022 Benchmarks.xml 2021-08-24 11:23 155K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom521.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom521.Weaver Benchmarks.xml 2021-08-24 11:23 329K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom521.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.6M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom521.POPL2022 Benchmarks.xml 2021-08-24 11:23 155K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom42.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom42.Weaver Benchmarks.xml 2021-08-24 11:23 328K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom42.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.6M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom42.POPL2022 Benchmarks.xml 2021-08-24 11:31 156K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderLockstep.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderLockstep.Weaver Benchmarks.xml 2021-08-24 11:23 322K
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.5M
concurrency.2021-08-21_11-01-52.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderLockstep.POPL2022 Benchmarks.xml 2021-08-24 11:23 152K
concurrency.2021-08-21_11-01-52.results.Automizer FA.xml 2021-08-24 11:23 2.1M
concurrency.2021-08-21_11-01-52.results.Automizer FA.Weaver Benchmarks.xml 2021-08-24 11:23 345K
concurrency.2021-08-21_11-01-52.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.6M
concurrency.2021-08-21_11-01-52.results.Automizer FA.POPL2022 Benchmarks.xml 2021-08-24 11:23 151K
concurrency.2021-08-21_11-01-52.results.Automizer FA.Delay.xml 2021-08-24 11:23 2.0M
concurrency.2021-08-21_11-01-52.results.Automizer FA.Delay.Weaver Benchmarks.xml 2021-08-24 11:23 331K
concurrency.2021-08-21_11-01-52.results.Automizer FA.Delay.SVCOMP ConcurrencySafety-Main.xml 2021-08-24 11:23 1.6M
concurrency.2021-08-21_11-01-52.results.Automizer FA.Delay.POPL2022 Benchmarks.xml 2021-08-24 11:23 152K
concurrency-tabledef.table.html 2021-08-31 15:49 18M
concurrency-tabledef.table.csv 2021-08-31 15:49 3.0M
concurrency-tabledef.diff.html 2021-08-31 15:49 3.8M
concurrency-tabledef.diff.csv 2021-08-31 15:49 483K
aggregated-MIN-PS-ORDER.xml 2021-08-31 15:40 2.2M
aggregated-MIN-MEM.xml 2021-08-31 15:46 2.2M
aggregated-MIN-IT-ORDER.xml 2021-08-31 15:40 2.3M
aggregated-MIN-CPU.xml 2021-08-31 15:46 2.4M