Index of /logs/student-concurrency/20221019-145310-student-concurrency-a9feca2de1-M/concurrency-quick.2022-10-06_00-49-29.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 01:12 559K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 01:11 208K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 01:15 168K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.14_spin2003.yml.log 2022-10-06 01:12 217K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.18_read_write_lock.yml.log 2022-10-06 01:11 74K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 01:11 109K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.acq-work-3threads.bpl.log 2022-10-06 01:18 812K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.acq-work-4threads.bpl.log 2022-10-06 01:18 561K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.acq-work-5threads.bpl.log 2022-10-06 01:17 565K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.acq-work-6threads.bpl.log 2022-10-06 01:20 115K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.acq-work-constants.bpl.log 2022-10-06 01:19 364K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.acq-work.bpl.log 2022-10-06 01:18 225K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 01:16 144K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 01:22 121K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 01:22 52K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 01:22 40K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.array-sum-with-log.bpl.log 2022-10-06 01:17 133K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 01:13 276K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 01:13 284K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 01:24 568K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.incr-decr-zero.bpl.log 2022-10-06 01:26 9.3M
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 01:22 108K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 01:24 48K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 01:24 49K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 01:19 145K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.map-aggr-update1.bpl.log 2022-10-06 01:22 132K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 01:19 113K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.map-aggr-update2.bpl.log 2022-10-06 01:26 501K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.map-aggr-update3.bpl.log 2022-10-06 01:20 73K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.map-comp.bpl.log 2022-10-06 01:29 169K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.map-incr-decr.bpl.log 2022-10-06 01:29 330K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.map-incr-split.bpl.log 2022-10-06 01:30 112K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.max-tailsum2.bpl.log 2022-10-06 01:21 62K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.max-tailsum3.bpl.log 2022-10-06 01:21 78K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.max-tailsum4.bpl.log 2022-10-06 01:21 83K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.max-tailsum5.bpl.log 2022-10-06 01:22 99K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.min-max-sample-2.bpl.log 2022-10-06 01:31 115K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 01:24 67K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 01:28 82K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.min-max-sample-abs.bpl.log 2022-10-06 01:28 124K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 01:23 73K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.min-max-sample.bpl.log 2022-10-06 01:23 91K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.min-max-split-sample.bpl.log 2022-10-06 01:24 134K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.min2-max2-sample.bpl.log 2022-10-06 01:29 131K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 01:11 162K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.mix043.oepc.yml.log 2022-10-06 01:12 206K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.motivating-slowitp.bpl.log 2022-10-06 01:25 248K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.motivating.bpl.log 2022-10-06 01:24 41K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.optimistic-concurrency1.bpl.log 2022-10-06 01:33 2.2M
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.optimistic-concurrency2.bpl.log 2022-10-06 01:24 83K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 01:11 140K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 01:16 501K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 01:13 235K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 01:14 1.4M
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 01:16 455K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 01:13 451K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.qrcu-2.yml.log 2022-10-06 01:13 325K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.qw2004_variant.yml.log 2022-10-06 01:17 495K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.race-2_3b-container_of.yml.log 2022-10-06 01:18 543K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.race-2_5-container_of.yml.log 2022-10-06 01:21 386K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.race-3_2-container_of-global.yml.log 2022-10-06 01:12 206K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 01:13 196K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.read_write_lock-1b.yml.log 2022-10-06 01:12 429K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.read_write_lock-2.yml.log 2022-10-06 01:18 812K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.readers_writer.bpl.log 2022-10-06 01:24 102K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.rfi006_power.oepc.yml.log 2022-10-06 01:21 27K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 01:11 112K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 01:11 112K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 01:11 110K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.sum-print.bpl.log 2022-10-06 01:34 316K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.sum-print2.bpl.log 2022-10-06 01:34 1.4M
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.sum-rwlock.bpl.log 2022-10-06 01:33 330K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 01:34 751K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 01:35 227K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.sumsumbank.bpl.log 2022-10-06 01:27 127K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.sumsuminc.bpl.log 2022-10-06 01:34 1.1M
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.sumsumsampleabs.bpl.log 2022-10-06 01:38 99K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.sumsumsampleabs2.bpl.log 2022-10-06 01:38 63K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.unroll-3.wvr.yml.log 2022-10-06 01:15 374K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.work-steal1.bpl.log 2022-10-06 01:29 72K
Combination_LoopLockstep_Badger_NoDead_05_seed0_PURE.work-steal2.bpl.log 2022-10-06 01:38 370K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 05:09 559K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 05:09 208K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 05:16 148K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.14_spin2003.yml.log 2022-10-06 05:09 217K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.18_read_write_lock.yml.log 2022-10-06 05:09 74K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 05:14 181K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.acq-work-3threads.bpl.log 2022-10-06 05:16 381K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.acq-work-4threads.bpl.log 2022-10-06 05:17 723K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.acq-work-5threads.bpl.log 2022-10-06 05:14 190K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.acq-work-6threads.bpl.log 2022-10-06 05:19 115K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.acq-work-constants.bpl.log 2022-10-06 05:18 666K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.acq-work.bpl.log 2022-10-06 05:18 486K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 05:15 136K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 05:21 162K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 05:20 48K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 05:20 40K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.array-sum-with-log.bpl.log 2022-10-06 05:15 117K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 05:11 284K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 05:11 299K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 05:21 313K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.incr-decr-zero.bpl.log 2022-10-06 05:23 4.7M
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 05:23 68K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 05:22 55K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 05:22 43K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 05:18 146K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.map-aggr-update1.bpl.log 2022-10-06 05:26 67K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 05:18 99K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.map-aggr-update2.bpl.log 2022-10-06 05:26 764K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.map-aggr-update3.bpl.log 2022-10-06 05:18 73K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.map-comp.bpl.log 2022-10-06 05:27 384K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.map-incr-decr.bpl.log 2022-10-06 05:28 238K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.map-incr-split.bpl.log 2022-10-06 05:28 152K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.max-tailsum2.bpl.log 2022-10-06 05:19 62K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.max-tailsum3.bpl.log 2022-10-06 05:19 78K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.max-tailsum4.bpl.log 2022-10-06 05:19 83K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.max-tailsum5.bpl.log 2022-10-06 05:20 99K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.min-max-sample-2.bpl.log 2022-10-06 05:29 91K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 05:25 80K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 05:27 75K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.min-max-sample-abs.bpl.log 2022-10-06 05:30 135K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 05:21 79K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.min-max-sample.bpl.log 2022-10-06 05:21 79K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.min-max-split-sample.bpl.log 2022-10-06 05:22 134K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.min2-max2-sample.bpl.log 2022-10-06 05:22 63K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 05:09 162K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.mix043.oepc.yml.log 2022-10-06 05:09 206K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.motivating-slowitp.bpl.log 2022-10-06 05:22 248K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.motivating.bpl.log 2022-10-06 05:22 42K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.optimistic-concurrency1.bpl.log 2022-10-06 05:29 1.7M
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.optimistic-concurrency2.bpl.log 2022-10-06 05:23 83K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 05:09 141K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 05:13 487K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 05:15 359K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 05:12 1.4M
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 05:14 455K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 05:10 389K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.qrcu-2.yml.log 2022-10-06 05:11 325K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.qw2004_variant.yml.log 2022-10-06 05:14 490K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.race-2_3b-container_of.yml.log 2022-10-06 05:16 613K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.race-2_5-container_of.yml.log 2022-10-06 05:19 386K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.race-3_2-container_of-global.yml.log 2022-10-06 05:10 206K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 05:11 733K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.read_write_lock-1b.yml.log 2022-10-06 05:09 429K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.read_write_lock-2.yml.log 2022-10-06 05:15 357K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.readers_writer.bpl.log 2022-10-06 05:23 102K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.rfi006_power.oepc.yml.log 2022-10-06 05:19 26K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 05:09 112K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 05:09 112K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 05:09 110K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.sum-print.bpl.log 2022-10-06 05:33 359K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.sum-print2.bpl.log 2022-10-06 05:33 1.3M
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.sum-rwlock.bpl.log 2022-10-06 05:33 246K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 05:34 1.1M
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 05:35 276K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.sumsumbank.bpl.log 2022-10-06 05:26 105K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.sumsuminc.bpl.log 2022-10-06 05:35 536K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.sumsumsampleabs.bpl.log 2022-10-06 05:36 85K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.sumsumsampleabs2.bpl.log 2022-10-06 05:37 63K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.unroll-3.wvr.yml.log 2022-10-06 05:14 374K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.work-steal1.bpl.log 2022-10-06 05:27 73K
Combination_LoopLockstep_Badger_NoDead_05_seed13_PURE.work-steal2.bpl.log 2022-10-06 05:32 151K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 01:39 559K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 01:39 208K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 01:41 147K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.14_spin2003.yml.log 2022-10-06 01:39 217K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.18_read_write_lock.yml.log 2022-10-06 01:39 74K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 01:44 184K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.acq-work-3threads.bpl.log 2022-10-06 01:47 1.2M
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.acq-work-4threads.bpl.log 2022-10-06 01:43 273K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.acq-work-5threads.bpl.log 2022-10-06 01:43 225K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.acq-work-6threads.bpl.log 2022-10-06 01:48 47K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.acq-work-constants.bpl.log 2022-10-06 01:45 537K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.acq-work.bpl.log 2022-10-06 01:45 590K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 01:43 144K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 01:44 55K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 01:50 149K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 01:50 40K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.array-sum-with-log.bpl.log 2022-10-06 01:44 151K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 01:41 284K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 01:41 636K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 01:46 347K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.incr-decr-zero.bpl.log 2022-10-06 01:52 12M
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 01:53 67K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 01:50 41K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 01:51 48K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 01:46 163K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.map-aggr-update1.bpl.log 2022-10-06 01:51 86K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 01:48 173K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.map-aggr-update2.bpl.log 2022-10-06 01:49 346K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.map-aggr-update3.bpl.log 2022-10-06 01:46 73K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.map-comp.bpl.log 2022-10-06 01:55 179K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.map-incr-decr.bpl.log 2022-10-06 01:56 344K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.map-incr-split.bpl.log 2022-10-06 01:57 172K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.max-tailsum2.bpl.log 2022-10-06 01:48 62K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.max-tailsum3.bpl.log 2022-10-06 01:48 78K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.max-tailsum4.bpl.log 2022-10-06 01:48 83K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.max-tailsum5.bpl.log 2022-10-06 01:49 99K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.min-max-sample-2.bpl.log 2022-10-06 01:58 115K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 01:52 73K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 01:55 68K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.min-max-sample-abs.bpl.log 2022-10-06 01:59 116K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 01:50 74K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.min-max-sample.bpl.log 2022-10-06 01:50 91K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.min-max-split-sample.bpl.log 2022-10-06 01:51 135K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.min2-max2-sample.bpl.log 2022-10-06 01:57 105K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 01:39 162K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.mix043.oepc.yml.log 2022-10-06 01:39 206K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.motivating-slowitp.bpl.log 2022-10-06 01:51 127K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.motivating.bpl.log 2022-10-06 01:51 42K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.optimistic-concurrency1.bpl.log 2022-10-06 02:01 1.9M
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.optimistic-concurrency2.bpl.log 2022-10-06 01:51 83K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 01:39 141K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 01:44 473K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 01:40 235K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 01:42 1.4M
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 01:44 409K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 01:40 484K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.qrcu-2.yml.log 2022-10-06 01:41 325K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.qw2004_variant.yml.log 2022-10-06 01:44 490K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.race-2_3b-container_of.yml.log 2022-10-06 01:46 595K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.race-2_5-container_of.yml.log 2022-10-06 01:48 337K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.race-3_2-container_of-global.yml.log 2022-10-06 01:40 206K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 01:41 734K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.read_write_lock-1b.yml.log 2022-10-06 01:39 430K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.read_write_lock-2.yml.log 2022-10-06 01:46 813K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.readers_writer.bpl.log 2022-10-06 01:52 102K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.rfi006_power.oepc.yml.log 2022-10-06 01:49 26K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 01:39 113K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 01:39 112K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 01:39 110K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.sum-print.bpl.log 2022-10-06 01:59 367K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.sum-print2.bpl.log 2022-10-06 02:01 1.5M
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.sum-rwlock.bpl.log 2022-10-06 02:00 284K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 02:01 917K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 02:02 192K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.sumsumbank.bpl.log 2022-10-06 01:55 171K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.sumsuminc.bpl.log 2022-10-06 01:59 852K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.sumsumsampleabs.bpl.log 2022-10-06 02:05 92K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.sumsumsampleabs2.bpl.log 2022-10-06 02:05 76K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.unroll-3.wvr.yml.log 2022-10-06 01:43 330K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.work-steal1.bpl.log 2022-10-06 01:56 73K
Combination_LoopLockstep_Badger_NoDead_10_seed0_PURE.work-steal2.bpl.log 2022-10-06 02:00 134K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 05:38 559K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 05:37 208K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 05:44 147K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.14_spin2003.yml.log 2022-10-06 05:37 217K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.18_read_write_lock.yml.log 2022-10-06 05:37 74K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 05:43 185K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.acq-work-3threads.bpl.log 2022-10-06 05:42 381K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.acq-work-4threads.bpl.log 2022-10-06 05:42 311K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.acq-work-5threads.bpl.log 2022-10-06 05:45 200K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.acq-work-6threads.bpl.log 2022-10-06 05:46 47K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.acq-work-constants.bpl.log 2022-10-06 05:47 438K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.acq-work.bpl.log 2022-10-06 05:44 309K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 05:47 360K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 05:48 112K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 05:48 47K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 05:49 42K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.array-sum-with-log.bpl.log 2022-10-06 05:44 257K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 05:40 299K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 05:39 287K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 05:46 375K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.incr-decr-zero.bpl.log 2022-10-06 05:53 11M
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 05:50 63K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 05:50 55K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 05:45 32K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 05:46 146K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.map-aggr-update1.bpl.log 2022-10-06 05:53 113K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 05:53 113K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.map-aggr-update2.bpl.log 2022-10-06 05:50 570K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.map-aggr-update3.bpl.log 2022-10-06 05:47 73K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.map-comp.bpl.log 2022-10-06 05:56 264K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.map-incr-decr.bpl.log 2022-10-06 05:56 388K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.map-incr-split.bpl.log 2022-10-06 05:56 167K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.max-tailsum2.bpl.log 2022-10-06 05:47 62K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.max-tailsum3.bpl.log 2022-10-06 05:47 78K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.max-tailsum4.bpl.log 2022-10-06 05:47 83K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.max-tailsum5.bpl.log 2022-10-06 05:48 99K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.min-max-sample-2.bpl.log 2022-10-06 05:57 91K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 05:51 73K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 05:54 68K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.min-max-sample-abs.bpl.log 2022-10-06 05:58 100K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 05:49 73K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.min-max-sample.bpl.log 2022-10-06 05:49 79K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.min-max-split-sample.bpl.log 2022-10-06 05:59 77K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.min2-max2-sample.bpl.log 2022-10-06 05:50 103K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 05:37 162K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.mix043.oepc.yml.log 2022-10-06 05:37 206K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.motivating-slowitp.bpl.log 2022-10-06 05:51 324K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.motivating.bpl.log 2022-10-06 05:51 41K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.optimistic-concurrency1.bpl.log 2022-10-06 05:58 1.7M
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.optimistic-concurrency2.bpl.log 2022-10-06 05:52 83K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 05:37 141K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 05:42 480K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 05:39 224K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 05:40 1.4M
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 05:42 441K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 05:38 451K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.qrcu-2.yml.log 2022-10-06 05:40 325K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.qw2004_variant.yml.log 2022-10-06 05:42 492K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.race-2_3b-container_of.yml.log 2022-10-06 05:43 501K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.race-2_5-container_of.yml.log 2022-10-06 05:47 200K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.race-3_2-container_of-global.yml.log 2022-10-06 05:38 206K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 05:39 734K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.read_write_lock-1b.yml.log 2022-10-06 05:38 430K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.read_write_lock-2.yml.log 2022-10-06 05:44 782K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.readers_writer.bpl.log 2022-10-06 05:52 102K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.rfi006_power.oepc.yml.log 2022-10-06 05:47 27K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 05:37 112K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 05:37 112K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 05:37 110K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.sum-print.bpl.log 2022-10-06 06:00 339K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.sum-print2.bpl.log 2022-10-06 06:01 1.3M
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.sum-rwlock.bpl.log 2022-10-06 06:02 383K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 06:01 1.5M
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 06:03 213K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.sumsumbank.bpl.log 2022-10-06 05:55 136K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.sumsuminc.bpl.log 2022-10-06 06:03 1.8M
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.sumsumsampleabs.bpl.log 2022-10-06 06:06 84K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.sumsumsampleabs2.bpl.log 2022-10-06 06:06 63K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.unroll-3.wvr.yml.log 2022-10-06 05:44 478K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.work-steal1.bpl.log 2022-10-06 05:56 72K
Combination_LoopLockstep_Badger_NoDead_10_seed13_PURE.work-steal2.bpl.log 2022-10-06 05:59 111K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 02:06 559K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 02:05 208K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 02:06 75K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.14_spin2003.yml.log 2022-10-06 02:06 217K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.18_read_write_lock.yml.log 2022-10-06 02:06 74K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 02:06 109K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.acq-work-3threads.bpl.log 2022-10-06 02:10 381K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.acq-work-4threads.bpl.log 2022-10-06 02:11 408K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.acq-work-5threads.bpl.log 2022-10-06 02:15 323K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.acq-work-6threads.bpl.log 2022-10-06 02:15 47K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.acq-work-constants.bpl.log 2022-10-06 02:13 503K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.acq-work.bpl.log 2022-10-06 02:11 278K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 02:17 231K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 02:13 209K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 02:18 104K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 02:17 36K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.array-sum-with-log.bpl.log 2022-10-06 02:12 211K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 02:07 272K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 02:07 284K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 02:13 501K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.incr-decr-zero.bpl.log 2022-10-06 02:19 9.8M
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 02:17 68K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 02:13 28K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 02:19 42K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 02:16 124K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.map-aggr-update1.bpl.log 2022-10-06 02:19 105K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 02:14 137K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.map-aggr-update2.bpl.log 2022-10-06 02:21 539K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.map-aggr-update3.bpl.log 2022-10-06 02:14 73K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.map-comp.bpl.log 2022-10-06 02:23 272K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.map-incr-decr.bpl.log 2022-10-06 02:23 344K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.map-incr-split.bpl.log 2022-10-06 02:24 133K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.max-tailsum2.bpl.log 2022-10-06 02:15 62K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.max-tailsum3.bpl.log 2022-10-06 02:15 78K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.max-tailsum4.bpl.log 2022-10-06 02:16 83K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.max-tailsum5.bpl.log 2022-10-06 02:17 99K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.min-max-sample-2.bpl.log 2022-10-06 02:26 99K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 02:26 51K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 02:19 51K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.min-max-sample-abs.bpl.log 2022-10-06 02:27 130K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 02:18 73K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.min-max-sample.bpl.log 2022-10-06 02:18 91K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.min-max-split-sample.bpl.log 2022-10-06 02:19 127K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.min2-max2-sample.bpl.log 2022-10-06 02:28 53K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 02:06 162K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.mix043.oepc.yml.log 2022-10-06 02:06 206K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.motivating-slowitp.bpl.log 2022-10-06 02:28 265K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.motivating.bpl.log 2022-10-06 02:19 42K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.optimistic-concurrency1.bpl.log 2022-10-06 02:26 1.4M
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.optimistic-concurrency2.bpl.log 2022-10-06 02:19 83K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 02:05 141K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 02:11 355K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 02:07 213K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 02:09 1.4M
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 02:10 394K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 02:09 852K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.qrcu-2.yml.log 2022-10-06 02:09 325K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.qw2004_variant.yml.log 2022-10-06 02:11 495K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.race-2_3b-container_of.yml.log 2022-10-06 02:14 594K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.race-2_5-container_of.yml.log 2022-10-06 02:15 272K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.race-3_2-container_of-global.yml.log 2022-10-06 02:07 206K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 02:08 734K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.read_write_lock-1b.yml.log 2022-10-06 02:06 430K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.read_write_lock-2.yml.log 2022-10-06 02:12 225K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.readers_writer.bpl.log 2022-10-06 02:19 102K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.rfi006_power.oepc.yml.log 2022-10-06 02:16 27K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 02:05 113K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 02:05 112K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 02:05 110K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.sum-print.bpl.log 2022-10-06 02:27 359K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.sum-print2.bpl.log 2022-10-06 02:28 1.4M
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.sum-rwlock.bpl.log 2022-10-06 02:27 353K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 02:29 1.8M
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 02:30 299K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.sumsumbank.bpl.log 2022-10-06 02:23 292K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.sumsuminc.bpl.log 2022-10-06 02:31 2.3M
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.sumsumsampleabs.bpl.log 2022-10-06 02:33 101K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.sumsumsampleabs2.bpl.log 2022-10-06 02:34 91K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.unroll-3.wvr.yml.log 2022-10-06 02:11 317K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.work-steal1.bpl.log 2022-10-06 02:26 73K
Combination_LoopLockstep_Badger_NoDead_15_seed0_PURE.work-steal2.bpl.log 2022-10-06 02:28 142K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 06:07 559K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 06:06 208K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 06:14 140K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.14_spin2003.yml.log 2022-10-06 06:12 386K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.18_read_write_lock.yml.log 2022-10-06 06:06 74K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 06:12 181K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.acq-work-3threads.bpl.log 2022-10-06 06:10 229K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.acq-work-4threads.bpl.log 2022-10-06 06:12 266K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.acq-work-5threads.bpl.log 2022-10-06 06:16 695K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.acq-work-6threads.bpl.log 2022-10-06 06:19 47K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.acq-work-constants.bpl.log 2022-10-06 06:13 236K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.acq-work.bpl.log 2022-10-06 06:14 371K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 06:19 384K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 06:18 121K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 06:18 42K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 06:18 36K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.array-sum-with-log.bpl.log 2022-10-06 06:15 438K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 06:08 284K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 06:08 309K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 06:19 480K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.incr-decr-zero.bpl.log 2022-10-06 06:21 8.7M
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 06:23 61K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 06:20 49K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 06:22 49K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 06:15 99K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.map-aggr-update1.bpl.log 2022-10-06 06:23 105K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 06:16 86K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.map-aggr-update2.bpl.log 2022-10-06 06:23 642K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.map-aggr-update3.bpl.log 2022-10-06 06:16 73K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.map-comp.bpl.log 2022-10-06 06:26 122K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.map-incr-decr.bpl.log 2022-10-06 06:25 536K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.map-incr-split.bpl.log 2022-10-06 06:26 178K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.max-tailsum2.bpl.log 2022-10-06 06:18 62K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.max-tailsum3.bpl.log 2022-10-06 06:18 78K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.max-tailsum4.bpl.log 2022-10-06 06:18 83K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.max-tailsum5.bpl.log 2022-10-06 06:19 99K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.min-max-sample-2.bpl.log 2022-10-06 06:28 91K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 06:22 89K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 06:21 46K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.min-max-sample-abs.bpl.log 2022-10-06 06:29 126K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 06:20 86K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.min-max-sample.bpl.log 2022-10-06 06:20 79K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.min-max-split-sample.bpl.log 2022-10-06 06:20 120K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.min2-max2-sample.bpl.log 2022-10-06 06:20 88K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 06:06 162K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.mix043.oepc.yml.log 2022-10-06 06:06 206K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.motivating-slowitp.bpl.log 2022-10-06 06:30 63K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.motivating.bpl.log 2022-10-06 06:21 41K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.optimistic-concurrency1.bpl.log 2022-10-06 06:29 1.4M
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.optimistic-concurrency2.bpl.log 2022-10-06 06:22 83K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 06:06 141K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 06:13 473K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 06:10 247K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 06:10 1.4M
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 06:13 405K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 06:09 809K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.qrcu-2.yml.log 2022-10-06 06:09 325K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.qw2004_variant.yml.log 2022-10-06 06:11 495K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.race-2_3b-container_of.yml.log 2022-10-06 06:11 298K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.race-2_5-container_of.yml.log 2022-10-06 06:16 358K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.race-3_2-container_of-global.yml.log 2022-10-06 06:08 206K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 06:09 734K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.read_write_lock-1b.yml.log 2022-10-06 06:07 430K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.read_write_lock-2.yml.log 2022-10-06 06:13 225K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.readers_writer.bpl.log 2022-10-06 06:22 102K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.rfi006_power.oepc.yml.log 2022-10-06 06:17 27K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 06:06 112K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 06:06 112K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 06:06 117K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.sum-print.bpl.log 2022-10-06 06:31 429K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.sum-print2.bpl.log 2022-10-06 06:32 1.3M
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.sum-rwlock.bpl.log 2022-10-06 06:30 259K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 06:32 1.9M
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 06:32 182K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.sumsumbank.bpl.log 2022-10-06 06:24 268K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.sumsuminc.bpl.log 2022-10-06 06:33 793K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.sumsumsampleabs.bpl.log 2022-10-06 06:35 84K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.sumsumsampleabs2.bpl.log 2022-10-06 06:35 77K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.unroll-3.wvr.yml.log 2022-10-06 06:12 306K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.work-steal1.bpl.log 2022-10-06 06:26 73K
Combination_LoopLockstep_Badger_NoDead_15_seed13_PURE.work-steal2.bpl.log 2022-10-06 06:29 160K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 02:35 560K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 02:34 208K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 02:36 87K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.14_spin2003.yml.log 2022-10-06 02:35 217K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.18_read_write_lock.yml.log 2022-10-06 02:35 74K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 02:40 181K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.acq-work-3threads.bpl.log 2022-10-06 02:40 326K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.acq-work-4threads.bpl.log 2022-10-06 02:41 273K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.acq-work-5threads.bpl.log 2022-10-06 02:45 253K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.acq-work-6threads.bpl.log 2022-10-06 02:45 47K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.acq-work-constants.bpl.log 2022-10-06 02:42 266K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.acq-work.bpl.log 2022-10-06 02:42 284K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 02:45 231K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 02:48 2.2M
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 02:45 60K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 02:46 42K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.array-sum-with-log.bpl.log 2022-10-06 02:47 1.8M
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 02:37 272K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 02:36 272K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 02:44 442K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.incr-decr-zero.bpl.log 2022-10-06 02:50 11M
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 02:47 61K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 02:49 61K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 02:49 43K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 02:44 99K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.map-aggr-update1.bpl.log 2022-10-06 02:46 55K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 02:45 92K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.map-aggr-update2.bpl.log 2022-10-06 02:49 570K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.map-aggr-update3.bpl.log 2022-10-06 02:45 73K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.map-comp.bpl.log 2022-10-06 02:54 169K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.map-incr-decr.bpl.log 2022-10-06 02:53 470K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.map-incr-split.bpl.log 2022-10-06 02:55 133K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.max-tailsum2.bpl.log 2022-10-06 02:45 62K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.max-tailsum3.bpl.log 2022-10-06 02:46 78K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.max-tailsum4.bpl.log 2022-10-06 02:46 83K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.max-tailsum5.bpl.log 2022-10-06 02:47 99K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.min-max-sample-2.bpl.log 2022-10-06 02:56 98K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 02:48 86K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 02:49 61K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.min-max-sample-abs.bpl.log 2022-10-06 02:57 116K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 02:48 73K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.min-max-sample.bpl.log 2022-10-06 02:48 98K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.min-max-split-sample.bpl.log 2022-10-06 02:53 142K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.min2-max2-sample.bpl.log 2022-10-06 02:58 58K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 02:35 162K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.mix043.oepc.yml.log 2022-10-06 02:35 206K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.motivating-slowitp.bpl.log 2022-10-06 02:58 112K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.motivating.bpl.log 2022-10-06 02:48 41K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.optimistic-concurrency1.bpl.log 2022-10-06 02:58 1.6M
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.optimistic-concurrency2.bpl.log 2022-10-06 02:49 83K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 02:34 141K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 02:40 409K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 02:41 317K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 02:39 1.4M
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 02:40 383K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 02:40 1.3M
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.qrcu-2.yml.log 2022-10-06 02:40 325K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.qw2004_variant.yml.log 2022-10-06 02:40 495K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.race-2_3b-container_of.yml.log 2022-10-06 02:43 559K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.race-2_5-container_of.yml.log 2022-10-06 02:45 209K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.race-3_2-container_of-global.yml.log 2022-10-06 02:37 206K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 02:35 154K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.read_write_lock-1b.yml.log 2022-10-06 02:36 430K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.read_write_lock-2.yml.log 2022-10-06 02:41 172K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.readers_writer.bpl.log 2022-10-06 02:49 102K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.rfi006_power.oepc.yml.log 2022-10-06 02:45 27K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 02:34 113K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 02:34 112K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 02:34 110K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.sum-print.bpl.log 2022-10-06 02:57 311K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.sum-print2.bpl.log 2022-10-06 02:58 1.1M
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.sum-rwlock.bpl.log 2022-10-06 02:57 331K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 03:00 1.0M
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 03:01 204K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.sumsumbank.bpl.log 2022-10-06 02:54 402K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.sumsuminc.bpl.log 2022-10-06 02:59 1.1M
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.sumsumsampleabs.bpl.log 2022-10-06 03:04 99K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.sumsumsampleabs2.bpl.log 2022-10-06 03:04 107K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.unroll-3.wvr.yml.log 2022-10-06 02:39 262K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.work-steal1.bpl.log 2022-10-06 02:55 73K
Combination_LoopLockstep_Badger_NoDead_20_seed0_PURE.work-steal2.bpl.log 2022-10-06 02:57 189K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 06:36 570K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 06:36 209K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 06:37 87K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.14_spin2003.yml.log 2022-10-06 06:37 217K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.18_read_write_lock.yml.log 2022-10-06 06:36 74K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 06:36 109K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.acq-work-3threads.bpl.log 2022-10-06 06:40 333K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.acq-work-4threads.bpl.log 2022-10-06 06:42 343K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.acq-work-5threads.bpl.log 2022-10-06 06:42 137K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.acq-work-6threads.bpl.log 2022-10-06 06:45 47K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.acq-work-constants.bpl.log 2022-10-06 06:41 296K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.acq-work.bpl.log 2022-10-06 06:41 316K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 06:47 198K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 06:48 113K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 06:48 113K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 06:47 36K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.array-sum-with-log.bpl.log 2022-10-06 06:42 180K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 06:38 272K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 06:38 272K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 06:42 215K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.incr-decr-zero.bpl.log 2022-10-06 06:49 10M
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 06:48 82K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 06:43 41K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 06:48 49K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 06:43 137K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.map-aggr-update1.bpl.log 2022-10-06 06:43 61K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 06:45 67K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.map-aggr-update2.bpl.log 2022-10-06 06:46 535K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.map-aggr-update3.bpl.log 2022-10-06 06:44 73K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.map-comp.bpl.log 2022-10-06 06:53 98K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.map-incr-decr.bpl.log 2022-10-06 06:53 647K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.map-incr-split.bpl.log 2022-10-06 06:54 152K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.max-tailsum2.bpl.log 2022-10-06 06:46 62K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.max-tailsum3.bpl.log 2022-10-06 06:46 78K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.max-tailsum4.bpl.log 2022-10-06 06:46 89K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.max-tailsum5.bpl.log 2022-10-06 06:47 94K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.min-max-sample-2.bpl.log 2022-10-06 06:56 91K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 06:49 73K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 06:48 46K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.min-max-sample-abs.bpl.log 2022-10-06 06:56 57K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 06:47 85K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.min-max-sample.bpl.log 2022-10-06 06:47 79K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.min-max-split-sample.bpl.log 2022-10-06 06:49 120K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.min2-max2-sample.bpl.log 2022-10-06 06:47 57K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 06:36 162K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.mix043.oepc.yml.log 2022-10-06 06:36 206K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.motivating-slowitp.bpl.log 2022-10-06 06:57 205K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.motivating.bpl.log 2022-10-06 06:48 41K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.optimistic-concurrency1.bpl.log 2022-10-06 06:55 1.3M
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.optimistic-concurrency2.bpl.log 2022-10-06 06:48 83K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 06:36 141K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 06:40 279K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 06:37 203K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 06:40 1.4M
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 06:40 383K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 06:40 920K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.qrcu-2.yml.log 2022-10-06 06:41 325K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.qw2004_variant.yml.log 2022-10-06 06:41 495K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.race-2_3b-container_of.yml.log 2022-10-06 06:42 375K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.race-2_5-container_of.yml.log 2022-10-06 06:46 209K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.race-3_2-container_of-global.yml.log 2022-10-06 06:38 206K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 06:38 395K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.read_write_lock-1b.yml.log 2022-10-06 06:37 430K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.read_write_lock-2.yml.log 2022-10-06 06:43 196K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.readers_writer.bpl.log 2022-10-06 06:48 102K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.rfi006_power.oepc.yml.log 2022-10-06 06:46 27K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 06:36 113K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 06:36 112K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 06:36 117K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.sum-print.bpl.log 2022-10-06 06:57 398K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.sum-print2.bpl.log 2022-10-06 06:57 1.2M
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.sum-rwlock.bpl.log 2022-10-06 06:58 374K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 06:57 2.1M
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 06:59 164K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.sumsumbank.bpl.log 2022-10-06 06:51 387K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.sumsuminc.bpl.log 2022-10-06 07:00 2.6M
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.sumsumsampleabs.bpl.log 2022-10-06 07:01 104K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.sumsumsampleabs2.bpl.log 2022-10-06 07:03 84K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.unroll-3.wvr.yml.log 2022-10-06 06:39 233K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.work-steal1.bpl.log 2022-10-06 06:53 73K
Combination_LoopLockstep_Badger_NoDead_20_seed13_PURE.work-steal2.bpl.log 2022-10-06 07:01 478K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 03:05 734K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 03:04 209K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 03:13 124K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.14_spin2003.yml.log 2022-10-06 03:04 173K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.18_read_write_lock.yml.log 2022-10-06 03:04 74K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 03:07 109K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.acq-work-3threads.bpl.log 2022-10-06 03:11 133K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.acq-work-4threads.bpl.log 2022-10-06 03:19 288K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.acq-work-5threads.bpl.log 2022-10-06 03:10 35K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.acq-work-6threads.bpl.log 2022-10-06 03:10 28K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.acq-work-constants.bpl.log 2022-10-06 03:12 99K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.acq-work.bpl.log 2022-10-06 03:12 77K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 03:11 92K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 03:12 31K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 03:11 24K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 03:18 36K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.array-sum-with-log.bpl.log 2022-10-06 03:19 1.0M
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 03:07 149K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 03:07 149K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 03:13 141K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.incr-decr-zero.bpl.log 2022-10-06 03:20 10M
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 03:13 41K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 03:13 36K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 03:19 37K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 03:13 99K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.map-aggr-update1.bpl.log 2022-10-06 03:21 74K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 03:13 50K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.map-aggr-update2.bpl.log 2022-10-06 03:21 670K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.map-aggr-update3.bpl.log 2022-10-06 03:14 73K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.map-comp.bpl.log 2022-10-06 03:22 98K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.map-incr-decr.bpl.log 2022-10-06 03:23 262K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.map-incr-split.bpl.log 2022-10-06 03:23 132K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.max-tailsum2.bpl.log 2022-10-06 03:14 62K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.max-tailsum3.bpl.log 2022-10-06 03:14 73K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.max-tailsum4.bpl.log 2022-10-06 03:15 83K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.max-tailsum5.bpl.log 2022-10-06 03:16 27K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.min-max-sample-2.bpl.log 2022-10-06 03:24 83K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 03:18 61K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 03:17 41K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.min-max-sample-abs.bpl.log 2022-10-06 03:27 105K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 03:28 53K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.min-max-sample.bpl.log 2022-10-06 03:28 143K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.min-max-split-sample.bpl.log 2022-10-06 03:28 64K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.min2-max2-sample.bpl.log 2022-10-06 03:26 74K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 03:04 162K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.mix043.oepc.yml.log 2022-10-06 03:04 207K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.motivating-slowitp.bpl.log 2022-10-06 03:19 183K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.motivating.bpl.log 2022-10-06 03:19 74K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.optimistic-concurrency1.bpl.log 2022-10-06 03:27 1.0M
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.optimistic-concurrency2.bpl.log 2022-10-06 03:20 83K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 03:04 149K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 03:14 622K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 03:06 144K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 03:11 320K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 03:09 360K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 03:08 834K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.qrcu-2.yml.log 2022-10-06 03:10 155K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.qw2004_variant.yml.log 2022-10-06 03:10 291K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.race-2_3b-container_of.yml.log 2022-10-06 03:12 392K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.race-2_5-container_of.yml.log 2022-10-06 03:15 190K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.race-3_2-container_of-global.yml.log 2022-10-06 03:13 182K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 03:11 267K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.read_write_lock-1b.yml.log 2022-10-06 03:09 194K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.read_write_lock-2.yml.log 2022-10-06 03:05 77K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.readers_writer.bpl.log 2022-10-06 03:21 102K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.rfi006_power.oepc.yml.log 2022-10-06 03:15 27K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 03:04 113K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 03:04 112K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 03:04 118K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.sum-print.bpl.log 2022-10-06 03:28 895K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.sum-print2.bpl.log 2022-10-06 03:29 1.3M
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.sum-rwlock.bpl.log 2022-10-06 03:30 1.1M
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 03:29 926K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 03:31 203K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.sumsumbank.bpl.log 2022-10-06 03:31 4.6M
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.sumsuminc.bpl.log 2022-10-06 03:31 1.3M
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.sumsumsampleabs.bpl.log 2022-10-06 03:34 83K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.sumsumsampleabs2.bpl.log 2022-10-06 03:36 120K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.unroll-3.wvr.yml.log 2022-10-06 03:09 211K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.work-steal1.bpl.log 2022-10-06 03:27 73K
Combination_LoopLockstep_Badger_NoDead_80_seed0_PURE.work-steal2.bpl.log 2022-10-06 03:35 383K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 07:04 735K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 07:03 209K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 07:08 75K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.14_spin2003.yml.log 2022-10-06 07:03 173K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.18_read_write_lock.yml.log 2022-10-06 07:03 74K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 07:06 109K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.acq-work-3threads.bpl.log 2022-10-06 07:14 218K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.acq-work-4threads.bpl.log 2022-10-06 07:09 167K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.acq-work-5threads.bpl.log 2022-10-06 07:09 35K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.acq-work-6threads.bpl.log 2022-10-06 07:09 28K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.acq-work-constants.bpl.log 2022-10-06 07:11 309K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.acq-work.bpl.log 2022-10-06 07:11 164K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 07:11 140K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 07:10 28K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 07:10 28K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 07:11 24K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.array-sum-with-log.bpl.log 2022-10-06 07:20 940K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 07:06 149K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 07:06 149K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 07:18 1.0M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.incr-decr-zero.bpl.log 2022-10-06 07:20 7.8M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 07:18 60K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 07:18 48K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 07:13 36K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 07:15 93K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update1.bpl.log 2022-10-06 07:13 79K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 07:14 61K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update2.bpl.log 2022-10-06 07:18 491K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-aggr-update3.bpl.log 2022-10-06 07:13 73K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-comp.bpl.log 2022-10-06 07:23 167K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-incr-decr.bpl.log 2022-10-06 07:22 258K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.map-incr-split.bpl.log 2022-10-06 07:24 98K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.max-tailsum2.bpl.log 2022-10-06 07:15 62K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.max-tailsum3.bpl.log 2022-10-06 07:15 73K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.max-tailsum4.bpl.log 2022-10-06 07:15 83K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.max-tailsum5.bpl.log 2022-10-06 07:15 27K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-sample-2.bpl.log 2022-10-06 07:25 76K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 07:16 45K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 07:17 46K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-sample-abs.bpl.log 2022-10-06 07:27 107K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 07:28 77K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-sample.bpl.log 2022-10-06 07:28 84K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min-max-split-sample.bpl.log 2022-10-06 07:19 104K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.min2-max2-sample.bpl.log 2022-10-06 07:28 63K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 07:03 162K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.mix043.oepc.yml.log 2022-10-06 07:03 207K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.motivating-slowitp.bpl.log 2022-10-06 07:19 96K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.motivating.bpl.log 2022-10-06 07:20 54K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.optimistic-concurrency1.bpl.log 2022-10-06 07:27 972K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.optimistic-concurrency2.bpl.log 2022-10-06 07:20 83K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 07:03 149K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 07:12 622K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 07:04 136K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 07:08 295K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 07:07 360K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 07:03 786
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.qrcu-2.yml.log 2022-10-06 07:09 155K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.qw2004_variant.yml.log 2022-10-06 07:09 291K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.race-2_3b-container_of.yml.log 2022-10-06 07:12 406K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.race-2_5-container_of.yml.log 2022-10-06 07:14 174K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.race-3_2-container_of-global.yml.log 2022-10-06 07:12 183K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 07:08 148K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.read_write_lock-1b.yml.log 2022-10-06 07:05 168K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.read_write_lock-2.yml.log 2022-10-06 07:11 165K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.readers_writer.bpl.log 2022-10-06 07:20 102K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.rfi006_power.oepc.yml.log 2022-10-06 07:14 26K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 07:03 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-06 07:03 112K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 07:03 118K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sum-print.bpl.log 2022-10-06 07:29 805K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sum-print2.bpl.log 2022-10-06 07:28 1.3M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sum-rwlock.bpl.log 2022-10-06 07:30 1.0M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 07:31 835K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 07:31 161K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sumsumbank.bpl.log 2022-10-06 07:32 4.8M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sumsuminc.bpl.log 2022-10-06 07:32 1.5M
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sumsumsampleabs.bpl.log 2022-10-06 07:35 77K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.sumsumsampleabs2.bpl.log 2022-10-06 07:37 91K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.unroll-3.wvr.yml.log 2022-10-06 07:08 211K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.work-steal1.bpl.log 2022-10-06 07:27 73K
Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE.work-steal2.bpl.log 2022-10-06 07:37 560K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 03:45 396K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 03:36 209K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 03:41 94K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.14_spin2003.yml.log 2022-10-06 03:36 173K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.18_read_write_lock.yml.log 2022-10-06 03:36 74K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 03:39 109K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.acq-work-3threads.bpl.log 2022-10-06 03:43 207K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.acq-work-4threads.bpl.log 2022-10-06 03:42 84K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.acq-work-5threads.bpl.log 2022-10-06 03:42 35K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.acq-work-6threads.bpl.log 2022-10-06 03:43 28K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.acq-work-constants.bpl.log 2022-10-06 03:46 236K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.acq-work.bpl.log 2022-10-06 03:46 564K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 03:45 232K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 03:48 35K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 03:43 24K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 03:43 24K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.array-sum-with-log.bpl.log 2022-10-06 03:51 792K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 03:39 149K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 03:39 149K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 03:51 535K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.incr-decr-zero.bpl.log 2022-10-06 03:50 7.5M
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 03:54 61K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 03:46 36K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 03:45 25K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 03:50 93K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.map-aggr-update1.bpl.log 2022-10-06 03:46 50K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 03:47 79K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.map-aggr-update2.bpl.log 2022-10-06 03:54 547K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.map-aggr-update3.bpl.log 2022-10-06 03:47 73K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.map-comp.bpl.log 2022-10-06 03:56 80K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.map-incr-decr.bpl.log 2022-10-06 03:56 302K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.map-incr-split.bpl.log 2022-10-06 03:57 120K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.max-tailsum2.bpl.log 2022-10-06 03:48 62K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.max-tailsum3.bpl.log 2022-10-06 03:48 73K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.max-tailsum4.bpl.log 2022-10-06 03:49 83K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.max-tailsum5.bpl.log 2022-10-06 03:55 42K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.min-max-sample-2.bpl.log 2022-10-06 03:58 92K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 03:58 100K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 03:50 80K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.min-max-sample-abs.bpl.log 2022-10-06 03:59 74K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 04:00 56K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.min-max-sample.bpl.log 2022-10-06 04:00 70K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.min-max-split-sample.bpl.log 2022-10-06 03:58 104K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.min2-max2-sample.bpl.log 2022-10-06 04:01 58K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 03:36 162K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.mix043.oepc.yml.log 2022-10-06 03:36 207K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.motivating-slowitp.bpl.log 2022-10-06 04:01 203K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.motivating.bpl.log 2022-10-06 03:54 67K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.optimistic-concurrency1.bpl.log 2022-10-06 04:01 1.1M
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.optimistic-concurrency2.bpl.log 2022-10-06 03:54 83K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 03:36 150K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 03:45 622K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 03:38 144K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 03:42 295K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 03:41 360K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 03:44 1.1M
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.qrcu-2.yml.log 2022-10-06 03:42 159K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.qw2004_variant.yml.log 2022-10-06 03:42 290K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.race-2_3b-container_of.yml.log 2022-10-06 03:43 286K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.race-2_5-container_of.yml.log 2022-10-06 03:48 219K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.race-3_2-container_of-global.yml.log 2022-10-06 03:45 206K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 03:43 247K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.read_write_lock-1b.yml.log 2022-10-06 03:39 179K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.read_write_lock-2.yml.log 2022-10-06 03:38 77K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.readers_writer.bpl.log 2022-10-06 03:54 102K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.rfi006_power.oepc.yml.log 2022-10-06 03:48 26K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 03:36 113K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 03:36 112K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 03:36 117K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.sum-print.bpl.log 2022-10-06 04:02 1.1M
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.sum-print2.bpl.log 2022-10-06 04:04 1.4M
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.sum-rwlock.bpl.log 2022-10-06 04:04 1.4M
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 04:04 826K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 04:07 137K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.sumsumbank.bpl.log 2022-10-06 04:07 3.9M
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.sumsuminc.bpl.log 2022-10-06 04:06 1.8M
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.sumsumsampleabs.bpl.log 2022-10-06 03:58 63K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.sumsumsampleabs2.bpl.log 2022-10-06 04:09 114K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.unroll-3.wvr.yml.log 2022-10-06 03:42 211K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.work-steal1.bpl.log 2022-10-06 04:00 73K
Combination_LoopLockstep_Badger_NoDead_85_seed0_PURE.work-steal2.bpl.log 2022-10-06 04:04 266K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 04:10 757K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 04:09 209K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 04:09 96K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.14_spin2003.yml.log 2022-10-06 04:09 173K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.18_read_write_lock.yml.log 2022-10-06 04:09 74K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 04:12 109K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.acq-work-3threads.bpl.log 2022-10-06 04:15 168K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.acq-work-4threads.bpl.log 2022-10-06 04:16 190K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.acq-work-5threads.bpl.log 2022-10-06 04:14 35K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.acq-work-6threads.bpl.log 2022-10-06 04:14 28K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.acq-work-constants.bpl.log 2022-10-06 04:19 271K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.acq-work.bpl.log 2022-10-06 04:18 271K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 04:16 115K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 04:15 36K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 04:15 28K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 04:15 24K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.array-sum-with-log.bpl.log 2022-10-06 04:23 805K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 04:11 149K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 04:11 149K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 04:19 704K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.incr-decr-zero.bpl.log 2022-10-06 04:24 2.9M
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 04:24 89K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 04:17 36K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 04:17 32K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 04:17 99K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.map-aggr-update1.bpl.log 2022-10-06 04:18 45K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 04:18 50K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.map-aggr-update2.bpl.log 2022-10-06 04:26 339K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.map-aggr-update3.bpl.log 2022-10-06 04:18 73K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.map-comp.bpl.log 2022-10-06 04:28 152K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.map-incr-decr.bpl.log 2022-10-06 04:27 392K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.map-incr-split.bpl.log 2022-10-06 04:28 151K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.max-tailsum2.bpl.log 2022-10-06 04:19 62K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.max-tailsum3.bpl.log 2022-10-06 04:19 73K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.max-tailsum4.bpl.log 2022-10-06 04:19 83K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.max-tailsum5.bpl.log 2022-10-06 04:19 27K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.min-max-sample-2.bpl.log 2022-10-06 04:29 76K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 04:28 227K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 04:26 355K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.min-max-sample-abs.bpl.log 2022-10-06 04:29 63K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 04:29 63K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.min-max-sample.bpl.log 2022-10-06 04:20 136K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.min-max-split-sample.bpl.log 2022-10-06 04:23 97K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.min2-max2-sample.bpl.log 2022-10-06 04:23 57K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 04:09 162K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.mix043.oepc.yml.log 2022-10-06 04:09 207K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.motivating-slowitp.bpl.log 2022-10-06 04:24 103K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.motivating.bpl.log 2022-10-06 04:24 44K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.optimistic-concurrency1.bpl.log 2022-10-06 04:31 1.1M
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.optimistic-concurrency2.bpl.log 2022-10-06 04:24 83K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 04:09 150K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 04:16 622K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 04:10 144K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 04:13 295K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 04:18 880K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 04:13 791K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.qrcu-2.yml.log 2022-10-06 04:15 161K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.qw2004_variant.yml.log 2022-10-06 04:15 290K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.race-2_3b-container_of.yml.log 2022-10-06 04:18 559K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.race-2_5-container_of.yml.log 2022-10-06 04:19 201K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.race-3_2-container_of-global.yml.log 2022-10-06 04:18 197K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 04:14 128K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.read_write_lock-1b.yml.log 2022-10-06 04:12 179K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.read_write_lock-2.yml.log 2022-10-06 04:10 77K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.readers_writer.bpl.log 2022-10-06 04:24 102K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.rfi006_power.oepc.yml.log 2022-10-06 04:19 27K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 04:09 113K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 04:09 112K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 04:09 117K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.sum-print.bpl.log 2022-10-06 04:32 903K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.sum-print2.bpl.log 2022-10-06 04:33 1.3M
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.sum-rwlock.bpl.log 2022-10-06 04:33 1.4M
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 04:34 1.4M
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 04:35 99K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.sumsumbank.bpl.log 2022-10-06 04:35 2.4M
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.sumsuminc.bpl.log 2022-10-06 04:35 1.4M
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.sumsumsampleabs.bpl.log 2022-10-06 04:37 146K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.sumsumsampleabs2.bpl.log 2022-10-06 04:38 71K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.unroll-3.wvr.yml.log 2022-10-06 04:13 211K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.work-steal1.bpl.log 2022-10-06 04:28 73K
Combination_LoopLockstep_Badger_NoDead_90_seed0_PURE.work-steal2.bpl.log 2022-10-06 04:35 160K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.06-symbeq_07-tricky_address2.yml.log 2022-10-06 04:39 779K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 04:38 209K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 04:41 70K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.14_spin2003.yml.log 2022-10-06 04:41 205K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.18_read_write_lock.yml.log 2022-10-06 04:38 74K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 04:41 109K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.acq-work-3threads.bpl.log 2022-10-06 04:46 367K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.acq-work-4threads.bpl.log 2022-10-06 04:46 145K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.acq-work-5threads.bpl.log 2022-10-06 04:44 35K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.acq-work-6threads.bpl.log 2022-10-06 04:44 28K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.acq-work-constants.bpl.log 2022-10-06 04:46 106K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.acq-work.bpl.log 2022-10-06 04:45 121K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.array-sum-with-log-3threads.bpl.log 2022-10-06 04:52 1.8M
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.array-sum-with-log-4threads.bpl.log 2022-10-06 04:52 307K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.array-sum-with-log-5threads.bpl.log 2022-10-06 04:45 36K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.array-sum-with-log-6threads.bpl.log 2022-10-06 04:45 28K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.array-sum-with-log.bpl.log 2022-10-06 04:54 621K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.bench-exp3x3-opt.wvr.yml.log 2022-10-06 04:39 149K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.bench-exp3x3.wvr.yml.log 2022-10-06 04:39 149K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.count0-countEven-sample-abs.bpl.log 2022-10-06 04:54 1.2M
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.incr-decr-zero.bpl.log 2022-10-06 04:54 3.9M
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.map-aggr-update1-2modifiers.bpl.log 2022-10-06 04:46 41K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.map-aggr-update1-3modifiers.bpl.log 2022-10-06 04:47 41K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.map-aggr-update1-4modifiers.bpl.log 2022-10-06 04:47 61K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 04:47 99K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.map-aggr-update1.bpl.log 2022-10-06 04:52 81K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 04:54 404K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.map-aggr-update2.bpl.log 2022-10-06 04:55 429K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.map-aggr-update3.bpl.log 2022-10-06 04:47 73K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.map-comp.bpl.log 2022-10-06 04:56 177K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.map-incr-decr.bpl.log 2022-10-06 04:57 434K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.map-incr-split.bpl.log 2022-10-06 04:57 215K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.max-tailsum2.bpl.log 2022-10-06 04:49 62K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.max-tailsum3.bpl.log 2022-10-06 04:49 72K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.max-tailsum4.bpl.log 2022-10-06 04:49 83K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.max-tailsum5.bpl.log 2022-10-06 04:49 27K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.min-max-sample-2.bpl.log 2022-10-06 04:59 75K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.min-max-sample-abs-2.bpl.log 2022-10-06 04:59 93K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 04:50 101K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.min-max-sample-abs.bpl.log 2022-10-06 05:00 172K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.min-max-sample-with_locks.bpl.log 2022-10-06 05:01 64K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.min-max-sample.bpl.log 2022-10-06 05:02 99K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.min-max-split-sample.bpl.log 2022-10-06 04:59 61K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.min2-max2-sample.bpl.log 2022-10-06 04:57 69K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 04:38 162K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.mix043.oepc.yml.log 2022-10-06 04:38 206K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.motivating-slowitp.bpl.log 2022-10-06 04:55 111K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.motivating.bpl.log 2022-10-06 04:54 60K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.optimistic-concurrency1.bpl.log 2022-10-06 05:01 1.3M
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.optimistic-concurrency2.bpl.log 2022-10-06 04:54 83K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.parallel-ticket-3.wvr.yml.log 2022-10-06 04:38 149K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.parallel-ticket-4.wvr.yml.log 2022-10-06 04:47 622K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 04:40 153K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.popl20-counter-fun.wvr.yml.log 2022-10-06 04:42 295K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.popl20-horseshoe.wvr.yml.log 2022-10-06 04:43 360K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 04:43 946K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.qrcu-2.yml.log 2022-10-06 04:38 81K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.qw2004_variant.yml.log 2022-10-06 04:44 290K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.race-2_3b-container_of.yml.log 2022-10-06 04:47 576K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.race-2_5-container_of.yml.log 2022-10-06 04:49 210K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.race-3_2-container_of-global.yml.log 2022-10-06 04:47 197K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.race-4_2-thread_local_vars.yml.log 2022-10-06 04:43 133K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.read_write_lock-1b.yml.log 2022-10-06 04:41 183K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.read_write_lock-2.yml.log 2022-10-06 04:46 165K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.readers_writer.bpl.log 2022-10-06 04:55 102K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.rfi006_power.oepc.yml.log 2022-10-06 04:50 27K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 04:38 113K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 04:38 112K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 04:38 117K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.sum-print.bpl.log 2022-10-06 05:02 1.0M
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.sum-print2.bpl.log 2022-10-06 05:03 1.4M
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.sum-rwlock.bpl.log 2022-10-06 05:04 1.3M
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.sum2_diff_incr_decr.bpl.log 2022-10-06 05:04 620K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.sum_diff_incr_decr.bpl.log 2022-10-06 05:06 182K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.sumsumbank.bpl.log 2022-10-06 05:05 5.9M
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.sumsuminc.bpl.log 2022-10-06 05:06 629K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.sumsumsampleabs.bpl.log 2022-10-06 04:59 286K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.sumsumsampleabs2.bpl.log 2022-10-06 05:09 84K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.unroll-3.wvr.yml.log 2022-10-06 04:43 211K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.work-steal1.bpl.log 2022-10-06 04:59 73K
Combination_LoopLockstep_Badger_NoDead_95_seed0_PURE.work-steal2.bpl.log 2022-10-06 05:08 602K
LightAbstract_LoopLockstep_Badger_NoDead.06-symbeq_07-tricky_address2.yml.log 2022-10-06 00:50 529K
LightAbstract_LoopLockstep_Badger_NoDead.13-privatized_27-multiple-protecting2_true.yml.log 2022-10-06 00:49 166K
LightAbstract_LoopLockstep_Badger_NoDead.13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml.log 2022-10-06 00:51 120K
LightAbstract_LoopLockstep_Badger_NoDead.14_spin2003.yml.log 2022-10-06 00:51 225K
LightAbstract_LoopLockstep_Badger_NoDead.18_read_write_lock.yml.log 2022-10-06 00:49 61K
LightAbstract_LoopLockstep_Badger_NoDead.28-race_reach_94-alloc_region_racing.yml.log 2022-10-06 00:49 106K
LightAbstract_LoopLockstep_Badger_NoDead.acq-work-3threads.bpl.log 2022-10-06 00:54 470K
LightAbstract_LoopLockstep_Badger_NoDead.acq-work-4threads.bpl.log 2022-10-06 00:55 550K
LightAbstract_LoopLockstep_Badger_NoDead.acq-work-5threads.bpl.log 2022-10-06 00:52 186K
LightAbstract_LoopLockstep_Badger_NoDead.acq-work-6threads.bpl.log 2022-10-06 00:58 93K
LightAbstract_LoopLockstep_Badger_NoDead.acq-work-constants.bpl.log 2022-10-06 00:55 444K
LightAbstract_LoopLockstep_Badger_NoDead.acq-work.bpl.log 2022-10-06 00:54 420K
LightAbstract_LoopLockstep_Badger_NoDead.array-sum-with-log-3threads.bpl.log 2022-10-06 00:52 103K
LightAbstract_LoopLockstep_Badger_NoDead.array-sum-with-log-4threads.bpl.log 2022-10-06 00:54 77K
LightAbstract_LoopLockstep_Badger_NoDead.array-sum-with-log-5threads.bpl.log 2022-10-06 00:55 34K
LightAbstract_LoopLockstep_Badger_NoDead.array-sum-with-log-6threads.bpl.log 2022-10-06 00:52 23K
LightAbstract_LoopLockstep_Badger_NoDead.array-sum-with-log.bpl.log 2022-10-06 00:53 88K
LightAbstract_LoopLockstep_Badger_NoDead.bench-exp3x3-opt.wvr.yml.log 2022-10-06 00:51 282K
LightAbstract_LoopLockstep_Badger_NoDead.bench-exp3x3.wvr.yml.log 2022-10-06 00:51 272K
LightAbstract_LoopLockstep_Badger_NoDead.count0-countEven-sample-abs.bpl.log 2022-10-06 00:54 149K
LightAbstract_LoopLockstep_Badger_NoDead.incr-decr-zero.bpl.log 2022-10-06 01:01 2.4M
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update1-2modifiers.bpl.log 2022-10-06 00:53 35K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update1-3modifiers.bpl.log 2022-10-06 00:55 35K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update1-4modifiers.bpl.log 2022-10-06 00:54 27K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update1-otherloopbounds.bpl.log 2022-10-06 00:55 146K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update1.bpl.log 2022-10-06 00:57 60K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update2-otherloopbounds.bpl.log 2022-10-06 00:57 155K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update2.bpl.log 2022-10-06 00:57 242K
LightAbstract_LoopLockstep_Badger_NoDead.map-aggr-update3.bpl.log 2022-10-06 00:55 56K
LightAbstract_LoopLockstep_Badger_NoDead.map-comp.bpl.log 2022-10-06 01:03 191K
LightAbstract_LoopLockstep_Badger_NoDead.map-incr-decr.bpl.log 2022-10-06 01:04 446K
LightAbstract_LoopLockstep_Badger_NoDead.map-incr-split.bpl.log 2022-10-06 01:04 167K
LightAbstract_LoopLockstep_Badger_NoDead.max-tailsum2.bpl.log 2022-10-06 00:55 49K
LightAbstract_LoopLockstep_Badger_NoDead.max-tailsum3.bpl.log 2022-10-06 00:55 61K
LightAbstract_LoopLockstep_Badger_NoDead.max-tailsum4.bpl.log 2022-10-06 00:55 61K
LightAbstract_LoopLockstep_Badger_NoDead.max-tailsum5.bpl.log 2022-10-06 00:56 74K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-sample-2.bpl.log 2022-10-06 01:00 103K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-sample-abs-2.bpl.log 2022-10-06 00:57 81K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-sample-abs-nonatomic.bpl.log 2022-10-06 00:58 49K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-sample-abs.bpl.log 2022-10-06 00:58 140K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-sample-with_locks.bpl.log 2022-10-06 00:57 75K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-sample.bpl.log 2022-10-06 00:57 74K
LightAbstract_LoopLockstep_Badger_NoDead.min-max-split-sample.bpl.log 2022-10-06 00:58 109K
LightAbstract_LoopLockstep_Badger_NoDead.min2-max2-sample.bpl.log 2022-10-06 01:04 106K
LightAbstract_LoopLockstep_Badger_NoDead.mix028_power.oepc_pso.oepc_rmo.oepc.yml.log 2022-10-06 00:49 124K
LightAbstract_LoopLockstep_Badger_NoDead.mix043.oepc.yml.log 2022-10-06 00:49 155K
LightAbstract_LoopLockstep_Badger_NoDead.motivating-slowitp.bpl.log 2022-10-06 00:58 143K
LightAbstract_LoopLockstep_Badger_NoDead.motivating.bpl.log 2022-10-06 00:58 36K
LightAbstract_LoopLockstep_Badger_NoDead.optimistic-concurrency1.bpl.log 2022-10-06 01:05 1.8M
LightAbstract_LoopLockstep_Badger_NoDead.optimistic-concurrency2.bpl.log 2022-10-06 00:58 62K
LightAbstract_LoopLockstep_Badger_NoDead.parallel-ticket-3.wvr.yml.log 2022-10-06 00:49 123K
LightAbstract_LoopLockstep_Badger_NoDead.parallel-ticket-4.wvr.yml.log 2022-10-06 00:52 419K
LightAbstract_LoopLockstep_Badger_NoDead.popl20-bad-commit-1.wvr-bad.yml.log 2022-10-06 00:51 246K
LightAbstract_LoopLockstep_Badger_NoDead.popl20-counter-fun.wvr.yml.log 2022-10-06 00:51 1.0M
LightAbstract_LoopLockstep_Badger_NoDead.popl20-horseshoe.wvr.yml.log 2022-10-06 00:52 410K
LightAbstract_LoopLockstep_Badger_NoDead.popl20-more-array-sum-alt.wvr.yml.log 2022-10-06 00:50 341K
LightAbstract_LoopLockstep_Badger_NoDead.qrcu-2.yml.log 2022-10-06 00:50 261K
LightAbstract_LoopLockstep_Badger_NoDead.qw2004_variant.yml.log 2022-10-06 00:50 276K
LightAbstract_LoopLockstep_Badger_NoDead.race-2_3b-container_of.yml.log 2022-10-06 00:57 1.0M
LightAbstract_LoopLockstep_Badger_NoDead.race-2_5-container_of.yml.log 2022-10-06 00:52 704K
LightAbstract_LoopLockstep_Badger_NoDead.race-3_2-container_of-global.yml.log 2022-10-06 00:50 180K
LightAbstract_LoopLockstep_Badger_NoDead.race-4_2-thread_local_vars.yml.log 2022-10-06 00:51 622K
LightAbstract_LoopLockstep_Badger_NoDead.read_write_lock-1b.yml.log 2022-10-06 00:50 345K
LightAbstract_LoopLockstep_Badger_NoDead.read_write_lock-2.yml.log 2022-10-06 00:52 196K
LightAbstract_LoopLockstep_Badger_NoDead.readers_writer.bpl.log 2022-10-06 00:58 81K
LightAbstract_LoopLockstep_Badger_NoDead.rfi006_power.oepc.yml.log 2022-10-06 00:59 26K
LightAbstract_LoopLockstep_Badger_NoDead.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml.log 2022-10-06 00:49 104K
LightAbstract_LoopLockstep_Badger_NoDead.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml.log 2022-10-06 00:49 103K
LightAbstract_LoopLockstep_Badger_NoDead.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml.log 2022-10-06 00:49 93K
LightAbstract_LoopLockstep_Badger_NoDead.sum-print.bpl.log 2022-10-06 01:06 222K
LightAbstract_LoopLockstep_Badger_NoDead.sum-print2.bpl.log 2022-10-06 01:08 1.5M
LightAbstract_LoopLockstep_Badger_NoDead.sum-rwlock.bpl.log 2022-10-06 01:06 285K
LightAbstract_LoopLockstep_Badger_NoDead.sum2_diff_incr_decr.bpl.log 2022-10-06 01:08 533K
LightAbstract_LoopLockstep_Badger_NoDead.sum_diff_incr_decr.bpl.log 2022-10-06 01:09 167K
LightAbstract_LoopLockstep_Badger_NoDead.sumsumbank.bpl.log 2022-10-06 01:00 88K
LightAbstract_LoopLockstep_Badger_NoDead.sumsuminc.bpl.log 2022-10-06 01:08 581K
LightAbstract_LoopLockstep_Badger_NoDead.sumsumsampleabs.bpl.log 2022-10-06 01:10 79K
LightAbstract_LoopLockstep_Badger_NoDead.sumsumsampleabs2.bpl.log 2022-10-06 01:11 58K
LightAbstract_LoopLockstep_Badger_NoDead.unroll-3.wvr.yml.log 2022-10-06 00:52 377K
LightAbstract_LoopLockstep_Badger_NoDead.work-steal1.bpl.log 2022-10-06 01:03 55K
LightAbstract_LoopLockstep_Badger_NoDead.work-steal2.bpl.log 2022-10-06 01:08 896K