Index of /logs/student-concurrency/20211024-135014-student-concurrency-2ce48c3f3f
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
concurrency.2021-10-22_09-39-33.logfiles/ 2021-10-22 23:02 -
![[TXT]](/icons/text.gif)
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderLockstep.POPL2022 Benchmarks.xml 2021-10-22 14:55 145K
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-10-22 14:55 1.5M
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderLockstep.Weaver Benchmarks.xml 2021-10-22 14:55 315K
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderLockstep.xml 2021-10-22 14:55 1.9M
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderRandom42.POPL2022 Benchmarks.xml 2021-10-22 17:35 147K
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderRandom42.SVCOMP ConcurrencySafety-Main.xml 2021-10-22 17:35 1.5M
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderRandom42.Weaver Benchmarks.xml 2021-10-22 17:35 311K
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderRandom42.xml 2021-10-22 17:35 1.9M
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderRandom521.POPL2022 Benchmarks.xml 2021-10-22 20:21 136K
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderRandom521.SVCOMP ConcurrencySafety-Main.xml 2021-10-22 20:21 1.5M
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderRandom521.Weaver Benchmarks.xml 2021-10-22 20:21 313K
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderRandom521.xml 2021-10-22 20:21 1.9M
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.OrderRandom7777.xml 2021-10-22 23:04 1.8M
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.POPL2022 Benchmarks.xml 2021-10-22 12:12 132K
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.SVCOMP ConcurrencySafety-Main.xml 2021-10-22 12:12 1.5M
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.Weaver Benchmarks.xml 2021-10-22 12:12 321K
concurrency.2021-10-22_09-39-33.results.Automizer PARTIAL_ORDER_FA.Uncond.NewStatesSleepPersistentFixedOrder.xml 2021-10-22 12:12 1.9M
concurrency.2021-10-22_09-39-33.results.txt 2021-10-22 23:04 1.1M
![[ ]](/icons/unknown.gif)
overview 2021-10-24 13:51 7.9K
results.2021-10-24_13-49-06.table.csv 2021-10-24 13:49 785K
results.2021-10-24_13-49-06.table.html 2021-10-24 13:49 6.1M