Index of /logs/student-concurrency/20210630-211355-student-concurrency-8b99979fc9
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
concurrency.2021-06-30_11-47-22.logfiles/ 2021-06-30 21:13 -
![[ ]](/icons/unknown.gif)
overview 2021-06-30 21:13 3.7K
![[TXT]](/icons/text.gif)
concurrency-tabledef.diff.csv 2021-07-01 00:12 105K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.DelaySleepPersistentFixedOrder.POPL2022 Benchmarks.xml 2021-06-30 21:13 127K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.POPL2022 Benchmarks.xml 2021-06-30 21:13 129K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom42.POPL2022 Benchmarks.xml 2021-06-30 21:12 138K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderLockstep.POPL2022 Benchmarks.xml 2021-06-30 21:13 139K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.POPL2022 Benchmarks.xml 2021-06-30 21:13 141K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom7777.POPL2022 Benchmarks.xml 2021-06-30 21:13 142K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Symm.POPL2022 Benchmarks.xml 2021-06-30 21:12 143K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.DelaySleep.POPL2022 Benchmarks.xml 2021-06-30 21:12 144K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.POPL2022 Benchmarks.xml 2021-06-30 21:13 144K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom521.POPL2022 Benchmarks.xml 2021-06-30 21:12 145K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.DelaySleep.OrderLockstep.POPL2022 Benchmarks.xml 2021-06-30 21:12 145K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.POPL2022 Benchmarks.xml 2021-06-30 21:13 147K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.Persistent.POPL2022 Benchmarks.xml 2021-06-30 21:12 147K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.DelaySleepPersistent.POPL2022 Benchmarks.xml 2021-06-30 21:12 148K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepUncond.POPL2022 Benchmarks.xml 2021-06-30 21:13 149K
aggregated-MIN.xml 2021-07-01 00:03 151K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom7777.POPL2022 Benchmarks.xml 2021-06-30 21:12 151K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom521.POPL2022 Benchmarks.xml 2021-06-30 21:13 152K
concurrency.2021-06-30_11-47-22.results.Automizer PARTIAL_ORDER_FA.None.POPL2022 Benchmarks.xml 2021-06-30 21:13 153K
concurrency.2021-06-30_11-47-22.results.Automizer FA.Delay.POPL2022 Benchmarks.xml 2021-06-30 21:12 159K
concurrency.2021-06-30_11-47-22.results.Automizer FA.POPL2022 Benchmarks.xml 2021-06-30 21:13 161K
concurrency-tabledef.table.csv 2021-07-01 00:12 161K
concurrency.2021-06-30_11-47-22.results.Automizer PN.POPL2022 Benchmarks.xml 2021-06-30 21:12 166K
concurrency.2021-06-30_11-47-22.results.txt 2021-06-30 21:13 184K
concurrency-tabledef.diff.html 2021-07-01 00:12 1.6M
concurrency-tabledef.table.html 2021-07-01 00:12 2.0M