BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: Automizer PARTIAL_ORDER_FA.DelaySleep.OrderLockstep date: Mon, 2021-06-07 11:53:06 CEST tool: ULTIMATE Automizer 0.2.1-b7a4f01c tool executable: ./Ultimate.py options: --force-no-wrapper parallel runs: 7 resource limits: - memory: 16000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 16000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: benchexec os: Linux-5.4.65-1-pve-x86_64-with-debian-10.9 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ Automizer PARTIAL_ORDER_FA.DelaySleep.OrderLockstep Run set 1 of 1 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-DelaySleep-NoLbe-Lockstep.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/pthread/bigshot_p.yml UNKNOWN: OverapproxCex 12.43 7.53 None svcomp/pthread/bigshot_s.yml UNKNOWN: OverapproxCex 7.05 4.90 None svcomp/pthread/bigshot_s2.yml UNKNOWN: OverapproxCex 7.06 4.77 None svcomp/pthread/fib_bench-1.yml TIMEOUT 904.24 878.86 None svcomp/pthread/fib_bench-2.yml TIMEOUT 904.34 876.65 None svcomp/pthread/fib_bench_longer-1.yml OUT OF MEMORY 552.60 486.76 None svcomp/pthread/fib_bench_longer-2.yml OUT OF MEMORY 619.37 555.17 None svcomp/pthread/fib_bench_longest-1.yml OUT OF MEMORY 503.60 439.61 None svcomp/pthread/fib_bench_longest-2.yml TIMEOUT 906.28 827.47 None svcomp/pthread/lazy01.yml false(unreach-call) 11.74 7.08 None svcomp/pthread/queue.yml false(unreach-call) 97.24 62.37 None svcomp/pthread/queue_longer.yml ERROR: EXCEPTION 63.02 35.74 None svcomp/pthread/queue_longest.yml false(unreach-call) 79.70 50.44 None svcomp/pthread/queue_ok.yml TIMEOUT 905.94 869.41 None svcomp/pthread/queue_ok_longer.yml TIMEOUT 905.92 879.76 None svcomp/pthread/queue_ok_longest.yml TIMEOUT 905.98 870.84 None svcomp/pthread/singleton.yml false(unreach-call) 45.62 31.10 None svcomp/pthread/singleton_with-uninit-problems.yml true 136.63 106.01 None svcomp/pthread/stack-1.yml TIMEOUT 902.18 865.74 None svcomp/pthread/stack-2.yml TIMEOUT 901.46 845.32 None svcomp/pthread/stack_longer-1.yml TIMEOUT 906.15 859.04 None svcomp/pthread/stack_longer-2.yml TIMEOUT 905.95 863.16 None svcomp/pthread/stack_longest-1.yml TIMEOUT 906.17 862.02 None svcomp/pthread/stack_longest-2.yml TIMEOUT 906.07 874.15 None svcomp/pthread/stateful01-1.yml false(unreach-call) 9.35 5.75 None svcomp/pthread/stateful01-2.yml true 9.49 5.53 None svcomp/pthread/sync01.yml true 12.86 7.71 None svcomp/pthread/triangular-1.yml true 67.79 48.93 None svcomp/pthread/triangular-2.yml false(unreach-call) 42.11 27.18 None svcomp/pthread/triangular-longer-1.yml OUT OF MEMORY 350.91 294.32 None svcomp/pthread/triangular-longer-2.yml false(unreach-call) 132.46 109.84 None svcomp/pthread/triangular-longest-1.yml OUT OF MEMORY 646.56 520.09 None svcomp/pthread/triangular-longest-2.yml OUT OF MEMORY 638.08 525.59 None svcomp/pthread-atomic/dekker.yml true 14.33 9.11 None svcomp/pthread-atomic/gcd-2.yml TIMEOUT 906.33 849.32 None svcomp/pthread-atomic/lamport.yml true 22.88 13.24 None svcomp/pthread-atomic/peterson.yml true 12.35 7.91 None svcomp/pthread-atomic/qrcu-1.yml true 451.89 298.78 None svcomp/pthread-atomic/qrcu-2.yml false(unreach-call) 59.82 41.35 None svcomp/pthread-atomic/read_write_lock-1.yml true 176.04 135.71 None svcomp/pthread-atomic/read_write_lock-2.yml false(unreach-call) 149.29 114.20 None svcomp/pthread-atomic/scull.yml TIMEOUT 901.51 842.49 None svcomp/pthread-atomic/szymanski.yml true 19.86 11.91 None svcomp/pthread-atomic/time_var_mutex.yml true 11.74 9.51 None svcomp/pthread-ext/17_szymanski.yml true 12.91 7.55 None svcomp/pthread-ext/18_read_write_lock.yml true 8.90 5.51 None svcomp/pthread-ext/23_lu-fig2.fixed.yml true 9.11 5.95 None svcomp/pthread-wmm/mix000_power.oepc.yml false(unreach-call) 20.31 11.68 None svcomp/pthread-wmm/mix000_power.opt.yml false(unreach-call) 20.34 11.31 None svcomp/pthread-wmm/mix000_pso.oepc.yml false(unreach-call) 20.95 11.76 None svcomp/pthread-wmm/mix000_pso.opt.yml false(unreach-call) 21.18 12.10 None svcomp/pthread-wmm/mix000_rmo.oepc.yml false(unreach-call) 20.98 12.15 None svcomp/pthread-wmm/mix000_rmo.opt.yml false(unreach-call) 20.65 11.65 None svcomp/pthread-wmm/mix000_tso.oepc.yml false(unreach-call) 18.94 11.05 None svcomp/pthread-wmm/mix000_tso.opt.yml false(unreach-call) 20.12 11.37 None svcomp/pthread-wmm/mix001_power.oepc.yml false(unreach-call) 32.20 17.77 None svcomp/pthread-wmm/mix001_power.opt.yml false(unreach-call) 30.10 16.51 None svcomp/pthread-wmm/mix001_pso.oepc.yml false(unreach-call) 29.99 16.72 None svcomp/pthread-wmm/mix001_pso.opt.yml false(unreach-call) 31.75 17.46 None svcomp/pthread-wmm/mix001_rmo.oepc.yml false(unreach-call) 32.26 17.76 None svcomp/pthread-wmm/mix001_rmo.opt.yml false(unreach-call) 29.83 16.18 None svcomp/pthread-wmm/mix001_tso.oepc.yml false(unreach-call) 32.54 18.06 None svcomp/pthread-wmm/mix001_tso.opt.yml false(unreach-call) 30.89 16.67 None svcomp/pthread-wmm/mix002_power.oepc.yml false(unreach-call) 30.34 16.63 None svcomp/pthread-wmm/mix002_power.opt.yml false(unreach-call) 33.18 17.97 None svcomp/pthread-wmm/mix002_pso.oepc.yml false(unreach-call) 30.94 17.21 None svcomp/pthread-wmm/mix002_pso.opt.yml false(unreach-call) 22.95 12.92 None svcomp/pthread-wmm/mix002_rmo.oepc.yml false(unreach-call) 28.94 16.04 None svcomp/pthread-wmm/mix002_rmo.opt.yml false(unreach-call) 25.95 14.92 None svcomp/pthread-wmm/mix002_tso.oepc.yml false(unreach-call) 21.78 12.46 None svcomp/pthread-wmm/mix002_tso.opt.yml false(unreach-call) 24.84 14.10 None svcomp/pthread-wmm/mix003_power.oepc.yml false(unreach-call) 29.13 16.06 None svcomp/pthread-wmm/mix003_power.opt.yml false(unreach-call) 29.14 16.11 None svcomp/pthread-wmm/mix003_pso.oepc.yml false(unreach-call) 21.12 12.23 None svcomp/pthread-wmm/mix003_pso.opt.yml false(unreach-call) 22.26 12.44 None svcomp/pthread-wmm/mix003_rmo.oepc.yml false(unreach-call) 21.64 12.53 None svcomp/pthread-wmm/mix003_rmo.opt.0.1.yml false(unreach-call) 30.19 16.56 None svcomp/pthread-wmm/mix003_rmo.opt.0.yml false(unreach-call) 30.37 16.62 None svcomp/pthread-wmm/mix003_rmo.opt.yml false(unreach-call) 22.72 13.10 None svcomp/pthread-wmm/mix003_tso.oepc.yml false(unreach-call) 20.71 11.86 None svcomp/pthread-wmm/mix003_tso.opt.yml false(unreach-call) 21.39 12.29 None svcomp/pthread-wmm/mix004_power.oepc.yml false(unreach-call) 128.45 101.99 None svcomp/pthread-wmm/mix004_power.opt.yml false(unreach-call) 81.92 61.29 None svcomp/pthread-wmm/mix004_pso.oepc.yml false(unreach-call) 102.70 85.93 None svcomp/pthread-wmm/mix004_pso.opt.yml false(unreach-call) 66.52 52.34 None svcomp/pthread-wmm/mix004_rmo.oepc.yml false(unreach-call) 111.34 93.66 None svcomp/pthread-wmm/mix004_rmo.opt.yml false(unreach-call) 70.71 54.38 None svcomp/pthread-wmm/mix004_tso.oepc.yml false(unreach-call) 123.34 100.07 None svcomp/pthread-wmm/mix004_tso.opt.yml false(unreach-call) 68.09 52.15 None svcomp/pthread-wmm/mix005_power.oepc.yml false(unreach-call) 106.28 89.26 None svcomp/pthread-wmm/mix005_power.opt.yml false(unreach-call) 80.10 59.04 None svcomp/pthread-wmm/mix005_pso.oepc.yml false(unreach-call) 99.73 82.76 None svcomp/pthread-wmm/mix005_pso.opt.yml false(unreach-call) 61.23 46.20 None svcomp/pthread-wmm/mix005_rmo.oepc.yml false(unreach-call) 119.37 95.65 None svcomp/pthread-wmm/mix005_rmo.opt.yml false(unreach-call) 81.82 59.60 None svcomp/pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 108.30 89.28 None svcomp/pthread-wmm/mix005_tso.opt.yml false(unreach-call) 65.88 50.84 None svcomp/pthread-wmm/mix006_power.oepc.yml false(unreach-call) 20.48 11.79 None svcomp/pthread-wmm/mix006_power.opt.yml false(unreach-call) 21.58 12.39 None svcomp/pthread-wmm/mix006_pso.oepc.yml false(unreach-call) 20.28 11.41 None svcomp/pthread-wmm/mix006_pso.opt.yml false(unreach-call) 30.24 16.68 None svcomp/pthread-wmm/mix006_rmo.oepc.yml false(unreach-call) 21.08 11.92 None svcomp/pthread-wmm/mix006_rmo.opt.yml false(unreach-call) 28.64 15.91 None svcomp/pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 41.74 24.31 None svcomp/pthread-wmm/mix006_tso.opt.yml false(unreach-call) 22.05 12.90 None svcomp/pthread-wmm/mix007_power.oepc.yml false(unreach-call) 101.25 85.77 None svcomp/pthread-wmm/mix007_power.opt.yml false(unreach-call) 83.21 61.34 None svcomp/pthread-wmm/mix007_pso.oepc.yml false(unreach-call) 122.80 98.53 None svcomp/pthread-wmm/mix007_pso.opt.yml false(unreach-call) 69.56 54.01 None svcomp/pthread-wmm/mix007_rmo.oepc.yml false(unreach-call) 100.61 82.35 None svcomp/pthread-wmm/mix007_rmo.opt.yml false(unreach-call) 80.40 58.46 None svcomp/pthread-wmm/mix007_tso.oepc.yml false(unreach-call) 108.33 89.49 None svcomp/pthread-wmm/mix007_tso.opt.yml false(unreach-call) 65.71 50.57 None svcomp/pthread-wmm/mix008_power.oepc.yml false(unreach-call) 131.09 105.47 None svcomp/pthread-wmm/mix008_power.opt.yml false(unreach-call) 85.96 64.20 None svcomp/pthread-wmm/mix008_pso.oepc.yml false(unreach-call) 107.66 90.54 None svcomp/pthread-wmm/mix008_pso.opt.yml false(unreach-call) 83.51 60.07 None svcomp/pthread-wmm/mix008_rmo.oepc.yml false(unreach-call) 112.48 94.31 None svcomp/pthread-wmm/mix008_rmo.opt.yml false(unreach-call) 69.83 54.75 None svcomp/pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 210.98 169.35 None svcomp/pthread-wmm/mix008_tso.opt.yml false(unreach-call) 79.31 58.73 None svcomp/pthread-wmm/mix009_power.oepc.yml false(unreach-call) 13.27 7.97 None svcomp/pthread-wmm/mix009_power.opt.yml false(unreach-call) 14.32 8.49 None svcomp/pthread-wmm/mix009_pso.oepc.yml false(unreach-call) 17.44 10.24 None svcomp/pthread-wmm/mix009_pso.opt.yml false(unreach-call) 16.08 9.53 None svcomp/pthread-wmm/mix009_rmo.oepc.yml false(unreach-call) 12.66 7.46 None svcomp/pthread-wmm/mix009_rmo.opt.yml false(unreach-call) 20.35 11.73 None svcomp/pthread-wmm/mix009_tso.oepc.yml false(unreach-call) 14.17 8.67 None svcomp/pthread-wmm/mix009_tso.opt.yml false(unreach-call) 14.99 8.71 None svcomp/pthread-wmm/mix010_power.oepc.yml false(unreach-call) 28.93 16.20 None svcomp/pthread-wmm/mix010_power.opt.yml false(unreach-call) 20.33 11.79 None svcomp/pthread-wmm/mix010_pso.oepc.yml false(unreach-call) 20.40 11.97 None svcomp/pthread-wmm/mix010_pso.opt.yml false(unreach-call) 21.94 12.33 None svcomp/pthread-wmm/mix010_rmo.oepc.yml false(unreach-call) 29.25 16.47 None svcomp/pthread-wmm/mix010_rmo.opt.yml false(unreach-call) 21.01 11.82 None svcomp/pthread-wmm/mix010_tso.oepc.yml false(unreach-call) 21.68 12.90 None svcomp/pthread-wmm/mix010_tso.opt.yml false(unreach-call) 21.45 12.44 None svcomp/pthread-wmm/mix011_power.oepc.yml false(unreach-call) 29.34 16.26 None svcomp/pthread-wmm/mix011_power.opt.yml false(unreach-call) 19.94 11.16 None svcomp/pthread-wmm/mix011_pso.oepc.yml false(unreach-call) 20.57 11.51 None svcomp/pthread-wmm/mix011_pso.opt.yml false(unreach-call) 21.78 12.50 None svcomp/pthread-wmm/mix011_rmo.oepc.yml false(unreach-call) 29.94 16.20 None svcomp/pthread-wmm/mix011_rmo.opt.yml false(unreach-call) 29.76 16.31 None svcomp/pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 21.61 12.01 None svcomp/pthread-wmm/mix011_tso.opt.yml false(unreach-call) 21.53 12.13 None svcomp/pthread-wmm/mix012_power.oepc.yml false(unreach-call) 14.60 8.64 None svcomp/pthread-wmm/mix012_power.opt.yml false(unreach-call) 17.38 10.29 None svcomp/pthread-wmm/mix012_pso.oepc.yml false(unreach-call) 12.87 7.65 None svcomp/pthread-wmm/mix012_pso.opt.yml false(unreach-call) 14.67 8.85 None svcomp/pthread-wmm/mix012_rmo.oepc.yml false(unreach-call) 14.12 8.33 None svcomp/pthread-wmm/mix012_rmo.opt.yml false(unreach-call) 17.52 10.05 None svcomp/pthread-wmm/mix012_tso.oepc.yml false(unreach-call) 13.28 8.15 None svcomp/pthread-wmm/mix012_tso.opt.yml false(unreach-call) 19.61 11.38 None svcomp/pthread-wmm/mix013_power.oepc.yml false(unreach-call) 115.61 98.13 None svcomp/pthread-wmm/mix013_power.opt.yml false(unreach-call) 67.07 51.90 None svcomp/pthread-wmm/mix013_pso.oepc.yml false(unreach-call) 125.86 103.83 None svcomp/pthread-wmm/mix013_pso.opt.yml false(unreach-call) 83.66 61.06 None svcomp/pthread-wmm/mix013_rmo.oepc.yml false(unreach-call) 104.64 88.55 None svcomp/pthread-wmm/mix013_rmo.opt.yml false(unreach-call) 80.76 59.60 None svcomp/pthread-wmm/mix013_tso.oepc.yml false(unreach-call) 136.40 111.23 None svcomp/pthread-wmm/mix013_tso.opt.yml false(unreach-call) 68.48 53.45 None svcomp/pthread-wmm/mix014_power.oepc.yml false(unreach-call) 124.73 99.33 None svcomp/pthread-wmm/mix014_power.opt.yml false(unreach-call) 83.42 61.60 None svcomp/pthread-wmm/mix014_pso.oepc.yml false(unreach-call) 98.42 82.27 None svcomp/pthread-wmm/mix014_pso.opt.yml false(unreach-call) 69.77 54.02 None svcomp/pthread-wmm/mix014_rmo.oepc.yml false(unreach-call) 118.33 94.99 None svcomp/pthread-wmm/mix014_rmo.opt.yml false(unreach-call) 68.97 54.05 None svcomp/pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 279.91 235.18 None svcomp/pthread-wmm/mix014_tso.opt.yml false(unreach-call) 71.22 54.30 None svcomp/pthread-wmm/mix015_power.oepc.yml false(unreach-call) 30.27 16.87 None svcomp/pthread-wmm/mix015_power.opt.yml false(unreach-call) 22.77 13.14 None svcomp/pthread-wmm/mix015_pso.oepc.yml false(unreach-call) 31.85 17.61 None svcomp/pthread-wmm/mix015_pso.opt.yml false(unreach-call) 22.09 12.76 None svcomp/pthread-wmm/mix015_rmo.oepc.yml false(unreach-call) 21.96 12.95 None svcomp/pthread-wmm/mix015_rmo.opt.yml false(unreach-call) 28.79 16.10 None svcomp/pthread-wmm/mix015_tso.oepc.yml false(unreach-call) 31.45 17.66 None svcomp/pthread-wmm/mix015_tso.opt.yml false(unreach-call) 22.24 12.81 None svcomp/pthread-wmm/mix016_power.oepc.yml false(unreach-call) 18.90 10.74 None svcomp/pthread-wmm/mix016_power.opt.yml false(unreach-call) 29.93 16.58 None svcomp/pthread-wmm/mix016_pso.oepc.yml false(unreach-call) 26.92 15.07 None svcomp/pthread-wmm/mix016_pso.opt.yml false(unreach-call) 21.62 11.92 None svcomp/pthread-wmm/mix016_rmo.oepc.yml false(unreach-call) 25.70 14.27 None svcomp/pthread-wmm/mix016_rmo.opt.yml false(unreach-call) 20.08 11.19 None svcomp/pthread-wmm/mix016_tso.oepc.yml false(unreach-call) 20.38 11.39 None svcomp/pthread-wmm/mix016_tso.opt.yml false(unreach-call) 25.87 14.42 None svcomp/pthread-wmm/mix017_power.oepc.yml false(unreach-call) 89.12 73.48 None svcomp/pthread-wmm/mix017_power.opt.yml false(unreach-call) 56.44 42.09 None svcomp/pthread-wmm/mix017_pso.oepc.yml false(unreach-call) 104.73 81.45 None svcomp/pthread-wmm/mix017_pso.opt.yml false(unreach-call) 71.51 51.09 None svcomp/pthread-wmm/mix017_rmo.oepc.yml false(unreach-call) 88.51 72.27 None svcomp/pthread-wmm/mix017_rmo.opt.yml false(unreach-call) 88.00 61.15 None svcomp/pthread-wmm/mix017_tso.oepc.yml false(unreach-call) 84.07 67.09 None svcomp/pthread-wmm/mix017_tso.opt.yml false(unreach-call) 68.86 49.16 None svcomp/pthread-wmm/mix018_power.oepc.yml false(unreach-call) 93.73 75.53 None svcomp/pthread-wmm/mix018_power.opt.yml false(unreach-call) 80.34 58.25 None svcomp/pthread-wmm/mix018_pso.oepc.yml false(unreach-call) 90.34 73.03 None svcomp/pthread-wmm/mix018_pso.opt.yml false(unreach-call) 81.99 59.67 None svcomp/pthread-wmm/mix018_rmo.oepc.yml false(unreach-call) 103.04 79.91 None svcomp/pthread-wmm/mix018_rmo.opt.yml false(unreach-call) 60.09 45.23 None svcomp/pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 109.79 83.10 None svcomp/pthread-wmm/mix018_tso.opt.yml false(unreach-call) 75.58 54.91 None svcomp/pthread-wmm/mix019_power.oepc.yml false(unreach-call) 20.21 11.48 None svcomp/pthread-wmm/mix019_power.opt.yml false(unreach-call) 21.65 12.56 None svcomp/pthread-wmm/mix019_pso.oepc.yml false(unreach-call) 25.57 14.08 None svcomp/pthread-wmm/mix019_pso.opt.yml false(unreach-call) 20.16 11.70 None svcomp/pthread-wmm/mix019_rmo.oepc.yml false(unreach-call) 20.66 11.75 None svcomp/pthread-wmm/mix019_rmo.opt.yml false(unreach-call) 21.15 12.02 None svcomp/pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 20.80 11.63 None svcomp/pthread-wmm/mix019_tso.opt.yml false(unreach-call) 27.39 14.93 None svcomp/pthread-wmm/mix020_power.oepc.yml false(unreach-call) 94.09 76.29 None svcomp/pthread-wmm/mix020_power.opt.yml false(unreach-call) 59.29 43.69 None svcomp/pthread-wmm/mix020_pso.oepc.yml false(unreach-call) 84.40 67.47 None svcomp/pthread-wmm/mix020_pso.opt.yml false(unreach-call) 69.30 49.73 None svcomp/pthread-wmm/mix020_rmo.oepc.yml false(unreach-call) 102.48 78.60 None svcomp/pthread-wmm/mix020_rmo.opt.yml false(unreach-call) 73.86 53.46 None svcomp/pthread-wmm/mix020_tso.oepc.yml false(unreach-call) 107.42 84.18 None svcomp/pthread-wmm/mix020_tso.opt.yml false(unreach-call) 62.99 47.42 None svcomp/pthread-wmm/mix021_power.oepc.yml false(unreach-call) 103.05 77.16 None svcomp/pthread-wmm/mix021_power.opt.yml false(unreach-call) 61.61 47.09 None svcomp/pthread-wmm/mix021_pso.oepc.yml false(unreach-call) 88.21 72.07 None svcomp/pthread-wmm/mix021_pso.opt.yml false(unreach-call) 69.50 49.00 None svcomp/pthread-wmm/mix021_rmo.oepc.yml false(unreach-call) 101.75 78.69 None svcomp/pthread-wmm/mix021_rmo.opt.yml false(unreach-call) 58.59 43.12 None svcomp/pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 81.38 63.35 None svcomp/pthread-wmm/mix021_tso.opt.yml false(unreach-call) 69.57 48.06 None svcomp/pthread-wmm/mix022_power.oepc.yml false(unreach-call) 17.43 10.33 None svcomp/pthread-wmm/mix022_power.opt.yml false(unreach-call) 18.48 10.60 None svcomp/pthread-wmm/mix022_pso.oepc.yml false(unreach-call) 17.87 10.26 None svcomp/pthread-wmm/mix022_pso.opt.yml false(unreach-call) 14.06 8.59 None svcomp/pthread-wmm/mix022_rmo.oepc.yml false(unreach-call) 13.61 8.12 None svcomp/pthread-wmm/mix022_rmo.opt.yml false(unreach-call) 13.60 8.11 None svcomp/pthread-wmm/mix022_tso.oepc.yml false(unreach-call) 20.18 11.55 None svcomp/pthread-wmm/mix022_tso.opt.yml false(unreach-call) 20.63 11.95 None svcomp/pthread-wmm/mix023_power.oepc.yml false(unreach-call) 107.04 87.63 None svcomp/pthread-wmm/mix023_power.opt.yml false(unreach-call) 85.36 68.02 None svcomp/pthread-wmm/mix023_pso.oepc.yml false(unreach-call) 124.34 100.05 None svcomp/pthread-wmm/mix023_pso.opt.yml false(unreach-call) 101.70 76.31 None svcomp/pthread-wmm/mix023_rmo.oepc.yml false(unreach-call) 124.72 99.79 None svcomp/pthread-wmm/mix023_rmo.opt.yml false(unreach-call) 89.40 66.28 None svcomp/pthread-wmm/mix023_tso.oepc.yml false(unreach-call) 223.48 188.81 None svcomp/pthread-wmm/mix023_tso.opt.yml false(unreach-call) 234.66 200.23 None svcomp/pthread-wmm/mix024_power.oepc.yml false(unreach-call) 32.55 18.04 None svcomp/pthread-wmm/mix024_power.opt.yml false(unreach-call) 30.46 16.67 None svcomp/pthread-wmm/mix024_pso.oepc.yml false(unreach-call) 24.35 14.59 None svcomp/pthread-wmm/mix024_pso.opt.yml false(unreach-call) 29.48 16.00 None svcomp/pthread-wmm/mix024_rmo.oepc.yml false(unreach-call) 24.35 13.82 None svcomp/pthread-wmm/mix024_rmo.opt.yml false(unreach-call) 31.72 17.25 None svcomp/pthread-wmm/mix024_tso.oepc.yml false(unreach-call) 31.21 17.41 None svcomp/pthread-wmm/mix024_tso.opt.yml false(unreach-call) 31.19 17.34 None svcomp/pthread-wmm/mix025_power.oepc.yml false(unreach-call) 25.91 14.55 None svcomp/pthread-wmm/mix025_power.opt.yml false(unreach-call) 19.41 11.10 None svcomp/pthread-wmm/mix025_pso.oepc.yml false(unreach-call) 27.27 15.11 None svcomp/pthread-wmm/mix025_pso.opt.yml false(unreach-call) 30.19 16.54 None svcomp/pthread-wmm/mix025_rmo.oepc.yml false(unreach-call) 21.02 11.76 None svcomp/pthread-wmm/mix025_rmo.opt.yml false(unreach-call) 30.03 16.59 None svcomp/pthread-wmm/mix025_tso.oepc.yml false(unreach-call) 27.31 15.41 None svcomp/pthread-wmm/mix025_tso.opt.yml false(unreach-call) 26.75 14.88 None svcomp/pthread-wmm/mix026_power.oepc.yml false(unreach-call) 103.49 80.21 None svcomp/pthread-wmm/mix026_power.opt.yml false(unreach-call) 85.38 68.78 None svcomp/pthread-wmm/mix026_pso.oepc.yml false(unreach-call) 104.68 81.33 None svcomp/pthread-wmm/mix026_pso.opt.yml false(unreach-call) 75.47 54.81 None svcomp/pthread-wmm/mix026_rmo.oepc.yml false(unreach-call) 103.36 79.36 None svcomp/pthread-wmm/mix026_rmo.opt.yml false(unreach-call) 74.16 54.28 None svcomp/pthread-wmm/mix026_tso.oepc.yml false(unreach-call) 87.76 71.20 None svcomp/pthread-wmm/mix026_tso.opt.yml false(unreach-call) 79.40 62.43 None svcomp/pthread-wmm/mix027_power.oepc.yml false(unreach-call) 97.36 74.86 None svcomp/pthread-wmm/mix027_power.opt.yml false(unreach-call) 77.62 57.05 None svcomp/pthread-wmm/mix027_pso.oepc.yml false(unreach-call) 97.39 75.66 None svcomp/pthread-wmm/mix027_pso.opt.yml false(unreach-call) 77.32 55.83 None svcomp/pthread-wmm/mix027_rmo.oepc.yml false(unreach-call) 92.22 74.55 None svcomp/pthread-wmm/mix027_rmo.opt.yml false(unreach-call) 64.32 48.08 None svcomp/pthread-wmm/mix027_tso.oepc.yml false(unreach-call) 102.61 84.96 None svcomp/pthread-wmm/mix027_tso.opt.yml false(unreach-call) 122.51 93.84 None svcomp/pthread-wmm/mix028_power.oepc.yml false(unreach-call) 25.68 14.05 None svcomp/pthread-wmm/mix028_power.opt.yml false(unreach-call) 28.69 15.71 None svcomp/pthread-wmm/mix028_pso.oepc.yml false(unreach-call) 25.41 14.11 None svcomp/pthread-wmm/mix028_pso.opt.yml false(unreach-call) 29.70 16.29 None svcomp/pthread-wmm/mix028_rmo.oepc.yml false(unreach-call) 26.65 14.57 None svcomp/pthread-wmm/mix028_rmo.opt.yml false(unreach-call) 28.22 15.82 None svcomp/pthread-wmm/mix028_tso.oepc.yml false(unreach-call) 21.63 12.33 None svcomp/pthread-wmm/mix028_tso.opt.yml false(unreach-call) 29.80 16.31 None svcomp/pthread-wmm/mix029_power.oepc.yml false(unreach-call) 101.10 77.25 None svcomp/pthread-wmm/mix029_power.opt.yml false(unreach-call) 112.65 84.99 None svcomp/pthread-wmm/mix029_pso.oepc.yml false(unreach-call) 79.87 64.41 None svcomp/pthread-wmm/mix029_pso.opt.yml false(unreach-call) 92.47 73.66 None svcomp/pthread-wmm/mix029_rmo.oepc.yml false(unreach-call) 104.58 80.99 None svcomp/pthread-wmm/mix029_rmo.opt.yml false(unreach-call) 89.90 71.85 None svcomp/pthread-wmm/mix029_tso.oepc.yml false(unreach-call) 99.08 77.26 None svcomp/pthread-wmm/mix029_tso.opt.yml false(unreach-call) 77.89 62.65 None svcomp/pthread-wmm/mix030_power.oepc.yml false(unreach-call) 102.59 80.07 None svcomp/pthread-wmm/mix030_power.opt.yml false(unreach-call) 86.59 69.13 None svcomp/pthread-wmm/mix030_pso.oepc.yml false(unreach-call) 107.14 83.08 None svcomp/pthread-wmm/mix030_pso.opt.yml false(unreach-call) 103.35 77.95 None svcomp/pthread-wmm/mix030_rmo.oepc.yml false(unreach-call) 94.64 76.25 None svcomp/pthread-wmm/mix030_rmo.opt.yml false(unreach-call) 103.63 77.48 None svcomp/pthread-wmm/mix030_tso.oepc.yml false(unreach-call) 66.07 50.17 None svcomp/pthread-wmm/mix030_tso.opt.yml false(unreach-call) 71.06 54.34 None svcomp/pthread-wmm/mix031_power.oepc.yml false(unreach-call) 18.27 10.40 None svcomp/pthread-wmm/mix031_power.opt.yml false(unreach-call) 17.80 10.35 None svcomp/pthread-wmm/mix031_pso.oepc.yml false(unreach-call) 18.08 10.50 None svcomp/pthread-wmm/mix031_pso.opt.yml false(unreach-call) 17.73 10.11 None svcomp/pthread-wmm/mix031_rmo.oepc.yml false(unreach-call) 14.19 8.43 None svcomp/pthread-wmm/mix031_rmo.opt.yml false(unreach-call) 17.08 10.09 None svcomp/pthread-wmm/mix031_tso.oepc.yml false(unreach-call) 17.46 10.23 None svcomp/pthread-wmm/mix031_tso.opt.yml false(unreach-call) 17.36 10.11 None svcomp/pthread-wmm/mix032_power.oepc.yml false(unreach-call) 21.87 12.36 None svcomp/pthread-wmm/mix032_power.opt.yml false(unreach-call) 20.27 11.21 None svcomp/pthread-wmm/mix032_pso.oepc.yml false(unreach-call) 29.02 16.65 None svcomp/pthread-wmm/mix032_pso.opt.yml false(unreach-call) 26.49 14.82 None svcomp/pthread-wmm/mix032_rmo.oepc.yml false(unreach-call) 30.38 16.66 None svcomp/pthread-wmm/mix032_rmo.opt.yml false(unreach-call) 19.80 11.34 None svcomp/pthread-wmm/mix032_tso.oepc.yml false(unreach-call) 22.80 13.01 None svcomp/pthread-wmm/mix032_tso.opt.yml false(unreach-call) 26.61 14.76 None svcomp/pthread-wmm/mix033_power.oepc.yml false(unreach-call) 21.91 12.65 None svcomp/pthread-wmm/mix033_power.opt.yml false(unreach-call) 28.40 15.71 None svcomp/pthread-wmm/mix033_pso.oepc.yml false(unreach-call) 28.93 15.81 None svcomp/pthread-wmm/mix033_pso.opt.yml false(unreach-call) 20.40 11.66 None svcomp/pthread-wmm/mix033_rmo.oepc.yml false(unreach-call) 27.29 15.54 None svcomp/pthread-wmm/mix033_rmo.opt.yml false(unreach-call) 21.54 11.87 None svcomp/pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 38.46 21.37 None svcomp/pthread-wmm/mix033_tso.opt.yml false(unreach-call) 20.96 12.27 None svcomp/pthread-wmm/mix034_power.oepc.yml false(unreach-call) 13.20 7.77 None svcomp/pthread-wmm/mix034_power.opt.yml false(unreach-call) 18.53 10.74 None svcomp/pthread-wmm/mix034_pso.oepc.yml false(unreach-call) 18.79 10.81 None svcomp/pthread-wmm/mix034_pso.opt.yml false(unreach-call) 12.74 7.53 None svcomp/pthread-wmm/mix034_rmo.oepc.yml false(unreach-call) 18.64 10.63 None svcomp/pthread-wmm/mix034_rmo.opt.yml false(unreach-call) 12.80 7.59 None svcomp/pthread-wmm/mix034_tso.oepc.yml false(unreach-call) 13.66 8.34 None svcomp/pthread-wmm/mix034_tso.opt.yml false(unreach-call) 12.59 7.99 None svcomp/pthread-wmm/mix035_power.oepc.yml false(unreach-call) 26.51 14.89 None svcomp/pthread-wmm/mix035_power.opt.yml false(unreach-call) 29.11 15.90 None svcomp/pthread-wmm/mix035_pso.oepc.yml false(unreach-call) 20.08 11.37 None svcomp/pthread-wmm/mix035_pso.opt.yml false(unreach-call) 24.05 13.58 None svcomp/pthread-wmm/mix035_rmo.oepc.yml false(unreach-call) 26.13 14.46 None svcomp/pthread-wmm/mix035_rmo.opt.yml false(unreach-call) 21.49 11.95 None svcomp/pthread-wmm/mix035_tso.oepc.yml false(unreach-call) 20.91 12.24 None svcomp/pthread-wmm/mix035_tso.opt.yml false(unreach-call) 17.96 10.57 None svcomp/pthread-wmm/mix036_power.oepc.yml false(unreach-call) 115.02 92.45 None svcomp/pthread-wmm/mix036_power.opt.yml false(unreach-call) 82.73 64.02 None svcomp/pthread-wmm/mix036_pso.oepc.yml false(unreach-call) 116.78 94.98 None svcomp/pthread-wmm/mix036_pso.opt.yml false(unreach-call) 80.60 58.39 None svcomp/pthread-wmm/mix036_rmo.oepc.yml false(unreach-call) 103.45 87.19 None svcomp/pthread-wmm/mix036_rmo.opt.yml false(unreach-call) 71.76 55.11 None svcomp/pthread-wmm/mix036_tso.oepc.yml false(unreach-call) 90.60 75.82 None svcomp/pthread-wmm/mix036_tso.opt.yml false(unreach-call) 75.58 59.79 None svcomp/pthread-wmm/mix037_power.oepc.yml false(unreach-call) 120.29 95.46 None svcomp/pthread-wmm/mix037_power.opt.yml false(unreach-call) 78.65 55.55 None svcomp/pthread-wmm/mix037_pso.oepc.yml false(unreach-call) 93.25 77.90 None svcomp/pthread-wmm/mix037_pso.opt.yml false(unreach-call) 66.25 53.01 None svcomp/pthread-wmm/mix037_rmo.oepc.yml false(unreach-call) 115.99 94.36 None svcomp/pthread-wmm/mix037_rmo.opt.yml false(unreach-call) 71.92 52.25 None svcomp/pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 126.64 105.03 None svcomp/pthread-wmm/mix037_tso.opt.yml false(unreach-call) 72.58 53.11 None svcomp/pthread-wmm/mix038_power.oepc.yml false(unreach-call) 22.13 12.48 None svcomp/pthread-wmm/mix038_power.opt.yml false(unreach-call) 25.96 14.68 None svcomp/pthread-wmm/mix038_pso.oepc.yml false(unreach-call) 22.63 13.09 None svcomp/pthread-wmm/mix038_pso.opt.yml false(unreach-call) 26.23 14.46 None svcomp/pthread-wmm/mix038_rmo.oepc.yml false(unreach-call) 19.88 11.20 None svcomp/pthread-wmm/mix038_rmo.opt.yml false(unreach-call) 26.44 14.84 None svcomp/pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 23.53 13.45 None svcomp/pthread-wmm/mix038_tso.opt.yml false(unreach-call) 27.07 15.18 None svcomp/pthread-wmm/mix039_power.oepc.yml false(unreach-call) 115.49 90.73 None svcomp/pthread-wmm/mix039_power.opt.yml false(unreach-call) 58.88 45.14 None svcomp/pthread-wmm/mix039_pso.oepc.yml false(unreach-call) 117.99 91.97 None svcomp/pthread-wmm/mix039_pso.opt.yml false(unreach-call) 62.53 47.99 None svcomp/pthread-wmm/mix039_rmo.oepc.yml false(unreach-call) 113.61 90.87 None svcomp/pthread-wmm/mix039_rmo.opt.yml false(unreach-call) 70.69 51.99 None svcomp/pthread-wmm/mix039_tso.oepc.yml false(unreach-call) 93.77 75.80 None svcomp/pthread-wmm/mix039_tso.opt.yml false(unreach-call) 59.26 45.87 None svcomp/pthread-wmm/mix040_power.oepc.yml false(unreach-call) 105.74 86.76 None svcomp/pthread-wmm/mix040_power.opt.yml false(unreach-call) 76.80 56.15 None svcomp/pthread-wmm/mix040_pso.oepc.yml false(unreach-call) 122.43 99.11 None svcomp/pthread-wmm/mix040_pso.opt.yml false(unreach-call) 64.60 49.99 None svcomp/pthread-wmm/mix040_rmo.oepc.yml false(unreach-call) 118.63 94.61 None svcomp/pthread-wmm/mix040_rmo.opt.yml false(unreach-call) 66.77 49.10 None svcomp/pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 109.86 84.71 None svcomp/pthread-wmm/mix040_tso.opt.yml false(unreach-call) 56.17 42.33 None svcomp/pthread-wmm/mix041_power.oepc.yml false(unreach-call) 14.23 8.68 None svcomp/pthread-wmm/mix041_power.opt.yml false(unreach-call) 20.14 11.49 None svcomp/pthread-wmm/mix041_pso.oepc.yml false(unreach-call) 18.21 10.64 None svcomp/pthread-wmm/mix041_pso.opt.yml false(unreach-call) 20.23 12.17 None svcomp/pthread-wmm/mix041_rmo.oepc.yml false(unreach-call) 13.79 8.10 None svcomp/pthread-wmm/mix041_rmo.opt.yml false(unreach-call) 26.28 14.42 None svcomp/pthread-wmm/mix041_tso.oepc.yml false(unreach-call) 19.15 10.88 None svcomp/pthread-wmm/mix041_tso.opt.yml false(unreach-call) 19.28 11.07 None svcomp/pthread-wmm/mix042_power.oepc.yml false(unreach-call) 21.80 12.28 None svcomp/pthread-wmm/mix042_power.opt.yml false(unreach-call) 33.86 20.75 None svcomp/pthread-wmm/mix042_pso.oepc.yml false(unreach-call) 20.23 11.51 None svcomp/pthread-wmm/mix042_pso.opt.yml false(unreach-call) 44.05 24.77 None svcomp/pthread-wmm/mix042_rmo.oepc.yml false(unreach-call) 20.56 11.96 None svcomp/pthread-wmm/mix042_rmo.opt.yml false(unreach-call) 32.04 18.89 None svcomp/pthread-wmm/mix042_tso.oepc.yml false(unreach-call) 28.39 15.58 None svcomp/pthread-wmm/mix042_tso.opt.yml false(unreach-call) 33.04 19.79 None svcomp/pthread-wmm/mix043_power.oepc.yml false(unreach-call) 114.28 90.10 None svcomp/pthread-wmm/mix043_power.opt.yml false(unreach-call) 103.14 80.07 None svcomp/pthread-wmm/mix043_pso.oepc.yml false(unreach-call) 116.40 90.83 None svcomp/pthread-wmm/mix043_pso.opt.yml false(unreach-call) 139.74 107.34 None svcomp/pthread-wmm/mix043_rmo.oepc.yml false(unreach-call) 119.78 94.45 None svcomp/pthread-wmm/mix043_rmo.opt.yml false(unreach-call) 115.61 92.13 None svcomp/pthread-wmm/mix043_tso.oepc.yml false(unreach-call) 102.20 85.28 None svcomp/pthread-wmm/mix043_tso.opt.yml false(unreach-call) 121.27 95.82 None svcomp/pthread-wmm/mix044_power.oepc.yml false(unreach-call) 118.49 95.24 None svcomp/pthread-wmm/mix044_power.opt.yml false(unreach-call) 132.55 103.09 None svcomp/pthread-wmm/mix044_pso.oepc.yml false(unreach-call) 107.45 87.87 None svcomp/pthread-wmm/mix044_pso.opt.yml false(unreach-call) 119.56 95.23 None svcomp/pthread-wmm/mix044_rmo.oepc.yml false(unreach-call) 120.03 95.11 None svcomp/pthread-wmm/mix044_rmo.opt.yml false(unreach-call) 140.93 107.91 None svcomp/pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 109.41 88.53 None svcomp/pthread-wmm/mix044_tso.opt.yml false(unreach-call) 144.43 111.72 None svcomp/pthread-wmm/mix045_power.oepc.yml false(unreach-call) 21.44 12.12 None svcomp/pthread-wmm/mix045_power.opt.yml false(unreach-call) 31.59 18.37 None svcomp/pthread-wmm/mix045_pso.oepc.yml false(unreach-call) 21.17 12.30 None svcomp/pthread-wmm/mix045_pso.opt.yml false(unreach-call) 39.30 22.77 None svcomp/pthread-wmm/mix045_rmo.oepc.yml false(unreach-call) 28.69 15.62 None svcomp/pthread-wmm/mix045_rmo.opt.yml false(unreach-call) 28.02 16.51 None svcomp/pthread-wmm/mix045_tso.oepc.yml false(unreach-call) 39.71 22.87 None svcomp/pthread-wmm/mix045_tso.opt.yml false(unreach-call) 28.46 16.83 None svcomp/pthread-wmm/mix046_power.oepc.yml false(unreach-call) 121.22 96.57 None svcomp/pthread-wmm/mix046_power.opt.yml false(unreach-call) 146.63 109.61 None svcomp/pthread-wmm/mix046_pso.oepc.yml false(unreach-call) 103.27 85.20 None svcomp/pthread-wmm/mix046_pso.opt.yml false(unreach-call) 115.35 91.57 None svcomp/pthread-wmm/mix046_rmo.oepc.yml false(unreach-call) 118.00 94.41 None svcomp/pthread-wmm/mix046_rmo.opt.yml false(unreach-call) 119.09 93.93 None svcomp/pthread-wmm/mix046_tso.oepc.yml false(unreach-call) 117.07 93.70 None svcomp/pthread-wmm/mix046_tso.opt.yml false(unreach-call) 120.44 97.97 None svcomp/pthread-wmm/mix047_power.oepc.yml false(unreach-call) 115.88 92.36 None svcomp/pthread-wmm/mix047_power.opt.yml false(unreach-call) 116.76 92.20 None svcomp/pthread-wmm/mix047_pso.oepc.yml false(unreach-call) 112.14 89.50 None svcomp/pthread-wmm/mix047_pso.opt.yml false(unreach-call) 136.74 103.25 None svcomp/pthread-wmm/mix047_rmo.oepc.yml false(unreach-call) 91.67 75.19 None svcomp/pthread-wmm/mix047_rmo.opt.yml false(unreach-call) 136.91 103.45 None svcomp/pthread-wmm/mix047_tso.oepc.yml false(unreach-call) 132.33 101.49 None svcomp/pthread-wmm/mix047_tso.opt.yml false(unreach-call) 124.71 101.53 None svcomp/pthread-wmm/mix048_power.oepc.yml false(unreach-call) 12.96 7.66 None svcomp/pthread-wmm/mix048_power.opt.yml false(unreach-call) 17.09 9.84 None svcomp/pthread-wmm/mix048_pso.oepc.yml false(unreach-call) 13.82 8.11 None svcomp/pthread-wmm/mix048_pso.opt.yml false(unreach-call) 14.33 8.30 None svcomp/pthread-wmm/mix048_rmo.oepc.yml false(unreach-call) 17.00 9.86 None svcomp/pthread-wmm/mix048_rmo.opt.yml false(unreach-call) 13.24 8.10 None svcomp/pthread-wmm/mix048_tso.oepc.yml false(unreach-call) 17.26 10.28 None svcomp/pthread-wmm/mix048_tso.opt.yml false(unreach-call) 13.21 7.99 None svcomp/pthread-wmm/mix049_power.oepc.yml false(unreach-call) 18.83 10.95 None svcomp/pthread-wmm/mix049_power.opt.yml false(unreach-call) 25.21 13.75 None svcomp/pthread-wmm/mix049_pso.oepc.yml false(unreach-call) 26.44 14.46 None svcomp/pthread-wmm/mix049_pso.opt.yml false(unreach-call) 18.86 10.62 None svcomp/pthread-wmm/mix049_rmo.oepc.yml false(unreach-call) 18.74 10.81 None svcomp/pthread-wmm/mix049_rmo.opt.yml false(unreach-call) 26.08 14.06 None svcomp/pthread-wmm/mix049_tso.oepc.yml false(unreach-call) 19.73 11.19 None svcomp/pthread-wmm/mix049_tso.opt.yml false(unreach-call) 24.94 14.10 None svcomp/pthread-wmm/mix050_power.oepc.yml false(unreach-call) 71.00 55.18 None svcomp/pthread-wmm/mix050_power.opt.yml false(unreach-call) 90.99 68.42 None svcomp/pthread-wmm/mix050_pso.oepc.yml false(unreach-call) 78.52 61.55 None svcomp/pthread-wmm/mix050_pso.opt.yml false(unreach-call) 86.64 65.37 None svcomp/pthread-wmm/mix050_rmo.oepc.yml false(unreach-call) 89.20 65.64 None svcomp/pthread-wmm/mix050_rmo.opt.yml false(unreach-call) 87.61 64.98 None svcomp/pthread-wmm/mix050_tso.oepc.yml false(unreach-call) 75.83 61.07 None svcomp/pthread-wmm/mix050_tso.opt.yml false(unreach-call) 71.44 53.85 None svcomp/pthread-wmm/mix051_power.oepc.yml false(unreach-call) 76.18 61.02 None svcomp/pthread-wmm/mix051_power.opt.yml false(unreach-call) 90.20 68.03 None svcomp/pthread-wmm/mix051_pso.oepc.yml false(unreach-call) 85.63 64.85 None svcomp/pthread-wmm/mix051_pso.opt.yml false(unreach-call) 70.54 50.39 None svcomp/pthread-wmm/mix051_rmo.oepc.yml false(unreach-call) 70.35 55.19 None svcomp/pthread-wmm/mix051_rmo.opt.yml false(unreach-call) 58.11 44.96 None svcomp/pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 102.29 77.62 None svcomp/pthread-wmm/mix051_tso.opt.yml false(unreach-call) 54.95 40.65 None svcomp/pthread-wmm/mix052_power.oepc.yml false(unreach-call) 26.45 14.85 None svcomp/pthread-wmm/mix052_power.opt.yml false(unreach-call) 26.54 14.67 None svcomp/pthread-wmm/mix052_pso.oepc.yml false(unreach-call) 27.50 15.22 None svcomp/pthread-wmm/mix052_pso.opt.yml false(unreach-call) 18.95 11.27 None svcomp/pthread-wmm/mix052_rmo.oepc.yml false(unreach-call) 26.04 14.90 None svcomp/pthread-wmm/mix052_rmo.opt.yml false(unreach-call) 24.20 13.60 None svcomp/pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 28.24 15.68 None svcomp/pthread-wmm/mix052_tso.opt.yml false(unreach-call) 17.46 10.22 None svcomp/pthread-wmm/mix053_power.oepc.yml false(unreach-call) 79.45 63.06 None svcomp/pthread-wmm/mix053_power.opt.yml false(unreach-call) 65.26 46.62 None svcomp/pthread-wmm/mix053_pso.oepc.yml false(unreach-call) 89.43 67.23 None svcomp/pthread-wmm/mix053_pso.opt.yml false(unreach-call) 56.10 42.27 None svcomp/pthread-wmm/mix053_rmo.oepc.yml false(unreach-call) 74.63 57.69 None svcomp/pthread-wmm/mix053_rmo.opt.yml false(unreach-call) 62.35 45.05 None svcomp/pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 91.28 68.48 None svcomp/pthread-wmm/mix053_tso.opt.yml false(unreach-call) 53.98 39.79 None svcomp/pthread-wmm/mix054_power.oepc.yml false(unreach-call) 17.64 10.05 None svcomp/pthread-wmm/mix054_power.opt.yml false(unreach-call) 17.63 10.59 None svcomp/pthread-wmm/mix054_pso.oepc.yml false(unreach-call) 17.16 10.12 None svcomp/pthread-wmm/mix054_pso.opt.yml false(unreach-call) 22.98 12.96 None svcomp/pthread-wmm/mix054_rmo.oepc.yml false(unreach-call) 17.85 10.45 None svcomp/pthread-wmm/mix054_rmo.opt.yml false(unreach-call) 18.43 10.51 None svcomp/pthread-wmm/mix054_tso.oepc.yml false(unreach-call) 24.14 13.59 None svcomp/pthread-wmm/mix054_tso.opt.yml false(unreach-call) 27.66 15.33 None svcomp/pthread-wmm/mix055_power.oepc.yml false(unreach-call) 87.38 67.08 None svcomp/pthread-wmm/mix055_power.opt.yml false(unreach-call) 104.36 83.57 None svcomp/pthread-wmm/mix055_pso.oepc.yml false(unreach-call) 72.71 57.42 None svcomp/pthread-wmm/mix055_pso.opt.yml false(unreach-call) 124.98 92.34 None svcomp/pthread-wmm/mix055_rmo.oepc.yml false(unreach-call) 78.35 62.83 None svcomp/pthread-wmm/mix055_rmo.opt.yml false(unreach-call) 123.70 89.67 None svcomp/pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 108.38 79.65 None svcomp/pthread-wmm/mix055_tso.opt.yml false(unreach-call) 89.11 67.76 None svcomp/pthread-wmm/mix056_power.oepc.yml false(unreach-call) 27.11 15.10 None svcomp/pthread-wmm/mix056_power.opt.yml false(unreach-call) 29.99 17.32 None svcomp/pthread-wmm/mix056_pso.oepc.yml false(unreach-call) 25.77 14.15 None svcomp/pthread-wmm/mix056_pso.opt.yml false(unreach-call) 27.14 16.03 None svcomp/pthread-wmm/mix056_rmo.oepc.yml false(unreach-call) 20.05 11.30 None svcomp/pthread-wmm/mix056_rmo.opt.yml false(unreach-call) 38.78 21.73 None svcomp/pthread-wmm/mix056_tso.oepc.yml false(unreach-call) 43.08 24.86 None svcomp/pthread-wmm/mix056_tso.opt.yml false(unreach-call) 26.04 15.17 None svcomp/pthread-wmm/mix057_power.oepc.yml false(unreach-call) 88.43 67.36 None svcomp/pthread-wmm/mix057_power.opt.yml false(unreach-call) 112.90 82.22 None svcomp/pthread-wmm/mix057_pso.oepc.yml false(unreach-call) 80.11 64.02 None svcomp/pthread-wmm/mix057_pso.opt.yml false(unreach-call) 100.76 79.26 None svcomp/pthread-wmm/mix057_rmo.oepc.yml false(unreach-call) 91.07 69.55 None svcomp/pthread-wmm/mix057_rmo.opt.yml false(unreach-call) 125.27 92.87 None svcomp/pthread-wmm/mix057_tso.oepc.yml false(unreach-call) 95.00 73.70 None svcomp/pthread-wmm/mix057_tso.opt.yml false(unreach-call) 103.72 79.67 None svcomp/pthread-wmm/podwr000_power.oepc.yml false(unreach-call) 17.43 10.17 None svcomp/pthread-wmm/podwr000_power.opt.yml false(unreach-call) 18.11 10.73 None svcomp/pthread-wmm/podwr000_pso.oepc.yml false(unreach-call) 18.51 10.54 None svcomp/pthread-wmm/podwr000_pso.opt.yml false(unreach-call) 17.11 9.98 None svcomp/pthread-wmm/podwr000_rmo.oepc.yml false(unreach-call) 17.42 10.16 None svcomp/pthread-wmm/podwr000_rmo.opt.yml false(unreach-call) 14.01 8.32 None svcomp/pthread-wmm/podwr000_tso.oepc.yml false(unreach-call) 17.53 10.19 None svcomp/pthread-wmm/podwr000_tso.opt.yml false(unreach-call) 18.96 11.05 None svcomp/pthread-wmm/podwr001_power.oepc.yml false(unreach-call) 25.81 14.31 None svcomp/pthread-wmm/podwr001_power.opt.yml false(unreach-call) 18.43 10.75 None svcomp/pthread-wmm/podwr001_pso.oepc.yml false(unreach-call) 19.34 10.72 None svcomp/pthread-wmm/podwr001_pso.opt.yml false(unreach-call) 27.51 15.17 None svcomp/pthread-wmm/podwr001_rmo.oepc.yml false(unreach-call) 24.69 13.91 None svcomp/pthread-wmm/podwr001_rmo.opt.yml false(unreach-call) 18.96 10.77 None svcomp/pthread-wmm/podwr001_tso.oepc.yml false(unreach-call) 20.75 12.12 None svcomp/pthread-wmm/podwr001_tso.opt.yml false(unreach-call) 27.44 14.86 None svcomp/pthread-wmm/rfi000_power.oepc.yml false(unreach-call) 25.73 14.58 None svcomp/pthread-wmm/rfi000_power.opt.yml false(unreach-call) 27.06 15.04 None svcomp/pthread-wmm/rfi000_pso.oepc.yml false(unreach-call) 17.49 10.54 None svcomp/pthread-wmm/rfi000_pso.opt.yml false(unreach-call) 24.41 13.63 None svcomp/pthread-wmm/rfi000_rmo.oepc.yml false(unreach-call) 19.47 11.61 None svcomp/pthread-wmm/rfi000_rmo.opt.yml false(unreach-call) 26.72 15.29 None svcomp/pthread-wmm/rfi000_tso.oepc.yml true 28.03 15.39 None svcomp/pthread-wmm/rfi000_tso.opt.yml true 22.96 13.39 None svcomp/pthread-wmm/rfi001_power.oepc.yml false(unreach-call) 18.06 10.54 None svcomp/pthread-wmm/rfi001_power.opt.yml false(unreach-call) 30.00 16.69 None svcomp/pthread-wmm/rfi001_pso.oepc.yml false(unreach-call) 13.54 8.34 None svcomp/pthread-wmm/rfi001_pso.opt.yml false(unreach-call) 24.68 13.88 None svcomp/pthread-wmm/rfi001_rmo.oepc.yml false(unreach-call) 18.03 10.28 None svcomp/pthread-wmm/rfi001_rmo.opt.yml false(unreach-call) 24.37 13.72 None svcomp/pthread-wmm/rfi001_tso.oepc.yml false(unreach-call) 19.78 11.41 None svcomp/pthread-wmm/rfi001_tso.opt.yml false(unreach-call) 21.34 12.37 None svcomp/pthread-wmm/rfi002_power.oepc.yml true 31.19 17.75 None svcomp/pthread-wmm/rfi002_power.opt.yml true 42.76 23.56 None svcomp/pthread-wmm/rfi002_pso.oepc.yml true 37.70 21.61 None svcomp/pthread-wmm/rfi002_pso.opt.yml true 28.20 16.54 None svcomp/pthread-wmm/rfi002_rmo.oepc.yml true 38.12 21.13 None svcomp/pthread-wmm/rfi002_rmo.opt.yml true 36.25 20.97 None svcomp/pthread-wmm/rfi002_tso.oepc.yml true 53.29 30.03 None svcomp/pthread-wmm/rfi002_tso.opt.yml true 43.17 24.20 None svcomp/pthread-wmm/rfi003_power.oepc.yml false(unreach-call) 16.56 9.62 None svcomp/pthread-wmm/rfi003_power.opt.yml false(unreach-call) 22.40 12.52 None svcomp/pthread-wmm/rfi003_pso.oepc.yml false(unreach-call) 21.27 12.32 None svcomp/pthread-wmm/rfi003_pso.opt.yml false(unreach-call) 16.90 9.94 None svcomp/pthread-wmm/rfi003_rmo.oepc.yml false(unreach-call) 20.48 11.84 None svcomp/pthread-wmm/rfi003_rmo.opt.yml false(unreach-call) 16.56 9.66 None svcomp/pthread-wmm/rfi003_tso.oepc.yml true 20.96 12.35 None svcomp/pthread-wmm/rfi003_tso.opt.yml true 27.03 15.58 None svcomp/pthread-wmm/rfi004_power.oepc.yml false(unreach-call) 12.61 7.60 None svcomp/pthread-wmm/rfi004_power.opt.yml false(unreach-call) 17.20 9.88 None svcomp/pthread-wmm/rfi004_pso.oepc.yml false(unreach-call) 17.34 9.89 None svcomp/pthread-wmm/rfi004_pso.opt.yml false(unreach-call) 17.29 9.92 None svcomp/pthread-wmm/rfi004_rmo.oepc.yml false(unreach-call) 13.41 7.86 None svcomp/pthread-wmm/rfi004_rmo.opt.yml false(unreach-call) 13.36 8.02 None svcomp/pthread-wmm/rfi004_tso.oepc.yml false(unreach-call) 16.89 10.04 None svcomp/pthread-wmm/rfi004_tso.opt.yml false(unreach-call) 16.75 10.03 None svcomp/pthread-wmm/rfi005_power.oepc.yml false(unreach-call) 14.75 8.53 None svcomp/pthread-wmm/rfi005_power.opt.yml false(unreach-call) 21.14 12.00 None svcomp/pthread-wmm/rfi005_pso.oepc.yml false(unreach-call) 15.32 8.74 None svcomp/pthread-wmm/rfi005_pso.opt.yml false(unreach-call) 20.66 11.59 None svcomp/pthread-wmm/rfi005_rmo.oepc.yml false(unreach-call) 15.21 8.91 None svcomp/pthread-wmm/rfi005_rmo.opt.yml false(unreach-call) 14.98 8.68 None svcomp/pthread-wmm/rfi005_tso.oepc.yml false(unreach-call) 19.97 11.37 None svcomp/pthread-wmm/rfi005_tso.opt.yml false(unreach-call) 20.15 11.45 None svcomp/pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 12.19 6.95 None svcomp/pthread-wmm/rfi006_power.opt.yml false(unreach-call) 31.23 18.13 None svcomp/pthread-wmm/rfi006_pso.oepc.yml false(unreach-call) 28.33 15.79 None svcomp/pthread-wmm/rfi006_pso.opt.yml false(unreach-call) 35.81 19.91 None svcomp/pthread-wmm/rfi006_rmo.oepc.yml false(unreach-call) 10.74 6.16 None svcomp/pthread-wmm/rfi006_rmo.opt.yml false(unreach-call) 10.38 5.89 None svcomp/pthread-wmm/rfi006_tso.oepc.yml false(unreach-call) 43.72 23.57 None svcomp/pthread-wmm/rfi006_tso.opt.yml false(unreach-call) 36.63 19.84 None svcomp/pthread-wmm/rfi007_power.oepc.yml false(unreach-call) 13.73 8.27 None svcomp/pthread-wmm/rfi007_power.opt.yml false(unreach-call) 13.35 8.37 None svcomp/pthread-wmm/rfi007_pso.oepc.yml false(unreach-call) 13.62 8.09 None svcomp/pthread-wmm/rfi007_pso.opt.yml false(unreach-call) 17.71 10.49 None svcomp/pthread-wmm/rfi007_rmo.oepc.yml false(unreach-call) 14.00 8.53 None svcomp/pthread-wmm/rfi007_rmo.opt.yml false(unreach-call) 13.07 8.12 None svcomp/pthread-wmm/rfi007_tso.oepc.yml false(unreach-call) 20.92 11.73 None svcomp/pthread-wmm/rfi007_tso.opt.yml false(unreach-call) 15.21 8.87 None svcomp/pthread-wmm/rfi008_power.oepc.yml false(unreach-call) 14.95 8.84 None svcomp/pthread-wmm/rfi008_power.opt.yml false(unreach-call) 15.35 8.93 None svcomp/pthread-wmm/rfi008_pso.oepc.yml false(unreach-call) 20.82 11.81 None svcomp/pthread-wmm/rfi008_pso.opt.yml false(unreach-call) 20.75 11.72 None svcomp/pthread-wmm/rfi008_rmo.oepc.yml false(unreach-call) 20.19 11.68 None svcomp/pthread-wmm/rfi008_rmo.opt.yml false(unreach-call) 15.35 8.95 None svcomp/pthread-wmm/rfi008_tso.oepc.yml false(unreach-call) 21.10 12.46 None svcomp/pthread-wmm/rfi008_tso.opt.yml false(unreach-call) 14.76 9.11 None svcomp/pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 12.77 7.30 None svcomp/pthread-wmm/rfi009_power.opt.yml false(unreach-call) 47.74 26.27 None svcomp/pthread-wmm/rfi009_pso.oepc.yml false(unreach-call) 33.94 18.67 None svcomp/pthread-wmm/rfi009_pso.opt.yml false(unreach-call) 28.09 15.77 None svcomp/pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 14.40 8.01 None svcomp/pthread-wmm/rfi009_rmo.opt.yml false(unreach-call) 27.67 15.31 None svcomp/pthread-wmm/rfi009_tso.oepc.yml false(unreach-call) 29.37 16.41 None svcomp/pthread-wmm/rfi009_tso.opt.yml false(unreach-call) 37.36 19.99 None svcomp/pthread-wmm/rfi010_power.oepc.yml false(unreach-call) 19.20 10.92 None svcomp/pthread-wmm/rfi010_power.opt.yml false(unreach-call) 14.39 8.37 None svcomp/pthread-wmm/rfi010_pso.oepc.yml false(unreach-call) 14.83 8.62 None svcomp/pthread-wmm/rfi010_pso.opt.yml false(unreach-call) 18.66 10.81 None svcomp/pthread-wmm/rfi010_rmo.oepc.yml false(unreach-call) 14.37 8.26 None svcomp/pthread-wmm/rfi010_rmo.opt.yml false(unreach-call) 19.88 11.37 None svcomp/pthread-wmm/rfi010_tso.oepc.yml false(unreach-call) 18.72 10.65 None svcomp/pthread-wmm/rfi010_tso.opt.yml false(unreach-call) 20.29 11.41 None svcomp/pthread-wmm/safe000_power.oepc.yml false(unreach-call) 13.60 7.49 None svcomp/pthread-wmm/safe000_power.opt.yml false(unreach-call) 77.55 61.71 None svcomp/pthread-wmm/safe000_pso.oepc.yml true 12.95 7.49 None svcomp/pthread-wmm/safe000_pso.opt.yml true 17.90 9.90 None svcomp/pthread-wmm/safe000_rmo.oepc.yml false(unreach-call) 16.37 9.07 None svcomp/pthread-wmm/safe000_rmo.opt.yml false(unreach-call) 12.31 6.99 None svcomp/pthread-wmm/safe000_tso.oepc.yml true 18.87 10.08 None svcomp/pthread-wmm/safe000_tso.opt.yml true 12.64 7.07 None svcomp/pthread-wmm/safe001_power.oepc.yml false(unreach-call) 17.45 9.50 None svcomp/pthread-wmm/safe001_power.opt.yml false(unreach-call) 37.86 21.39 None svcomp/pthread-wmm/safe001_pso.oepc.yml false(unreach-call) 28.38 16.86 None svcomp/pthread-wmm/safe001_pso.opt.yml false(unreach-call) 42.75 23.31 None svcomp/pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 11.54 6.78 None svcomp/pthread-wmm/safe001_rmo.opt.yml false(unreach-call) 38.79 21.83 None svcomp/pthread-wmm/safe001_tso.oepc.yml true 17.79 9.84 None svcomp/pthread-wmm/safe001_tso.opt.yml true 12.95 7.44 None svcomp/pthread-wmm/safe002_power.oepc.yml false(unreach-call) 17.51 9.76 None svcomp/pthread-wmm/safe002_power.opt.yml false(unreach-call) 31.83 19.16 None svcomp/pthread-wmm/safe002_pso.oepc.yml false(unreach-call) 30.69 18.83 None svcomp/pthread-wmm/safe002_pso.opt.yml false(unreach-call) 42.30 24.61 None svcomp/pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 16.87 9.51 None svcomp/pthread-wmm/safe002_rmo.opt.yml false(unreach-call) 40.91 23.94 None svcomp/pthread-wmm/safe002_tso.oepc.yml true 17.70 9.56 None svcomp/pthread-wmm/safe002_tso.opt.yml true 18.06 9.81 None svcomp/pthread-wmm/safe003_power.oepc.yml false(unreach-call) 29.25 16.72 None svcomp/pthread-wmm/safe003_power.opt.yml false(unreach-call) 76.09 60.23 None svcomp/pthread-wmm/safe003_pso.oepc.yml false(unreach-call) 41.57 22.02 None svcomp/pthread-wmm/safe003_pso.opt.yml false(unreach-call) 35.10 19.00 None svcomp/pthread-wmm/safe003_rmo.oepc.yml false(unreach-call) 45.89 24.82 None svcomp/pthread-wmm/safe003_rmo.opt.yml false(unreach-call) 37.09 21.72 None svcomp/pthread-wmm/safe003_tso.oepc.yml true 19.45 11.20 None svcomp/pthread-wmm/safe003_tso.opt.yml true 14.50 8.26 None svcomp/pthread-wmm/safe004_power.oepc.yml false(unreach-call) 46.21 24.63 None svcomp/pthread-wmm/safe004_power.opt.yml false(unreach-call) 40.43 24.62 None svcomp/pthread-wmm/safe004_pso.oepc.yml false(unreach-call) 48.39 27.26 None svcomp/pthread-wmm/safe004_pso.opt.yml false(unreach-call) 46.95 26.26 None svcomp/pthread-wmm/safe004_rmo.oepc.yml false(unreach-call) 33.50 18.45 None svcomp/pthread-wmm/safe004_rmo.opt.yml false(unreach-call) 39.22 22.55 None svcomp/pthread-wmm/safe004_tso.oepc.yml true 18.22 10.11 None svcomp/pthread-wmm/safe004_tso.opt.yml true 11.32 6.41 None svcomp/pthread-wmm/safe005_power.oepc.yml false(unreach-call) 26.80 15.44 None svcomp/pthread-wmm/safe005_power.opt.yml false(unreach-call) 41.92 25.73 None svcomp/pthread-wmm/safe005_pso.oepc.yml false(unreach-call) 46.20 28.19 None svcomp/pthread-wmm/safe005_pso.opt.yml false(unreach-call) 54.28 33.61 None svcomp/pthread-wmm/safe005_rmo.oepc.yml false(unreach-call) 34.01 21.06 None svcomp/pthread-wmm/safe005_rmo.opt.yml false(unreach-call) 52.59 30.52 None svcomp/pthread-wmm/safe005_tso.oepc.yml true 13.85 8.19 None svcomp/pthread-wmm/safe005_tso.opt.yml true 14.69 8.71 None svcomp/pthread-wmm/safe006_power.oepc.yml false(unreach-call) 10.81 6.30 None svcomp/pthread-wmm/safe006_power.opt.yml false(unreach-call) 44.04 34.65 None svcomp/pthread-wmm/safe006_pso.oepc.yml true 7.89 4.74 None svcomp/pthread-wmm/safe006_pso.opt.yml true 8.15 5.31 None svcomp/pthread-wmm/safe006_rmo.oepc.yml false(unreach-call) 13.46 7.57 None svcomp/pthread-wmm/safe006_rmo.opt.yml false(unreach-call) 9.61 5.85 None svcomp/pthread-wmm/safe006_tso.oepc.yml true 10.37 6.42 None svcomp/pthread-wmm/safe006_tso.opt.yml true 7.76 4.70 None svcomp/pthread-wmm/safe007_power.oepc.yml false(unreach-call) 14.80 8.31 None svcomp/pthread-wmm/safe007_power.opt.yml false(unreach-call) 64.96 48.78 None svcomp/pthread-wmm/safe007_pso.oepc.yml true 16.22 9.13 None svcomp/pthread-wmm/safe007_pso.opt.yml true 16.74 9.46 None svcomp/pthread-wmm/safe007_rmo.oepc.yml false(unreach-call) 10.24 6.05 None svcomp/pthread-wmm/safe007_rmo.opt.yml false(unreach-call) 13.42 7.71 None svcomp/pthread-wmm/safe007_tso.oepc.yml true 12.35 7.35 None svcomp/pthread-wmm/safe007_tso.opt.yml true 17.68 9.64 None svcomp/pthread-wmm/safe008_power.oepc.yml false(unreach-call) 26.51 14.80 None svcomp/pthread-wmm/safe008_power.opt.yml false(unreach-call) 75.10 55.39 None svcomp/pthread-wmm/safe008_pso.oepc.yml false(unreach-call) 26.43 14.59 None svcomp/pthread-wmm/safe008_pso.opt.yml false(unreach-call) 20.71 11.80 None svcomp/pthread-wmm/safe008_rmo.oepc.yml false(unreach-call) 26.92 14.89 None svcomp/pthread-wmm/safe008_rmo.opt.yml false(unreach-call) 18.29 10.54 None svcomp/pthread-wmm/safe008_tso.oepc.yml true 14.22 8.08 None svcomp/pthread-wmm/safe008_tso.opt.yml true 14.30 7.96 None svcomp/pthread-wmm/safe009_power.oepc.yml false(unreach-call) 12.19 7.14 None svcomp/pthread-wmm/safe009_power.opt.yml false(unreach-call) 84.19 62.40 None svcomp/pthread-wmm/safe009_pso.oepc.yml true 14.93 8.81 None svcomp/pthread-wmm/safe009_pso.opt.yml true 15.06 8.47 None svcomp/pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 11.03 6.43 None svcomp/pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 35.06 26.72 None svcomp/pthread-wmm/safe009_tso.oepc.yml true 13.17 7.58 None svcomp/pthread-wmm/safe009_tso.opt.yml true 18.27 10.08 None svcomp/pthread-wmm/safe010_power.oepc.yml false(unreach-call) 16.44 9.79 None svcomp/pthread-wmm/safe010_power.opt.yml false(unreach-call) 12.83 7.64 None svcomp/pthread-wmm/safe010_pso.oepc.yml false(unreach-call) 13.92 8.65 None svcomp/pthread-wmm/safe010_pso.opt.yml false(unreach-call) 16.89 9.79 None svcomp/pthread-wmm/safe010_rmo.oepc.yml false(unreach-call) 15.91 13.27 None svcomp/pthread-wmm/safe010_rmo.opt.yml false(unreach-call) 12.51 8.01 None svcomp/pthread-wmm/safe010_tso.oepc.yml true 8.35 5.17 None svcomp/pthread-wmm/safe010_tso.opt.yml true 7.66 4.83 None svcomp/pthread-wmm/safe011_power.oepc.yml false(unreach-call) 27.21 15.16 None svcomp/pthread-wmm/safe011_power.opt.yml false(unreach-call) 21.83 12.43 None svcomp/pthread-wmm/safe011_pso.oepc.yml false(unreach-call) 18.67 10.59 None svcomp/pthread-wmm/safe011_pso.opt.yml false(unreach-call) 27.98 15.60 None svcomp/pthread-wmm/safe011_rmo.oepc.yml false(unreach-call) 20.54 11.76 None svcomp/pthread-wmm/safe011_rmo.opt.yml false(unreach-call) 27.12 14.67 None svcomp/pthread-wmm/safe011_tso.oepc.yml true 9.38 5.39 None svcomp/pthread-wmm/safe011_tso.opt.yml true 10.45 7.16 None svcomp/pthread-wmm/safe012_power.oepc.yml false(unreach-call) 11.71 6.79 None svcomp/pthread-wmm/safe012_power.opt.yml false(unreach-call) 50.10 33.84 None svcomp/pthread-wmm/safe012_pso.oepc.yml false(unreach-call) 26.75 14.95 None svcomp/pthread-wmm/safe012_pso.opt.yml false(unreach-call) 35.72 20.67 None svcomp/pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 12.96 7.36 None svcomp/pthread-wmm/safe012_rmo.opt.yml false(unreach-call) 29.20 16.60 None svcomp/pthread-wmm/safe012_tso.oepc.yml true 11.60 6.65 None svcomp/pthread-wmm/safe012_tso.opt.yml true 16.17 8.99 None svcomp/pthread-wmm/safe013_power.oepc.yml false(unreach-call) 20.81 11.52 None svcomp/pthread-wmm/safe013_power.opt.yml false(unreach-call) 29.44 16.22 None svcomp/pthread-wmm/safe013_pso.oepc.yml false(unreach-call) 20.29 11.34 None svcomp/pthread-wmm/safe013_pso.opt.yml false(unreach-call) 29.04 16.10 None svcomp/pthread-wmm/safe013_rmo.oepc.yml false(unreach-call) 22.74 12.72 None svcomp/pthread-wmm/safe013_rmo.opt.yml false(unreach-call) 29.79 16.38 None svcomp/pthread-wmm/safe013_tso.oepc.yml true 10.80 6.58 None svcomp/pthread-wmm/safe013_tso.opt.yml true 10.22 5.58 None svcomp/pthread-wmm/safe014_power.oepc.yml false(unreach-call) 11.01 6.13 None svcomp/pthread-wmm/safe014_power.opt.yml false(unreach-call) 29.32 17.52 None svcomp/pthread-wmm/safe014_pso.oepc.yml true 16.69 9.30 None svcomp/pthread-wmm/safe014_pso.opt.yml true 13.49 7.41 None svcomp/pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 9.97 5.77 None svcomp/pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 78.41 54.06 None svcomp/pthread-wmm/safe014_tso.oepc.yml true 12.65 6.99 None svcomp/pthread-wmm/safe014_tso.opt.yml true 17.29 9.35 None svcomp/pthread-wmm/safe015_power.oepc.yml false(unreach-call) 47.59 31.04 None svcomp/pthread-wmm/safe015_power.opt.yml false(unreach-call) 39.93 26.85 None svcomp/pthread-wmm/safe015_pso.oepc.yml true 16.46 9.25 None svcomp/pthread-wmm/safe015_pso.opt.yml true 12.53 7.27 None svcomp/pthread-wmm/safe015_rmo.oepc.yml false(unreach-call) 40.21 24.42 None svcomp/pthread-wmm/safe015_rmo.opt.yml false(unreach-call) 42.10 26.14 None svcomp/pthread-wmm/safe015_tso.oepc.yml true 15.96 9.20 None svcomp/pthread-wmm/safe015_tso.opt.yml true 11.76 6.69 None svcomp/pthread-wmm/safe016_power.oepc.yml false(unreach-call) 12.79 7.58 None svcomp/pthread-wmm/safe016_power.opt.yml false(unreach-call) 187.54 154.43 None svcomp/pthread-wmm/safe016_pso.oepc.yml true 35.84 24.12 None svcomp/pthread-wmm/safe016_pso.opt.yml true 36.51 24.13 None svcomp/pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 11.69 6.58 None svcomp/pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 158.07 125.95 None svcomp/pthread-wmm/safe016_tso.oepc.yml true 43.78 28.37 None svcomp/pthread-wmm/safe016_tso.opt.yml true 37.29 25.30 None svcomp/pthread-wmm/safe017_power.oepc.yml false(unreach-call) 25.89 14.69 None svcomp/pthread-wmm/safe017_power.opt.yml false(unreach-call) 20.57 11.71 None svcomp/pthread-wmm/safe017_pso.oepc.yml false(unreach-call) 19.05 11.01 None svcomp/pthread-wmm/safe017_pso.opt.yml false(unreach-call) 20.52 11.23 None svcomp/pthread-wmm/safe017_rmo.oepc.yml false(unreach-call) 19.02 11.00 None svcomp/pthread-wmm/safe017_rmo.opt.yml false(unreach-call) 18.09 10.38 None svcomp/pthread-wmm/safe017_tso.oepc.yml true 13.08 7.64 None svcomp/pthread-wmm/safe017_tso.opt.yml true 12.71 7.27 None svcomp/pthread-wmm/safe018_power.oepc.yml false(unreach-call) 15.08 8.29 None svcomp/pthread-wmm/safe018_power.opt.yml false(unreach-call) 81.04 54.05 None svcomp/pthread-wmm/safe018_pso.oepc.yml true 11.59 6.55 None svcomp/pthread-wmm/safe018_pso.opt.yml true 10.55 6.12 None svcomp/pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 9.45 5.35 None svcomp/pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 36.17 23.11 None svcomp/pthread-wmm/safe018_tso.oepc.yml true 15.49 8.48 None svcomp/pthread-wmm/safe018_tso.opt.yml true 10.71 6.39 None svcomp/pthread-wmm/safe019_power.oepc.yml false(unreach-call) 12.80 7.22 None svcomp/pthread-wmm/safe019_power.opt.yml false(unreach-call) 426.40 367.41 None svcomp/pthread-wmm/safe019_pso.oepc.yml true 31.58 20.75 None svcomp/pthread-wmm/safe019_pso.opt.yml true 39.32 25.24 None svcomp/pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 11.24 6.73 None svcomp/pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 168.27 141.47 None svcomp/pthread-wmm/safe019_tso.oepc.yml true 31.44 20.91 None svcomp/pthread-wmm/safe019_tso.opt.yml true 43.01 26.43 None svcomp/pthread-wmm/safe020_power.oepc.yml false(unreach-call) 70.48 45.15 None svcomp/pthread-wmm/safe020_power.opt.yml false(unreach-call) 50.50 34.91 None svcomp/pthread-wmm/safe020_pso.oepc.yml true 14.01 7.87 None svcomp/pthread-wmm/safe020_pso.opt.yml true 13.21 7.57 None svcomp/pthread-wmm/safe020_rmo.oepc.yml false(unreach-call) 35.31 21.22 None svcomp/pthread-wmm/safe020_rmo.opt.yml false(unreach-call) 33.38 20.17 None svcomp/pthread-wmm/safe020_tso.oepc.yml true 10.10 6.07 None svcomp/pthread-wmm/safe020_tso.opt.yml true 13.80 7.60 None svcomp/pthread-wmm/safe021_power.oepc.yml false(unreach-call) 20.50 11.89 None svcomp/pthread-wmm/safe021_power.opt.yml false(unreach-call) 27.95 15.60 None svcomp/pthread-wmm/safe021_pso.oepc.yml false(unreach-call) 27.09 15.53 None svcomp/pthread-wmm/safe021_pso.opt.yml false(unreach-call) 28.32 15.59 None svcomp/pthread-wmm/safe021_rmo.oepc.yml false(unreach-call) 25.48 14.30 None svcomp/pthread-wmm/safe021_rmo.opt.yml false(unreach-call) 20.58 12.01 None svcomp/pthread-wmm/safe021_tso.oepc.yml true 14.24 7.97 None svcomp/pthread-wmm/safe021_tso.opt.yml true 13.61 7.86 None svcomp/pthread-wmm/safe022_power.oepc.yml false(unreach-call) 17.61 10.02 None svcomp/pthread-wmm/safe022_power.opt.yml false(unreach-call) 17.92 10.36 None svcomp/pthread-wmm/safe022_pso.oepc.yml false(unreach-call) 13.06 8.23 None svcomp/pthread-wmm/safe022_pso.opt.yml false(unreach-call) 17.36 10.11 None svcomp/pthread-wmm/safe022_rmo.oepc.yml false(unreach-call) 18.07 10.09 None svcomp/pthread-wmm/safe022_rmo.opt.yml false(unreach-call) 17.18 9.87 None svcomp/pthread-wmm/safe022_tso.oepc.yml true 8.29 5.31 None svcomp/pthread-wmm/safe022_tso.opt.yml true 10.84 6.08 None svcomp/pthread-wmm/safe023_power.oepc.yml false(unreach-call) 56.40 32.27 None svcomp/pthread-wmm/safe023_power.opt.yml false(unreach-call) 41.51 23.22 None svcomp/pthread-wmm/safe023_pso.oepc.yml false(unreach-call) 56.48 30.19 None svcomp/pthread-wmm/safe023_pso.opt.yml false(unreach-call) 55.24 29.39 None svcomp/pthread-wmm/safe023_rmo.oepc.yml false(unreach-call) 61.86 34.60 None svcomp/pthread-wmm/safe023_rmo.opt.yml false(unreach-call) 50.59 29.85 None svcomp/pthread-wmm/safe023_tso.oepc.yml true 16.94 9.36 None svcomp/pthread-wmm/safe023_tso.opt.yml true 13.99 7.98 None svcomp/pthread-wmm/safe024_power.oepc.yml false(unreach-call) 29.47 16.00 None svcomp/pthread-wmm/safe024_power.opt.yml false(unreach-call) 28.41 15.57 None svcomp/pthread-wmm/safe024_pso.oepc.yml false(unreach-call) 28.80 15.82 None svcomp/pthread-wmm/safe024_pso.opt.yml false(unreach-call) 21.20 12.26 None svcomp/pthread-wmm/safe024_rmo.oepc.yml false(unreach-call) 30.99 17.10 None svcomp/pthread-wmm/safe024_rmo.opt.yml false(unreach-call) 30.80 16.91 None svcomp/pthread-wmm/safe024_tso.oepc.yml true 10.44 6.11 None svcomp/pthread-wmm/safe024_tso.opt.yml true 10.89 5.98 None svcomp/pthread-wmm/safe025_power.oepc.yml false(unreach-call) 54.63 33.54 None svcomp/pthread-wmm/safe025_power.opt.yml false(unreach-call) 65.56 40.74 None svcomp/pthread-wmm/safe025_pso.oepc.yml true 16.78 9.26 None svcomp/pthread-wmm/safe025_pso.opt.yml true 12.65 7.31 None svcomp/pthread-wmm/safe025_rmo.oepc.yml false(unreach-call) 28.34 18.85 None svcomp/pthread-wmm/safe025_rmo.opt.yml false(unreach-call) 45.35 28.64 None svcomp/pthread-wmm/safe025_tso.oepc.yml true 12.69 6.92 None svcomp/pthread-wmm/safe025_tso.opt.yml true 16.26 8.69 None svcomp/pthread-wmm/safe026_power.oepc.yml false(unreach-call) 19.14 10.95 None svcomp/pthread-wmm/safe026_power.opt.yml false(unreach-call) 25.36 14.07 None svcomp/pthread-wmm/safe026_pso.oepc.yml false(unreach-call) 19.43 11.41 None svcomp/pthread-wmm/safe026_pso.opt.yml false(unreach-call) 19.79 11.17 None svcomp/pthread-wmm/safe026_rmo.oepc.yml false(unreach-call) 25.72 14.22 None svcomp/pthread-wmm/safe026_rmo.opt.yml false(unreach-call) 26.21 14.61 None svcomp/pthread-wmm/safe026_tso.oepc.yml true 10.75 6.11 None svcomp/pthread-wmm/safe026_tso.opt.yml true 14.33 8.21 None svcomp/pthread-wmm/safe027_power.oepc.yml false(unreach-call) 12.95 7.27 None svcomp/pthread-wmm/safe027_power.opt.yml false(unreach-call) 447.60 381.62 None svcomp/pthread-wmm/safe027_pso.oepc.yml true 25.99 16.59 None svcomp/pthread-wmm/safe027_pso.opt.yml true 33.15 20.11 None svcomp/pthread-wmm/safe027_rmo.oepc.yml false(unreach-call) 15.20 8.30 None svcomp/pthread-wmm/safe027_rmo.opt.yml false(unreach-call) 11.62 6.82 None svcomp/pthread-wmm/safe027_tso.oepc.yml true 35.87 20.97 None svcomp/pthread-wmm/safe027_tso.opt.yml true 26.90 16.76 None svcomp/pthread-wmm/safe028_power.oepc.yml false(unreach-call) 62.73 40.59 None svcomp/pthread-wmm/safe028_power.opt.yml false(unreach-call) 52.45 36.57 None svcomp/pthread-wmm/safe028_pso.oepc.yml true 13.82 7.83 None svcomp/pthread-wmm/safe028_pso.opt.yml true 13.90 8.00 None svcomp/pthread-wmm/safe028_rmo.oepc.yml false(unreach-call) 29.74 19.70 None svcomp/pthread-wmm/safe028_rmo.opt.yml false(unreach-call) 28.74 17.58 None svcomp/pthread-wmm/safe028_tso.oepc.yml true 13.05 7.66 None svcomp/pthread-wmm/safe028_tso.opt.yml true 13.37 8.02 None svcomp/pthread-wmm/safe029_power.oepc.yml false(unreach-call) 13.35 8.94 None svcomp/pthread-wmm/safe029_power.opt.yml false(unreach-call) 27.01 15.14 None svcomp/pthread-wmm/safe029_pso.oepc.yml false(unreach-call) 13.07 7.86 None svcomp/pthread-wmm/safe029_pso.opt.yml false(unreach-call) 24.38 14.17 None svcomp/pthread-wmm/safe029_rmo.oepc.yml false(unreach-call) 17.14 9.81 None svcomp/pthread-wmm/safe029_rmo.opt.yml false(unreach-call) 18.57 11.02 None svcomp/pthread-wmm/safe029_tso.oepc.yml true 7.74 5.06 None svcomp/pthread-wmm/safe029_tso.opt.yml true 9.33 5.73 None svcomp/pthread-wmm/safe030_power.oepc.yml false(unreach-call) 25.92 14.14 None svcomp/pthread-wmm/safe030_power.opt.yml false(unreach-call) 28.13 16.17 None svcomp/pthread-wmm/safe030_pso.oepc.yml false(unreach-call) 26.54 14.38 None svcomp/pthread-wmm/safe030_pso.opt.yml false(unreach-call) 34.55 19.39 None svcomp/pthread-wmm/safe030_rmo.oepc.yml false(unreach-call) 20.80 11.93 None svcomp/pthread-wmm/safe030_rmo.opt.yml false(unreach-call) 38.36 21.25 None svcomp/pthread-wmm/safe030_tso.oepc.yml true 11.06 6.45 None svcomp/pthread-wmm/safe030_tso.opt.yml true 8.11 4.95 None svcomp/pthread-wmm/safe031_power.oepc.yml false(unreach-call) 21.89 12.43 None svcomp/pthread-wmm/safe031_power.opt.yml false(unreach-call) 27.06 16.03 None svcomp/pthread-wmm/safe031_pso.oepc.yml false(unreach-call) 29.47 16.43 None svcomp/pthread-wmm/safe031_pso.opt.yml false(unreach-call) 35.26 19.87 None svcomp/pthread-wmm/safe031_rmo.oepc.yml false(unreach-call) 20.87 11.99 None svcomp/pthread-wmm/safe031_rmo.opt.yml false(unreach-call) 35.42 19.41 None svcomp/pthread-wmm/safe031_tso.oepc.yml true 9.33 5.40 None svcomp/pthread-wmm/safe031_tso.opt.yml true 12.07 7.06 None svcomp/pthread-wmm/safe032_power.oepc.yml false(unreach-call) 58.94 35.22 None svcomp/pthread-wmm/safe032_power.opt.yml false(unreach-call) 57.93 36.55 None svcomp/pthread-wmm/safe032_pso.oepc.yml false(unreach-call) 72.29 42.81 None svcomp/pthread-wmm/safe032_pso.opt.yml false(unreach-call) 74.35 45.41 None svcomp/pthread-wmm/safe032_rmo.oepc.yml false(unreach-call) 80.50 51.04 None svcomp/pthread-wmm/safe032_rmo.opt.yml false(unreach-call) 51.49 32.04 None svcomp/pthread-wmm/safe032_tso.oepc.yml true 10.46 5.78 None svcomp/pthread-wmm/safe032_tso.opt.yml true 10.89 6.41 None svcomp/pthread-wmm/safe033_power.oepc.yml false(unreach-call) 11.88 7.05 None svcomp/pthread-wmm/safe033_power.opt.yml false(unreach-call) 12.76 7.94 None svcomp/pthread-wmm/safe033_pso.oepc.yml false(unreach-call) 15.99 9.38 None svcomp/pthread-wmm/safe033_pso.opt.yml false(unreach-call) 17.16 10.01 None svcomp/pthread-wmm/safe033_rmo.oepc.yml false(unreach-call) 11.81 7.58 None svcomp/pthread-wmm/safe033_rmo.opt.yml false(unreach-call) 12.89 8.25 None svcomp/pthread-wmm/safe033_tso.oepc.yml true 10.02 5.72 None svcomp/pthread-wmm/safe033_tso.opt.yml true 8.00 4.89 None svcomp/pthread-wmm/safe034_power.oepc.yml false(unreach-call) 24.57 13.67 None svcomp/pthread-wmm/safe034_power.opt.yml false(unreach-call) 24.59 13.39 None svcomp/pthread-wmm/safe034_pso.oepc.yml false(unreach-call) 18.29 10.49 None svcomp/pthread-wmm/safe034_pso.opt.yml false(unreach-call) 17.99 10.56 None svcomp/pthread-wmm/safe034_rmo.oepc.yml false(unreach-call) 24.35 13.62 None svcomp/pthread-wmm/safe034_rmo.opt.yml false(unreach-call) 19.01 11.11 None svcomp/pthread-wmm/safe034_tso.oepc.yml true 10.63 6.26 None svcomp/pthread-wmm/safe034_tso.opt.yml true 14.34 7.89 None svcomp/pthread-wmm/safe035_power.oepc.yml true 107.68 72.17 None svcomp/pthread-wmm/safe035_power.opt.yml true 108.72 82.31 None svcomp/pthread-wmm/safe035_pso.oepc.yml true 17.24 9.48 None svcomp/pthread-wmm/safe035_pso.opt.yml true 13.42 7.61 None svcomp/pthread-wmm/safe035_rmo.oepc.yml true 13.20 7.29 None svcomp/pthread-wmm/safe035_rmo.opt.yml true 18.30 10.16 None svcomp/pthread-wmm/safe035_tso.oepc.yml true 15.12 8.67 None svcomp/pthread-wmm/safe035_tso.opt.yml true 13.39 7.57 None svcomp/pthread-wmm/safe036_power.oepc.yml true 10.69 6.33 None svcomp/pthread-wmm/safe036_power.opt.yml true 10.35 6.03 None svcomp/pthread-wmm/safe036_pso.oepc.yml true 10.49 6.24 None svcomp/pthread-wmm/safe036_pso.opt.yml true 8.27 5.06 None svcomp/pthread-wmm/safe036_rmo.oepc.yml true 8.06 4.74 None svcomp/pthread-wmm/safe036_rmo.opt.yml true 10.43 6.34 None svcomp/pthread-wmm/safe036_tso.oepc.yml true 7.67 4.64 None svcomp/pthread-wmm/safe036_tso.opt.yml true 7.70 4.63 None svcomp/pthread-wmm/safe037_power.oepc.yml true 13.95 7.77 None svcomp/pthread-wmm/safe037_power.opt.yml true 10.13 5.94 None svcomp/pthread-wmm/safe037_pso.oepc.yml true 10.21 6.07 None svcomp/pthread-wmm/safe037_pso.opt.yml true 13.50 7.78 None svcomp/pthread-wmm/safe037_rmo.oepc.yml true 13.63 7.78 None svcomp/pthread-wmm/safe037_rmo.opt.yml true 10.84 6.07 None svcomp/pthread-wmm/safe037_tso.oepc.yml true 10.39 6.57 None svcomp/pthread-wmm/safe037_tso.opt.yml true 13.73 7.65 None svcomp/pthread-wmm/thin000_power.oepc.yml false(unreach-call) 10.16 6.15 None svcomp/pthread-wmm/thin000_power.opt.yml false(unreach-call) 49.86 37.32 None svcomp/pthread-wmm/thin000_pso.oepc.yml true 7.51 4.50 None svcomp/pthread-wmm/thin000_pso.opt.yml true 9.67 5.86 None svcomp/pthread-wmm/thin000_rmo.oepc.yml false(unreach-call) 9.16 5.37 None svcomp/pthread-wmm/thin000_rmo.opt.yml false(unreach-call) 9.09 5.41 None svcomp/pthread-wmm/thin000_tso.oepc.yml true 10.26 6.11 None svcomp/pthread-wmm/thin000_tso.opt.yml true 7.86 4.65 None svcomp/pthread-wmm/thin001_power.oepc.yml false(unreach-call) 10.71 6.11 None svcomp/pthread-wmm/thin001_power.opt.yml false(unreach-call) 55.92 40.24 None svcomp/pthread-wmm/thin001_pso.oepc.yml true 17.06 9.42 None svcomp/pthread-wmm/thin001_pso.opt.yml true 12.08 6.69 None svcomp/pthread-wmm/thin001_rmo.oepc.yml false(unreach-call) 9.61 5.96 None svcomp/pthread-wmm/thin001_rmo.opt.yml false(unreach-call) 12.41 6.80 None svcomp/pthread-wmm/thin001_tso.oepc.yml true 16.58 9.30 None svcomp/pthread-wmm/thin001_tso.opt.yml true 12.62 6.97 None svcomp/pthread-wmm/thin002_power.oepc.yml false(unreach-call) 15.00 8.55 None svcomp/pthread-wmm/thin002_power.opt.yml false(unreach-call) 122.30 94.34 None svcomp/pthread-wmm/thin002_pso.oepc.yml true 47.64 34.31 None svcomp/pthread-wmm/thin002_pso.opt.yml true 58.35 39.71 None svcomp/pthread-wmm/thin002_rmo.oepc.yml false(unreach-call) 10.02 5.96 None svcomp/pthread-wmm/thin002_rmo.opt.yml false(unreach-call) 13.30 7.99 None svcomp/pthread-wmm/thin002_tso.oepc.yml true 45.88 33.58 None svcomp/pthread-wmm/thin002_tso.opt.yml true 55.96 39.50 None svcomp/pthread-lit/qw2004-1.yml true 8.13 4.74 None svcomp/pthread-lit/qw2004-2.yml false(unreach-call) 7.87 4.69 None svcomp/ldv-races/race-1_1-join.yml true 9.31 5.85 None svcomp/ldv-races/race-1_2-join.yml false(unreach-call) 8.50 5.51 None svcomp/ldv-races/race-1_3-join.yml false(unreach-call) 8.35 4.85 None svcomp/ldv-races/race-2_1-container_of.yml true 144.95 127.77 None svcomp/ldv-races/race-2_2-container_of.yml false(unreach-call) 46.22 35.21 None svcomp/ldv-races/race-2_3-container_of.yml false(unreach-call) 28.37 16.90 None svcomp/ldv-races/race-2_4-container_of.yml false(unreach-call) 17.37 12.12 None svcomp/ldv-races/race-2_5-container_of.yml false(unreach-call) 18.25 10.44 None svcomp/ldv-races/race-3_1-container_of-global.yml true 124.88 110.25 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 37.32 26.86 None svcomp/ldv-races/race-4_1-thread_local_vars.yml true 50.76 33.05 None svcomp/ldv-races/race-4_2-thread_local_vars.yml TIMEOUT 906.22 865.36 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 48.95 28.48 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 46.55 28.06 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml TIMEOUT 916.31 716.09 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 906.43 800.87 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT 913.22 627.67 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 901.91 852.97 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml TIMEOUT 902.25 857.47 None svcomp/pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 899.62 883.66 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 9.45 5.39 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 11.14 5.98 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 9.06 5.18 None svcomp/pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 9.08 5.00 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 10.49 5.62 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 9.75 5.41 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 9.25 5.17 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 11.08 6.29 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 9.12 5.58 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 10.20 5.92 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 9.77 5.94 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 9.60 5.77 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 10.95 6.41 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 10.20 6.02 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 11.04 6.46 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 10.11 5.62 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 10.00 5.66 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 9.64 5.86 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 12.71 7.16 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 9.79 5.48 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 9.55 5.53 None svcomp/pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 913.38 666.96 None svcomp/pthread-C-DAC/pthread-demo-datarace-2.yml TIMEOUT 902.26 717.43 None svcomp/pthread-divine/condvar.yml true 11.19 7.70 None svcomp/pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 8.90 5.81 None svcomp/pthread-divine/divinefifo-bug_1w1r.yml ERROR: EXCEPTION 464.02 404.35 None svcomp/pthread-divine/divinefifo_1w1r.yml TIMEOUT 900.86 835.81 None svcomp/pthread-divine/ring_1w1r-1.yml TIMEOUT 901.28 874.22 None svcomp/pthread-divine/ring_1w1r-2.yml TIMEOUT 902.15 891.32 None svcomp/pthread-divine/ring_2w1r-1.yml TIMEOUT 905.83 864.78 None svcomp/pthread-divine/ring_2w1r-2.yml TIMEOUT 905.90 865.11 None svcomp/pthread-divine/tls_basic.yml unknown 6.17 3.63 None svcomp/pthread-divine/tls_destructor_worker.yml unknown 5.66 3.04 None svcomp/goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 13.06 7.54 None svcomp/goblint-regression/28-race_reach_46-escape_racefree.yml true 13.55 7.89 None concurrent/pthreads/NonAtomicIncrement_2Threads.c true 145.63 108.14 None concurrent/pthreads/distributed_search2.c true 48.96 33.04 None concurrent/pthreads/distributed_search3.c TIMEOUT 901.09 822.56 None concurrent/pthreads/distributed_search4.c ERROR: EXCEPTION 657.50 571.35 None concurrent/pthreads/forkFork.c true 18.60 15.87 None concurrent/pthreads/forkJoinNotMod.c false(unreach-call) 6.49 4.71 None concurrent/pthreads/forkMultipleTimes.c false(unreach-call) 20.37 15.40 None concurrent/pthreads/globalVariableMultipleThreads.c false(unreach-call) 109.75 95.62 None concurrent/pthreads/multipleForkSameIdDifferentReturnType.c false(unreach-call) 14.05 9.88 None concurrent/pthreads/predecessorInAtomicBlockBug.c false(unreach-call) 7.42 4.71 None concurrent/pthreads/regression/ForkedModifiesGlobal.c true 6.28 4.28 None concurrent/pthreads/regression/SimpleFunctionPointer.c true 6.07 3.99 None concurrent/pthreads/regression/ThreadIdTest1.c false(unreach-call) 7.60 4.43 None concurrent/pthreads/regression/ThreadIdTest2.c true 9.99 6.03 None concurrent/pthreads/regression/ex1.c true 6.62 4.16 None concurrent/pthreads/regression/forkForkSimple.c true 7.52 4.83 None concurrent/pthreads/regression/forkJoinInLoop.c false(unreach-call) 9.42 5.86 None concurrent/pthreads/regression/forkMultipleParameter.c true 10.20 6.03 None concurrent/pthreads/regression/joinMultipleReturnValues.c true 11.63 6.75 None concurrent/pthreads/regression/join_correct.c true 11.49 9.96 None concurrent/pthreads/regression/mainThreadTerminates.c false(unreach-call) 9.45 6.58 None concurrent/pthreads/regression/pthreadExitNull-safe.c true 5.09 3.26 None concurrent/pthreads/regression/pthreadExitSafe.c true 7.73 5.83 None concurrent/pthreads/regression/pthreadExitUnsafe.c false(unreach-call) 5.53 3.52 None concurrent/pthreads/regression/pthreadJoinCorrectThreadId.c true 10.65 6.37 None concurrent/pthreads/regression/pthreadMutex01-safe.c ERROR: EXCEPTION 5.37 4.69 None concurrent/pthreads/regression/pthreadMutex02-unsafe.c false(unreach-call) 5.52 3.49 None concurrent/pthreads/regression/pthreadReturn.c true 5.83 4.87 None concurrent/pthreads/regression/simpleReturn.c true 9.13 7.15 None concurrent/pthreads/regression/atomic/01-begin-end.c true 5.80 3.95 None concurrent/pthreads/regression/atomic/02-atomic-function.c true 7.29 4.53 None concurrent/pthreads/regression/atomic/03-assert.c true 5.25 5.34 None concurrent/pthreads/regression/atomic/04-if-else.c true 5.74 3.79 None concurrent/pthreads/regression/atomic/05-end-no-begin.c false(unreach-call) 6.58 4.28 None concurrent/pthreads/regression/atomic/06-begin-no-end.c true 6.10 4.92 None concurrent/pthreads/regression/atomic/07-return-before-end.c true 6.29 5.49 None concurrent/pthreads/regression/atomic/08-abort-before-end.c true 5.82 3.60 None concurrent/pthreads/regression/atomic/09a-return-after-end.c true 7.40 4.60 None concurrent/pthreads/regression/atomic/09b-return-after-end.c false(unreach-call) 6.76 4.09 None concurrent/pthreads/regression/atomic/10-double-begin.c ERROR: EXCEPTION 5.38 4.36 None concurrent/pthreads/regression/atomic/11a-double-end.c true 5.71 4.73 None concurrent/pthreads/regression/atomic/11b-double-end.c false(unreach-call) 7.61 4.69 None concurrent/pthreads/regression/atomic/11c-double-end.c true 5.83 4.03 None concurrent/pthreads/regression/atomic/12-loop-within.c ERROR: EXCEPTION 4.92 3.58 None concurrent/pthreads/regression/atomic/13-loop-after.c true 6.07 6.19 None concurrent/pthreads/regression/atomic/14a-subsequent-blocks.c true 7.28 4.68 None concurrent/pthreads/regression/atomic/14b-subsequent-blocks.c false(unreach-call) 4.87 3.16 None concurrent/pthreads/regression/atomic/15-goto-within.c true 6.07 5.37 None concurrent/pthreads/regression/atomic/16-goto-outside.c false(unreach-call) 5.54 3.86 None concurrent/pthreads/regression/atomic/17-pthread_exit.c true 5.92 5.83 None concurrent/pthreads/regression/atomic/18-conditional-atomic.c true 8.98 5.69 None concurrent/bpl/LBE_bigexample_safe.bpl true 17.10 13.81 None concurrent/bpl/LBE_bigexample_safe_BA.bpl true 834.19 792.98 None concurrent/bpl/MirabelleConcurrentIncrement.bpl true 8.32 8.67 None concurrent/bpl/NonAtomicIncrement_2Threads_Loop.bpl true 15.91 10.46 None concurrent/bpl/concurrent_increment.bpl true 6.26 4.27 None concurrent/bpl/concurrent_mult.bpl TIMEOUT 900.57 849.35 None concurrent/bpl/single_assertion_test.bpl false(unreach-call) 7.47 5.75 None concurrent/bpl/sum_invariant.bpl true 5.19 3.35 None concurrent/bpl/regression/ForkInForkedProcedure01.bpl false(unreach-call) 5.26 3.65 None concurrent/bpl/regression/ForkInForkedProcedure02.bpl true 4.85 3.81 None concurrent/bpl/regression/ForkInLoop02-Incrementer.bpl TIMEOUT (false(unreach-call)) 901.32 852.07 None concurrent/bpl/regression/JoinTheForkingThread.bpl false(unreach-call) 4.28 3.78 None concurrent/bpl/regression/LBE_Y_to_V.bpl true 3.35 2.07 None concurrent/bpl/regression/LBE_example_semanticCheck.bpl true 4.02 2.58 None concurrent/bpl/regression/SpecificationInliningProblem.bpl true 3.90 2.51 None concurrent/bpl/regression/ThreadIdListTest-Safe.bpl true 4.03 2.70 None concurrent/bpl/regression/ThreadIdTest-Safe.bpl true 4.28 2.78 None concurrent/bpl/regression/ThreadIdTest-Unsafe.bpl false(unreach-call) 4.07 2.83 None concurrent/bpl/regression/ThyssenKruppRelegation.bpl false(unreach-call) 4.20 3.00 None concurrent/bpl/regression/atomic.bpl true 4.02 2.73 None concurrent/bpl/regression/cutoff_test.bpl false(unreach-call) 4.37 3.06 None concurrent/bpl/regression/example1.bpl false(unreach-call) 3.95 3.01 None concurrent/bpl/regression/example2.bpl true 3.97 3.59 None concurrent/bpl/regression/example_epsilon_write.bpl true 4.11 3.84 None concurrent/bpl/regression/example_interleaving.bpl true 4.55 3.83 None concurrent/bpl/regression/example_interleaving_simple.bpl true 4.20 3.79 None concurrent/bpl/regression/example_multiple_interleavings.bpl true 4.71 3.97 None concurrent/bpl/regression/example_unnecessary_interleavings.bpl true 4.27 3.72 None concurrent/bpl/regression/fork_in_loop.bpl false(unreach-call) 4.85 4.59 None concurrent/bpl/regression/fork_join_NotMod.bpl true 4.19 3.61 None concurrent/bpl/regression/fork_join_expression_type_not_found.bpl true 3.61 2.57 None concurrent/bpl/regression/fork_join_in_loop.bpl true 3.66 2.66 None concurrent/bpl/regression/fork_multiple_parameter.bpl true 5.48 4.02 None concurrent/bpl/regression/fork_multiple_times.bpl true 4.13 2.73 None concurrent/bpl/regression/fork_unchanged_local_variables2.bpl false(unreach-call) 4.40 3.06 None concurrent/bpl/regression/join_multiple_return_values.bpl true 4.62 3.11 None concurrent/bpl/regression/multiple_fork_same_id.bpl false(unreach-call) 4.40 2.86 None concurrent/bpl/regression/multiple_fork_same_id_different_return_type.bpl true 4.44 3.97 None concurrent/bpl/regression/multiple_fork_statements_different_types.bpl false(unreach-call) 4.15 3.38 None concurrent/bpl/regression/nested_fork.bpl false(unreach-call) 4.20 4.16 None concurrent/bpl/regression/showcase/Bakery.bpl true 8.14 8.05 None concurrent/bpl/regression/showcase/Fischer.bpl true 12.10 8.53 None concurrent/bpl/regression/showcase/FischerWithBug.bpl false(unreach-call) 8.96 6.18 None concurrent/bpl/regression/showcase/ForkJoinExplained.bpl true 5.21 3.24 None concurrent/bpl/regression/showcase/NonAtomicIncrement_2Threads.bpl false(unreach-call) 11.00 6.48 None concurrent/bpl/regression/showcase/Peterson.bpl true 6.34 6.39 None concurrent/bpl/regression/showcase/PetersonWithBug.bpl false(unreach-call) 6.13 5.82 None concurrent/bpl/mcr/example_10.bpl TIMEOUT 901.01 873.82 None concurrent/bpl/mcr/example_11.bpl TIMEOUT 900.77 832.48 None concurrent/bpl/mcr/example_12.bpl TIMEOUT 901.14 732.19 None concurrent/bpl/mcr/example_13.bpl TIMEOUT 906.33 733.75 None concurrent/bpl/mcr/example_14.bpl TIMEOUT 901.51 687.40 None concurrent/bpl/mcr/example_15.bpl TIMEOUT 909.94 680.26 None concurrent/bpl/mcr/example_16.bpl TIMEOUT 905.66 723.06 None concurrent/bpl/mcr/example_17.bpl TIMEOUT 912.31 663.21 None concurrent/bpl/mcr/example_18.bpl TIMEOUT 908.39 593.91 None concurrent/bpl/mcr/example_19.bpl TIMEOUT 903.12 622.07 None concurrent/bpl/mcr/example_2.bpl true 5.51 3.32 None concurrent/bpl/mcr/example_20.bpl TIMEOUT 909.29 598.54 None concurrent/bpl/mcr/example_3.bpl true 4.10 2.73 None concurrent/bpl/mcr/example_4.bpl true 4.55 2.87 None concurrent/bpl/mcr/example_5.bpl true 5.04 3.16 None concurrent/bpl/mcr/example_6.bpl true 5.69 3.48 None concurrent/bpl/mcr/example_7.bpl true 8.33 4.89 None concurrent/bpl/mcr/example_8.bpl true 18.79 12.88 None concurrent/bpl/mcr/example_9.bpl true 109.42 99.06 None concurrent/bpl/weaver-benchmarks/generated/array-eq-symm.wvr.yml true 7.92 5.44 None concurrent/bpl/weaver-benchmarks/generated/array-eq-trans.wvr.yml true 70.46 55.49 None concurrent/bpl/weaver-benchmarks/generated/clever.wvr.yml TIMEOUT 901.15 722.63 None concurrent/bpl/weaver-benchmarks/generated/fibonacci.wvr.yml TIMEOUT 905.66 865.31 None concurrent/bpl/weaver-benchmarks/generated/loop-tiling-eq.wvr.yml TIMEOUT 900.99 857.65 None concurrent/bpl/weaver-benchmarks/generated/mult-comm.wvr.yml TIMEOUT 901.22 776.56 None concurrent/bpl/weaver-benchmarks/generated/mult-dist.wvr.yml TIMEOUT 901.10 726.75 None concurrent/bpl/weaver-benchmarks/generated/mult-flipped-dist.wvr.yml TIMEOUT 901.72 728.53 None concurrent/bpl/weaver-benchmarks/generated/security.wvr.yml true 6.45 3.73 None concurrent/bpl/weaver-benchmarks/generated/spaghetti.wvr.yml true 6.73 4.08 None concurrent/bpl/weaver-benchmarks/generated/unroll-2.wvr.yml true 5.58 3.48 None concurrent/bpl/weaver-benchmarks/generated/unroll-3.wvr.yml true 5.33 3.30 None concurrent/bpl/weaver-benchmarks/generated/unroll-4.wvr.yml true 5.17 3.21 None concurrent/bpl/weaver-benchmarks/generated/unroll-5.wvr.yml true 5.50 3.53 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-2.wvr.yml TIMEOUT 903.83 876.20 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-3.wvr.yml TIMEOUT 901.70 873.08 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-4.wvr.yml TIMEOUT 905.70 872.90 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-5.wvr.yml TIMEOUT 905.70 887.51 None concurrent/bpl/weaver-benchmarks/generated/bench/exp1x3.wvr.yml ERROR: EXCEPTION 19.81 13.01 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x3.wvr.yml ERROR: EXCEPTION 23.31 14.77 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x4.wvr.yml ERROR: EXCEPTION 287.09 272.23 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x6.wvr.yml TIMEOUT 905.53 873.51 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x9.wvr.yml TIMEOUT 901.15 886.91 None concurrent/bpl/weaver-benchmarks/generated/bench/exp3x3-opt.wvr.yml TIMEOUT 910.12 640.46 None concurrent/bpl/weaver-benchmarks/generated/bench/exp3x3.wvr.yml ERROR: EXCEPTION 28.06 17.96 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-subst.wvr.yml TIMEOUT 902.69 830.57 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-symm.wvr.yml ERROR: EXCEPTION 432.55 372.02 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-trans.wvr.yml ERROR: EXCEPTION 592.32 508.81 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-opt-symm.wvr.yml true 24.76 17.72 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-subst.wvr.yml true 33.51 24.89 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-symm.wvr.yml true 29.22 19.55 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-trans.wvr.yml true 55.46 43.26 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-subst.wvr.yml true 7.25 4.37 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-symm.wvr.yml true 5.76 3.80 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-trans.wvr.yml true 8.00 4.76 None concurrent/bpl/weaver-benchmarks/generated/chl/container-subst.wvr.yml true 7.24 4.35 None concurrent/bpl/weaver-benchmarks/generated/chl/container-symm.wvr.yml true 7.14 4.46 None concurrent/bpl/weaver-benchmarks/generated/chl/container-trans.wvr.yml true 7.38 4.61 None concurrent/bpl/weaver-benchmarks/generated/chl/exp-term-subst.wvr.yml true 5.57 3.58 None concurrent/bpl/weaver-benchmarks/generated/chl/exp-term-symm.wvr.yml true 5.28 3.29 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-subst.wvr.yml true 7.85 4.55 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-symm.wvr.yml true 4.97 3.12 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-trans.wvr.yml true 4.93 3.17 None concurrent/bpl/weaver-benchmarks/generated/chl/match-subst.wvr.yml true 5.58 3.49 None concurrent/bpl/weaver-benchmarks/generated/chl/match-symm.wvr.yml true 6.29 3.89 None concurrent/bpl/weaver-benchmarks/generated/chl/match-trans.wvr.yml true 5.11 3.21 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-subst.wvr.yml true 21.82 15.12 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-symm.wvr.yml true 15.07 10.07 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-trans.wvr.yml true 43.56 32.99 None concurrent/bpl/weaver-benchmarks/generated/chl/node-subst.wvr.yml true 7.21 4.39 None concurrent/bpl/weaver-benchmarks/generated/chl/node-symm.wvr.yml true 4.67 2.93 None concurrent/bpl/weaver-benchmarks/generated/chl/node-trans.wvr.yml true 5.06 3.19 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-subst.wvr.yml true 90.29 69.76 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-symm.wvr.yml true 37.44 25.13 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-trans.wvr.yml true 73.51 56.20 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-subst.wvr.yml TIMEOUT 905.44 896.70 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-symm.wvr.yml TIMEOUT 905.43 894.19 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-trans.wvr.yml TIMEOUT 901.31 795.09 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-subst.wvr.yml true 4.91 3.03 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-symm.wvr.yml true 4.88 2.85 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-trans.wvr.yml true 4.50 2.83 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-subst.wvr.yml true 4.89 3.25 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-symm.wvr.yml true 4.61 3.05 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-trans.wvr.yml true 4.56 2.82 None concurrent/bpl/weaver-benchmarks/generated/chl/time-subst.wvr.yml true 4.44 2.89 None concurrent/bpl/weaver-benchmarks/generated/chl/time-symm.wvr.yml true 4.09 2.64 None concurrent/bpl/weaver-benchmarks/generated/chl/time-trans.wvr.yml true 4.43 2.80 None concurrent/bpl/weaver-benchmarks/generated/chl/word-subst.wvr.yml TIMEOUT 900.91 788.49 None concurrent/bpl/weaver-benchmarks/generated/chl/word-symm.wvr.yml TIMEOUT 900.73 746.51 None concurrent/bpl/weaver-benchmarks/generated/chl/word-trans.wvr.yml TIMEOUT 901.46 761.05 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-2.wvr.yml true 7.63 4.48 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-3.wvr.yml true 59.27 37.95 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-4.wvr.yml OUT OF MEMORY 466.90 376.48 None concurrent/bpl/weaver-benchmarks/generated/parallel/barrier-loop.wvr.yml false(unreach-call) 17.58 11.10 None concurrent/bpl/weaver-benchmarks/generated/parallel/barrier.wvr.yml true 18.14 10.42 None concurrent/bpl/weaver-benchmarks/generated/parallel/bluetooth.wvr.yml true 5.92 3.57 None concurrent/bpl/weaver-benchmarks/generated/parallel/lamport.wvr.yml true 9.20 5.16 None concurrent/bpl/weaver-benchmarks/generated/parallel/min-max-1.wvr.yml true 5.80 3.53 None concurrent/bpl/weaver-benchmarks/generated/parallel/min-max-2.wvr.yml OUT OF MEMORY 282.02 231.33 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-1.wvr.yml TIMEOUT 906.09 871.64 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2-unrolled-atomic.wvr.yml true 4.07 2.64 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2-unrolled.wvr.yml true 5.19 3.83 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2.wvr.yml true 16.15 11.06 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-3-extended.wvr.yml true 10.60 6.45 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-3.wvr.yml true 5.25 3.48 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-4.wvr.yml true 6.08 4.47 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-5.wvr.yml TIMEOUT 905.35 900.58 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-1-dsl.wvr.yml TIMEOUT 906.02 861.15 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-1.wvr.yml TIMEOUT 906.40 845.86 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-2.wvr.yml TIMEOUT 901.19 777.31 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-equiv.wvr.yml TIMEOUT 908.30 784.48 None concurrent/bpl/weaver-benchmarks/generated/parallel/simple-equiv.wvr.yml true 6.00 3.64 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-2.wvr.yml true 6.13 3.68 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-3.wvr.yml true 8.62 4.95 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-4.wvr.yml true 16.42 8.83 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-5.wvr.yml true 52.80 35.79 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-6.wvr.yml OUT OF MEMORY 402.39 330.79 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-7.wvr.yml OUT OF MEMORY 831.75 634.68 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-8.wvr.yml OUT OF MEMORY 707.17 440.33 None concurrent/bpl/weaver-benchmarks/generated/popl20/channel-sum.wvr.yml TIMEOUT 900.39 833.81 None concurrent/bpl/weaver-benchmarks/generated/popl20/commit-1.wvr.yml true 11.56 7.06 None concurrent/bpl/weaver-benchmarks/generated/popl20/commit-2.wvr.yml true 16.57 10.04 None concurrent/bpl/weaver-benchmarks/generated/popl20/counter-determinism.wvr.yml TIMEOUT 903.67 691.98 None concurrent/bpl/weaver-benchmarks/generated/popl20/counter-fun.wvr.yml TIMEOUT 901.15 841.57 None concurrent/bpl/weaver-benchmarks/generated/popl20/difference-det.wvr.yml TIMEOUT 900.84 715.76 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure1-alt.wvr.yml true 8.03 5.25 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure1.wvr.yml TIMEOUT 901.44 746.42 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure3.wvr.yml TIMEOUT 901.46 714.17 None concurrent/bpl/weaver-benchmarks/generated/popl20/horseshoe.wvr.yml TIMEOUT 901.02 770.23 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-dec.wvr.yml OUT OF MEMORY 358.15 296.37 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-inc-dec.wvr.yml OUT OF MEMORY 667.28 459.90 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-inc.wvr.yml OUT OF MEMORY 334.88 278.51 None concurrent/bpl/weaver-benchmarks/generated/popl20/mult-4.wvr.yml TIMEOUT 901.10 758.76 None concurrent/bpl/weaver-benchmarks/generated/popl20/mult-equiv.wvr.yml TIMEOUT 901.14 716.18 None concurrent/bpl/weaver-benchmarks/generated/popl20/nonblocking-cntr-alt.wvr.yml TIMEOUT 900.74 736.44 None concurrent/bpl/weaver-benchmarks/generated/popl20/nonblocking-cntr.wvr.yml true 177.68 129.12 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons-eq.wvr.yml ERROR: EXCEPTION 417.57 392.86 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons.wvr.yml TIMEOUT 905.91 874.11 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons3.wvr.yml TIMEOUT 901.07 809.37 None concurrent/bpl/weaver-benchmarks/generated/popl20/queue-add-2.wvr.yml TIMEOUT 900.79 803.01 None concurrent/bpl/weaver-benchmarks/generated/popl20/queue-add-3.wvr.yml TIMEOUT 905.98 775.47 None concurrent/bpl/weaver-benchmarks/generated/popl20/send-receive-alt.wvr.yml ERROR: EXCEPTION 670.01 600.56 None concurrent/bpl/weaver-benchmarks/generated/popl20/send-receive.wvr.yml TIMEOUT 901.66 836.21 None concurrent/bpl/weaver-benchmarks/generated/popl20/simple-array-sum.wvr.yml OUT OF MEMORY 642.79 528.38 None concurrent/bpl/weaver-benchmarks/generated/popl20/simple-queue.wvr.yml TIMEOUT 900.66 750.54 None concurrent/bpl/weaver-benchmarks/generated/popl20/threaded-sum-3.wvr.yml TIMEOUT 905.45 881.74 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-max.wvr.yml ERROR: EXCEPTION 294.47 266.85 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-min.wvr.yml TIMEOUT 905.74 849.25 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-sum.wvr.yml OUT OF MEMORY 671.93 563.69 None concurrent/bpl/weaver-benchmarks/generated/popl20/two-queue.wvr.yml true 12.67 9.10 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/buffer-mult-alt.wvr.yml TIMEOUT 909.97 806.53 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/commit-1.wvr.yml true 35.69 24.37 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/commit-2.wvr.yml TIMEOUT 904.40 843.96 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/counter-queue.wvr.yml TIMEOUT 905.56 886.66 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/dot-product-alt.wvr.yml TIMEOUT 901.42 771.57 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/dot-product.wvr.yml TIMEOUT 915.61 707.10 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/ring-nondet.wvr.yml TIMEOUT 905.93 851.86 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/ring.wvr.yml true 15.12 9.14 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/threaded-sum-2.wvr.yml true 21.40 13.97 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/three-array-sum-alt.wvr.yml TIMEOUT 907.16 808.04 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/array-sum-alt.wvr.yml TIMEOUT 901.54 884.18 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/array-sum.wvr.yml OUT OF MEMORY 578.78 455.55 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-mult.wvr.yml TIMEOUT 902.01 743.96 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-series-array.wvr.yml OUT OF MEMORY 557.21 454.12 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-series.wvr.yml OUT OF MEMORY 572.09 465.34 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dec-subseq-array.wvr.yml true 19.40 11.67 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dec-subseq.wvr.yml true 19.66 11.62 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dot-product-array.wvr.yml TIMEOUT 901.74 871.90 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dot-product.wvr.yml TIMEOUT 905.58 883.94 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/inc-subseq-array.wvr.yml true 11.62 7.56 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/inc-subseq.wvr.yml true 11.33 7.15 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-array-hom.wvr.yml TIMEOUT 905.57 869.18 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-array.wvr.yml TIMEOUT 905.98 850.33 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-fun-alt.wvr.yml TIMEOUT 906.13 830.60 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-fun.wvr.yml TIMEOUT 905.59 867.99 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-array-hom.wvr.yml TIMEOUT 905.65 863.14 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-array.wvr.yml TIMEOUT 905.60 855.53 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-fun-alt.wvr.yml TIMEOUT 905.58 866.02 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-fun.wvr.yml TIMEOUT 905.76 845.61 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-le-max.wvr.yml true 6.43 4.35 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/mts-array.wvr.yml TIMEOUT 905.60 861.07 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/mts.wvr.yml TIMEOUT 905.53 875.19 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/multiply-verify.wvr.yml true 12.01 7.30 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/nonblocking-counter-alt2.wvr.yml TIMEOUT 905.45 885.28 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/parray-copy.wvr.yml ERROR: EXCEPTION 283.01 260.31 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/queue-add-2-nl.wvr.yml ERROR: EXCEPTION 342.40 297.44 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/queue-add-3-nl.wvr.yml TIMEOUT 900.94 734.44 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sorted.wvr.yml TIMEOUT 905.54 882.01 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-array-hom.wvr.yml TIMEOUT 905.96 869.34 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-array.wvr.yml TIMEOUT 905.70 868.05 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-fun-alt.wvr.yml TIMEOUT 905.75 864.52 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-fun.wvr.yml TIMEOUT 905.92 873.00 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/vector-add.wvr.yml true 18.37 11.69 None concurrent/bpl/weaver-benchmarks/generated/popl20-proofs/counter-add-4-semi-Q67.wvr.yml TIMEOUT 901.60 711.42 None concurrent/bpl/weaver-benchmarks/generated/test/context1.wvr.yml TIMEOUT 902.39 866.50 None concurrent/bpl/weaver-benchmarks/generated/test/easy1.wvr.yml true 6.79 4.86 None concurrent/bpl/weaver-benchmarks/generated/test/easy10.wvr.yml true 8.93 5.11 None concurrent/bpl/weaver-benchmarks/generated/test/easy11.wvr.yml true 8.98 6.11 None concurrent/bpl/weaver-benchmarks/generated/test/easy6.wvr.yml true 6.09 3.94 None concurrent/bpl/weaver-benchmarks/generated/test/easy7.wvr.yml true 4.24 2.71 None concurrent/bpl/weaver-benchmarks/generated/test/easy8.wvr.yml true 4.18 2.71 None concurrent/bpl/weaver-benchmarks/generated/test/hard1.wvr.yml TIMEOUT 901.35 712.37 None concurrent/bpl/weaver-benchmarks/generated/test/semi1.wvr.yml true 3.91 2.44 None ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 138523.75 20385.00 - Statistics: 1302 Files correct: 1022 correct true: 248 correct false: 774 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 181 Score: 1270 (max: 1570)