BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency-quick.xml name: concurrency-quick run sets: LightAbstract_LoopLockstep_Badger_NoDead, HeavyConcrete_LoopLockstep_Badger_NoDead, Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK, Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK, Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE, Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE, Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE, Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE, Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE, Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE, Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK, Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK, Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK, Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK, Combination_LoopLockstep_Badger_NoDead_80_seed0_FALLBACK, Combination_LoopLockstep_Badger_NoDead_85_seed0_FALLBACK, Combination_LoopLockstep_Badger_NoDead_90_seed0_FALLBACK, Combination_LoopLockstep_Badger_NoDead_95_seed0_FALLBACK, Combination_LoopLockstep_Badger_NoDead_05_seed13_FALLBACK, Combination_LoopLockstep_Badger_NoDead_10_seed13_FALLBACK, Combination_LoopLockstep_Badger_NoDead_15_seed13_FALLBACK, Combination_LoopLockstep_Badger_NoDead_20_seed13_FALLBACK, Combination_LoopLockstep_Badger_NoDead_80_seed13_FALLBACK, Combination_LoopLockstep_Badger_NoDead_85_seed13_FALLBACK, Combination_LoopLockstep_Badger_NoDead_90_seed13_FALLBACK, Combination_LoopLockstep_Badger_NoDead_95_seed13_FALLBACK, Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed13_FALLBACK, Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed13_FALLBACK, Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed13_COARSE, Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed13_COARSE, Combination_LoopLockstep_Badger_NoDead_05_seed0_COARSE, Combination_LoopLockstep_Badger_NoDead_10_seed0_COARSE, Combination_LoopLockstep_Badger_NoDead_15_seed0_COARSE, Combination_LoopLockstep_Badger_NoDead_20_seed0_COARSE, Combination_LoopLockstep_Badger_NoDead_80_seed0_COARSE, Combination_LoopLockstep_Badger_NoDead_85_seed0_COARSE, Combination_LoopLockstep_Badger_NoDead_90_seed0_COARSE, Combination_LoopLockstep_Badger_NoDead_95_seed0_COARSE, Combination_LoopLockstep_Badger_NoDead_05_seed13_COARSE, Combination_LoopLockstep_Badger_NoDead_10_seed13_COARSE, Combination_LoopLockstep_Badger_NoDead_15_seed13_COARSE, Combination_LoopLockstep_Badger_NoDead_20_seed13_COARSE, Combination_LoopLockstep_Badger_NoDead_80_seed13_COARSE, Combination_LoopLockstep_Badger_NoDead_85_seed13_COARSE, Combination_LoopLockstep_Badger_NoDead_90_seed13_COARSE, Combination_LoopLockstep_Badger_NoDead_95_seed13_COARSE date: Mon, 2022-10-10 11:39:31 CEST tool: ULTIMATE Automizer 0.2.2-e57bdd35 tool executable: ./Ultimate.py options: --force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 600 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-5.11.22-4-pve-x86_64-with-glibc2.31 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ LightAbstract_LoopLockstep_Badger_NoDead Run set 1 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/NewStatesSleep-VarAbsGlobalSyntactic.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 216.35 176.94 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 360.48 204.41 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 46.47 28.20 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 16.90 9.64 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.44 9.26 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.34 9.40 None svcomp/weaver/parallel-ticket-3.wvr.yml true 18.27 10.57 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 140.33 108.84 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 93.55 60.95 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 15.66 10.16 None svcomp/ldv-races/race-4_2-thread_local_vars.yml OUT OF MEMORY 100.27 72.90 None svcomp/pthread-atomic/qrcu-2.yml true 100.31 75.78 None svcomp/pthread-atomic/read_write_lock-1b.yml true 33.99 25.66 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 169.85 108.18 None svcomp/pthread-ext/18_read_write_lock.yml true 8.63 5.30 None svcomp/pthread-lit/qw2004_variant.yml OUT OF MEMORY 359.23 201.81 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 12.74 8.90 None svcomp/pthread-wmm/mix043.oepc.yml true 12.54 9.65 None svcomp/weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 105.94 73.26 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 110.70 75.83 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 46.19 26.46 None svcomp/ldv-races/race-2_3b-container_of.yml TIMEOUT 600.91 500.27 None svcomp/ldv-races/race-2_5-container_of.yml true 182.65 137.71 None svcomp/pthread-atomic/read_write_lock-2.yml OUT OF MEMORY 174.96 112.50 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.30 536.24 None svcomp/weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 218.23 130.92 None svcomp/weaver/popl20-counter-fun.wvr.yml true 46.84 47.97 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 124.41 93.51 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 93.66 65.65 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 209.57 148.10 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 369.68 300.53 None concurrent/bpl/POPL2023/acq-work-5threads.bpl OUT OF MEMORY 101.30 70.90 None concurrent/bpl/POPL2023/acq-work-6threads.bpl OUT OF MEMORY 143.75 103.56 None concurrent/bpl/POPL2023/acq-work-constants.bpl OUT OF MEMORY 307.18 229.19 None concurrent/bpl/POPL2023/acq-work.bpl OUT OF MEMORY 247.98 176.98 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl true 38.17 26.20 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl OUT OF MEMORY 149.65 106.87 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl OUT OF MEMORY 187.25 128.82 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl OUT OF MEMORY 145.28 101.84 None concurrent/bpl/POPL2023/array-sum-with-log.bpl true 21.22 12.77 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl OUT OF MEMORY 105.27 70.73 None concurrent/bpl/POPL2023/incr-decr-zero.bpl TIMEOUT (ERROR: EXCEPTION) 601.88 535.70 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl OUT OF MEMORY 105.51 72.74 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl OUT OF MEMORY 141.18 101.24 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl OUT OF MEMORY 108.94 83.27 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl true 96.77 67.05 None concurrent/bpl/POPL2023/map-aggr-update1.bpl OUT OF MEMORY 452.31 386.72 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl true 141.08 109.60 None concurrent/bpl/POPL2023/map-aggr-update2.bpl OUT OF MEMORY 162.26 119.12 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 5.21 4.01 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT (ERROR: EXCEPTION) 604.67 540.68 None concurrent/bpl/POPL2023/map-incr-decr.bpl TIMEOUT (ERROR: EXCEPTION) 600.72 548.88 None concurrent/bpl/POPL2023/map-incr-split.bpl TIMEOUT 600.50 545.21 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 4.97 3.87 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 6.74 5.20 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 10.41 6.59 None concurrent/bpl/POPL2023/max-tailsum5.bpl true 32.69 25.02 None concurrent/bpl/POPL2023/min-max-sample-2.bpl true 283.82 261.55 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl OUT OF MEMORY 450.28 393.23 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl OUT OF MEMORY 175.86 127.30 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl OUT OF MEMORY 163.18 126.18 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl true 8.29 5.61 None concurrent/bpl/POPL2023/min-max-sample.bpl true 6.76 4.83 None concurrent/bpl/POPL2023/min-max-split-sample.bpl true 33.59 22.99 None concurrent/bpl/POPL2023/min2-max2-sample.bpl OUT OF MEMORY 573.63 346.23 None concurrent/bpl/POPL2023/motivating-slowitp.bpl OUT OF MEMORY 285.63 177.32 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 6.49 3.90 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 601.83 430.26 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 5.49 4.36 None concurrent/bpl/POPL2023/readers_writer.bpl true 6.65 4.86 None concurrent/bpl/POPL2023/sum-print.bpl TIMEOUT 602.37 575.07 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 600.54 497.17 None concurrent/bpl/POPL2023/sum-rwlock.bpl TIMEOUT 600.36 474.44 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl TIMEOUT 600.72 498.19 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl TIMEOUT 600.53 546.47 None concurrent/bpl/POPL2023/sumsumbank.bpl true 9.04 5.90 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 600.98 494.47 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 601.08 589.73 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 601.14 586.24 None concurrent/bpl/POPL2023/work-steal1.bpl true 5.41 4.00 None concurrent/bpl/POPL2023/work-steal2.bpl true 314.08 253.12 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 17485.72 1307.91 - HeavyConcrete_LoopLockstep_Badger_NoDead Run set 2 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/NewStatesSleep.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 199.34 176.28 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml TIMEOUT 602.06 486.00 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 363.59 337.49 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 16.24 9.41 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.59 9.43 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.10 13.91 None svcomp/weaver/parallel-ticket-3.wvr.yml true 18.73 15.87 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml TIMEOUT 601.37 448.65 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 82.47 52.27 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 21.19 13.60 None svcomp/ldv-races/race-4_2-thread_local_vars.yml OUT OF MEMORY 75.59 71.55 None svcomp/pthread-atomic/qrcu-2.yml true 121.71 93.95 None svcomp/pthread-atomic/read_write_lock-1b.yml true 37.60 27.74 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 245.93 152.03 None svcomp/pthread-ext/18_read_write_lock.yml true 9.13 5.70 None svcomp/pthread-lit/qw2004_variant.yml OUT OF MEMORY 443.97 238.45 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 10.28 8.01 None svcomp/pthread-wmm/mix043.oepc.yml true 14.94 12.89 None svcomp/weaver/bench-exp3x3-opt.wvr.yml true 135.08 97.07 None svcomp/weaver/bench-exp3x3.wvr.yml true 146.17 118.68 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 36.64 21.17 None svcomp/ldv-races/race-2_3b-container_of.yml TIMEOUT 601.73 558.21 None svcomp/ldv-races/race-2_5-container_of.yml TIMEOUT 602.88 582.62 None svcomp/pthread-atomic/read_write_lock-2.yml OUT OF MEMORY 129.55 84.84 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.28 534.26 None svcomp/weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 209.11 162.43 None svcomp/weaver/popl20-counter-fun.wvr.yml true 203.24 193.54 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 120.38 78.61 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 93.23 66.92 None concurrent/bpl/POPL2023/acq-work-3threads.bpl TIMEOUT 600.84 436.65 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 218.40 159.70 None concurrent/bpl/POPL2023/acq-work-5threads.bpl TIMEOUT 601.54 499.07 None concurrent/bpl/POPL2023/acq-work-6threads.bpl TIMEOUT 601.64 405.53 None concurrent/bpl/POPL2023/acq-work-constants.bpl true 74.44 48.82 None concurrent/bpl/POPL2023/acq-work.bpl true 125.95 100.26 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl TIMEOUT 600.87 496.03 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl OUT OF MEMORY 108.84 72.32 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl OUT OF MEMORY 236.41 151.26 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl OUT OF MEMORY 402.19 256.45 None concurrent/bpl/POPL2023/array-sum-with-log.bpl TIMEOUT 600.87 484.87 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl OUT OF MEMORY 165.92 130.68 None concurrent/bpl/POPL2023/incr-decr-zero.bpl true 7.35 4.69 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl OUT OF MEMORY 199.29 129.24 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl TIMEOUT 602.08 372.12 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl OUT OF MEMORY 96.77 69.66 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl true 29.34 19.01 None concurrent/bpl/POPL2023/map-aggr-update1.bpl true 38.45 23.35 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl true 59.25 46.22 None concurrent/bpl/POPL2023/map-aggr-update2.bpl true 53.78 32.03 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 7.04 4.74 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT 601.11 538.14 None concurrent/bpl/POPL2023/map-incr-decr.bpl true 18.90 12.70 None concurrent/bpl/POPL2023/map-incr-split.bpl true 61.89 42.83 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 4.93 4.09 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 6.29 4.55 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 8.50 6.12 None concurrent/bpl/POPL2023/max-tailsum5.bpl true 33.80 25.11 None concurrent/bpl/POPL2023/min-max-sample-2.bpl TIMEOUT 601.09 591.96 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl TIMEOUT 600.97 594.72 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl OUT OF MEMORY 477.56 303.15 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl TIMEOUT 600.81 567.03 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl true 70.25 53.88 None concurrent/bpl/POPL2023/min-max-sample.bpl true 24.50 22.60 None concurrent/bpl/POPL2023/min-max-split-sample.bpl TIMEOUT 613.24 380.76 None concurrent/bpl/POPL2023/min2-max2-sample.bpl TIMEOUT 606.15 590.13 None concurrent/bpl/POPL2023/motivating-slowitp.bpl TIMEOUT 601.04 591.65 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 5.12 3.28 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 601.36 452.03 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 7.66 6.71 None concurrent/bpl/POPL2023/readers_writer.bpl true 10.49 8.87 None concurrent/bpl/POPL2023/sum-print.bpl TIMEOUT 600.77 519.72 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 600.36 574.76 None concurrent/bpl/POPL2023/sum-rwlock.bpl true 9.18 5.97 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl true 14.98 9.07 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl true 19.70 11.77 None concurrent/bpl/POPL2023/sumsumbank.bpl TIMEOUT 601.71 516.34 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 600.51 455.88 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 601.06 591.51 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 601.07 587.26 None concurrent/bpl/POPL2023/work-steal1.bpl true 7.25 4.85 None concurrent/bpl/POPL2023/work-steal2.bpl OUT OF MEMORY 373.41 280.10 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 20793.01 1453.54 - Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_FALLBACK Run set 3 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf --traceabstraction.coinflip.probability.value 0 --traceabstraction.coinflip.random.seed 0 --traceabstraction.coinflip.budget.determination.mode FALLBACK --traceabstraction.coinflip.probability.increment 5' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 207.64 169.80 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 585.04 311.84 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 48.65 28.99 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 16.36 9.03 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.79 9.50 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.71 9.74 None svcomp/weaver/parallel-ticket-3.wvr.yml true 18.01 10.65 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 147.05 113.81 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 116.69 77.95 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 15.94 10.56 None svcomp/ldv-races/race-4_2-thread_local_vars.yml OUT OF MEMORY 75.48 56.25 None svcomp/pthread-atomic/qrcu-2.yml true 135.17 93.63 None svcomp/pthread-atomic/read_write_lock-1b.yml true 37.40 28.11 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 434.44 254.81 None svcomp/pthread-ext/18_read_write_lock.yml true 9.06 5.73 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 615.75 329.38 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 13.30 9.15 None svcomp/pthread-wmm/mix043.oepc.yml true 12.60 9.24 None svcomp/weaver/bench-exp3x3-opt.wvr.yml true 167.19 115.22 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 157.09 101.29 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 45.40 25.61 None svcomp/ldv-races/race-2_3b-container_of.yml TIMEOUT 601.42 554.85 None svcomp/ldv-races/race-2_5-container_of.yml TIMEOUT 602.63 573.86 None svcomp/pthread-atomic/read_write_lock-2.yml true 328.96 214.31 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.46 538.58 None svcomp/weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 265.65 162.72 None svcomp/weaver/popl20-counter-fun.wvr.yml true 57.43 51.70 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 130.61 95.89 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 58.05 41.16 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 226.70 165.74 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 241.58 148.82 None concurrent/bpl/POPL2023/acq-work-5threads.bpl TIMEOUT 601.24 377.33 None concurrent/bpl/POPL2023/acq-work-6threads.bpl TIMEOUT 601.81 364.35 None concurrent/bpl/POPL2023/acq-work-constants.bpl true 83.25 62.93 None concurrent/bpl/POPL2023/acq-work.bpl true 76.24 58.50 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl true 37.47 26.56 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl OUT OF MEMORY 248.21 158.44 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl TIMEOUT 604.13 331.73 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl TIMEOUT 618.47 351.35 None concurrent/bpl/POPL2023/array-sum-with-log.bpl true 21.24 13.14 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl OUT OF MEMORY 121.88 87.42 None concurrent/bpl/POPL2023/incr-decr-zero.bpl true 13.79 8.54 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl TIMEOUT 602.02 393.10 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl OUT OF MEMORY 513.52 302.51 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl TIMEOUT 602.40 343.62 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl true 117.14 78.14 None concurrent/bpl/POPL2023/map-aggr-update1.bpl OUT OF MEMORY 200.61 160.25 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl true 198.62 140.28 None concurrent/bpl/POPL2023/map-aggr-update2.bpl true 516.98 345.12 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 5.30 4.08 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT 600.79 556.01 None concurrent/bpl/POPL2023/map-incr-decr.bpl true 64.91 43.06 None concurrent/bpl/POPL2023/map-incr-split.bpl TIMEOUT 600.48 540.38 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 6.15 4.08 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 8.22 5.35 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 11.75 7.22 None concurrent/bpl/POPL2023/max-tailsum5.bpl true 47.82 33.35 None concurrent/bpl/POPL2023/min-max-sample-2.bpl true 289.05 265.65 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl OUT OF MEMORY 308.96 254.77 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl TIMEOUT 602.61 357.90 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl OUT OF MEMORY 205.71 154.66 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl true 8.92 5.78 None concurrent/bpl/POPL2023/min-max-sample.bpl true 8.27 5.35 None concurrent/bpl/POPL2023/min-max-split-sample.bpl true 37.95 25.53 None concurrent/bpl/POPL2023/min2-max2-sample.bpl TIMEOUT 604.93 384.15 None concurrent/bpl/POPL2023/motivating-slowitp.bpl TIMEOUT 606.29 569.69 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 5.22 3.71 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 603.28 508.18 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 5.17 4.16 None concurrent/bpl/POPL2023/readers_writer.bpl true 7.43 5.19 None concurrent/bpl/POPL2023/sum-print.bpl TIMEOUT 601.49 488.23 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 601.23 518.90 None concurrent/bpl/POPL2023/sum-rwlock.bpl true 220.94 162.51 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl true 74.52 59.60 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl TIMEOUT 600.38 561.71 None concurrent/bpl/POPL2023/sumsumbank.bpl true 11.46 7.00 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 601.55 469.77 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 601.04 589.01 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 601.04 589.86 None concurrent/bpl/POPL2023/work-steal1.bpl true 7.11 4.78 None concurrent/bpl/POPL2023/work-steal2.bpl true 483.11 385.64 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 20829.23 1372.40 - Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_FALLBACK Run set 4 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf --traceabstraction.coinflip.probability.value 0 --traceabstraction.coinflip.random.seed 0 --traceabstraction.coinflip.budget.determination.mode FALLBACK --traceabstraction.coinflip.probability.increment 10' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 578.65 418.82 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml TIMEOUT 613.41 332.26 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 49.45 29.13 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 17.06 9.46 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.57 9.60 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.21 10.12 None svcomp/weaver/parallel-ticket-3.wvr.yml true 19.26 10.83 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 167.54 133.15 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 107.11 69.97 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 15.80 10.38 None svcomp/ldv-races/race-4_2-thread_local_vars.yml true 132.42 103.83 None svcomp/pthread-atomic/qrcu-2.yml true 133.10 92.79 None svcomp/pthread-atomic/read_write_lock-1b.yml true 37.87 27.93 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 431.32 252.10 None svcomp/pthread-ext/18_read_write_lock.yml true 8.53 5.55 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 617.32 329.74 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 12.80 9.00 None svcomp/pthread-wmm/mix043.oepc.yml true 12.79 9.75 None svcomp/weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 152.06 98.23 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 127.30 81.07 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 46.60 26.63 None svcomp/ldv-races/race-2_3b-container_of.yml TIMEOUT 600.98 555.85 None svcomp/ldv-races/race-2_5-container_of.yml TIMEOUT 602.45 583.83 None svcomp/pthread-atomic/read_write_lock-2.yml true 339.62 224.41 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.60 537.84 None svcomp/weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 286.42 166.85 None svcomp/weaver/popl20-counter-fun.wvr.yml true 48.29 47.83 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 145.80 97.43 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 151.00 114.74 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 216.10 154.65 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 214.84 162.29 None concurrent/bpl/POPL2023/acq-work-5threads.bpl OUT OF MEMORY 310.92 203.78 None concurrent/bpl/POPL2023/acq-work-6threads.bpl TIMEOUT 601.45 353.35 None concurrent/bpl/POPL2023/acq-work-constants.bpl true 112.95 91.61 None concurrent/bpl/POPL2023/acq-work.bpl true 80.07 51.12 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl true 43.63 28.98 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl OUT OF MEMORY 355.17 218.41 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl TIMEOUT 603.81 332.78 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl OUT OF MEMORY 504.23 283.60 None concurrent/bpl/POPL2023/array-sum-with-log.bpl true 25.48 14.90 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl OUT OF MEMORY 306.11 202.31 None concurrent/bpl/POPL2023/incr-decr-zero.bpl true 11.31 6.54 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl TIMEOUT 601.03 374.41 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl OUT OF MEMORY 473.66 292.51 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl TIMEOUT 601.93 343.59 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl true 96.55 66.12 None concurrent/bpl/POPL2023/map-aggr-update1.bpl OUT OF MEMORY 172.67 149.06 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl true 163.96 115.79 None concurrent/bpl/POPL2023/map-aggr-update2.bpl true 37.60 25.23 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 5.49 4.17 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT 600.75 559.54 None concurrent/bpl/POPL2023/map-incr-decr.bpl true 39.33 24.14 None concurrent/bpl/POPL2023/map-incr-split.bpl true 52.93 43.17 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 6.28 4.23 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 6.72 4.97 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 12.46 7.57 None concurrent/bpl/POPL2023/max-tailsum5.bpl true 49.40 33.35 None concurrent/bpl/POPL2023/min-max-sample-2.bpl true 282.61 258.86 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl OUT OF MEMORY 240.97 162.07 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl TIMEOUT 601.84 359.38 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl OUT OF MEMORY 231.71 167.22 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl true 10.50 6.47 None concurrent/bpl/POPL2023/min-max-sample.bpl true 8.27 5.35 None concurrent/bpl/POPL2023/min-max-split-sample.bpl true 48.99 31.09 None concurrent/bpl/POPL2023/min2-max2-sample.bpl TIMEOUT (ERROR: EXCEPTION) 601.43 568.44 None concurrent/bpl/POPL2023/motivating-slowitp.bpl TIMEOUT 601.03 590.37 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 6.26 3.79 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 603.14 444.22 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 6.37 4.53 None concurrent/bpl/POPL2023/readers_writer.bpl true 9.45 6.05 None concurrent/bpl/POPL2023/sum-print.bpl true 332.28 259.71 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 600.49 497.69 None concurrent/bpl/POPL2023/sum-rwlock.bpl true 32.60 23.17 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl true 12.93 7.89 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl true 38.01 23.56 None concurrent/bpl/POPL2023/sumsumbank.bpl true 9.00 6.10 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 601.09 552.76 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 601.00 593.04 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 601.08 586.83 None concurrent/bpl/POPL2023/work-steal1.bpl true 6.85 4.59 None concurrent/bpl/POPL2023/work-steal2.bpl true 497.73 397.09 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 18983.71 1264.51 - Combination_LoopLockstep_Badger_NoDead_Incremental5_Seed0_COARSE Run set 5 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf --traceabstraction.coinflip.probability.value 0 --traceabstraction.coinflip.random.seed 0 --traceabstraction.coinflip.budget.determination.mode COARSE --traceabstraction.coinflip.probability.increment 5' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 440.57 312.98 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml TIMEOUT 614.71 332.68 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 46.63 28.70 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 17.05 9.85 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.73 9.37 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.67 9.81 None svcomp/weaver/parallel-ticket-3.wvr.yml true 18.25 10.38 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 166.50 132.56 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 89.90 58.94 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 15.98 10.51 None svcomp/ldv-races/race-4_2-thread_local_vars.yml true 127.45 96.74 None svcomp/pthread-atomic/qrcu-2.yml true 132.57 92.75 None svcomp/pthread-atomic/read_write_lock-1b.yml true 37.04 27.87 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 227.27 133.71 None svcomp/pthread-ext/18_read_write_lock.yml true 8.84 5.61 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 618.18 329.89 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 12.86 8.59 None svcomp/pthread-wmm/mix043.oepc.yml true 16.94 11.59 None svcomp/weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 95.51 66.58 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 172.51 110.43 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 46.27 26.17 None svcomp/ldv-races/race-2_3b-container_of.yml TIMEOUT 600.97 536.03 None svcomp/ldv-races/race-2_5-container_of.yml TIMEOUT 602.58 580.66 None svcomp/pthread-atomic/read_write_lock-2.yml true 333.84 217.16 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.22 535.10 None svcomp/weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 280.00 162.04 None svcomp/weaver/popl20-counter-fun.wvr.yml true 46.94 46.28 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 146.24 107.25 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 126.58 92.98 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 199.95 155.10 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 245.86 167.58 None concurrent/bpl/POPL2023/acq-work-5threads.bpl OUT OF MEMORY 133.05 97.08 None concurrent/bpl/POPL2023/acq-work-6threads.bpl TIMEOUT 602.17 369.72 None concurrent/bpl/POPL2023/acq-work-constants.bpl true 62.33 44.05 None concurrent/bpl/POPL2023/acq-work.bpl true 67.27 49.42 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl true 48.26 30.90 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl OUT OF MEMORY 196.75 120.07 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl OUT OF MEMORY 571.02 329.79 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl TIMEOUT 609.48 338.01 None concurrent/bpl/POPL2023/array-sum-with-log.bpl true 19.54 13.38 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl TIMEOUT 619.34 352.01 None concurrent/bpl/POPL2023/incr-decr-zero.bpl true 11.44 7.17 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl TIMEOUT 601.64 380.94 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl OUT OF MEMORY 177.81 117.84 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl TIMEOUT 602.68 342.47 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl true 91.67 69.19 None concurrent/bpl/POPL2023/map-aggr-update1.bpl OUT OF MEMORY 207.75 165.43 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl true 236.70 156.92 None concurrent/bpl/POPL2023/map-aggr-update2.bpl true 71.49 50.91 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 5.59 4.27 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT 600.82 557.24 None concurrent/bpl/POPL2023/map-incr-decr.bpl true 42.45 27.07 None concurrent/bpl/POPL2023/map-incr-split.bpl true 314.96 293.95 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 4.75 3.44 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 6.27 4.47 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 9.00 5.95 None concurrent/bpl/POPL2023/max-tailsum5.bpl true 45.66 29.89 None concurrent/bpl/POPL2023/min-max-sample-2.bpl true 263.39 246.14 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl OUT OF MEMORY 501.97 422.02 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl OUT OF MEMORY 460.76 275.29 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl OUT OF MEMORY 194.11 133.74 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl true 10.94 6.68 None concurrent/bpl/POPL2023/min-max-sample.bpl true 6.59 4.81 None concurrent/bpl/POPL2023/min-max-split-sample.bpl true 49.21 31.52 None concurrent/bpl/POPL2023/min2-max2-sample.bpl TIMEOUT 611.28 367.35 None concurrent/bpl/POPL2023/motivating-slowitp.bpl TIMEOUT 601.10 583.34 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 6.69 4.00 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 601.39 434.38 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 6.49 4.65 None concurrent/bpl/POPL2023/readers_writer.bpl true 9.03 5.88 None concurrent/bpl/POPL2023/sum-print.bpl OUT OF MEMORY 517.08 407.07 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 600.44 499.79 None concurrent/bpl/POPL2023/sum-rwlock.bpl true 61.59 43.86 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl true 41.77 25.10 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl true 41.25 24.91 None concurrent/bpl/POPL2023/sumsumbank.bpl true 8.79 6.04 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 601.15 495.49 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 601.04 592.65 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 601.09 586.24 None concurrent/bpl/POPL2023/work-steal1.bpl true 5.45 4.05 None concurrent/bpl/POPL2023/work-steal2.bpl true 458.52 380.35 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 5 done 18945.64 1252.25 - Combination_LoopLockstep_Badger_NoDead_Incremental10_Seed0_COARSE Run set 6 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf --traceabstraction.coinflip.probability.value 0 --traceabstraction.coinflip.random.seed 0 --traceabstraction.coinflip.budget.determination.mode COARSE --traceabstraction.coinflip.probability.increment 10' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 491.72 352.92 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml TIMEOUT 613.73 330.18 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 49.47 29.12 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 17.05 9.67 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.50 9.43 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.79 9.64 None svcomp/weaver/parallel-ticket-3.wvr.yml true 18.70 11.15 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 167.22 133.38 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 100.29 67.95 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 16.19 10.91 None svcomp/ldv-races/race-4_2-thread_local_vars.yml true 131.99 103.57 None svcomp/pthread-atomic/qrcu-2.yml true 135.06 94.71 None svcomp/pthread-atomic/read_write_lock-1b.yml true 36.53 28.19 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 233.23 137.80 None svcomp/pthread-ext/18_read_write_lock.yml true 8.63 5.67 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 617.84 329.82 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 14.07 9.58 None svcomp/pthread-wmm/mix043.oepc.yml true 12.61 9.51 None svcomp/weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 137.53 89.14 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 148.02 97.51 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 48.44 27.56 None svcomp/ldv-races/race-2_3b-container_of.yml TIMEOUT 600.61 554.56 None svcomp/ldv-races/race-2_5-container_of.yml TIMEOUT 602.57 582.37 None svcomp/pthread-atomic/read_write_lock-2.yml true 335.24 219.79 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.42 537.93 None svcomp/weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 294.10 171.55 None svcomp/weaver/popl20-counter-fun.wvr.yml true 46.33 47.43 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 169.03 113.97 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 136.10 103.30 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 240.58 176.95 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 211.01 156.93 None concurrent/bpl/POPL2023/acq-work-5threads.bpl OUT OF MEMORY 236.36 162.22 None concurrent/bpl/POPL2023/acq-work-6threads.bpl TIMEOUT 601.82 364.84 None concurrent/bpl/POPL2023/acq-work-constants.bpl true 119.09 94.86 None concurrent/bpl/POPL2023/acq-work.bpl true 155.28 105.45 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl true 49.16 31.71 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl TIMEOUT 620.80 346.66 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl TIMEOUT 601.74 331.50 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl TIMEOUT 608.49 336.62 None concurrent/bpl/POPL2023/array-sum-with-log.bpl true 19.98 12.82 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl OUT OF MEMORY 253.56 169.47 None concurrent/bpl/POPL2023/incr-decr-zero.bpl true 8.26 5.29 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl TIMEOUT 601.29 391.37 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl OUT OF MEMORY 441.71 274.63 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl TIMEOUT 603.58 344.52 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl true 84.15 57.16 None concurrent/bpl/POPL2023/map-aggr-update1.bpl OUT OF MEMORY 207.02 166.34 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl OUT OF MEMORY 281.79 221.49 None concurrent/bpl/POPL2023/map-aggr-update2.bpl true 49.10 30.39 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 7.35 4.90 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT 601.07 538.64 None concurrent/bpl/POPL2023/map-incr-decr.bpl true 30.96 20.40 None concurrent/bpl/POPL2023/map-incr-split.bpl true 60.17 44.98 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 6.26 4.17 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 6.27 4.50 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 11.42 7.09 None concurrent/bpl/POPL2023/max-tailsum5.bpl true 47.14 31.62 None concurrent/bpl/POPL2023/min-max-sample-2.bpl true 283.37 259.48 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl OUT OF MEMORY 168.02 114.95 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl OUT OF MEMORY 341.77 213.39 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl OUT OF MEMORY 452.52 423.74 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl true 8.83 5.67 None concurrent/bpl/POPL2023/min-max-sample.bpl true 6.64 4.61 None concurrent/bpl/POPL2023/min-max-split-sample.bpl true 39.93 27.26 None concurrent/bpl/POPL2023/min2-max2-sample.bpl OUT OF MEMORY 255.99 203.83 None concurrent/bpl/POPL2023/motivating-slowitp.bpl TIMEOUT 604.96 569.69 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 6.53 3.90 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 601.20 434.00 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 6.40 4.59 None concurrent/bpl/POPL2023/readers_writer.bpl true 9.21 5.87 None concurrent/bpl/POPL2023/sum-print.bpl true 158.97 138.26 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 601.23 518.05 None concurrent/bpl/POPL2023/sum-rwlock.bpl true 27.08 15.39 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl true 15.29 8.89 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl true 32.20 18.45 None concurrent/bpl/POPL2023/sumsumbank.bpl true 11.84 7.20 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 601.43 473.02 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 601.05 589.73 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 601.06 588.73 None concurrent/bpl/POPL2023/work-steal1.bpl true 7.21 4.83 None concurrent/bpl/POPL2023/work-steal2.bpl true 503.06 403.31 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 6 done 18529.20 1240.85 - Combination_LoopLockstep_Badger_NoDead_80_seed13_PURE Run set 7 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf --traceabstraction.coinflip.probability.value 80 --traceabstraction.coinflip.random.seed 13 --traceabstraction.coinflip.budget.determination.mode PURE' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 601.24 553.01 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 307.59 255.91 None svcomp/ldv-races/race-3_2-container_of-global.yml TIMEOUT 601.26 574.99 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 19.44 10.91 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.56 11.03 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 37.47 23.64 None svcomp/weaver/parallel-ticket-3.wvr.yml true 31.78 16.80 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 115.39 87.25 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 355.33 276.21 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 35.91 24.13 None svcomp/ldv-races/race-4_2-thread_local_vars.yml OUT OF MEMORY 307.69 227.36 None svcomp/pthread-atomic/qrcu-2.yml OUT OF MEMORY 484.40 289.38 None svcomp/pthread-atomic/read_write_lock-1b.yml OUT OF MEMORY 224.63 158.80 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 120.18 78.95 None svcomp/pthread-ext/18_read_write_lock.yml true 8.51 5.70 None svcomp/pthread-lit/qw2004_variant.yml OUT OF MEMORY 458.17 264.13 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 14.36 9.85 None svcomp/pthread-wmm/mix043.oepc.yml true 29.02 18.12 None svcomp/weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 271.56 198.41 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 96.19 71.81 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 79.53 47.10 None svcomp/ldv-races/race-2_3b-container_of.yml OUT OF MEMORY 414.63 331.77 None svcomp/ldv-races/race-2_5-container_of.yml TIMEOUT 602.01 569.18 None svcomp/pthread-atomic/read_write_lock-2.yml OUT OF MEMORY 264.52 170.49 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.09 554.62 None svcomp/weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 465.71 280.10 None svcomp/weaver/popl20-counter-fun.wvr.yml OUT OF MEMORY 450.09 394.35 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 82.90 54.11 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 107.63 84.51 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 391.41 340.53 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 111.09 78.95 None concurrent/bpl/POPL2023/acq-work-5threads.bpl OUT OF MEMORY 97.58 72.69 None concurrent/bpl/POPL2023/acq-work-6threads.bpl OUT OF MEMORY 77.83 56.17 None concurrent/bpl/POPL2023/acq-work-constants.bpl OUT OF MEMORY 230.68 170.64 None concurrent/bpl/POPL2023/acq-work.bpl OUT OF MEMORY 165.19 125.60 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl OUT OF MEMORY 354.26 299.22 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl OUT OF MEMORY 151.85 120.43 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl TIMEOUT 601.01 460.32 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl OUT OF MEMORY 79.65 55.84 None concurrent/bpl/POPL2023/array-sum-with-log.bpl TIMEOUT 601.35 475.22 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl OUT OF MEMORY 173.10 127.12 None concurrent/bpl/POPL2023/incr-decr-zero.bpl TIMEOUT 600.76 495.06 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl OUT OF MEMORY 491.82 440.73 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl OUT OF MEMORY 95.93 65.11 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl OUT OF MEMORY 133.41 93.43 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl OUT OF MEMORY 109.75 78.70 None concurrent/bpl/POPL2023/map-aggr-update1.bpl OUT OF MEMORY 200.98 158.82 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl OUT OF MEMORY 116.64 82.94 None concurrent/bpl/POPL2023/map-aggr-update2.bpl TIMEOUT 600.34 547.35 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 6.96 4.97 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT 602.05 552.16 None concurrent/bpl/POPL2023/map-incr-decr.bpl TIMEOUT 600.80 521.75 None concurrent/bpl/POPL2023/map-incr-split.bpl TIMEOUT 601.19 581.47 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 5.06 3.63 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 7.24 4.88 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 30.51 22.17 None concurrent/bpl/POPL2023/max-tailsum5.bpl OUT OF MEMORY 391.68 252.88 None concurrent/bpl/POPL2023/min-max-sample-2.bpl TIMEOUT 601.07 588.99 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl OUT OF MEMORY 126.44 90.36 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl OUT OF MEMORY 154.15 125.14 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl TIMEOUT (ERROR: EXCEPTION) 601.21 572.25 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl TIMEOUT 601.12 584.25 None concurrent/bpl/POPL2023/min-max-sample.bpl TIMEOUT 601.05 587.35 None concurrent/bpl/POPL2023/min-max-split-sample.bpl OUT OF MEMORY 519.41 391.80 None concurrent/bpl/POPL2023/min2-max2-sample.bpl TIMEOUT 601.13 586.36 None concurrent/bpl/POPL2023/motivating-slowitp.bpl OUT OF MEMORY 457.06 286.91 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 8.42 5.44 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 600.42 551.88 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 4.98 4.24 None concurrent/bpl/POPL2023/readers_writer.bpl true 10.98 7.06 None concurrent/bpl/POPL2023/sum-print.bpl TIMEOUT 602.50 561.83 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 600.58 497.75 None concurrent/bpl/POPL2023/sum-rwlock.bpl TIMEOUT 600.87 450.88 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl TIMEOUT 600.72 505.17 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl TIMEOUT 600.49 552.62 None concurrent/bpl/POPL2023/sumsumbank.bpl TIMEOUT 600.83 483.14 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 601.18 539.46 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 606.05 594.72 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 602.04 588.91 None concurrent/bpl/POPL2023/work-steal1.bpl true 7.00 4.74 None concurrent/bpl/POPL2023/work-steal2.bpl TIMEOUT 601.00 465.29 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 7 done 25750.64 1801.21 - Combination_LoopLockstep_Badger_NoDead_85_seed13_PURE Run set 8 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf --traceabstraction.coinflip.probability.value 85 --traceabstraction.coinflip.random.seed 13 --traceabstraction.coinflip.budget.determination.mode PURE' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 600.46 566.26 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 280.50 236.40 None svcomp/ldv-races/race-3_2-container_of-global.yml TIMEOUT 602.63 576.17 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 20.22 11.42 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 20.63 11.59 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 36.87 23.23 None svcomp/weaver/parallel-ticket-3.wvr.yml true 29.46 16.36 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 121.40 94.29 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 445.56 352.16 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 35.55 24.04 None svcomp/ldv-races/race-4_2-thread_local_vars.yml OUT OF MEMORY 440.43 312.45 None svcomp/pthread-atomic/qrcu-2.yml OUT OF MEMORY 317.43 193.96 None svcomp/pthread-atomic/read_write_lock-1b.yml OUT OF MEMORY 155.77 110.39 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 242.90 154.97 None svcomp/pthread-ext/18_read_write_lock.yml true 8.72 5.51 None svcomp/pthread-lit/qw2004_variant.yml OUT OF MEMORY 383.66 225.84 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 14.45 9.67 None svcomp/pthread-wmm/mix043.oepc.yml true 27.43 17.77 None svcomp/weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 345.52 252.70 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 98.61 75.46 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 87.91 51.89 None svcomp/ldv-races/race-2_3b-container_of.yml TIMEOUT 601.02 500.28 None svcomp/ldv-races/race-2_5-container_of.yml TIMEOUT 602.03 568.47 None svcomp/pthread-atomic/read_write_lock-2.yml OUT OF MEMORY 520.18 321.22 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.13 550.61 None svcomp/weaver/parallel-ticket-4.wvr.yml TIMEOUT 602.31 377.39 None svcomp/weaver/popl20-counter-fun.wvr.yml OUT OF MEMORY 194.71 154.29 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 78.67 56.06 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 111.00 81.31 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 146.47 92.24 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 426.26 382.56 None concurrent/bpl/POPL2023/acq-work-5threads.bpl OUT OF MEMORY 93.83 70.34 None concurrent/bpl/POPL2023/acq-work-6threads.bpl OUT OF MEMORY 93.13 72.06 None concurrent/bpl/POPL2023/acq-work-constants.bpl OUT OF MEMORY 457.38 342.41 None concurrent/bpl/POPL2023/acq-work.bpl OUT OF MEMORY 444.61 329.43 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl OUT OF MEMORY 149.00 104.70 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl OUT OF MEMORY 80.03 58.46 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl OUT OF MEMORY 98.45 73.59 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl OUT OF MEMORY 145.77 117.43 None concurrent/bpl/POPL2023/array-sum-with-log.bpl TIMEOUT 601.43 470.57 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl OUT OF MEMORY 246.48 199.03 None concurrent/bpl/POPL2023/incr-decr-zero.bpl OUT OF MEMORY 559.04 449.86 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl OUT OF MEMORY 110.61 75.23 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl OUT OF MEMORY 89.88 63.58 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl OUT OF MEMORY 115.80 87.15 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl OUT OF MEMORY 292.05 182.07 None concurrent/bpl/POPL2023/map-aggr-update1.bpl TIMEOUT 600.61 556.74 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl OUT OF MEMORY 306.43 256.12 None concurrent/bpl/POPL2023/map-aggr-update2.bpl TIMEOUT (ERROR: EXCEPTION) 601.41 548.39 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 8.38 5.36 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT 601.27 536.07 None concurrent/bpl/POPL2023/map-incr-decr.bpl TIMEOUT 601.27 564.48 None concurrent/bpl/POPL2023/map-incr-split.bpl TIMEOUT 600.19 571.78 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 4.61 3.73 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 6.66 4.80 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 31.86 24.19 None concurrent/bpl/POPL2023/max-tailsum5.bpl OUT OF MEMORY 92.06 66.58 None concurrent/bpl/POPL2023/min-max-sample-2.bpl TIMEOUT 601.13 580.65 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl OUT OF MEMORY 87.92 66.21 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl OUT OF MEMORY 143.94 118.19 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl TIMEOUT 601.03 402.76 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl TIMEOUT 606.02 594.33 None concurrent/bpl/POPL2023/min-max-sample.bpl TIMEOUT 601.23 584.52 None concurrent/bpl/POPL2023/min-max-split-sample.bpl OUT OF MEMORY 445.85 350.49 None concurrent/bpl/POPL2023/min2-max2-sample.bpl OUT OF MEMORY 75.15 52.97 None concurrent/bpl/POPL2023/motivating-slowitp.bpl OUT OF MEMORY 588.37 352.55 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 9.72 5.88 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 601.13 551.75 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 6.69 4.78 None concurrent/bpl/POPL2023/readers_writer.bpl true 16.44 9.26 None concurrent/bpl/POPL2023/sum-print.bpl TIMEOUT 601.04 453.36 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 600.51 500.70 None concurrent/bpl/POPL2023/sum-rwlock.bpl TIMEOUT 601.30 476.35 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl TIMEOUT 600.58 551.32 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl TIMEOUT (ERROR: EXCEPTION) 601.49 523.69 None concurrent/bpl/POPL2023/sumsumbank.bpl TIMEOUT (ERROR: EXCEPTION) 600.69 548.25 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 601.70 467.74 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 601.02 593.18 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl OUT OF MEMORY 462.46 342.45 None concurrent/bpl/POPL2023/work-steal1.bpl true 5.33 4.11 None concurrent/bpl/POPL2023/work-steal2.bpl TIMEOUT 600.95 522.68 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 8 done 25496.07 1746.66 - Combination_LoopLockstep_Badger_NoDead_90_seed13_PURE Run set 9 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf --traceabstraction.coinflip.probability.value 90 --traceabstraction.coinflip.random.seed 13 --traceabstraction.coinflip.budget.determination.mode PURE' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 606.24 557.76 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 301.71 253.31 None svcomp/ldv-races/race-3_2-container_of-global.yml TIMEOUT 601.50 575.17 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 20.32 11.04 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.91 11.28 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 32.12 20.46 None svcomp/weaver/parallel-ticket-3.wvr.yml true 30.07 16.94 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 161.57 123.14 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 601.62 480.73 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 37.29 24.35 None svcomp/ldv-races/race-4_2-thread_local_vars.yml OUT OF MEMORY 389.64 280.66 None svcomp/pthread-atomic/qrcu-2.yml OUT OF MEMORY 341.65 208.33 None svcomp/pthread-atomic/read_write_lock-1b.yml OUT OF MEMORY 178.07 126.06 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 135.83 89.84 None svcomp/pthread-ext/18_read_write_lock.yml true 8.74 5.54 None svcomp/pthread-lit/qw2004_variant.yml OUT OF MEMORY 455.43 265.43 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 14.86 9.99 None svcomp/pthread-wmm/mix043.oepc.yml true 27.52 17.49 None svcomp/weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 134.90 98.37 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 98.82 75.09 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 382.98 329.71 None svcomp/ldv-races/race-2_3b-container_of.yml OUT OF MEMORY 578.11 480.61 None svcomp/ldv-races/race-2_5-container_of.yml TIMEOUT 601.47 577.59 None svcomp/pthread-atomic/read_write_lock-2.yml OUT OF MEMORY 379.76 235.99 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.35 535.62 None svcomp/weaver/parallel-ticket-4.wvr.yml TIMEOUT 603.63 372.15 None svcomp/weaver/popl20-counter-fun.wvr.yml OUT OF MEMORY 209.31 166.76 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 78.40 55.81 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 121.62 90.79 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 103.54 71.11 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 314.18 249.82 None concurrent/bpl/POPL2023/acq-work-5threads.bpl OUT OF MEMORY 93.71 75.03 None concurrent/bpl/POPL2023/acq-work-6threads.bpl OUT OF MEMORY 98.08 77.82 None concurrent/bpl/POPL2023/acq-work-constants.bpl OUT OF MEMORY 136.01 103.74 None concurrent/bpl/POPL2023/acq-work.bpl OUT OF MEMORY 136.51 102.53 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl OUT OF MEMORY 385.76 291.63 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl OUT OF MEMORY 174.58 147.20 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl OUT OF MEMORY 110.24 81.62 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl OUT OF MEMORY 110.80 87.52 None concurrent/bpl/POPL2023/array-sum-with-log.bpl TIMEOUT 600.54 500.32 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl OUT OF MEMORY 316.55 198.53 None concurrent/bpl/POPL2023/incr-decr-zero.bpl OUT OF MEMORY 594.89 538.32 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl TIMEOUT 600.68 554.91 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl OUT OF MEMORY 87.93 58.62 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl OUT OF MEMORY 85.52 67.48 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl true 17.79 10.18 None concurrent/bpl/POPL2023/map-aggr-update1.bpl OUT OF MEMORY 303.29 263.65 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl OUT OF MEMORY 329.65 215.79 None concurrent/bpl/POPL2023/map-aggr-update2.bpl TIMEOUT 600.86 535.70 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 7.67 4.97 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT 601.26 542.92 None concurrent/bpl/POPL2023/map-incr-decr.bpl TIMEOUT 600.49 555.95 None concurrent/bpl/POPL2023/map-incr-split.bpl TIMEOUT 600.67 567.77 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 6.64 4.35 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 9.37 5.78 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 39.44 26.05 None concurrent/bpl/POPL2023/max-tailsum5.bpl OUT OF MEMORY 80.99 57.93 None concurrent/bpl/POPL2023/min-max-sample-2.bpl TIMEOUT 601.12 580.82 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl TIMEOUT 601.08 587.22 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl OUT OF MEMORY 86.21 57.71 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl TIMEOUT 606.33 579.80 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl OUT OF MEMORY 143.10 112.90 None concurrent/bpl/POPL2023/min-max-sample.bpl true 17.70 10.32 None concurrent/bpl/POPL2023/min-max-split-sample.bpl TIMEOUT (ERROR: EXCEPTION) 601.51 566.62 None concurrent/bpl/POPL2023/min2-max2-sample.bpl TIMEOUT 602.26 376.21 None concurrent/bpl/POPL2023/motivating-slowitp.bpl OUT OF MEMORY 116.36 84.27 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 8.66 5.01 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 600.76 432.28 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 5.39 4.21 None concurrent/bpl/POPL2023/readers_writer.bpl true 9.72 6.83 None concurrent/bpl/POPL2023/sum-print.bpl TIMEOUT 600.95 544.68 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 601.27 516.81 None concurrent/bpl/POPL2023/sum-rwlock.bpl TIMEOUT 600.64 553.40 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl TIMEOUT 600.21 516.11 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl TIMEOUT 601.25 564.89 None concurrent/bpl/POPL2023/sumsumbank.bpl TIMEOUT 600.39 485.97 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 600.71 510.94 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 606.25 590.95 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 601.10 585.13 None concurrent/bpl/POPL2023/work-steal1.bpl true 6.91 4.63 None concurrent/bpl/POPL2023/work-steal2.bpl OUT OF MEMORY 168.69 123.51 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 9 done 24492.77 1718.51 - Combination_LoopLockstep_Badger_NoDead_95_seed13_PURE Run set 10 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf --traceabstraction.coinflip.probability.value 95 --traceabstraction.coinflip.random.seed 13 --traceabstraction.coinflip.budget.determination.mode PURE' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 600.47 560.01 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 297.17 249.54 None svcomp/ldv-races/race-3_2-container_of-global.yml TIMEOUT 601.75 575.76 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 18.34 10.49 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.27 10.88 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 26.69 16.71 None svcomp/weaver/parallel-ticket-3.wvr.yml true 27.99 15.41 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 101.77 77.24 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 456.09 360.04 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 33.66 22.07 None svcomp/ldv-races/race-4_2-thread_local_vars.yml OUT OF MEMORY 388.13 277.45 None svcomp/pthread-atomic/qrcu-2.yml OUT OF MEMORY 377.22 232.18 None svcomp/pthread-atomic/read_write_lock-1b.yml OUT OF MEMORY 213.03 151.32 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 143.42 95.31 None svcomp/pthread-ext/18_read_write_lock.yml true 8.66 5.65 None svcomp/pthread-lit/qw2004_variant.yml OUT OF MEMORY 586.87 337.19 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 14.28 9.67 None svcomp/pthread-wmm/mix043.oepc.yml true 26.72 16.51 None svcomp/weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 405.64 274.16 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 157.37 123.99 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 352.32 306.37 None svcomp/ldv-races/race-2_3b-container_of.yml TIMEOUT 601.11 508.23 None svcomp/ldv-races/race-2_5-container_of.yml TIMEOUT 601.95 580.00 None svcomp/pthread-atomic/read_write_lock-2.yml OUT OF MEMORY 446.99 279.20 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.13 550.77 None svcomp/weaver/parallel-ticket-4.wvr.yml TIMEOUT 601.59 357.01 None svcomp/weaver/popl20-counter-fun.wvr.yml OUT OF MEMORY 161.53 126.56 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 100.34 66.61 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 158.34 117.86 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 197.24 133.12 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 222.42 150.46 None concurrent/bpl/POPL2023/acq-work-5threads.bpl OUT OF MEMORY 94.93 71.60 None concurrent/bpl/POPL2023/acq-work-6threads.bpl OUT OF MEMORY 89.40 66.17 None concurrent/bpl/POPL2023/acq-work-constants.bpl OUT OF MEMORY 99.69 64.90 None concurrent/bpl/POPL2023/acq-work.bpl OUT OF MEMORY 139.58 85.49 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl TIMEOUT 601.73 495.71 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl TIMEOUT 601.22 555.02 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl OUT OF MEMORY 128.34 95.52 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl OUT OF MEMORY 125.28 93.89 None concurrent/bpl/POPL2023/array-sum-with-log.bpl TIMEOUT 600.68 545.98 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl TIMEOUT 600.74 460.92 None concurrent/bpl/POPL2023/incr-decr-zero.bpl TIMEOUT 600.36 471.93 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl OUT OF MEMORY 169.69 124.79 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl OUT OF MEMORY 137.26 99.46 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl OUT OF MEMORY 86.85 63.30 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl true 21.33 11.69 None concurrent/bpl/POPL2023/map-aggr-update1.bpl OUT OF MEMORY 223.73 180.91 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl TIMEOUT 600.72 459.77 None concurrent/bpl/POPL2023/map-aggr-update2.bpl TIMEOUT 600.59 554.34 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 5.65 4.09 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT 601.36 537.08 None concurrent/bpl/POPL2023/map-incr-decr.bpl TIMEOUT 600.55 536.85 None concurrent/bpl/POPL2023/map-incr-split.bpl TIMEOUT 600.57 526.20 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 6.09 4.04 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 8.10 5.24 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 31.46 20.43 None concurrent/bpl/POPL2023/max-tailsum5.bpl OUT OF MEMORY 80.69 59.35 None concurrent/bpl/POPL2023/min-max-sample-2.bpl TIMEOUT 601.05 588.91 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl TIMEOUT (ERROR: EXCEPTION) 602.94 561.26 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl TIMEOUT 604.19 403.55 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl TIMEOUT 601.98 359.30 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl TIMEOUT (ERROR: EXCEPTION) 605.15 592.30 None concurrent/bpl/POPL2023/min-max-sample.bpl TIMEOUT 601.07 585.24 None concurrent/bpl/POPL2023/min-max-split-sample.bpl TIMEOUT 609.70 399.07 None concurrent/bpl/POPL2023/min2-max2-sample.bpl TIMEOUT 601.05 591.89 None concurrent/bpl/POPL2023/motivating-slowitp.bpl OUT OF MEMORY 520.23 331.66 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 6.74 4.00 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 600.78 434.64 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 7.30 4.81 None concurrent/bpl/POPL2023/readers_writer.bpl true 13.23 7.84 None concurrent/bpl/POPL2023/sum-print.bpl TIMEOUT 600.82 455.70 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 601.24 519.79 None concurrent/bpl/POPL2023/sum-rwlock.bpl TIMEOUT 600.89 451.09 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl TIMEOUT 600.45 516.46 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl TIMEOUT (ERROR: EXCEPTION) 600.92 555.23 None concurrent/bpl/POPL2023/sumsumbank.bpl TIMEOUT 600.89 482.79 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 601.21 559.81 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 606.11 577.55 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 601.21 592.46 None concurrent/bpl/POPL2023/work-steal1.bpl true 6.89 4.68 None concurrent/bpl/POPL2023/work-steal2.bpl TIMEOUT 601.37 455.38 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 10 done 28005.70 1895.48 - Combination_LoopLockstep_Badger_NoDead_05_seed0_FALLBACK Run set 11 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf --traceabstraction.coinflip.probability.value 5 --traceabstraction.coinflip.random.seed 0 --traceabstraction.coinflip.budget.determination.mode FALLBACK' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 217.82 175.95 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml TIMEOUT 614.20 331.68 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 46.42 28.21 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 16.81 9.61 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.71 9.59 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.76 9.50 None svcomp/weaver/parallel-ticket-3.wvr.yml true 18.07 10.63 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 129.14 96.38 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 98.91 63.19 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 16.37 10.65 None svcomp/ldv-races/race-4_2-thread_local_vars.yml OUT OF MEMORY 118.84 87.23 None svcomp/pthread-atomic/qrcu-2.yml true 136.05 94.86 None svcomp/pthread-atomic/read_write_lock-1b.yml true 37.66 27.89 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 219.25 129.19 None svcomp/pthread-ext/18_read_write_lock.yml true 8.22 5.40 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 616.31 330.23 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 13.67 9.42 None svcomp/pthread-wmm/mix043.oepc.yml true 16.12 11.16 None svcomp/weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 95.72 67.01 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 142.45 94.18 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 47.72 26.90 None svcomp/ldv-races/race-2_3b-container_of.yml TIMEOUT 601.42 476.39 None svcomp/ldv-races/race-2_5-container_of.yml true 184.24 139.34 None svcomp/pthread-atomic/read_write_lock-2.yml true 328.34 214.00 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.24 534.01 None svcomp/weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 283.66 162.64 None svcomp/weaver/popl20-counter-fun.wvr.yml true 48.42 46.78 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 121.71 86.36 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 147.64 108.36 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 232.20 191.85 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 229.15 169.28 None concurrent/bpl/POPL2023/acq-work-5threads.bpl OUT OF MEMORY 171.73 107.57 None concurrent/bpl/POPL2023/acq-work-6threads.bpl TIMEOUT 601.25 370.47 None concurrent/bpl/POPL2023/acq-work-constants.bpl OUT OF MEMORY 330.07 262.12 None concurrent/bpl/POPL2023/acq-work.bpl OUT OF MEMORY 226.97 184.62 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl true 39.31 27.75 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl OUT OF MEMORY 556.65 321.46 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl OUT OF MEMORY 475.53 271.05 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl TIMEOUT 608.05 337.27 None concurrent/bpl/POPL2023/array-sum-with-log.bpl true 20.17 12.68 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl OUT OF MEMORY 273.12 166.28 None concurrent/bpl/POPL2023/incr-decr-zero.bpl TIMEOUT 601.39 532.81 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl TIMEOUT 602.53 385.06 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl OUT OF MEMORY 400.02 252.55 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl TIMEOUT 602.33 342.82 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl true 113.13 76.87 None concurrent/bpl/POPL2023/map-aggr-update1.bpl OUT OF MEMORY 176.04 155.95 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl true 241.59 161.44 None concurrent/bpl/POPL2023/map-aggr-update2.bpl OUT OF MEMORY 149.27 107.02 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 5.78 4.19 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT (ERROR: EXCEPTION) 603.15 537.76 None concurrent/bpl/POPL2023/map-incr-decr.bpl TIMEOUT (ERROR: EXCEPTION) 600.86 549.55 None concurrent/bpl/POPL2023/map-incr-split.bpl TIMEOUT 600.43 545.60 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 5.45 3.86 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 6.85 4.74 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 9.38 6.20 None concurrent/bpl/POPL2023/max-tailsum5.bpl true 50.47 34.62 None concurrent/bpl/POPL2023/min-max-sample-2.bpl true 280.16 262.71 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl OUT OF MEMORY 561.47 479.12 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl OUT OF MEMORY 573.49 342.24 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl OUT OF MEMORY 146.47 121.01 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl true 8.77 6.01 None concurrent/bpl/POPL2023/min-max-sample.bpl true 6.89 5.07 None concurrent/bpl/POPL2023/min-max-split-sample.bpl true 41.20 29.18 None concurrent/bpl/POPL2023/min2-max2-sample.bpl TIMEOUT 607.77 387.39 None concurrent/bpl/POPL2023/motivating-slowitp.bpl OUT OF MEMORY 353.87 220.45 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 6.32 3.79 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 601.31 431.14 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 5.56 4.74 None concurrent/bpl/POPL2023/readers_writer.bpl true 7.38 5.36 None concurrent/bpl/POPL2023/sum-print.bpl TIMEOUT 602.18 554.32 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 600.25 568.75 None concurrent/bpl/POPL2023/sum-rwlock.bpl TIMEOUT 600.96 459.74 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl TIMEOUT 600.76 493.56 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl TIMEOUT 600.29 559.57 None concurrent/bpl/POPL2023/sumsumbank.bpl true 8.86 5.94 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 601.03 491.99 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 601.03 590.22 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 601.04 589.09 None concurrent/bpl/POPL2023/work-steal1.bpl true 6.32 4.40 None concurrent/bpl/POPL2023/work-steal2.bpl true 364.01 282.30 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 11 done 21881.41 1457.85 - Combination_LoopLockstep_Badger_NoDead_10_seed0_FALLBACK Run set 12 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf --traceabstraction.coinflip.probability.value 10 --traceabstraction.coinflip.random.seed 0 --traceabstraction.coinflip.budget.determination.mode FALLBACK' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 211.44 171.87 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml TIMEOUT 614.47 331.08 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 47.72 28.92 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 17.12 9.55 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.86 9.50 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.61 9.66 None svcomp/weaver/parallel-ticket-3.wvr.yml true 18.27 10.36 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 122.60 93.77 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 95.03 61.87 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 15.87 10.51 None svcomp/ldv-races/race-4_2-thread_local_vars.yml OUT OF MEMORY 87.88 65.68 None svcomp/pthread-atomic/qrcu-2.yml true 137.54 94.47 None svcomp/pthread-atomic/read_write_lock-1b.yml true 37.42 27.92 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 377.76 218.04 None svcomp/pthread-ext/18_read_write_lock.yml true 8.88 5.60 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 617.62 332.19 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 13.03 9.04 None svcomp/pthread-wmm/mix043.oepc.yml true 16.97 11.44 None svcomp/weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 95.76 65.91 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 142.86 93.38 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 45.44 25.68 None svcomp/ldv-races/race-2_3b-container_of.yml TIMEOUT 601.45 475.44 None svcomp/ldv-races/race-2_5-container_of.yml true 185.74 139.06 None svcomp/pthread-atomic/read_write_lock-2.yml true 328.08 214.77 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.47 538.61 None svcomp/weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 289.40 168.50 None svcomp/weaver/popl20-counter-fun.wvr.yml true 47.77 48.21 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 116.35 83.10 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 146.12 108.85 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 225.57 183.97 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 254.38 186.94 None concurrent/bpl/POPL2023/acq-work-5threads.bpl OUT OF MEMORY 226.30 148.33 None concurrent/bpl/POPL2023/acq-work-6threads.bpl OUT OF MEMORY 302.20 180.43 None concurrent/bpl/POPL2023/acq-work-constants.bpl OUT OF MEMORY 218.83 165.45 None concurrent/bpl/POPL2023/acq-work.bpl OUT OF MEMORY 220.75 176.89 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl true 34.42 25.37 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl OUT OF MEMORY 200.03 117.02 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl OUT OF MEMORY 452.01 259.26 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl TIMEOUT 607.79 338.51 None concurrent/bpl/POPL2023/array-sum-with-log.bpl true 26.71 15.70 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl OUT OF MEMORY 232.21 143.50 None concurrent/bpl/POPL2023/incr-decr-zero.bpl TIMEOUT (ERROR: EXCEPTION) 600.76 562.94 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl TIMEOUT 601.13 390.88 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl OUT OF MEMORY 561.14 328.43 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl TIMEOUT 602.02 341.63 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl true 93.64 66.27 None concurrent/bpl/POPL2023/map-aggr-update1.bpl OUT OF MEMORY 205.06 168.48 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl true 191.13 134.79 None concurrent/bpl/POPL2023/map-aggr-update2.bpl OUT OF MEMORY 146.92 106.09 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 5.43 4.15 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT (ERROR: EXCEPTION) 602.93 538.08 None concurrent/bpl/POPL2023/map-incr-decr.bpl TIMEOUT (ERROR: EXCEPTION) 601.66 534.97 None concurrent/bpl/POPL2023/map-incr-split.bpl TIMEOUT 600.53 538.08 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 6.69 4.40 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 8.58 5.58 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 12.77 7.77 None concurrent/bpl/POPL2023/max-tailsum5.bpl true 64.41 39.12 None concurrent/bpl/POPL2023/min-max-sample-2.bpl true 263.15 245.52 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl OUT OF MEMORY 390.50 335.66 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl TIMEOUT 602.10 351.54 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl OUT OF MEMORY 160.61 125.81 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl true 11.55 6.98 None concurrent/bpl/POPL2023/min-max-sample.bpl true 8.80 5.70 None concurrent/bpl/POPL2023/min-max-split-sample.bpl true 52.70 32.27 None concurrent/bpl/POPL2023/min2-max2-sample.bpl TIMEOUT 608.93 388.71 None concurrent/bpl/POPL2023/motivating-slowitp.bpl OUT OF MEMORY 324.85 204.88 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 6.15 3.68 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 601.58 424.97 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 6.64 4.77 None concurrent/bpl/POPL2023/readers_writer.bpl true 8.97 5.85 None concurrent/bpl/POPL2023/sum-print.bpl TIMEOUT 600.42 469.01 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 600.58 493.31 None concurrent/bpl/POPL2023/sum-rwlock.bpl TIMEOUT 600.58 564.69 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl TIMEOUT 600.83 491.54 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl TIMEOUT 600.29 559.36 None concurrent/bpl/POPL2023/sumsumbank.bpl true 11.15 6.94 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 601.36 471.04 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 601.02 592.89 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 601.08 590.64 None concurrent/bpl/POPL2023/work-steal1.bpl true 6.74 4.56 None concurrent/bpl/POPL2023/work-steal2.bpl true 373.85 288.39 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 12 done 21226.27 1417.89 - Combination_LoopLockstep_Badger_NoDead_15_seed0_FALLBACK Run set 13 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf --traceabstraction.coinflip.probability.value 15 --traceabstraction.coinflip.random.seed 0 --traceabstraction.coinflip.budget.determination.mode FALLBACK' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 250.92 201.36 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml TIMEOUT 615.24 333.87 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 46.20 28.40 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 16.89 9.58 None svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.98 9.62 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.36 9.90 None svcomp/weaver/parallel-ticket-3.wvr.yml true 17.73 10.54 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 134.86 99.51 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 95.62 62.96 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 16.28 10.65 None svcomp/ldv-races/race-4_2-thread_local_vars.yml OUT OF MEMORY 85.32 63.29 None svcomp/pthread-atomic/qrcu-2.yml true 140.60 96.60 None svcomp/pthread-atomic/read_write_lock-1b.yml true 37.72 28.28 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 219.31 129.75 None svcomp/pthread-ext/18_read_write_lock.yml true 8.37 5.72 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 617.52 331.10 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 13.24 9.39 None svcomp/pthread-wmm/mix043.oepc.yml true 17.40 11.75 None svcomp/weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 86.39 59.24 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 156.89 101.14 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 43.45 25.44 None svcomp/ldv-races/race-2_3b-container_of.yml TIMEOUT 601.50 475.26 None svcomp/ldv-races/race-2_5-container_of.yml true 226.81 161.17 None svcomp/pthread-atomic/read_write_lock-2.yml OUT OF MEMORY 263.88 177.13 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.55 532.29 None svcomp/weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 292.37 170.83 None svcomp/weaver/popl20-counter-fun.wvr.yml true 50.19 49.71 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 146.66 104.25 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 136.74 101.52 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 196.50 156.02 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 245.31 201.24 None concurrent/bpl/POPL2023/acq-work-5threads.bpl TIMEOUT 602.12 355.56 None concurrent/bpl/POPL2023/acq-work-6threads.bpl TIMEOUT 602.06 368.40 None concurrent/bpl/POPL2023/acq-work-constants.bpl OUT OF MEMORY 225.77 168.65 None concurrent/bpl/POPL2023/acq-work.bpl OUT OF MEMORY 278.53 202.61 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl true 38.78 26.97 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl OUT OF MEMORY 184.23 109.90 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl OUT OF MEMORY 434.22 243.88 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl OUT OF MEMORY 593.93 330.03 None concurrent/bpl/POPL2023/array-sum-with-log.bpl true 24.99 14.89 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl OUT OF MEMORY 331.30 197.42 None concurrent/bpl/POPL2023/incr-decr-zero.bpl TIMEOUT 605.67 562.90 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl TIMEOUT 601.12 394.21 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl OUT OF MEMORY 341.92 210.48 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl OUT OF MEMORY 430.13 249.06 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl true 113.93 76.72 None concurrent/bpl/POPL2023/map-aggr-update1.bpl OUT OF MEMORY 190.86 157.41 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl true 248.01 164.69 None concurrent/bpl/POPL2023/map-aggr-update2.bpl OUT OF MEMORY 154.00 109.58 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 6.68 4.56 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT (ERROR: EXCEPTION) 604.22 539.55 None concurrent/bpl/POPL2023/map-incr-decr.bpl TIMEOUT 601.29 518.63 None concurrent/bpl/POPL2023/map-incr-split.bpl TIMEOUT 600.48 542.41 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 6.48 4.24 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 7.09 4.88 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 9.15 6.14 None concurrent/bpl/POPL2023/max-tailsum5.bpl true 61.57 38.27 None concurrent/bpl/POPL2023/min-max-sample-2.bpl true 289.62 270.31 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl OUT OF MEMORY 237.15 188.75 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl OUT OF MEMORY 427.26 269.24 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl TIMEOUT 602.18 374.74 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl true 11.64 6.88 None concurrent/bpl/POPL2023/min-max-sample.bpl true 8.49 5.53 None concurrent/bpl/POPL2023/min-max-split-sample.bpl true 50.93 31.85 None concurrent/bpl/POPL2023/min2-max2-sample.bpl TIMEOUT 607.78 366.37 None concurrent/bpl/POPL2023/motivating-slowitp.bpl OUT OF MEMORY 272.31 179.29 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 6.56 3.78 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 602.46 437.30 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 6.44 4.58 None concurrent/bpl/POPL2023/readers_writer.bpl true 10.35 6.31 None concurrent/bpl/POPL2023/sum-print.bpl TIMEOUT 600.85 461.68 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 600.54 497.30 None concurrent/bpl/POPL2023/sum-rwlock.bpl TIMEOUT 600.84 474.53 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl TIMEOUT (ERROR: EXCEPTION) 600.80 553.74 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl TIMEOUT 600.56 546.07 None concurrent/bpl/POPL2023/sumsumbank.bpl true 9.50 6.16 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 600.92 492.93 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 601.04 593.64 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 601.04 590.79 None concurrent/bpl/POPL2023/work-steal1.bpl true 6.66 4.54 None concurrent/bpl/POPL2023/work-steal2.bpl true 374.47 288.55 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 13 done 21646.07 1410.90 - Combination_LoopLockstep_Badger_NoDead_20_seed0_FALLBACK Run set 14 of 46 with options '--force-no-wrapper --traceabstraction.trace.refinement.strategy BADGER --traceabstraction.cegar.restart.behaviour ONE_CEGAR_PER_ERROR_LOCATION --traceabstraction.dfs.order.used.in.por LOOP_LOCKSTEP -s ../../../trunk/examples/settings/gemcutter/SleepMap-ConcreteSmt-VarAbsGlobalSyntactic.epf --traceabstraction.coinflip.probability.value 20 --traceabstraction.coinflip.random.seed 0 --traceabstraction.coinflip.budget.determination.mode FALLBACK' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml OUT OF MEMORY 244.73 196.39 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 545.62 292.20 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 48.72 29.04 None svcomp/pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml svcomp/pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.23 9.41 None svcomp/pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.12 9.44 None svcomp/weaver/parallel-ticket-3.wvr.yml true 18.12 10.78 None svcomp/weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 131.79 96.25 None svcomp/weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 97.71 62.94 None svcomp/goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 16.90 11.05 None svcomp/ldv-races/race-4_2-thread_local_vars.yml OUT OF MEMORY 87.40 63.85 None svcomp/pthread-atomic/qrcu-2.yml true 135.63 95.86 None svcomp/pthread-atomic/read_write_lock-1b.yml true 38.74 29.11 None svcomp/pthread-ext/14_spin2003.yml OUT OF MEMORY 216.81 127.60 None svcomp/pthread-ext/18_read_write_lock.yml true 8.66 5.49 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 612.69 330.82 None svcomp/pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 13.45 9.21 None svcomp/pthread-wmm/mix043.oepc.yml true 12.21 9.14 None svcomp/weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 122.31 80.80 None svcomp/weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 142.71 94.51 None svcomp/goblint-regression/06-symbeq_07-tricky_address2.yml true 36.22 20.70 None svcomp/ldv-races/race-2_3b-container_of.yml TIMEOUT 601.68 475.02 None svcomp/ldv-races/race-2_5-container_of.yml true 185.04 139.88 None svcomp/pthread-atomic/read_write_lock-2.yml true 255.49 178.78 None svcomp/pthread-wmm/rfi006_power.oepc.yml TIMEOUT 601.41 536.28 None svcomp/weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 250.25 153.64 None svcomp/weaver/popl20-counter-fun.wvr.yml true 46.72 47.69 None svcomp/weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 136.14 91.30 None svcomp/weaver/unroll-3.wvr.yml OUT OF MEMORY 150.67 113.23 None concurrent/bpl/POPL2023/acq-work-3threads.bpl OUT OF MEMORY 217.71 150.39 None concurrent/bpl/POPL2023/acq-work-4threads.bpl OUT OF MEMORY 316.87 249.65 None concurrent/bpl/POPL2023/acq-work-5threads.bpl OUT OF MEMORY 313.14 199.34 None concurrent/bpl/POPL2023/acq-work-6threads.bpl TIMEOUT 602.45 369.53 None concurrent/bpl/POPL2023/acq-work-constants.bpl OUT OF MEMORY 220.04 155.53 None concurrent/bpl/POPL2023/acq-work.bpl OUT OF MEMORY 314.00 269.45 None concurrent/bpl/POPL2023/array-sum-with-log-3threads.bpl true 38.39 27.31 None concurrent/bpl/POPL2023/array-sum-with-log-4threads.bpl OUT OF MEMORY 217.16 136.80 None concurrent/bpl/POPL2023/array-sum-with-log-5threads.bpl OUT OF MEMORY 484.25 274.57 None concurrent/bpl/POPL2023/array-sum-with-log-6threads.bpl OUT OF MEMORY 573.57 318.93 None concurrent/bpl/POPL2023/array-sum-with-log.bpl true 27.26 15.61 None concurrent/bpl/POPL2023/count0-countEven-sample-abs.bpl OUT OF MEMORY 280.23 168.79 None concurrent/bpl/POPL2023/incr-decr-zero.bpl TIMEOUT 602.82 514.98 None concurrent/bpl/POPL2023/map-aggr-update1-2modifiers.bpl TIMEOUT 600.96 381.78 None concurrent/bpl/POPL2023/map-aggr-update1-3modifiers.bpl TIMEOUT 601.69 357.86 None concurrent/bpl/POPL2023/map-aggr-update1-4modifiers.bpl TIMEOUT 601.66 348.46 None concurrent/bpl/POPL2023/map-aggr-update1-otherloopbounds.bpl true 89.49 68.40 None concurrent/bpl/POPL2023/map-aggr-update1.bpl OUT OF MEMORY 188.91 156.69 None concurrent/bpl/POPL2023/map-aggr-update2-otherloopbounds.bpl true 193.67 143.21 None concurrent/bpl/POPL2023/map-aggr-update2.bpl OUT OF MEMORY 153.12 107.78 None concurrent/bpl/POPL2023/map-aggr-update3.bpl true 5.65 4.26 None concurrent/bpl/POPL2023/map-comp.bpl TIMEOUT (ERROR: EXCEPTION) 604.12 541.16 None concurrent/bpl/POPL2023/map-incr-decr.bpl TIMEOUT (ERROR: EXCEPTION) 601.17 529.89 None concurrent/bpl/POPL2023/map-incr-split.bpl TIMEOUT 600.47 543.35 None concurrent/bpl/POPL2023/max-tailsum2.bpl true 5.12 3.60 None concurrent/bpl/POPL2023/max-tailsum3.bpl true 6.61 4.59 None concurrent/bpl/POPL2023/max-tailsum4.bpl true 9.32 5.95 None concurrent/bpl/POPL2023/max-tailsum5.bpl true 46.40 31.10 None concurrent/bpl/POPL2023/min-max-sample-2.bpl true 270.19 253.15 None concurrent/bpl/POPL2023/min-max-sample-abs-2.bpl OUT OF MEMORY 491.53 434.77 None concurrent/bpl/POPL2023/min-max-sample-abs-nonatomic.bpl OUT OF MEMORY 533.18 316.01 None concurrent/bpl/POPL2023/min-max-sample-abs.bpl OUT OF MEMORY 183.51 140.58 None concurrent/bpl/POPL2023/min-max-sample-with_locks.bpl true 8.91 5.71 None concurrent/bpl/POPL2023/min-max-sample.bpl true 6.42 4.52 None concurrent/bpl/POPL2023/min-max-split-sample.bpl true 39.72 26.22 None concurrent/bpl/POPL2023/min2-max2-sample.bpl TIMEOUT 601.94 382.18 None concurrent/bpl/POPL2023/motivating-slowitp.bpl OUT OF MEMORY 307.49 191.77 None concurrent/bpl/POPL2023/motivating.bpl false(unreach-call) 5.01 3.32 None concurrent/bpl/POPL2023/optimistic-concurrency1.bpl TIMEOUT 601.93 540.58 None concurrent/bpl/POPL2023/optimistic-concurrency2.bpl true 7.00 4.87 None concurrent/bpl/POPL2023/readers_writer.bpl true 8.91 5.81 None concurrent/bpl/POPL2023/sum-print.bpl TIMEOUT 601.00 557.07 None concurrent/bpl/POPL2023/sum-print2.bpl TIMEOUT 600.85 496.53 None concurrent/bpl/POPL2023/sum-rwlock.bpl TIMEOUT 601.17 462.26 None concurrent/bpl/POPL2023/sum2_diff_incr_decr.bpl TIMEOUT 601.32 519.06 None concurrent/bpl/POPL2023/sum_diff_incr_decr.bpl TIMEOUT 600.34 556.27 None concurrent/bpl/POPL2023/sumsumbank.bpl true 11.29 7.07 None concurrent/bpl/POPL2023/sumsuminc.bpl TIMEOUT 601.43 467.60 None concurrent/bpl/POPL2023/sumsumsampleabs.bpl TIMEOUT 601.03 590.15 None concurrent/bpl/POPL2023/sumsumsampleabs2.bpl TIMEOUT 601.08 587.75 None concurrent/bpl/POPL2023/work-steal1.bpl true 5.26 4.02 None concurrent/bpl/POPL2023/work-steal2.bpl true 286.43 252.17 None ----------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 14 done 21485.67 351478.04 - Statistics: 1133 Files correct: 193 correct true: 146 correct false: 47 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 676 Score: 339 (max: 727)