Index of /logs/student-concurrency/20210625-125430-student-concurrency-d310483fe8
Name Last modified Size Description
Parent Directory -
concurrency.2021-06-24_17-53-13.logfiles/ 2021-06-25 12:53 -
aggregated-MIN.xml 2021-06-26 15:37 39K
concurrency-tabledef.diff.csv 2021-06-26 15:37 45K
concurrency-tabledef.diff.html 2021-06-26 15:37 1.3M
concurrency-tabledef.table.csv 2021-06-26 15:37 64K
concurrency-tabledef.table.html 2021-06-26 15:37 1.4M
concurrency.2021-06-24_17-53-13.results.Automizer FA.Bluetooth Benchmarks.xml 2021-06-25 12:53 39K
concurrency.2021-06-24_17-53-13.results.Automizer FA.Delay.Bluetooth Benchmarks.xml 2021-06-25 12:53 39K
concurrency.2021-06-24_17-53-13.results.Automizer FA.NewStates.Bluetooth Benchmarks.xml 2021-06-25 12:53 41K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.DelaySleep.Bluetooth Benchmarks.xml 2021-06-25 12:53 40K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.DelaySleep.OrderLockstep.Bluetooth Benchmarks.xml 2021-06-25 12:53 39K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.DelaySleep.OrderRandom42.Bluetooth Benchmarks.xml 2021-06-25 12:53 38K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.DelaySleep.OrderRandom521.Bluetooth Benchmarks.xml 2021-06-25 12:53 37K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.DelaySleep.OrderRandom7777.Bluetooth Benchmarks.xml 2021-06-25 12:53 37K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.DelaySleepPersistent.Bluetooth Benchmarks.xml 2021-06-25 12:53 39K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.DelaySleepPersistentFixedOrder.Bluetooth Benchmarks.xml 2021-06-25 12:53 41K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Bluetooth Benchmarks.xml 2021-06-25 12:53 37K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderLockstep.Bluetooth Benchmarks.xml 2021-06-25 12:53 39K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.OrderRandom42.Bluetooth Benchmarks.xml 2021-06-25 12:53 38K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Symm.Bluetooth Benchmarks.xml 2021-06-25 12:53 37K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Bluetooth Benchmarks.xml 2021-06-25 12:53 38K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.Bluetooth Benchmarks.xml 2021-06-25 12:53 40K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.Bluetooth Benchmarks.xml 2021-06-25 12:53 40K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepUncond.Bluetooth Benchmarks.xml 2021-06-25 12:53 37K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.None.Bluetooth Benchmarks.xml 2021-06-25 12:53 40K
concurrency.2021-06-24_17-53-13.results.Automizer PARTIAL_ORDER_FA.Persistent.Bluetooth Benchmarks.xml 2021-06-25 12:53 38K
concurrency.2021-06-24_17-53-13.results.Automizer PN.Bluetooth Benchmarks.xml 2021-06-25 12:53 37K
concurrency.2021-06-24_17-53-13.results.txt 2021-06-25 12:53 53K
overview 2021-06-25 12:53 2.5K
results.2021-06-25_12-54-09.diff.csv 2021-06-25 12:53 22K
results.2021-06-25_12-54-09.diff.html 2021-06-25 12:53 1.2M
results.2021-06-25_12-54-09.table.csv 2021-06-25 12:53 32K
results.2021-06-25_12-54-09.table.html 2021-06-25 12:53 1.3M