BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency-cfgbuilder-comparison.xml name: concurrency-cfgbuilder-comparison run sets: AutomizerFA-RCFG.SVCOMP-ConcurrencySafety-Main, AutomizerPN-RCFG.SVCOMP-ConcurrencySafety-Main, AutomizerFA-ICFG.SVCOMP-ConcurrencySafety-Main, AutomizerPN-ICFG.SVCOMP-ConcurrencySafety-Main date: Sun, 2025-04-13 16:53:24 CEST tool: ULTIMATE Automizer 0.3.0-94356eae tool executable: ./Ultimate.py options: --force-no-wrapper parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-6.8.12-5-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ AutomizerFA-RCFG.SVCOMP-ConcurrencySafety-Main Run set 1 of 6 with options '--force-no-wrapper -tc ${benchmark_path}/../../../trunk/examples/toolchains/AutomizerCInline.xml -s ${benchmark_path}/../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf --traceabstraction.automaton.type.used.in.concurrency.analysis FINITE_AUTOMATA' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 15.45 9.77 None pthread/bigshot_s2.yml true 14.97 9.73 None pthread/butterfly.yml OUT OF MEMORY 89.64 55.27 None pthread/fib_safe-10.yml TIMEOUT 901.51 806.79 None pthread/fib_safe-11.yml TIMEOUT 903.26 777.43 None pthread/fib_safe-12.yml TIMEOUT 901.76 760.00 None pthread/fib_safe-5.yml OUT OF MEMORY 474.24 412.37 None pthread/fib_safe-6.yml TIMEOUT 903.67 743.65 None pthread/fib_safe-7.yml TIMEOUT 903.44 757.24 None pthread/fib_unsafe-10.yml TIMEOUT 901.66 813.01 None pthread/fib_unsafe-11.yml TIMEOUT 903.25 774.91 None pthread/fib_unsafe-12.yml TIMEOUT 902.59 757.37 None pthread/fib_unsafe-5.yml OUT OF MEMORY 689.80 569.35 None pthread/fib_unsafe-6.yml TIMEOUT 901.07 783.97 None pthread/fib_unsafe-7.yml TIMEOUT 903.34 767.19 None pthread/lazy01.yml false(unreach-call) 11.44 7.33 None pthread/queue.yml false(unreach-call) 19.68 11.29 None pthread/queue_longer.yml false(unreach-call) 72.83 48.19 None pthread/queue_longest.yml false(unreach-call) 164.32 123.46 None pthread/queue_ok.yml TIMEOUT 900.81 871.29 None pthread/queue_ok_longer.yml TIMEOUT 902.08 882.07 None pthread/queue_ok_longest.yml OUT OF MEMORY 624.58 595.78 None pthread/reorder_2.yml OUT OF MEMORY 121.93 72.75 None pthread/reorder_5.yml OUT OF MEMORY 122.01 73.43 None pthread/singleton.yml false(unreach-call) 11.66 7.40 None pthread/singleton_with-uninit-problems.yml true 12.24 7.68 None pthread/stack-1.yml true 40.76 24.72 None pthread/stack-2.yml false(unreach-call) 17.71 10.80 None pthread/stack_longer-1.yml false(unreach-call) 29.08 16.50 None pthread/stack_longer-2.yml ERROR: EXCEPTION 468.71 396.56 None pthread/stack_longest-1.yml false(unreach-call) 38.67 24.86 None pthread/stack_longest-2.yml TIMEOUT 902.28 767.89 None pthread/stateful01-1.yml false(unreach-call) 9.88 6.79 None pthread/stateful01-2.yml true 11.57 7.30 None pthread/sync01.yml true 17.31 10.27 None pthread/triangular-1.yml true 17.94 11.26 None pthread/triangular-2.yml false(unreach-call) 20.77 12.87 None pthread/triangular-longer-1.yml true 23.40 15.19 None pthread/triangular-longer-2.yml false(unreach-call) 24.06 14.86 None pthread/triangular-longest-1.yml true 36.06 23.57 None pthread/triangular-longest-2.yml false(unreach-call) 32.84 21.70 None pthread/twostage_3.yml OUT OF MEMORY 86.19 56.53 None pthread-atomic/dekker-unfair.yml true 10.05 6.71 None pthread-atomic/dekker.yml true 10.42 6.83 None pthread-atomic/lamport.yml true 10.13 6.81 None pthread-atomic/peterson.yml true 10.12 6.47 None pthread-atomic/read_write_lock-1.yml true 10.94 6.94 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 24.65 14.05 None pthread-atomic/szymanski.yml true 9.54 6.40 None pthread-atomic/time_var_mutex.yml true 10.35 6.69 None pthread-ext/01b_inc.yml OUT OF MEMORY 107.52 67.09 None pthread-ext/02_inc_cas.yml OUT OF MEMORY 132.93 82.55 None pthread-ext/03_incdec.yml OUT OF MEMORY 104.08 65.44 None pthread-ext/04_incdec_cas.yml OUT OF MEMORY 125.41 74.71 None pthread-ext/08_rand_cas.yml OUT OF MEMORY 115.24 68.12 None pthread-ext/09_fmaxsym-zero.yml OUT OF MEMORY 131.11 82.62 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 93.95 61.80 None pthread-ext/11_fmaxsymopt-zero.yml OUT OF MEMORY 95.57 60.51 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 103.51 66.84 None pthread-ext/14_spin2003.yml OUT OF MEMORY 91.32 57.36 None pthread-ext/18_read_write_lock.yml true 11.28 7.18 None pthread-ext/25_stack.yml OUT OF MEMORY 116.37 76.81 None pthread-ext/25_stack_longer-1.yml TIMEOUT 905.63 894.81 None pthread-ext/25_stack_longer-2.yml TIMEOUT 905.60 895.65 None pthread-ext/25_stack_longest-1.yml TIMEOUT 901.10 875.62 None pthread-ext/25_stack_longest-2.yml TIMEOUT 905.94 879.11 None pthread-ext/26_stack_cas.yml OUT OF MEMORY 103.37 67.50 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 905.58 894.70 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 905.57 895.26 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 905.97 881.18 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 901.25 873.18 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 9.59 6.45 None pthread-ext/29_conditionals_vs.yml ERROR: EXCEPTION 9.30 6.08 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 95.12 63.69 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 142.96 96.40 None pthread-ext/36_stack_cas_p0_vs_concur.yml OUT OF MEMORY 90.42 57.31 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 100.35 64.15 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 98.29 59.37 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 107.69 65.78 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml OUT OF MEMORY 88.36 53.62 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: EXCEPTION 10.22 6.61 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 191.83 123.35 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 107.65 66.43 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 90.29 61.49 None pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR: EXCEPTION 9.20 6.14 None pthread-wmm/mix000.oepc.yml false(unreach-call) 17.20 10.16 None pthread-wmm/mix000.opt.yml false(unreach-call) 17.42 10.14 None pthread-wmm/mix001.oepc.yml false(unreach-call) 22.32 12.62 None pthread-wmm/mix001.opt.yml false(unreach-call) 20.35 11.90 None pthread-wmm/mix002.oepc.yml false(unreach-call) 24.09 13.52 None pthread-wmm/mix002.opt.yml false(unreach-call) 19.98 11.70 None pthread-wmm/mix003.oepc.yml false(unreach-call) 20.74 11.79 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 19.98 11.70 None pthread-wmm/mix004.oepc.yml false(unreach-call) 39.53 22.29 None pthread-wmm/mix004.opt.yml false(unreach-call) 39.55 22.08 None pthread-wmm/mix005.opt.yml false(unreach-call) 43.09 24.84 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 47.92 27.05 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 38.80 21.26 None pthread-wmm/mix006.opt.yml false(unreach-call) 20.71 11.73 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.41 11.58 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 24.71 13.92 None pthread-wmm/mix007.oepc.yml false(unreach-call) 49.81 28.18 None pthread-wmm/mix007.opt.yml false(unreach-call) 45.72 25.30 None pthread-wmm/mix008.opt.yml false(unreach-call) 46.69 27.22 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 46.88 26.72 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 37.69 20.87 None pthread-wmm/mix009.oepc.yml false(unreach-call) 15.31 9.31 None pthread-wmm/mix009.opt.yml false(unreach-call) 17.46 10.16 None pthread-wmm/mix010.oepc.yml false(unreach-call) 20.49 11.68 None pthread-wmm/mix010.opt.yml false(unreach-call) 22.12 12.74 None pthread-wmm/mix011.opt.yml false(unreach-call) 18.62 10.77 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.06 12.67 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 20.44 11.68 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 13.93 8.44 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 15.04 8.90 None pthread-wmm/mix013.oepc.yml false(unreach-call) 42.36 23.84 None pthread-wmm/mix013.opt.yml false(unreach-call) 41.25 22.97 None pthread-wmm/mix014.opt.yml false(unreach-call) 44.05 24.93 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.96 25.30 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 50.84 28.15 None pthread-wmm/mix015.oepc.yml false(unreach-call) 22.38 12.66 None pthread-wmm/mix015.opt.yml false(unreach-call) 21.08 11.98 None pthread-wmm/mix016.oepc.yml false(unreach-call) 18.38 10.73 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 18.98 10.93 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 20.20 11.79 None pthread-wmm/mix017.oepc.yml false(unreach-call) 41.03 22.70 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 32.51 18.29 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 39.05 21.37 None pthread-wmm/mix018.opt.yml false(unreach-call) 37.44 21.15 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 45.06 25.04 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 41.46 23.47 None pthread-wmm/mix019.opt.yml false(unreach-call) 19.81 11.44 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.69 11.87 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 19.91 11.48 None pthread-wmm/mix020.oepc.yml false(unreach-call) 44.10 25.13 None pthread-wmm/mix020.opt.yml false(unreach-call) 38.28 21.23 None pthread-wmm/mix021.opt.yml false(unreach-call) 40.31 23.97 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 38.54 22.30 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 33.69 18.60 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 14.57 8.85 None pthread-wmm/mix022_tso.yml false(unreach-call) 19.90 11.40 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 44.74 25.64 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 37.10 21.68 None pthread-wmm/mix023_tso.yml false(unreach-call) 61.57 35.90 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 23.40 13.31 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 23.59 13.33 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 22.55 12.76 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 19.19 11.18 None pthread-wmm/mix026.oepc.yml false(unreach-call) 41.44 23.08 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 39.92 22.75 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 34.65 19.37 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 37.42 20.85 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 39.41 22.23 None pthread-wmm/mix027_tso.yml false(unreach-call) 38.95 21.37 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 19.85 11.32 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 23.07 13.17 None pthread-wmm/mix028_tso.yml false(unreach-call) 20.44 11.73 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 42.55 23.81 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 39.12 21.40 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.04 24.78 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 37.48 20.61 None pthread-wmm/mix030_tso.yml false(unreach-call) 32.83 18.07 None pthread-wmm/mix031.oepc.yml false(unreach-call) 17.48 10.12 None pthread-wmm/mix031.opt.yml false(unreach-call) 14.89 9.02 None pthread-wmm/mix032.oepc.yml false(unreach-call) 23.08 13.21 None pthread-wmm/mix032.opt.yml false(unreach-call) 20.22 11.61 None pthread-wmm/mix033.opt.yml false(unreach-call) 17.52 10.37 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.55 11.81 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 21.15 11.93 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 15.41 9.28 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 14.07 8.65 None pthread-wmm/mix035.oepc.yml false(unreach-call) 20.65 11.94 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 20.07 11.64 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 19.27 11.21 None pthread-wmm/mix036.oepc.yml false(unreach-call) 50.37 27.89 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 38.29 21.32 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 35.57 20.13 None pthread-wmm/mix037.opt.yml false(unreach-call) 35.79 19.90 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 50.04 28.57 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 35.69 19.74 None pthread-wmm/mix038.opt.yml false(unreach-call) 18.80 10.81 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 23.08 13.11 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 21.38 12.12 None pthread-wmm/mix039.oepc.yml false(unreach-call) 45.56 25.98 None pthread-wmm/mix039.opt.yml false(unreach-call) 35.93 19.93 None pthread-wmm/mix040.opt.yml false(unreach-call) 41.65 24.46 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 51.02 29.45 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 35.17 19.16 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 15.22 9.12 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 17.14 9.97 None pthread-wmm/mix042.oepc.yml false(unreach-call) 21.12 12.24 None pthread-wmm/mix042.opt.yml false(unreach-call) 20.30 11.69 None pthread-wmm/mix043.oepc.yml false(unreach-call) 50.12 28.04 None pthread-wmm/mix043.opt.yml false(unreach-call) 33.78 18.85 None pthread-wmm/mix044.opt.yml false(unreach-call) 33.97 18.79 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 45.52 26.13 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 37.96 20.91 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.47 11.80 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 21.91 12.53 None pthread-wmm/mix046.oepc.yml false(unreach-call) 41.31 23.41 None pthread-wmm/mix046.opt.yml false(unreach-call) 33.82 18.65 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 48.58 28.73 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 34.26 18.78 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) 15.81 9.45 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) 20.72 11.90 None pthread-wmm/mix050.yml false(unreach-call) 34.16 18.79 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 41.25 23.03 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 30.35 17.21 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 35.14 19.37 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 18.29 10.73 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 17.86 10.36 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 21.46 12.32 None pthread-wmm/mix053.opt.yml false(unreach-call) 36.17 20.35 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.24 24.19 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 34.13 18.65 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 15.89 9.44 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 16.02 9.44 None pthread-wmm/mix055.opt.yml false(unreach-call) 33.78 18.74 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 46.15 26.16 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 36.21 19.85 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 19.44 11.24 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 19.95 11.59 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 40.45 22.74 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 34.04 18.53 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 23.36 13.08 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 16.58 9.90 None pthread-wmm/rfi000_tso.yml true 27.59 16.61 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 14.89 10.04 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 17.17 9.98 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 22.36 12.59 None pthread-wmm/rfi002_tso.yml true 38.94 22.56 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 14.52 8.85 None pthread-wmm/rfi003_tso.yml true 21.73 12.29 None pthread-wmm/rfi004.yml false(unreach-call) 13.49 8.46 None pthread-wmm/rfi005.yml false(unreach-call) 11.74 7.42 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 19.10 11.14 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 21.90 12.44 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.96 15.19 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 21.25 12.43 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.88 9.45 None pthread-wmm/rfi007_tso.yml false(unreach-call) 18.90 11.83 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 18.48 10.83 None pthread-wmm/rfi008.opt.yml false(unreach-call) 17.46 10.25 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 19.56 11.55 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 23.55 13.24 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 19.22 11.02 None pthread-wmm/rfi010.yml false(unreach-call) 15.05 8.99 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 25.83 14.59 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 37.42 20.60 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.77 8.36 None pthread-wmm/safe000_rmo.yml false(unreach-call) 26.05 14.56 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 27.97 15.54 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 27.16 15.40 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 25.95 14.42 None pthread-wmm/safe001_tso.yml true 13.15 9.13 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 25.55 14.35 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 21.45 12.32 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 23.90 13.46 None pthread-wmm/safe002_tso.yml true 13.86 8.19 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 43.76 25.29 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 38.97 21.36 None pthread-wmm/safe003_tso.yml true 13.03 8.29 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 35.62 19.43 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 25.50 14.29 None pthread-wmm/safe004_tso.yml true 12.61 7.95 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 18.59 10.75 None pthread-wmm/safe005_tso.yml true 13.84 8.53 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 17.39 10.03 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 23.50 13.34 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 11.44 7.30 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 15.28 9.23 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 16.43 9.74 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 18.07 10.57 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.21 8.15 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 18.15 10.60 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.27 9.67 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 17.10 10.21 None pthread-wmm/safe008_tso.yml true 15.57 9.63 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 21.76 12.59 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 21.39 12.55 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.49 8.31 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 20.98 12.11 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 19.49 11.39 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 17.59 10.19 None pthread-wmm/safe010_tso.yml true 11.96 7.59 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 23.49 13.60 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 23.52 13.43 None pthread-wmm/safe011_tso.yml true 16.41 9.76 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 16.81 9.80 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 18.49 10.70 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 17.15 9.91 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 16.26 9.61 None pthread-wmm/safe012_tso.yml true 13.95 8.59 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 20.33 11.93 None pthread-wmm/safe013_tso.yml true 16.86 9.95 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 19.72 11.61 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 24.14 13.67 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.96 8.57 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 19.13 11.41 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 28.31 15.86 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 12.91 8.13 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 37.18 20.66 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.22 8.73 None pthread-wmm/safe015_rmo.yml false(unreach-call) 27.26 15.09 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 40.27 21.99 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 39.70 21.63 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 19.60 11.45 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 39.16 21.26 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 38.72 21.34 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 31.73 17.47 None pthread-wmm/safe017_tso.yml true 12.62 9.01 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 20.28 11.92 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 39.16 21.88 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.25 8.15 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 18.26 10.71 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 27.11 15.25 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 35.45 19.45 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 60.49 34.63 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 21.34 12.23 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 40.41 22.11 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 44.51 24.50 None pthread-wmm/safe020_power.yml false(unreach-call) 37.97 21.03 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.84 8.44 None pthread-wmm/safe020_rmo.yml false(unreach-call) 22.75 12.98 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 18.97 11.11 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 23.01 12.99 None pthread-wmm/safe021_tso.yml true 16.20 9.66 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 17.02 9.92 None pthread-wmm/safe022_tso.yml true 12.30 7.72 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 46.36 26.44 None pthread-wmm/safe023_tso.yml true 13.99 8.56 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 23.24 13.04 None pthread-wmm/safe024_tso.yml true 14.68 9.01 None pthread-wmm/safe025_power.yml false(unreach-call) 13.70 8.44 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.38 8.73 None pthread-wmm/safe025_rmo.yml false(unreach-call) 30.48 17.01 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.89 12.99 None pthread-wmm/safe026_tso.yml true 14.10 8.74 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 35.49 19.58 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 56.50 31.88 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.85 12.99 None pthread-wmm/safe027_rmo.yml false(unreach-call) 28.94 15.94 None pthread-wmm/safe028_power.yml false(unreach-call) 36.41 19.97 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.39 8.58 None pthread-wmm/safe028_rmo.yml false(unreach-call) 22.92 13.10 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 14.72 8.90 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 16.68 9.78 None pthread-wmm/safe029_tso.yml true 11.57 7.34 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 25.12 14.13 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 19.72 11.45 None pthread-wmm/safe030_tso.yml true 16.32 9.56 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 16.58 9.64 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 23.62 13.47 None pthread-wmm/safe031_tso.yml true 16.38 9.81 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 32.97 18.18 None pthread-wmm/safe032_tso.yml true 13.26 8.22 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 14.99 9.13 None pthread-wmm/safe033_tso.yml true 11.33 7.38 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 18.07 10.68 None pthread-wmm/safe034_tso.yml true 14.97 9.27 None pthread-wmm/safe035_power.yml true 32.06 17.97 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 13.68 8.34 None pthread-wmm/safe036.yml true 11.89 7.57 None pthread-wmm/safe037.yml true 13.60 8.53 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 33.44 18.37 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 44.91 24.36 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 34.70 19.99 None pthread-wmm/thin002_rmo.yml false(unreach-call) 31.73 17.56 None pthread-lit/qw2004-2b.yml false(unreach-call) 11.09 7.13 None pthread-lit/sssc12.yml OUT OF MEMORY 115.09 72.26 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 80.19 53.96 None ldv-races/race-1_1-join.yml true 11.66 7.25 None ldv-races/race-1_2-join.yml false(unreach-call) 11.95 7.47 None ldv-races/race-1_3-join.yml false(unreach-call) 12.42 7.75 None ldv-races/race-2_1-container_of.yml true 39.64 22.07 None ldv-races/race-2_2-container_of.yml false(unreach-call) 20.08 11.36 None ldv-races/race-2_3-container_of.yml false(unreach-call) 14.87 8.87 None ldv-races/race-2_4-container_of.yml false(unreach-call) 14.79 8.98 None ldv-races/race-2_5-container_of.yml false(unreach-call) 13.63 8.32 None ldv-races/race-3_1-container_of-global.yml true 25.23 14.36 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 19.67 11.37 None ldv-races/race-4_1-thread_local_vars.yml ERROR: EXCEPTION 10.54 6.76 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml OUT OF MEMORY 143.08 103.27 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml OUT OF MEMORY 158.11 115.76 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR: EXCEPTION 106.17 74.92 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml ERROR: EXCEPTION 46.43 27.72 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml ERROR: EXCEPTION 73.41 45.31 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR: EXCEPTION 60.60 39.32 None pthread-complex/bounded_buffer.yml OUT OF MEMORY 109.37 67.29 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 88.77 55.97 None pthread-complex/safestack_relacy.yml ERROR: EXCEPTION 11.02 7.99 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 900.91 794.20 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 22.06 14.08 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 20.90 13.06 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml false(unreach-call) 460.66 407.78 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 26.81 15.98 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 901.77 875.56 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 28.53 16.99 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 901.79 876.18 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 23.51 14.68 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 23.32 14.70 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 35.87 21.74 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 23.31 14.59 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 901.78 877.99 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 28.47 16.75 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml true 33.93 20.17 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 24.44 14.94 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 24.15 15.32 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 22.41 13.67 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 24.89 16.05 None pthread-C-DAC/pthread-demo-datarace-1.yml true 35.63 22.34 None pthread-C-DAC/pthread-demo-datarace-3.yml TIMEOUT 900.51 779.70 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 8.59 5.77 None pthread-C-DAC/pthread-numerical-integration.yml unknown 9.07 5.62 None pthread-divine/tls_basic.yml unknown 8.81 5.80 None pthread-divine/tls_destructor_worker.yml unknown 8.26 5.50 None goblint-regression/13-privatized_01-priv_nr_true.yml true 11.19 7.06 None goblint-regression/13-privatized_04-priv_multi_true.yml true 34.90 20.65 None goblint-regression/13-privatized_18-first-reads_true.yml true 10.33 6.97 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 10.11 6.58 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 9.44 6.26 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 9.62 6.38 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 9.86 6.41 None goblint-regression/13-privatized_19-publish-precision_true.yml true 10.42 6.76 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 9.69 6.31 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 10.88 7.03 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 10.31 6.74 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 9.65 6.40 None goblint-regression/13-privatized_20-publish-regression_true.yml true 10.96 7.04 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 14.14 8.66 None goblint-regression/13-privatized_25-struct_nr_true.yml true 10.42 6.82 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 16.39 9.78 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 12.58 7.98 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 11.33 7.16 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 10.97 7.13 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 12.16 7.66 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 12.24 7.56 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 12.28 7.60 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 11.77 7.38 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 10.22 6.73 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 10.38 6.81 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 11.04 7.25 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 11.02 7.16 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 10.11 6.42 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 11.10 7.19 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 11.40 7.11 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 10.55 6.87 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 11.55 7.42 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 9.96 6.51 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 9.70 6.41 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 10.21 6.59 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 9.85 6.45 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 10.12 6.52 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 9.58 6.49 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 13.72 8.45 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 11.81 7.56 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 13.60 8.26 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 20.79 12.71 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 11.73 7.35 None goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 106.18 63.90 None goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 103.86 65.72 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 103.65 64.43 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 93.80 61.48 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml OUT OF MEMORY 97.05 61.59 None goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 106.06 63.89 None goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 105.39 63.31 None goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 106.03 63.74 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 93.18 61.45 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 99.69 62.44 None goblint-regression/28-race_reach_11-ptr_racing.yml OUT OF MEMORY 103.89 62.45 None goblint-regression/28-race_reach_12-ptr_racefree.yml OUT OF MEMORY 107.39 67.43 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 110.12 64.52 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 108.63 66.08 None goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 104.90 63.48 None goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 103.96 61.99 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 8.27 5.50 None goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 103.27 62.93 None goblint-regression/28-race_reach_27-funptr_racing.yml OUT OF MEMORY 88.78 57.50 None goblint-regression/28-race_reach_28-funptr_racefree.yml OUT OF MEMORY 88.05 56.41 None goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 97.28 62.81 None goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 107.04 66.64 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 8.21 5.61 None goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 96.75 58.06 None goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 96.82 57.74 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 11.37 7.24 None goblint-regression/28-race_reach_46-escape_racefree.yml true 13.28 8.02 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 97.53 60.33 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 95.63 59.92 None goblint-regression/28-race_reach_61-invariant_racing.yml OUT OF MEMORY 84.64 54.93 None goblint-regression/28-race_reach_70-funloop_racefree.yml OUT OF MEMORY 118.04 73.25 None goblint-regression/28-race_reach_71-funloop_racing.yml ERROR: EXCEPTION 11.07 6.86 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml OUT OF MEMORY 110.21 68.58 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml OUT OF MEMORY 105.99 66.59 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 118.41 74.53 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 100.74 64.63 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 121.49 77.59 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 124.06 78.49 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 166.67 105.12 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 98.09 61.91 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 74.70 50.96 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 116.08 77.36 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 86.08 54.69 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 80.84 56.98 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 86.05 55.41 None goblint-regression/28-race_reach_86-lists_racing.yml OUT OF MEMORY 476.40 449.94 None goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 902.45 876.66 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml ERROR: EXCEPTION 11.73 7.48 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 901.80 889.07 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 901.85 886.81 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 901.86 887.28 None goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 90.21 60.80 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 10.34 6.56 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.97 6.53 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 10.38 6.78 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 10.44 6.57 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 23.25 13.39 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 12.74 8.11 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 9.74 6.41 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 9.54 6.22 None weaver/array-eq-symm.wvr.yml TIMEOUT 901.89 860.19 None weaver/array-eq-trans.wvr.yml ERROR: EXCEPTION 301.82 279.58 None weaver/bench-exp1x3.wvr.yml TIMEOUT 901.63 890.07 None weaver/bench-exp2x3.wvr.yml TIMEOUT 900.64 882.45 None weaver/bench-exp2x4.wvr.yml TIMEOUT 900.71 878.36 None weaver/bench-exp2x6.wvr.yml TIMEOUT 901.87 882.96 None weaver/bench-exp2x9.wvr.yml TIMEOUT 901.76 892.06 None weaver/bench-exp3x3-opt.wvr.yml TIMEOUT 901.60 819.75 None weaver/bench-exp3x3.wvr.yml TIMEOUT 902.33 834.91 None weaver/chl-array-int-subst.wvr.yml ERROR: EXCEPTION 137.73 115.50 None weaver/chl-array-int-symm.wvr.yml ERROR: EXCEPTION 453.70 417.34 None weaver/chl-array-int-trans.wvr.yml ERROR: EXCEPTION 181.04 158.71 None weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 901.38 854.35 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 901.98 866.09 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 900.84 872.04 None weaver/chl-chromosome-trans.wvr.yml ERROR: EXCEPTION 229.29 196.89 None weaver/chl-collitem-subst.wvr.yml true 38.76 21.26 None weaver/chl-collitem-symm.wvr.yml true 16.44 9.80 None weaver/chl-collitem-trans.wvr.yml true 31.52 17.43 None weaver/chl-exp-term-subst.wvr.yml true 29.14 16.28 None weaver/chl-exp-term-symm.wvr.yml true 13.29 8.35 None weaver/chl-file-item-subst.wvr.yml true 33.49 18.44 None weaver/chl-file-item-symm.wvr.yml true 14.61 8.83 None weaver/chl-file-item-trans.wvr.yml true 21.45 12.41 None weaver/chl-match-subst.wvr.yml true 19.91 11.47 None weaver/chl-match-symm.wvr.yml true 12.45 8.07 None weaver/chl-match-trans.wvr.yml true 16.54 9.80 None weaver/chl-name-comparator-subst.wvr.yml TIMEOUT 900.68 849.67 None weaver/chl-name-comparator-symm.wvr.yml TIMEOUT 900.65 873.53 None weaver/chl-name-comparator-trans.wvr.yml TIMEOUT 900.52 866.37 None weaver/chl-node-subst.wvr.yml true 36.01 19.48 None weaver/chl-node-symm.wvr.yml true 16.16 9.88 None weaver/chl-node-trans.wvr.yml true 22.15 12.83 None weaver/chl-nzb-file-subst.wvr.yml TIMEOUT 901.43 848.91 None weaver/chl-nzb-file-symm.wvr.yml TIMEOUT 901.46 850.12 None weaver/chl-nzb-file-trans.wvr.yml ERROR: EXCEPTION 669.44 607.95 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 902.01 864.92 None weaver/chl-poker-hand-symm.wvr.yml ERROR: EXCEPTION 309.75 269.62 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 901.85 850.84 None weaver/chl-simpl-str-subst.wvr.yml true 20.72 11.81 None weaver/chl-simpl-str-symm.wvr.yml true 12.35 7.79 None weaver/chl-simpl-str-trans.wvr.yml true 16.07 9.61 None weaver/chl-sre-subst.wvr.yml true 20.20 11.72 None weaver/chl-sre-symm.wvr.yml true 11.31 7.26 None weaver/chl-sre-trans.wvr.yml true 12.33 7.80 None weaver/chl-time-subst.wvr.yml true 20.62 11.98 None weaver/chl-time-symm.wvr.yml true 12.42 7.76 None weaver/chl-time-trans.wvr.yml true 17.15 11.13 None weaver/chl-word-subst.wvr.yml ERROR: EXCEPTION 310.67 282.60 None weaver/chl-word-symm.wvr.yml ERROR: EXCEPTION 399.08 360.92 None weaver/chl-word-trans.wvr.yml ERROR: EXCEPTION 397.73 361.57 None weaver/clever.wvr.yml TIMEOUT 900.60 886.73 None weaver/fibonacci.wvr.yml TIMEOUT 900.56 893.81 None weaver/loop-tiling-eq.wvr.yml ERROR: EXCEPTION 332.70 317.13 None weaver/mult-comm.wvr.yml TIMEOUT 901.82 879.29 None weaver/mult-dist.wvr.yml TIMEOUT 900.56 885.54 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 904.90 863.47 None weaver/parallel-bakery-2.wvr.yml true 16.51 10.10 None weaver/parallel-bakery-3.wvr.yml true 131.06 97.86 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 106.22 64.54 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 56.93 34.99 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 276.02 238.75 None weaver/parallel-bluetooth.wvr.yml true 12.35 8.79 None weaver/parallel-lamport.wvr.yml true 507.99 485.82 None weaver/parallel-min-max-1.wvr.yml true 184.63 160.07 None weaver/parallel-misc-1.wvr.yml ERROR: EXCEPTION 629.65 597.13 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.77 6.46 None weaver/parallel-misc-2-unrolled.wvr.yml true 12.39 7.80 None weaver/parallel-misc-2.wvr.yml TIMEOUT 901.74 881.31 None weaver/parallel-misc-3-extended.wvr.yml true 22.09 14.09 None weaver/parallel-misc-3.wvr.yml true 13.79 8.83 None weaver/parallel-misc-4.wvr.yml true 17.48 11.09 None weaver/parallel-misc-5.wvr.yml TIMEOUT 901.80 781.46 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 91.65 61.50 None weaver/parallel-parallel-sum-1.wvr.yml TIMEOUT 908.94 748.33 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 129.35 107.37 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 901.31 860.66 None weaver/parallel-simple-equiv.wvr.yml true 11.84 7.27 None weaver/parallel-ticket-2.wvr.yml true 11.01 7.16 None weaver/parallel-ticket-3.wvr.yml true 15.97 9.61 None weaver/parallel-ticket-4.wvr.yml true 36.17 19.96 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 90.53 57.22 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 114.67 71.35 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 72.16 51.19 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 93.99 75.40 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 903.04 696.94 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 901.37 683.58 None weaver/popl20-bad-buffer-mult-alt3.wvr.yml false(unreach-call) 19.67 11.35 None weaver/popl20-bad-commit-1.wvr-bad.yml true 336.57 305.12 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 733.74 530.03 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 13.27 8.12 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 901.07 859.05 None weaver/popl20-bad-dot-product-alt.wvr.yml ERROR: EXCEPTION 149.29 132.46 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.41 784.36 None weaver/popl20-bad-ring-nondet.wvr.yml true 15.14 8.89 None weaver/popl20-bad-ring.wvr.yml ERROR: EXCEPTION 317.07 280.67 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 900.95 877.02 None weaver/popl20-bad-three-array-sum-alt.wvr.yml ERROR: EXCEPTION 168.86 147.81 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 901.95 863.24 None weaver/popl20-commit-1.wvr.yml ERROR: EXCEPTION 266.64 237.01 None weaver/popl20-commit-2.wvr.yml ERROR: EXCEPTION 273.91 242.71 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 168.59 116.60 None weaver/popl20-counter-fun.wvr.yml ERROR: EXCEPTION 418.64 388.68 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 104.36 72.65 None weaver/popl20-figure1-alt.wvr.yml true 317.30 304.54 None weaver/popl20-figure1.wvr.yml OUT OF MEMORY 406.66 361.98 None weaver/popl20-figure3.wvr.yml TIMEOUT 900.72 885.76 None weaver/popl20-horseshoe.wvr.yml ERROR: EXCEPTION 461.83 427.57 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 272.19 210.33 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 117.74 74.57 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 213.67 159.26 None weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 103.28 84.51 None weaver/popl20-more-array-sum-alt2.wvr.yml TIMEOUT 901.29 833.81 None weaver/popl20-more-array-sum.wvr.yml false(unreach-call) 109.58 84.66 None weaver/popl20-more-array-sum2.wvr.yml ERROR: EXCEPTION 677.78 632.96 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 901.67 751.11 None weaver/popl20-more-buffer-mult2.wvr.yml ERROR: EXCEPTION 574.39 533.39 None weaver/popl20-more-buffer-mult3.wvr.yml false(unreach-call) 340.97 274.71 None weaver/popl20-more-buffer-series.wvr.yml ERROR: EXCEPTION 111.27 84.01 None weaver/popl20-more-buffer-series2.wvr.yml ERROR: EXCEPTION 229.15 199.98 None weaver/popl20-more-buffer-series3.wvr.yml false(unreach-call) 38.45 22.79 None weaver/popl20-more-dec-subseq.wvr.yml ERROR: EXCEPTION 552.91 527.44 None weaver/popl20-more-inc-subseq.wvr.yml ERROR: EXCEPTION 289.87 268.87 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.61 837.92 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.56 835.60 None weaver/popl20-more-min-array-hom.wvr.yml ERROR: EXCEPTION 864.30 801.63 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.54 839.64 None weaver/popl20-more-min-le-max.wvr.yml true 12.44 7.67 None weaver/popl20-more-mts.wvr.yml ERROR: EXCEPTION 353.19 313.62 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 900.91 862.97 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 900.74 880.33 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 900.88 857.48 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 902.32 845.80 None weaver/popl20-more-sorted.wvr.yml ERROR: EXCEPTION 862.99 822.28 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 900.86 872.54 None weaver/popl20-more-vector-add.wvr.yml ERROR: EXCEPTION 378.38 352.28 None weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 177.52 126.30 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 901.25 870.21 None weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 900.96 867.67 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.25 857.82 None weaver/popl20-prod-cons-eq.wvr.yml ERROR: EXCEPTION 154.77 136.01 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 900.91 799.24 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 910.67 748.10 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 906.61 681.18 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 902.47 837.61 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 909.94 840.71 None weaver/popl20-send-receive-alt.wvr.yml ERROR: EXCEPTION 375.23 344.71 None weaver/popl20-send-receive.wvr.yml TIMEOUT 901.44 831.07 None weaver/popl20-simple-array-sum.wvr.yml true 21.03 13.06 None weaver/popl20-simple-queue.wvr.yml true 90.24 68.55 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 900.97 865.95 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 328.82 287.89 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 223.43 178.28 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 901.83 873.74 None weaver/popl20-two-queue.wvr.yml TIMEOUT 901.34 872.54 None weaver/security.wvr.yml true 10.92 6.95 None weaver/spaghetti.wvr.yml true 14.98 8.89 None weaver/test-context1.wvr.yml TIMEOUT 901.04 851.49 None weaver/test-easy1.wvr.yml true 14.81 11.62 None weaver/test-easy10.wvr.yml TIMEOUT 900.57 809.30 None weaver/test-easy11.wvr.yml true 53.82 40.91 None weaver/test-easy6.wvr.yml true 14.61 9.36 None weaver/test-easy7.wvr.yml true 10.70 6.80 None weaver/test-easy8.wvr.yml true 10.70 6.83 None weaver/test-hard1.wvr.yml TIMEOUT 901.93 801.25 None weaver/test-semi1.wvr.yml true 10.36 6.74 None weaver/unroll-2.wvr.yml ERROR: EXCEPTION 690.65 660.20 None weaver/unroll-3.wvr.yml TIMEOUT 901.88 866.98 None weaver/unroll-4.wvr.yml ERROR: EXCEPTION 248.87 230.27 None weaver/unroll-5.wvr.yml ERROR: EXCEPTION 331.08 312.18 None weaver/unroll-cond-2.wvr.yml ERROR: EXCEPTION 315.15 288.79 None weaver/unroll-cond-3.wvr.yml ERROR: EXCEPTION 369.79 341.52 None weaver/unroll-cond-4.wvr.yml TIMEOUT 901.90 877.56 None weaver/unroll-cond-5.wvr.yml ERROR: EXCEPTION 440.67 420.13 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 22.78 13.56 None pthread-deagle/arithmetic_prog_ok.yml true 28.11 17.74 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 38.87 27.63 None pthread-deagle/circular_buffer_ok.yml ERROR: EXCEPTION 598.05 574.90 None pthread-race-challenges/thread-local-pthread-value.yml unknown 7.94 5.52 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 7.97 5.32 None pthread-race-challenges/thread-local-value.yml unknown 7.74 5.22 None libvsync/arraylock.yml unknown 10.26 6.65 None libvsync/bounded_mpmc_check_full.yml ERROR: EXCEPTION 14.27 9.00 None libvsync/cnalock.yml ERROR: EXCEPTION 14.29 9.86 None libvsync/hclhlock.yml ERROR: EXCEPTION 14.71 8.99 None libvsync/hmcslock.yml ERROR: EXCEPTION 15.71 9.60 None libvsync/mcslock.yml ERROR: EXCEPTION 13.19 8.27 None libvsync/rec_mcslock.yml ERROR: EXCEPTION 13.60 8.37 None libvsync/rec_ticketlock.yml ERROR: EXCEPTION 13.44 8.29 None libvsync/rwlock.yml ERROR: EXCEPTION 14.36 8.78 None libvsync/semaphore.yml ERROR: EXCEPTION 13.82 8.53 None libvsync/ticketlock.yml ERROR: EXCEPTION 12.94 7.97 None libvsync/ttaslock.yml OUT OF MEMORY 96.44 61.86 None pthread-theta/exponential-4.yml OUT OF MEMORY 96.70 62.03 None pthread-theta/exponential-64.yml OUT OF MEMORY 102.32 65.44 None pthread-theta/exponential-nondet.yml OUT OF MEMORY 84.11 56.68 None pthread-theta/unwind1-1.yml false(unreach-call) 11.14 7.57 None pthread-theta/unwind1-100.yml false(unreach-call) 53.35 40.32 None pthread-theta/unwind1-nondet.yml false(unreach-call) 11.09 7.49 None pthread-theta/unwind2-1.yml false(unreach-call) 16.11 10.45 None pthread-theta/unwind2-100.yml false(unreach-call) 108.86 89.94 None pthread-theta/unwind2-nondet.yml false(unreach-call) 14.07 9.10 None pthread-theta/unwind3-1.yml false(unreach-call) 11.92 7.94 None pthread-theta/unwind3-100.yml OUT OF MEMORY 174.67 109.60 None pthread-theta/unwind3-nondet.yml false(unreach-call) 9.94 6.44 None pthread-theta/wsc.yml true 31.10 18.16 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 125636.36 8243.06 - AutomizerPN-RCFG.SVCOMP-ConcurrencySafety-Main Run set 2 of 6 with options '--force-no-wrapper -tc ${benchmark_path}/../../../trunk/examples/toolchains/AutomizerCInline.xml -s ${benchmark_path}/../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf --traceabstraction.automaton.type.used.in.concurrency.analysis PETRI_NET' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 15.18 9.67 None pthread/bigshot_s2.yml true 15.42 9.78 None pthread/butterfly.yml OUT OF MEMORY 75.69 50.70 None pthread/fib_safe-10.yml OUT OF MEMORY 336.67 270.68 None pthread/fib_safe-11.yml OUT OF MEMORY 334.30 260.08 None pthread/fib_safe-12.yml OUT OF MEMORY 228.29 166.57 None pthread/fib_safe-5.yml OUT OF MEMORY 799.41 710.31 None pthread/fib_safe-6.yml OUT OF MEMORY 165.64 123.30 None pthread/fib_safe-7.yml OUT OF MEMORY 196.56 150.24 None pthread/fib_unsafe-10.yml OUT OF MEMORY 357.74 286.14 None pthread/fib_unsafe-11.yml OUT OF MEMORY 353.32 276.50 None pthread/fib_unsafe-12.yml OUT OF MEMORY 243.44 175.11 None pthread/fib_unsafe-5.yml OUT OF MEMORY 688.09 597.01 None pthread/fib_unsafe-6.yml OUT OF MEMORY 159.23 116.95 None pthread/fib_unsafe-7.yml OUT OF MEMORY 187.75 144.61 None pthread/lazy01.yml false(unreach-call) 11.66 7.56 None pthread/queue.yml false(unreach-call) 23.04 13.18 None pthread/queue_longer.yml false(unreach-call) 52.51 31.97 None pthread/queue_longest.yml false(unreach-call) 95.19 66.50 None pthread/queue_ok.yml TIMEOUT 901.59 853.90 None pthread/queue_ok_longer.yml TIMEOUT 902.21 880.55 None pthread/queue_ok_longest.yml OUT OF MEMORY 498.78 468.63 None pthread/reorder_2.yml OUT OF MEMORY 116.37 81.32 None pthread/reorder_5.yml OUT OF MEMORY 116.77 80.88 None pthread/singleton.yml false(unreach-call) 10.62 6.79 None pthread/singleton_with-uninit-problems.yml true 12.58 7.95 None pthread/stack-1.yml true 43.70 26.49 None pthread/stack-2.yml false(unreach-call) 17.25 11.54 None pthread/stack_longer-1.yml false(unreach-call) 26.28 15.42 None pthread/stack_longer-2.yml OUT OF MEMORY 404.84 297.28 None pthread/stack_longest-1.yml false(unreach-call) 40.54 25.67 None pthread/stack_longest-2.yml TIMEOUT 903.49 663.26 None pthread/stateful01-1.yml false(unreach-call) 10.41 6.63 None pthread/stateful01-2.yml true 12.75 7.81 None pthread/sync01.yml true 16.50 9.95 None pthread/triangular-1.yml true 44.40 30.50 None pthread/triangular-2.yml false(unreach-call) 23.79 14.31 None pthread/triangular-longer-1.yml true 59.58 42.39 None pthread/triangular-longer-2.yml false(unreach-call) 73.27 54.90 None pthread/triangular-longest-1.yml true 346.95 306.16 None pthread/triangular-longest-2.yml false(unreach-call) 73.44 56.95 None pthread/twostage_3.yml OUT OF MEMORY 78.26 50.34 None pthread-atomic/dekker-unfair.yml true 10.04 6.60 None pthread-atomic/dekker.yml true 10.42 6.73 None pthread-atomic/lamport.yml true 10.25 6.62 None pthread-atomic/peterson.yml true 9.87 6.56 None pthread-atomic/read_write_lock-1.yml true 11.22 7.17 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 26.73 18.40 None pthread-atomic/szymanski.yml true 9.78 6.41 None pthread-atomic/time_var_mutex.yml true 10.34 6.70 None pthread-ext/01b_inc.yml OUT OF MEMORY 71.99 46.31 None pthread-ext/02_inc_cas.yml OUT OF MEMORY 70.50 46.62 None pthread-ext/03_incdec.yml OUT OF MEMORY 78.74 50.66 None pthread-ext/04_incdec_cas.yml OUT OF MEMORY 152.49 100.13 None pthread-ext/08_rand_cas.yml OUT OF MEMORY 74.52 49.89 None pthread-ext/09_fmaxsym-zero.yml OUT OF MEMORY 130.65 84.06 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 115.54 74.31 None pthread-ext/11_fmaxsymopt-zero.yml OUT OF MEMORY 221.97 145.98 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 96.52 70.03 None pthread-ext/14_spin2003.yml OUT OF MEMORY 77.43 52.60 None pthread-ext/18_read_write_lock.yml true 11.68 7.16 None pthread-ext/25_stack.yml OUT OF MEMORY 82.86 53.64 None pthread-ext/25_stack_longer-1.yml TIMEOUT 905.62 895.49 None pthread-ext/25_stack_longer-2.yml TIMEOUT 905.58 894.40 None pthread-ext/25_stack_longest-1.yml TIMEOUT 900.91 875.62 None pthread-ext/25_stack_longest-2.yml TIMEOUT 906.33 878.49 None pthread-ext/26_stack_cas.yml OUT OF MEMORY 83.24 56.59 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 905.62 895.41 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 905.64 895.12 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 902.64 876.35 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 906.17 876.88 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 9.67 6.37 None pthread-ext/29_conditionals_vs.yml ERROR: EXCEPTION 8.93 5.98 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 102.02 70.77 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 93.80 63.98 None pthread-ext/36_stack_cas_p0_vs_concur.yml OUT OF MEMORY 59.91 42.44 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 75.96 51.96 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 69.21 46.32 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 88.39 58.77 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml OUT OF MEMORY 227.51 194.50 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: EXCEPTION 9.80 6.50 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 301.41 212.15 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 118.99 71.69 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 83.84 51.21 None pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR: EXCEPTION 9.06 6.09 None pthread-wmm/mix000.oepc.yml false(unreach-call) 17.77 10.40 None pthread-wmm/mix000.opt.yml false(unreach-call) 18.47 10.67 None pthread-wmm/mix001.oepc.yml false(unreach-call) 21.63 12.38 None pthread-wmm/mix001.opt.yml false(unreach-call) 21.23 12.07 None pthread-wmm/mix002.oepc.yml false(unreach-call) 25.78 14.50 None pthread-wmm/mix002.opt.yml false(unreach-call) 21.02 12.03 None pthread-wmm/mix003.oepc.yml false(unreach-call) 19.23 11.20 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 20.32 11.56 None pthread-wmm/mix004.oepc.yml false(unreach-call) 53.44 34.19 None pthread-wmm/mix004.opt.yml false(unreach-call) 29.53 17.36 None pthread-wmm/mix005.opt.yml false(unreach-call) 61.38 42.67 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 87.09 66.07 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 37.35 21.36 None pthread-wmm/mix006.opt.yml false(unreach-call) 16.57 9.72 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.09 11.29 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 34.43 18.69 None pthread-wmm/mix007.oepc.yml false(unreach-call) 67.72 49.82 None pthread-wmm/mix007.opt.yml false(unreach-call) 48.22 32.57 None pthread-wmm/mix008.opt.yml false(unreach-call) 54.62 38.02 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 140.93 108.48 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 45.94 26.85 None pthread-wmm/mix009.oepc.yml false(unreach-call) 16.22 9.81 None pthread-wmm/mix009.opt.yml false(unreach-call) 18.74 10.99 None pthread-wmm/mix010.oepc.yml false(unreach-call) 22.70 12.95 None pthread-wmm/mix010.opt.yml false(unreach-call) 20.33 12.09 None pthread-wmm/mix011.opt.yml false(unreach-call) 19.72 11.70 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.76 13.95 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 21.71 12.43 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 15.47 9.26 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 17.37 10.35 None pthread-wmm/mix013.oepc.yml false(unreach-call) 65.93 46.91 None pthread-wmm/mix013.opt.yml false(unreach-call) 38.75 23.03 None pthread-wmm/mix014.opt.yml false(unreach-call) 50.69 33.89 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 65.73 47.34 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 43.17 25.45 None pthread-wmm/mix015.oepc.yml false(unreach-call) 25.75 14.66 None pthread-wmm/mix015.opt.yml false(unreach-call) 21.22 12.31 None pthread-wmm/mix016.oepc.yml false(unreach-call) 21.60 12.32 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 19.46 11.20 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 20.24 11.48 None pthread-wmm/mix017.oepc.yml false(unreach-call) 56.53 38.55 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 44.18 29.69 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 39.66 24.07 None pthread-wmm/mix018.opt.yml false(unreach-call) 49.31 33.95 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 78.38 58.95 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 30.79 17.60 None pthread-wmm/mix019.opt.yml false(unreach-call) 21.30 11.94 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.01 11.54 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 19.55 11.27 None pthread-wmm/mix020.oepc.yml false(unreach-call) 122.82 94.54 None pthread-wmm/mix020.opt.yml false(unreach-call) 47.96 32.47 None pthread-wmm/mix021.opt.yml false(unreach-call) 57.35 40.10 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 87.90 66.81 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 31.34 17.79 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.79 9.96 None pthread-wmm/mix022_tso.yml false(unreach-call) 16.78 10.02 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 144.24 113.90 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 73.28 53.75 None pthread-wmm/mix023_tso.yml false(unreach-call) 66.20 44.15 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 29.13 16.39 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 20.71 11.66 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 23.38 13.26 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 23.19 13.17 None pthread-wmm/mix026.oepc.yml false(unreach-call) 70.46 51.87 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 144.20 113.33 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 35.38 22.48 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 84.57 63.59 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 73.58 54.24 None pthread-wmm/mix027_tso.yml false(unreach-call) 37.58 21.64 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 19.38 11.21 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 21.38 12.18 None pthread-wmm/mix028_tso.yml false(unreach-call) 23.14 13.37 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 100.50 76.82 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 29.74 16.83 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 143.00 107.69 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 30.12 17.17 None pthread-wmm/mix030_tso.yml false(unreach-call) 32.20 18.20 None pthread-wmm/mix031.oepc.yml false(unreach-call) 16.53 10.81 None pthread-wmm/mix031.opt.yml false(unreach-call) 15.78 9.46 None pthread-wmm/mix032.oepc.yml false(unreach-call) 22.66 12.91 None pthread-wmm/mix032.opt.yml false(unreach-call) 19.29 11.00 None pthread-wmm/mix033.opt.yml false(unreach-call) 19.68 11.35 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 25.71 14.48 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 21.02 13.23 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 15.78 9.26 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 16.66 9.84 None pthread-wmm/mix035.oepc.yml false(unreach-call) 23.58 13.25 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 19.53 11.33 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 19.02 11.06 None pthread-wmm/mix036.oepc.yml false(unreach-call) 107.15 85.22 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 42.37 27.05 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 27.53 16.27 None pthread-wmm/mix037.opt.yml false(unreach-call) 33.99 21.24 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 153.76 128.86 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 43.14 25.24 None pthread-wmm/mix038.opt.yml false(unreach-call) 21.49 12.31 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 28.07 15.94 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 22.10 12.56 None pthread-wmm/mix039.oepc.yml false(unreach-call) 119.03 92.76 None pthread-wmm/mix039.opt.yml false(unreach-call) 56.58 39.23 None pthread-wmm/mix040.opt.yml false(unreach-call) 54.47 38.17 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 94.06 70.40 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 33.54 19.02 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 15.28 9.23 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 17.87 10.45 None pthread-wmm/mix042.oepc.yml false(unreach-call) 22.66 12.89 None pthread-wmm/mix042.opt.yml false(unreach-call) 20.56 11.85 None pthread-wmm/mix043.oepc.yml false(unreach-call) 89.66 68.38 None pthread-wmm/mix043.opt.yml false(unreach-call) 25.62 14.46 None pthread-wmm/mix044.opt.yml false(unreach-call) 31.19 17.48 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 130.43 100.13 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 42.00 25.55 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 26.66 15.04 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 21.68 12.40 None pthread-wmm/mix046.oepc.yml false(unreach-call) 158.10 120.61 None pthread-wmm/mix046.opt.yml false(unreach-call) 27.48 15.57 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 147.41 115.07 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 24.79 14.35 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) 16.53 9.62 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) 19.77 11.41 None pthread-wmm/mix050.yml false(unreach-call) 29.86 17.30 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 52.36 35.30 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 33.16 21.38 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 34.86 20.65 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 19.09 11.21 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 17.82 10.27 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 23.52 13.31 None pthread-wmm/mix053.opt.yml false(unreach-call) 42.45 28.81 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 77.78 57.95 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 27.16 15.13 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 15.55 9.28 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 16.77 9.92 None pthread-wmm/mix055.opt.yml false(unreach-call) 25.65 14.67 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 291.54 232.48 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 35.73 20.36 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 19.93 11.48 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 20.93 13.12 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 139.72 106.04 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.22 14.57 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.18 12.67 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 18.85 10.87 None pthread-wmm/rfi000_tso.yml true 27.15 15.30 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 15.81 9.40 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 17.13 10.15 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 23.24 13.15 None pthread-wmm/rfi002_tso.yml true 58.46 35.16 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.11 9.22 None pthread-wmm/rfi003_tso.yml true 29.09 16.22 None pthread-wmm/rfi004.yml false(unreach-call) 17.01 11.13 None pthread-wmm/rfi005.yml false(unreach-call) 12.31 7.56 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 20.22 11.80 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 25.66 14.51 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.21 14.71 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 20.36 11.86 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.67 9.10 None pthread-wmm/rfi007_tso.yml false(unreach-call) 19.55 11.28 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 18.58 10.74 None pthread-wmm/rfi008.opt.yml false(unreach-call) 18.68 10.83 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 20.26 11.73 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 27.66 15.28 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 19.77 11.46 None pthread-wmm/rfi010.yml false(unreach-call) 18.23 10.58 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 33.37 18.26 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 35.88 19.83 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.26 8.70 None pthread-wmm/safe000_rmo.yml false(unreach-call) 30.81 16.95 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 36.20 20.20 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 29.82 17.65 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 35.17 19.60 None pthread-wmm/safe001_tso.yml true 13.44 8.30 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 32.99 18.21 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 25.66 14.43 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 33.16 19.12 None pthread-wmm/safe002_tso.yml true 14.94 8.93 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 38.59 21.63 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 33.03 18.22 None pthread-wmm/safe003_tso.yml true 13.86 8.49 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 49.57 28.40 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 29.15 17.17 None pthread-wmm/safe004_tso.yml true 12.86 7.97 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 24.32 13.72 None pthread-wmm/safe005_tso.yml true 14.61 9.14 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 17.43 10.20 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 25.40 14.13 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.21 7.65 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 17.34 10.10 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 16.32 9.77 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 18.78 12.02 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.72 9.05 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 16.41 9.78 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 23.42 13.55 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 18.96 10.99 None pthread-wmm/safe008_tso.yml true 15.13 8.98 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 26.48 14.72 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 32.03 17.87 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.31 8.18 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 23.15 13.15 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 23.08 13.02 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.90 10.26 None pthread-wmm/safe010_tso.yml true 12.61 7.83 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 24.08 13.53 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 23.47 13.30 None pthread-wmm/safe011_tso.yml true 16.09 9.62 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 16.93 10.00 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 18.68 10.95 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 18.00 10.55 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 16.40 9.76 None pthread-wmm/safe012_tso.yml true 14.45 9.04 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.31 11.07 None pthread-wmm/safe013_tso.yml true 16.70 9.81 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 22.84 13.01 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 24.81 14.01 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.88 9.19 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 21.35 12.24 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 26.59 14.91 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 13.67 8.42 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 32.12 17.88 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.47 8.58 None pthread-wmm/safe015_rmo.yml false(unreach-call) 33.63 18.45 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 44.54 27.50 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 60.92 40.37 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.74 10.00 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 48.75 30.15 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 86.76 60.23 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 33.87 18.46 None pthread-wmm/safe017_tso.yml true 14.05 8.48 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 21.37 12.23 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 22.02 12.63 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.33 8.35 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 19.59 11.37 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 27.76 15.59 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 36.69 20.93 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 53.43 33.36 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.47 10.25 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 37.14 21.99 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 44.64 27.05 None pthread-wmm/safe020_power.yml false(unreach-call) 24.53 13.83 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.79 8.55 None pthread-wmm/safe020_rmo.yml false(unreach-call) 30.66 16.91 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 20.29 11.70 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 20.26 11.69 None pthread-wmm/safe021_tso.yml true 15.85 9.65 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.48 9.48 None pthread-wmm/safe022_tso.yml true 11.93 7.46 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 64.86 42.00 None pthread-wmm/safe023_tso.yml true 13.81 8.34 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.87 11.56 None pthread-wmm/safe024_tso.yml true 14.83 8.89 None pthread-wmm/safe025_power.yml false(unreach-call) 13.62 8.32 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.32 8.15 None pthread-wmm/safe025_rmo.yml false(unreach-call) 24.79 14.16 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 23.00 13.14 None pthread-wmm/safe026_tso.yml true 13.44 8.32 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 29.87 16.93 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 47.42 27.74 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.91 10.45 None pthread-wmm/safe027_rmo.yml false(unreach-call) 27.70 15.75 None pthread-wmm/safe028_power.yml false(unreach-call) 29.14 16.15 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.33 8.14 None pthread-wmm/safe028_rmo.yml false(unreach-call) 24.73 13.80 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 18.75 10.82 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 18.70 10.92 None pthread-wmm/safe029_tso.yml true 11.41 7.40 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 23.62 13.47 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 16.77 10.15 None pthread-wmm/safe030_tso.yml true 18.19 10.66 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.96 11.87 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 22.10 12.49 None pthread-wmm/safe031_tso.yml true 17.13 10.13 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 72.72 48.30 None pthread-wmm/safe032_tso.yml true 13.63 8.31 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.26 9.10 None pthread-wmm/safe033_tso.yml true 12.23 7.64 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 18.73 11.00 None pthread-wmm/safe034_tso.yml true 14.46 8.85 None pthread-wmm/safe035_power.yml true 42.39 24.49 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 13.66 8.34 None pthread-wmm/safe036.yml true 11.73 7.56 None pthread-wmm/safe037.yml true 13.80 8.60 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 24.24 13.82 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 36.17 19.87 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 20.96 12.23 None pthread-wmm/thin002_rmo.yml false(unreach-call) 23.58 13.54 None pthread-lit/qw2004-2b.yml false(unreach-call) 12.32 7.71 None pthread-lit/sssc12.yml OUT OF MEMORY 66.10 49.07 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 70.77 48.20 None ldv-races/race-1_1-join.yml true 11.18 7.24 None ldv-races/race-1_2-join.yml false(unreach-call) 11.94 7.50 None ldv-races/race-1_3-join.yml false(unreach-call) 12.29 7.53 None ldv-races/race-2_1-container_of.yml true 47.28 27.77 None ldv-races/race-2_2-container_of.yml false(unreach-call) 14.44 8.77 None ldv-races/race-2_3-container_of.yml false(unreach-call) 14.82 8.86 None ldv-races/race-2_4-container_of.yml false(unreach-call) 14.74 9.07 None ldv-races/race-2_5-container_of.yml false(unreach-call) 18.07 10.55 None ldv-races/race-3_1-container_of-global.yml true 26.37 14.88 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 14.27 8.73 None ldv-races/race-4_1-thread_local_vars.yml ERROR: EXCEPTION 10.35 6.84 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml OUT OF MEMORY 145.36 105.24 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml OUT OF MEMORY 135.80 96.70 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR: EXCEPTION 103.61 71.96 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml ERROR: EXCEPTION 45.74 27.58 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml ERROR: EXCEPTION 66.13 43.12 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR: EXCEPTION 66.72 40.85 None pthread-complex/bounded_buffer.yml UNKNOWN: OverapproxCex 349.12 247.40 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 94.40 67.52 None pthread-complex/safestack_relacy.yml ERROR: EXCEPTION 11.51 7.07 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 907.42 718.83 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 20.91 12.98 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 21.24 12.90 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml TIMEOUT 901.38 772.35 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 29.59 17.81 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 902.27 858.72 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 29.75 17.80 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 901.43 876.17 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 25.24 15.94 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 23.51 14.25 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 31.77 18.91 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 24.02 15.40 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 901.72 876.45 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 25.99 15.48 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml true 28.91 17.40 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 25.22 15.95 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 22.82 14.37 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 21.66 13.43 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 25.95 15.85 None pthread-C-DAC/pthread-demo-datarace-1.yml true 48.57 31.33 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 20.64 12.92 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 8.68 5.80 None pthread-C-DAC/pthread-numerical-integration.yml unknown 8.32 5.56 None pthread-divine/tls_basic.yml unknown 8.22 5.51 None pthread-divine/tls_destructor_worker.yml unknown 8.41 5.46 None goblint-regression/13-privatized_01-priv_nr_true.yml true 11.14 7.14 None goblint-regression/13-privatized_04-priv_multi_true.yml true 64.66 47.42 None goblint-regression/13-privatized_18-first-reads_true.yml true 10.44 6.72 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 9.75 6.38 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 9.52 6.35 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 10.32 6.52 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 9.75 6.37 None goblint-regression/13-privatized_19-publish-precision_true.yml true 10.44 6.84 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 10.48 6.76 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 11.06 7.17 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 10.83 6.94 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 9.84 6.40 None goblint-regression/13-privatized_20-publish-regression_true.yml true 10.88 7.14 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 14.99 9.24 None goblint-regression/13-privatized_25-struct_nr_true.yml true 10.35 6.97 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 18.15 10.72 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 13.26 8.03 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 10.90 7.16 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 12.25 7.66 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 13.03 8.02 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 12.36 7.68 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 12.46 7.87 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 11.56 7.36 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 10.89 7.09 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 10.54 7.02 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 11.31 7.03 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 11.05 7.31 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 9.75 6.50 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 11.31 7.29 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 11.58 7.41 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 11.55 7.21 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 11.27 7.26 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 9.95 6.50 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 10.17 6.82 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 10.06 6.84 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 10.72 6.78 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 9.89 6.48 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 9.90 6.48 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 14.84 8.90 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 12.43 7.69 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 14.14 8.85 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 19.16 11.37 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 11.65 7.35 None goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 70.21 46.33 None goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 90.69 59.81 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 73.94 48.84 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 68.85 45.79 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml OUT OF MEMORY 68.01 46.99 None goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 81.17 50.02 None goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 73.52 48.68 None goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 74.68 48.64 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 64.31 46.30 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 68.20 49.03 None goblint-regression/28-race_reach_11-ptr_racing.yml OUT OF MEMORY 71.88 48.86 None goblint-regression/28-race_reach_12-ptr_racefree.yml OUT OF MEMORY 70.78 46.96 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 77.29 50.32 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 83.20 54.08 None goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 76.04 51.36 None goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 82.41 50.84 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 8.36 5.69 None goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 92.78 58.92 None goblint-regression/28-race_reach_27-funptr_racing.yml OUT OF MEMORY 68.73 44.70 None goblint-regression/28-race_reach_28-funptr_racefree.yml OUT OF MEMORY 69.27 44.38 None goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 74.33 49.89 None goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 85.42 52.50 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 8.25 5.47 None goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 68.64 47.19 None goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 84.28 55.83 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 12.05 7.64 None goblint-regression/28-race_reach_46-escape_racefree.yml true 12.89 8.14 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 76.06 51.73 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 72.50 48.74 None goblint-regression/28-race_reach_61-invariant_racing.yml OUT OF MEMORY 71.15 46.70 None goblint-regression/28-race_reach_70-funloop_racefree.yml OUT OF MEMORY 80.10 53.85 None goblint-regression/28-race_reach_71-funloop_racing.yml ERROR: EXCEPTION 11.16 7.09 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml OUT OF MEMORY 78.33 52.61 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml OUT OF MEMORY 80.81 55.71 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 88.30 57.00 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 79.32 53.22 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 84.59 56.71 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 90.32 60.34 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 71.57 47.33 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 72.78 47.86 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 90.04 59.31 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 87.54 61.36 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 80.25 51.43 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 139.06 88.39 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 81.94 54.59 None goblint-regression/28-race_reach_86-lists_racing.yml OUT OF MEMORY 419.07 391.42 None goblint-regression/28-race_reach_87-lists_racefree.yml OUT OF MEMORY 412.71 384.11 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml ERROR: EXCEPTION 12.39 7.57 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 901.81 888.52 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 901.81 886.77 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 901.35 874.40 None goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 71.33 51.99 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 9.87 6.54 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.63 6.46 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 10.55 6.96 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 9.95 6.45 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 31.03 19.89 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 13.95 8.52 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 10.04 6.41 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 9.67 6.37 None weaver/array-eq-symm.wvr.yml TIMEOUT 902.16 814.94 None weaver/array-eq-trans.wvr.yml ERROR: EXCEPTION 279.69 258.31 None weaver/bench-exp1x3.wvr.yml TIMEOUT 900.52 884.51 None weaver/bench-exp2x3.wvr.yml TIMEOUT 902.59 864.52 None weaver/bench-exp2x4.wvr.yml TIMEOUT 901.88 871.58 None weaver/bench-exp2x6.wvr.yml TIMEOUT 901.69 885.53 None weaver/bench-exp2x9.wvr.yml TIMEOUT 901.82 883.84 None weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 735.64 676.03 None weaver/bench-exp3x3.wvr.yml TIMEOUT 902.02 859.46 None weaver/chl-array-int-subst.wvr.yml ERROR: EXCEPTION 376.57 348.09 None weaver/chl-array-int-symm.wvr.yml ERROR: EXCEPTION 414.85 379.01 None weaver/chl-array-int-trans.wvr.yml ERROR: EXCEPTION 160.24 138.58 None weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 901.39 802.38 None weaver/chl-chromosome-subst.wvr.yml ERROR: EXCEPTION 336.91 305.20 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 900.86 823.72 None weaver/chl-chromosome-trans.wvr.yml ERROR: EXCEPTION 285.79 248.22 None weaver/chl-collitem-subst.wvr.yml true 38.11 20.80 None weaver/chl-collitem-symm.wvr.yml true 16.33 9.54 None weaver/chl-collitem-trans.wvr.yml true 30.12 16.51 None weaver/chl-exp-term-subst.wvr.yml true 30.15 16.64 None weaver/chl-exp-term-symm.wvr.yml true 13.68 8.31 None weaver/chl-file-item-subst.wvr.yml true 32.31 18.08 None weaver/chl-file-item-symm.wvr.yml true 14.87 9.13 None weaver/chl-file-item-trans.wvr.yml true 21.75 12.33 None weaver/chl-match-subst.wvr.yml true 20.12 11.59 None weaver/chl-match-symm.wvr.yml true 12.27 7.75 None weaver/chl-match-trans.wvr.yml true 15.28 9.44 None weaver/chl-name-comparator-subst.wvr.yml TIMEOUT 900.52 755.15 None weaver/chl-name-comparator-symm.wvr.yml TIMEOUT 901.69 815.31 None weaver/chl-name-comparator-trans.wvr.yml TIMEOUT 901.24 781.30 None weaver/chl-node-subst.wvr.yml ERROR: EXCEPTION 328.77 296.17 None weaver/chl-node-symm.wvr.yml true 15.88 9.66 None weaver/chl-node-trans.wvr.yml true 22.30 12.79 None weaver/chl-nzb-file-subst.wvr.yml ERROR: EXCEPTION 466.47 408.87 None weaver/chl-nzb-file-symm.wvr.yml ERROR: EXCEPTION 598.18 558.06 None weaver/chl-nzb-file-trans.wvr.yml TIMEOUT 901.76 749.87 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 902.02 702.43 None weaver/chl-poker-hand-symm.wvr.yml ERROR: EXCEPTION 784.35 725.90 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 902.56 667.35 None weaver/chl-simpl-str-subst.wvr.yml true 21.15 12.21 None weaver/chl-simpl-str-symm.wvr.yml true 12.44 8.82 None weaver/chl-simpl-str-trans.wvr.yml true 15.81 9.46 None weaver/chl-sre-subst.wvr.yml true 20.69 12.96 None weaver/chl-sre-symm.wvr.yml true 12.14 7.61 None weaver/chl-sre-trans.wvr.yml true 12.43 7.72 None weaver/chl-time-subst.wvr.yml true 21.92 12.70 None weaver/chl-time-symm.wvr.yml true 12.87 7.97 None weaver/chl-time-trans.wvr.yml true 17.05 9.88 None weaver/chl-word-subst.wvr.yml ERROR: EXCEPTION 412.53 384.65 None weaver/chl-word-symm.wvr.yml ERROR: EXCEPTION 427.86 389.60 None weaver/chl-word-trans.wvr.yml ERROR: EXCEPTION 577.33 519.97 None weaver/clever.wvr.yml TIMEOUT 901.90 868.64 None weaver/fibonacci.wvr.yml TIMEOUT 901.33 829.86 None weaver/loop-tiling-eq.wvr.yml ERROR: EXCEPTION 393.32 371.57 None weaver/mult-comm.wvr.yml TIMEOUT 901.72 880.24 None weaver/mult-dist.wvr.yml TIMEOUT 902.35 805.86 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 902.39 763.86 None weaver/parallel-bakery-2.wvr.yml true 15.24 9.19 None weaver/parallel-bakery-3.wvr.yml OUT OF MEMORY 406.25 334.20 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 95.99 65.59 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 62.01 44.03 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 259.40 212.22 None weaver/parallel-bluetooth.wvr.yml true 12.59 8.92 None weaver/parallel-lamport.wvr.yml TIMEOUT 901.88 770.35 None weaver/parallel-min-max-1.wvr.yml OUT OF MEMORY 407.30 310.34 None weaver/parallel-misc-1.wvr.yml ERROR: EXCEPTION 494.55 466.09 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.29 6.36 None weaver/parallel-misc-2-unrolled.wvr.yml true 12.16 7.70 None weaver/parallel-misc-2.wvr.yml TIMEOUT 900.96 877.09 None weaver/parallel-misc-3-extended.wvr.yml true 27.89 17.65 None weaver/parallel-misc-3.wvr.yml true 13.75 8.50 None weaver/parallel-misc-4.wvr.yml true 19.87 12.30 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 206.47 159.85 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 98.27 70.22 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 434.01 353.78 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 189.86 144.99 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 904.49 696.25 None weaver/parallel-simple-equiv.wvr.yml true 11.28 7.32 None weaver/parallel-ticket-2.wvr.yml true 10.76 7.08 None weaver/parallel-ticket-3.wvr.yml true 17.25 10.42 None weaver/parallel-ticket-4.wvr.yml true 52.69 36.02 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 123.74 91.21 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 68.28 43.91 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 68.00 47.83 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 74.84 49.78 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 141.82 105.13 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 116.25 80.61 None weaver/popl20-bad-buffer-mult-alt3.wvr.yml false(unreach-call) 15.52 9.35 None weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 286.44 222.17 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 88.07 60.66 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 13.27 8.05 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 900.80 803.32 None weaver/popl20-bad-dot-product-alt.wvr.yml ERROR: EXCEPTION 120.56 102.16 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 302.70 249.41 None weaver/popl20-bad-ring-nondet.wvr.yml true 15.58 9.28 None weaver/popl20-bad-ring.wvr.yml ERROR: EXCEPTION 813.37 770.26 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 903.24 873.96 None weaver/popl20-bad-three-array-sum-alt.wvr.yml TIMEOUT 901.68 861.87 None weaver/popl20-channel-sum.wvr.yml ERROR: EXCEPTION 445.09 393.92 None weaver/popl20-commit-1.wvr.yml ERROR: EXCEPTION 455.88 420.30 None weaver/popl20-commit-2.wvr.yml ERROR: EXCEPTION 296.15 255.07 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 315.59 260.08 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 901.09 769.08 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 151.89 117.39 None weaver/popl20-figure1-alt.wvr.yml TIMEOUT 901.53 810.40 None weaver/popl20-figure1.wvr.yml TIMEOUT 901.10 806.65 None weaver/popl20-figure3.wvr.yml TIMEOUT 902.03 875.06 None weaver/popl20-horseshoe.wvr.yml ERROR: EXCEPTION 744.13 630.33 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 305.78 249.13 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 78.80 50.94 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 193.81 162.74 None weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 901.30 775.96 None weaver/popl20-more-array-sum-alt2.wvr.yml TIMEOUT 901.43 789.03 None weaver/popl20-more-array-sum.wvr.yml false(unreach-call) 766.74 658.09 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 901.20 795.05 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 207.89 167.89 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 729.29 584.40 None weaver/popl20-more-buffer-mult3.wvr.yml OUT OF MEMORY 185.32 145.41 None weaver/popl20-more-buffer-series.wvr.yml OUT OF MEMORY 330.17 289.16 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 262.13 227.92 None weaver/popl20-more-buffer-series3.wvr.yml false(unreach-call) 27.76 16.26 None weaver/popl20-more-dec-subseq.wvr.yml ERROR: EXCEPTION 453.37 426.06 None weaver/popl20-more-inc-subseq.wvr.yml ERROR: EXCEPTION 593.49 567.85 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.36 782.22 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 902.09 783.86 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 901.38 778.18 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.58 768.90 None weaver/popl20-more-min-le-max.wvr.yml true 11.45 7.29 None weaver/popl20-more-mts.wvr.yml ERROR: EXCEPTION 845.57 711.77 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 901.58 818.01 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 901.35 841.73 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 902.55 828.96 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 902.16 860.02 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 901.13 792.03 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 901.87 864.55 None weaver/popl20-more-vector-add.wvr.yml ERROR: EXCEPTION 227.09 207.19 None weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 193.68 156.48 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 902.34 777.01 None weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 901.81 814.81 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 900.95 776.34 None weaver/popl20-prod-cons-eq.wvr.yml ERROR: EXCEPTION 129.48 111.34 None weaver/popl20-prod-cons.wvr.yml OUT OF MEMORY 335.29 267.50 None weaver/popl20-prod-cons3.wvr.yml OUT OF MEMORY 199.05 145.86 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 175.59 143.09 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 901.76 795.17 None weaver/popl20-queue-add-3.wvr.yml OUT OF MEMORY 832.14 735.10 None weaver/popl20-send-receive-alt.wvr.yml ERROR: EXCEPTION 357.50 318.45 None weaver/popl20-send-receive.wvr.yml TIMEOUT 903.00 749.96 None weaver/popl20-simple-array-sum.wvr.yml true 32.19 19.52 None weaver/popl20-simple-queue.wvr.yml true 23.97 14.42 None weaver/popl20-threaded-sum-3.wvr.yml OUT OF MEMORY 315.98 267.12 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 229.95 187.06 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 249.32 203.40 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 900.84 868.51 None weaver/popl20-two-queue.wvr.yml TIMEOUT 901.09 866.55 None weaver/security.wvr.yml true 11.14 7.16 None weaver/spaghetti.wvr.yml true 16.26 9.73 None weaver/test-context1.wvr.yml OUT OF MEMORY 473.29 377.96 None weaver/test-easy1.wvr.yml true 14.99 10.92 None weaver/test-easy10.wvr.yml OUT OF MEMORY 268.04 199.17 None weaver/test-easy11.wvr.yml true 69.60 55.21 None weaver/test-easy6.wvr.yml true 14.48 8.83 None weaver/test-easy7.wvr.yml true 10.30 6.85 None weaver/test-easy8.wvr.yml true 10.26 6.62 None weaver/test-hard1.wvr.yml TIMEOUT 902.59 766.17 None weaver/test-semi1.wvr.yml true 10.20 6.65 None weaver/unroll-2.wvr.yml ERROR: EXCEPTION 363.60 341.78 None weaver/unroll-3.wvr.yml TIMEOUT 901.76 823.50 None weaver/unroll-4.wvr.yml ERROR: EXCEPTION 357.14 336.25 None weaver/unroll-5.wvr.yml ERROR: EXCEPTION 347.90 324.66 None weaver/unroll-cond-2.wvr.yml ERROR: EXCEPTION 565.06 516.68 None weaver/unroll-cond-3.wvr.yml TIMEOUT 902.20 865.20 None weaver/unroll-cond-4.wvr.yml ERROR: EXCEPTION 818.34 790.36 None weaver/unroll-cond-5.wvr.yml ERROR: EXCEPTION 250.65 231.03 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 26.80 16.85 None pthread-deagle/arithmetic_prog_ok.yml true 34.35 21.24 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 29.25 19.45 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 901.54 877.98 None pthread-race-challenges/thread-local-pthread-value.yml unknown 8.37 5.43 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 9.49 6.16 None pthread-race-challenges/thread-local-value.yml unknown 8.48 5.41 None libvsync/arraylock.yml unknown 13.50 9.21 None libvsync/bounded_mpmc_check_full.yml ERROR: EXCEPTION 15.20 9.31 None libvsync/cnalock.yml ERROR: EXCEPTION 14.40 8.85 None libvsync/hclhlock.yml ERROR: EXCEPTION 18.09 11.44 None libvsync/hmcslock.yml ERROR: EXCEPTION 16.05 9.63 None libvsync/mcslock.yml ERROR: EXCEPTION 14.24 9.05 None libvsync/rec_mcslock.yml ERROR: EXCEPTION 14.14 8.90 None libvsync/rec_ticketlock.yml ERROR: EXCEPTION 13.07 8.39 None libvsync/rwlock.yml ERROR: EXCEPTION 15.84 10.30 None libvsync/semaphore.yml ERROR: EXCEPTION 13.36 8.37 None libvsync/ticketlock.yml ERROR: EXCEPTION 13.00 8.12 None libvsync/ttaslock.yml OUT OF MEMORY 298.19 199.48 None pthread-theta/exponential-4.yml true 33.39 21.86 None pthread-theta/exponential-64.yml OUT OF MEMORY 252.65 181.15 None pthread-theta/exponential-nondet.yml OUT OF MEMORY 79.74 59.94 None pthread-theta/unwind1-1.yml false(unreach-call) 12.82 8.43 None pthread-theta/unwind1-100.yml false(unreach-call) 59.73 44.29 None pthread-theta/unwind1-nondet.yml false(unreach-call) 11.88 7.67 None pthread-theta/unwind2-1.yml false(unreach-call) 15.24 9.83 None pthread-theta/unwind2-100.yml false(unreach-call) 139.68 110.98 None pthread-theta/unwind2-nondet.yml false(unreach-call) 13.41 8.56 None pthread-theta/unwind3-1.yml false(unreach-call) 12.03 8.17 None pthread-theta/unwind3-100.yml OUT OF MEMORY 142.37 105.01 None pthread-theta/unwind3-nondet.yml false(unreach-call) 10.00 6.50 None pthread-theta/wsc.yml true 22.95 14.28 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 2 done 118947.64 7790.33 - GemCutter-RCFG.SVCOMP-ConcurrencySafety-Main Run set 3 of 6: skipped AutomizerFA-ICFG.SVCOMP-ConcurrencySafety-Main Run set 4 of 6 with options '--force-no-wrapper -tc ${benchmark_path}/../../../trunk/examples/toolchains/AutomizerCInline_IcfgBuilder.xml -s ${benchmark_path}/../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf --traceabstraction.automaton.type.used.in.concurrency.analysis FINITE_AUTOMATA --preprocessor.replace.while.statements.and.if-then-else.statements false' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 15.15 9.84 None pthread/bigshot_s2.yml true 15.34 9.79 None pthread/butterfly.yml OUT OF MEMORY 92.03 55.81 None pthread/fib_safe-10.yml TIMEOUT 900.88 830.22 None pthread/fib_safe-11.yml TIMEOUT 902.27 750.46 None pthread/fib_safe-12.yml TIMEOUT 902.83 758.02 None pthread/fib_safe-5.yml OUT OF MEMORY 867.40 683.52 None pthread/fib_safe-6.yml TIMEOUT 906.79 741.90 None pthread/fib_safe-7.yml TIMEOUT 903.27 740.48 None pthread/fib_unsafe-10.yml TIMEOUT 901.58 795.99 None pthread/fib_unsafe-11.yml OUT OF MEMORY 847.39 747.47 None pthread/fib_unsafe-12.yml TIMEOUT 901.70 785.05 None pthread/fib_unsafe-5.yml OUT OF MEMORY 730.55 621.75 None pthread/fib_unsafe-6.yml TIMEOUT 901.65 806.92 None pthread/fib_unsafe-7.yml TIMEOUT 901.46 770.94 None pthread/lazy01.yml false(unreach-call) 11.16 7.26 None pthread/queue.yml false(unreach-call) 30.90 18.06 None pthread/queue_longer.yml false(unreach-call) 50.85 30.93 None pthread/queue_longest.yml false(unreach-call) 93.62 66.81 None pthread/queue_ok.yml TIMEOUT 901.20 867.96 None pthread/queue_ok_longer.yml TIMEOUT 902.12 881.90 None pthread/queue_ok_longest.yml OUT OF MEMORY 91.67 68.30 None pthread/reorder_2.yml OUT OF MEMORY 123.02 74.11 None pthread/reorder_5.yml OUT OF MEMORY 119.40 73.16 None pthread/singleton.yml false(unreach-call) 10.73 6.87 None pthread/singleton_with-uninit-problems.yml true 13.12 8.09 None pthread/stack-1.yml true 40.61 24.42 None pthread/stack-2.yml false(unreach-call) 16.92 10.24 None pthread/stack_longer-1.yml false(unreach-call) 27.80 15.82 None pthread/stack_longer-2.yml OUT OF MEMORY 445.16 354.33 None pthread/stack_longest-1.yml false(unreach-call) 40.01 25.38 None pthread/stack_longest-2.yml OUT OF MEMORY 581.36 434.19 None pthread/stateful01-1.yml false(unreach-call) 11.35 7.16 None pthread/stateful01-2.yml true 11.25 7.16 None pthread/sync01.yml true 15.87 9.50 None pthread/triangular-1.yml true 18.70 11.58 None pthread/triangular-2.yml false(unreach-call) 16.40 10.25 None pthread/triangular-longer-1.yml true 23.00 14.47 None pthread/triangular-longer-2.yml false(unreach-call) 23.62 14.80 None pthread/triangular-longest-1.yml true 33.00 21.44 None pthread/triangular-longest-2.yml false(unreach-call) 26.30 16.84 None pthread/twostage_3.yml OUT OF MEMORY 86.26 58.21 None pthread-atomic/dekker-unfair.yml true 10.28 6.61 None pthread-atomic/dekker.yml true 10.33 6.65 None pthread-atomic/lamport.yml true 10.44 6.68 None pthread-atomic/peterson.yml true 9.71 6.50 None pthread-atomic/read_write_lock-1.yml true 10.68 6.88 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 24.96 14.15 None pthread-atomic/szymanski.yml true 10.42 6.58 None pthread-atomic/time_var_mutex.yml true 10.32 6.68 None pthread-ext/01b_inc.yml OUT OF MEMORY 106.51 67.72 None pthread-ext/02_inc_cas.yml OUT OF MEMORY 111.99 69.95 None pthread-ext/03_incdec.yml OUT OF MEMORY 94.81 58.93 None pthread-ext/04_incdec_cas.yml OUT OF MEMORY 124.60 74.89 None pthread-ext/08_rand_cas.yml OUT OF MEMORY 106.14 63.34 None pthread-ext/09_fmaxsym-zero.yml OUT OF MEMORY 147.32 87.13 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 91.76 60.27 None pthread-ext/11_fmaxsymopt-zero.yml OUT OF MEMORY 109.17 68.69 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 103.79 68.77 None pthread-ext/14_spin2003.yml OUT OF MEMORY 91.82 58.06 None pthread-ext/18_read_write_lock.yml true 10.84 6.89 None pthread-ext/25_stack.yml OUT OF MEMORY 133.67 84.94 None pthread-ext/25_stack_longer-1.yml TIMEOUT 905.62 895.25 None pthread-ext/25_stack_longer-2.yml TIMEOUT 905.61 895.89 None pthread-ext/25_stack_longest-1.yml TIMEOUT 905.97 879.29 None pthread-ext/25_stack_longest-2.yml TIMEOUT 901.51 874.12 None pthread-ext/26_stack_cas.yml OUT OF MEMORY 110.38 71.73 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 905.57 896.04 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 905.62 895.74 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT (ERROR: EXCEPTION) 901.85 876.13 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 905.88 879.63 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 10.28 6.70 None pthread-ext/29_conditionals_vs.yml ERROR: EXCEPTION 9.26 6.11 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 149.11 99.55 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 118.23 78.66 None pthread-ext/36_stack_cas_p0_vs_concur.yml OUT OF MEMORY 99.92 62.00 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 80.16 52.67 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 98.71 59.44 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 99.58 61.30 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml OUT OF MEMORY 96.17 58.42 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: EXCEPTION 10.43 6.72 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 123.10 86.43 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 109.35 66.88 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 79.90 54.46 None pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR: EXCEPTION 9.42 6.39 None pthread-wmm/mix000.oepc.yml false(unreach-call) 18.45 10.67 None pthread-wmm/mix000.opt.yml false(unreach-call) 17.06 10.25 None pthread-wmm/mix001.oepc.yml false(unreach-call) 23.01 12.83 None pthread-wmm/mix001.opt.yml false(unreach-call) 23.57 13.38 None pthread-wmm/mix002.oepc.yml false(unreach-call) 23.66 13.43 None pthread-wmm/mix002.opt.yml false(unreach-call) 21.82 12.30 None pthread-wmm/mix003.oepc.yml false(unreach-call) 23.30 13.51 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 20.70 11.80 None pthread-wmm/mix004.oepc.yml false(unreach-call) 36.24 19.99 None pthread-wmm/mix004.opt.yml false(unreach-call) 35.23 19.38 None pthread-wmm/mix005.opt.yml false(unreach-call) 34.12 18.61 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 34.95 19.10 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 54.07 30.94 None pthread-wmm/mix006.opt.yml false(unreach-call) 20.57 11.95 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.34 12.73 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 27.06 15.16 None pthread-wmm/mix007.oepc.yml false(unreach-call) 38.97 21.31 None pthread-wmm/mix007.opt.yml false(unreach-call) 31.63 17.72 None pthread-wmm/mix008.opt.yml false(unreach-call) 29.58 16.63 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 33.40 18.80 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 49.22 28.73 None pthread-wmm/mix009.oepc.yml false(unreach-call) 16.64 9.91 None pthread-wmm/mix009.opt.yml false(unreach-call) 16.96 10.03 None pthread-wmm/mix010.oepc.yml false(unreach-call) 16.62 9.99 None pthread-wmm/mix010.opt.yml false(unreach-call) 23.86 13.60 None pthread-wmm/mix011.opt.yml false(unreach-call) 23.20 13.04 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 21.35 12.17 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 26.24 14.61 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 14.06 8.77 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 18.89 11.04 None pthread-wmm/mix013.oepc.yml false(unreach-call) 36.75 20.12 None pthread-wmm/mix013.opt.yml false(unreach-call) 36.02 19.88 None pthread-wmm/mix014.opt.yml false(unreach-call) 36.13 19.95 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 37.44 20.38 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 55.02 31.41 None pthread-wmm/mix015.oepc.yml false(unreach-call) 25.36 14.14 None pthread-wmm/mix015.opt.yml false(unreach-call) 22.64 12.67 None pthread-wmm/mix016.oepc.yml false(unreach-call) 23.15 13.11 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 19.41 12.46 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 21.37 12.22 None pthread-wmm/mix017.oepc.yml false(unreach-call) 39.90 21.64 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 34.57 19.14 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 32.28 17.93 None pthread-wmm/mix018.opt.yml false(unreach-call) 34.50 19.06 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.45 17.46 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 40.33 22.32 None pthread-wmm/mix019.opt.yml false(unreach-call) 21.76 12.54 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.07 11.42 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 29.69 16.58 None pthread-wmm/mix020.oepc.yml false(unreach-call) 35.04 19.22 None pthread-wmm/mix020.opt.yml false(unreach-call) 33.65 18.66 None pthread-wmm/mix021.opt.yml false(unreach-call) 35.57 19.53 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 37.28 20.38 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 50.07 28.79 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.81 9.23 None pthread-wmm/mix022_tso.yml false(unreach-call) 16.75 9.91 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 39.75 21.59 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 38.12 21.04 None pthread-wmm/mix023_tso.yml false(unreach-call) 62.93 36.52 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 19.05 11.05 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 22.08 12.57 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 21.48 12.22 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 17.01 10.05 None pthread-wmm/mix026.oepc.yml false(unreach-call) 39.03 21.44 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 35.68 20.59 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 36.20 20.00 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.65 17.51 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 30.96 16.98 None pthread-wmm/mix027_tso.yml false(unreach-call) 46.55 26.39 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 15.08 9.13 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 29.91 16.77 None pthread-wmm/mix028_tso.yml false(unreach-call) 24.48 13.72 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 38.37 21.00 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 50.46 29.26 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 35.27 19.45 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 49.80 28.04 None pthread-wmm/mix030_tso.yml false(unreach-call) 45.59 25.99 None pthread-wmm/mix031.oepc.yml false(unreach-call) 18.55 11.01 None pthread-wmm/mix031.opt.yml false(unreach-call) 17.20 10.18 None pthread-wmm/mix032.oepc.yml false(unreach-call) 18.71 10.98 None pthread-wmm/mix032.opt.yml false(unreach-call) 19.95 11.51 None pthread-wmm/mix033.opt.yml false(unreach-call) 20.40 11.56 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 23.15 13.13 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 23.71 13.34 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 17.15 10.14 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 16.78 9.96 None pthread-wmm/mix035.oepc.yml false(unreach-call) 20.42 11.71 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 18.77 10.91 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 18.70 11.08 None pthread-wmm/mix036.oepc.yml false(unreach-call) 33.38 18.93 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 38.21 20.84 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 34.80 19.14 None pthread-wmm/mix037.opt.yml false(unreach-call) 31.87 17.77 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 39.78 21.98 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 45.64 25.55 None pthread-wmm/mix038.opt.yml false(unreach-call) 19.24 11.13 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 20.67 11.83 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 25.91 14.84 None pthread-wmm/mix039.oepc.yml false(unreach-call) 37.70 20.55 None pthread-wmm/mix039.opt.yml false(unreach-call) 37.53 20.59 None pthread-wmm/mix040.opt.yml false(unreach-call) 35.21 19.29 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 39.30 21.36 None pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 59.18 34.81 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 16.84 9.89 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 17.44 10.35 None pthread-wmm/mix042.oepc.yml false(unreach-call) 21.90 12.37 None pthread-wmm/mix042.opt.yml false(unreach-call) 24.07 13.72 None pthread-wmm/mix043.oepc.yml false(unreach-call) 38.99 21.60 None pthread-wmm/mix043.opt.yml false(unreach-call) 34.65 19.32 None pthread-wmm/mix044.opt.yml false(unreach-call) 43.63 24.57 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 38.28 22.11 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 51.16 29.55 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 18.47 10.67 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 27.28 15.26 None pthread-wmm/mix046.oepc.yml false(unreach-call) 35.63 19.82 None pthread-wmm/mix046.opt.yml false(unreach-call) 50.63 29.91 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 39.08 21.43 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 53.85 31.47 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) 14.34 8.81 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) 20.68 12.16 None pthread-wmm/mix050.yml false(unreach-call) 39.49 21.57 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 32.49 18.18 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 31.06 17.16 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 46.64 26.18 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 18.86 10.91 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 18.81 10.84 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 25.21 14.16 None pthread-wmm/mix053.opt.yml false(unreach-call) 26.44 14.92 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 32.52 18.08 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 55.44 32.02 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 15.51 9.33 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 14.33 8.70 None pthread-wmm/mix055.opt.yml false(unreach-call) 37.89 21.28 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 31.88 17.45 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 42.55 23.05 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.57 12.75 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 26.09 14.60 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 32.46 18.06 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 45.59 26.29 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 19.00 11.07 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 15.95 9.50 None pthread-wmm/rfi000_tso.yml true 24.79 14.04 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 17.11 10.03 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 20.21 11.66 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 27.60 15.35 None pthread-wmm/rfi002_tso.yml true 22.22 13.73 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.28 9.11 None pthread-wmm/rfi003_tso.yml true 26.12 14.68 None pthread-wmm/rfi004.yml false(unreach-call) 18.45 10.64 None pthread-wmm/rfi005.yml false(unreach-call) 12.13 7.84 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 15.07 9.03 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 18.86 10.91 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 21.18 12.35 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 15.90 9.37 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.64 9.27 None pthread-wmm/rfi007_tso.yml false(unreach-call) 16.19 9.79 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 17.09 10.31 None pthread-wmm/rfi008.opt.yml false(unreach-call) 17.12 10.03 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 20.72 11.76 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 22.85 12.97 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 16.11 9.61 None pthread-wmm/rfi010.yml false(unreach-call) 17.24 10.16 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 26.07 14.86 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 18.35 10.76 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.86 10.07 None pthread-wmm/safe000_rmo.yml false(unreach-call) 26.22 14.75 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 30.98 17.31 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 19.92 11.50 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 28.92 16.10 None pthread-wmm/safe001_tso.yml true 17.39 10.22 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 38.11 20.78 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 17.67 10.39 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 25.79 14.26 None pthread-wmm/safe002_tso.yml true 16.32 9.77 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 25.71 14.40 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 18.89 11.15 None pthread-wmm/safe003_tso.yml true 16.22 9.60 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 25.12 14.07 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 17.94 10.47 None pthread-wmm/safe004_tso.yml true 16.73 9.70 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.66 9.98 None pthread-wmm/safe005_tso.yml true 16.41 9.66 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 14.09 8.56 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 14.36 8.88 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 12.44 7.84 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 13.06 7.97 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 18.91 11.17 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 30.96 17.18 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 13.28 8.36 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 20.28 11.57 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 23.89 13.42 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 24.57 13.94 None pthread-wmm/safe008_tso.yml true 13.52 8.49 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 24.37 13.81 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 18.88 10.97 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.95 9.47 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 21.37 12.21 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 17.74 10.43 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.16 9.55 None pthread-wmm/safe010_tso.yml true 12.95 8.06 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 28.97 15.93 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 22.98 13.00 None pthread-wmm/safe011_tso.yml true 14.25 8.59 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 20.00 11.55 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 25.03 14.06 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 20.07 11.45 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 19.83 11.45 None pthread-wmm/safe012_tso.yml true 14.22 8.74 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 18.56 11.05 None pthread-wmm/safe013_tso.yml true 13.76 8.41 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 15.45 9.47 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 18.43 10.72 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.39 10.38 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 16.75 10.08 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 27.61 15.27 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 13.23 8.26 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 28.89 16.06 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.54 9.82 None pthread-wmm/safe015_rmo.yml false(unreach-call) 37.31 20.33 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 40.24 21.94 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 42.72 23.19 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 33.30 18.59 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 38.57 21.14 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 37.45 20.63 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 22.47 12.80 None pthread-wmm/safe017_tso.yml true 15.51 9.52 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 14.81 8.99 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 17.70 10.39 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 15.00 9.18 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 13.89 8.56 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 20.76 11.89 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 33.50 18.33 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 67.18 40.20 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 34.21 19.20 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 37.45 20.64 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 41.01 22.60 None pthread-wmm/safe020_power.yml false(unreach-call) 18.23 10.65 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.72 10.37 None pthread-wmm/safe020_rmo.yml false(unreach-call) 23.48 13.31 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 20.58 11.79 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 26.47 14.84 None pthread-wmm/safe021_tso.yml true 14.91 8.87 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.11 9.56 None pthread-wmm/safe022_tso.yml true 12.57 7.98 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 33.36 18.13 None pthread-wmm/safe023_tso.yml true 16.57 9.93 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.29 11.24 None pthread-wmm/safe024_tso.yml true 14.69 9.01 None pthread-wmm/safe025_power.yml false(unreach-call) 14.54 8.64 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.49 10.35 None pthread-wmm/safe025_rmo.yml false(unreach-call) 32.12 17.79 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.94 11.37 None pthread-wmm/safe026_tso.yml true 16.16 9.59 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 31.80 17.69 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 49.75 27.87 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 24.32 13.97 None pthread-wmm/safe027_rmo.yml false(unreach-call) 30.09 16.74 None pthread-wmm/safe028_power.yml false(unreach-call) 18.91 11.88 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.98 9.01 None pthread-wmm/safe028_rmo.yml false(unreach-call) 21.17 12.46 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 17.39 10.08 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 18.39 10.72 None pthread-wmm/safe029_tso.yml true 12.39 7.91 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 30.00 16.76 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 33.45 18.71 None pthread-wmm/safe030_tso.yml true 14.43 8.69 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 19.46 11.23 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 24.17 13.77 None pthread-wmm/safe031_tso.yml true 13.68 8.66 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 36.61 20.29 None pthread-wmm/safe032_tso.yml true 15.72 9.48 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 15.66 9.17 None pthread-wmm/safe033_tso.yml true 12.28 7.80 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 18.03 10.63 None pthread-wmm/safe034_tso.yml true 14.37 8.89 None pthread-wmm/safe035_power.yml true 40.30 22.68 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 17.32 10.10 None pthread-wmm/safe036.yml true 12.51 7.93 None pthread-wmm/safe037.yml true 15.57 9.28 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 26.06 15.81 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 40.58 22.55 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 24.31 13.83 None pthread-wmm/thin002_rmo.yml false(unreach-call) 25.27 14.45 None pthread-lit/qw2004-2b.yml false(unreach-call) 12.25 7.85 None pthread-lit/sssc12.yml OUT OF MEMORY 99.16 64.67 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 105.22 68.53 None ldv-races/race-1_1-join.yml true 11.24 7.29 None ldv-races/race-1_2-join.yml false(unreach-call) 11.90 8.67 None ldv-races/race-1_3-join.yml false(unreach-call) 12.48 7.60 None ldv-races/race-2_1-container_of.yml true 41.42 23.08 None ldv-races/race-2_2-container_of.yml false(unreach-call) 22.05 12.36 None ldv-races/race-2_3-container_of.yml false(unreach-call) 13.75 8.38 None ldv-races/race-2_4-container_of.yml false(unreach-call) 14.12 8.55 None ldv-races/race-2_5-container_of.yml false(unreach-call) 18.50 10.60 None ldv-races/race-3_1-container_of-global.yml true 25.47 14.24 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 19.62 11.40 None ldv-races/race-4_1-thread_local_vars.yml ERROR: EXCEPTION 11.72 7.42 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml OUT OF MEMORY 148.34 108.88 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml OUT OF MEMORY 146.24 105.77 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR: EXCEPTION 106.47 74.27 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml ERROR: EXCEPTION 46.60 27.77 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml ERROR: EXCEPTION 68.67 43.59 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR: EXCEPTION 61.66 39.15 None pthread-complex/bounded_buffer.yml OUT OF MEMORY 97.92 60.78 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 89.98 56.20 None pthread-complex/safestack_relacy.yml ERROR: EXCEPTION 10.98 6.99 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 901.09 800.47 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 23.88 15.46 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 20.92 13.02 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml false(unreach-call) 474.27 421.32 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 27.36 16.22 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 901.89 864.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 25.17 16.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 901.75 877.20 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 23.21 13.97 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 24.30 15.47 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 28.01 17.46 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 22.90 14.32 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 901.84 877.36 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 29.05 17.32 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml true 29.17 17.42 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 23.64 15.64 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 24.07 14.79 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 22.22 13.49 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 25.63 15.43 None pthread-C-DAC/pthread-demo-datarace-1.yml true 42.43 27.26 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 22.00 13.90 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 8.32 5.66 None pthread-C-DAC/pthread-numerical-integration.yml unknown 8.35 5.56 None pthread-divine/tls_basic.yml unknown 8.28 5.47 None pthread-divine/tls_destructor_worker.yml unknown 8.39 5.44 None goblint-regression/13-privatized_01-priv_nr_true.yml true 11.02 7.06 None goblint-regression/13-privatized_04-priv_multi_true.yml true 31.51 18.24 None goblint-regression/13-privatized_18-first-reads_true.yml true 10.04 6.78 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 9.64 6.38 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 9.26 6.26 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 10.01 6.54 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 10.25 6.53 None goblint-regression/13-privatized_19-publish-precision_true.yml true 10.14 6.65 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 10.20 6.52 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 11.09 6.99 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 10.49 6.86 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 9.92 6.39 None goblint-regression/13-privatized_20-publish-regression_true.yml true 11.17 7.08 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 13.48 8.40 None goblint-regression/13-privatized_25-struct_nr_true.yml true 10.33 6.69 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 16.60 10.11 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 12.89 8.06 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 11.18 7.28 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 11.57 7.30 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 11.99 7.59 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.42 7.17 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 12.42 7.88 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 11.71 7.37 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 10.42 6.87 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 10.48 6.83 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 10.91 7.20 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 11.26 7.29 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 9.46 6.43 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 11.12 7.18 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 10.90 7.20 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 10.98 6.98 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 11.03 7.17 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 9.98 6.50 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 10.13 6.71 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 9.94 6.74 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 10.18 6.55 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 10.00 6.54 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 9.28 6.40 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 14.33 8.53 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 12.87 7.88 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 14.11 8.47 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 14.90 9.12 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 11.75 7.41 None goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 105.66 63.56 None goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 106.11 63.72 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 96.12 61.09 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 85.76 56.40 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml OUT OF MEMORY 104.04 63.06 None goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 103.52 61.91 None goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 110.59 68.38 None goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 104.76 63.14 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 94.73 59.44 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 90.85 61.13 None goblint-regression/28-race_reach_11-ptr_racing.yml OUT OF MEMORY 106.45 66.75 None goblint-regression/28-race_reach_12-ptr_racefree.yml OUT OF MEMORY 116.92 69.27 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 113.19 69.25 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 115.42 70.75 None goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 97.87 60.95 None goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 107.48 63.98 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 8.37 5.61 None goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 103.73 62.68 None goblint-regression/28-race_reach_27-funptr_racing.yml OUT OF MEMORY 90.05 57.43 None goblint-regression/28-race_reach_28-funptr_racefree.yml OUT OF MEMORY 83.40 53.30 None goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 97.21 62.50 None goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 101.20 63.59 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 8.08 5.45 None goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 104.11 62.75 None goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 98.17 59.20 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 11.06 7.08 None goblint-regression/28-race_reach_46-escape_racefree.yml true 13.19 8.01 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 108.74 65.43 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 105.61 67.18 None goblint-regression/28-race_reach_61-invariant_racing.yml OUT OF MEMORY 92.92 60.97 None goblint-regression/28-race_reach_70-funloop_racefree.yml OUT OF MEMORY 98.83 62.72 None goblint-regression/28-race_reach_71-funloop_racing.yml ERROR: EXCEPTION 10.83 6.90 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml OUT OF MEMORY 103.69 65.00 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml OUT OF MEMORY 112.17 68.47 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 115.81 74.37 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 104.96 67.48 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 106.68 70.52 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 107.66 70.28 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 90.26 58.01 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 91.49 58.16 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 81.43 52.47 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 84.07 54.96 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 79.25 54.13 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 80.31 54.75 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 84.50 57.40 None goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 902.48 875.59 None goblint-regression/28-race_reach_87-lists_racefree.yml OUT OF MEMORY 680.73 655.56 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 901.83 886.47 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 901.78 887.96 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 901.80 887.74 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 901.79 887.91 None goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 76.56 51.49 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 10.21 6.56 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 9.86 6.46 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 10.41 6.76 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 9.76 6.57 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 23.02 13.24 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 13.31 8.18 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 9.51 6.27 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 9.25 6.30 None weaver/array-eq-symm.wvr.yml TIMEOUT 901.16 856.53 None weaver/array-eq-trans.wvr.yml ERROR: EXCEPTION 294.93 272.93 None weaver/bench-exp1x3.wvr.yml TIMEOUT 901.62 888.97 None weaver/bench-exp2x3.wvr.yml TIMEOUT 901.91 885.48 None weaver/bench-exp2x4.wvr.yml TIMEOUT 901.76 888.21 None weaver/bench-exp2x6.wvr.yml TIMEOUT 901.81 882.02 None weaver/bench-exp2x9.wvr.yml TIMEOUT 901.16 883.56 None weaver/bench-exp3x3-opt.wvr.yml TIMEOUT 902.83 744.03 None weaver/bench-exp3x3.wvr.yml TIMEOUT 902.49 811.03 None weaver/chl-array-int-subst.wvr.yml ERROR: EXCEPTION 347.94 319.62 None weaver/chl-array-int-symm.wvr.yml TIMEOUT 901.26 857.81 None weaver/chl-array-int-trans.wvr.yml ERROR: EXCEPTION 271.09 246.01 None weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 901.27 855.00 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 901.56 852.04 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 900.80 873.13 None weaver/chl-chromosome-trans.wvr.yml ERROR: EXCEPTION 256.95 223.65 None weaver/chl-collitem-subst.wvr.yml true 38.00 20.50 None weaver/chl-collitem-symm.wvr.yml true 15.14 9.04 None weaver/chl-collitem-trans.wvr.yml true 30.53 16.94 None weaver/chl-exp-term-subst.wvr.yml true 30.40 16.79 None weaver/chl-exp-term-symm.wvr.yml true 13.92 8.23 None weaver/chl-file-item-subst.wvr.yml true 30.40 16.93 None weaver/chl-file-item-symm.wvr.yml true 14.82 9.33 None weaver/chl-file-item-trans.wvr.yml true 20.63 12.03 None weaver/chl-match-subst.wvr.yml true 20.46 11.83 None weaver/chl-match-symm.wvr.yml true 12.74 7.85 None weaver/chl-match-trans.wvr.yml true 15.75 9.39 None weaver/chl-name-comparator-subst.wvr.yml TIMEOUT 900.79 854.36 None weaver/chl-name-comparator-symm.wvr.yml TIMEOUT 900.69 866.57 None weaver/chl-name-comparator-trans.wvr.yml TIMEOUT 901.47 865.76 None weaver/chl-node-subst.wvr.yml ERROR: EXCEPTION 547.46 516.11 None weaver/chl-node-symm.wvr.yml true 16.63 10.07 None weaver/chl-node-trans.wvr.yml true 23.03 13.23 None weaver/chl-nzb-file-subst.wvr.yml ERROR: EXCEPTION 468.11 417.25 None weaver/chl-nzb-file-symm.wvr.yml TIMEOUT 901.34 861.97 None weaver/chl-nzb-file-trans.wvr.yml ERROR: EXCEPTION 693.86 649.92 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 902.00 875.27 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 900.81 864.06 None weaver/chl-poker-hand-trans.wvr.yml ERROR: EXCEPTION 854.98 778.48 None weaver/chl-simpl-str-subst.wvr.yml true 21.13 12.34 None weaver/chl-simpl-str-symm.wvr.yml true 12.35 7.70 None weaver/chl-simpl-str-trans.wvr.yml true 15.73 9.48 None weaver/chl-sre-subst.wvr.yml true 19.90 11.64 None weaver/chl-sre-symm.wvr.yml true 11.31 7.15 None weaver/chl-sre-trans.wvr.yml true 12.46 7.73 None weaver/chl-time-subst.wvr.yml true 20.85 11.97 None weaver/chl-time-symm.wvr.yml true 12.30 7.76 None weaver/chl-time-trans.wvr.yml true 15.95 9.55 None weaver/chl-word-subst.wvr.yml ERROR: EXCEPTION 513.33 488.66 None weaver/chl-word-symm.wvr.yml ERROR: EXCEPTION 426.71 386.43 None weaver/chl-word-trans.wvr.yml ERROR: EXCEPTION 225.69 190.78 None weaver/clever.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.76 877.54 None weaver/fibonacci.wvr.yml TIMEOUT 901.50 886.45 None weaver/loop-tiling-eq.wvr.yml ERROR: EXCEPTION 339.33 314.84 None weaver/mult-comm.wvr.yml TIMEOUT 901.12 881.68 None weaver/mult-dist.wvr.yml TIMEOUT 900.54 887.93 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 901.10 861.55 None weaver/parallel-bakery-2.wvr.yml true 14.60 8.93 None weaver/parallel-bakery-3.wvr.yml true 137.84 106.35 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 102.01 62.31 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 54.70 33.46 None weaver/parallel-barrier.wvr.yml TIMEOUT 901.84 773.05 None weaver/parallel-bluetooth.wvr.yml true 12.42 7.85 None weaver/parallel-lamport.wvr.yml true 482.94 436.13 None weaver/parallel-min-max-1.wvr.yml true 95.26 70.04 None weaver/parallel-misc-1.wvr.yml ERROR: EXCEPTION 287.10 262.67 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.75 6.44 None weaver/parallel-misc-2-unrolled.wvr.yml true 12.71 8.99 None weaver/parallel-misc-2.wvr.yml TIMEOUT 901.72 882.59 None weaver/parallel-misc-3-extended.wvr.yml true 22.75 13.94 None weaver/parallel-misc-3.wvr.yml true 13.82 8.93 None weaver/parallel-misc-4.wvr.yml true 15.81 9.82 None weaver/parallel-misc-5.wvr.yml TIMEOUT 901.93 696.25 None weaver/parallel-parallel-sum-1-dsl.wvr.yml TIMEOUT 901.44 720.99 None weaver/parallel-parallel-sum-1.wvr.yml TIMEOUT 902.50 726.13 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 904.09 691.43 None weaver/parallel-parallel-sum-equiv.wvr.yml TIMEOUT 901.35 848.49 None weaver/parallel-simple-equiv.wvr.yml true 11.08 7.12 None weaver/parallel-ticket-2.wvr.yml true 10.97 7.10 None weaver/parallel-ticket-3.wvr.yml true 15.80 9.42 None weaver/parallel-ticket-4.wvr.yml true 34.40 18.95 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 111.91 72.08 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 106.04 65.63 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 76.59 49.77 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 76.45 51.08 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 901.74 692.12 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 901.10 677.68 None weaver/popl20-bad-buffer-mult-alt3.wvr.yml false(unreach-call) 19.82 11.65 None weaver/popl20-bad-commit-1.wvr-bad.yml true 86.14 60.05 None weaver/popl20-bad-commit-2.wvr-bad.yml TIMEOUT 902.58 670.57 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 13.25 8.20 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 901.14 867.66 None weaver/popl20-bad-dot-product-alt.wvr.yml ERROR: EXCEPTION 126.45 110.34 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 901.08 848.49 None weaver/popl20-bad-ring-nondet.wvr.yml true 15.49 9.37 None weaver/popl20-bad-ring.wvr.yml ERROR: EXCEPTION 809.43 765.45 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 900.62 879.70 None weaver/popl20-bad-three-array-sum-alt.wvr.yml TIMEOUT 901.03 868.51 None weaver/popl20-channel-sum.wvr.yml ERROR: EXCEPTION 845.34 780.24 None weaver/popl20-commit-1.wvr.yml ERROR: EXCEPTION 429.65 399.98 None weaver/popl20-commit-2.wvr.yml ERROR: EXCEPTION 673.14 625.95 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 134.11 94.13 None weaver/popl20-counter-fun.wvr.yml ERROR: EXCEPTION 258.14 236.26 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 105.63 73.80 None weaver/popl20-figure1-alt.wvr.yml true 327.91 312.59 None weaver/popl20-figure1.wvr.yml OUT OF MEMORY 402.42 361.09 None weaver/popl20-figure3.wvr.yml TIMEOUT 901.68 882.66 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 901.64 860.08 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 205.50 153.11 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 100.23 63.66 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 175.56 129.48 None weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 151.82 129.45 None weaver/popl20-more-array-sum-alt2.wvr.yml TIMEOUT 900.84 851.00 None weaver/popl20-more-array-sum.wvr.yml false(unreach-call) 170.01 143.40 None weaver/popl20-more-array-sum2.wvr.yml ERROR: EXCEPTION 714.16 666.45 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 901.45 841.92 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 900.96 805.47 None weaver/popl20-more-buffer-mult3.wvr.yml false(unreach-call) 274.46 233.57 None weaver/popl20-more-buffer-series.wvr.yml ERROR: EXCEPTION 209.08 180.24 None weaver/popl20-more-buffer-series2.wvr.yml ERROR: EXCEPTION 352.58 315.37 None weaver/popl20-more-buffer-series3.wvr.yml false(unreach-call) 42.17 25.42 None weaver/popl20-more-dec-subseq.wvr.yml ERROR: EXCEPTION 351.36 330.23 None weaver/popl20-more-inc-subseq.wvr.yml ERROR: EXCEPTION 332.40 310.57 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 901.63 836.03 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.28 842.45 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 901.71 837.00 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 901.60 839.90 None weaver/popl20-more-min-le-max.wvr.yml true 11.55 7.57 None weaver/popl20-more-mts.wvr.yml ERROR: EXCEPTION 395.07 368.24 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 900.90 869.58 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 901.78 876.92 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 900.78 856.74 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 902.13 865.18 None weaver/popl20-more-sorted.wvr.yml ERROR: EXCEPTION 616.45 578.02 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 901.45 859.78 None weaver/popl20-more-vector-add.wvr.yml ERROR: EXCEPTION 281.50 262.83 None weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 127.74 94.46 None weaver/popl20-mult-equiv.wvr.yml TIMEOUT 901.19 866.46 None weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 901.03 869.07 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.13 861.27 None weaver/popl20-prod-cons-eq.wvr.yml ERROR: EXCEPTION 152.21 133.45 None weaver/popl20-prod-cons.wvr.yml TIMEOUT 907.24 829.37 None weaver/popl20-prod-cons3.wvr.yml OUT OF MEMORY 631.32 565.52 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml TIMEOUT 902.38 691.12 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 901.27 837.06 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 901.68 821.37 None weaver/popl20-send-receive-alt.wvr.yml ERROR: EXCEPTION 232.96 205.20 None weaver/popl20-send-receive.wvr.yml ERROR: EXCEPTION 571.28 529.16 None weaver/popl20-simple-array-sum.wvr.yml true 20.32 12.67 None weaver/popl20-simple-queue.wvr.yml true 101.65 79.92 None weaver/popl20-threaded-sum-3.wvr.yml TIMEOUT 901.99 864.31 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 442.67 400.78 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 205.30 158.63 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 901.20 862.16 None weaver/popl20-two-queue.wvr.yml TIMEOUT 902.47 852.97 None weaver/security.wvr.yml true 10.80 7.19 None weaver/spaghetti.wvr.yml true 16.24 10.02 None weaver/test-context1.wvr.yml TIMEOUT 901.92 863.20 None weaver/test-easy1.wvr.yml true 15.09 10.61 None weaver/test-easy10.wvr.yml TIMEOUT 900.47 811.08 None weaver/test-easy11.wvr.yml true 59.13 44.32 None weaver/test-easy6.wvr.yml true 12.76 8.16 None weaver/test-easy7.wvr.yml true 10.06 6.83 None weaver/test-easy8.wvr.yml true 10.91 7.30 None weaver/test-hard1.wvr.yml TIMEOUT 901.14 845.29 None weaver/test-semi1.wvr.yml true 11.75 7.49 None weaver/unroll-2.wvr.yml ERROR: EXCEPTION 621.05 588.75 None weaver/unroll-3.wvr.yml TIMEOUT 901.95 868.51 None weaver/unroll-4.wvr.yml ERROR: EXCEPTION 258.86 240.76 None weaver/unroll-5.wvr.yml ERROR: EXCEPTION 273.86 254.31 None weaver/unroll-cond-2.wvr.yml ERROR: EXCEPTION 316.38 291.24 None weaver/unroll-cond-3.wvr.yml ERROR: EXCEPTION 339.95 313.63 None weaver/unroll-cond-4.wvr.yml TIMEOUT 901.93 873.90 None weaver/unroll-cond-5.wvr.yml ERROR: EXCEPTION 236.59 217.47 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 22.30 13.80 None pthread-deagle/arithmetic_prog_ok.yml true 26.74 16.83 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 58.04 44.83 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 901.45 878.19 None pthread-race-challenges/thread-local-pthread-value.yml unknown 8.41 5.52 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 8.36 5.24 None pthread-race-challenges/thread-local-value.yml unknown 8.15 5.36 None libvsync/arraylock.yml unknown 10.17 6.61 None libvsync/bounded_mpmc_check_full.yml ERROR: EXCEPTION 14.19 8.85 None libvsync/cnalock.yml ERROR: EXCEPTION 14.90 9.02 None libvsync/hclhlock.yml ERROR: EXCEPTION 14.32 8.82 None libvsync/hmcslock.yml ERROR: EXCEPTION 15.77 9.61 None libvsync/mcslock.yml ERROR: EXCEPTION 13.11 8.39 None libvsync/rec_mcslock.yml ERROR: EXCEPTION 13.50 8.36 None libvsync/rec_ticketlock.yml ERROR: EXCEPTION 13.11 8.43 None libvsync/rwlock.yml ERROR: EXCEPTION 13.54 8.50 None libvsync/semaphore.yml ERROR: EXCEPTION 13.33 8.41 None libvsync/ticketlock.yml ERROR: EXCEPTION 13.13 8.30 None libvsync/ttaslock.yml ERROR: EXCEPTION 12.89 8.19 None pthread-theta/exponential-4.yml OUT OF MEMORY 89.66 58.45 None pthread-theta/exponential-64.yml OUT OF MEMORY 85.19 54.66 None pthread-theta/exponential-nondet.yml OUT OF MEMORY 108.09 70.66 None pthread-theta/unwind1-1.yml false(unreach-call) 11.64 8.00 None pthread-theta/unwind1-100.yml false(unreach-call) 55.07 41.10 None pthread-theta/unwind1-nondet.yml false(unreach-call) 12.09 7.84 None pthread-theta/unwind2-1.yml false(unreach-call) 15.22 9.92 None pthread-theta/unwind2-100.yml false(unreach-call) 111.75 91.69 None pthread-theta/unwind2-nondet.yml false(unreach-call) 15.49 10.78 None pthread-theta/unwind3-1.yml false(unreach-call) 12.17 8.04 None pthread-theta/unwind3-100.yml OUT OF MEMORY 169.00 105.33 None pthread-theta/unwind3-nondet.yml false(unreach-call) 9.76 6.42 None pthread-theta/wsc.yml true 29.55 17.36 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 4 done 129332.35 8604.24 - AutomizerPN-ICFG.SVCOMP-ConcurrencySafety-Main Run set 5 of 6 with options '--force-no-wrapper -tc ${benchmark_path}/../../../trunk/examples/toolchains/AutomizerCInline_IcfgBuilder.xml -s ${benchmark_path}/../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf --traceabstraction.automaton.type.used.in.concurrency.analysis PETRI_NET --preprocessor.replace.while.statements.and.if-then-else.statements false' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml true 15.48 9.91 None pthread/bigshot_s2.yml true 15.86 10.24 None pthread/butterfly.yml OUT OF MEMORY 65.94 44.85 None pthread/fib_safe-10.yml OUT OF MEMORY 367.27 290.66 None pthread/fib_safe-11.yml OUT OF MEMORY 352.77 279.64 None pthread/fib_safe-12.yml OUT OF MEMORY 285.74 207.67 None pthread/fib_safe-5.yml OUT OF MEMORY 418.59 342.74 None pthread/fib_safe-6.yml OUT OF MEMORY 184.38 135.77 None pthread/fib_safe-7.yml OUT OF MEMORY 210.34 157.56 None pthread/fib_unsafe-10.yml OUT OF MEMORY 380.13 299.40 None pthread/fib_unsafe-11.yml OUT OF MEMORY 359.55 287.37 None pthread/fib_unsafe-12.yml OUT OF MEMORY 304.00 221.41 None pthread/fib_unsafe-5.yml OUT OF MEMORY 304.14 249.40 None pthread/fib_unsafe-6.yml OUT OF MEMORY 179.58 133.18 None pthread/fib_unsafe-7.yml OUT OF MEMORY 203.89 158.86 None pthread/lazy01.yml false(unreach-call) 11.59 7.25 None pthread/queue.yml false(unreach-call) 23.32 13.30 None pthread/queue_longer.yml false(unreach-call) 51.26 31.51 None pthread/queue_longest.yml false(unreach-call) 177.18 127.03 None pthread/queue_ok.yml ERROR: EXCEPTION 452.76 415.19 None pthread/queue_ok_longer.yml TIMEOUT 902.29 880.47 None pthread/queue_ok_longest.yml OUT OF MEMORY 407.57 375.02 None pthread/reorder_2.yml OUT OF MEMORY 79.16 50.25 None pthread/reorder_5.yml OUT OF MEMORY 78.87 50.03 None pthread/singleton.yml false(unreach-call) 11.93 7.55 None pthread/singleton_with-uninit-problems.yml true 12.91 7.95 None pthread/stack-1.yml true 43.56 25.88 None pthread/stack-2.yml false(unreach-call) 18.06 10.76 None pthread/stack_longer-1.yml false(unreach-call) 28.60 16.57 None pthread/stack_longer-2.yml OUT OF MEMORY 391.99 280.50 None pthread/stack_longest-1.yml false(unreach-call) 40.54 25.60 None pthread/stack_longest-2.yml TIMEOUT 903.14 664.08 None pthread/stateful01-1.yml false(unreach-call) 10.85 6.90 None pthread/stateful01-2.yml true 12.12 7.66 None pthread/sync01.yml true 17.00 9.92 None pthread/triangular-1.yml true 47.03 32.85 None pthread/triangular-2.yml false(unreach-call) 23.72 14.42 None pthread/triangular-longer-1.yml true 63.27 46.59 None pthread/triangular-longer-2.yml false(unreach-call) 83.80 66.80 None pthread/triangular-longest-1.yml true 527.72 466.01 None pthread/triangular-longest-2.yml false(unreach-call) 78.17 59.39 None pthread/twostage_3.yml OUT OF MEMORY 77.21 49.69 None pthread-atomic/dekker-unfair.yml true 10.46 6.78 None pthread-atomic/dekker.yml true 10.32 6.68 None pthread-atomic/lamport.yml true 10.57 6.60 None pthread-atomic/peterson.yml true 10.21 6.58 None pthread-atomic/read_write_lock-1.yml true 11.12 6.98 None pthread-atomic/read_write_lock-2.yml false(unreach-call) 38.19 26.52 None pthread-atomic/szymanski.yml true 10.21 6.67 None pthread-atomic/time_var_mutex.yml true 9.82 6.52 None pthread-ext/01b_inc.yml OUT OF MEMORY 67.24 46.11 None pthread-ext/02_inc_cas.yml OUT OF MEMORY 73.22 49.36 None pthread-ext/03_incdec.yml OUT OF MEMORY 80.82 51.53 None pthread-ext/04_incdec_cas.yml OUT OF MEMORY 65.08 46.66 None pthread-ext/08_rand_cas.yml OUT OF MEMORY 74.51 49.61 None pthread-ext/09_fmaxsym-zero.yml OUT OF MEMORY 104.69 75.58 None pthread-ext/09_fmaxsym.yml OUT OF MEMORY 78.49 58.29 None pthread-ext/11_fmaxsymopt-zero.yml OUT OF MEMORY 83.09 58.80 None pthread-ext/11_fmaxsymopt.yml OUT OF MEMORY 99.71 72.69 None pthread-ext/14_spin2003.yml OUT OF MEMORY 82.64 56.64 None pthread-ext/18_read_write_lock.yml true 10.81 6.95 None pthread-ext/25_stack.yml OUT OF MEMORY 79.11 51.58 None pthread-ext/25_stack_longer-1.yml TIMEOUT 905.63 895.08 None pthread-ext/25_stack_longer-2.yml TIMEOUT 905.60 895.22 None pthread-ext/25_stack_longest-1.yml TIMEOUT 901.48 875.76 None pthread-ext/25_stack_longest-2.yml TIMEOUT 901.66 876.72 None pthread-ext/26_stack_cas.yml OUT OF MEMORY 81.79 53.93 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 905.55 895.10 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 905.60 895.21 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 901.37 875.32 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 901.65 876.91 None pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 9.62 6.52 None pthread-ext/29_conditionals_vs.yml ERROR: EXCEPTION 9.86 6.49 None pthread-ext/31_simple_loop5_vs.yml OUT OF MEMORY 97.66 67.09 None pthread-ext/35_double_lock_p3_vs.yml OUT OF MEMORY 81.42 56.51 None pthread-ext/36_stack_cas_p0_vs_concur.yml OUT OF MEMORY 81.11 54.27 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 75.39 51.51 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 72.21 47.45 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 80.59 52.73 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml OUT OF MEMORY 207.85 176.77 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: EXCEPTION 10.54 6.86 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 123.89 94.64 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 129.84 87.07 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 72.22 47.86 None pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR: EXCEPTION 9.28 6.14 None pthread-wmm/mix000.oepc.yml false(unreach-call) 19.42 11.15 None pthread-wmm/mix000.opt.yml false(unreach-call) 17.91 10.66 None pthread-wmm/mix001.oepc.yml false(unreach-call) 27.90 15.25 None pthread-wmm/mix001.opt.yml false(unreach-call) 22.69 13.12 None pthread-wmm/mix002.oepc.yml false(unreach-call) 24.86 14.02 None pthread-wmm/mix002.opt.yml false(unreach-call) 24.36 13.67 None pthread-wmm/mix003.oepc.yml false(unreach-call) 27.07 15.30 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 25.98 14.66 None pthread-wmm/mix004.oepc.yml false(unreach-call) 45.31 30.59 None pthread-wmm/mix004.opt.yml false(unreach-call) 45.43 29.02 None pthread-wmm/mix005.opt.yml false(unreach-call) 45.13 28.56 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 42.05 26.80 None pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 129.62 92.73 None pthread-wmm/mix006.opt.yml false(unreach-call) 24.15 13.63 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 23.81 13.36 None pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 28.59 16.11 None pthread-wmm/mix007.oepc.yml false(unreach-call) 48.96 32.03 None pthread-wmm/mix007.opt.yml false(unreach-call) 44.08 28.10 None pthread-wmm/mix008.opt.yml false(unreach-call) 39.30 25.18 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 44.98 29.21 None pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 112.17 83.15 None pthread-wmm/mix009.oepc.yml false(unreach-call) 18.14 10.55 None pthread-wmm/mix009.opt.yml false(unreach-call) 18.99 11.04 None pthread-wmm/mix010.oepc.yml false(unreach-call) 23.28 12.94 None pthread-wmm/mix010.opt.yml false(unreach-call) 24.58 13.78 None pthread-wmm/mix011.opt.yml false(unreach-call) 22.78 12.97 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 23.36 13.21 None pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 26.68 15.29 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 20.93 12.28 None pthread-wmm/mix012_pso.opt_tso.opt.yml false(unreach-call) 17.91 10.60 None pthread-wmm/mix013.oepc.yml false(unreach-call) 46.10 29.82 None pthread-wmm/mix013.opt.yml false(unreach-call) 43.11 27.23 None pthread-wmm/mix014.opt.yml false(unreach-call) 40.00 26.03 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 43.48 28.05 None pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 98.02 71.35 None pthread-wmm/mix015.oepc.yml false(unreach-call) 28.42 15.76 None pthread-wmm/mix015.opt.yml false(unreach-call) 23.21 13.17 None pthread-wmm/mix016.oepc.yml false(unreach-call) 24.14 13.60 None pthread-wmm/mix016_power.opt_rmo.opt.yml false(unreach-call) 24.96 14.01 None pthread-wmm/mix016_pso.opt_tso.opt.yml false(unreach-call) 25.56 14.33 None pthread-wmm/mix017.oepc.yml false(unreach-call) 52.70 41.81 None pthread-wmm/mix017_power.opt_rmo.opt.yml false(unreach-call) 52.99 32.90 None pthread-wmm/mix017_pso.opt_tso.opt.yml false(unreach-call) 46.41 29.07 None pthread-wmm/mix018.opt.yml false(unreach-call) 41.98 26.58 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 52.00 31.58 None pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 77.09 53.62 None pthread-wmm/mix019.opt.yml false(unreach-call) 23.76 13.63 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 27.56 19.23 None pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 33.82 19.04 None pthread-wmm/mix020.oepc.yml false(unreach-call) 56.42 36.46 None pthread-wmm/mix020.opt.yml false(unreach-call) 50.08 37.62 None pthread-wmm/mix021.opt.yml false(unreach-call) 51.94 32.40 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 49.86 41.32 None pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 93.74 66.82 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 17.10 10.02 None pthread-wmm/mix022_tso.yml false(unreach-call) 20.89 11.95 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 60.16 37.50 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 54.21 45.27 None pthread-wmm/mix023_tso.yml false(unreach-call) 93.79 66.07 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 27.46 15.30 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 23.55 16.73 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 25.88 14.56 None pthread-wmm/mix025_pso.opt_rmo.opt.yml false(unreach-call) 24.69 17.97 None pthread-wmm/mix026.oepc.yml false(unreach-call) 51.69 32.45 None pthread-wmm/mix026_power.opt_tso.opt.yml false(unreach-call) 55.98 35.33 None pthread-wmm/mix026_pso.opt_rmo.opt.yml false(unreach-call) 41.04 25.42 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 53.47 41.67 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 46.00 35.23 None pthread-wmm/mix027_tso.yml false(unreach-call) 86.64 62.36 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 22.94 13.12 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 36.40 20.38 None pthread-wmm/mix028_tso.yml false(unreach-call) 31.32 17.46 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml false(unreach-call) 42.84 27.53 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 89.64 70.66 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 45.86 29.14 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml OUT OF MEMORY 199.67 150.77 None pthread-wmm/mix030_tso.yml false(unreach-call) 112.36 81.47 None pthread-wmm/mix031.oepc.yml false(unreach-call) 18.11 10.63 None pthread-wmm/mix031.opt.yml false(unreach-call) 17.24 10.38 None pthread-wmm/mix032.oepc.yml false(unreach-call) 25.87 14.61 None pthread-wmm/mix032.opt.yml false(unreach-call) 25.72 23.40 None pthread-wmm/mix033.opt.yml false(unreach-call) 21.76 12.45 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 27.18 15.39 None pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 28.49 16.20 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml false(unreach-call) 16.62 9.99 None pthread-wmm/mix034_pso.opt_tso.opt.yml false(unreach-call) 18.89 14.44 None pthread-wmm/mix035.oepc.yml false(unreach-call) 26.21 15.65 None pthread-wmm/mix035_power.opt_rmo.opt.yml false(unreach-call) 22.98 13.09 None pthread-wmm/mix035_pso.opt_tso.opt.yml false(unreach-call) 23.33 13.39 None pthread-wmm/mix036.oepc.yml false(unreach-call) 53.80 38.59 None pthread-wmm/mix036_power.opt_rmo.opt.yml false(unreach-call) 43.74 31.49 None pthread-wmm/mix036_pso.opt_tso.opt.yml false(unreach-call) 40.47 25.49 None pthread-wmm/mix037.opt.yml false(unreach-call) 45.86 29.28 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 46.17 29.99 None pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 80.51 57.13 None pthread-wmm/mix038.opt.yml false(unreach-call) 22.74 13.14 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.33 20.15 None pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 38.10 20.99 None pthread-wmm/mix039.oepc.yml false(unreach-call) 58.68 52.26 None pthread-wmm/mix039.opt.yml false(unreach-call) 45.01 28.01 None pthread-wmm/mix040.opt.yml false(unreach-call) 52.11 49.04 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 53.69 35.30 None pthread-wmm/mix040_tso.oepc.yml OUT OF MEMORY 150.66 137.45 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 19.43 11.08 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 20.88 11.87 None pthread-wmm/mix042.oepc.yml false(unreach-call) 32.34 25.37 None pthread-wmm/mix042.opt.yml false(unreach-call) 27.08 15.46 None pthread-wmm/mix043.oepc.yml false(unreach-call) 56.39 36.28 None pthread-wmm/mix043.opt.yml false(unreach-call) 68.90 47.40 None pthread-wmm/mix044.opt.yml false(unreach-call) 97.76 68.44 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 48.64 31.43 None pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 123.94 90.22 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 25.45 14.33 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 34.64 20.03 None pthread-wmm/mix046.oepc.yml false(unreach-call) 53.98 44.05 None pthread-wmm/mix046.opt.yml false(unreach-call) 138.84 114.97 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 50.50 41.14 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml OUT OF MEMORY 192.99 144.67 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) 17.79 13.93 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.50 14.49 None pthread-wmm/mix050.yml false(unreach-call) 44.78 27.67 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 41.72 25.68 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 51.86 51.54 None pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 77.35 52.01 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 26.73 15.11 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml false(unreach-call) 21.39 12.47 None pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 30.11 16.62 None pthread-wmm/mix053.opt.yml false(unreach-call) 43.54 26.52 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 53.23 48.24 None pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 93.11 63.68 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml false(unreach-call) 15.81 9.52 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 18.52 11.04 None pthread-wmm/mix055.opt.yml false(unreach-call) 97.19 86.04 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 48.68 30.82 None pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 94.20 65.66 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 24.06 13.24 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 40.66 23.35 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 42.04 26.35 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 187.55 142.47 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 27.35 22.73 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 20.77 11.99 None pthread-wmm/rfi000_tso.yml true 25.72 14.44 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 18.06 10.61 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 19.15 11.07 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 20.37 11.82 None pthread-wmm/rfi002_tso.yml true 41.00 24.24 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.63 9.78 None pthread-wmm/rfi003_tso.yml true 31.73 17.65 None pthread-wmm/rfi004.yml false(unreach-call) 15.67 9.52 None pthread-wmm/rfi005.yml false(unreach-call) 12.82 7.69 None pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 23.58 13.33 None pthread-wmm/rfi006_power.opt.yml false(unreach-call) 25.69 15.62 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml false(unreach-call) 30.37 17.08 None pthread-wmm/rfi006_rmo.yml false(unreach-call) 22.79 13.04 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 16.66 9.90 None pthread-wmm/rfi007_tso.yml false(unreach-call) 19.71 11.60 None pthread-wmm/rfi008.oepc.yml false(unreach-call) 21.58 12.27 None pthread-wmm/rfi008.opt.yml false(unreach-call) 20.02 11.61 None pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 26.04 19.70 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml false(unreach-call) 25.16 13.98 None pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 21.40 12.41 None pthread-wmm/rfi010.yml false(unreach-call) 21.21 16.82 None pthread-wmm/safe000_power.oepc.yml false(unreach-call) 33.36 18.25 None pthread-wmm/safe000_power.opt.yml false(unreach-call) 22.82 18.23 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 23.81 17.99 None pthread-wmm/safe000_rmo.yml false(unreach-call) 38.55 21.46 None pthread-wmm/safe001_power.oepc.yml false(unreach-call) 37.45 20.78 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 26.71 15.12 None pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 53.35 31.79 None pthread-wmm/safe001_tso.yml true 26.26 15.27 None pthread-wmm/safe002_power.oepc.yml false(unreach-call) 33.09 18.51 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 23.46 23.48 None pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 35.56 32.50 None pthread-wmm/safe002_tso.yml true 24.40 23.21 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 33.75 19.38 None pthread-wmm/safe003_power.opt.yml false(unreach-call) 24.40 14.84 None pthread-wmm/safe003_tso.yml true 23.50 21.06 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 45.83 33.26 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 33.25 18.21 None pthread-wmm/safe004_tso.yml true 21.34 12.48 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 26.45 14.86 None pthread-wmm/safe005_tso.yml true 23.54 13.89 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml false(unreach-call) 15.62 9.40 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml false(unreach-call) 16.68 10.00 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 14.16 8.91 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml false(unreach-call) 18.75 11.05 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml false(unreach-call) 26.62 14.81 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml false(unreach-call) 34.70 25.11 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.33 12.94 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml false(unreach-call) 22.77 15.50 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 29.11 17.34 None pthread-wmm/safe008_power.opt.yml false(unreach-call) 29.84 17.32 None pthread-wmm/safe008_tso.yml true 14.74 8.81 None pthread-wmm/safe009_power.oepc.yml false(unreach-call) 26.78 15.05 None pthread-wmm/safe009_power.opt.yml false(unreach-call) 21.61 12.62 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 21.92 12.78 None pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 31.46 20.15 None pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 20.58 12.03 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 18.74 10.81 None pthread-wmm/safe010_tso.yml true 15.11 9.58 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 52.21 38.97 None pthread-wmm/safe011_power.opt_pso.opt.yml false(unreach-call) 33.60 18.73 None pthread-wmm/safe011_tso.yml true 15.15 11.15 None pthread-wmm/safe012_power.oepc.yml false(unreach-call) 27.40 15.60 None pthread-wmm/safe012_power.opt.yml false(unreach-call) 32.68 18.31 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml false(unreach-call) 26.88 15.21 None pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 23.74 13.50 None pthread-wmm/safe012_tso.yml true 16.08 9.68 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 24.69 14.10 None pthread-wmm/safe013_tso.yml true 19.54 14.29 None pthread-wmm/safe014_power.oepc.yml false(unreach-call) 21.65 12.42 None pthread-wmm/safe014_power.opt.yml false(unreach-call) 24.75 21.14 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 23.98 20.41 None pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 23.16 19.35 None pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 36.38 19.98 None pthread-wmm/safe015_power.oepc.yml false(unreach-call) 17.21 9.94 None pthread-wmm/safe015_power.opt.yml false(unreach-call) 45.61 26.80 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 24.51 14.83 None pthread-wmm/safe015_rmo.yml false(unreach-call) 44.80 25.23 None pthread-wmm/safe016_power.oepc.yml false(unreach-call) 71.49 48.21 None pthread-wmm/safe016_power.opt.yml false(unreach-call) 115.87 85.76 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 72.09 61.65 None pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 91.97 63.90 None pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 66.81 44.08 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 30.51 25.15 None pthread-wmm/safe017_tso.yml true 21.51 15.20 None pthread-wmm/safe018_power.oepc.yml false(unreach-call) 21.33 16.26 None pthread-wmm/safe018_power.opt.yml false(unreach-call) 29.53 16.50 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 18.32 10.66 None pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 21.68 15.07 None pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 23.95 13.44 None pthread-wmm/safe019_power.oepc.yml false(unreach-call) 82.46 56.17 None pthread-wmm/safe019_power.opt.yml false(unreach-call) 101.96 70.45 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 54.91 36.95 None pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 60.02 53.10 None pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 92.40 81.66 None pthread-wmm/safe020_power.yml false(unreach-call) 32.92 18.17 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.28 12.85 None pthread-wmm/safe020_rmo.yml false(unreach-call) 32.76 24.85 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml false(unreach-call) 25.36 24.72 None pthread-wmm/safe021_power.opt_pso.opt.yml false(unreach-call) 25.35 14.41 None pthread-wmm/safe021_tso.yml true 19.61 11.53 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 19.28 10.95 None pthread-wmm/safe022_tso.yml true 13.65 8.48 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 55.56 36.89 None pthread-wmm/safe023_tso.yml true 23.03 13.32 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 25.97 14.64 None pthread-wmm/safe024_tso.yml true 17.10 10.15 None pthread-wmm/safe025_power.yml false(unreach-call) 16.99 12.39 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 23.64 14.93 None pthread-wmm/safe025_rmo.yml false(unreach-call) 40.41 22.97 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 28.68 23.49 None pthread-wmm/safe026_tso.yml true 22.64 13.25 None pthread-wmm/safe027_power.oepc.yml false(unreach-call) 52.86 33.64 None pthread-wmm/safe027_power.opt.yml false(unreach-call) 67.89 43.31 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 42.31 32.74 None pthread-wmm/safe027_rmo.yml false(unreach-call) 50.66 31.47 None pthread-wmm/safe028_power.yml false(unreach-call) 34.52 19.20 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.60 13.13 None pthread-wmm/safe028_rmo.yml false(unreach-call) 25.48 14.42 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 18.00 13.27 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 17.12 10.16 None pthread-wmm/safe029_tso.yml true 13.61 8.56 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 51.03 32.36 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 55.71 34.89 None pthread-wmm/safe030_tso.yml true 16.71 10.20 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml false(unreach-call) 23.00 13.05 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml false(unreach-call) 38.93 21.97 None pthread-wmm/safe031_tso.yml true 15.88 9.55 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 54.50 32.43 None pthread-wmm/safe032_tso.yml true 22.54 14.24 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 17.24 10.38 None pthread-wmm/safe033_tso.yml true 13.66 8.44 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml false(unreach-call) 26.02 15.30 None pthread-wmm/safe034_tso.yml true 16.94 10.14 None pthread-wmm/safe035_power.yml true 63.92 39.74 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 22.35 14.22 None pthread-wmm/safe036.yml true 13.72 8.42 None pthread-wmm/safe037.yml true 17.43 10.31 None pthread-wmm/thin002_power.oepc.yml false(unreach-call) 35.61 21.74 None pthread-wmm/thin002_power.opt.yml false(unreach-call) 65.09 43.32 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 29.72 17.62 None pthread-wmm/thin002_rmo.yml false(unreach-call) 36.19 21.78 None pthread-lit/qw2004-2b.yml false(unreach-call) 11.71 7.78 None pthread-lit/sssc12.yml OUT OF MEMORY 69.47 51.82 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 79.56 53.91 None ldv-races/race-1_1-join.yml true 11.76 7.75 None ldv-races/race-1_2-join.yml false(unreach-call) 13.28 8.24 None ldv-races/race-1_3-join.yml false(unreach-call) 14.53 9.15 None ldv-races/race-2_1-container_of.yml true 47.86 27.23 None ldv-races/race-2_2-container_of.yml false(unreach-call) 18.16 10.78 None ldv-races/race-2_3-container_of.yml false(unreach-call) 16.00 9.64 None ldv-races/race-2_4-container_of.yml false(unreach-call) 19.20 10.99 None ldv-races/race-2_5-container_of.yml false(unreach-call) 20.40 11.81 None ldv-races/race-3_1-container_of-global.yml true 28.61 15.81 None ldv-races/race-3_2-container_of-global.yml false(unreach-call) 17.27 10.20 None ldv-races/race-4_1-thread_local_vars.yml ERROR: EXCEPTION 12.36 7.83 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml OUT OF MEMORY 137.74 100.75 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml OUT OF MEMORY 158.59 114.54 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR: EXCEPTION 111.95 77.88 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml ERROR: EXCEPTION 49.11 30.21 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml ERROR: EXCEPTION 83.80 54.31 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR: EXCEPTION 70.59 44.15 None pthread-complex/bounded_buffer.yml UNKNOWN: OverapproxCex 316.99 229.70 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 100.19 70.13 None pthread-complex/safestack_relacy.yml ERROR: EXCEPTION 11.50 7.45 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 902.76 769.19 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml true 22.57 13.92 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml true 22.69 14.28 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml TIMEOUT 901.45 781.08 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml true 30.35 17.60 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml TIMEOUT 901.79 865.61 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml true 31.31 18.40 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml TIMEOUT 901.78 875.23 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml true 32.50 20.67 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml true 22.98 13.89 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml true 30.41 18.56 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml true 24.12 14.32 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml TIMEOUT 901.78 869.55 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml true 35.05 21.68 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml true 28.27 16.77 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml true 23.96 14.16 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml true 27.05 17.06 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml true 29.57 19.33 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml true 27.26 17.15 None pthread-C-DAC/pthread-demo-datarace-1.yml true 52.54 34.81 None pthread-C-DAC/pthread-demo-datarace-3.yml false(unreach-call) 125.68 102.82 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 9.80 6.41 None pthread-C-DAC/pthread-numerical-integration.yml unknown 9.08 5.90 None pthread-divine/tls_basic.yml unknown 9.83 6.25 None pthread-divine/tls_destructor_worker.yml unknown 8.41 5.68 None goblint-regression/13-privatized_01-priv_nr_true.yml true 12.56 8.03 None goblint-regression/13-privatized_04-priv_multi_true.yml true 63.95 47.36 None goblint-regression/13-privatized_18-first-reads_true.yml true 11.96 7.81 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml false(unreach-call) 9.96 6.62 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml false(unreach-call) 9.90 6.41 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml false(unreach-call) 11.22 7.22 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml false(unreach-call) 12.20 7.66 None goblint-regression/13-privatized_19-publish-precision_true.yml true 10.85 7.03 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml false(unreach-call) 10.26 7.70 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml false(unreach-call) 12.99 7.94 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml false(unreach-call) 13.07 8.17 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml false(unreach-call) 11.01 6.84 None goblint-regression/13-privatized_20-publish-regression_true.yml true 11.71 7.55 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 14.34 9.04 None goblint-regression/13-privatized_25-struct_nr_true.yml true 10.64 6.92 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 21.14 12.49 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 13.30 8.32 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 12.56 9.10 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 12.43 7.56 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 12.85 7.80 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.51 7.31 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 13.82 8.41 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 11.46 7.12 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 12.00 7.87 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 10.65 6.96 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 12.77 7.87 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 10.82 6.90 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml false(unreach-call) 10.45 6.84 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml false(unreach-call) 11.23 7.20 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 13.37 8.06 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 10.94 7.05 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 11.27 7.17 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 11.33 7.02 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 10.01 6.54 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 10.65 6.89 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 10.26 6.66 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 10.05 6.66 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 11.01 7.03 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml false(unreach-call) 13.55 8.29 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml false(unreach-call) 13.88 8.45 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml false(unreach-call) 14.72 8.97 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 15.44 9.66 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 11.38 7.40 None goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 83.48 56.40 None goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 76.93 52.43 None goblint-regression/28-race_reach_03-munge_racing.yml OUT OF MEMORY 74.58 49.14 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 69.52 47.14 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml OUT OF MEMORY 65.27 42.94 None goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 77.03 52.60 None goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 76.87 50.43 None goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 77.59 50.96 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 59.44 42.57 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 60.40 42.81 None goblint-regression/28-race_reach_11-ptr_racing.yml OUT OF MEMORY 76.02 47.91 None goblint-regression/28-race_reach_12-ptr_racefree.yml OUT OF MEMORY 73.83 48.97 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 87.77 55.29 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 78.80 50.38 None goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 71.61 47.49 None goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 86.58 58.26 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 8.83 6.70 None goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 74.93 52.08 None goblint-regression/28-race_reach_27-funptr_racing.yml OUT OF MEMORY 70.30 44.64 None goblint-regression/28-race_reach_28-funptr_racefree.yml OUT OF MEMORY 72.49 45.96 None goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 85.90 57.74 None goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 77.59 50.99 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 8.97 6.67 None goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 79.34 53.70 None goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 70.81 46.97 None goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 11.60 7.38 None goblint-regression/28-race_reach_46-escape_racefree.yml true 13.59 8.17 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 76.69 51.85 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 85.35 59.26 None goblint-regression/28-race_reach_61-invariant_racing.yml OUT OF MEMORY 104.95 72.92 None goblint-regression/28-race_reach_70-funloop_racefree.yml OUT OF MEMORY 82.63 55.15 None goblint-regression/28-race_reach_71-funloop_racing.yml ERROR: EXCEPTION 11.30 7.21 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml OUT OF MEMORY 76.22 51.40 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml OUT OF MEMORY 81.87 54.12 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml OUT OF MEMORY 116.51 81.49 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml OUT OF MEMORY 80.66 54.41 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml OUT OF MEMORY 79.79 52.91 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml OUT OF MEMORY 83.11 55.45 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 104.06 76.09 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 103.35 73.52 None goblint-regression/28-race_reach_81-list_racing.yml OUT OF MEMORY 98.43 64.31 None goblint-regression/28-race_reach_82-list_racefree.yml OUT OF MEMORY 120.94 78.45 None goblint-regression/28-race_reach_83-list2_racing1.yml OUT OF MEMORY 86.88 58.23 None goblint-regression/28-race_reach_84-list2_racing2.yml OUT OF MEMORY 83.09 56.75 None goblint-regression/28-race_reach_85-list2_racefree.yml OUT OF MEMORY 91.27 61.26 None goblint-regression/28-race_reach_86-lists_racing.yml OUT OF MEMORY 265.25 237.03 None goblint-regression/28-race_reach_87-lists_racefree.yml OUT OF MEMORY 736.55 709.95 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 901.80 884.76 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 901.83 887.60 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 901.82 886.66 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 901.81 885.85 None goblint-regression/28-race_reach_94-alloc_region_racing.yml OUT OF MEMORY 72.40 52.79 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 11.20 7.32 None goblint-regression/36-apron_16-traces-unprot2_true.yml true 10.68 6.67 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml false(unreach-call) 11.65 7.29 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml false(unreach-call) 10.82 6.92 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 33.52 20.88 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 14.10 8.48 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml false(unreach-call) 10.02 6.47 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml false(unreach-call) 10.03 6.68 None weaver/array-eq-symm.wvr.yml TIMEOUT 902.07 792.39 None weaver/array-eq-trans.wvr.yml ERROR: EXCEPTION 300.39 278.31 None weaver/bench-exp1x3.wvr.yml TIMEOUT 901.95 885.73 None weaver/bench-exp2x3.wvr.yml TIMEOUT 901.59 882.33 None weaver/bench-exp2x4.wvr.yml TIMEOUT 901.71 822.96 None weaver/bench-exp2x6.wvr.yml TIMEOUT 901.10 883.94 None weaver/bench-exp2x9.wvr.yml TIMEOUT 901.15 883.92 None weaver/bench-exp3x3-opt.wvr.yml TIMEOUT 901.33 885.06 None weaver/bench-exp3x3.wvr.yml TIMEOUT 901.98 878.21 None weaver/chl-array-int-subst.wvr.yml ERROR: EXCEPTION 140.71 125.17 None weaver/chl-array-int-symm.wvr.yml TIMEOUT 901.43 800.17 None weaver/chl-array-int-trans.wvr.yml ERROR: EXCEPTION 128.81 113.05 None weaver/chl-chromosome-opt-symm.wvr.yml TIMEOUT 900.91 825.97 None weaver/chl-chromosome-subst.wvr.yml TIMEOUT 905.28 771.76 None weaver/chl-chromosome-symm.wvr.yml TIMEOUT 900.85 831.64 None weaver/chl-chromosome-trans.wvr.yml ERROR: EXCEPTION 266.82 231.45 None weaver/chl-collitem-subst.wvr.yml true 34.44 18.97 None weaver/chl-collitem-symm.wvr.yml true 16.96 10.14 None weaver/chl-collitem-trans.wvr.yml true 30.25 16.78 None weaver/chl-exp-term-subst.wvr.yml true 30.04 16.50 None weaver/chl-exp-term-symm.wvr.yml true 13.36 8.13 None weaver/chl-file-item-subst.wvr.yml true 30.06 16.48 None weaver/chl-file-item-symm.wvr.yml true 14.47 8.85 None weaver/chl-file-item-trans.wvr.yml true 21.01 12.30 None weaver/chl-match-subst.wvr.yml true 19.37 11.37 None weaver/chl-match-symm.wvr.yml true 11.87 7.51 None weaver/chl-match-trans.wvr.yml true 15.87 9.53 None weaver/chl-name-comparator-subst.wvr.yml TIMEOUT 900.80 752.82 None weaver/chl-name-comparator-symm.wvr.yml TIMEOUT 901.34 807.99 None weaver/chl-name-comparator-trans.wvr.yml TIMEOUT 902.16 794.54 None weaver/chl-node-subst.wvr.yml ERROR: EXCEPTION 669.79 634.88 None weaver/chl-node-symm.wvr.yml true 18.08 10.83 None weaver/chl-node-trans.wvr.yml true 23.67 13.26 None weaver/chl-nzb-file-subst.wvr.yml TIMEOUT 901.54 834.92 None weaver/chl-nzb-file-symm.wvr.yml TIMEOUT 901.49 851.82 None weaver/chl-nzb-file-trans.wvr.yml TIMEOUT 901.14 845.65 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 902.60 745.28 None weaver/chl-poker-hand-symm.wvr.yml ERROR: EXCEPTION 842.47 786.42 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 902.31 675.76 None weaver/chl-simpl-str-subst.wvr.yml true 22.51 12.96 None weaver/chl-simpl-str-symm.wvr.yml true 13.63 8.31 None weaver/chl-simpl-str-trans.wvr.yml true 16.99 9.96 None weaver/chl-sre-subst.wvr.yml true 20.88 12.19 None weaver/chl-sre-symm.wvr.yml true 12.83 8.12 None weaver/chl-sre-trans.wvr.yml true 13.57 8.56 None weaver/chl-time-subst.wvr.yml true 22.94 12.99 None weaver/chl-time-symm.wvr.yml true 13.10 8.39 None weaver/chl-time-trans.wvr.yml true 17.54 10.42 None weaver/chl-word-subst.wvr.yml ERROR: EXCEPTION 368.76 344.68 None weaver/chl-word-symm.wvr.yml ERROR: EXCEPTION 420.67 381.93 None weaver/chl-word-trans.wvr.yml ERROR: EXCEPTION 377.27 338.43 None weaver/clever.wvr.yml TIMEOUT 900.92 847.40 None weaver/fibonacci.wvr.yml TIMEOUT 901.24 827.65 None weaver/loop-tiling-eq.wvr.yml ERROR: EXCEPTION 501.01 479.06 None weaver/mult-comm.wvr.yml TIMEOUT 901.70 881.66 None weaver/mult-dist.wvr.yml TIMEOUT 901.38 795.51 None weaver/mult-flipped-dist.wvr.yml TIMEOUT 901.94 768.42 None weaver/parallel-bakery-2.wvr.yml true 16.00 9.54 None weaver/parallel-bakery-3.wvr.yml OUT OF MEMORY 593.32 486.74 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 82.48 57.20 None weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 78.83 55.07 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 253.45 203.90 None weaver/parallel-bluetooth.wvr.yml true 12.96 8.07 None weaver/parallel-lamport.wvr.yml TIMEOUT 901.12 757.19 None weaver/parallel-min-max-1.wvr.yml OUT OF MEMORY 738.74 601.17 None weaver/parallel-misc-1.wvr.yml ERROR: EXCEPTION 530.04 498.02 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 10.40 6.70 None weaver/parallel-misc-2-unrolled.wvr.yml true 12.52 7.94 None weaver/parallel-misc-2.wvr.yml TIMEOUT 901.62 871.63 None weaver/parallel-misc-3-extended.wvr.yml true 28.32 18.63 None weaver/parallel-misc-3.wvr.yml true 13.76 8.82 None weaver/parallel-misc-4.wvr.yml true 19.80 11.94 None weaver/parallel-misc-5.wvr.yml OUT OF MEMORY 212.40 143.15 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 106.57 76.09 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 326.06 262.00 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 215.60 168.50 None weaver/parallel-parallel-sum-equiv.wvr.yml OUT OF MEMORY 282.78 218.28 None weaver/parallel-simple-equiv.wvr.yml true 11.55 7.44 None weaver/parallel-ticket-2.wvr.yml true 10.71 8.13 None weaver/parallel-ticket-3.wvr.yml true 16.93 10.15 None weaver/parallel-ticket-4.wvr.yml true 61.01 42.07 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 115.98 85.94 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 67.89 43.94 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 66.63 43.66 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 68.47 47.53 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 150.10 113.09 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 151.35 112.16 None weaver/popl20-bad-buffer-mult-alt3.wvr.yml false(unreach-call) 21.37 12.15 None weaver/popl20-bad-commit-1.wvr-bad.yml true 599.08 415.57 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 113.66 84.88 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 13.46 8.43 None weaver/popl20-bad-counter-queue2.wvr.yml TIMEOUT 901.33 816.36 None weaver/popl20-bad-dot-product-alt.wvr.yml ERROR: EXCEPTION 143.47 126.82 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 426.66 350.63 None weaver/popl20-bad-ring-nondet.wvr.yml true 15.27 9.06 None weaver/popl20-bad-ring.wvr.yml ERROR: EXCEPTION 782.45 749.93 None weaver/popl20-bad-threaded-sum-2.wvr.yml TIMEOUT 900.93 831.79 None weaver/popl20-bad-three-array-sum-alt.wvr.yml TIMEOUT 901.28 867.48 None weaver/popl20-channel-sum.wvr.yml TIMEOUT 901.10 757.13 None weaver/popl20-commit-1.wvr.yml ERROR: EXCEPTION 442.35 408.50 None weaver/popl20-commit-2.wvr.yml ERROR: EXCEPTION 249.89 217.90 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 267.43 218.64 None weaver/popl20-counter-fun.wvr.yml TIMEOUT 902.65 750.46 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 221.79 171.25 None weaver/popl20-figure1-alt.wvr.yml TIMEOUT 901.35 805.40 None weaver/popl20-figure1.wvr.yml TIMEOUT 901.64 808.29 None weaver/popl20-figure3.wvr.yml TIMEOUT 902.26 862.24 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 901.84 767.66 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 571.64 495.36 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 109.07 76.50 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 311.92 274.36 None weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 902.24 777.53 None weaver/popl20-more-array-sum-alt2.wvr.yml TIMEOUT 901.07 789.47 None weaver/popl20-more-array-sum.wvr.yml false(unreach-call) 628.86 534.69 None weaver/popl20-more-array-sum2.wvr.yml TIMEOUT 901.49 801.40 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 183.02 143.32 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 901.73 750.76 None weaver/popl20-more-buffer-mult3.wvr.yml OUT OF MEMORY 179.08 140.57 None weaver/popl20-more-buffer-series.wvr.yml ERROR: EXCEPTION 234.21 200.93 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 220.97 174.68 None weaver/popl20-more-buffer-series3.wvr.yml false(unreach-call) 32.25 20.34 None weaver/popl20-more-dec-subseq.wvr.yml ERROR: EXCEPTION 184.83 161.94 None weaver/popl20-more-inc-subseq.wvr.yml ERROR: EXCEPTION 179.22 158.09 None weaver/popl20-more-max-array-hom.wvr.yml TIMEOUT 900.92 780.86 None weaver/popl20-more-max-array.wvr.yml TIMEOUT 901.78 774.37 None weaver/popl20-more-min-array-hom.wvr.yml TIMEOUT 902.90 772.82 None weaver/popl20-more-min-array.wvr.yml TIMEOUT 900.95 782.30 None weaver/popl20-more-min-le-max.wvr.yml true 12.06 7.65 None weaver/popl20-more-mts.wvr.yml TIMEOUT 901.98 868.82 None weaver/popl20-more-multiply-verify.wvr.yml TIMEOUT 901.07 837.20 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml TIMEOUT 901.74 849.72 None weaver/popl20-more-queue-add-2-nl.wvr.yml TIMEOUT 901.05 809.37 None weaver/popl20-more-queue-add-3-nl.wvr.yml TIMEOUT 902.00 844.90 None weaver/popl20-more-sorted.wvr.yml TIMEOUT 900.93 779.53 None weaver/popl20-more-sum-array-hom.wvr.yml TIMEOUT 901.16 829.54 None weaver/popl20-more-vector-add.wvr.yml ERROR: EXCEPTION 380.50 351.58 None weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 310.86 271.53 None weaver/popl20-mult-equiv.wvr.yml OUT OF MEMORY 344.43 276.75 None weaver/popl20-nonblocking-cntr-alt.wvr.yml TIMEOUT 901.37 818.95 None weaver/popl20-nonblocking-cntr.wvr.yml TIMEOUT 901.23 791.71 None weaver/popl20-prod-cons-eq.wvr.yml ERROR: EXCEPTION 196.57 176.26 None weaver/popl20-prod-cons.wvr.yml OUT OF MEMORY 427.01 347.24 None weaver/popl20-prod-cons3.wvr.yml OUT OF MEMORY 143.11 104.86 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 317.75 266.97 None weaver/popl20-queue-add-2.wvr.yml TIMEOUT 901.17 767.64 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 901.81 786.64 None weaver/popl20-send-receive-alt.wvr.yml OUT OF MEMORY 625.64 508.45 None weaver/popl20-send-receive.wvr.yml TIMEOUT 902.54 804.14 None weaver/popl20-simple-array-sum.wvr.yml true 27.41 16.26 None weaver/popl20-simple-queue.wvr.yml true 24.08 14.44 None weaver/popl20-threaded-sum-3.wvr.yml OUT OF MEMORY 315.98 255.11 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 249.75 199.52 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 217.25 163.53 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 902.03 877.28 None weaver/popl20-two-queue.wvr.yml TIMEOUT 901.35 848.53 None weaver/security.wvr.yml true 11.81 7.48 None weaver/spaghetti.wvr.yml true 22.18 13.06 None weaver/test-context1.wvr.yml TIMEOUT 901.53 771.23 None weaver/test-easy1.wvr.yml true 15.45 10.87 None weaver/test-easy10.wvr.yml OUT OF MEMORY 382.26 260.35 None weaver/test-easy11.wvr.yml true 66.67 49.82 None weaver/test-easy6.wvr.yml true 14.19 8.75 None weaver/test-easy7.wvr.yml true 10.83 6.97 None weaver/test-easy8.wvr.yml true 10.30 6.62 None weaver/test-hard1.wvr.yml OUT OF MEMORY 580.81 479.81 None weaver/test-semi1.wvr.yml true 10.57 6.85 None weaver/unroll-2.wvr.yml ERROR: EXCEPTION 829.95 776.28 None weaver/unroll-3.wvr.yml TIMEOUT 901.02 804.66 None weaver/unroll-4.wvr.yml ERROR: EXCEPTION 251.85 233.63 None weaver/unroll-5.wvr.yml ERROR: EXCEPTION 324.16 303.91 None weaver/unroll-cond-2.wvr.yml ERROR: EXCEPTION 514.17 473.34 None weaver/unroll-cond-3.wvr.yml TIMEOUT 902.09 866.09 None weaver/unroll-cond-4.wvr.yml ERROR: EXCEPTION 357.30 334.87 None weaver/unroll-cond-5.wvr.yml ERROR: EXCEPTION 238.15 218.49 None pthread-deagle/arithmetic_prog_bad.yml false(unreach-call) 25.68 16.50 None pthread-deagle/arithmetic_prog_ok.yml true 31.67 19.88 None pthread-deagle/circular_buffer_bad.yml false(unreach-call) 77.55 61.27 None pthread-deagle/circular_buffer_ok.yml TIMEOUT 902.08 877.66 None pthread-race-challenges/thread-local-pthread-value.yml unknown 8.68 5.60 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 8.17 5.43 None pthread-race-challenges/thread-local-value.yml unknown 8.27 5.50 None libvsync/arraylock.yml unknown 11.15 7.31 None libvsync/bounded_mpmc_check_full.yml ERROR: EXCEPTION 15.29 9.33 None libvsync/cnalock.yml ERROR: EXCEPTION 14.40 8.88 None libvsync/hclhlock.yml ERROR: EXCEPTION 15.06 9.23 None libvsync/hmcslock.yml ERROR: EXCEPTION 15.33 9.31 None libvsync/mcslock.yml ERROR: EXCEPTION 14.43 8.87 None libvsync/rec_mcslock.yml ERROR: EXCEPTION 13.80 8.25 None libvsync/rec_ticketlock.yml ERROR: EXCEPTION 14.30 9.23 None libvsync/rwlock.yml ERROR: EXCEPTION 13.49 8.55 None libvsync/semaphore.yml ERROR: EXCEPTION 13.23 8.32 None libvsync/ticketlock.yml ERROR: EXCEPTION 14.38 9.15 None libvsync/ttaslock.yml ERROR: EXCEPTION 12.78 8.11 None pthread-theta/exponential-4.yml OUT OF MEMORY 97.12 70.32 None pthread-theta/exponential-64.yml OUT OF MEMORY 137.28 99.32 None pthread-theta/exponential-nondet.yml OUT OF MEMORY 91.47 65.79 None pthread-theta/unwind1-1.yml false(unreach-call) 11.44 7.87 None pthread-theta/unwind1-100.yml false(unreach-call) 56.28 42.24 None pthread-theta/unwind1-nondet.yml false(unreach-call) 11.18 7.39 None pthread-theta/unwind2-1.yml false(unreach-call) 16.35 10.31 None pthread-theta/unwind2-100.yml false(unreach-call) 129.68 103.45 None pthread-theta/unwind2-nondet.yml false(unreach-call) 14.23 9.03 None pthread-theta/unwind3-1.yml false(unreach-call) 11.39 7.66 None pthread-theta/unwind3-100.yml OUT OF MEMORY 96.82 67.16 None pthread-theta/unwind3-nondet.yml false(unreach-call) 10.06 6.58 None pthread-theta/wsc.yml true 34.60 23.05 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 5 done 122892.22 8118.02 - GemCutter-ICFG.SVCOMP-ConcurrencySafety-Main Run set 6 of 6: skipped Statistics: 2900 Files correct: 1838 correct true: 657 correct false: 1181 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1062 Score: 2495 (max: 4396)