Index of /logs/student-concurrency/20220218-100534-student-concurrency-44898dd4be
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
concurrency.2022-02-15_10-14-05.logfiles-dump/ 2022-02-18 10:06 -
concurrency.2022-02-15_10-14-05.logfiles/ 2022-02-17 03:39 -
![[TXT]](/icons/text.gif)
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_LAZY.Ultimate Repo: MCR.xml 2022-02-16 11:54 35K
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS_LAZY.Ultimate Repo: MCR.xml 2022-02-17 03:52 35K
concurrency.2022-02-15_10-14-05.results.Automizer FA.Ultimate Repo: MCR.xml 2022-02-15 14:59 37K
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Ultimate Repo: MCR.xml 2022-02-15 20:58 37K
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS.Ultimate Repo: MCR.xml 2022-02-16 20:48 37K
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Ultimate Repo: MCR.xml 2022-02-16 02:30 38K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_BASICCEGAR.Ultimate Repo: MCR.xml 2022-02-16 14:53 38K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_EAGER.Ultimate Repo: MCR.xml 2022-02-16 06:51 39K
overview 2022-02-18 10:06 66K
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Ultimate Repo: Boogie.xml 2022-02-15 20:58 75K
concurrency.2022-02-15_10-14-05.results.Automizer FA.Ultimate Repo: pthreads.xml 2022-02-15 14:59 75K
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Ultimate Repo: pthreads.xml 2022-02-16 02:30 77K
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Ultimate Repo: pthreads.xml 2022-02-15 20:58 77K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_BASICCEGAR.Ultimate Repo: pthreads.xml 2022-02-16 14:53 77K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_EAGER.Ultimate Repo: pthreads.xml 2022-02-16 06:51 79K
concurrency.2022-02-15_10-14-05.results.Automizer FA.Ultimate Repo: Boogie.xml 2022-02-15 14:59 80K
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS.Ultimate Repo: Boogie.xml 2022-02-16 20:48 81K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_EAGER.Ultimate Repo: Boogie.xml 2022-02-16 06:51 81K
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Ultimate Repo: Boogie.xml 2022-02-16 02:30 84K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_BASICCEGAR.Ultimate Repo: Boogie.xml 2022-02-16 14:53 84K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_LAZY.Ultimate Repo: pthreads.xml 2022-02-16 11:54 85K
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS_LAZY.Ultimate Repo: Boogie.xml 2022-02-17 03:52 85K
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS_LAZY.Ultimate Repo: pthreads.xml 2022-02-17 03:52 87K
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS.Ultimate Repo: pthreads.xml 2022-02-16 20:48 89K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_LAZY.Ultimate Repo: Boogie.xml 2022-02-16 11:54 89K
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP NoDataRace.xml 2022-02-16 02:30 287K
concurrency.2022-02-15_10-14-05.results.Automizer FA.SVCOMP NoDataRace.xml 2022-02-15 14:59 291K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_LAZY.SVCOMP NoDataRace.xml 2022-02-16 11:54 295K
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.SVCOMP NoDataRace.xml 2022-02-15 20:58 300K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_EAGER.SVCOMP NoDataRace.xml 2022-02-16 06:51 303K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_BASICCEGAR.SVCOMP NoDataRace.xml 2022-02-16 14:53 304K
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS.SVCOMP NoDataRace.xml 2022-02-16 20:48 326K
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS.Weaver Benchmarks.xml 2022-02-16 20:48 331K
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS_LAZY.SVCOMP NoDataRace.xml 2022-02-17 03:52 332K
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS_LAZY.Weaver Benchmarks.xml 2022-02-17 03:52 334K
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Weaver Benchmarks.xml 2022-02-15 20:58 343K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_LAZY.Weaver Benchmarks.xml 2022-02-16 11:54 349K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_BASICCEGAR.Weaver Benchmarks.xml 2022-02-16 14:53 356K
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Weaver Benchmarks.xml 2022-02-16 02:30 359K
concurrency.2022-02-15_10-14-05.results.Automizer FA.Weaver Benchmarks.xml 2022-02-15 14:59 363K
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_EAGER.Weaver Benchmarks.xml 2022-02-16 06:51 370K
results.2022-02-18_10-05-21.diff.csv 2022-02-18 10:05 501K
results.2022-02-18_10-05-21.table.csv 2022-02-18 10:05 617K
concurrency.2022-02-15_10-14-05.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml 2022-02-15 14:59 1.3M
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP ConcurrencySafety-Main.xml 2022-02-16 02:30 1.3M
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.SVCOMP ConcurrencySafety-Main.xml 2022-02-15 20:58 1.3M
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_BASICCEGAR.SVCOMP ConcurrencySafety-Main.xml 2022-02-16 14:53 1.3M
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_EAGER.SVCOMP ConcurrencySafety-Main.xml 2022-02-16 06:51 1.3M
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_LAZY.SVCOMP ConcurrencySafety-Main.xml 2022-02-16 11:54 1.3M
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS_LAZY.SVCOMP ConcurrencySafety-Main.xml 2022-02-17 03:52 1.3M
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS.SVCOMP ConcurrencySafety-Main.xml 2022-02-16 20:48 1.3M
concurrency.2022-02-15_10-14-05.results.Automizer FA.xml 2022-02-15 14:59 2.1M
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.xml 2022-02-15 20:58 2.1M
concurrency.2022-02-15_10-14-05.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.xml 2022-02-16 02:30 2.1M
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_LAZY.xml 2022-02-16 11:54 2.1M
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_BASICCEGAR.xml 2022-02-16 14:53 2.1M
concurrency.2022-02-15_10-14-05.results.MCR_with_DEPRANKS_EAGER.xml 2022-02-16 06:51 2.1M
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS_LAZY.xml 2022-02-17 03:52 2.2M
concurrency.2022-02-15_10-14-05.results.MCR_only_LRSPLITS.xml 2022-02-16 20:48 2.2M
concurrency.2022-02-15_10-14-05.results.txt 2022-02-17 03:52 2.3M
results.2022-02-18_10-05-21.diff.html 2022-02-18 10:05 3.9M
results.2022-02-18_10-05-21.table.html 2022-02-18 10:05 4.5M