Index of /logs/student-concurrency/20211120-135052-student-concurrency-6d3e69fc1b
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
concurrency.2021-11-17_17-15-07.logfiles/ 2021-11-19 17:08 -
![[TXT]](/icons/text.gif)
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-11-18 09:19 1.1M
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLockstep.SVCOMP NoDataRace.xml 2021-11-18 09:19 270K
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLockstep.xml 2021-11-18 09:19 1.4M
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLoopLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-11-18 17:25 1.1M
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLoopLockstep.SVCOMP NoDataRace.xml 2021-11-18 17:25 259K
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLoopLockstep.xml 2021-11-18 17:25 1.4M
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.SVCOMP ConcurrencySafety-Main.xml 2021-11-18 01:16 1.1M
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.SVCOMP NoDataRace.xml 2021-11-18 01:16 258K
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.xml 2021-11-18 01:16 1.3M
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-11-19 09:33 1.1M
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.SVCOMP NoDataRace.xml 2021-11-19 09:33 258K
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.xml 2021-11-19 09:33 1.3M
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLoopLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-11-19 17:21 1.1M
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLoopLockstep.SVCOMP NoDataRace.xml 2021-11-19 17:21 266K
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLoopLockstep.xml 2021-11-19 17:21 1.3M
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP ConcurrencySafety-Main.xml 2021-11-19 01:24 1.1M
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP NoDataRace.xml 2021-11-19 01:24 254K
concurrency.2021-11-17_17-15-07.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.xml 2021-11-19 01:24 1.4M
concurrency.2021-11-17_17-15-07.results.txt 2021-11-19 17:21 1.3M
![[ ]](/icons/unknown.gif)
overview 2021-11-20 13:51 19K
results.2021-11-20_13-50-21.diff.csv 2021-11-20 13:50 74K
results.2021-11-20_13-50-21.diff.html 2021-11-20 13:50 1.5M
results.2021-11-20_13-50-21.table.csv 2021-11-20 13:50 357K
results.2021-11-20_13-50-21.table.html 2021-11-20 13:50 3.2M