Index of /logs/student-concurrency/20220220-132750-student-concurrency-820ea7a650
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
concurrency.2022-02-18_13-02-02.logfiles-dump/ 2022-02-20 13:29 -
concurrency.2022-02-18_13-02-02.logfiles/ 2022-02-20 12:31 -
![[TXT]](/icons/text.gif)
concurrency.2022-02-18_13-02-02.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml 2022-02-18 17:49 1.3M
concurrency.2022-02-18_13-02-02.results.Automizer FA.SVCOMP NoDataRace.xml 2022-02-18 17:49 299K
concurrency.2022-02-18_13-02-02.results.Automizer FA.Ultimate Repo: Boogie.xml 2022-02-18 17:49 79K
concurrency.2022-02-18_13-02-02.results.Automizer FA.Ultimate Repo: MCR.xml 2022-02-18 17:49 35K
concurrency.2022-02-18_13-02-02.results.Automizer FA.Ultimate Repo: pthreads.xml 2022-02-18 17:49 82K
concurrency.2022-02-18_13-02-02.results.Automizer FA.Weaver Benchmarks.xml 2022-02-18 17:49 362K
concurrency.2022-02-18_13-02-02.results.Automizer FA.xml 2022-02-18 17:49 2.1M
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.SVCOMP ConcurrencySafety-Main.xml 2022-02-18 23:51 1.3M
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.SVCOMP NoDataRace.xml 2022-02-18 23:51 289K
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Ultimate Repo: Boogie.xml 2022-02-18 23:51 80K
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Ultimate Repo: MCR.xml 2022-02-18 23:51 35K
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Ultimate Repo: pthreads.xml 2022-02-18 23:51 83K
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.Weaver Benchmarks.xml 2022-02-18 23:51 350K
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleep.xml 2022-02-18 23:51 2.1M
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP ConcurrencySafety-Main.xml 2022-02-19 05:20 1.3M
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.SVCOMP NoDataRace.xml 2022-02-19 05:20 280K
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Ultimate Repo: Boogie.xml 2022-02-19 05:20 90K
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Ultimate Repo: MCR.xml 2022-02-19 05:20 38K
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Ultimate Repo: pthreads.xml 2022-02-19 05:20 80K
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.Weaver Benchmarks.xml 2022-02-19 05:20 357K
concurrency.2022-02-18_13-02-02.results.Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.xml 2022-02-19 05:20 2.1M
concurrency.2022-02-18_13-02-02.results.MCR_only_LRSPLITS_LAZY+ForkJoinOpt.SVCOMP ConcurrencySafety-Main.xml 2022-02-20 12:44 1.3M
concurrency.2022-02-18_13-02-02.results.MCR_only_LRSPLITS_LAZY+ForkJoinOpt.SVCOMP NoDataRace.xml 2022-02-20 12:44 323K
concurrency.2022-02-18_13-02-02.results.MCR_only_LRSPLITS_LAZY+ForkJoinOpt.Ultimate Repo: Boogie.xml 2022-02-20 12:44 90K
concurrency.2022-02-18_13-02-02.results.MCR_only_LRSPLITS_LAZY+ForkJoinOpt.Ultimate Repo: MCR.xml 2022-02-20 12:44 34K
concurrency.2022-02-18_13-02-02.results.MCR_only_LRSPLITS_LAZY+ForkJoinOpt.Ultimate Repo: pthreads.xml 2022-02-20 12:44 86K
concurrency.2022-02-18_13-02-02.results.MCR_only_LRSPLITS_LAZY+ForkJoinOpt.Weaver Benchmarks.xml 2022-02-20 12:44 354K
concurrency.2022-02-18_13-02-02.results.MCR_only_LRSPLITS_LAZY+ForkJoinOpt.xml 2022-02-20 12:44 2.2M
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt+OverapproxWrW.SVCOMP ConcurrencySafety-Main.xml 2022-02-20 04:59 1.3M
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt+OverapproxWrW.SVCOMP NoDataRace.xml 2022-02-20 04:59 304K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt+OverapproxWrW.Ultimate Repo: Boogie.xml 2022-02-20 04:59 87K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt+OverapproxWrW.Ultimate Repo: MCR.xml 2022-02-20 04:59 34K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt+OverapproxWrW.Ultimate Repo: pthreads.xml 2022-02-20 04:59 86K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt+OverapproxWrW.Weaver Benchmarks.xml 2022-02-20 04:59 357K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt+OverapproxWrW.xml 2022-02-20 04:59 2.2M
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt.SVCOMP ConcurrencySafety-Main.xml 2022-02-19 23:58 1.4M
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt.SVCOMP NoDataRace.xml 2022-02-19 23:58 303K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt.Ultimate Repo: Boogie.xml 2022-02-19 23:58 85K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt.Ultimate Repo: MCR.xml 2022-02-19 23:58 34K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt.Ultimate Repo: pthreads.xml 2022-02-19 23:58 78K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt.Weaver Benchmarks.xml 2022-02-19 23:58 354K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+ForkJoinOpt.xml 2022-02-19 23:58 2.2M
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+OverapproxWrW.SVCOMP ConcurrencySafety-Main.xml 2022-02-19 17:07 1.3M
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+OverapproxWrW.SVCOMP NoDataRace.xml 2022-02-19 17:07 310K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+OverapproxWrW.Ultimate Repo: Boogie.xml 2022-02-19 17:07 81K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+OverapproxWrW.Ultimate Repo: MCR.xml 2022-02-19 17:07 38K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+OverapproxWrW.Ultimate Repo: pthreads.xml 2022-02-19 17:07 78K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+OverapproxWrW.Weaver Benchmarks.xml 2022-02-19 17:07 352K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY+OverapproxWrW.xml 2022-02-19 17:07 2.1M
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY.SVCOMP ConcurrencySafety-Main.xml 2022-02-19 12:09 1.3M
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY.SVCOMP NoDataRace.xml 2022-02-19 12:09 300K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY.Ultimate Repo: Boogie.xml 2022-02-19 12:09 83K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY.Ultimate Repo: MCR.xml 2022-02-19 12:09 32K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY.Ultimate Repo: pthreads.xml 2022-02-19 12:09 91K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY.Weaver Benchmarks.xml 2022-02-19 12:09 355K
concurrency.2022-02-18_13-02-02.results.MCR_with_DEPRANKS_LAZY.xml 2022-02-19 12:09 2.2M
concurrency.2022-02-18_13-02-02.results.txt 2022-02-20 12:44 2.3M
overview 2022-02-20 13:29 46K
results.2022-02-20_13-26-56.diff.csv 2022-02-20 13:26 465K
results.2022-02-20_13-26-56.diff.html 2022-02-20 13:26 3.7M
results.2022-02-20_13-26-56.table.csv 2022-02-20 13:26 611K
results.2022-02-20_13-26-56.table.html 2022-02-20 13:26 4.6M