BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency-insufficient-separately.xml name: concurrency-insufficient-separately run sets: Automizer-PN.SVCOMP-Concurrency-NoOverflow, Automizer-PN.Before.SVCOMP-Concurrency-NoOverflow, Automizer-PN.After.SVCOMP-Concurrency-NoOverflow date: Sat, 2023-08-26 20:35:02 CEST tool: ULTIMATE Automizer 0.2.3-ac9dbd00 tool executable: ./Ultimate.py options: --force-no-wrapper parallel runs: 7 resource limits: - memory: 16000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 16000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-5.15.60-1-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 ------------------------------------------------------------ Automizer-PN.SVCOMP-Concurrency-NoOverflow Run set 1 of 3 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-VariableLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 95.09 82.30 None pthread/bigshot_s2.yml true 98.78 90.88 None pthread/lazy01.yml false(unreach-call) 16.74 9.18 None pthread/queue.yml TIMEOUT (ERROR: EXCEPTION) 901.28 770.54 None pthread/queue_longer.yml TIMEOUT (ERROR: EXCEPTION) 901.22 781.19 None pthread/queue_longest.yml TIMEOUT (ERROR: EXCEPTION) 901.26 775.33 None pthread/queue_ok.yml TIMEOUT 902.36 860.11 None pthread/queue_ok_longer.yml TIMEOUT 902.00 848.13 None pthread/queue_ok_longest.yml TIMEOUT 902.09 846.06 None pthread/singleton.yml false(unreach-call) 12.08 7.35 None pthread/singleton_with-uninit-problems.yml true 13.38 7.82 None pthread/stack-1.yml TIMEOUT 902.39 854.60 None pthread/stack-2.yml false(unreach-call) 47.09 25.86 None pthread/stack_longer-1.yml false(unreach-call) 41.04 22.66 None pthread/stack_longer-2.yml TIMEOUT 901.37 818.53 None pthread/stack_longest-1.yml false(unreach-call) 41.27 23.08 None pthread/stack_longest-2.yml TIMEOUT 901.90 780.86 None pthread/stateful01-1.yml false(unreach-call) 19.24 10.61 None pthread/stateful01-2.yml true 20.16 11.15 None pthread/sync01.yml true 19.34 10.96 None pthread/triangular-1.yml true 50.65 32.66 None pthread/triangular-2.yml false(unreach-call) 38.20 22.07 None pthread/triangular-longer-1.yml true 232.89 204.16 None pthread/triangular-longer-2.yml false(unreach-call) 85.55 59.81 None pthread/triangular-longest-1.yml true 528.71 475.85 None pthread/triangular-longest-2.yml false(unreach-call) 466.36 411.74 None pthread-atomic/dekker.yml true 14.99 8.20 None pthread-atomic/lamport.yml true 21.18 11.23 None pthread-atomic/peterson.yml true 15.00 8.03 None pthread-atomic/read_write_lock-1.yml true 31.24 19.80 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 51.97 31.34 None pthread-atomic/szymanski.yml true 12.53 7.25 None pthread-atomic/time_var_mutex.yml true 12.90 7.95 None pthread-ext/01b_inc.yml OUT OF MEMORY 460.35 337.58 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 8.79 4.92 None pthread-ext/03_incdec.yml OUT OF MEMORY 281.88 167.58 None pthread-ext/04_incdec_cas.yml TIMEOUT 900.91 879.28 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 169.59 115.70 None pthread-ext/11_fmaxsymopt.yml TIMEOUT 910.12 603.62 None pthread-ext/14_spin2003.yml OUT OF MEMORY 99.82 70.97 None pthread-ext/18_read_write_lock.yml true 13.32 7.33 None pthread-ext/26_stack_cas.yml OUT OF MEMORY 334.77 211.51 None pthread-ext/26_stack_cas_longer-1.yml OUT OF MEMORY 374.21 230.33 None pthread-ext/26_stack_cas_longer-2.yml OUT OF MEMORY 197.49 136.55 None pthread-ext/26_stack_cas_longest-1.yml OUT OF MEMORY 265.77 180.97 None pthread-ext/26_stack_cas_longest-2.yml OUT OF MEMORY 342.17 218.45 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 20.76 11.45 None pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 324.58 214.07 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 375.11 221.81 None pthread-ext/35_double_lock_p3_vs.yml TIMEOUT 906.18 613.24 None pthread-ext/36_stack_cas_p0_vs_concur.yml OUT OF MEMORY 168.80 133.35 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 163.97 117.10 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 327.91 193.27 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 543.55 327.09 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 247.62 183.43 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 613.62 367.66 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 531.10 333.50 None pthread-wmm/mix000.oepc.yml false(unreach-call) 18.36 10.22 None pthread-wmm/mix000.opt.yml false(unreach-call) 17.08 9.40 None pthread-wmm/mix001.oepc.yml false(unreach-call) 30.11 16.05 None pthread-wmm/mix001.opt.yml false(unreach-call) 24.91 13.61 None pthread-wmm/mix002.oepc.yml false(unreach-call) 26.43 14.44 None pthread-wmm/mix002.opt.yml false(unreach-call) 36.70 19.15 None pthread-wmm/mix003.oepc.yml false(unreach-call) 27.85 15.22 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 27.96 14.94 None pthread-wmm/mix004.oepc.yml false(unreach-call) 72.10 51.52 None pthread-wmm/mix004.opt.yml false(unreach-call) 53.91 32.15 None pthread-wmm/mix005.opt.yml false(unreach-call) 58.06 41.93 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 182.64 150.48 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 66.23 47.28 None pthread-wmm/mix006.opt.yml false(unreach-call) 25.17 14.31 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 28.04 16.10 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 34.17 19.38 None pthread-wmm/mix007.oepc.yml false(unreach-call) 109.53 86.70 None pthread-wmm/mix007.opt.yml false(unreach-call) 54.17 37.20 None pthread-wmm/mix008.opt.yml false(unreach-call) 82.96 56.35 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 152.13 124.60 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 53.79 31.32 None pthread-wmm/mix009.oepc.yml false(unreach-call) 16.81 9.45 None pthread-wmm/mix009.opt.yml false(unreach-call) 24.68 13.35 None pthread-wmm/mix010.oepc.yml false(unreach-call) 28.72 15.39 None pthread-wmm/mix010.opt.yml false(unreach-call) 22.82 12.54 None pthread-wmm/mix011.opt.yml false(unreach-call) 37.92 20.21 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 27.95 15.06 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 32.82 17.32 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 21.76 11.74 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 16.71 9.16 None pthread-wmm/mix013.oepc.yml false(unreach-call) 83.49 58.76 None pthread-wmm/mix013.opt.yml false(unreach-call) 35.61 20.35 None pthread-wmm/mix014.opt.yml false(unreach-call) 65.67 40.21 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 86.16 61.31 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 73.78 46.64 None pthread-wmm/mix015.oepc.yml false(unreach-call) 34.11 18.07 None pthread-wmm/mix015.opt.yml false(unreach-call) 24.03 13.20 None pthread-wmm/mix016.oepc.yml false(unreach-call) 20.18 10.95 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 21.78 12.04 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 29.55 15.88 None pthread-wmm/mix017.oepc.yml false(unreach-call) 40.70 24.93 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 42.61 24.09 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 45.84 25.22 None pthread-wmm/mix018.opt.yml false(unreach-call) 35.36 22.61 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 80.34 54.44 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 43.47 23.46 None pthread-wmm/mix019.opt.yml false(unreach-call) 23.43 12.71 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 26.77 14.19 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 29.72 16.05 None pthread-wmm/mix020.oepc.yml false(unreach-call) 69.64 51.75 None pthread-wmm/mix020.opt.yml false(unreach-call) 50.56 29.84 None pthread-wmm/mix021.opt.yml false(unreach-call) 59.83 37.05 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 105.74 79.07 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 30.12 16.96 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 20.77 11.28 None pthread-wmm/mix022_tso.yml false(unreach-call) 25.89 13.99 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 119.75 98.25 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 105.49 78.17 None pthread-wmm/mix023_tso.yml false(unreach-call) 110.23 74.33 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 29.05 15.60 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 28.74 15.50 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 25.38 14.40 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 33.09 17.48 None pthread-wmm/mix026.oepc.yml false(unreach-call) 146.46 111.03 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 64.59 47.03 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 51.19 30.28 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 85.29 58.01 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 57.86 37.02 None pthread-wmm/mix027_tso.yml false(unreach-call) 112.17 76.17 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 32.76 17.29 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 34.52 19.85 None pthread-wmm/mix028_tso.yml false(unreach-call) 21.57 11.72 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 77.29 51.99 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 30.29 17.01 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 79.92 60.65 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 109.27 74.31 None pthread-wmm/mix030_tso.yml false(unreach-call) 67.29 42.21 None pthread-wmm/mix031.oepc.yml false(unreach-call) 15.64 9.55 None pthread-wmm/mix031.opt.yml false(unreach-call) 15.81 9.27 None pthread-wmm/mix032.oepc.yml false(unreach-call) 31.97 16.78 None pthread-wmm/mix032.opt.yml false(unreach-call) 21.27 12.52 None pthread-wmm/mix033.opt.yml false(unreach-call) 29.20 15.73 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 35.68 19.24 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 22.71 13.25 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 21.90 11.64 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 20.19 11.06 None pthread-wmm/mix035.oepc.yml false(unreach-call) 33.37 18.11 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 32.21 17.05 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 18.69 10.99 None pthread-wmm/mix036.oepc.yml false(unreach-call) 92.44 63.74 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 36.12 21.94 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 44.61 24.24 None pthread-wmm/mix037.opt.yml false(unreach-call) 38.00 24.33 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 83.19 55.50 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 99.47 68.66 None pthread-wmm/mix038.opt.yml false(unreach-call) 29.60 15.71 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.25 13.50 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 63.55 36.25 None pthread-wmm/mix039.oepc.yml false(unreach-call) 80.81 57.30 None pthread-wmm/mix039.opt.yml false(unreach-call) 37.03 23.52 None pthread-wmm/mix040.opt.yml false(unreach-call) 84.55 62.57 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 150.55 122.28 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 129.55 94.15 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.50 11.96 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 25.68 13.89 None pthread-wmm/mix042.oepc.yml false(unreach-call) 32.92 17.54 None pthread-wmm/mix042.opt.yml false(unreach-call) 25.98 14.27 None pthread-wmm/mix043.oepc.yml false(unreach-call) 71.78 45.90 None pthread-wmm/mix043.opt.yml false(unreach-call) 39.38 21.48 None pthread-wmm/mix044.opt.yml false(unreach-call) 41.30 22.07 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 93.75 71.15 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 115.01 79.79 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 26.82 14.21 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 55.90 29.98 None pthread-wmm/mix046.oepc.yml false(unreach-call) 142.03 110.18 None pthread-wmm/mix046.opt.yml false(unreach-call) 38.63 20.52 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 215.91 175.07 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 91.43 63.30 None pthread-wmm/mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 18.80 10.54 None pthread-wmm/mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 25.47 13.77 None pthread-wmm/mix050.yml false(unreach-call) 33.84 19.62 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 70.53 45.72 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 25.19 14.31 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 41.70 23.02 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 23.21 12.52 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 18.18 10.57 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 27.97 15.04 None pthread-wmm/mix053.opt.yml false(unreach-call) 39.03 21.40 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 58.29 41.54 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 70.83 42.59 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 15.40 8.57 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 21.82 11.82 None pthread-wmm/mix055.opt.yml false(unreach-call) 65.44 45.37 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 93.66 69.79 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 51.07 27.20 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.85 13.25 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 51.99 32.77 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 255.27 204.11 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 906.71 820.36 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 27.86 14.61 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 22.39 12.06 None pthread-wmm/rfi000_tso.yml true 29.22 15.57 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 15.66 9.26 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 19.10 10.73 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 53.90 31.17 None pthread-wmm/rfi002_tso.yml true 105.03 63.66 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.35 9.10 None pthread-wmm/rfi003_tso.yml true 36.40 19.17 None pthread-wmm/rfi004.yml false(unreach-call) 15.49 8.76 None pthread-wmm/rfi005.yml false(unreach-call) 13.48 7.92 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 29.44 16.09 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 47.62 26.08 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 34.88 19.64 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 25.86 14.86 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 20.99 11.29 None pthread-wmm/rfi007_tso.yml false(unreach-call) 18.75 10.65 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 15.55 9.10 None pthread-wmm/rfi008.opt.yml false(unreach-call) 22.53 11.96 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 30.36 16.52 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 20.96 11.42 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 19.97 12.19 None pthread-wmm/rfi010.yml false(unreach-call) 23.12 12.41 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 59.45 34.28 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 37.12 22.19 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 23.01 12.27 None pthread-wmm/safe000_rmo.yml false(unreach-call) 41.37 25.28 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 29.08 16.68 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 44.82 25.51 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 21.24 12.58 None pthread-wmm/safe001_tso.yml true 23.59 12.37 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 40.53 25.44 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 38.97 21.01 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 32.81 20.01 None pthread-wmm/safe002_tso.yml true 23.14 12.27 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 71.13 42.54 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 53.75 32.16 None pthread-wmm/safe003_tso.yml true 21.02 11.35 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 26.95 15.41 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 33.37 19.12 None pthread-wmm/safe004_tso.yml true 22.58 12.20 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 29.25 17.31 None pthread-wmm/safe005_tso.yml true 12.97 7.07 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 29.87 16.68 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 27.33 15.15 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.05 8.08 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 25.19 14.35 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 26.02 16.71 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 27.62 15.43 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.88 9.06 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 24.43 14.05 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 33.62 18.05 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 44.38 24.65 None pthread-wmm/safe008_tso.yml true 23.31 12.40 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 36.44 21.67 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 26.43 15.30 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.42 10.97 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 39.59 22.54 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 28.58 15.95 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 26.24 14.26 None pthread-wmm/safe010_tso.yml true 15.69 8.55 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 53.52 28.49 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 31.83 18.00 None pthread-wmm/safe011_tso.yml true 16.19 8.81 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 35.88 20.23 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 28.67 16.38 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 25.21 13.33 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 18.78 11.16 None pthread-wmm/safe012_tso.yml true 12.61 7.53 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 24.78 13.24 None pthread-wmm/safe013_tso.yml true 17.17 9.28 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 25.90 14.90 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 26.91 15.26 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.56 9.21 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 28.44 15.96 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 54.81 30.43 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 21.21 13.53 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 65.17 36.14 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 21.72 11.58 None pthread-wmm/safe015_rmo.yml false(unreach-call) 56.35 32.42 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 87.17 63.70 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 172.04 135.60 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 38.41 20.93 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 56.62 34.73 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 43.87 24.01 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 70.97 44.47 None pthread-wmm/safe017_tso.yml true 20.37 10.85 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 32.78 18.13 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 59.34 31.88 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.45 11.16 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 24.64 13.80 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 33.87 18.58 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 41.55 23.38 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 176.04 122.25 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 39.79 23.01 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 42.11 25.15 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 204.85 152.37 None pthread-wmm/safe020_power.yml false(unreach-call) 56.58 30.26 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.50 10.92 None pthread-wmm/safe020_rmo.yml false(unreach-call) 34.77 19.58 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 33.25 17.80 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 37.67 20.09 None pthread-wmm/safe021_tso.yml true 13.77 7.81 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 20.17 10.66 None pthread-wmm/safe022_tso.yml true 11.36 6.45 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 69.33 36.80 None pthread-wmm/safe023_tso.yml true 13.14 7.63 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.75 12.20 None pthread-wmm/safe024_tso.yml true 21.74 11.62 None pthread-wmm/safe025_power.yml false(unreach-call) 23.56 16.54 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.37 9.31 None pthread-wmm/safe025_rmo.yml false(unreach-call) 40.99 23.78 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 30.02 15.86 None pthread-wmm/safe026_tso.yml true 13.22 7.85 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 36.83 21.96 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 116.05 74.02 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 25.46 14.21 None pthread-wmm/safe027_rmo.yml false(unreach-call) 48.41 26.62 None pthread-wmm/safe028_power.yml false(unreach-call) 31.46 18.21 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.22 9.22 None pthread-wmm/safe028_rmo.yml false(unreach-call) 30.22 16.99 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 35.15 18.59 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 28.82 15.10 None pthread-wmm/safe029_tso.yml true 11.22 6.19 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 35.92 20.72 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 35.77 20.20 None pthread-wmm/safe030_tso.yml true 15.95 8.69 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.44 16.81 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 39.38 20.91 None pthread-wmm/safe031_tso.yml true 15.70 9.08 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 106.81 77.71 None pthread-wmm/safe032_tso.yml true 15.41 8.57 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 21.22 11.63 None pthread-wmm/safe033_tso.yml true 12.70 8.05 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 26.89 14.36 None pthread-wmm/safe034_tso.yml true 19.79 10.67 None pthread-wmm/safe035_power.yml true 84.36 50.31 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 15.71 9.50 None pthread-wmm/safe036.yml true 14.87 8.13 None pthread-wmm/safe037.yml true 19.00 10.16 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 33.80 19.05 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 41.77 22.87 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.81 8.78 None pthread-wmm/thin002_rmo.yml false(unreach-call) 66.23 42.46 None pthread-lit/qw2004-2b.yml false(unreach-call) 13.50 8.03 None ldv-races/race-1_1-join.yml true 12.66 8.07 None ldv-races/race-1_2-join.yml false(unreach-call) 16.57 9.13 None ldv-races/race-1_3-join.yml false(unreach-call) 16.75 9.36 None ldv-races/race-2_1-container_of.yml false(no-overflow) 25.15 16.77 None ldv-races/race-2_2-container_of.yml false(no-overflow) 25.14 15.93 None ldv-races/race-2_3-container_of.yml false(no-overflow) 27.31 17.22 None ldv-races/race-2_4-container_of.yml false(no-overflow) 29.37 17.73 None ldv-races/race-2_5-container_of.yml false(no-overflow) 21.43 14.22 None ldv-races/race-3_1-container_of-global.yml false(no-overflow) 29.52 18.43 None ldv-races/race-3_2-container_of-global.yml false(no-overflow) 29.70 18.94 None ldv-races/race-4_1-thread_local_vars.yml true 25.04 13.89 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 32.27 17.13 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 32.88 19.06 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 405.18 257.58 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 901.98 598.69 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT 902.27 722.96 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 901.51 735.90 None pthread-complex/bounded_buffer.yml OUT OF MEMORY 696.67 632.81 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.60 881.14 None pthread-complex/safestack_relacy.yml OUT OF MEMORY 194.16 135.19 None pthread-complex/workstealqueue_mutex-2.yml OUT OF MEMORY 407.76 309.34 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 392.98 366.56 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 441.79 400.93 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml TIMEOUT 912.92 687.41 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml TIMEOUT (ERROR: EXCEPTION) 901.77 858.56 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT (ERROR: EXCEPTION) 902.32 837.34 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml TIMEOUT 901.92 847.76 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 901.08 845.34 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 601.78 562.56 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 635.82 597.98 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml TIMEOUT 901.71 852.12 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 571.57 553.68 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 900.73 864.20 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml TIMEOUT 900.79 848.34 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml TIMEOUT 901.23 840.26 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 563.59 522.16 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 499.63 455.55 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 380.41 364.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml TIMEOUT 900.78 847.08 None pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 901.82 759.80 None pthread-C-DAC/pthread-demo-datarace-3.yml TIMEOUT 913.09 769.78 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 5.80 3.28 None pthread-C-DAC/pthread-numerical-integration.yml unknown 5.88 3.30 None pthread-divine/ring_2w1r-1.yml OUT OF MEMORY 139.63 105.11 None pthread-divine/tls_basic.yml unknown 5.47 3.28 None pthread-divine/tls_destructor_worker.yml unknown 5.46 3.16 None goblint-regression/04-mutex_02-simple_nr.yml true 10.04 6.03 None goblint-regression/04-mutex_04-munge_nr.yml true 9.88 5.96 None goblint-regression/04-mutex_05-lockfuns.yml true 9.30 5.68 None goblint-regression/04-mutex_07-ps_nr.yml true 14.60 8.01 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 12.88 7.72 None goblint-regression/04-mutex_12-ptr_nr.yml true 16.05 8.96 None goblint-regression/04-mutex_15-funarg_nr.yml true 14.90 8.19 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 12.98 7.71 None goblint-regression/04-mutex_17a-ps_add1_nr.yml false(no-overflow) 13.96 7.72 None goblint-regression/04-mutex_18-glob_guards.yml true 6.96 4.22 None goblint-regression/04-mutex_22-deref_read.yml true 8.27 4.76 None goblint-regression/04-mutex_28-base_nr.yml true 10.08 6.10 None goblint-regression/04-mutex_36-trylock_nr-overflow.yml false(no-overflow) 33.91 22.38 None goblint-regression/04-mutex_36-trylock_nr.yml OUT OF MEMORY 459.11 283.90 None goblint-regression/04-mutex_41-pt_rwlock.yml true 10.81 6.26 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 11.96 7.05 None goblint-regression/04-mutex_43-thread_create_nr.yml true 10.92 6.49 None goblint-regression/04-mutex_46-escape_nr.yml true 17.39 9.31 None goblint-regression/04-mutex_46a-escape_nr.yml false(no-overflow) 11.13 6.53 None goblint-regression/04-mutex_51-mutex_ptr.yml true 15.99 8.76 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 10.28 6.30 None goblint-regression/05-lval_ls_02-idx_nr.yml true 15.20 8.70 None goblint-regression/05-lval_ls_04-fld_nr.yml true 11.01 6.52 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 12.56 7.56 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 902.10 849.98 None goblint-regression/06-symbeq_05-funloop_hard2.yml TIMEOUT 901.74 858.68 None goblint-regression/06-symbeq_06-tricky_address1.yml true 15.61 9.53 None goblint-regression/06-symbeq_07-tricky_address2.yml true 14.90 9.29 None goblint-regression/06-symbeq_08-tricky_address3.yml true 15.63 9.84 None goblint-regression/06-symbeq_11-equ_nr.yml true 10.05 6.17 None goblint-regression/06-symbeq_11a-equ_nr.yml false(no-overflow) 10.99 6.36 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 7.22 4.46 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 15.16 8.76 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 14.54 9.06 None goblint-regression/09-regions_02-list_nr.yml true 6.92 4.08 None goblint-regression/09-regions_04-list2_nr.yml true 119.81 110.30 None goblint-regression/09-regions_06-ptra_nr.yml true 7.70 4.48 None goblint-regression/09-regions_17-arrayloop_nr.yml true 19.83 12.59 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 902.15 884.88 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 902.28 867.58 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 902.19 858.35 None goblint-regression/10-synch_01-thread_unique.yml true 8.84 4.88 None goblint-regression/10-synch_03-two_unique.yml true 8.64 4.84 None goblint-regression/13-privatized_01-priv_nr_true.yml true 19.06 10.11 None goblint-regression/13-privatized_03-priv_inv.yml true 15.61 8.63 None goblint-regression/13-privatized_04-priv_multi_true.yml TIMEOUT 922.93 659.73 None goblint-regression/13-privatized_18-first-reads_true.yml true 13.09 7.29 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 12.30 6.80 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 12.14 6.65 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 12.43 6.81 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 12.39 6.78 None goblint-regression/13-privatized_19-publish-precision_true.yml true 13.69 7.69 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 12.67 6.96 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 13.24 7.37 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 13.85 7.48 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 13.33 7.25 None goblint-regression/13-privatized_20-publish-regression_true.yml true 15.06 8.33 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 22.07 12.08 None goblint-regression/13-privatized_25-struct_nr_true.yml true 17.12 9.39 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 26.21 14.14 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 18.56 10.36 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 14.35 8.07 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 15.36 8.39 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 16.23 9.01 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 15.21 8.39 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 18.03 9.67 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 13.96 7.64 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 13.10 7.23 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 14.26 7.74 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 13.47 7.44 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 14.22 7.75 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 12.96 7.05 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 14.18 7.79 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 14.64 8.06 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 14.26 7.82 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 13.34 7.33 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 11.57 6.41 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 12.58 6.89 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 14.96 8.53 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 12.97 6.97 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 12.12 6.69 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 10.87 5.97 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 16.21 9.18 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 15.24 8.68 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 16.18 9.06 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 902.60 763.75 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml TIMEOUT 901.23 788.31 None goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 220.35 142.40 None goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 259.97 174.95 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 195.39 121.82 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 289.67 168.22 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml OUT OF MEMORY 333.82 206.55 None goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 249.45 166.14 None goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 117.72 85.92 None goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 340.69 215.66 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 296.77 175.86 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 158.01 104.63 None goblint-regression/28-race_reach_11-ptr_racing.yml TIMEOUT 906.54 785.54 None goblint-regression/28-race_reach_12-ptr_racefree.yml OUT OF MEMORY 287.39 216.10 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 282.61 189.58 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 403.38 244.39 None goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 287.00 169.66 None goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 283.94 172.35 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 5.57 3.03 None goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 250.27 167.05 None goblint-regression/28-race_reach_27-funptr_racing.yml OUT OF MEMORY 186.86 120.34 None goblint-regression/28-race_reach_28-funptr_racefree.yml OUT OF MEMORY 409.92 258.68 None goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 309.24 187.65 None goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 328.87 196.44 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 6.66 3.68 None goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 312.93 196.52 None goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 181.23 115.63 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 13.81 8.03 None goblint-regression/28-race_reach_46-escape_racefree.yml true 14.19 8.32 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 250.97 177.87 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 653.81 419.79 None goblint-regression/28-race_reach_61-invariant_racing.yml OUT OF MEMORY 253.37 169.15 None goblint-regression/28-race_reach_70-funloop_racefree.yml OUT OF MEMORY 198.85 153.35 None goblint-regression/28-race_reach_71-funloop_racing.yml OUT OF MEMORY 309.28 195.04 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml OUT OF MEMORY 151.94 107.71 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml OUT OF MEMORY 218.65 152.91 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 222.55 159.07 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 215.16 133.00 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 826.83 541.19 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml TIMEOUT 904.81 614.14 None goblint-regression/28-race_reach_78-equ_racing-overflow.yml false(no-overflow) 19.03 11.93 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 607.27 422.04 None goblint-regression/28-race_reach_79-equ_racefree-overflow.yml false(no-overflow) 25.17 14.59 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 853.81 549.68 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 234.93 145.61 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 166.24 113.20 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 339.48 208.57 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 260.78 177.90 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 291.03 181.97 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.74 888.90 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.84 880.09 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 902.89 847.95 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 901.83 886.06 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 901.91 880.93 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 902.05 864.75 None goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 263.95 167.20 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 12.99 7.22 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 12.06 6.65 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 14.13 7.87 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 13.89 7.50 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 39.71 21.39 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true.yml false(no-overflow) 21.54 12.00 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 30.47 17.21 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 11.02 6.09 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 11.21 6.15 None weaver/array-eq-symm.wvr.yml TIMEOUT 902.41 813.17 None weaver/array-eq-trans.wvr.yml TIMEOUT 901.83 822.70 None weaver/bench-exp1x3.wvr.yml TIMEOUT 901.72 881.24 None weaver/bench-exp2x3.wvr.yml TIMEOUT 901.44 887.17 None weaver/bench-exp2x4.wvr.yml TIMEOUT 901.67 892.98 None weaver/bench-exp2x6.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.14 866.04 None weaver/bench-exp2x9.wvr.yml TIMEOUT 901.73 881.97 None weaver/bench-exp3x3-opt.wvr.yml TIMEOUT 902.16 863.70 None weaver/bench-exp3x3.wvr.yml TIMEOUT 902.58 863.08 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 166.22 122.54 None weaver/chl-array-int-symm.wvr.yml TIMEOUT 901.72 836.00 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 149.33 115.53 None weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 900.93 778.62 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 900.41 811.43 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 900.67 803.42 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 900.53 817.12 None weaver/chl-collitem-subst.wvr.yml TIMEOUT 901.39 816.51 None weaver/chl-collitem-symm.wvr.yml true 94.33 62.21 None weaver/chl-collitem-trans.wvr.yml true 545.32 493.93 None weaver/chl-exp-term-subst.wvr.yml true 66.10 36.31 None weaver/chl-exp-term-symm.wvr.yml true 32.87 18.59 None weaver/chl-file-item-subst.wvr.yml true 71.08 40.31 None weaver/chl-file-item-symm.wvr.yml true 37.24 21.13 None weaver/chl-file-item-trans.wvr.yml true 50.24 28.47 None weaver/chl-match-subst.wvr.yml true 104.87 62.20 None weaver/chl-match-symm.wvr.yml true 53.43 33.12 None weaver/chl-match-trans.wvr.yml true 91.59 56.12 None weaver/chl-name-comparator-subst.wvr.yml TIMEOUT 901.64 773.98 None weaver/chl-name-comparator-symm.wvr.yml TIMEOUT 900.75 748.03 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 787.02 658.76 None weaver/chl-node-subst.wvr.yml TIMEOUT 901.38 840.05 None weaver/chl-node-symm.wvr.yml TIMEOUT 901.00 780.35 None weaver/chl-node-trans.wvr.yml TIMEOUT 901.86 810.43 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 241.24 202.00 None weaver/chl-nzb-file-symm.wvr.yml TIMEOUT 901.29 832.01 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 261.73 199.70 None weaver/chl-poker-hand-subst.wvr.yml OUT OF MEMORY 598.55 491.47 None weaver/chl-poker-hand-symm.wvr.yml ERROR: EXCEPTION 575.32 461.98 None weaver/chl-poker-hand-trans.wvr.yml OUT OF MEMORY 898.08 754.05 None weaver/chl-simpl-str-subst.wvr.yml true 42.08 24.77 None weaver/chl-simpl-str-symm.wvr.yml true 29.78 16.63 None weaver/chl-simpl-str-trans.wvr.yml true 44.30 25.14 None weaver/chl-sre-subst.wvr.yml true 20.86 11.34 None weaver/chl-sre-symm.wvr.yml true 11.43 6.39 None weaver/chl-sre-trans.wvr.yml true 12.16 6.99 None weaver/chl-time-subst.wvr.yml TIMEOUT 900.86 852.83 None weaver/chl-time-symm.wvr.yml true 39.78 23.86 None weaver/chl-time-trans.wvr.yml true 102.22 67.11 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 219.70 174.31 None weaver/chl-word-symm.wvr.yml TIMEOUT 901.79 765.73 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 150.53 116.81 None weaver/clever.wvr.yml TIMEOUT 902.65 839.57 None weaver/fibonacci.wvr.yml TIMEOUT 901.84 791.99 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 901.39 836.56 None weaver/mult-comm.wvr.yml TIMEOUT 901.14 876.37 None weaver/mult-dist.wvr.yml TIMEOUT 901.28 788.78 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 902.23 797.15 None weaver/parallel-bakery-2.wvr.yml true 25.25 13.46 None weaver/parallel-bakery-3.wvr.yml TIMEOUT 901.77 678.81 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 429.02 262.16 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 70.33 45.72 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 348.88 265.43 None weaver/parallel-bluetooth.wvr.yml true 16.83 9.59 None weaver/parallel-lamport.wvr.yml true 97.50 64.24 None weaver/parallel-min-max-1.wvr.yml true 38.65 23.54 None weaver/parallel-misc-1.wvr.yml TIMEOUT 901.05 816.92 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 13.55 8.75 None weaver/parallel-misc-2-unrolled.wvr.yml true 14.62 8.66 None weaver/parallel-misc-2.wvr.yml TIMEOUT 901.83 874.46 None weaver/parallel-misc-3-extended.wvr.yml TIMEOUT 903.03 845.18 None weaver/parallel-misc-3.wvr.yml TIMEOUT 901.17 836.34 None weaver/parallel-misc-4.wvr.yml TIMEOUT 901.19 828.34 None weaver/parallel-misc-5.wvr.yml TIMEOUT 904.29 805.06 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 905.35 649.99 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 208.04 166.91 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 333.75 245.86 None weaver/parallel-parallel-sum-equiv.wvr.yml OUT OF MEMORY 216.04 176.52 None weaver/parallel-simple-equiv.wvr.yml true 16.20 8.95 None weaver/parallel-ticket-2.wvr.yml true 17.61 9.65 None weaver/parallel-ticket-3.wvr.yml true 30.98 16.53 None weaver/parallel-ticket-4.wvr.yml true 63.38 36.12 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 158.84 111.41 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 253.92 145.27 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 167.98 102.15 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 257.53 148.28 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 154.04 121.75 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 178.78 133.04 None weaver/popl20-bad-commit-1.wvr-bad.yml TIMEOUT 901.16 814.65 None weaver/popl20-bad-commit-2.wvr-bad.yml TIMEOUT 900.91 856.36 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 187.10 139.52 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 901.62 764.91 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 214.67 162.84 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 159.68 123.75 None weaver/popl20-bad-ring-nondet.wvr.yml OUT OF MEMORY 703.46 551.55 None weaver/popl20-bad-ring.wvr.yml OUT OF MEMORY 386.47 301.12 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 901.53 825.63 None weaver/popl20-bad-three-array-sum-alt.wvr.yml TIMEOUT 901.61 814.98 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 901.80 801.27 None weaver/popl20-commit-1.wvr.yml TIMEOUT 901.59 833.45 None weaver/popl20-commit-2.wvr.yml TIMEOUT 901.46 845.33 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 706.02 505.59 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 901.02 859.39 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 182.51 142.88 None weaver/popl20-figure1-alt.wvr.yml TIMEOUT 901.31 822.60 None weaver/popl20-figure1.wvr.yml TIMEOUT 901.20 844.34 None weaver/popl20-figure3.wvr.yml TIMEOUT 901.73 825.51 None weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 701.73 603.01 None weaver/popl20-min-max-dec.wvr.yml TIMEOUT 901.46 754.15 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 303.07 225.50 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 582.42 518.76 None weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 321.59 265.23 None weaver/popl20-more-array-sum-alt2.wvr.yml OUT OF MEMORY 323.72 248.96 None weaver/popl20-more-array-sum.wvr.yml OUT OF MEMORY 292.88 233.17 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 901.30 822.78 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 164.84 125.52 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 169.47 126.79 None weaver/popl20-more-buffer-series.wvr.yml OUT OF MEMORY 178.42 141.85 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 392.00 295.83 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 901.58 826.07 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 901.32 851.14 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 900.94 836.90 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.35 841.03 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.90 856.88 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.44 822.45 None weaver/popl20-more-min-le-max.wvr.yml true 34.18 20.04 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 217.41 167.48 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 901.21 811.71 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 900.73 822.35 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 901.45 839.46 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 902.62 823.19 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 906.85 788.78 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 900.71 813.84 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 901.45 836.00 None weaver/popl20-mult-4.wvr.yml TIMEOUT 906.73 824.97 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 907.38 796.00 None weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 900.75 810.43 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 900.69 828.53 None weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 901.37 832.28 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 903.51 805.20 None weaver/popl20-prod-cons3.wvr.yml OUT OF MEMORY 589.68 481.29 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 538.89 449.93 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 900.97 800.70 None weaver/popl20-queue-add-3.wvr.yml OUT OF MEMORY 618.22 517.53 None weaver/popl20-send-receive-alt.wvr.yml TIMEOUT 900.81 792.24 None weaver/popl20-send-receive.wvr.yml TIMEOUT 901.71 793.24 None weaver/popl20-simple-array-sum.wvr.yml true 85.56 62.20 None weaver/popl20-simple-queue.wvr.yml OUT OF MEMORY 516.24 436.23 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 901.76 834.03 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 901.64 811.51 None weaver/popl20-three-array-min.wvr.yml TIMEOUT 901.09 851.73 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 901.33 852.52 None weaver/popl20-two-queue.wvr.yml TIMEOUT 901.72 821.01 None weaver/security.wvr.yml true 15.22 8.19 None weaver/spaghetti.wvr.yml true 16.07 8.72 None weaver/test-context1.wvr.yml TIMEOUT 922.87 735.07 None weaver/test-easy1.wvr.yml true 22.20 12.89 None weaver/test-easy10.wvr.yml OUT OF MEMORY 336.54 259.17 None weaver/test-easy11.wvr.yml true 37.28 22.62 None weaver/test-easy6.wvr.yml true 16.34 8.83 None weaver/test-easy7.wvr.yml true 10.46 5.94 None weaver/test-easy8.wvr.yml true 9.45 5.66 None weaver/test-hard1.wvr.yml OUT OF MEMORY 765.92 700.02 None weaver/test-semi1.wvr.yml true 14.89 8.15 None weaver/unroll-2.wvr.yml TIMEOUT 901.67 810.22 None weaver/unroll-3.wvr.yml TIMEOUT 901.85 852.58 None weaver/unroll-4.wvr.yml TIMEOUT 901.22 843.31 None weaver/unroll-5.wvr.yml TIMEOUT 901.21 821.43 None weaver/unroll-cond-2.wvr.yml TIMEOUT 901.17 786.96 None weaver/unroll-cond-3.wvr.yml TIMEOUT 900.63 819.91 None weaver/unroll-cond-4.wvr.yml TIMEOUT 900.83 857.54 None weaver/unroll-cond-5.wvr.yml TIMEOUT 901.55 848.57 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 33.91 19.99 None pthread-deagle/arithmetic_prog_ok.yml true 41.57 24.85 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 35.09 19.75 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 901.91 859.40 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 179417.47 22050.06 - Automizer-PN.Before.SVCOMP-Concurrency-NoOverflow Run set 2 of 3 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-VariableLbe.epf --traceabstraction.order.of.the.error.locations.to.be.checked INSUFFICIENT_FIRST' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 92.32 80.38 None pthread/bigshot_s2.yml true 103.72 95.09 None pthread/lazy01.yml false(unreach-call) 16.67 9.24 None pthread/queue.yml TIMEOUT (ERROR: EXCEPTION) 901.05 768.08 None pthread/queue_longer.yml OUT OF MEMORY 318.00 229.67 None pthread/queue_longest.yml TIMEOUT (ERROR: EXCEPTION) 901.14 772.92 None pthread/queue_ok.yml TIMEOUT 901.92 862.04 None pthread/queue_ok_longer.yml TIMEOUT 901.35 839.98 None pthread/queue_ok_longest.yml TIMEOUT (ERROR: EXCEPTION) 902.16 850.13 None pthread/singleton.yml false(unreach-call) 11.35 7.01 None pthread/singleton_with-uninit-problems.yml true 13.23 7.80 None pthread/stack-1.yml TIMEOUT 901.62 856.58 None pthread/stack-2.yml false(unreach-call) 44.97 24.89 None pthread/stack_longer-1.yml false(unreach-call) 40.70 22.39 None pthread/stack_longer-2.yml TIMEOUT 901.43 823.78 None pthread/stack_longest-1.yml false(unreach-call) 39.82 22.75 None pthread/stack_longest-2.yml TIMEOUT 901.80 798.92 None pthread/stateful01-1.yml false(unreach-call) 19.22 10.65 None pthread/stateful01-2.yml true 19.68 10.86 None pthread/sync01.yml true 18.76 10.78 None pthread/triangular-1.yml true 48.24 30.65 None pthread/triangular-2.yml false(unreach-call) 35.72 20.83 None pthread/triangular-longer-1.yml true 285.56 247.22 None pthread/triangular-longer-2.yml false(unreach-call) 65.59 47.56 None pthread/triangular-longest-1.yml true 453.12 403.60 None pthread/triangular-longest-2.yml false(unreach-call) 421.20 380.03 None pthread-atomic/dekker.yml true 14.65 8.14 None pthread-atomic/lamport.yml true 20.60 10.80 None pthread-atomic/peterson.yml true 14.25 7.58 None pthread-atomic/read_write_lock-1.yml true 39.33 22.81 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 38.73 25.21 None pthread-atomic/szymanski.yml true 16.33 8.68 None pthread-atomic/time_var_mutex.yml true 16.82 9.51 None pthread-ext/01b_inc.yml TIMEOUT 901.09 821.36 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 8.32 4.62 None pthread-ext/03_incdec.yml TIMEOUT (ERROR: EXCEPTION) 902.37 693.80 None pthread-ext/04_incdec_cas.yml TIMEOUT 901.41 718.73 None pthread-ext/09_fmaxsym.yml TIMEOUT 901.84 695.00 None pthread-ext/11_fmaxsymopt.yml TIMEOUT 900.57 694.32 None pthread-ext/14_spin2003.yml TIMEOUT 901.95 709.74 None pthread-ext/18_read_write_lock.yml true 13.98 7.60 None pthread-ext/26_stack_cas.yml TIMEOUT 900.93 686.83 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 900.88 690.37 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 900.82 685.67 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 901.45 819.37 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 901.03 685.33 None pthread-ext/28_buggy_simple_loop1_vf.yml TIMEOUT 903.72 710.74 None pthread-ext/29_conditionals_vs.yml TIMEOUT 901.62 699.92 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 832.08 623.76 None pthread-ext/35_double_lock_p3_vs.yml TIMEOUT 901.83 687.90 None pthread-ext/36_stack_cas_p0_vs_concur.yml OUT OF MEMORY 846.88 665.05 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 838.92 650.80 None pthread-ext/39_rand_lock_p0_vs.yml TIMEOUT 900.66 815.51 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 814.42 632.87 None pthread-ext/45_monabsex1_vs.yml TIMEOUT (ERROR: EXCEPTION) 901.48 705.02 None pthread-ext/46_monabsex2_vs.yml TIMEOUT 900.88 686.37 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 640.53 497.84 None pthread-wmm/mix000.oepc.yml false(unreach-call) 23.95 13.09 None pthread-wmm/mix000.opt.yml false(unreach-call) 21.95 11.81 None pthread-wmm/mix001.oepc.yml false(unreach-call) 38.31 20.90 None pthread-wmm/mix001.opt.yml false(unreach-call) 33.30 17.50 None pthread-wmm/mix002.oepc.yml false(unreach-call) 30.41 16.33 None pthread-wmm/mix002.opt.yml false(unreach-call) 35.86 18.65 None pthread-wmm/mix003.oepc.yml false(unreach-call) 31.58 16.66 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 26.65 14.51 None pthread-wmm/mix004.oepc.yml false(unreach-call) 79.48 56.75 None pthread-wmm/mix004.opt.yml false(unreach-call) 52.33 31.22 None pthread-wmm/mix005.opt.yml false(unreach-call) 69.93 45.53 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 190.61 156.01 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 86.05 56.29 None pthread-wmm/mix006.opt.yml false(unreach-call) 34.10 18.23 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 39.64 20.81 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 46.24 24.98 None pthread-wmm/mix007.oepc.yml false(unreach-call) 125.15 96.24 None pthread-wmm/mix007.opt.yml false(unreach-call) 68.11 43.66 None pthread-wmm/mix008.opt.yml false(unreach-call) 64.89 46.01 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 174.70 136.80 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 52.54 30.80 None pthread-wmm/mix009.oepc.yml false(unreach-call) 16.27 9.82 None pthread-wmm/mix009.opt.yml false(unreach-call) 19.34 10.35 None pthread-wmm/mix010.oepc.yml false(unreach-call) 28.82 15.36 None pthread-wmm/mix010.opt.yml false(unreach-call) 23.36 13.56 None pthread-wmm/mix011.opt.yml false(unreach-call) 27.67 14.93 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 29.88 15.79 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 30.64 16.14 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 15.16 8.83 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 16.25 9.22 None pthread-wmm/mix013.oepc.yml false(unreach-call) 90.02 60.45 None pthread-wmm/mix013.opt.yml false(unreach-call) 37.61 21.90 None pthread-wmm/mix014.opt.yml false(unreach-call) 63.29 39.08 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 73.19 53.11 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 58.02 40.13 None pthread-wmm/mix015.oepc.yml false(unreach-call) 33.96 17.94 None pthread-wmm/mix015.opt.yml false(unreach-call) 24.18 13.36 None pthread-wmm/mix016.oepc.yml false(unreach-call) 26.73 14.47 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 21.86 11.96 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 22.41 12.98 None pthread-wmm/mix017.oepc.yml false(unreach-call) 41.04 25.70 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 46.45 25.04 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 47.00 25.50 None pthread-wmm/mix018.opt.yml false(unreach-call) 46.61 27.05 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 64.62 47.38 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 41.48 22.87 None pthread-wmm/mix019.opt.yml false(unreach-call) 24.64 13.20 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 35.64 18.68 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 22.44 12.42 None pthread-wmm/mix020.oepc.yml false(unreach-call) 86.59 60.09 None pthread-wmm/mix020.opt.yml false(unreach-call) 51.16 29.65 None pthread-wmm/mix021.opt.yml false(unreach-call) 64.26 39.39 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 91.49 71.98 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 41.86 22.87 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.81 11.00 None pthread-wmm/mix022_tso.yml false(unreach-call) 18.10 10.62 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 139.10 108.04 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 89.14 63.77 None pthread-wmm/mix023_tso.yml false(unreach-call) 90.85 65.34 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 27.77 15.18 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 28.09 15.16 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 33.82 17.99 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 32.46 17.34 None pthread-wmm/mix026.oepc.yml false(unreach-call) 149.57 112.35 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 77.40 52.62 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 50.76 30.20 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 70.01 49.48 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 58.31 37.54 None pthread-wmm/mix027_tso.yml false(unreach-call) 90.03 66.55 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.32 16.97 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 47.56 25.99 None pthread-wmm/mix028_tso.yml false(unreach-call) 29.29 15.54 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 59.16 42.39 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 41.86 21.88 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 93.64 68.07 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 110.37 73.87 None pthread-wmm/mix030_tso.yml false(unreach-call) 67.69 43.24 None pthread-wmm/mix031.oepc.yml false(unreach-call) 22.50 12.13 None pthread-wmm/mix031.opt.yml false(unreach-call) 16.60 9.69 None pthread-wmm/mix032.oepc.yml false(unreach-call) 31.20 16.81 None pthread-wmm/mix032.opt.yml false(unreach-call) 22.29 12.21 None pthread-wmm/mix033.opt.yml false(unreach-call) 29.61 15.95 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 26.85 15.05 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 22.50 12.46 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 21.20 11.50 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 19.94 11.05 None pthread-wmm/mix035.oepc.yml false(unreach-call) 25.78 14.70 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 31.15 16.77 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 19.26 10.49 None pthread-wmm/mix036.oepc.yml false(unreach-call) 93.01 64.18 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 47.48 27.99 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 41.68 22.70 None pthread-wmm/mix037.opt.yml false(unreach-call) 38.09 24.07 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 65.80 48.44 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 108.05 73.18 None pthread-wmm/mix038.opt.yml false(unreach-call) 28.35 15.20 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 33.00 17.42 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 59.38 34.82 None pthread-wmm/mix039.oepc.yml false(unreach-call) 79.91 54.88 None pthread-wmm/mix039.opt.yml false(unreach-call) 37.05 22.93 None pthread-wmm/mix040.opt.yml false(unreach-call) 96.44 68.18 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 152.50 122.39 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 105.39 79.23 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 21.59 11.87 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.04 14.06 None pthread-wmm/mix042.oepc.yml false(unreach-call) 33.30 17.77 None pthread-wmm/mix042.opt.yml false(unreach-call) 25.44 13.75 None pthread-wmm/mix043.oepc.yml false(unreach-call) 74.07 46.92 None pthread-wmm/mix043.opt.yml false(unreach-call) 39.07 21.11 None pthread-wmm/mix044.opt.yml false(unreach-call) 40.04 21.71 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 111.24 79.21 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 108.18 75.00 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 27.08 14.52 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 55.63 29.89 None pthread-wmm/mix046.oepc.yml false(unreach-call) 138.29 106.22 None pthread-wmm/mix046.opt.yml false(unreach-call) 36.67 20.14 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 191.61 161.54 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 92.39 64.16 None pthread-wmm/mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 19.82 10.83 None pthread-wmm/mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 25.49 13.75 None pthread-wmm/mix050.yml false(unreach-call) 48.94 26.51 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 73.48 47.58 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 24.25 14.10 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 42.35 23.52 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 21.46 12.23 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 24.00 13.14 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 28.41 15.87 None pthread-wmm/mix053.opt.yml false(unreach-call) 39.91 21.61 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 66.89 45.59 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 67.53 41.02 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 15.16 8.99 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 22.10 11.94 None pthread-wmm/mix055.opt.yml false(unreach-call) 84.03 54.94 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 85.49 67.20 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 47.71 25.81 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.92 13.47 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 67.88 40.15 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 263.63 211.93 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 906.75 824.08 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 25.87 13.78 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 29.61 15.66 None pthread-wmm/rfi000_tso.yml true 29.11 15.50 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.49 11.17 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 24.80 13.60 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 55.62 31.71 None pthread-wmm/rfi002_tso.yml true 77.36 49.67 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.42 11.90 None pthread-wmm/rfi003_tso.yml true 36.80 19.55 None pthread-wmm/rfi004.yml false(unreach-call) 21.03 11.49 None pthread-wmm/rfi005.yml false(unreach-call) 19.05 10.37 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 29.09 16.42 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 46.44 25.60 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 44.09 23.99 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 25.62 14.80 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 21.92 11.75 None pthread-wmm/rfi007_tso.yml false(unreach-call) 17.99 10.92 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 22.46 12.01 None pthread-wmm/rfi008.opt.yml false(unreach-call) 22.43 12.10 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 29.03 16.58 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 21.42 11.62 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 19.58 11.72 None pthread-wmm/rfi010.yml false(unreach-call) 23.62 12.78 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 57.41 32.46 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 39.45 22.86 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.81 12.12 None pthread-wmm/safe000_rmo.yml false(unreach-call) 42.28 25.13 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 29.20 17.43 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 46.93 25.84 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 20.72 12.68 None pthread-wmm/safe001_tso.yml true 25.31 13.30 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 54.96 30.67 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 28.57 16.84 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 31.94 19.71 None pthread-wmm/safe002_tso.yml true 24.79 13.01 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 69.44 42.03 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 42.78 27.12 None pthread-wmm/safe003_tso.yml true 21.72 11.62 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 27.21 14.95 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 40.84 23.49 None pthread-wmm/safe004_tso.yml true 22.77 12.16 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 29.73 16.74 None pthread-wmm/safe005_tso.yml true 12.82 7.47 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 28.61 16.32 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 37.27 19.97 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.11 6.29 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 25.26 14.44 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 26.68 16.01 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 19.54 12.96 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.83 9.09 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 22.99 13.41 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 45.81 24.31 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 45.15 24.72 None pthread-wmm/safe008_tso.yml true 16.61 9.17 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 35.43 21.24 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 28.47 16.01 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.59 8.64 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 37.92 21.73 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 40.29 21.30 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.67 10.95 None pthread-wmm/safe010_tso.yml true 11.98 7.08 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 52.67 28.64 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 43.04 23.12 None pthread-wmm/safe011_tso.yml true 16.19 9.27 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 28.40 16.25 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 28.27 15.78 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 24.12 13.14 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 17.57 10.93 None pthread-wmm/safe012_tso.yml true 12.81 7.07 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 23.47 12.74 None pthread-wmm/safe013_tso.yml true 16.86 9.14 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 19.70 12.55 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 26.82 15.32 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.55 12.05 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 28.09 16.01 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 52.90 29.39 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 28.35 15.89 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 46.56 27.58 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.27 11.76 None pthread-wmm/safe015_rmo.yml false(unreach-call) 59.39 33.46 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 83.87 61.29 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 194.21 143.65 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 35.94 19.86 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 60.29 35.99 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 34.01 18.97 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 71.52 44.59 None pthread-wmm/safe017_tso.yml true 21.26 11.34 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 24.60 14.82 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 60.65 32.79 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.19 10.72 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 18.46 11.32 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 33.71 18.75 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 43.46 23.51 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 144.75 106.75 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 40.06 22.27 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 55.36 32.02 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 167.09 131.76 None pthread-wmm/safe020_power.yml false(unreach-call) 55.89 30.48 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.48 11.00 None pthread-wmm/safe020_rmo.yml false(unreach-call) 46.48 25.22 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 33.17 17.76 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 38.16 20.33 None pthread-wmm/safe021_tso.yml true 19.37 10.20 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 20.14 10.94 None pthread-wmm/safe022_tso.yml true 14.36 7.95 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 70.17 37.84 None pthread-wmm/safe023_tso.yml true 16.57 8.95 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 30.98 16.46 None pthread-wmm/safe024_tso.yml true 20.23 10.86 None pthread-wmm/safe025_power.yml false(unreach-call) 32.71 19.80 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.11 9.13 None pthread-wmm/safe025_rmo.yml false(unreach-call) 56.64 30.90 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 29.27 15.81 None pthread-wmm/safe026_tso.yml true 16.99 9.21 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 35.65 22.65 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 111.80 73.73 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 33.21 18.50 None pthread-wmm/safe027_rmo.yml false(unreach-call) 48.95 26.41 None pthread-wmm/safe028_power.yml false(unreach-call) 40.53 22.43 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.08 7.98 None pthread-wmm/safe028_rmo.yml false(unreach-call) 42.06 22.45 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.98 14.44 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 21.04 11.32 None pthread-wmm/safe029_tso.yml true 14.41 7.92 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 45.71 25.31 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 36.77 20.96 None pthread-wmm/safe030_tso.yml true 15.28 8.34 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 23.19 12.77 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 39.76 20.86 None pthread-wmm/safe031_tso.yml true 20.20 10.96 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 106.62 76.69 None pthread-wmm/safe032_tso.yml true 11.45 6.99 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 21.09 11.58 None pthread-wmm/safe033_tso.yml true 16.23 8.91 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 27.17 14.44 None pthread-wmm/safe034_tso.yml true 14.01 8.20 None pthread-wmm/safe035_power.yml true 84.08 50.57 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 22.12 11.97 None pthread-wmm/safe036.yml true 15.69 8.43 None pthread-wmm/safe037.yml true 13.79 8.28 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 34.05 18.97 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 38.86 21.83 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.59 10.97 None pthread-wmm/thin002_rmo.yml false(unreach-call) 53.01 37.39 None pthread-lit/qw2004-2b.yml false(unreach-call) 17.81 9.60 None ldv-races/race-1_1-join.yml true 15.74 8.78 None ldv-races/race-1_2-join.yml false(unreach-call) 16.52 9.19 None ldv-races/race-1_3-join.yml false(unreach-call) 16.85 9.42 None ldv-races/race-2_1-container_of.yml false(no-overflow) 30.27 19.26 None ldv-races/race-2_2-container_of.yml false(no-overflow) 24.85 15.70 None ldv-races/race-2_3-container_of.yml false(no-overflow) 27.00 17.12 None ldv-races/race-2_4-container_of.yml false(no-overflow) 30.27 18.03 None ldv-races/race-2_5-container_of.yml false(no-overflow) 20.39 13.27 None ldv-races/race-3_1-container_of-global.yml false(no-overflow) 29.34 18.59 None ldv-races/race-3_2-container_of-global.yml false(no-overflow) 28.37 18.58 None ldv-races/race-4_1-thread_local_vars.yml true 33.32 18.86 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 33.38 17.72 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 33.53 18.81 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 391.48 244.91 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 905.06 605.92 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT 902.01 732.71 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 901.45 773.56 None pthread-complex/bounded_buffer.yml OUT OF MEMORY 838.97 733.24 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.66 880.80 None pthread-complex/safestack_relacy.yml OUT OF MEMORY 332.99 225.68 None pthread-complex/workstealqueue_mutex-2.yml OUT OF MEMORY 411.99 310.87 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 394.40 366.93 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 434.27 396.32 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml TIMEOUT 912.53 689.47 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml TIMEOUT 901.99 843.44 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT (ERROR: EXCEPTION) 902.28 841.34 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml TIMEOUT 901.83 863.50 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT (ERROR: EXCEPTION) 901.84 843.05 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 595.35 557.40 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 632.40 595.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml TIMEOUT 901.94 848.10 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 556.89 540.68 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 900.99 847.96 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml TIMEOUT 901.93 852.05 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml TIMEOUT 901.12 840.17 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 532.01 500.96 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 499.08 455.25 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 383.93 366.35 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml TIMEOUT 901.28 846.63 None pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 902.26 805.96 None pthread-C-DAC/pthread-demo-datarace-3.yml TIMEOUT 901.97 791.96 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 5.89 3.77 None pthread-C-DAC/pthread-numerical-integration.yml unknown 6.07 3.50 None pthread-divine/ring_2w1r-1.yml OUT OF MEMORY 380.53 311.03 None pthread-divine/tls_basic.yml unknown 6.70 3.75 None pthread-divine/tls_destructor_worker.yml unknown 7.50 4.00 None goblint-regression/04-mutex_02-simple_nr.yml true 13.12 7.10 None goblint-regression/04-mutex_04-munge_nr.yml true 12.83 7.05 None goblint-regression/04-mutex_05-lockfuns.yml true 13.53 7.38 None goblint-regression/04-mutex_07-ps_nr.yml true 14.93 8.05 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 17.52 9.55 None goblint-regression/04-mutex_12-ptr_nr.yml true 15.85 8.61 None goblint-regression/04-mutex_15-funarg_nr.yml true 14.75 8.13 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 17.27 9.32 None goblint-regression/04-mutex_17a-ps_add1_nr.yml false(no-overflow) 14.32 7.82 None goblint-regression/04-mutex_18-glob_guards.yml true 8.17 4.67 None goblint-regression/04-mutex_22-deref_read.yml true 7.49 4.31 None goblint-regression/04-mutex_28-base_nr.yml true 13.02 7.16 None goblint-regression/04-mutex_36-trylock_nr-overflow.yml false(no-overflow) 33.86 22.58 None goblint-regression/04-mutex_36-trylock_nr.yml OUT OF MEMORY 421.41 261.88 None goblint-regression/04-mutex_41-pt_rwlock.yml true 13.15 7.18 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 14.93 8.04 None goblint-regression/04-mutex_43-thread_create_nr.yml true 14.07 7.76 None goblint-regression/04-mutex_46-escape_nr.yml true 17.83 9.59 None goblint-regression/04-mutex_46a-escape_nr.yml false(no-overflow) 14.29 7.92 None goblint-regression/04-mutex_51-mutex_ptr.yml true 16.12 8.68 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 13.04 7.26 None goblint-regression/05-lval_ls_02-idx_nr.yml true 14.98 8.40 None goblint-regression/05-lval_ls_04-fld_nr.yml true 13.79 7.48 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 16.12 8.73 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 902.29 842.76 None goblint-regression/06-symbeq_05-funloop_hard2.yml TIMEOUT 901.76 855.64 None goblint-regression/06-symbeq_06-tricky_address1.yml true 15.40 9.33 None goblint-regression/06-symbeq_07-tricky_address2.yml true 14.86 9.11 None goblint-regression/06-symbeq_08-tricky_address3.yml true 16.26 10.07 None goblint-regression/06-symbeq_11-equ_nr.yml true 9.98 5.59 None goblint-regression/06-symbeq_11a-equ_nr.yml false(no-overflow) 13.86 7.57 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 6.48 3.87 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 15.76 8.70 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 19.34 11.01 None goblint-regression/09-regions_02-list_nr.yml true 6.97 4.17 None goblint-regression/09-regions_04-list2_nr.yml true 112.96 103.72 None goblint-regression/09-regions_06-ptra_nr.yml true 8.77 4.99 None goblint-regression/09-regions_17-arrayloop_nr.yml true 24.32 14.52 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 902.24 869.30 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 902.20 883.95 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 902.15 857.01 None goblint-regression/10-synch_01-thread_unique.yml true 6.33 3.66 None goblint-regression/10-synch_03-two_unique.yml true 8.67 4.81 None goblint-regression/13-privatized_01-priv_nr_true.yml true 14.28 7.96 None goblint-regression/13-privatized_03-priv_inv.yml true 16.33 9.10 None goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 167.74 127.17 None goblint-regression/13-privatized_18-first-reads_true.yml true 14.13 7.83 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 13.06 7.02 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 12.76 7.02 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 13.76 7.46 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 12.95 7.17 None goblint-regression/13-privatized_19-publish-precision_true.yml true 14.61 8.11 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 13.16 7.32 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 13.88 7.69 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 13.88 7.58 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 13.24 7.30 None goblint-regression/13-privatized_20-publish-regression_true.yml true 16.23 8.86 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 23.19 12.82 None goblint-regression/13-privatized_25-struct_nr_true.yml true 18.70 10.01 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 27.81 15.00 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 14.84 8.53 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 15.85 8.77 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 11.83 6.73 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 17.51 9.64 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 12.58 7.02 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 13.89 7.82 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 14.97 8.13 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 10.26 5.91 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 15.01 8.09 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 10.62 6.14 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 15.09 8.20 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 10.07 5.68 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 15.32 8.32 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 11.46 6.69 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 11.25 6.36 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 15.07 8.22 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 9.31 5.29 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 12.67 6.97 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 12.01 6.92 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 13.45 7.18 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 9.53 5.36 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 10.85 6.05 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 12.80 7.51 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 16.74 9.10 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 12.65 7.41 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 902.78 765.79 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml TIMEOUT 901.39 823.22 None goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 725.81 477.82 None goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 282.39 207.79 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 397.17 249.76 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 384.82 249.75 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml OUT OF MEMORY 364.42 276.13 None goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 453.83 313.43 None goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 369.37 267.69 None goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 433.08 303.27 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 373.29 235.57 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 380.23 244.25 None goblint-regression/28-race_reach_11-ptr_racing.yml OUT OF MEMORY 477.82 347.49 None goblint-regression/28-race_reach_12-ptr_racefree.yml OUT OF MEMORY 369.68 267.15 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 570.66 396.32 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 284.10 207.68 None goblint-regression/28-race_reach_21-deref_read_racing.yml TIMEOUT 902.16 698.43 None goblint-regression/28-race_reach_22-deref_read_racefree.yml TIMEOUT (ERROR: EXCEPTION) 901.65 698.16 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 7.09 3.94 None goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 448.39 309.25 None goblint-regression/28-race_reach_27-funptr_racing.yml OUT OF MEMORY 372.02 280.02 None goblint-regression/28-race_reach_28-funptr_racefree.yml OUT OF MEMORY 479.95 334.04 None goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 365.58 273.67 None goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 439.85 308.82 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 7.14 3.95 None goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 421.22 284.19 None goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 457.34 325.25 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 14.10 8.47 None goblint-regression/28-race_reach_46-escape_racefree.yml true 14.69 8.85 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 385.33 286.93 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 570.85 397.70 None goblint-regression/28-race_reach_61-invariant_racing.yml OUT OF MEMORY 429.34 302.34 None goblint-regression/28-race_reach_70-funloop_racefree.yml OUT OF MEMORY 254.79 149.73 None goblint-regression/28-race_reach_71-funloop_racing.yml OUT OF MEMORY 269.37 156.14 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml OUT OF MEMORY 263.45 154.17 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml OUT OF MEMORY 185.29 115.35 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 303.30 200.33 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 407.45 249.39 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 387.01 236.98 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 403.07 246.19 None goblint-regression/28-race_reach_78-equ_racing-overflow.yml OUT OF MEMORY 404.21 304.85 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 646.46 453.70 None goblint-regression/28-race_reach_79-equ_racefree-overflow.yml OUT OF MEMORY 655.08 458.30 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 475.49 361.80 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 431.29 271.55 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 476.57 298.51 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 484.38 290.02 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 366.80 235.51 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 491.03 298.15 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.74 888.09 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.81 880.81 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 901.92 878.57 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 901.85 884.35 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 901.74 888.91 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 901.85 881.56 None goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 842.32 628.63 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 10.03 6.07 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.58 5.61 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 14.77 8.01 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 14.28 7.70 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 28.58 16.75 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true.yml false(no-overflow) 21.98 12.19 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 31.01 17.29 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 11.43 6.44 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 10.53 5.91 None weaver/array-eq-symm.wvr.yml TIMEOUT 901.97 838.36 None weaver/array-eq-trans.wvr.yml TIMEOUT 902.02 817.93 None weaver/bench-exp1x3.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.66 880.35 None weaver/bench-exp2x3.wvr.yml TIMEOUT 901.92 874.12 None weaver/bench-exp2x4.wvr.yml TIMEOUT 901.74 887.82 None weaver/bench-exp2x6.wvr.yml TIMEOUT 901.67 880.71 None weaver/bench-exp2x9.wvr.yml TIMEOUT 901.76 879.98 None weaver/bench-exp3x3-opt.wvr.yml TIMEOUT 902.44 861.36 None weaver/bench-exp3x3.wvr.yml TIMEOUT 901.33 877.20 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 195.67 152.88 None weaver/chl-array-int-symm.wvr.yml TIMEOUT 901.43 772.65 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 174.86 128.89 None weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 900.69 805.10 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 901.44 822.41 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 900.79 798.99 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 900.72 813.80 None weaver/chl-collitem-subst.wvr.yml TIMEOUT 901.37 815.53 None weaver/chl-collitem-symm.wvr.yml true 100.50 66.81 None weaver/chl-collitem-trans.wvr.yml true 521.00 472.29 None weaver/chl-exp-term-subst.wvr.yml true 49.83 28.75 None weaver/chl-exp-term-symm.wvr.yml true 31.65 18.36 None weaver/chl-file-item-subst.wvr.yml true 57.09 32.70 None weaver/chl-file-item-symm.wvr.yml true 38.25 21.67 None weaver/chl-file-item-trans.wvr.yml true 49.90 28.50 None weaver/chl-match-subst.wvr.yml true 107.25 62.97 None weaver/chl-match-symm.wvr.yml true 43.69 28.55 None weaver/chl-match-trans.wvr.yml true 92.85 56.65 None weaver/chl-name-comparator-subst.wvr.yml TIMEOUT 901.15 797.81 None weaver/chl-name-comparator-symm.wvr.yml TIMEOUT 901.59 750.49 None weaver/chl-name-comparator-trans.wvr.yml TIMEOUT 901.04 751.69 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 553.60 456.38 None weaver/chl-node-symm.wvr.yml TIMEOUT 901.05 782.53 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 584.43 522.60 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 253.44 194.26 None weaver/chl-nzb-file-symm.wvr.yml TIMEOUT 900.88 769.83 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 252.44 192.50 None weaver/chl-poker-hand-subst.wvr.yml OUT OF MEMORY 585.65 479.29 None weaver/chl-poker-hand-symm.wvr.yml ERROR: EXCEPTION 715.30 600.34 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 901.36 794.58 None weaver/chl-simpl-str-subst.wvr.yml true 53.79 30.42 None weaver/chl-simpl-str-symm.wvr.yml true 28.73 16.31 None weaver/chl-simpl-str-trans.wvr.yml true 42.94 24.55 None weaver/chl-sre-subst.wvr.yml true 27.12 14.58 None weaver/chl-sre-symm.wvr.yml true 15.13 8.22 None weaver/chl-sre-trans.wvr.yml true 15.34 8.47 None weaver/chl-time-subst.wvr.yml TIMEOUT 900.82 856.71 None weaver/chl-time-symm.wvr.yml true 39.19 24.70 None weaver/chl-time-trans.wvr.yml true 135.94 85.77 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 149.20 116.18 None weaver/chl-word-symm.wvr.yml TIMEOUT 902.02 762.88 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 245.48 195.27 None weaver/clever.wvr.yml TIMEOUT 901.66 852.39 None weaver/fibonacci.wvr.yml TIMEOUT 901.21 795.82 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 901.80 832.47 None weaver/mult-comm.wvr.yml TIMEOUT 900.73 854.76 None weaver/mult-dist.wvr.yml TIMEOUT 901.66 821.49 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 902.87 806.60 None weaver/parallel-bakery-2.wvr.yml true 23.71 12.67 None weaver/parallel-bakery-3.wvr.yml TIMEOUT 902.21 682.96 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 433.51 263.68 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 62.06 42.62 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 464.89 377.02 None weaver/parallel-bluetooth.wvr.yml true 23.74 12.88 None weaver/parallel-lamport.wvr.yml true 139.56 85.53 None weaver/parallel-min-max-1.wvr.yml true 51.92 29.73 None weaver/parallel-misc-1.wvr.yml TIMEOUT 901.72 779.60 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 18.85 10.61 None weaver/parallel-misc-2-unrolled.wvr.yml true 18.10 10.29 None weaver/parallel-misc-2.wvr.yml TIMEOUT 900.93 848.52 None weaver/parallel-misc-3-extended.wvr.yml TIMEOUT 902.85 838.52 None weaver/parallel-misc-3.wvr.yml TIMEOUT 901.06 848.60 None weaver/parallel-misc-4.wvr.yml TIMEOUT 911.15 711.17 None weaver/parallel-misc-5.wvr.yml TIMEOUT 901.29 817.53 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 541.81 398.79 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 199.26 148.89 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 326.97 242.32 None weaver/parallel-parallel-sum-equiv.wvr.yml OUT OF MEMORY 189.10 142.63 None weaver/parallel-simple-equiv.wvr.yml true 16.41 8.80 None weaver/parallel-ticket-2.wvr.yml true 17.75 9.68 None weaver/parallel-ticket-3.wvr.yml true 32.68 17.12 None weaver/parallel-ticket-4.wvr.yml true 61.66 35.82 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 154.14 109.01 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 247.26 141.45 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 258.26 147.92 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 254.04 146.25 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 144.30 113.21 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 197.15 147.27 None weaver/popl20-bad-commit-1.wvr-bad.yml TIMEOUT 901.33 810.67 None weaver/popl20-bad-commit-2.wvr-bad.yml TIMEOUT 901.21 823.64 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 150.88 125.74 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 902.47 771.51 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 901.36 852.73 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 333.51 246.81 None weaver/popl20-bad-ring-nondet.wvr.yml OUT OF MEMORY 460.62 354.74 None weaver/popl20-bad-ring.wvr.yml OUT OF MEMORY 364.38 306.32 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 902.57 825.93 None weaver/popl20-bad-three-array-sum-alt.wvr.yml TIMEOUT 901.62 829.31 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 900.74 796.09 None weaver/popl20-commit-1.wvr.yml TIMEOUT 901.21 834.82 None weaver/popl20-commit-2.wvr.yml TIMEOUT 901.27 843.64 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 714.67 512.74 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 901.07 851.93 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 184.06 144.16 None weaver/popl20-figure1-alt.wvr.yml TIMEOUT 905.69 795.60 None weaver/popl20-figure1.wvr.yml TIMEOUT 901.40 859.02 None weaver/popl20-figure3.wvr.yml TIMEOUT 900.66 821.00 None weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 712.13 607.82 None weaver/popl20-min-max-dec.wvr.yml TIMEOUT 902.92 783.65 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 425.29 322.45 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 630.94 546.28 None weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 383.78 300.44 None weaver/popl20-more-array-sum-alt2.wvr.yml OUT OF MEMORY 320.49 252.76 None weaver/popl20-more-array-sum.wvr.yml OUT OF MEMORY 304.64 245.28 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 900.89 831.11 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 145.97 118.02 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 175.53 131.61 None weaver/popl20-more-buffer-series.wvr.yml OUT OF MEMORY 162.17 129.63 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 197.94 149.05 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 901.51 815.53 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 901.48 836.21 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.13 844.52 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.13 860.44 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.95 840.57 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.28 827.06 None weaver/popl20-more-min-le-max.wvr.yml true 34.28 20.17 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 231.11 180.23 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 901.16 817.73 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 901.30 846.98 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 901.43 812.56 None weaver/popl20-more-queue-add-3-nl.wvr.yml OUT OF MEMORY 732.69 620.03 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 367.88 321.36 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 901.58 797.47 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 901.64 840.58 None weaver/popl20-mult-4.wvr.yml TIMEOUT 902.61 844.96 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 905.45 791.72 None weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 901.96 809.03 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.41 827.19 None weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 901.83 822.91 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 902.18 762.03 None weaver/popl20-prod-cons3.wvr.yml OUT OF MEMORY 503.76 397.12 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 172.82 140.59 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 901.84 793.89 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 902.40 824.85 None weaver/popl20-send-receive-alt.wvr.yml TIMEOUT 901.90 795.03 None weaver/popl20-send-receive.wvr.yml TIMEOUT 902.85 809.55 None weaver/popl20-simple-array-sum.wvr.yml true 113.41 75.38 None weaver/popl20-simple-queue.wvr.yml TIMEOUT 906.23 734.59 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 901.24 839.88 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 901.22 819.76 None weaver/popl20-three-array-min.wvr.yml TIMEOUT 900.67 803.41 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 900.80 870.76 None weaver/popl20-two-queue.wvr.yml TIMEOUT 901.84 788.75 None weaver/security.wvr.yml true 14.84 8.10 None weaver/spaghetti.wvr.yml true 15.03 8.29 None weaver/test-context1.wvr.yml TIMEOUT 922.83 760.95 None weaver/test-easy1.wvr.yml true 21.29 12.62 None weaver/test-easy10.wvr.yml OUT OF MEMORY 632.04 528.72 None weaver/test-easy11.wvr.yml true 37.99 22.64 None weaver/test-easy6.wvr.yml true 16.28 8.79 None weaver/test-easy7.wvr.yml true 14.38 7.87 None weaver/test-easy8.wvr.yml true 9.42 5.41 None weaver/test-hard1.wvr.yml TIMEOUT 901.96 820.57 None weaver/test-semi1.wvr.yml true 11.17 6.36 None weaver/unroll-2.wvr.yml TIMEOUT 900.58 828.00 None weaver/unroll-3.wvr.yml TIMEOUT 901.83 858.22 None weaver/unroll-4.wvr.yml TIMEOUT 901.23 815.81 None weaver/unroll-5.wvr.yml TIMEOUT 901.36 806.19 None weaver/unroll-cond-2.wvr.yml TIMEOUT 901.71 834.39 None weaver/unroll-cond-3.wvr.yml TIMEOUT 900.77 819.04 None weaver/unroll-cond-4.wvr.yml TIMEOUT 901.80 836.26 None weaver/unroll-cond-5.wvr.yml TIMEOUT 900.64 864.18 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 33.44 20.03 None pthread-deagle/arithmetic_prog_ok.yml true 44.07 25.34 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 34.87 19.76 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 900.99 855.38 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 2 done 195053.41 24015.45 - Automizer-PN.After.SVCOMP-Concurrency-NoOverflow Run set 3 of 3 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-VariableLbe.epf --traceabstraction.order.of.the.error.locations.to.be.checked PROGRAM_FIRST' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 99.97 88.31 None pthread/bigshot_s2.yml true 88.14 80.08 None pthread/lazy01.yml false(unreach-call) 16.69 9.29 None pthread/queue.yml TIMEOUT (ERROR: EXCEPTION) 901.17 770.46 None pthread/queue_longer.yml OUT OF MEMORY 381.02 292.92 None pthread/queue_longest.yml TIMEOUT (ERROR: EXCEPTION) 901.10 782.61 None pthread/queue_ok.yml TIMEOUT 902.15 866.21 None pthread/queue_ok_longer.yml TIMEOUT 901.21 845.52 None pthread/queue_ok_longest.yml TIMEOUT 902.28 863.99 None pthread/singleton.yml false(unreach-call) 15.33 8.52 None pthread/singleton_with-uninit-problems.yml true 16.66 9.25 None pthread/stack-1.yml TIMEOUT 901.42 811.55 None pthread/stack-2.yml false(unreach-call) 44.92 25.32 None pthread/stack_longer-1.yml false(unreach-call) 40.95 22.46 None pthread/stack_longer-2.yml TIMEOUT 901.28 821.73 None pthread/stack_longest-1.yml false(unreach-call) 42.33 23.42 None pthread/stack_longest-2.yml TIMEOUT 902.31 778.44 None pthread/stateful01-1.yml false(unreach-call) 19.34 10.55 None pthread/stateful01-2.yml true 20.13 10.93 None pthread/sync01.yml true 19.10 10.77 None pthread/triangular-1.yml true 48.45 31.38 None pthread/triangular-2.yml false(unreach-call) 36.70 21.23 None pthread/triangular-longer-1.yml true 264.48 226.69 None pthread/triangular-longer-2.yml false(unreach-call) 67.06 50.04 None pthread/triangular-longest-1.yml true 493.94 443.02 None pthread/triangular-longest-2.yml false(unreach-call) 393.44 347.81 None pthread-atomic/dekker.yml true 14.86 8.06 None pthread-atomic/lamport.yml true 20.69 11.05 None pthread-atomic/peterson.yml true 14.73 7.96 None pthread-atomic/read_write_lock-1.yml true 31.93 19.67 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 48.63 29.98 None pthread-atomic/szymanski.yml true 13.00 7.41 None pthread-atomic/time_var_mutex.yml true 12.90 7.76 None pthread-ext/01b_inc.yml OUT OF MEMORY 204.26 148.09 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 6.97 4.24 None pthread-ext/03_incdec.yml OUT OF MEMORY 206.85 158.92 None pthread-ext/04_incdec_cas.yml TIMEOUT (ERROR: EXCEPTION) 901.94 852.42 None pthread-ext/09_fmaxsym.yml TIMEOUT 905.94 709.27 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 354.15 273.66 None pthread-ext/14_spin2003.yml OUT OF MEMORY 316.02 178.89 None pthread-ext/18_read_write_lock.yml true 10.80 6.02 None pthread-ext/26_stack_cas.yml OUT OF MEMORY 398.74 323.47 None pthread-ext/26_stack_cas_longer-1.yml false(unreach-call) 21.51 12.13 None pthread-ext/26_stack_cas_longer-2.yml OUT OF MEMORY 358.61 266.56 None pthread-ext/26_stack_cas_longest-1.yml false(unreach-call) 22.34 12.13 None pthread-ext/26_stack_cas_longest-2.yml OUT OF MEMORY 422.94 271.87 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 11.65 6.81 None pthread-ext/29_conditionals_vs.yml OUT OF MEMORY 199.46 156.33 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 386.44 240.94 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 503.88 445.29 None pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 902.02 855.73 None pthread-ext/37_stack_lock_p0_vs_concur.yml TIMEOUT 912.55 721.38 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 330.93 195.91 None pthread-ext/40_barrier_vf.yml false(unreach-call) 47.23 27.05 None pthread-ext/45_monabsex1_vs.yml TIMEOUT 911.52 664.10 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 647.26 387.18 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 491.66 407.72 None pthread-wmm/mix000.oepc.yml false(unreach-call) 23.86 12.81 None pthread-wmm/mix000.opt.yml false(unreach-call) 22.29 12.03 None pthread-wmm/mix001.oepc.yml false(unreach-call) 39.35 20.61 None pthread-wmm/mix001.opt.yml false(unreach-call) 33.02 17.50 None pthread-wmm/mix002.oepc.yml false(unreach-call) 29.92 16.02 None pthread-wmm/mix002.opt.yml false(unreach-call) 35.51 18.51 None pthread-wmm/mix003.oepc.yml false(unreach-call) 22.87 13.24 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 27.26 14.75 None pthread-wmm/mix004.oepc.yml false(unreach-call) 68.17 51.32 None pthread-wmm/mix004.opt.yml false(unreach-call) 55.66 31.75 None pthread-wmm/mix005.opt.yml false(unreach-call) 73.78 48.20 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 134.94 112.33 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 86.03 56.28 None pthread-wmm/mix006.opt.yml false(unreach-call) 32.48 17.56 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 28.25 16.13 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 46.25 24.39 None pthread-wmm/mix007.oepc.yml false(unreach-call) 139.67 107.62 None pthread-wmm/mix007.opt.yml false(unreach-call) 51.90 36.74 None pthread-wmm/mix008.opt.yml false(unreach-call) 83.15 55.27 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 163.66 129.45 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 39.92 25.23 None pthread-wmm/mix009.oepc.yml false(unreach-call) 16.97 9.81 None pthread-wmm/mix009.opt.yml false(unreach-call) 25.46 13.48 None pthread-wmm/mix010.oepc.yml false(unreach-call) 20.88 12.43 None pthread-wmm/mix010.opt.yml false(unreach-call) 31.84 17.15 None pthread-wmm/mix011.opt.yml false(unreach-call) 26.74 15.47 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 29.14 15.77 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 31.32 16.79 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 16.25 10.10 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 22.15 12.10 None pthread-wmm/mix013.oepc.yml false(unreach-call) 72.35 55.07 None pthread-wmm/mix013.opt.yml false(unreach-call) 48.64 26.69 None pthread-wmm/mix014.opt.yml false(unreach-call) 67.38 41.35 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 92.97 64.56 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 72.31 46.13 None pthread-wmm/mix015.oepc.yml false(unreach-call) 33.10 17.51 None pthread-wmm/mix015.opt.yml false(unreach-call) 33.33 17.42 None pthread-wmm/mix016.oepc.yml false(unreach-call) 20.04 11.59 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 21.77 11.88 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 30.48 16.05 None pthread-wmm/mix017.oepc.yml false(unreach-call) 43.53 27.41 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 42.59 23.39 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 44.98 25.06 None pthread-wmm/mix018.opt.yml false(unreach-call) 46.45 27.09 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 78.92 53.58 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 42.39 22.85 None pthread-wmm/mix019.opt.yml false(unreach-call) 23.75 12.95 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.68 13.94 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 30.87 16.21 None pthread-wmm/mix020.oepc.yml false(unreach-call) 90.29 64.20 None pthread-wmm/mix020.opt.yml false(unreach-call) 38.16 24.41 None pthread-wmm/mix021.opt.yml false(unreach-call) 47.57 31.08 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 108.70 80.10 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 42.16 23.08 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 21.19 11.46 None pthread-wmm/mix022_tso.yml false(unreach-call) 19.57 11.56 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 142.49 110.61 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 89.85 64.29 None pthread-wmm/mix023_tso.yml false(unreach-call) 90.32 63.20 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 20.71 11.46 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 29.51 15.90 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 25.26 13.81 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 32.79 17.26 None pthread-wmm/mix026.oepc.yml false(unreach-call) 154.69 119.73 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 59.79 43.25 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 49.64 29.66 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 83.68 57.60 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 57.43 36.62 None pthread-wmm/mix027_tso.yml false(unreach-call) 89.07 65.89 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.57 13.54 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 47.24 25.52 None pthread-wmm/mix028_tso.yml false(unreach-call) 20.97 11.59 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 60.18 42.90 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 39.61 20.95 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 99.49 71.39 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 106.72 74.13 None pthread-wmm/mix030_tso.yml false(unreach-call) 66.75 43.16 None pthread-wmm/mix031.oepc.yml false(unreach-call) 21.55 11.70 None pthread-wmm/mix031.opt.yml false(unreach-call) 16.91 9.97 None pthread-wmm/mix032.oepc.yml false(unreach-call) 32.61 17.26 None pthread-wmm/mix032.opt.yml false(unreach-call) 22.11 12.94 None pthread-wmm/mix033.opt.yml false(unreach-call) 22.07 12.37 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 35.64 19.26 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 31.82 16.66 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 20.47 11.21 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 15.84 8.70 None pthread-wmm/mix035.oepc.yml false(unreach-call) 24.95 14.37 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 23.16 12.73 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 24.59 13.46 None pthread-wmm/mix036.oepc.yml false(unreach-call) 92.66 63.44 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 50.11 28.74 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 33.48 19.76 None pthread-wmm/mix037.opt.yml false(unreach-call) 49.05 28.73 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 63.83 46.42 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 100.92 68.41 None pthread-wmm/mix038.opt.yml false(unreach-call) 29.53 15.58 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.87 13.90 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 58.54 34.94 None pthread-wmm/mix039.oepc.yml false(unreach-call) 84.43 60.27 None pthread-wmm/mix039.opt.yml false(unreach-call) 49.16 28.40 None pthread-wmm/mix040.opt.yml false(unreach-call) 82.42 62.73 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 152.35 122.76 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 133.34 96.98 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.02 11.80 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.26 13.93 None pthread-wmm/mix042.oepc.yml false(unreach-call) 33.85 17.70 None pthread-wmm/mix042.opt.yml false(unreach-call) 26.57 14.22 None pthread-wmm/mix043.oepc.yml false(unreach-call) 69.44 45.47 None pthread-wmm/mix043.opt.yml false(unreach-call) 42.72 22.41 None pthread-wmm/mix044.opt.yml false(unreach-call) 40.76 22.54 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 111.55 79.16 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 91.67 69.16 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 27.65 14.50 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 54.74 29.73 None pthread-wmm/mix046.oepc.yml false(unreach-call) 134.81 103.54 None pthread-wmm/mix046.opt.yml false(unreach-call) 38.40 20.36 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 232.74 189.75 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 92.58 64.12 None pthread-wmm/mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 19.33 10.58 None pthread-wmm/mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 18.75 11.41 None pthread-wmm/mix050.yml false(unreach-call) 46.36 25.90 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 68.87 44.07 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 24.70 13.59 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 34.45 19.40 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 22.40 12.46 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 24.68 13.30 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 27.21 15.47 None pthread-wmm/mix053.opt.yml false(unreach-call) 28.07 16.11 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 66.80 45.19 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 67.12 41.36 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 15.06 8.68 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 22.47 11.86 None pthread-wmm/mix055.opt.yml false(unreach-call) 67.14 45.67 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 83.08 64.98 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 46.94 25.44 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.46 13.01 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 68.44 40.28 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 249.09 198.67 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml OUT OF MEMORY 736.57 663.75 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 26.95 14.38 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 21.96 11.94 None pthread-wmm/rfi000_tso.yml true 28.08 15.20 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 15.94 8.98 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 24.88 13.63 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 75.26 40.33 None pthread-wmm/rfi002_tso.yml true 76.10 49.65 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.38 9.39 None pthread-wmm/rfi003_tso.yml true 37.14 19.52 None pthread-wmm/rfi004.yml false(unreach-call) 15.43 9.23 None pthread-wmm/rfi005.yml false(unreach-call) 14.48 8.62 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 27.74 15.97 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 34.82 20.04 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 46.53 24.68 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 34.09 19.04 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.16 11.92 None pthread-wmm/rfi007_tso.yml false(unreach-call) 18.62 10.53 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 17.30 9.99 None pthread-wmm/rfi008.opt.yml false(unreach-call) 22.77 12.32 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 21.84 13.24 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 20.06 12.09 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 26.73 14.76 None pthread-wmm/rfi010.yml false(unreach-call) 23.06 12.31 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 60.98 34.32 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 37.27 23.22 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.60 9.30 None pthread-wmm/safe000_rmo.yml false(unreach-call) 55.51 31.12 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 30.89 17.13 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 33.89 19.83 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 27.01 15.59 None pthread-wmm/safe001_tso.yml true 18.31 10.29 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 41.76 24.50 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 38.51 20.92 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 32.24 20.49 None pthread-wmm/safe002_tso.yml true 24.60 12.89 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 68.50 42.21 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 56.65 32.97 None pthread-wmm/safe003_tso.yml true 22.54 11.96 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 28.28 15.05 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 34.81 20.48 None pthread-wmm/safe004_tso.yml true 22.93 12.11 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 28.69 16.88 None pthread-wmm/safe005_tso.yml true 12.23 7.07 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 30.51 16.64 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 37.35 20.06 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.11 8.15 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 19.42 12.22 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 26.76 16.14 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 28.28 16.12 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.24 8.84 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 24.86 14.19 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 32.07 18.00 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 42.01 23.53 None pthread-wmm/safe008_tso.yml true 23.04 12.19 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 36.28 20.38 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 29.91 16.13 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.84 11.16 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 39.27 22.46 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 28.69 17.02 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 27.85 14.61 None pthread-wmm/safe010_tso.yml true 16.70 8.89 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 53.77 28.44 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 31.07 16.99 None pthread-wmm/safe011_tso.yml true 15.96 9.50 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 37.33 20.67 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 28.90 16.53 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 25.74 13.61 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 18.76 11.42 None pthread-wmm/safe012_tso.yml true 12.93 7.23 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 18.05 10.21 None pthread-wmm/safe013_tso.yml true 16.45 9.04 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 26.91 15.01 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 26.70 15.53 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 21.75 11.68 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 26.80 15.79 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 40.81 22.82 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 28.83 16.14 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 64.97 35.61 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 21.35 11.46 None pthread-wmm/safe015_rmo.yml false(unreach-call) 58.22 33.89 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 87.40 66.34 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 204.74 153.21 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 36.41 20.31 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 44.25 27.95 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 43.69 23.91 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 69.66 43.65 None pthread-wmm/safe017_tso.yml true 21.44 11.37 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 24.08 14.42 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 61.40 33.33 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 19.55 10.45 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 19.56 11.24 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 44.21 24.10 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 31.08 19.62 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 139.04 103.30 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 40.35 23.18 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 55.81 32.18 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 168.10 134.24 None pthread-wmm/safe020_power.yml false(unreach-call) 54.58 29.87 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.76 10.96 None pthread-wmm/safe020_rmo.yml false(unreach-call) 47.81 25.18 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 34.18 18.05 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 37.81 19.89 None pthread-wmm/safe021_tso.yml true 19.41 10.31 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.91 10.70 None pthread-wmm/safe022_tso.yml true 15.35 8.39 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 69.72 36.94 None pthread-wmm/safe023_tso.yml true 16.42 8.94 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 29.79 15.97 None pthread-wmm/safe024_tso.yml true 21.22 11.13 None pthread-wmm/safe025_power.yml false(unreach-call) 34.51 20.01 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.62 9.47 None pthread-wmm/safe025_rmo.yml false(unreach-call) 55.93 30.92 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.30 11.90 None pthread-wmm/safe026_tso.yml true 16.91 9.24 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 49.61 28.46 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 115.67 73.54 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 25.24 14.27 None pthread-wmm/safe027_rmo.yml false(unreach-call) 48.46 27.03 None pthread-wmm/safe028_power.yml false(unreach-call) 31.65 17.63 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.34 9.37 None pthread-wmm/safe028_rmo.yml false(unreach-call) 40.93 21.93 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 35.60 18.52 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 27.78 14.79 None pthread-wmm/safe029_tso.yml true 11.19 6.27 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 35.84 20.83 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 35.07 19.95 None pthread-wmm/safe030_tso.yml true 16.66 8.94 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 32.00 17.00 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 37.30 20.10 None pthread-wmm/safe031_tso.yml true 21.37 11.32 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 107.31 79.79 None pthread-wmm/safe032_tso.yml true 12.15 7.10 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.04 11.60 None pthread-wmm/safe033_tso.yml true 16.04 8.80 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 25.34 13.76 None pthread-wmm/safe034_tso.yml true 14.76 8.11 None pthread-wmm/safe035_power.yml true 83.90 50.19 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 21.58 11.45 None pthread-wmm/safe036.yml true 15.95 8.55 None pthread-wmm/safe037.yml true 14.04 7.71 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 31.91 18.25 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 41.30 22.66 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.18 8.43 None pthread-wmm/thin002_rmo.yml false(unreach-call) 66.92 42.89 None pthread-lit/qw2004-2b.yml false(unreach-call) 13.65 7.69 None ldv-races/race-1_1-join.yml true 15.77 8.73 None ldv-races/race-1_2-join.yml false(unreach-call) 12.08 7.09 None ldv-races/race-1_3-join.yml false(unreach-call) 17.41 9.55 None ldv-races/race-2_1-container_of.yml false(no-overflow) 29.85 18.95 None ldv-races/race-2_2-container_of.yml false(no-overflow) 20.09 13.36 None ldv-races/race-2_3-container_of.yml false(no-overflow) 28.11 17.32 None ldv-races/race-2_4-container_of.yml false(no-overflow) 28.67 17.28 None ldv-races/race-2_5-container_of.yml false(no-overflow) 20.57 13.07 None ldv-races/race-3_1-container_of-global.yml false(no-overflow) 29.47 18.27 None ldv-races/race-3_2-container_of-global.yml false(no-overflow) 28.74 18.81 None ldv-races/race-4_1-thread_local_vars.yml true 34.77 19.65 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 32.77 17.36 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 32.83 18.46 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 399.13 255.15 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 902.13 596.76 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT (ERROR: EXCEPTION) 902.36 735.03 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 901.22 734.81 None pthread-complex/bounded_buffer.yml TIMEOUT 902.64 871.56 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.75 879.97 None pthread-complex/safestack_relacy.yml TIMEOUT 900.92 852.54 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 902.14 828.77 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 391.50 365.82 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 440.79 402.37 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml TIMEOUT 912.82 690.38 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml TIMEOUT 901.44 860.00 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 901.04 869.22 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml TIMEOUT 901.97 848.52 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 900.79 848.97 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 666.94 587.78 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 629.82 591.97 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml TIMEOUT 900.84 845.92 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 589.82 555.62 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 901.10 846.54 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml TIMEOUT (ERROR: EXCEPTION) 901.94 864.47 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml TIMEOUT (ERROR: EXCEPTION) 902.08 840.22 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 525.92 505.32 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 497.88 457.09 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 411.95 376.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml TIMEOUT (ERROR: EXCEPTION) 901.86 871.66 None pthread-C-DAC/pthread-demo-datarace-1.yml OUT OF MEMORY 400.82 290.43 None pthread-C-DAC/pthread-demo-datarace-3.yml TIMEOUT 904.78 804.31 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 7.77 4.18 None pthread-C-DAC/pthread-numerical-integration.yml unknown 7.42 4.05 None pthread-divine/ring_2w1r-1.yml OUT OF MEMORY 208.40 150.49 None pthread-divine/tls_basic.yml unknown 6.90 3.81 None pthread-divine/tls_destructor_worker.yml unknown 7.26 3.92 None goblint-regression/04-mutex_02-simple_nr.yml true 13.69 7.45 None goblint-regression/04-mutex_04-munge_nr.yml true 13.39 7.34 None goblint-regression/04-mutex_05-lockfuns.yml true 14.01 7.52 None goblint-regression/04-mutex_07-ps_nr.yml true 14.97 8.02 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 16.84 9.23 None goblint-regression/04-mutex_12-ptr_nr.yml true 15.37 8.49 None goblint-regression/04-mutex_15-funarg_nr.yml true 11.54 6.54 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 17.50 9.46 None goblint-regression/04-mutex_17a-ps_add1_nr.yml false(no-overflow) 13.83 7.65 None goblint-regression/04-mutex_18-glob_guards.yml true 6.75 3.87 None goblint-regression/04-mutex_22-deref_read.yml true 8.11 4.58 None goblint-regression/04-mutex_28-base_nr.yml true 10.65 6.00 None goblint-regression/04-mutex_36-trylock_nr-overflow.yml false(no-overflow) 33.22 22.26 None goblint-regression/04-mutex_36-trylock_nr.yml OUT OF MEMORY 443.13 275.48 None goblint-regression/04-mutex_41-pt_rwlock.yml true 14.02 7.60 None goblint-regression/04-mutex_42-trylock_2mutex.yml true 11.88 6.72 None goblint-regression/04-mutex_43-thread_create_nr.yml true 14.18 7.87 None goblint-regression/04-mutex_46-escape_nr.yml true 13.39 7.39 None goblint-regression/04-mutex_46a-escape_nr.yml false(no-overflow) 14.88 8.11 None goblint-regression/04-mutex_51-mutex_ptr.yml true 12.01 6.75 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml true 13.74 7.39 None goblint-regression/05-lval_ls_02-idx_nr.yml true 15.73 8.77 None goblint-regression/05-lval_ls_04-fld_nr.yml true 10.92 6.09 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 16.42 8.80 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 901.61 867.06 None goblint-regression/06-symbeq_05-funloop_hard2.yml TIMEOUT 901.11 849.40 None goblint-regression/06-symbeq_06-tricky_address1.yml true 19.62 11.18 None goblint-regression/06-symbeq_07-tricky_address2.yml true 19.95 11.24 None goblint-regression/06-symbeq_08-tricky_address3.yml true 21.38 12.07 None goblint-regression/06-symbeq_11-equ_nr.yml true 13.01 7.06 None goblint-regression/06-symbeq_11a-equ_nr.yml false(no-overflow) 14.20 7.89 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 8.79 5.00 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 20.53 10.82 None goblint-regression/06-symbeq_23-idxsense_nr.yml true 19.10 10.78 None goblint-regression/09-regions_02-list_nr.yml true 9.40 5.17 None goblint-regression/09-regions_04-list2_nr.yml true 122.82 108.00 None goblint-regression/09-regions_06-ptra_nr.yml true 8.79 4.92 None goblint-regression/09-regions_17-arrayloop_nr.yml true 23.61 14.47 None goblint-regression/09-regions_21-arrayloop2_nr.yml TIMEOUT 902.29 866.93 None goblint-regression/09-regions_22-nocollapse.yml TIMEOUT 902.33 867.00 None goblint-regression/09-regions_24-evilcollapse_nr.yml TIMEOUT 902.21 857.22 None goblint-regression/10-synch_01-thread_unique.yml true 8.72 4.85 None goblint-regression/10-synch_03-two_unique.yml true 8.39 4.76 None goblint-regression/13-privatized_01-priv_nr_true.yml true 19.29 10.37 None goblint-regression/13-privatized_03-priv_inv.yml true 15.70 8.83 None goblint-regression/13-privatized_04-priv_multi_true.yml TIMEOUT 910.58 668.79 None goblint-regression/13-privatized_18-first-reads_true.yml true 10.81 6.34 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 9.85 6.18 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 9.88 5.76 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 10.21 6.02 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 9.71 5.88 None goblint-regression/13-privatized_19-publish-precision_true.yml true 11.49 6.86 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 9.69 5.81 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 10.40 6.23 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 11.52 7.03 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 10.48 6.50 None goblint-regression/13-privatized_20-publish-regression_true.yml true 12.58 7.54 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 17.67 10.56 None goblint-regression/13-privatized_25-struct_nr_true.yml true 14.08 8.16 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 21.16 12.05 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 15.15 9.06 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 11.12 6.93 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 11.81 7.09 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 13.58 8.04 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.67 7.08 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 14.10 8.27 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 11.30 6.73 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 11.20 6.56 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 10.95 6.36 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 11.47 6.76 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 11.31 6.75 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 10.23 5.91 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 11.86 7.05 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 11.55 6.98 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 11.26 6.50 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 11.30 6.53 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 9.58 5.71 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 9.81 5.59 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 12.56 7.48 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 9.70 5.77 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 10.39 6.03 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 8.38 4.90 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 12.67 7.57 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 12.13 7.83 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 13.38 7.99 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml TIMEOUT 900.92 839.23 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml TIMEOUT 901.25 828.12 None goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 226.88 182.31 None goblint-regression/28-race_reach_02-simple_racefree.yml TIMEOUT 901.72 785.15 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 183.89 115.68 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 276.26 159.54 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml OUT OF MEMORY 204.81 153.09 None goblint-regression/28-race_reach_06-cond_racing1.yml TIMEOUT 902.30 754.38 None goblint-regression/28-race_reach_07-cond_racing2.yml TIMEOUT 901.58 799.48 None goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 314.22 239.33 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 252.56 153.02 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 242.92 147.99 None goblint-regression/28-race_reach_11-ptr_racing.yml TIMEOUT 901.76 756.77 None goblint-regression/28-race_reach_12-ptr_racefree.yml TIMEOUT 901.14 769.96 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 307.21 208.49 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 443.33 278.65 None goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 329.45 219.49 None goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 187.88 144.97 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 7.06 3.95 None goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 377.58 301.74 None goblint-regression/28-race_reach_27-funptr_racing.yml OUT OF MEMORY 340.45 197.41 None goblint-regression/28-race_reach_28-funptr_racefree.yml OUT OF MEMORY 347.24 279.65 None goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 279.27 198.86 None goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 360.62 229.72 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 7.20 3.98 None goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 151.05 106.90 None goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 193.99 143.01 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 18.77 10.26 None goblint-regression/28-race_reach_46-escape_racefree.yml true 19.08 10.62 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 273.94 197.76 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 657.96 424.78 None goblint-regression/28-race_reach_61-invariant_racing.yml OUT OF MEMORY 360.91 223.25 None goblint-regression/28-race_reach_70-funloop_racefree.yml OUT OF MEMORY 635.35 590.22 None goblint-regression/28-race_reach_71-funloop_racing.yml OUT OF MEMORY 899.49 816.57 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml OUT OF MEMORY 689.98 650.86 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml OUT OF MEMORY 785.64 712.39 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml TIMEOUT 902.74 836.00 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml TIMEOUT (ERROR: EXCEPTION) 903.04 841.29 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml TIMEOUT 902.07 830.76 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml TIMEOUT (ERROR: EXCEPTION) 902.27 854.07 None goblint-regression/28-race_reach_78-equ_racing-overflow.yml false(no-overflow) 19.07 12.27 None goblint-regression/28-race_reach_78-equ_racing.yml TIMEOUT 906.13 716.34 None goblint-regression/28-race_reach_79-equ_racefree-overflow.yml false(no-overflow) 24.83 15.04 None goblint-regression/28-race_reach_79-equ_racefree.yml TIMEOUT 902.87 635.46 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 258.68 159.47 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 256.25 157.63 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 361.63 226.95 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 372.37 257.59 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 375.04 234.07 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 901.86 872.55 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 901.83 874.52 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 903.13 818.61 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 901.97 877.84 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 901.91 877.84 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 902.24 868.18 None goblint-regression/28-race_reach_94-alloc_region_racing.yml false(unreach-call) 21.21 14.55 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 10.40 6.38 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 10.04 6.10 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 11.48 6.94 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 10.77 6.37 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 29.72 16.87 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true.yml false(no-overflow) 16.77 9.94 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 22.88 14.26 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 8.84 5.17 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 8.55 5.06 None weaver/array-eq-symm.wvr.yml TIMEOUT 902.42 823.19 None weaver/array-eq-trans.wvr.yml TIMEOUT 901.80 815.94 None weaver/bench-exp1x3.wvr.yml TIMEOUT 900.93 883.61 None weaver/bench-exp2x3.wvr.yml TIMEOUT 902.08 874.72 None weaver/bench-exp2x4.wvr.yml TIMEOUT 901.71 888.76 None weaver/bench-exp2x6.wvr.yml TIMEOUT 901.68 881.11 None weaver/bench-exp2x9.wvr.yml TIMEOUT 901.73 881.91 None weaver/bench-exp3x3-opt.wvr.yml TIMEOUT 901.20 874.54 None weaver/bench-exp3x3.wvr.yml TIMEOUT 902.22 859.89 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 341.38 262.46 None weaver/chl-array-int-symm.wvr.yml TIMEOUT 901.22 782.93 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 289.38 216.88 None weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 901.56 806.44 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 900.76 801.66 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 901.13 850.67 None weaver/chl-chromosome-trans.wvr.yml TIMEOUT 900.81 796.74 None weaver/chl-collitem-subst.wvr.yml TIMEOUT 901.35 813.00 None weaver/chl-collitem-symm.wvr.yml true 96.32 63.73 None weaver/chl-collitem-trans.wvr.yml true 565.11 488.57 None weaver/chl-exp-term-subst.wvr.yml true 64.26 35.90 None weaver/chl-exp-term-symm.wvr.yml true 32.29 18.50 None weaver/chl-file-item-subst.wvr.yml true 72.21 40.84 None weaver/chl-file-item-symm.wvr.yml true 37.04 20.97 None weaver/chl-file-item-trans.wvr.yml true 51.12 28.87 None weaver/chl-match-subst.wvr.yml true 103.65 61.57 None weaver/chl-match-symm.wvr.yml true 42.80 28.18 None weaver/chl-match-trans.wvr.yml true 92.12 56.41 None weaver/chl-name-comparator-subst.wvr.yml TIMEOUT 901.62 798.68 None weaver/chl-name-comparator-symm.wvr.yml TIMEOUT 901.71 750.06 None weaver/chl-name-comparator-trans.wvr.yml TIMEOUT 901.65 757.17 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 688.07 593.38 None weaver/chl-node-symm.wvr.yml TIMEOUT 901.24 842.46 None weaver/chl-node-trans.wvr.yml TIMEOUT 901.78 805.71 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 253.96 191.54 None weaver/chl-nzb-file-symm.wvr.yml TIMEOUT 900.74 770.20 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 251.75 191.68 None weaver/chl-poker-hand-subst.wvr.yml OUT OF MEMORY 597.30 490.26 None weaver/chl-poker-hand-symm.wvr.yml ERROR: EXCEPTION 642.66 530.63 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 902.07 798.23 None weaver/chl-simpl-str-subst.wvr.yml true 55.07 30.61 None weaver/chl-simpl-str-symm.wvr.yml true 29.00 16.50 None weaver/chl-simpl-str-trans.wvr.yml true 44.08 25.19 None weaver/chl-sre-subst.wvr.yml true 27.73 14.72 None weaver/chl-sre-symm.wvr.yml true 11.52 6.85 None weaver/chl-sre-trans.wvr.yml true 15.30 8.50 None weaver/chl-time-subst.wvr.yml TIMEOUT 900.72 866.32 None weaver/chl-time-symm.wvr.yml true 53.24 30.15 None weaver/chl-time-trans.wvr.yml true 136.20 85.83 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 734.89 563.77 None weaver/chl-word-symm.wvr.yml TIMEOUT 901.24 766.38 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 168.16 122.22 None weaver/clever.wvr.yml TIMEOUT 901.96 818.84 None weaver/fibonacci.wvr.yml TIMEOUT 900.77 795.54 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 901.17 840.99 None weaver/mult-comm.wvr.yml TIMEOUT 901.83 857.17 None weaver/mult-dist.wvr.yml TIMEOUT 900.64 823.04 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 901.55 830.51 None weaver/parallel-bakery-2.wvr.yml true 23.24 12.73 None weaver/parallel-bakery-3.wvr.yml TIMEOUT 901.45 680.99 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 431.93 263.69 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 75.45 48.10 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 341.11 258.81 None weaver/parallel-bluetooth.wvr.yml true 22.46 12.41 None weaver/parallel-lamport.wvr.yml true 118.69 73.11 None weaver/parallel-min-max-1.wvr.yml true 50.99 28.73 None weaver/parallel-misc-1.wvr.yml TIMEOUT (ERROR: EXCEPTION) 902.99 804.51 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 18.57 10.54 None weaver/parallel-misc-2-unrolled.wvr.yml true 18.68 10.09 None weaver/parallel-misc-2.wvr.yml TIMEOUT 901.77 856.89 None weaver/parallel-misc-3-extended.wvr.yml TIMEOUT 901.29 851.04 None weaver/parallel-misc-3.wvr.yml TIMEOUT 900.85 833.00 None weaver/parallel-misc-4.wvr.yml TIMEOUT 905.22 719.50 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 844.75 736.83 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 164.33 125.17 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 187.04 149.65 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 160.76 125.55 None weaver/parallel-parallel-sum-equiv.wvr.yml OUT OF MEMORY 233.79 191.56 None weaver/parallel-simple-equiv.wvr.yml true 16.06 8.84 None weaver/parallel-ticket-2.wvr.yml true 17.88 9.72 None weaver/parallel-ticket-3.wvr.yml true 32.97 17.36 None weaver/parallel-ticket-4.wvr.yml true 63.17 35.94 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 164.40 122.84 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 249.96 143.17 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 199.94 121.68 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 257.16 148.80 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 193.03 141.31 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 196.68 147.24 None weaver/popl20-bad-commit-1.wvr-bad.yml TIMEOUT 901.21 815.86 None weaver/popl20-bad-commit-2.wvr-bad.yml TIMEOUT 901.01 845.68 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 195.11 141.45 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 901.32 837.08 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 901.69 838.50 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 195.64 145.05 None weaver/popl20-bad-ring-nondet.wvr.yml OUT OF MEMORY 426.12 326.57 None weaver/popl20-bad-ring.wvr.yml OUT OF MEMORY 421.97 335.22 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 900.88 828.24 None weaver/popl20-bad-three-array-sum-alt.wvr.yml TIMEOUT 901.35 773.83 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 901.81 801.93 None weaver/popl20-commit-1.wvr.yml TIMEOUT 901.19 835.94 None weaver/popl20-commit-2.wvr.yml TIMEOUT 901.09 860.16 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 570.27 435.91 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 901.10 830.02 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 175.17 137.43 None weaver/popl20-figure1-alt.wvr.yml TIMEOUT 904.89 793.50 None weaver/popl20-figure1.wvr.yml TIMEOUT 901.24 843.17 None weaver/popl20-figure3.wvr.yml TIMEOUT 903.60 825.22 None weaver/popl20-horseshoe.wvr.yml OUT OF MEMORY 718.25 641.23 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 769.21 649.96 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 151.45 117.27 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 674.66 569.54 None weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 228.89 185.94 None weaver/popl20-more-array-sum-alt2.wvr.yml OUT OF MEMORY 373.38 320.76 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 901.23 831.00 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 902.14 814.21 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 198.25 149.94 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 186.67 140.06 None weaver/popl20-more-buffer-series.wvr.yml OUT OF MEMORY 194.26 142.94 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 168.65 124.24 None weaver/popl20-more-dec-subseq.wvr.yml TIMEOUT 901.62 824.46 None weaver/popl20-more-inc-subseq.wvr.yml TIMEOUT 901.31 845.62 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.21 841.94 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.09 827.04 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 900.99 837.39 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.43 830.56 None weaver/popl20-more-min-le-max.wvr.yml true 24.98 15.96 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 280.40 232.89 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 901.13 848.70 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 901.69 847.09 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 901.68 835.24 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 901.82 806.37 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 842.05 761.94 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 901.46 809.39 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 901.47 834.51 None weaver/popl20-mult-4.wvr.yml TIMEOUT 902.64 846.48 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 905.12 803.77 None weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 901.36 808.12 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.45 851.15 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 297.56 229.84 None weaver/popl20-prod-cons.wvr.yml OUT OF MEMORY 656.21 552.62 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 903.40 758.63 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 914.64 673.90 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 901.38 785.72 None weaver/popl20-queue-add-3.wvr.yml OUT OF MEMORY 607.06 505.70 None weaver/popl20-send-receive-alt.wvr.yml TIMEOUT (ERROR: EXCEPTION) 903.00 786.40 None weaver/popl20-send-receive.wvr.yml TIMEOUT 904.68 837.79 None weaver/popl20-simple-array-sum.wvr.yml true 86.18 64.68 None weaver/popl20-simple-queue.wvr.yml TIMEOUT 912.69 761.20 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 901.52 820.37 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 901.48 814.32 None weaver/popl20-three-array-min.wvr.yml TIMEOUT 901.21 818.73 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 901.08 851.53 None weaver/popl20-two-queue.wvr.yml TIMEOUT 900.86 808.08 None weaver/security.wvr.yml true 11.29 6.42 None weaver/spaghetti.wvr.yml true 12.26 6.79 None weaver/test-context1.wvr.yml TIMEOUT 913.13 670.26 None weaver/test-easy1.wvr.yml true 16.63 10.77 None weaver/test-easy10.wvr.yml OUT OF MEMORY 532.00 455.74 None weaver/test-easy11.wvr.yml true 48.97 28.34 None weaver/test-easy6.wvr.yml true 22.10 11.64 None weaver/test-easy7.wvr.yml true 14.00 7.78 None weaver/test-easy8.wvr.yml true 12.60 6.94 None weaver/test-hard1.wvr.yml OUT OF MEMORY 688.52 613.67 None weaver/test-semi1.wvr.yml true 15.19 8.38 None weaver/unroll-2.wvr.yml TIMEOUT 901.15 802.29 None weaver/unroll-3.wvr.yml TIMEOUT 901.87 854.93 None weaver/unroll-4.wvr.yml TIMEOUT 901.92 838.10 None weaver/unroll-5.wvr.yml TIMEOUT 902.07 820.22 None weaver/unroll-cond-2.wvr.yml TIMEOUT 901.81 812.82 None weaver/unroll-cond-3.wvr.yml TIMEOUT 900.76 825.15 None weaver/unroll-cond-4.wvr.yml TIMEOUT 901.18 833.06 None weaver/unroll-cond-5.wvr.yml TIMEOUT 901.28 851.04 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 32.78 19.87 None pthread-deagle/arithmetic_prog_ok.yml true 42.01 24.89 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 26.54 16.64 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 901.14 879.01 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 3 done 188302.55 23571.94 - Statistics: 2136 Files correct: 541 correct true: 522 correct false: 19 incorrect: 846 incorrect true: 0 incorrect false: 846 unknown: 749 Score: -12473 (max: 4251)