Index of /logs/student-concurrency/20220210-171821-student-concurrency-44898dd4be
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
concurrency.2022-02-08_23-21-51.logfiles/ 2022-02-10 16:59 -
concurrency.2022-02-08_23-21-51.logfiles-dump/ 2022-02-10 17:19 -
![[TXT]](/icons/text.gif)
concurrency.2022-02-08_23-21-51.results.Automizer FA.xml 2022-02-09 04:12 2.1M
concurrency.2022-02-08_23-21-51.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml 2022-02-09 04:12 1.3M
concurrency.2022-02-08_23-21-51.results.Automizer FA.SVCOMP NoDataRace.xml 2022-02-09 04:12 294K
concurrency.2022-02-08_23-21-51.results.Automizer FA.Ultimate Repo: Boogie.xml 2022-02-09 04:12 79K
concurrency.2022-02-08_23-21-51.results.Automizer FA.Ultimate Repo: MCR.xml 2022-02-09 04:12 35K
concurrency.2022-02-08_23-21-51.results.Automizer FA.Ultimate Repo: pthreads.xml 2022-02-09 04:12 81K
concurrency.2022-02-08_23-21-51.results.Automizer FA.Weaver Benchmarks.xml 2022-02-09 04:12 367K
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.SVCOMP ConcurrencySafety-Main.xml 2022-02-09 10:16 1.3M
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.SVCOMP NoDataRace.xml 2022-02-09 10:16 297K
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Ultimate Repo: Boogie.xml 2022-02-09 10:16 93K
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Ultimate Repo: MCR.xml 2022-02-09 10:16 38K
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Ultimate Repo: pthreads.xml 2022-02-09 10:16 89K
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.xml 2022-02-09 10:16 2.1M
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Weaver Benchmarks.xml 2022-02-09 10:16 354K
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.xml 2022-02-09 15:48 2.1M
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP ConcurrencySafety-Main.xml 2022-02-09 15:48 1.3M
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP NoDataRace.xml 2022-02-09 15:48 299K
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Ultimate Repo: Boogie.xml 2022-02-09 15:48 77K
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Ultimate Repo: MCR.xml 2022-02-09 15:48 38K
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Ultimate Repo: pthreads.xml 2022-02-09 15:48 84K
concurrency.2022-02-08_23-21-51.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Weaver Benchmarks.xml 2022-02-09 15:48 359K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_EAGER.xml 2022-02-09 20:09 2.2M
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_EAGER.SVCOMP ConcurrencySafety-Main.xml 2022-02-09 20:09 1.3M
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_EAGER.SVCOMP NoDataRace.xml 2022-02-09 20:09 321K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_EAGER.Ultimate Repo: Boogie.xml 2022-02-09 20:09 89K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_EAGER.Ultimate Repo: MCR.xml 2022-02-09 20:09 36K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_EAGER.Ultimate Repo: pthreads.xml 2022-02-09 20:09 87K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_EAGER.Weaver Benchmarks.xml 2022-02-09 20:09 363K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_LAZY.SVCOMP ConcurrencySafety-Main.xml 2022-02-10 01:12 1.3M
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_LAZY.SVCOMP NoDataRace.xml 2022-02-10 01:12 318K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_LAZY.Ultimate Repo: Boogie.xml 2022-02-10 01:12 87K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_LAZY.Ultimate Repo: MCR.xml 2022-02-10 01:12 42K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_LAZY.Ultimate Repo: pthreads.xml 2022-02-10 01:12 80K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_LAZY.xml 2022-02-10 01:12 2.2M
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_LAZY.Weaver Benchmarks.xml 2022-02-10 01:12 371K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_BASICCEGAR.xml 2022-02-10 04:14 2.1M
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_BASICCEGAR.SVCOMP ConcurrencySafety-Main.xml 2022-02-10 04:14 1.3M
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_BASICCEGAR.SVCOMP NoDataRace.xml 2022-02-10 04:14 306K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_BASICCEGAR.Ultimate Repo: Boogie.xml 2022-02-10 04:14 79K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_BASICCEGAR.Ultimate Repo: MCR.xml 2022-02-10 04:14 34K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_BASICCEGAR.Ultimate Repo: pthreads.xml 2022-02-10 04:14 84K
concurrency.2022-02-08_23-21-51.results.MCR_with_DEPRANKS_BASICCEGAR.Weaver Benchmarks.xml 2022-02-10 04:14 357K
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS.xml 2022-02-10 10:06 2.2M
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS.SVCOMP ConcurrencySafety-Main.xml 2022-02-10 10:06 1.3M
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS.SVCOMP NoDataRace.xml 2022-02-10 10:06 321K
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS.Ultimate Repo: Boogie.xml 2022-02-10 10:06 85K
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS.Ultimate Repo: MCR.xml 2022-02-10 10:06 38K
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS.Ultimate Repo: pthreads.xml 2022-02-10 10:06 83K
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS.Weaver Benchmarks.xml 2022-02-10 10:06 342K
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS_LAZY.xml 2022-02-10 17:13 2.2M
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS_LAZY.SVCOMP ConcurrencySafety-Main.xml 2022-02-10 17:13 1.4M
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS_LAZY.SVCOMP NoDataRace.xml 2022-02-10 17:13 325K
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS_LAZY.Ultimate Repo: pthreads.xml 2022-02-10 17:13 85K
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS_LAZY.Ultimate Repo: Boogie.xml 2022-02-10 17:13 86K
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS_LAZY.Ultimate Repo: MCR.xml 2022-02-10 17:13 36K
concurrency.2022-02-08_23-21-51.results.MCR_only_LRSPLITS_LAZY.Weaver Benchmarks.xml 2022-02-10 17:13 333K
concurrency.2022-02-08_23-21-51.results.txt 2022-02-10 17:13 2.3M
results.2022-02-10_17-18-13.diff.csv 2022-02-10 17:18 502K
results.2022-02-10_17-18-13.table.csv 2022-02-10 17:18 617K
results.2022-02-10_17-18-13.diff.html 2022-02-10 17:18 3.9M
results.2022-02-10_17-18-13.table.html 2022-02-10 17:18 4.5M
overview 2022-02-10 17:19 45K