Index of /logs/student-concurrency/20221019-145310-student-concurrency-a9feca2de1-M/concurrency-quick.2022-10-10_11-39-31.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.06-symbeq_07-tricky_address2.yml.log 2022-10-10 15:51 559K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 15:50 208K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 15:52 122K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.14_spin2003.yml.log 2022-10-10 15:52 232K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.18_read_write_lock.yml.log 2022-10-10 15:50 74K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 15:55 184K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.acq-work-3threads.bpl.log 2022-10-10 15:55 490K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.acq-work-4threads.bpl.log 2022-10-10 15:55 493K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.acq-work-5threads.bpl.log 2022-10-10 15:53 190K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.acq-work-6threads.bpl.log 2022-10-10 15:58 127K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.acq-work-constants.bpl.log 2022-10-10 15:57 495K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.acq-work.bpl.log 2022-10-10 15:56 454K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.array-sum-with-log-3threads.bpl.log 2022-10-10 15:53 120K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.array-sum-with-log-4threads.bpl.log 2022-10-10 15:56 78K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.array-sum-with-log-5threads.bpl.log 2022-10-10 15:58 35K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.array-sum-with-log-6threads.bpl.log 2022-10-10 15:59 40K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.array-sum-with-log.bpl.log 2022-10-10 15:54 101K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.bench-exp3x3-opt.wvr.yml.log 2022-10-10 15:51 261K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.bench-exp3x3.wvr.yml.log 2022-10-10 15:52 292K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.count0-countEven-sample-abs.bpl.log 2022-10-10 15:56 150K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.incr-decr-zero.bpl.log 2022-10-10 16:03 2.4M
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.map-aggr-update1-2modifiers.bpl.log 2022-10-10 16:01 67K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.map-aggr-update1-3modifiers.bpl.log 2022-10-10 15:59 36K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.map-aggr-update1-4modifiers.bpl.log 2022-10-10 16:01 43K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 15:57 163K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.map-aggr-update1.bpl.log 2022-10-10 15:58 55K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 16:00 173K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.map-aggr-update2.bpl.log 2022-10-10 15:59 210K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.map-aggr-update3.bpl.log 2022-10-10 15:57 73K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.map-comp.bpl.log 2022-10-10 16:06 193K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.map-incr-decr.bpl.log 2022-10-10 16:07 421K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.map-incr-split.bpl.log 2022-10-10 16:07 171K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.max-tailsum2.bpl.log 2022-10-10 15:58 62K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.max-tailsum3.bpl.log 2022-10-10 15:59 78K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.max-tailsum4.bpl.log 2022-10-10 15:59 83K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.max-tailsum5.bpl.log 2022-10-10 15:59 99K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.min-max-sample-2.bpl.log 2022-10-10 16:03 120K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.min-max-sample-abs-2.bpl.log 2022-10-10 16:01 82K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 16:00 51K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.min-max-sample-abs.bpl.log 2022-10-10 16:01 141K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.min-max-sample-with_locks.bpl.log 2022-10-10 15:59 92K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.min-max-sample.bpl.log 2022-10-10 15:59 91K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.min-max-split-sample.bpl.log 2022-10-10 16:00 134K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.min2-max2-sample.bpl.log 2022-10-10 16:06 111K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 15:50 162K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.mix043.oepc.yml.log 2022-10-10 15:50 206K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.motivating-slowitp.bpl.log 2022-10-10 16:00 144K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.motivating.bpl.log 2022-10-10 16:00 41K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.optimistic-concurrency1.bpl.log 2022-10-10 16:07 1.8M
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.optimistic-concurrency2.bpl.log 2022-10-10 16:00 83K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.parallel-ticket-3.wvr.yml.log 2022-10-10 15:50 140K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.parallel-ticket-4.wvr.yml.log 2022-10-10 15:54 516K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 15:51 235K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.popl20-counter-fun.wvr.yml.log 2022-10-10 15:52 1.4M
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.popl20-horseshoe.wvr.yml.log 2022-10-10 15:53 434K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 15:51 345K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.qrcu-2.yml.log 2022-10-10 15:52 324K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.qw2004_variant.yml.log 2022-10-10 15:55 494K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.race-2_3b-container_of.yml.log 2022-10-10 15:58 1.0M
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.race-2_5-container_of.yml.log 2022-10-10 15:53 808K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.race-3_2-container_of-global.yml.log 2022-10-10 15:50 206K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.race-4_2-thread_local_vars.yml.log 2022-10-10 15:51 388K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.read_write_lock-1b.yml.log 2022-10-10 15:50 428K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.read_write_lock-2.yml.log 2022-10-10 15:54 808K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.readers_writer.bpl.log 2022-10-10 16:00 102K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.rfi006_power.oepc.yml.log 2022-10-10 16:00 27K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 15:50 112K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 15:50 112K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 15:50 110K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.sum-print.bpl.log 2022-10-10 16:09 255K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.sum-print2.bpl.log 2022-10-10 16:11 1.5M
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.sum-rwlock.bpl.log 2022-10-10 16:09 290K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.sum2_diff_incr_decr.bpl.log 2022-10-10 16:09 548K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.sum_diff_incr_decr.bpl.log 2022-10-10 16:12 171K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.sumsumbank.bpl.log 2022-10-10 16:03 105K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.sumsuminc.bpl.log 2022-10-10 16:11 662K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.sumsumsampleabs.bpl.log 2022-10-10 16:13 84K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.sumsumsampleabs2.bpl.log 2022-10-10 16:14 63K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.unroll-3.wvr.yml.log 2022-10-10 15:53 458K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.work-steal1.bpl.log 2022-10-10 16:06 72K
Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK.work-steal2.bpl.log 2022-10-10 16:11 913K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.06-symbeq_07-tricky_address2.yml.log 2022-10-10 16:15 559K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 16:14 208K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 16:16 122K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.14_spin2003.yml.log 2022-10-10 16:18 236K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.18_read_write_lock.yml.log 2022-10-10 16:15 74K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 16:20 184K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.acq-work-3threads.bpl.log 2022-10-10 16:19 482K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.acq-work-4threads.bpl.log 2022-10-10 16:19 502K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.acq-work-5threads.bpl.log 2022-10-10 16:18 200K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.acq-work-6threads.bpl.log 2022-10-10 16:20 58K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.acq-work-constants.bpl.log 2022-10-10 16:20 454K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.acq-work.bpl.log 2022-10-10 16:20 438K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.array-sum-with-log-3threads.bpl.log 2022-10-10 16:18 120K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.array-sum-with-log-4threads.bpl.log 2022-10-10 16:20 66K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.array-sum-with-log-5threads.bpl.log 2022-10-10 16:20 31K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.array-sum-with-log-6threads.bpl.log 2022-10-10 16:24 40K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.array-sum-with-log.bpl.log 2022-10-10 16:19 101K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.bench-exp3x3-opt.wvr.yml.log 2022-10-10 16:16 261K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.bench-exp3x3.wvr.yml.log 2022-10-10 16:16 276K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.count0-countEven-sample-abs.bpl.log 2022-10-10 16:20 150K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.incr-decr-zero.bpl.log 2022-10-10 16:28 2.1M
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.map-aggr-update1-2modifiers.bpl.log 2022-10-10 16:25 67K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.map-aggr-update1-3modifiers.bpl.log 2022-10-10 16:24 36K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.map-aggr-update1-4modifiers.bpl.log 2022-10-10 16:26 43K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 16:21 163K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.map-aggr-update1.bpl.log 2022-10-10 16:22 55K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 16:22 173K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.map-aggr-update2.bpl.log 2022-10-10 16:22 210K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.map-aggr-update3.bpl.log 2022-10-10 16:20 73K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.map-comp.bpl.log 2022-10-10 16:29 193K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.map-incr-decr.bpl.log 2022-10-10 16:30 422K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.map-incr-split.bpl.log 2022-10-10 16:30 171K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.max-tailsum2.bpl.log 2022-10-10 16:22 62K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.max-tailsum3.bpl.log 2022-10-10 16:22 78K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.max-tailsum4.bpl.log 2022-10-10 16:22 83K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.max-tailsum5.bpl.log 2022-10-10 16:23 99K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.min-max-sample-2.bpl.log 2022-10-10 16:26 120K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.min-max-sample-abs-2.bpl.log 2022-10-10 16:24 82K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 16:28 75K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.min-max-sample-abs.bpl.log 2022-10-10 16:24 141K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.min-max-sample-with_locks.bpl.log 2022-10-10 16:23 92K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.min-max-sample.bpl.log 2022-10-10 16:23 91K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.min-max-split-sample.bpl.log 2022-10-10 16:24 134K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.min2-max2-sample.bpl.log 2022-10-10 16:30 111K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 16:15 162K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.mix043.oepc.yml.log 2022-10-10 16:15 206K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.motivating-slowitp.bpl.log 2022-10-10 16:24 144K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.motivating.bpl.log 2022-10-10 16:24 41K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.optimistic-concurrency1.bpl.log 2022-10-10 16:31 1.8M
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.optimistic-concurrency2.bpl.log 2022-10-10 16:25 83K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.parallel-ticket-3.wvr.yml.log 2022-10-10 16:14 140K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.parallel-ticket-4.wvr.yml.log 2022-10-10 16:18 537K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 16:16 235K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.popl20-counter-fun.wvr.yml.log 2022-10-10 16:16 1.4M
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.popl20-horseshoe.wvr.yml.log 2022-10-10 16:17 445K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 16:15 345K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.qrcu-2.yml.log 2022-10-10 16:16 324K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.qw2004_variant.yml.log 2022-10-10 16:20 494K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.race-2_3b-container_of.yml.log 2022-10-10 16:23 1.0M
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.race-2_5-container_of.yml.log 2022-10-10 16:17 808K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.race-3_2-container_of-global.yml.log 2022-10-10 16:15 206K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.race-4_2-thread_local_vars.yml.log 2022-10-10 16:15 186K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.read_write_lock-1b.yml.log 2022-10-10 16:15 428K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.read_write_lock-2.yml.log 2022-10-10 16:18 808K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.readers_writer.bpl.log 2022-10-10 16:25 102K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.rfi006_power.oepc.yml.log 2022-10-10 16:24 26K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 16:14 112K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 16:14 112K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 16:14 110K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.sum-print.bpl.log 2022-10-10 16:33 234K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.sum-print2.bpl.log 2022-10-10 16:33 1.4M
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.sum-rwlock.bpl.log 2022-10-10 16:35 316K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.sum2_diff_incr_decr.bpl.log 2022-10-10 16:34 547K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.sum_diff_incr_decr.bpl.log 2022-10-10 16:36 172K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.sumsumbank.bpl.log 2022-10-10 16:27 105K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.sumsuminc.bpl.log 2022-10-10 16:35 605K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.sumsumsampleabs.bpl.log 2022-10-10 16:38 84K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.sumsumsampleabs2.bpl.log 2022-10-10 16:38 63K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.unroll-3.wvr.yml.log 2022-10-10 16:18 458K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.work-steal1.bpl.log 2022-10-10 16:29 73K
Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK.work-steal2.bpl.log 2022-10-10 16:33 913K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.06-symbeq_07-tricky_address2.yml.log 2022-10-10 16:39 559K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 16:38 208K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 16:41 125K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.14_spin2003.yml.log 2022-10-10 16:40 232K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.18_read_write_lock.yml.log 2022-10-10 16:38 74K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 16:43 184K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.acq-work-3threads.bpl.log 2022-10-10 16:42 457K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.acq-work-4threads.bpl.log 2022-10-10 16:43 536K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.acq-work-5threads.bpl.log 2022-10-10 16:46 298K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.acq-work-6threads.bpl.log 2022-10-10 16:46 127K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.acq-work-constants.bpl.log 2022-10-10 16:44 463K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.acq-work.bpl.log 2022-10-10 16:44 447K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.array-sum-with-log-3threads.bpl.log 2022-10-10 16:42 120K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.array-sum-with-log-4threads.bpl.log 2022-10-10 16:42 55K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.array-sum-with-log-5threads.bpl.log 2022-10-10 16:43 31K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.array-sum-with-log-6threads.bpl.log 2022-10-10 16:42 24K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.array-sum-with-log.bpl.log 2022-10-10 16:42 101K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.bench-exp3x3-opt.wvr.yml.log 2022-10-10 16:39 250K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.bench-exp3x3.wvr.yml.log 2022-10-10 16:40 284K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.count0-countEven-sample-abs.bpl.log 2022-10-10 16:45 159K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.incr-decr-zero.bpl.log 2022-10-10 16:52 2.2M
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.map-aggr-update1-2modifiers.bpl.log 2022-10-10 16:50 67K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.map-aggr-update1-3modifiers.bpl.log 2022-10-10 16:44 32K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.map-aggr-update1-4modifiers.bpl.log 2022-10-10 16:44 28K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 16:45 163K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.map-aggr-update1.bpl.log 2022-10-10 16:46 55K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 16:47 173K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.map-aggr-update2.bpl.log 2022-10-10 16:47 221K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.map-aggr-update3.bpl.log 2022-10-10 16:45 73K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.map-comp.bpl.log 2022-10-10 16:54 193K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.map-incr-decr.bpl.log 2022-10-10 16:54 451K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.map-incr-split.bpl.log 2022-10-10 16:55 171K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.max-tailsum2.bpl.log 2022-10-10 16:46 62K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.max-tailsum3.bpl.log 2022-10-10 16:46 78K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.max-tailsum4.bpl.log 2022-10-10 16:46 83K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.max-tailsum5.bpl.log 2022-10-10 16:47 99K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.min-max-sample-2.bpl.log 2022-10-10 16:51 120K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.min-max-sample-abs-2.bpl.log 2022-10-10 16:48 82K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 16:48 51K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.min-max-sample-abs.bpl.log 2022-10-10 16:53 201K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.min-max-sample-with_locks.bpl.log 2022-10-10 16:47 92K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.min-max-sample.bpl.log 2022-10-10 16:47 91K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.min-max-split-sample.bpl.log 2022-10-10 16:48 134K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.min2-max2-sample.bpl.log 2022-10-10 16:53 111K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 16:38 162K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.mix043.oepc.yml.log 2022-10-10 16:38 206K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.motivating-slowitp.bpl.log 2022-10-10 16:47 144K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.motivating.bpl.log 2022-10-10 16:48 41K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.optimistic-concurrency1.bpl.log 2022-10-10 16:55 1.9M
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.optimistic-concurrency2.bpl.log 2022-10-10 16:48 83K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.parallel-ticket-3.wvr.yml.log 2022-10-10 16:38 140K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.parallel-ticket-4.wvr.yml.log 2022-10-10 16:42 573K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 16:39 235K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.popl20-counter-fun.wvr.yml.log 2022-10-10 16:40 1.4M
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.popl20-horseshoe.wvr.yml.log 2022-10-10 16:41 469K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 16:39 345K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.qrcu-2.yml.log 2022-10-10 16:40 324K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.qw2004_variant.yml.log 2022-10-10 16:43 494K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.race-2_3b-container_of.yml.log 2022-10-10 16:46 1.0M
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.race-2_5-container_of.yml.log 2022-10-10 16:41 808K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.race-3_2-container_of-global.yml.log 2022-10-10 16:38 206K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.race-4_2-thread_local_vars.yml.log 2022-10-10 16:39 182K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.read_write_lock-1b.yml.log 2022-10-10 16:38 428K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.read_write_lock-2.yml.log 2022-10-10 16:41 357K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.readers_writer.bpl.log 2022-10-10 16:48 102K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.rfi006_power.oepc.yml.log 2022-10-10 16:48 27K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 16:38 112K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 16:38 112K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 16:38 110K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.sum-print.bpl.log 2022-10-10 16:55 227K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.sum-print2.bpl.log 2022-10-10 16:56 1.4M
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.sum-rwlock.bpl.log 2022-10-10 16:57 289K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.sum2_diff_incr_decr.bpl.log 2022-10-10 16:59 501K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.sum_diff_incr_decr.bpl.log 2022-10-10 16:59 171K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.sumsumbank.bpl.log 2022-10-10 16:51 105K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.sumsuminc.bpl.log 2022-10-10 16:59 643K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.sumsumsampleabs.bpl.log 2022-10-10 17:01 84K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.sumsumsampleabs2.bpl.log 2022-10-10 17:01 63K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.unroll-3.wvr.yml.log 2022-10-10 16:41 429K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.work-steal1.bpl.log 2022-10-10 16:53 72K
Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK.work-steal2.bpl.log 2022-10-10 16:58 913K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.06-symbeq_07-tricky_address2.yml.log 2022-10-10 17:02 559K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 17:02 208K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 17:05 125K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.14_spin2003.yml.log 2022-10-10 17:04 232K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.18_read_write_lock.yml.log 2022-10-10 17:02 74K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 17:02 109K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.acq-work-3threads.bpl.log 2022-10-10 17:06 450K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.acq-work-4threads.bpl.log 2022-10-10 17:08 571K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.acq-work-5threads.bpl.log 2022-10-10 17:06 200K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.acq-work-6threads.bpl.log 2022-10-10 17:10 127K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.acq-work-constants.bpl.log 2022-10-10 17:07 438K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.acq-work.bpl.log 2022-10-10 17:09 470K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.array-sum-with-log-3threads.bpl.log 2022-10-10 17:05 120K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.array-sum-with-log-4threads.bpl.log 2022-10-10 17:07 74K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.array-sum-with-log-5threads.bpl.log 2022-10-10 17:09 35K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.array-sum-with-log-6threads.bpl.log 2022-10-10 17:05 24K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.array-sum-with-log.bpl.log 2022-10-10 17:06 101K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.bench-exp3x3-opt.wvr.yml.log 2022-10-10 17:03 272K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.bench-exp3x3.wvr.yml.log 2022-10-10 17:03 284K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.count0-countEven-sample-abs.bpl.log 2022-10-10 17:08 150K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.incr-decr-zero.bpl.log 2022-10-10 17:15 2.6M
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.map-aggr-update1-2modifiers.bpl.log 2022-10-10 17:13 67K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.map-aggr-update1-3modifiers.bpl.log 2022-10-10 17:13 54K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.map-aggr-update1-4modifiers.bpl.log 2022-10-10 17:13 43K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 17:09 163K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.map-aggr-update1.bpl.log 2022-10-10 17:10 55K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 17:11 173K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.map-aggr-update2.bpl.log 2022-10-10 17:11 221K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.map-aggr-update3.bpl.log 2022-10-10 17:09 73K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.map-comp.bpl.log 2022-10-10 17:18 193K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.map-incr-decr.bpl.log 2022-10-10 17:19 421K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.map-incr-split.bpl.log 2022-10-10 17:19 171K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.max-tailsum2.bpl.log 2022-10-10 17:10 62K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.max-tailsum3.bpl.log 2022-10-10 17:11 78K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.max-tailsum4.bpl.log 2022-10-10 17:11 83K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.max-tailsum5.bpl.log 2022-10-10 17:11 99K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.min-max-sample-2.bpl.log 2022-10-10 17:15 120K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.min-max-sample-abs-2.bpl.log 2022-10-10 17:12 82K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 17:12 51K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.min-max-sample-abs.bpl.log 2022-10-10 17:12 141K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.min-max-sample-with_locks.bpl.log 2022-10-10 17:11 92K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.min-max-sample.bpl.log 2022-10-10 17:11 91K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.min-max-split-sample.bpl.log 2022-10-10 17:12 134K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.min2-max2-sample.bpl.log 2022-10-10 17:18 107K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 17:02 162K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.mix043.oepc.yml.log 2022-10-10 17:02 206K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.motivating-slowitp.bpl.log 2022-10-10 17:12 144K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.motivating.bpl.log 2022-10-10 17:13 41K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.optimistic-concurrency1.bpl.log 2022-10-10 17:22 2.6M
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.optimistic-concurrency2.bpl.log 2022-10-10 17:13 83K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.parallel-ticket-3.wvr.yml.log 2022-10-10 17:02 141K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.parallel-ticket-4.wvr.yml.log 2022-10-10 17:05 494K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 17:03 235K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.popl20-counter-fun.wvr.yml.log 2022-10-10 17:04 1.4M
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.popl20-horseshoe.wvr.yml.log 2022-10-10 17:05 441K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 17:03 345K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.qrcu-2.yml.log 2022-10-10 17:03 324K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.qw2004_variant.yml.log 2022-10-10 17:07 494K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.race-2_3b-container_of.yml.log 2022-10-10 17:10 1.0M
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.race-2_5-container_of.yml.log 2022-10-10 17:04 808K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.race-3_2-container_of-global.yml.log 2022-10-10 17:02 206K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.race-4_2-thread_local_vars.yml.log 2022-10-10 17:02 186K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.read_write_lock-1b.yml.log 2022-10-10 17:02 428K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.read_write_lock-2.yml.log 2022-10-10 17:05 808K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.readers_writer.bpl.log 2022-10-10 17:13 102K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.rfi006_power.oepc.yml.log 2022-10-10 17:11 26K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 17:02 112K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 17:02 110K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.sum-print.bpl.log 2022-10-10 17:23 251K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.sum-print2.bpl.log 2022-10-10 17:22 1.5M
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.sum-rwlock.bpl.log 2022-10-10 17:21 290K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.sum2_diff_incr_decr.bpl.log 2022-10-10 17:23 592K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.sum_diff_incr_decr.bpl.log 2022-10-10 17:24 172K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.sumsumbank.bpl.log 2022-10-10 17:15 105K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.sumsuminc.bpl.log 2022-10-10 17:23 594K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.sumsumsampleabs.bpl.log 2022-10-10 17:26 84K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.sumsumsampleabs2.bpl.log 2022-10-10 17:28 63K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.unroll-3.wvr.yml.log 2022-10-10 17:05 478K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.work-steal1.bpl.log 2022-10-10 17:18 73K
Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK.work-steal2.bpl.log 2022-10-10 17:22 913K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-10 13:52 735K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 13:51 209K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 14:00 124K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.14_spin2003.yml.log 2022-10-10 13:51 173K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.18_read_write_lock.yml.log 2022-10-10 13:51 74K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 13:54 109K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.acq-work-3threads.bpl.log 2022-10-10 14:00 218K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.acq-work-4threads.bpl.log 2022-10-10 13:55 78K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.acq-work-5threads.bpl.log 2022-10-10 13:55 35K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.acq-work-6threads.bpl.log 2022-10-10 13:55 28K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.acq-work-constants.bpl.log 2022-10-10 13:58 309K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.acq-work.bpl.log 2022-10-10 13:57 164K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.array-sum-with-log-3threads.bpl.log 2022-10-10 14:01 293K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.array-sum-with-log-4threads.bpl.log 2022-10-10 13:56 28K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.array-sum-with-log-5threads.bpl.log 2022-10-10 14:04 604K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.array-sum-with-log-6threads.bpl.log 2022-10-10 13:56 24K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.array-sum-with-log.bpl.log 2022-10-10 14:05 894K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-10 13:54 149K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.bench-exp3x3.wvr.yml.log 2022-10-10 13:51 127K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.count0-countEven-sample-abs.bpl.log 2022-10-10 13:59 367K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.incr-decr-zero.bpl.log 2022-10-10 14:06 8.4M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-10 14:01 56K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-10 13:58 32K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-10 13:59 36K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 14:00 79K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update1.bpl.log 2022-10-10 14:01 79K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 14:01 56K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update2.bpl.log 2022-10-10 14:09 405K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update3.bpl.log 2022-10-10 14:00 74K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-comp.bpl.log 2022-10-10 14:09 167K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-incr-decr.bpl.log 2022-10-10 14:09 316K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-incr-split.bpl.log 2022-10-10 14:10 98K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.max-tailsum2.bpl.log 2022-10-10 14:01 62K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.max-tailsum3.bpl.log 2022-10-10 14:01 73K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.max-tailsum4.bpl.log 2022-10-10 14:01 83K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.max-tailsum5.bpl.log 2022-10-10 14:01 27K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-sample-2.bpl.log 2022-10-10 14:11 76K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-sample-abs-2.bpl.log 2022-10-10 14:02 61K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 14:02 37K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-sample-abs.bpl.log 2022-10-10 14:11 107K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-sample-with_locks.bpl.log 2022-10-10 14:12 77K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-sample.bpl.log 2022-10-10 14:12 84K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-split-sample.bpl.log 2022-10-10 14:04 104K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min2-max2-sample.bpl.log 2022-10-10 14:14 63K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 13:51 162K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.mix043.oepc.yml.log 2022-10-10 13:51 207K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.motivating-slowitp.bpl.log 2022-10-10 14:05 96K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.motivating.bpl.log 2022-10-10 14:05 54K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.optimistic-concurrency1.bpl.log 2022-10-10 14:14 1.3M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.optimistic-concurrency2.bpl.log 2022-10-10 14:05 83K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.parallel-ticket-3.wvr.yml.log 2022-10-10 13:51 150K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.parallel-ticket-4.wvr.yml.log 2022-10-10 13:52 253K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 13:52 144K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.popl20-counter-fun.wvr.yml.log 2022-10-10 14:00 442K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.popl20-horseshoe.wvr.yml.log 2022-10-10 13:54 360K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 13:55 770K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.qrcu-2.yml.log 2022-10-10 13:51 81K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.qw2004_variant.yml.log 2022-10-10 13:51 169K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.race-2_3b-container_of.yml.log 2022-10-10 13:57 242K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.race-2_5-container_of.yml.log 2022-10-10 14:01 210K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.race-3_2-container_of-global.yml.log 2022-10-10 14:00 189K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.race-4_2-thread_local_vars.yml.log 2022-10-10 13:54 128K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.read_write_lock-1b.yml.log 2022-10-10 13:53 168K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.read_write_lock-2.yml.log 2022-10-10 13:52 77K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.readers_writer.bpl.log 2022-10-10 14:05 102K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.rfi006_power.oepc.yml.log 2022-10-10 14:01 26K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 13:51 113K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 13:51 112K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 13:51 118K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sum-print.bpl.log 2022-10-10 14:15 837K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sum-print2.bpl.log 2022-10-10 14:14 1.3M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sum-rwlock.bpl.log 2022-10-10 14:16 1.0M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sum2_diff_incr_decr.bpl.log 2022-10-10 14:17 1.3M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sum_diff_incr_decr.bpl.log 2022-10-10 14:18 161K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sumsumbank.bpl.log 2022-10-10 14:18 4.6M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sumsuminc.bpl.log 2022-10-10 14:19 2.6M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sumsumsampleabs.bpl.log 2022-10-10 14:20 77K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sumsumsampleabs2.bpl.log 2022-10-10 14:21 91K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.unroll-3.wvr.yml.log 2022-10-10 13:55 211K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.work-steal1.bpl.log 2022-10-10 14:11 73K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.work-steal2.bpl.log 2022-10-10 14:19 399K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-10 14:22 757K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 14:21 209K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 14:30 123K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.14_spin2003.yml.log 2022-10-10 14:23 188K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.18_read_write_lock.yml.log 2022-10-10 14:21 74K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 14:24 109K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.acq-work-3threads.bpl.log 2022-10-10 14:26 159K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.acq-work-4threads.bpl.log 2022-10-10 14:26 177K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.acq-work-5threads.bpl.log 2022-10-10 14:26 35K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.acq-work-6threads.bpl.log 2022-10-10 14:26 28K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.acq-work-constants.bpl.log 2022-10-10 14:29 121K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.acq-work.bpl.log 2022-10-10 14:30 121K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.array-sum-with-log-3threads.bpl.log 2022-10-10 14:28 178K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.array-sum-with-log-4threads.bpl.log 2022-10-10 14:26 24K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.array-sum-with-log-5threads.bpl.log 2022-10-10 14:27 28K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.array-sum-with-log-6threads.bpl.log 2022-10-10 14:28 28K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.array-sum-with-log.bpl.log 2022-10-10 14:35 1.1M
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-10 14:24 149K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.bench-exp3x3.wvr.yml.log 2022-10-10 14:21 127K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.count0-countEven-sample-abs.bpl.log 2022-10-10 14:30 966K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.incr-decr-zero.bpl.log 2022-10-10 14:35 6.5M
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-10 14:29 41K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-10 14:29 32K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-10 14:29 32K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 14:30 79K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.map-aggr-update1.bpl.log 2022-10-10 14:39 74K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 14:30 67K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.map-aggr-update2.bpl.log 2022-10-10 14:39 703K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.map-aggr-update3.bpl.log 2022-10-10 14:30 73K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.map-comp.bpl.log 2022-10-10 14:39 113K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.map-incr-decr.bpl.log 2022-10-10 14:40 204K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.map-incr-split.bpl.log 2022-10-10 14:40 151K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.max-tailsum2.bpl.log 2022-10-10 14:31 62K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.max-tailsum3.bpl.log 2022-10-10 14:31 73K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.max-tailsum4.bpl.log 2022-10-10 14:32 83K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.max-tailsum5.bpl.log 2022-10-10 14:32 27K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.min-max-sample-2.bpl.log 2022-10-10 14:41 83K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.min-max-sample-abs-2.bpl.log 2022-10-10 14:32 50K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 14:32 41K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.min-max-sample-abs.bpl.log 2022-10-10 14:38 161K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.min-max-sample-with_locks.bpl.log 2022-10-10 14:42 64K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.min-max-sample.bpl.log 2022-10-10 14:42 108K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.min-max-split-sample.bpl.log 2022-10-10 14:33 96K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.min2-max2-sample.bpl.log 2022-10-10 14:34 45K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 14:21 162K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.mix043.oepc.yml.log 2022-10-10 14:21 207K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.motivating-slowitp.bpl.log 2022-10-10 14:35 261K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.motivating.bpl.log 2022-10-10 14:35 60K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.optimistic-concurrency1.bpl.log 2022-10-10 14:44 1.3M
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.optimistic-concurrency2.bpl.log 2022-10-10 14:35 83K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.parallel-ticket-3.wvr.yml.log 2022-10-10 14:21 149K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.parallel-ticket-4.wvr.yml.log 2022-10-10 14:29 622K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 14:22 144K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.popl20-counter-fun.wvr.yml.log 2022-10-10 14:24 295K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.popl20-horseshoe.wvr.yml.log 2022-10-10 14:24 360K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 14:26 1.1M
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.qrcu-2.yml.log 2022-10-10 14:21 81K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.qw2004_variant.yml.log 2022-10-10 14:21 169K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.race-2_3b-container_of.yml.log 2022-10-10 14:30 479K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.race-2_5-container_of.yml.log 2022-10-10 14:31 199K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.race-3_2-container_of-global.yml.log 2022-10-10 14:30 199K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.race-4_2-thread_local_vars.yml.log 2022-10-10 14:26 138K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.read_write_lock-1b.yml.log 2022-10-10 14:22 157K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.read_write_lock-2.yml.log 2022-10-10 14:22 77K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.readers_writer.bpl.log 2022-10-10 14:35 102K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.rfi006_power.oepc.yml.log 2022-10-10 14:31 27K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 14:21 113K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 14:21 112K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 14:21 118K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.sum-print.bpl.log 2022-10-10 14:43 660K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.sum-print2.bpl.log 2022-10-10 14:44 1.3M
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.sum-rwlock.bpl.log 2022-10-10 14:46 1.1M
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.sum2_diff_incr_decr.bpl.log 2022-10-10 14:48 950K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.sum_diff_incr_decr.bpl.log 2022-10-10 14:48 154K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.sumsumbank.bpl.log 2022-10-10 14:48 3.7M
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.sumsuminc.bpl.log 2022-10-10 14:47 2.9M
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.sumsumsampleabs.bpl.log 2022-10-10 14:50 63K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.sumsumsampleabs2.bpl.log 2022-10-10 14:40 96K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.unroll-3.wvr.yml.log 2022-10-10 14:25 211K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.work-steal1.bpl.log 2022-10-10 14:41 73K
Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE.work-steal2.bpl.log 2022-10-10 14:49 615K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-10 14:56 829K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 14:50 209K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 14:59 120K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.14_spin2003.yml.log 2022-10-10 14:50 173K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.18_read_write_lock.yml.log 2022-10-10 14:50 74K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 14:53 109K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.acq-work-3threads.bpl.log 2022-10-10 14:55 203K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.acq-work-4threads.bpl.log 2022-10-10 14:56 141K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.acq-work-5threads.bpl.log 2022-10-10 14:55 35K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.acq-work-6threads.bpl.log 2022-10-10 14:55 28K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.acq-work-constants.bpl.log 2022-10-10 14:57 106K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.acq-work.bpl.log 2022-10-10 14:57 106K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.array-sum-with-log-3threads.bpl.log 2022-10-10 15:00 874K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.array-sum-with-log-4threads.bpl.log 2022-10-10 14:56 28K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.array-sum-with-log-5threads.bpl.log 2022-10-10 14:56 28K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.array-sum-with-log-6threads.bpl.log 2022-10-10 14:56 24K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.array-sum-with-log.bpl.log 2022-10-10 15:05 669K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-10 14:51 138K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.bench-exp3x3.wvr.yml.log 2022-10-10 14:51 138K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.count0-countEven-sample-abs.bpl.log 2022-10-10 15:00 101K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.incr-decr-zero.bpl.log 2022-10-10 15:06 4.6M
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-10 15:07 67K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-10 14:58 32K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-10 14:58 25K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 14:58 113K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.map-aggr-update1.bpl.log 2022-10-10 14:59 61K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 15:02 61K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.map-aggr-update2.bpl.log 2022-10-10 15:07 226K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.map-aggr-update3.bpl.log 2022-10-10 14:59 73K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.map-comp.bpl.log 2022-10-10 15:08 130K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.map-incr-decr.bpl.log 2022-10-10 15:08 315K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.map-incr-split.bpl.log 2022-10-10 15:09 124K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.max-tailsum2.bpl.log 2022-10-10 14:59 62K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.max-tailsum3.bpl.log 2022-10-10 15:00 73K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.max-tailsum4.bpl.log 2022-10-10 15:00 83K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.max-tailsum5.bpl.log 2022-10-10 15:00 27K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.min-max-sample-2.bpl.log 2022-10-10 15:10 69K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.min-max-sample-abs-2.bpl.log 2022-10-10 15:10 45K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 15:01 80K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.min-max-sample-abs.bpl.log 2022-10-10 15:11 112K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.min-max-sample-with_locks.bpl.log 2022-10-10 15:03 55K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.min-max-sample.bpl.log 2022-10-10 15:02 120K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.min-max-split-sample.bpl.log 2022-10-10 15:11 69K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.min2-max2-sample.bpl.log 2022-10-10 15:08 67K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 14:50 162K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.mix043.oepc.yml.log 2022-10-10 14:50 207K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.motivating-slowitp.bpl.log 2022-10-10 15:04 57K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.motivating.bpl.log 2022-10-10 15:03 48K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.optimistic-concurrency1.bpl.log 2022-10-10 15:10 1.1M
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.optimistic-concurrency2.bpl.log 2022-10-10 15:04 83K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.parallel-ticket-3.wvr.yml.log 2022-10-10 14:50 158K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.parallel-ticket-4.wvr.yml.log 2022-10-10 14:58 622K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 14:51 144K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.popl20-counter-fun.wvr.yml.log 2022-10-10 14:53 295K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.popl20-horseshoe.wvr.yml.log 2022-10-10 14:53 360K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 14:58 1.1M
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.qrcu-2.yml.log 2022-10-10 14:50 81K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.qw2004_variant.yml.log 2022-10-10 14:50 169K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.race-2_3b-container_of.yml.log 2022-10-10 14:58 395K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.race-2_5-container_of.yml.log 2022-10-10 15:01 199K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.race-3_2-container_of-global.yml.log 2022-10-10 14:59 197K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.race-4_2-thread_local_vars.yml.log 2022-10-10 14:54 136K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.read_write_lock-1b.yml.log 2022-10-10 14:52 168K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.read_write_lock-2.yml.log 2022-10-10 14:52 77K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.readers_writer.bpl.log 2022-10-10 15:04 102K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.rfi006_power.oepc.yml.log 2022-10-10 15:01 27K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 14:50 113K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 14:50 112K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 14:50 118K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.sum-print.bpl.log 2022-10-10 15:13 1.0M
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.sum-print2.bpl.log 2022-10-10 15:14 1.5M
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.sum-rwlock.bpl.log 2022-10-10 15:15 1.4M
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.sum2_diff_incr_decr.bpl.log 2022-10-10 15:15 1.0M
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.sum_diff_incr_decr.bpl.log 2022-10-10 15:17 114K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.sumsumbank.bpl.log 2022-10-10 15:16 3.5M
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.sumsuminc.bpl.log 2022-10-10 15:17 859K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.sumsumsampleabs.bpl.log 2022-10-10 15:18 97K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.sumsumsampleabs2.bpl.log 2022-10-10 15:18 204K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.unroll-3.wvr.yml.log 2022-10-10 14:54 211K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.work-steal1.bpl.log 2022-10-10 15:10 73K
Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE.work-steal2.bpl.log 2022-10-10 15:11 151K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-10 15:24 752K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 15:19 209K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 15:28 165K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.14_spin2003.yml.log 2022-10-10 15:19 173K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.18_read_write_lock.yml.log 2022-10-10 15:19 74K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 15:21 109K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.acq-work-3threads.bpl.log 2022-10-10 15:25 177K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.acq-work-4threads.bpl.log 2022-10-10 15:26 267K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.acq-work-5threads.bpl.log 2022-10-10 15:24 35K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.acq-work-6threads.bpl.log 2022-10-10 15:24 28K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.acq-work-constants.bpl.log 2022-10-10 15:25 80K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.acq-work.bpl.log 2022-10-10 15:26 164K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.array-sum-with-log-3threads.bpl.log 2022-10-10 15:33 1.3M
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.array-sum-with-log-4threads.bpl.log 2022-10-10 15:34 1.9M
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.array-sum-with-log-5threads.bpl.log 2022-10-10 15:25 36K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.array-sum-with-log-6threads.bpl.log 2022-10-10 15:26 28K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.array-sum-with-log.bpl.log 2022-10-10 15:35 904K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-10 15:20 149K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.bench-exp3x3.wvr.yml.log 2022-10-10 15:20 149K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.count0-countEven-sample-abs.bpl.log 2022-10-10 15:33 1.2M
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.incr-decr-zero.bpl.log 2022-10-10 15:34 5.8M
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-10 15:27 50K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-10 15:28 36K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-10 15:27 28K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 15:27 113K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.map-aggr-update1.bpl.log 2022-10-10 15:27 73K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 15:35 311K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.map-aggr-update2.bpl.log 2022-10-10 15:37 641K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.map-aggr-update3.bpl.log 2022-10-10 15:28 73K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.map-comp.bpl.log 2022-10-10 15:37 178K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.map-incr-decr.bpl.log 2022-10-10 15:37 329K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.map-incr-split.bpl.log 2022-10-10 15:37 238K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.max-tailsum2.bpl.log 2022-10-10 15:28 62K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.max-tailsum3.bpl.log 2022-10-10 15:29 72K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.max-tailsum4.bpl.log 2022-10-10 15:29 83K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.max-tailsum5.bpl.log 2022-10-10 15:29 27K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.min-max-sample-2.bpl.log 2022-10-10 15:39 69K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.min-max-sample-abs-2.bpl.log 2022-10-10 15:39 130K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 15:37 833K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.min-max-sample-abs.bpl.log 2022-10-10 15:36 130K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.min-max-sample-with_locks.bpl.log 2022-10-10 15:43 57K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.min-max-sample.bpl.log 2022-10-10 15:43 133K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.min-max-split-sample.bpl.log 2022-10-10 15:40 96K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.min2-max2-sample.bpl.log 2022-10-10 15:44 70K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 15:19 162K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.mix043.oepc.yml.log 2022-10-10 15:19 206K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.motivating-slowitp.bpl.log 2022-10-10 15:36 397K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.motivating.bpl.log 2022-10-10 15:35 42K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.optimistic-concurrency1.bpl.log 2022-10-10 15:42 1.3M
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.optimistic-concurrency2.bpl.log 2022-10-10 15:36 83K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.parallel-ticket-3.wvr.yml.log 2022-10-10 15:19 158K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.parallel-ticket-4.wvr.yml.log 2022-10-10 15:27 622K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 15:19 144K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.popl20-counter-fun.wvr.yml.log 2022-10-10 15:23 295K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.popl20-horseshoe.wvr.yml.log 2022-10-10 15:23 360K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 15:24 1.0M
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.qrcu-2.yml.log 2022-10-10 15:19 81K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.qw2004_variant.yml.log 2022-10-10 15:24 199K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.race-2_3b-container_of.yml.log 2022-10-10 15:27 592K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.race-2_5-container_of.yml.log 2022-10-10 15:29 229K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.race-3_2-container_of-global.yml.log 2022-10-10 15:28 189K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.race-4_2-thread_local_vars.yml.log 2022-10-10 15:22 133K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.read_write_lock-1b.yml.log 2022-10-10 15:21 179K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.read_write_lock-2.yml.log 2022-10-10 15:20 77K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.readers_writer.bpl.log 2022-10-10 15:36 102K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.rfi006_power.oepc.yml.log 2022-10-10 15:30 27K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 15:19 113K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 15:19 112K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 15:19 117K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.sum-print.bpl.log 2022-10-10 15:44 1.2M
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.sum-print2.bpl.log 2022-10-10 15:45 1.5M
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.sum-rwlock.bpl.log 2022-10-10 15:44 1.1M
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.sum2_diff_incr_decr.bpl.log 2022-10-10 15:46 467K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.sum_diff_incr_decr.bpl.log 2022-10-10 15:46 236K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.sumsumbank.bpl.log 2022-10-10 15:45 3.2M
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.sumsuminc.bpl.log 2022-10-10 15:49 688K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.sumsumsampleabs.bpl.log 2022-10-10 15:49 165K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.sumsumsampleabs2.bpl.log 2022-10-10 15:50 107K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.unroll-3.wvr.yml.log 2022-10-10 15:25 214K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.work-steal1.bpl.log 2022-10-10 15:40 73K
Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE.work-steal2.bpl.log 2022-10-10 15:48 509K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.06-symbeq_07-tricky_address2.yml.log 2022-10-10 13:31 560K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 13:30 208K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 13:36 96K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.14_spin2003.yml.log 2022-10-10 13:32 232K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.18_read_write_lock.yml.log 2022-10-10 13:30 74K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 13:35 184K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.acq-work-3threads.bpl.log 2022-10-10 13:35 307K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.acq-work-4threads.bpl.log 2022-10-10 13:34 150K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.acq-work-5threads.bpl.log 2022-10-10 13:35 101K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.acq-work-6threads.bpl.log 2022-10-10 13:38 127K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.acq-work-constants.bpl.log 2022-10-10 13:35 361K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.acq-work.bpl.log 2022-10-10 13:35 361K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.array-sum-with-log-3threads.bpl.log 2022-10-10 13:34 120K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.array-sum-with-log-4threads.bpl.log 2022-10-10 13:40 93K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.array-sum-with-log-5threads.bpl.log 2022-10-10 13:40 54K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.array-sum-with-log-6threads.bpl.log 2022-10-10 13:40 40K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.array-sum-with-log.bpl.log 2022-10-10 13:35 101K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.bench-exp3x3-opt.wvr.yml.log 2022-10-10 13:32 277K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.bench-exp3x3.wvr.yml.log 2022-10-10 13:32 295K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.count0-countEven-sample-abs.bpl.log 2022-10-10 13:38 93K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.incr-decr-zero.bpl.log 2022-10-10 13:35 109K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.map-aggr-update1-2modifiers.bpl.log 2022-10-10 13:42 68K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.map-aggr-update1-3modifiers.bpl.log 2022-10-10 13:39 36K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.map-aggr-update1-4modifiers.bpl.log 2022-10-10 13:41 43K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 13:36 146K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.map-aggr-update1.bpl.log 2022-10-10 13:38 55K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 13:39 124K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.map-aggr-update2.bpl.log 2022-10-10 13:37 202K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.map-aggr-update3.bpl.log 2022-10-10 13:37 73K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.map-comp.bpl.log 2022-10-10 13:46 110K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.map-incr-decr.bpl.log 2022-10-10 13:38 109K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.map-incr-split.bpl.log 2022-10-10 13:39 109K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.max-tailsum2.bpl.log 2022-10-10 13:38 62K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.max-tailsum3.bpl.log 2022-10-10 13:39 78K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.max-tailsum4.bpl.log 2022-10-10 13:39 83K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.max-tailsum5.bpl.log 2022-10-10 13:39 99K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.min-max-sample-2.bpl.log 2022-10-10 13:43 120K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.min-max-sample-abs-2.bpl.log 2022-10-10 13:41 86K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 13:40 51K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.min-max-sample-abs.bpl.log 2022-10-10 13:46 141K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.min-max-sample-with_locks.bpl.log 2022-10-10 13:40 92K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.min-max-sample.bpl.log 2022-10-10 13:40 91K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.min-max-split-sample.bpl.log 2022-10-10 13:40 135K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.min2-max2-sample.bpl.log 2022-10-10 13:40 63K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 13:30 162K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.mix043.oepc.yml.log 2022-10-10 13:30 206K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.motivating-slowitp.bpl.log 2022-10-10 13:49 273K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.motivating.bpl.log 2022-10-10 13:40 41K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.optimistic-concurrency1.bpl.log 2022-10-10 13:47 1.0M
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.optimistic-concurrency2.bpl.log 2022-10-10 13:40 83K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.parallel-ticket-3.wvr.yml.log 2022-10-10 13:30 141K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.parallel-ticket-4.wvr.yml.log 2022-10-10 13:34 573K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 13:32 236K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.popl20-counter-fun.wvr.yml.log 2022-10-10 13:32 1.4M
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.popl20-horseshoe.wvr.yml.log 2022-10-10 13:33 463K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 13:31 318K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.qrcu-2.yml.log 2022-10-10 13:32 324K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.qw2004_variant.yml.log 2022-10-10 13:35 497K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.race-2_3b-container_of.yml.log 2022-10-10 13:40 352K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.race-2_5-container_of.yml.log 2022-10-10 13:40 192K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.race-3_2-container_of-global.yml.log 2022-10-10 13:30 206K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.race-4_2-thread_local_vars.yml.log 2022-10-10 13:32 709K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.read_write_lock-1b.yml.log 2022-10-10 13:30 428K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.read_write_lock-2.yml.log 2022-10-10 13:34 808K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.readers_writer.bpl.log 2022-10-10 13:40 102K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.rfi006_power.oepc.yml.log 2022-10-10 13:40 27K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 13:30 113K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 13:30 112K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 13:30 110K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.sum-print.bpl.log 2022-10-10 13:42 404K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.sum-print2.bpl.log 2022-10-10 13:49 1.5M
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.sum-rwlock.bpl.log 2022-10-10 13:40 128K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.sum2_diff_incr_decr.bpl.log 2022-10-10 13:41 109K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.sum_diff_incr_decr.bpl.log 2022-10-10 13:41 134K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.sumsumbank.bpl.log 2022-10-10 13:41 105K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.sumsuminc.bpl.log 2022-10-10 13:49 481K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.sumsumsampleabs.bpl.log 2022-10-10 13:51 84K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.sumsumsampleabs2.bpl.log 2022-10-10 13:51 62K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.unroll-3.wvr.yml.log 2022-10-10 13:33 429K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.work-steal1.bpl.log 2022-10-10 13:41 73K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE.work-steal2.bpl.log 2022-10-10 13:48 913K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.06-symbeq_07-tricky_address2.yml.log 2022-10-10 12:49 560K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 12:48 209K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 12:51 138K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.14_spin2003.yml.log 2022-10-10 12:52 261K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.18_read_write_lock.yml.log 2022-10-10 12:48 74K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 12:53 185K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.acq-work-3threads.bpl.log 2022-10-10 12:52 270K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.acq-work-4threads.bpl.log 2022-10-10 12:53 150K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.acq-work-5threads.bpl.log 2022-10-10 12:52 107K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.acq-work-6threads.bpl.log 2022-10-10 12:57 127K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.acq-work-constants.bpl.log 2022-10-10 12:53 361K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.acq-work.bpl.log 2022-10-10 12:53 234K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.array-sum-with-log-3threads.bpl.log 2022-10-10 12:53 120K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.array-sum-with-log-4threads.bpl.log 2022-10-10 12:56 79K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.array-sum-with-log-5threads.bpl.log 2022-10-10 12:58 50K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.array-sum-with-log-6threads.bpl.log 2022-10-10 12:53 24K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.array-sum-with-log.bpl.log 2022-10-10 12:53 101K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.bench-exp3x3-opt.wvr.yml.log 2022-10-10 12:50 284K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.bench-exp3x3.wvr.yml.log 2022-10-10 12:50 265K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.count0-countEven-sample-abs.bpl.log 2022-10-10 12:56 101K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.incr-decr-zero.bpl.log 2022-10-10 12:53 125K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.map-aggr-update1-2modifiers.bpl.log 2022-10-10 12:59 67K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.map-aggr-update1-3modifiers.bpl.log 2022-10-10 12:57 36K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.map-aggr-update1-4modifiers.bpl.log 2022-10-10 12:59 42K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 12:55 154K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.map-aggr-update1.bpl.log 2022-10-10 12:56 55K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 12:57 146K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.map-aggr-update2.bpl.log 2022-10-10 12:55 202K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.map-aggr-update3.bpl.log 2022-10-10 12:55 73K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.map-comp.bpl.log 2022-10-10 13:05 127K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.map-incr-decr.bpl.log 2022-10-10 12:56 125K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.map-incr-split.bpl.log 2022-10-10 12:57 125K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.max-tailsum2.bpl.log 2022-10-10 12:56 62K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.max-tailsum3.bpl.log 2022-10-10 12:56 78K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.max-tailsum4.bpl.log 2022-10-10 12:56 83K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.max-tailsum5.bpl.log 2022-10-10 12:57 99K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.min-max-sample-2.bpl.log 2022-10-10 13:01 120K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.min-max-sample-abs-2.bpl.log 2022-10-10 12:59 86K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 13:03 75K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.min-max-sample-abs.bpl.log 2022-10-10 12:59 159K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.min-max-sample-with_locks.bpl.log 2022-10-10 12:57 92K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.min-max-sample.bpl.log 2022-10-10 12:57 91K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.min-max-split-sample.bpl.log 2022-10-10 12:58 134K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.min2-max2-sample.bpl.log 2022-10-10 13:07 107K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 12:48 162K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.mix043.oepc.yml.log 2022-10-10 12:48 206K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.motivating-slowitp.bpl.log 2022-10-10 13:07 153K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.motivating.bpl.log 2022-10-10 12:58 41K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.optimistic-concurrency1.bpl.log 2022-10-10 13:05 1.0M
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.optimistic-concurrency2.bpl.log 2022-10-10 12:58 83K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.parallel-ticket-3.wvr.yml.log 2022-10-10 12:48 141K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.parallel-ticket-4.wvr.yml.log 2022-10-10 12:52 541K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 12:50 236K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.popl20-counter-fun.wvr.yml.log 2022-10-10 12:50 1.4M
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.popl20-horseshoe.wvr.yml.log 2022-10-10 12:51 441K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 12:49 318K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.qrcu-2.yml.log 2022-10-10 12:50 324K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.qw2004_variant.yml.log 2022-10-10 12:53 494K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.race-2_3b-container_of.yml.log 2022-10-10 12:58 352K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.race-2_5-container_of.yml.log 2022-10-10 12:58 201K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.race-3_2-container_of-global.yml.log 2022-10-10 12:48 206K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.race-4_2-thread_local_vars.yml.log 2022-10-10 12:50 709K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.read_write_lock-1b.yml.log 2022-10-10 12:48 428K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.read_write_lock-2.yml.log 2022-10-10 12:52 808K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.readers_writer.bpl.log 2022-10-10 12:58 102K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.rfi006_power.oepc.yml.log 2022-10-10 12:58 27K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 12:48 113K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 12:48 112K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 12:48 110K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.sum-print.bpl.log 2022-10-10 13:02 500K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.sum-print2.bpl.log 2022-10-10 13:06 1.4M
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.sum-rwlock.bpl.log 2022-10-10 12:58 145K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.sum2_diff_incr_decr.bpl.log 2022-10-10 12:58 125K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.sum_diff_incr_decr.bpl.log 2022-10-10 12:59 126K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.sumsumbank.bpl.log 2022-10-10 12:59 105K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.sumsuminc.bpl.log 2022-10-10 13:08 569K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.sumsumsampleabs.bpl.log 2022-10-10 13:09 84K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.sumsumsampleabs2.bpl.log 2022-10-10 13:09 63K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.unroll-3.wvr.yml.log 2022-10-10 12:52 478K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.work-steal1.bpl.log 2022-10-10 12:59 73K
Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK.work-steal2.bpl.log 2022-10-10 13:06 913K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.06-symbeq_07-tricky_address2.yml.log 2022-10-10 13:10 559K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 13:09 209K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 13:14 126K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.14_spin2003.yml.log 2022-10-10 13:11 232K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.18_read_write_lock.yml.log 2022-10-10 13:09 74K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 13:14 184K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.acq-work-3threads.bpl.log 2022-10-10 13:14 307K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.acq-work-4threads.bpl.log 2022-10-10 13:14 177K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.acq-work-5threads.bpl.log 2022-10-10 13:13 171K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.acq-work-6threads.bpl.log 2022-10-10 13:17 127K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.acq-work-constants.bpl.log 2022-10-10 13:13 245K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.acq-work.bpl.log 2022-10-10 13:13 234K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.array-sum-with-log-3threads.bpl.log 2022-10-10 13:13 120K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.array-sum-with-log-4threads.bpl.log 2022-10-10 13:15 60K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.array-sum-with-log-5threads.bpl.log 2022-10-10 13:18 36K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.array-sum-with-log-6threads.bpl.log 2022-10-10 13:19 40K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.array-sum-with-log.bpl.log 2022-10-10 13:13 102K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.bench-exp3x3-opt.wvr.yml.log 2022-10-10 13:10 261K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.bench-exp3x3.wvr.yml.log 2022-10-10 13:11 313K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.count0-countEven-sample-abs.bpl.log 2022-10-10 13:19 154K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.incr-decr-zero.bpl.log 2022-10-10 13:14 170K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.map-aggr-update1-2modifiers.bpl.log 2022-10-10 13:20 68K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.map-aggr-update1-3modifiers.bpl.log 2022-10-10 13:15 32K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.map-aggr-update1-4modifiers.bpl.log 2022-10-10 13:20 43K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 13:15 163K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.map-aggr-update1.bpl.log 2022-10-10 13:17 55K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 13:17 173K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.map-aggr-update2.bpl.log 2022-10-10 13:16 235K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.map-aggr-update3.bpl.log 2022-10-10 13:16 73K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.map-comp.bpl.log 2022-10-10 13:25 175K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.map-incr-decr.bpl.log 2022-10-10 13:16 170K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.map-incr-split.bpl.log 2022-10-10 13:21 170K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.max-tailsum2.bpl.log 2022-10-10 13:16 62K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.max-tailsum3.bpl.log 2022-10-10 13:16 78K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.max-tailsum4.bpl.log 2022-10-10 13:16 83K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.max-tailsum5.bpl.log 2022-10-10 13:17 99K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.min-max-sample-2.bpl.log 2022-10-10 13:21 120K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.min-max-sample-abs-2.bpl.log 2022-10-10 13:19 82K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 13:19 51K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.min-max-sample-abs.bpl.log 2022-10-10 13:20 124K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.min-max-sample-with_locks.bpl.log 2022-10-10 13:19 92K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.min-max-sample.bpl.log 2022-10-10 13:19 92K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.min-max-split-sample.bpl.log 2022-10-10 13:19 134K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.min2-max2-sample.bpl.log 2022-10-10 13:25 111K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 13:09 162K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.mix043.oepc.yml.log 2022-10-10 13:09 206K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.motivating-slowitp.bpl.log 2022-10-10 13:28 172K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.motivating.bpl.log 2022-10-10 13:19 41K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.optimistic-concurrency1.bpl.log 2022-10-10 13:26 1.0M
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.optimistic-concurrency2.bpl.log 2022-10-10 13:19 83K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.parallel-ticket-3.wvr.yml.log 2022-10-10 13:09 141K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.parallel-ticket-4.wvr.yml.log 2022-10-10 13:13 502K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 13:11 236K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.popl20-counter-fun.wvr.yml.log 2022-10-10 13:11 1.4M
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.popl20-horseshoe.wvr.yml.log 2022-10-10 13:12 463K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 13:10 304K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.qrcu-2.yml.log 2022-10-10 13:11 324K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.qw2004_variant.yml.log 2022-10-10 13:15 494K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.race-2_3b-container_of.yml.log 2022-10-10 13:18 352K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.race-2_5-container_of.yml.log 2022-10-10 13:19 220K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.race-3_2-container_of-global.yml.log 2022-10-10 13:10 206K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.race-4_2-thread_local_vars.yml.log 2022-10-10 13:11 709K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.read_write_lock-1b.yml.log 2022-10-10 13:10 428K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.read_write_lock-2.yml.log 2022-10-10 13:13 809K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.readers_writer.bpl.log 2022-10-10 13:19 102K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.rfi006_power.oepc.yml.log 2022-10-10 13:19 27K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 13:09 113K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 13:09 112K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 13:09 110K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.sum-print.bpl.log 2022-10-10 13:26 420K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.sum-print2.bpl.log 2022-10-10 13:28 1.4M
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.sum-rwlock.bpl.log 2022-10-10 13:20 191K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.sum2_diff_incr_decr.bpl.log 2022-10-10 13:20 170K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.sum_diff_incr_decr.bpl.log 2022-10-10 13:20 170K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.sumsumbank.bpl.log 2022-10-10 13:20 105K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.sumsuminc.bpl.log 2022-10-10 13:28 532K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.sumsumsampleabs.bpl.log 2022-10-10 13:30 84K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.sumsumsampleabs2.bpl.log 2022-10-10 13:30 63K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.unroll-3.wvr.yml.log 2022-10-10 13:12 390K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.work-steal1.bpl.log 2022-10-10 13:20 73K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE.work-steal2.bpl.log 2022-10-10 13:27 913K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.06-symbeq_07-tricky_address2.yml.log 2022-10-10 12:26 559K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 12:25 209K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 12:27 122K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.14_spin2003.yml.log 2022-10-10 12:29 261K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.18_read_write_lock.yml.log 2022-10-10 12:25 74K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 12:25 109K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.acq-work-3threads.bpl.log 2022-10-10 12:30 294K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.acq-work-4threads.bpl.log 2022-10-10 12:28 168K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.acq-work-5threads.bpl.log 2022-10-10 12:34 253K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.acq-work-6threads.bpl.log 2022-10-10 12:34 127K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.acq-work-constants.bpl.log 2022-10-10 12:29 307K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.acq-work.bpl.log 2022-10-10 12:29 281K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.array-sum-with-log-3threads.bpl.log 2022-10-10 12:29 120K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.array-sum-with-log-4threads.bpl.log 2022-10-10 12:31 79K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.array-sum-with-log-5threads.bpl.log 2022-10-10 12:35 52K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.array-sum-with-log-6threads.bpl.log 2022-10-10 12:35 40K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.array-sum-with-log.bpl.log 2022-10-10 12:29 102K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.bench-exp3x3-opt.wvr.yml.log 2022-10-10 12:27 635K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.bench-exp3x3.wvr.yml.log 2022-10-10 12:27 288K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.count0-countEven-sample-abs.bpl.log 2022-10-10 12:31 141K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.incr-decr-zero.bpl.log 2022-10-10 12:30 223K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.map-aggr-update1-2modifiers.bpl.log 2022-10-10 12:36 68K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.map-aggr-update1-3modifiers.bpl.log 2022-10-10 12:34 36K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.map-aggr-update1-4modifiers.bpl.log 2022-10-10 12:36 43K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 12:32 163K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.map-aggr-update1.bpl.log 2022-10-10 12:33 55K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 12:33 173K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.map-aggr-update2.bpl.log 2022-10-10 12:37 307K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.map-aggr-update3.bpl.log 2022-10-10 12:32 73K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.map-comp.bpl.log 2022-10-10 12:41 230K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.map-incr-decr.bpl.log 2022-10-10 12:34 223K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.map-incr-split.bpl.log 2022-10-10 12:42 172K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.max-tailsum2.bpl.log 2022-10-10 12:34 62K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.max-tailsum3.bpl.log 2022-10-10 12:34 78K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.max-tailsum4.bpl.log 2022-10-10 12:34 83K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.max-tailsum5.bpl.log 2022-10-10 12:34 99K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.min-max-sample-2.bpl.log 2022-10-10 12:38 120K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.min-max-sample-abs-2.bpl.log 2022-10-10 12:36 82K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 12:40 75K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.min-max-sample-abs.bpl.log 2022-10-10 12:37 141K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.min-max-sample-with_locks.bpl.log 2022-10-10 12:35 92K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.min-max-sample.bpl.log 2022-10-10 12:35 91K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.min-max-split-sample.bpl.log 2022-10-10 12:35 135K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.min2-max2-sample.bpl.log 2022-10-10 12:41 111K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 12:25 162K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.mix043.oepc.yml.log 2022-10-10 12:25 206K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.motivating-slowitp.bpl.log 2022-10-10 12:44 184K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.motivating.bpl.log 2022-10-10 12:35 41K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.optimistic-concurrency1.bpl.log 2022-10-10 12:44 1.2M
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.optimistic-concurrency2.bpl.log 2022-10-10 12:35 83K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.parallel-ticket-3.wvr.yml.log 2022-10-10 12:25 141K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.parallel-ticket-4.wvr.yml.log 2022-10-10 12:29 616K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 12:27 224K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.popl20-counter-fun.wvr.yml.log 2022-10-10 12:27 1.4M
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.popl20-horseshoe.wvr.yml.log 2022-10-10 12:28 452K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 12:26 346K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.qrcu-2.yml.log 2022-10-10 12:27 324K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.qw2004_variant.yml.log 2022-10-10 12:31 495K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.race-2_3b-container_of.yml.log 2022-10-10 12:35 378K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.race-2_5-container_of.yml.log 2022-10-10 12:35 262K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.race-3_2-container_of-global.yml.log 2022-10-10 12:26 206K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.race-4_2-thread_local_vars.yml.log 2022-10-10 12:26 172K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.read_write_lock-1b.yml.log 2022-10-10 12:26 428K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.read_write_lock-2.yml.log 2022-10-10 12:29 808K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.readers_writer.bpl.log 2022-10-10 12:35 102K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.rfi006_power.oepc.yml.log 2022-10-10 12:35 27K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 12:25 113K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 12:25 112K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 12:25 110K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.sum-print.bpl.log 2022-10-10 12:43 312K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.sum-print2.bpl.log 2022-10-10 12:44 1.5M
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.sum-rwlock.bpl.log 2022-10-10 12:38 246K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.sum2_diff_incr_decr.bpl.log 2022-10-10 12:37 223K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.sum_diff_incr_decr.bpl.log 2022-10-10 12:47 171K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.sumsumbank.bpl.log 2022-10-10 12:37 105K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.sumsuminc.bpl.log 2022-10-10 12:45 399K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.sumsumsampleabs.bpl.log 2022-10-10 12:47 84K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.sumsumsampleabs2.bpl.log 2022-10-10 12:48 63K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.unroll-3.wvr.yml.log 2022-10-10 12:28 273K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.work-steal1.bpl.log 2022-10-10 12:38 73K
Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK.work-steal2.bpl.log 2022-10-10 12:45 913K
HeavyConcrete_LoopLockstep_Badger_NoDead.06-symbeq_07-tricky_address2.yml.log 2022-10-10 12:02 429K
HeavyConcrete_LoopLockstep_Badger_NoDead.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 12:01 162K
HeavyConcrete_LoopLockstep_Badger_NoDead.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 12:04 122K
HeavyConcrete_LoopLockstep_Badger_NoDead.14_spin2003.yml.log 2022-10-10 12:03 224K
HeavyConcrete_LoopLockstep_Badger_NoDead.18_read_write_lock.yml.log 2022-10-10 12:01 62K
HeavyConcrete_LoopLockstep_Badger_NoDead.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 12:09 139K
HeavyConcrete_LoopLockstep_Badger_NoDead.acq-work-3threads.bpl.log 2022-10-10 12:10 630K
HeavyConcrete_LoopLockstep_Badger_NoDead.acq-work-4threads.bpl.log 2022-10-10 12:06 434K
HeavyConcrete_LoopLockstep_Badger_NoDead.acq-work-5threads.bpl.log 2022-10-10 12:12 338K
HeavyConcrete_LoopLockstep_Badger_NoDead.acq-work-6threads.bpl.log 2022-10-10 12:11 106K
HeavyConcrete_LoopLockstep_Badger_NoDead.acq-work-constants.bpl.log 2022-10-10 12:05 246K
HeavyConcrete_LoopLockstep_Badger_NoDead.acq-work.bpl.log 2022-10-10 12:06 443K
HeavyConcrete_LoopLockstep_Badger_NoDead.array-sum-with-log-3threads.bpl.log 2022-10-10 12:13 202K
HeavyConcrete_LoopLockstep_Badger_NoDead.array-sum-with-log-4threads.bpl.log 2022-10-10 12:06 59K
HeavyConcrete_LoopLockstep_Badger_NoDead.array-sum-with-log-5threads.bpl.log 2022-10-10 12:08 26K
HeavyConcrete_LoopLockstep_Badger_NoDead.array-sum-with-log-6threads.bpl.log 2022-10-10 12:06 23K
HeavyConcrete_LoopLockstep_Badger_NoDead.array-sum-with-log.bpl.log 2022-10-10 12:14 406K
HeavyConcrete_LoopLockstep_Badger_NoDead.bench-exp3x3-opt.wvr.yml.log 2022-10-10 12:03 474K
HeavyConcrete_LoopLockstep_Badger_NoDead.bench-exp3x3.wvr.yml.log 2022-10-10 12:03 474K
HeavyConcrete_LoopLockstep_Badger_NoDead.count0-countEven-sample-abs.bpl.log 2022-10-10 12:08 167K
HeavyConcrete_LoopLockstep_Badger_NoDead.incr-decr-zero.bpl.log 2022-10-10 12:07 65K
HeavyConcrete_LoopLockstep_Badger_NoDead.map-aggr-update1-2modifiers.bpl.log 2022-10-10 12:09 78K
HeavyConcrete_LoopLockstep_Badger_NoDead.map-aggr-update1-3modifiers.bpl.log 2022-10-10 12:14 50K
HeavyConcrete_LoopLockstep_Badger_NoDead.map-aggr-update1-4modifiers.bpl.log 2022-10-10 12:09 27K
HeavyConcrete_LoopLockstep_Badger_NoDead.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 12:09 114K
HeavyConcrete_LoopLockstep_Badger_NoDead.map-aggr-update1.bpl.log 2022-10-10 12:09 113K
HeavyConcrete_LoopLockstep_Badger_NoDead.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 12:10 151K
HeavyConcrete_LoopLockstep_Badger_NoDead.map-aggr-update2.bpl.log 2022-10-10 12:10 120K
HeavyConcrete_LoopLockstep_Badger_NoDead.map-aggr-update3.bpl.log 2022-10-10 12:09 61K
HeavyConcrete_LoopLockstep_Badger_NoDead.map-comp.bpl.log 2022-10-10 12:18 81K
HeavyConcrete_LoopLockstep_Badger_NoDead.map-incr-decr.bpl.log 2022-10-10 12:10 80K
HeavyConcrete_LoopLockstep_Badger_NoDead.map-incr-split.bpl.log 2022-10-10 12:10 86K
HeavyConcrete_LoopLockstep_Badger_NoDead.max-tailsum2.bpl.log 2022-10-10 12:10 52K
HeavyConcrete_LoopLockstep_Badger_NoDead.max-tailsum3.bpl.log 2022-10-10 12:10 64K
HeavyConcrete_LoopLockstep_Badger_NoDead.max-tailsum4.bpl.log 2022-10-10 12:10 68K
HeavyConcrete_LoopLockstep_Badger_NoDead.max-tailsum5.bpl.log 2022-10-10 12:10 80K
HeavyConcrete_LoopLockstep_Badger_NoDead.min-max-sample-2.bpl.log 2022-10-10 12:20 67K
HeavyConcrete_LoopLockstep_Badger_NoDead.min-max-sample-abs-2.bpl.log 2022-10-10 12:20 72K
HeavyConcrete_LoopLockstep_Badger_NoDead.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 12:15 140K
HeavyConcrete_LoopLockstep_Badger_NoDead.min-max-sample-abs.bpl.log 2022-10-10 12:20 224K
HeavyConcrete_LoopLockstep_Badger_NoDead.min-max-sample-with_locks.bpl.log 2022-10-10 12:11 176K
HeavyConcrete_LoopLockstep_Badger_NoDead.min-max-sample.bpl.log 2022-10-10 12:11 159K
HeavyConcrete_LoopLockstep_Badger_NoDead.min-max-split-sample.bpl.log 2022-10-10 12:17 51K
HeavyConcrete_LoopLockstep_Badger_NoDead.min2-max2-sample.bpl.log 2022-10-10 12:21 46K
HeavyConcrete_LoopLockstep_Badger_NoDead.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 12:01 129K
HeavyConcrete_LoopLockstep_Badger_NoDead.mix043.oepc.yml.log 2022-10-10 12:01 162K
HeavyConcrete_LoopLockstep_Badger_NoDead.motivating-slowitp.bpl.log 2022-10-10 12:21 91K
HeavyConcrete_LoopLockstep_Badger_NoDead.motivating.bpl.log 2022-10-10 12:11 38K
HeavyConcrete_LoopLockstep_Badger_NoDead.optimistic-concurrency1.bpl.log 2022-10-10 12:19 1.8M
HeavyConcrete_LoopLockstep_Badger_NoDead.optimistic-concurrency2.bpl.log 2022-10-10 12:11 68K
HeavyConcrete_LoopLockstep_Badger_NoDead.parallel-ticket-3.wvr.yml.log 2022-10-10 12:01 111K
HeavyConcrete_LoopLockstep_Badger_NoDead.parallel-ticket-4.wvr.yml.log 2022-10-10 12:05 455K
HeavyConcrete_LoopLockstep_Badger_NoDead.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 12:08 319K
HeavyConcrete_LoopLockstep_Badger_NoDead.popl20-counter-fun.wvr.yml.log 2022-10-10 12:06 1.1M
HeavyConcrete_LoopLockstep_Badger_NoDead.popl20-horseshoe.wvr.yml.log 2022-10-10 12:04 387K
HeavyConcrete_LoopLockstep_Badger_NoDead.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 12:02 260K
HeavyConcrete_LoopLockstep_Badger_NoDead.qrcu-2.yml.log 2022-10-10 12:02 246K
HeavyConcrete_LoopLockstep_Badger_NoDead.qw2004_variant.yml.log 2022-10-10 12:02 275K
HeavyConcrete_LoopLockstep_Badger_NoDead.race-2_3b-container_of.yml.log 2022-10-10 12:11 278K
HeavyConcrete_LoopLockstep_Badger_NoDead.race-2_5-container_of.yml.log 2022-10-10 12:11 129K
HeavyConcrete_LoopLockstep_Badger_NoDead.race-3_2-container_of-global.yml.log 2022-10-10 12:07 164K
HeavyConcrete_LoopLockstep_Badger_NoDead.race-4_2-thread_local_vars.yml.log 2022-10-10 12:02 173K
HeavyConcrete_LoopLockstep_Badger_NoDead.read_write_lock-1b.yml.log 2022-10-10 12:01 323K
HeavyConcrete_LoopLockstep_Badger_NoDead.read_write_lock-2.yml.log 2022-10-10 12:03 109K
HeavyConcrete_LoopLockstep_Badger_NoDead.readers_writer.bpl.log 2022-10-10 12:12 77K
HeavyConcrete_LoopLockstep_Badger_NoDead.rfi006_power.oepc.yml.log 2022-10-10 12:11 26K
HeavyConcrete_LoopLockstep_Badger_NoDead.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 12:01 97K
HeavyConcrete_LoopLockstep_Badger_NoDead.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 12:01 97K
HeavyConcrete_LoopLockstep_Badger_NoDead.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 12:01 88K
HeavyConcrete_LoopLockstep_Badger_NoDead.sum-print.bpl.log 2022-10-10 12:20 545K
HeavyConcrete_LoopLockstep_Badger_NoDead.sum-print2.bpl.log 2022-10-10 12:22 1.4M
HeavyConcrete_LoopLockstep_Badger_NoDead.sum-rwlock.bpl.log 2022-10-10 12:13 78K
HeavyConcrete_LoopLockstep_Badger_NoDead.sum2_diff_incr_decr.bpl.log 2022-10-10 12:14 70K
HeavyConcrete_LoopLockstep_Badger_NoDead.sum_diff_incr_decr.bpl.log 2022-10-10 12:14 81K
HeavyConcrete_LoopLockstep_Badger_NoDead.sumsumbank.bpl.log 2022-10-10 12:22 1.3M
HeavyConcrete_LoopLockstep_Badger_NoDead.sumsuminc.bpl.log 2022-10-10 12:22 694K
HeavyConcrete_LoopLockstep_Badger_NoDead.sumsumsampleabs.bpl.log 2022-10-10 12:24 92K
HeavyConcrete_LoopLockstep_Badger_NoDead.sumsumsampleabs2.bpl.log 2022-10-10 12:25 67K
HeavyConcrete_LoopLockstep_Badger_NoDead.unroll-3.wvr.yml.log 2022-10-10 12:04 349K
HeavyConcrete_LoopLockstep_Badger_NoDead.work-steal1.bpl.log 2022-10-10 12:17 60K
HeavyConcrete_LoopLockstep_Badger_NoDead.work-steal2.bpl.log 2022-10-10 12:22 712K
LightAbstract_LoopLockstep_Badger_NoDead.06-symbeq_07-tricky_address2.yml.log 2022-10-10 11:40 530K
LightAbstract_LoopLockstep_Badger_NoDead.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-10 11:39 166K
LightAbstract_LoopLockstep_Badger_NoDead.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-10 11:41 120K
LightAbstract_LoopLockstep_Badger_NoDead.14_spin2003.yml.log 2022-10-10 11:41 225K
LightAbstract_LoopLockstep_Badger_NoDead.18_read_write_lock.yml.log 2022-10-10 11:39 61K
LightAbstract_LoopLockstep_Badger_NoDead.28-race_reach_94-alloc_region_racing.yml.log 2022-10-10 11:39 106K
LightAbstract_LoopLockstep_Badger_NoDead.acq-work-3threads.bpl.log 2022-10-10 11:43 454K
LightAbstract_LoopLockstep_Badger_NoDead.acq-work-4threads.bpl.log 2022-10-10 11:45 594K
LightAbstract_LoopLockstep_Badger_NoDead.acq-work-5threads.bpl.log 2022-10-10 11:41 186K
LightAbstract_LoopLockstep_Badger_NoDead.acq-work-6threads.bpl.log 2022-10-10 11:43 36K
LightAbstract_LoopLockstep_Badger_NoDead.acq-work-constants.bpl.log 2022-10-10 11:45 467K
LightAbstract_LoopLockstep_Badger_NoDead.acq-work.bpl.log 2022-10-10 11:44 420K
LightAbstract_LoopLockstep_Badger_NoDead.array-sum-with-log-3threads.bpl.log 2022-10-10 11:42 103K
LightAbstract_LoopLockstep_Badger_NoDead.array-sum-with-log-4threads.bpl.log 2022-10-10 11:43 77K
LightAbstract_LoopLockstep_Badger_NoDead.array-sum-with-log-5threads.bpl.log 2022-10-10 11:43 30K
LightAbstract_LoopLockstep_Badger_NoDead.array-sum-with-log-6threads.bpl.log 2022-10-10 11:42 23K
LightAbstract_LoopLockstep_Badger_NoDead.array-sum-with-log.bpl.log 2022-10-10 11:42 88K
LightAbstract_LoopLockstep_Badger_NoDead.bench-exp3x3-opt.wvr.yml.log 2022-10-10 11:40 272K
LightAbstract_LoopLockstep_Badger_NoDead.bench-exp3x3.wvr.yml.log 2022-10-10 11:41 272K
LightAbstract_LoopLockstep_Badger_NoDead.count0-countEven-sample-abs.bpl.log 2022-10-10 11:43 149K
LightAbstract_LoopLockstep_Badger_NoDead.incr-decr-zero.bpl.log 2022-10-10 11:51 2.2M
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update1-2modifiers.bpl.log 2022-10-10 11:43 35K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update1-3modifiers.bpl.log 2022-10-10 11:43 31K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update1-4modifiers.bpl.log 2022-10-10 11:43 27K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update1-otherloopbounds.bpl.log 2022-10-10 11:44 146K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update1.bpl.log 2022-10-10 11:47 60K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update2-otherloopbounds.bpl.log 2022-10-10 11:46 156K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update2.bpl.log 2022-10-10 11:46 242K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update3.bpl.log 2022-10-10 11:44 56K
LightAbstract_LoopLockstep_Badger_NoDead.map-comp.bpl.log 2022-10-10 11:53 192K
LightAbstract_LoopLockstep_Badger_NoDead.map-incr-decr.bpl.log 2022-10-10 11:53 421K
LightAbstract_LoopLockstep_Badger_NoDead.map-incr-split.bpl.log 2022-10-10 11:53 167K
LightAbstract_LoopLockstep_Badger_NoDead.max-tailsum2.bpl.log 2022-10-10 11:44 49K
LightAbstract_LoopLockstep_Badger_NoDead.max-tailsum3.bpl.log 2022-10-10 11:44 61K
LightAbstract_LoopLockstep_Badger_NoDead.max-tailsum4.bpl.log 2022-10-10 11:44 62K
LightAbstract_LoopLockstep_Badger_NoDead.max-tailsum5.bpl.log 2022-10-10 11:45 74K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-sample-2.bpl.log 2022-10-10 11:49 103K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-sample-abs-2.bpl.log 2022-10-10 11:46 81K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-sample-abs-nonatomic.bpl.log 2022-10-10 11:46 49K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-sample-abs.bpl.log 2022-10-10 11:47 140K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-sample-with_locks.bpl.log 2022-10-10 11:46 74K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-sample.bpl.log 2022-10-10 11:46 74K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-split-sample.bpl.log 2022-10-10 11:46 109K
LightAbstract_LoopLockstep_Badger_NoDead.min2-max2-sample.bpl.log 2022-10-10 11:46 74K
LightAbstract_LoopLockstep_Badger_NoDead.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-10 11:39 124K
LightAbstract_LoopLockstep_Badger_NoDead.mix043.oepc.yml.log 2022-10-10 11:39 155K
LightAbstract_LoopLockstep_Badger_NoDead.motivating-slowitp.bpl.log 2022-10-10 11:46 143K
LightAbstract_LoopLockstep_Badger_NoDead.motivating.bpl.log 2022-10-10 11:46 36K
LightAbstract_LoopLockstep_Badger_NoDead.optimistic-concurrency1.bpl.log 2022-10-10 11:53 1.8M
LightAbstract_LoopLockstep_Badger_NoDead.optimistic-concurrency2.bpl.log 2022-10-10 11:47 62K
LightAbstract_LoopLockstep_Badger_NoDead.parallel-ticket-3.wvr.yml.log 2022-10-10 11:39 123K
LightAbstract_LoopLockstep_Badger_NoDead.parallel-ticket-4.wvr.yml.log 2022-10-10 11:42 425K
LightAbstract_LoopLockstep_Badger_NoDead.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-10 11:41 246K
LightAbstract_LoopLockstep_Badger_NoDead.popl20-counter-fun.wvr.yml.log 2022-10-10 11:41 1.0M
LightAbstract_LoopLockstep_Badger_NoDead.popl20-horseshoe.wvr.yml.log 2022-10-10 11:42 430K
LightAbstract_LoopLockstep_Badger_NoDead.popl20-more-array-sum-alt.wvr.yml.log 2022-10-10 11:40 341K
LightAbstract_LoopLockstep_Badger_NoDead.qrcu-2.yml.log 2022-10-10 11:40 261K
LightAbstract_LoopLockstep_Badger_NoDead.qw2004_variant.yml.log 2022-10-10 11:40 276K
LightAbstract_LoopLockstep_Badger_NoDead.race-2_3b-container_of.yml.log 2022-10-10 11:48 1.1M
LightAbstract_LoopLockstep_Badger_NoDead.race-2_5-container_of.yml.log 2022-10-10 11:42 704K
LightAbstract_LoopLockstep_Badger_NoDead.race-3_2-container_of-global.yml.log 2022-10-10 11:40 180K
LightAbstract_LoopLockstep_Badger_NoDead.race-4_2-thread_local_vars.yml.log 2022-10-10 11:40 343K
LightAbstract_LoopLockstep_Badger_NoDead.read_write_lock-1b.yml.log 2022-10-10 11:40 345K
LightAbstract_LoopLockstep_Badger_NoDead.read_write_lock-2.yml.log 2022-10-10 11:41 196K
LightAbstract_LoopLockstep_Badger_NoDead.readers_writer.bpl.log 2022-10-10 11:47 81K
LightAbstract_LoopLockstep_Badger_NoDead.rfi006_power.oepc.yml.log 2022-10-10 11:49 26K
LightAbstract_LoopLockstep_Badger_NoDead.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-10 11:39 104K
LightAbstract_LoopLockstep_Badger_NoDead.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-10 11:39 103K
LightAbstract_LoopLockstep_Badger_NoDead.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-10 11:39 93K
LightAbstract_LoopLockstep_Badger_NoDead.sum-print.bpl.log 2022-10-10 11:57 250K
LightAbstract_LoopLockstep_Badger_NoDead.sum-print2.bpl.log 2022-10-10 11:56 1.4M
LightAbstract_LoopLockstep_Badger_NoDead.sum-rwlock.bpl.log 2022-10-10 11:56 285K
LightAbstract_LoopLockstep_Badger_NoDead.sum2_diff_incr_decr.bpl.log 2022-10-10 11:57 543K
LightAbstract_LoopLockstep_Badger_NoDead.sum_diff_incr_decr.bpl.log 2022-10-10 11:58 167K
LightAbstract_LoopLockstep_Badger_NoDead.sumsumbank.bpl.log 2022-10-10 11:49 88K
LightAbstract_LoopLockstep_Badger_NoDead.sumsuminc.bpl.log 2022-10-10 11:57 638K
LightAbstract_LoopLockstep_Badger_NoDead.sumsumsampleabs.bpl.log 2022-10-10 12:00 79K
LightAbstract_LoopLockstep_Badger_NoDead.sumsumsampleabs2.bpl.log 2022-10-10 12:01 58K
LightAbstract_LoopLockstep_Badger_NoDead.unroll-3.wvr.yml.log 2022-10-10 11:42 326K
LightAbstract_LoopLockstep_Badger_NoDead.work-steal1.bpl.log 2022-10-10 11:51 55K
LightAbstract_LoopLockstep_Badger_NoDead.work-steal2.bpl.log 2022-10-10 11:56 895K