Index of /logs/student-concurrency/20210712-091343-student-concurrency-9e34d99ae2
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
concurrency.2021-07-09_16-13-34.logfiles-dump/ 2021-07-12 09:16 -
concurrency.2021-07-09_16-13-34.logfiles/ 2021-07-12 09:16 -
![[TXT]](/icons/text.gif)
concurrency.2021-07-09_16-13-34.results.Automizer FA.Delay.SVCOMP ConcurrencySafety-Main.xml 2021-07-12 09:16 1.6M
concurrency.2021-07-09_16-13-34.results.Automizer FA.Delay.Weaver Benchmarks.xml 2021-07-12 09:16 360K
concurrency.2021-07-09_16-13-34.results.Automizer FA.Delay.xml 2021-07-12 09:16 2.0M
concurrency.2021-07-09_16-13-34.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml 2021-07-12 09:16 1.7M
concurrency.2021-07-09_16-13-34.results.Automizer FA.Weaver Benchmarks.xml 2021-07-12 09:16 362K
concurrency.2021-07-09_16-13-34.results.Automizer FA.xml 2021-07-12 09:16 2.0M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.SVCOMP ConcurrencySafety-Main.xml 2021-07-12 09:16 1.7M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Weaver Benchmarks.xml 2021-07-12 09:16 343K
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.xml 2021-07-12 09:16 2.0M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-07-12 09:15 1.6M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLockstep.Weaver Benchmarks.xml 2021-07-12 09:16 336K
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.OrderLockstep.xml 2021-07-12 09:16 1.9M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.SVCOMP ConcurrencySafety-Main.xml 2021-07-12 09:16 1.6M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.Weaver Benchmarks.xml 2021-07-12 09:15 341K
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistent.xml 2021-07-12 09:16 1.9M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.SVCOMP ConcurrencySafety-Main.xml 2021-07-12 09:16 1.5M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.Weaver Benchmarks.xml 2021-07-12 09:16 280K
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderLockstep.xml 2021-07-12 09:15 1.8M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.SVCOMP ConcurrencySafety-Main.xml 2021-07-12 09:16 1.5M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.Weaver Benchmarks.xml 2021-07-12 09:16 282K
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom42.xml 2021-07-12 09:16 1.8M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom521.SVCOMP ConcurrencySafety-Main.xml 2021-07-12 09:16 1.5M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom521.Weaver Benchmarks.xml 2021-07-12 09:16 291K
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom521.xml 2021-07-12 09:15 1.8M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom7777.SVCOMP ConcurrencySafety-Main.xml 2021-07-12 09:16 1.5M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom7777.Weaver Benchmarks.xml 2021-07-12 09:16 286K
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.OrderRandom7777.xml 2021-07-12 09:15 1.8M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP ConcurrencySafety-Main.xml 2021-07-12 09:16 1.6M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Weaver Benchmarks.xml 2021-07-12 09:16 344K
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.xml 2021-07-12 09:16 2.0M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.None.SVCOMP ConcurrencySafety-Main.xml 2021-07-12 09:16 1.6M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.None.Weaver Benchmarks.xml 2021-07-12 09:16 351K
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.None.xml 2021-07-12 09:16 2.0M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.Persistent.SVCOMP ConcurrencySafety-Main.xml 2021-07-12 09:16 1.6M
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.Persistent.Weaver Benchmarks.xml 2021-07-12 09:16 300K
concurrency.2021-07-09_16-13-34.results.Automizer PARTIAL_ORDER_FA.Persistent.xml 2021-07-12 09:16 1.9M
concurrency.2021-07-09_16-13-34.results.txt 2021-07-12 09:16 2.4M
![[ ]](/icons/unknown.gif)
overview 2021-07-12 09:16 37K