BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency-insufficient-separately.xml name: concurrency-insufficient-separately run sets: Automizer FA, Automizer FA.Separately date: Fri, 2021-05-21 15:22:15 CEST tool: ULTIMATE Automizer 0.2.1-770125fd 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 FA Run set 1 of 2 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/pthread/bigshot_p.yml false(unreach-call) 10.76 6.67 None svcomp/pthread/bigshot_s.yml UNKNOWN: OverapproxCex 7.07 4.41 None svcomp/pthread/bigshot_s2.yml UNKNOWN: OverapproxCex 6.61 4.58 None svcomp/pthread/fib_bench-1.yml TIMEOUT 905.61 879.24 None svcomp/pthread/fib_bench-2.yml TIMEOUT 902.75 871.10 None svcomp/pthread/fib_bench_longer-1.yml TIMEOUT 905.55 880.21 None svcomp/pthread/fib_bench_longer-2.yml TIMEOUT 903.45 885.26 None svcomp/pthread/fib_bench_longest-1.yml TIMEOUT 905.42 891.03 None svcomp/pthread/fib_bench_longest-2.yml TIMEOUT 905.85 884.35 None svcomp/pthread/indexer.yml TIMEOUT 905.93 851.84 None svcomp/pthread/lazy01.yml false(unreach-call) 10.43 5.99 None svcomp/pthread/queue.yml TIMEOUT 901.80 786.07 None svcomp/pthread/queue_longer.yml TIMEOUT 900.88 779.70 None svcomp/pthread/queue_longest.yml TIMEOUT 900.85 791.74 None svcomp/pthread/queue_ok.yml ERROR: EXCEPTION 16.99 9.46 None svcomp/pthread/queue_ok_longer.yml ERROR: EXCEPTION 12.49 7.14 None svcomp/pthread/queue_ok_longest.yml ERROR: EXCEPTION 13.55 7.62 None svcomp/pthread/reorder_2.yml ERROR: EXCEPTION 5.57 3.31 None svcomp/pthread/reorder_5.yml ERROR: EXCEPTION 4.62 2.84 None svcomp/pthread/sigma.yml TIMEOUT 901.39 826.79 None svcomp/pthread/singleton.yml false(unreach-call) 221.17 155.11 None svcomp/pthread/singleton_with-uninit-problems.yml OUT OF MEMORY 271.86 200.04 None svcomp/pthread/stack-1.yml ERROR: EXCEPTION 31.57 19.74 None svcomp/pthread/stack-2.yml false(unreach-call) 28.73 17.58 None svcomp/pthread/stack_longer-1.yml false(unreach-call) 26.26 15.95 None svcomp/pthread/stack_longer-2.yml TIMEOUT 901.02 879.72 None svcomp/pthread/stack_longest-1.yml false(unreach-call) 23.65 13.68 None svcomp/pthread/stack_longest-2.yml TIMEOUT 900.59 877.43 None svcomp/pthread/stateful01-1.yml false(unreach-call) 7.21 4.47 None svcomp/pthread/stateful01-2.yml true 6.94 4.01 None svcomp/pthread/sync01.yml true 7.28 4.37 None svcomp/pthread/triangular-1.yml true 56.50 44.10 None svcomp/pthread/triangular-2.yml false(unreach-call) 45.68 34.64 None svcomp/pthread/triangular-longer-1.yml true 227.19 210.52 None svcomp/pthread/triangular-longer-2.yml false(unreach-call) 198.46 180.85 None svcomp/pthread/triangular-longest-1.yml TIMEOUT 900.74 836.71 None svcomp/pthread/triangular-longest-2.yml TIMEOUT 900.98 790.32 None svcomp/pthread/twostage_3.yml ERROR: EXCEPTION 6.23 3.44 None svcomp/pthread-atomic/dekker.yml true 9.95 5.71 None svcomp/pthread-atomic/gcd-2.yml TIMEOUT 900.77 878.51 None svcomp/pthread-atomic/lamport.yml true 13.05 7.20 None svcomp/pthread-atomic/peterson.yml true 9.13 5.51 None svcomp/pthread-atomic/qrcu-1.yml ERROR: EXCEPTION 8.02 4.41 None svcomp/pthread-atomic/qrcu-2.yml ERROR: EXCEPTION 7.42 4.48 None svcomp/pthread-atomic/read_write_lock-1.yml true 42.95 25.78 None svcomp/pthread-atomic/read_write_lock-2.yml false(unreach-call) 49.26 29.10 None svcomp/pthread-atomic/scull.yml TIMEOUT 900.96 850.56 None svcomp/pthread-atomic/szymanski.yml true 10.60 6.15 None svcomp/pthread-atomic/time_var_mutex.yml true 8.80 4.94 None svcomp/pthread-ext/01_inc.yml TIMEOUT 900.87 863.20 None svcomp/pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 5.57 3.32 None svcomp/pthread-ext/03_incdec.yml TIMEOUT 900.78 876.55 None svcomp/pthread-ext/04_incdec_cas.yml ERROR: EXCEPTION 5.59 3.43 None svcomp/pthread-ext/05_tas.yml ERROR: EXCEPTION 5.31 3.12 None svcomp/pthread-ext/06_ticket.yml TIMEOUT 901.26 843.20 None svcomp/pthread-ext/07_rand.yml TIMEOUT 900.81 872.16 None svcomp/pthread-ext/08_rand_cas.yml ERROR: EXCEPTION 7.73 4.71 None svcomp/pthread-ext/09_fmaxsym.yml TIMEOUT 901.05 860.39 None svcomp/pthread-ext/10_fmaxsym_cas.yml ERROR: EXCEPTION 7.32 4.20 None svcomp/pthread-ext/11_fmaxsymopt.yml TIMEOUT 906.14 822.58 None svcomp/pthread-ext/12_fmaxsymopt_cas.yml ERROR: EXCEPTION 7.08 4.38 None svcomp/pthread-ext/13_unverif.yml TIMEOUT 901.12 792.97 None svcomp/pthread-ext/14_spin2003.yml TIMEOUT 900.96 860.98 None svcomp/pthread-ext/17_szymanski.yml true 6.98 3.86 None svcomp/pthread-ext/18_read_write_lock.yml true 6.75 4.11 None svcomp/pthread-ext/23_lu-fig2.fixed.yml true 6.97 3.99 None svcomp/pthread-ext/25_stack.yml ERROR: EXCEPTION 6.58 3.93 None svcomp/pthread-ext/25_stack_longer-1.yml ERROR: EXCEPTION 6.36 3.66 None svcomp/pthread-ext/25_stack_longer-2.yml ERROR: EXCEPTION 6.10 3.90 None svcomp/pthread-ext/25_stack_longest-1.yml ERROR: EXCEPTION 5.90 3.42 None svcomp/pthread-ext/25_stack_longest-2.yml ERROR: EXCEPTION 6.22 3.64 None svcomp/pthread-ext/26_stack_cas.yml ERROR: EXCEPTION 5.73 3.70 None svcomp/pthread-ext/26_stack_cas_longer-1.yml ERROR: EXCEPTION 6.04 3.89 None svcomp/pthread-ext/26_stack_cas_longer-2.yml ERROR: EXCEPTION 6.44 3.97 None svcomp/pthread-ext/26_stack_cas_longest-1.yml ERROR: EXCEPTION 6.22 3.47 None svcomp/pthread-ext/26_stack_cas_longest-2.yml ERROR: EXCEPTION 6.30 3.95 None svcomp/pthread-ext/27_Boop_simple_vf.yml TIMEOUT 900.96 860.18 None svcomp/pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 468.03 437.36 None svcomp/pthread-ext/29_conditionals_vs.yml TIMEOUT 901.02 861.27 None svcomp/pthread-ext/30_Function_Pointer3_vs.yml TIMEOUT 900.89 868.48 None svcomp/pthread-ext/31_simple_loop5_vs.yml TIMEOUT 900.99 866.12 None svcomp/pthread-ext/32_pthread5_vs.yml TIMEOUT 900.82 870.47 None svcomp/pthread-ext/33_double_lock_p1_vs.yml ERROR: EXCEPTION 7.39 4.28 None svcomp/pthread-ext/34_double_lock_p2_vs.yml ERROR: EXCEPTION 7.19 4.49 None svcomp/pthread-ext/35_double_lock_p3_vs.yml ERROR: EXCEPTION 7.98 4.68 None svcomp/pthread-ext/36_stack_cas_p0_vs_concur.yml ERROR: EXCEPTION 7.35 4.58 None svcomp/pthread-ext/37_stack_lock_p0_vs_concur.yml TIMEOUT 900.94 863.42 None svcomp/pthread-ext/38_rand_cas_vs_concur.yml ERROR: EXCEPTION 6.94 4.10 None svcomp/pthread-ext/39_rand_lock_p0_vs.yml TIMEOUT 901.03 864.67 None svcomp/pthread-ext/40_barrier_vf.yml TIMEOUT 900.80 874.08 None svcomp/pthread-ext/41_FreeBSD_abd_kbd_sliced.yml TIMEOUT 900.87 871.36 None svcomp/pthread-ext/42_FreeBSD_rdma_addr_sliced.yml TIMEOUT 900.92 868.42 None svcomp/pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: TYPE ERROR 5.75 3.38 None svcomp/pthread-ext/44_Solaris_space_map_sliced.yml TIMEOUT 901.05 850.66 None svcomp/pthread-ext/45_monabsex1_vs.yml TIMEOUT 901.35 814.61 None svcomp/pthread-ext/46_monabsex2_vs.yml TIMEOUT 900.88 871.31 None svcomp/pthread-ext/47_ticket_lock_hc_backoff_vs.yml TIMEOUT 901.35 838.89 None svcomp/pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR: EXCEPTION 5.48 3.16 None svcomp/pthread-wmm/mix000_power.oepc.yml false(unreach-call) 12.80 7.01 None svcomp/pthread-wmm/mix000_power.opt.yml false(unreach-call) 12.52 6.78 None svcomp/pthread-wmm/mix000_pso.oepc.yml false(unreach-call) 14.30 7.97 None svcomp/pthread-wmm/mix000_pso.opt.yml false(unreach-call) 11.97 6.91 None svcomp/pthread-wmm/mix000_rmo.oepc.yml false(unreach-call) 13.23 7.36 None svcomp/pthread-wmm/mix000_rmo.opt.yml false(unreach-call) 12.13 6.59 None svcomp/pthread-wmm/mix000_tso.oepc.yml false(unreach-call) 13.00 7.06 None svcomp/pthread-wmm/mix000_tso.opt.yml false(unreach-call) 12.52 6.78 None svcomp/pthread-wmm/mix001_power.oepc.yml false(unreach-call) 20.43 11.67 None svcomp/pthread-wmm/mix001_power.opt.yml false(unreach-call) 19.61 10.46 None svcomp/pthread-wmm/mix001_pso.oepc.yml false(unreach-call) 21.07 11.59 None svcomp/pthread-wmm/mix001_pso.opt.yml false(unreach-call) 18.80 10.41 None svcomp/pthread-wmm/mix001_rmo.oepc.yml false(unreach-call) 20.62 11.53 None svcomp/pthread-wmm/mix001_rmo.opt.yml false(unreach-call) 19.22 10.53 None svcomp/pthread-wmm/mix001_tso.oepc.yml false(unreach-call) 20.46 11.30 None svcomp/pthread-wmm/mix001_tso.opt.yml false(unreach-call) 21.03 11.34 None svcomp/pthread-wmm/mix002_power.oepc.yml false(unreach-call) 19.28 10.72 None svcomp/pthread-wmm/mix002_power.opt.yml false(unreach-call) 20.90 12.19 None svcomp/pthread-wmm/mix002_pso.oepc.yml false(unreach-call) 19.90 11.12 None svcomp/pthread-wmm/mix002_pso.opt.yml false(unreach-call) 21.40 11.66 None svcomp/pthread-wmm/mix002_rmo.oepc.yml false(unreach-call) 21.59 12.08 None svcomp/pthread-wmm/mix002_rmo.opt.yml false(unreach-call) 21.73 11.80 None svcomp/pthread-wmm/mix002_tso.oepc.yml false(unreach-call) 20.35 11.32 None svcomp/pthread-wmm/mix002_tso.opt.yml false(unreach-call) 19.48 10.39 None svcomp/pthread-wmm/mix003_power.oepc.yml false(unreach-call) 18.29 9.89 None svcomp/pthread-wmm/mix003_power.opt.yml false(unreach-call) 17.49 9.76 None svcomp/pthread-wmm/mix003_pso.oepc.yml false(unreach-call) 17.63 9.58 None svcomp/pthread-wmm/mix003_pso.opt.yml false(unreach-call) 17.90 9.88 None svcomp/pthread-wmm/mix003_rmo.oepc.yml false(unreach-call) 17.68 9.85 None svcomp/pthread-wmm/mix003_rmo.opt.0.1.yml false(unreach-call) 18.23 10.24 None svcomp/pthread-wmm/mix003_rmo.opt.0.yml false(unreach-call) 17.71 9.87 None svcomp/pthread-wmm/mix003_rmo.opt.yml false(unreach-call) 18.40 10.08 None svcomp/pthread-wmm/mix003_tso.oepc.yml false(unreach-call) 18.30 10.10 None svcomp/pthread-wmm/mix003_tso.opt.yml false(unreach-call) 18.83 10.56 None svcomp/pthread-wmm/mix004_power.oepc.yml false(unreach-call) 104.18 80.54 None svcomp/pthread-wmm/mix004_power.opt.yml false(unreach-call) 64.68 46.28 None svcomp/pthread-wmm/mix004_pso.oepc.yml false(unreach-call) 92.72 69.48 None svcomp/pthread-wmm/mix004_pso.opt.yml false(unreach-call) 64.95 45.94 None svcomp/pthread-wmm/mix004_rmo.oepc.yml false(unreach-call) 102.92 77.87 None svcomp/pthread-wmm/mix004_rmo.opt.yml false(unreach-call) 66.90 46.86 None svcomp/pthread-wmm/mix004_tso.oepc.yml false(unreach-call) 115.98 84.95 None svcomp/pthread-wmm/mix004_tso.opt.yml false(unreach-call) 61.36 43.15 None svcomp/pthread-wmm/mix005_power.oepc.yml false(unreach-call) 129.47 94.82 None svcomp/pthread-wmm/mix005_power.opt.yml false(unreach-call) 67.47 46.62 None svcomp/pthread-wmm/mix005_pso.oepc.yml false(unreach-call) 101.31 75.40 None svcomp/pthread-wmm/mix005_pso.opt.yml false(unreach-call) 66.33 46.17 None svcomp/pthread-wmm/mix005_rmo.oepc.yml false(unreach-call) 128.18 92.31 None svcomp/pthread-wmm/mix005_rmo.opt.yml false(unreach-call) 65.93 45.61 None svcomp/pthread-wmm/mix005_tso.oepc.yml ERROR: EXCEPTION 10.37 5.93 None svcomp/pthread-wmm/mix005_tso.opt.yml false(unreach-call) 83.78 55.25 None svcomp/pthread-wmm/mix006_power.oepc.yml false(unreach-call) 20.99 11.63 None svcomp/pthread-wmm/mix006_power.opt.yml false(unreach-call) 25.43 13.44 None svcomp/pthread-wmm/mix006_pso.oepc.yml false(unreach-call) 17.66 9.51 None svcomp/pthread-wmm/mix006_pso.opt.yml false(unreach-call) 21.13 11.77 None svcomp/pthread-wmm/mix006_rmo.oepc.yml false(unreach-call) 25.66 13.99 None svcomp/pthread-wmm/mix006_rmo.opt.yml false(unreach-call) 19.88 10.89 None svcomp/pthread-wmm/mix006_tso.oepc.yml ERROR: EXCEPTION 10.56 5.86 None svcomp/pthread-wmm/mix006_tso.opt.yml false(unreach-call) 18.08 9.73 None svcomp/pthread-wmm/mix007_power.oepc.yml false(unreach-call) 113.72 86.24 None svcomp/pthread-wmm/mix007_power.opt.yml false(unreach-call) 65.97 44.26 None svcomp/pthread-wmm/mix007_pso.oepc.yml false(unreach-call) 115.60 84.88 None svcomp/pthread-wmm/mix007_pso.opt.yml false(unreach-call) 71.29 48.63 None svcomp/pthread-wmm/mix007_rmo.oepc.yml false(unreach-call) 130.10 95.83 None svcomp/pthread-wmm/mix007_rmo.opt.yml false(unreach-call) 85.29 56.18 None svcomp/pthread-wmm/mix007_tso.oepc.yml false(unreach-call) 131.62 94.43 None svcomp/pthread-wmm/mix007_tso.opt.yml false(unreach-call) 59.87 40.61 None svcomp/pthread-wmm/mix008_power.oepc.yml false(unreach-call) 125.04 94.78 None svcomp/pthread-wmm/mix008_power.opt.yml false(unreach-call) 104.89 69.99 None svcomp/pthread-wmm/mix008_pso.oepc.yml false(unreach-call) 114.93 85.63 None svcomp/pthread-wmm/mix008_pso.opt.yml false(unreach-call) 79.91 54.73 None svcomp/pthread-wmm/mix008_rmo.oepc.yml false(unreach-call) 144.50 106.59 None svcomp/pthread-wmm/mix008_rmo.opt.yml false(unreach-call) 105.38 68.93 None svcomp/pthread-wmm/mix008_tso.oepc.yml ERROR: EXCEPTION 13.45 7.74 None svcomp/pthread-wmm/mix008_tso.opt.yml false(unreach-call) 105.10 71.07 None svcomp/pthread-wmm/mix009_power.oepc.yml false(unreach-call) 11.89 6.49 None svcomp/pthread-wmm/mix009_power.opt.yml false(unreach-call) 18.74 10.13 None svcomp/pthread-wmm/mix009_pso.oepc.yml false(unreach-call) 12.27 7.24 None svcomp/pthread-wmm/mix009_pso.opt.yml false(unreach-call) 13.55 7.72 None svcomp/pthread-wmm/mix009_rmo.oepc.yml false(unreach-call) 12.33 6.90 None svcomp/pthread-wmm/mix009_rmo.opt.yml false(unreach-call) 12.44 6.75 None svcomp/pthread-wmm/mix009_tso.oepc.yml false(unreach-call) 15.49 8.67 None svcomp/pthread-wmm/mix009_tso.opt.yml false(unreach-call) 13.29 7.35 None svcomp/pthread-wmm/mix010_power.oepc.yml false(unreach-call) 19.81 10.87 None svcomp/pthread-wmm/mix010_power.opt.yml false(unreach-call) 24.03 12.73 None svcomp/pthread-wmm/mix010_pso.oepc.yml false(unreach-call) 19.60 10.96 None svcomp/pthread-wmm/mix010_pso.opt.yml false(unreach-call) 16.71 8.93 None svcomp/pthread-wmm/mix010_rmo.oepc.yml false(unreach-call) 19.66 10.59 None svcomp/pthread-wmm/mix010_rmo.opt.yml false(unreach-call) 23.55 12.64 None svcomp/pthread-wmm/mix010_tso.oepc.yml false(unreach-call) 27.33 14.52 None svcomp/pthread-wmm/mix010_tso.opt.yml false(unreach-call) 16.22 8.80 None svcomp/pthread-wmm/mix011_power.oepc.yml false(unreach-call) 21.43 11.61 None svcomp/pthread-wmm/mix011_power.opt.yml false(unreach-call) 19.57 10.73 None svcomp/pthread-wmm/mix011_pso.oepc.yml false(unreach-call) 20.02 10.71 None svcomp/pthread-wmm/mix011_pso.opt.yml false(unreach-call) 26.84 14.42 None svcomp/pthread-wmm/mix011_rmo.oepc.yml false(unreach-call) 22.12 11.99 None svcomp/pthread-wmm/mix011_rmo.opt.yml false(unreach-call) 25.83 13.88 None svcomp/pthread-wmm/mix011_tso.oepc.yml ERROR: EXCEPTION 9.68 5.55 None svcomp/pthread-wmm/mix011_tso.opt.yml false(unreach-call) 20.06 11.05 None svcomp/pthread-wmm/mix012_power.oepc.yml false(unreach-call) 10.39 6.09 None svcomp/pthread-wmm/mix012_power.opt.yml false(unreach-call) 15.36 8.44 None svcomp/pthread-wmm/mix012_pso.oepc.yml false(unreach-call) 14.47 8.05 None svcomp/pthread-wmm/mix012_pso.opt.yml false(unreach-call) 12.16 7.10 None svcomp/pthread-wmm/mix012_rmo.oepc.yml false(unreach-call) 14.59 8.24 None svcomp/pthread-wmm/mix012_rmo.opt.yml false(unreach-call) 10.17 5.60 None svcomp/pthread-wmm/mix012_tso.oepc.yml false(unreach-call) 14.63 8.06 None svcomp/pthread-wmm/mix012_tso.opt.yml false(unreach-call) 11.39 6.36 None svcomp/pthread-wmm/mix013_power.oepc.yml false(unreach-call) 124.65 91.96 None svcomp/pthread-wmm/mix013_power.opt.yml false(unreach-call) 60.31 42.37 None svcomp/pthread-wmm/mix013_pso.oepc.yml false(unreach-call) 105.14 80.98 None svcomp/pthread-wmm/mix013_pso.opt.yml false(unreach-call) 83.20 57.75 None svcomp/pthread-wmm/mix013_rmo.oepc.yml false(unreach-call) 107.06 82.46 None svcomp/pthread-wmm/mix013_rmo.opt.yml false(unreach-call) 79.27 54.36 None svcomp/pthread-wmm/mix013_tso.oepc.yml false(unreach-call) 120.26 88.18 None svcomp/pthread-wmm/mix013_tso.opt.yml false(unreach-call) 63.93 44.01 None svcomp/pthread-wmm/mix014_power.oepc.yml false(unreach-call) 122.93 90.62 None svcomp/pthread-wmm/mix014_power.opt.yml false(unreach-call) 73.38 48.84 None svcomp/pthread-wmm/mix014_pso.oepc.yml false(unreach-call) 112.08 85.74 None svcomp/pthread-wmm/mix014_pso.opt.yml false(unreach-call) 62.20 42.67 None svcomp/pthread-wmm/mix014_rmo.oepc.yml false(unreach-call) 102.15 77.07 None svcomp/pthread-wmm/mix014_rmo.opt.yml false(unreach-call) 71.20 47.80 None svcomp/pthread-wmm/mix014_tso.oepc.yml ERROR: EXCEPTION 13.26 7.51 None svcomp/pthread-wmm/mix014_tso.opt.yml false(unreach-call) 76.58 50.45 None svcomp/pthread-wmm/mix015_power.oepc.yml false(unreach-call) 27.24 14.80 None svcomp/pthread-wmm/mix015_power.opt.yml false(unreach-call) 25.97 13.93 None svcomp/pthread-wmm/mix015_pso.oepc.yml false(unreach-call) 19.64 10.78 None svcomp/pthread-wmm/mix015_pso.opt.yml false(unreach-call) 24.52 13.04 None svcomp/pthread-wmm/mix015_rmo.oepc.yml false(unreach-call) 26.73 14.50 None svcomp/pthread-wmm/mix015_rmo.opt.yml false(unreach-call) 17.95 9.99 None svcomp/pthread-wmm/mix015_tso.oepc.yml false(unreach-call) 27.75 15.04 None svcomp/pthread-wmm/mix015_tso.opt.yml false(unreach-call) 19.28 10.62 None svcomp/pthread-wmm/mix016_power.oepc.yml false(unreach-call) 25.93 13.68 None svcomp/pthread-wmm/mix016_power.opt.yml false(unreach-call) 21.95 11.91 None svcomp/pthread-wmm/mix016_pso.oepc.yml false(unreach-call) 23.61 14.40 None svcomp/pthread-wmm/mix016_pso.opt.yml false(unreach-call) 16.70 9.56 None svcomp/pthread-wmm/mix016_rmo.oepc.yml false(unreach-call) 25.52 13.64 None svcomp/pthread-wmm/mix016_rmo.opt.yml false(unreach-call) 22.85 13.57 None svcomp/pthread-wmm/mix016_tso.oepc.yml false(unreach-call) 24.21 13.14 None svcomp/pthread-wmm/mix016_tso.opt.yml false(unreach-call) 17.22 9.25 None svcomp/pthread-wmm/mix017_power.oepc.yml false(unreach-call) 107.45 76.07 None svcomp/pthread-wmm/mix017_power.opt.yml false(unreach-call) 61.44 43.36 None svcomp/pthread-wmm/mix017_pso.oepc.yml false(unreach-call) 97.89 72.25 None svcomp/pthread-wmm/mix017_pso.opt.yml false(unreach-call) 51.64 33.43 None svcomp/pthread-wmm/mix017_rmo.oepc.yml false(unreach-call) 107.72 75.99 None svcomp/pthread-wmm/mix017_rmo.opt.yml false(unreach-call) 69.98 47.11 None svcomp/pthread-wmm/mix017_tso.oepc.yml false(unreach-call) 105.61 75.37 None svcomp/pthread-wmm/mix017_tso.opt.yml false(unreach-call) 52.48 33.36 None svcomp/pthread-wmm/mix018_power.oepc.yml false(unreach-call) 103.87 78.34 None svcomp/pthread-wmm/mix018_power.opt.yml false(unreach-call) 72.32 47.23 None svcomp/pthread-wmm/mix018_pso.oepc.yml false(unreach-call) 94.96 69.34 None svcomp/pthread-wmm/mix018_pso.opt.yml false(unreach-call) 60.27 40.25 None svcomp/pthread-wmm/mix018_rmo.oepc.yml false(unreach-call) 117.89 84.65 None svcomp/pthread-wmm/mix018_rmo.opt.yml false(unreach-call) 74.17 48.21 None svcomp/pthread-wmm/mix018_tso.oepc.yml ERROR: EXCEPTION 10.44 5.95 None svcomp/pthread-wmm/mix018_tso.opt.yml false(unreach-call) 70.05 45.72 None svcomp/pthread-wmm/mix019_power.oepc.yml false(unreach-call) 24.85 13.16 None svcomp/pthread-wmm/mix019_power.opt.yml false(unreach-call) 20.15 11.33 None svcomp/pthread-wmm/mix019_pso.oepc.yml false(unreach-call) 26.18 14.09 None svcomp/pthread-wmm/mix019_pso.opt.yml false(unreach-call) 19.93 11.00 None svcomp/pthread-wmm/mix019_rmo.oepc.yml false(unreach-call) 18.62 10.28 None svcomp/pthread-wmm/mix019_rmo.opt.yml false(unreach-call) 26.09 13.95 None svcomp/pthread-wmm/mix019_tso.oepc.yml ERROR: EXCEPTION 7.14 4.10 None svcomp/pthread-wmm/mix019_tso.opt.yml false(unreach-call) 25.45 13.64 None svcomp/pthread-wmm/mix020_power.oepc.yml false(unreach-call) 108.61 81.81 None svcomp/pthread-wmm/mix020_power.opt.yml false(unreach-call) 60.06 40.27 None svcomp/pthread-wmm/mix020_pso.oepc.yml false(unreach-call) 127.08 91.10 None svcomp/pthread-wmm/mix020_pso.opt.yml false(unreach-call) 57.02 37.79 None svcomp/pthread-wmm/mix020_rmo.oepc.yml false(unreach-call) 119.67 85.16 None svcomp/pthread-wmm/mix020_rmo.opt.yml false(unreach-call) 71.27 46.52 None svcomp/pthread-wmm/mix020_tso.oepc.yml false(unreach-call) 126.66 89.98 None svcomp/pthread-wmm/mix020_tso.opt.yml false(unreach-call) 60.25 40.29 None svcomp/pthread-wmm/mix021_power.oepc.yml false(unreach-call) 94.69 67.76 None svcomp/pthread-wmm/mix021_power.opt.yml false(unreach-call) 87.52 56.80 None svcomp/pthread-wmm/mix021_pso.oepc.yml false(unreach-call) 102.56 76.82 None svcomp/pthread-wmm/mix021_pso.opt.yml false(unreach-call) 67.03 45.74 None svcomp/pthread-wmm/mix021_rmo.oepc.yml false(unreach-call) 119.94 85.39 None svcomp/pthread-wmm/mix021_rmo.opt.yml false(unreach-call) 82.32 53.13 None svcomp/pthread-wmm/mix021_tso.oepc.yml ERROR: EXCEPTION 7.31 4.17 None svcomp/pthread-wmm/mix021_tso.opt.yml false(unreach-call) 80.83 52.23 None svcomp/pthread-wmm/mix022_power.oepc.yml false(unreach-call) 14.99 8.42 None svcomp/pthread-wmm/mix022_power.opt.yml false(unreach-call) 11.93 6.58 None svcomp/pthread-wmm/mix022_pso.oepc.yml false(unreach-call) 11.74 6.74 None svcomp/pthread-wmm/mix022_pso.opt.yml false(unreach-call) 15.25 8.53 None svcomp/pthread-wmm/mix022_rmo.oepc.yml false(unreach-call) 11.70 6.59 None svcomp/pthread-wmm/mix022_rmo.opt.yml false(unreach-call) 11.77 6.63 None svcomp/pthread-wmm/mix022_tso.oepc.yml ERROR: EXCEPTION 10.41 6.05 None svcomp/pthread-wmm/mix022_tso.opt.yml ERROR: EXCEPTION 7.92 4.57 None svcomp/pthread-wmm/mix023_power.oepc.yml false(unreach-call) 104.73 79.69 None svcomp/pthread-wmm/mix023_power.opt.yml false(unreach-call) 96.91 67.48 None svcomp/pthread-wmm/mix023_pso.oepc.yml false(unreach-call) 107.72 83.59 None svcomp/pthread-wmm/mix023_pso.opt.yml false(unreach-call) 99.81 69.54 None svcomp/pthread-wmm/mix023_rmo.oepc.yml false(unreach-call) 110.41 84.80 None svcomp/pthread-wmm/mix023_rmo.opt.yml false(unreach-call) 99.95 70.23 None svcomp/pthread-wmm/mix023_tso.oepc.yml ERROR: EXCEPTION 14.93 8.27 None svcomp/pthread-wmm/mix023_tso.opt.yml ERROR: EXCEPTION 14.60 8.16 None svcomp/pthread-wmm/mix024_power.oepc.yml false(unreach-call) 28.54 15.39 None svcomp/pthread-wmm/mix024_power.opt.yml false(unreach-call) 26.70 14.36 None svcomp/pthread-wmm/mix024_pso.oepc.yml false(unreach-call) 28.12 15.13 None svcomp/pthread-wmm/mix024_pso.opt.yml false(unreach-call) 20.24 11.06 None svcomp/pthread-wmm/mix024_rmo.oepc.yml false(unreach-call) 27.70 14.95 None svcomp/pthread-wmm/mix024_rmo.opt.yml false(unreach-call) 26.21 14.11 None svcomp/pthread-wmm/mix024_tso.oepc.yml false(unreach-call) 21.60 11.85 None svcomp/pthread-wmm/mix024_tso.opt.yml false(unreach-call) 27.62 14.81 None svcomp/pthread-wmm/mix025_power.oepc.yml false(unreach-call) 19.17 10.62 None svcomp/pthread-wmm/mix025_power.opt.yml false(unreach-call) 26.43 13.97 None svcomp/pthread-wmm/mix025_pso.oepc.yml false(unreach-call) 24.97 13.50 None svcomp/pthread-wmm/mix025_pso.opt.yml false(unreach-call) 18.76 10.21 None svcomp/pthread-wmm/mix025_rmo.oepc.yml false(unreach-call) 26.22 14.48 None svcomp/pthread-wmm/mix025_rmo.opt.yml false(unreach-call) 18.75 10.51 None svcomp/pthread-wmm/mix025_tso.oepc.yml false(unreach-call) 25.33 13.77 None svcomp/pthread-wmm/mix025_tso.opt.yml false(unreach-call) 20.18 11.49 None svcomp/pthread-wmm/mix026_power.oepc.yml false(unreach-call) 106.01 81.46 None svcomp/pthread-wmm/mix026_power.opt.yml false(unreach-call) 113.06 79.25 None svcomp/pthread-wmm/mix026_pso.oepc.yml false(unreach-call) 115.97 83.83 None svcomp/pthread-wmm/mix026_pso.opt.yml false(unreach-call) 68.43 47.41 None svcomp/pthread-wmm/mix026_rmo.oepc.yml false(unreach-call) 118.02 83.94 None svcomp/pthread-wmm/mix026_rmo.opt.yml false(unreach-call) 84.99 56.79 None svcomp/pthread-wmm/mix026_tso.oepc.yml false(unreach-call) 106.64 80.70 None svcomp/pthread-wmm/mix026_tso.opt.yml false(unreach-call) 88.17 62.50 None svcomp/pthread-wmm/mix027_power.oepc.yml false(unreach-call) 117.51 82.25 None svcomp/pthread-wmm/mix027_power.opt.yml false(unreach-call) 85.35 59.37 None svcomp/pthread-wmm/mix027_pso.oepc.yml false(unreach-call) 102.35 74.84 None svcomp/pthread-wmm/mix027_pso.opt.yml false(unreach-call) 87.53 59.83 None svcomp/pthread-wmm/mix027_rmo.oepc.yml false(unreach-call) 119.30 83.62 None svcomp/pthread-wmm/mix027_rmo.opt.yml false(unreach-call) 70.82 50.27 None svcomp/pthread-wmm/mix027_tso.oepc.yml ERROR: EXCEPTION 7.96 4.59 None svcomp/pthread-wmm/mix027_tso.opt.yml ERROR: EXCEPTION 7.66 4.67 None svcomp/pthread-wmm/mix028_power.oepc.yml false(unreach-call) 19.88 10.77 None svcomp/pthread-wmm/mix028_power.opt.yml ERROR: EXCEPTION 7.33 4.47 None svcomp/pthread-wmm/mix028_pso.oepc.yml false(unreach-call) 20.10 11.14 None svcomp/pthread-wmm/mix028_pso.opt.yml ERROR: EXCEPTION 9.52 5.60 None svcomp/pthread-wmm/mix028_rmo.oepc.yml false(unreach-call) 18.53 9.85 None svcomp/pthread-wmm/mix028_rmo.opt.yml ERROR: EXCEPTION 9.93 5.62 None svcomp/pthread-wmm/mix028_tso.oepc.yml ERROR: EXCEPTION 10.93 6.26 None svcomp/pthread-wmm/mix028_tso.opt.yml ERROR: EXCEPTION 10.36 5.96 None svcomp/pthread-wmm/mix029_power.oepc.yml false(unreach-call) 90.03 66.92 None svcomp/pthread-wmm/mix029_power.opt.yml ERROR: EXCEPTION 8.32 4.98 None svcomp/pthread-wmm/mix029_pso.oepc.yml false(unreach-call) 107.34 75.06 None svcomp/pthread-wmm/mix029_pso.opt.yml ERROR: EXCEPTION 10.34 5.99 None svcomp/pthread-wmm/mix029_rmo.oepc.yml false(unreach-call) 107.18 75.58 None svcomp/pthread-wmm/mix029_rmo.opt.yml ERROR: EXCEPTION 7.91 4.80 None svcomp/pthread-wmm/mix029_tso.oepc.yml false(unreach-call) 90.88 67.36 None svcomp/pthread-wmm/mix029_tso.opt.yml false(unreach-call) 108.72 75.25 None svcomp/pthread-wmm/mix030_power.oepc.yml false(unreach-call) 108.60 78.76 None svcomp/pthread-wmm/mix030_power.opt.yml ERROR: EXCEPTION 9.94 5.71 None svcomp/pthread-wmm/mix030_pso.oepc.yml false(unreach-call) 131.86 92.62 None svcomp/pthread-wmm/mix030_pso.opt.yml ERROR: EXCEPTION 7.74 4.76 None svcomp/pthread-wmm/mix030_rmo.oepc.yml false(unreach-call) 110.67 81.53 None svcomp/pthread-wmm/mix030_rmo.opt.yml ERROR: EXCEPTION 7.96 4.97 None svcomp/pthread-wmm/mix030_tso.oepc.yml ERROR: EXCEPTION 11.36 6.47 None svcomp/pthread-wmm/mix030_tso.opt.yml ERROR: EXCEPTION 8.63 4.82 None svcomp/pthread-wmm/mix031_power.oepc.yml false(unreach-call) 15.51 8.31 None svcomp/pthread-wmm/mix031_power.opt.yml false(unreach-call) 15.84 8.62 None svcomp/pthread-wmm/mix031_pso.oepc.yml false(unreach-call) 11.48 6.33 None svcomp/pthread-wmm/mix031_pso.opt.yml false(unreach-call) 15.22 8.05 None svcomp/pthread-wmm/mix031_rmo.oepc.yml false(unreach-call) 14.36 8.35 None svcomp/pthread-wmm/mix031_rmo.opt.yml false(unreach-call) 11.19 6.16 None svcomp/pthread-wmm/mix031_tso.oepc.yml false(unreach-call) 11.73 6.80 None svcomp/pthread-wmm/mix031_tso.opt.yml false(unreach-call) 15.42 8.51 None svcomp/pthread-wmm/mix032_power.oepc.yml false(unreach-call) 27.73 15.01 None svcomp/pthread-wmm/mix032_power.opt.yml false(unreach-call) 17.06 9.18 None svcomp/pthread-wmm/mix032_pso.oepc.yml false(unreach-call) 26.03 13.99 None svcomp/pthread-wmm/mix032_pso.opt.yml false(unreach-call) 17.91 9.82 None svcomp/pthread-wmm/mix032_rmo.oepc.yml false(unreach-call) 29.76 15.87 None svcomp/pthread-wmm/mix032_rmo.opt.yml false(unreach-call) 18.19 10.28 None svcomp/pthread-wmm/mix032_tso.oepc.yml false(unreach-call) 19.55 11.04 None svcomp/pthread-wmm/mix032_tso.opt.yml false(unreach-call) 24.25 12.98 None svcomp/pthread-wmm/mix033_power.oepc.yml false(unreach-call) 28.04 15.31 None svcomp/pthread-wmm/mix033_power.opt.yml false(unreach-call) 20.28 11.27 None svcomp/pthread-wmm/mix033_pso.oepc.yml false(unreach-call) 27.49 14.94 None svcomp/pthread-wmm/mix033_pso.opt.yml false(unreach-call) 20.45 11.28 None svcomp/pthread-wmm/mix033_rmo.oepc.yml false(unreach-call) 29.29 16.16 None svcomp/pthread-wmm/mix033_rmo.opt.yml false(unreach-call) 25.31 13.60 None svcomp/pthread-wmm/mix033_tso.oepc.yml ERROR: EXCEPTION 10.19 5.90 None svcomp/pthread-wmm/mix033_tso.opt.yml false(unreach-call) 19.60 10.96 None svcomp/pthread-wmm/mix034_power.oepc.yml false(unreach-call) 11.16 6.15 None svcomp/pthread-wmm/mix034_power.opt.yml false(unreach-call) 14.66 8.01 None svcomp/pthread-wmm/mix034_pso.oepc.yml false(unreach-call) 14.86 8.19 None svcomp/pthread-wmm/mix034_pso.opt.yml false(unreach-call) 14.78 7.88 None svcomp/pthread-wmm/mix034_rmo.oepc.yml false(unreach-call) 11.29 7.06 None svcomp/pthread-wmm/mix034_rmo.opt.yml false(unreach-call) 14.90 8.24 None svcomp/pthread-wmm/mix034_tso.oepc.yml false(unreach-call) 11.30 6.50 None svcomp/pthread-wmm/mix034_tso.opt.yml false(unreach-call) 14.74 8.03 None svcomp/pthread-wmm/mix035_power.oepc.yml false(unreach-call) 25.89 13.57 None svcomp/pthread-wmm/mix035_power.opt.yml false(unreach-call) 24.23 13.08 None svcomp/pthread-wmm/mix035_pso.oepc.yml false(unreach-call) 18.38 9.97 None svcomp/pthread-wmm/mix035_pso.opt.yml false(unreach-call) 16.72 8.90 None svcomp/pthread-wmm/mix035_rmo.oepc.yml false(unreach-call) 24.31 12.97 None svcomp/pthread-wmm/mix035_rmo.opt.yml false(unreach-call) 21.31 11.64 None svcomp/pthread-wmm/mix035_tso.oepc.yml false(unreach-call) 18.50 10.36 None svcomp/pthread-wmm/mix035_tso.opt.yml false(unreach-call) 17.29 9.51 None svcomp/pthread-wmm/mix036_power.oepc.yml false(unreach-call) 103.38 75.91 None svcomp/pthread-wmm/mix036_power.opt.yml false(unreach-call) 84.14 59.09 None svcomp/pthread-wmm/mix036_pso.oepc.yml false(unreach-call) 123.58 88.34 None svcomp/pthread-wmm/mix036_pso.opt.yml false(unreach-call) 77.61 51.50 None svcomp/pthread-wmm/mix036_rmo.oepc.yml false(unreach-call) 121.28 87.30 None svcomp/pthread-wmm/mix036_rmo.opt.yml false(unreach-call) 73.09 52.71 None svcomp/pthread-wmm/mix036_tso.oepc.yml false(unreach-call) 107.94 81.91 None svcomp/pthread-wmm/mix036_tso.opt.yml false(unreach-call) 77.65 51.50 None svcomp/pthread-wmm/mix037_power.oepc.yml false(unreach-call) 128.33 92.22 None svcomp/pthread-wmm/mix037_power.opt.yml false(unreach-call) 66.03 46.47 None svcomp/pthread-wmm/mix037_pso.oepc.yml false(unreach-call) 104.71 77.13 None svcomp/pthread-wmm/mix037_pso.opt.yml false(unreach-call) 79.18 52.11 None svcomp/pthread-wmm/mix037_rmo.oepc.yml false(unreach-call) 113.83 85.91 None svcomp/pthread-wmm/mix037_rmo.opt.yml false(unreach-call) 76.70 50.21 None svcomp/pthread-wmm/mix037_tso.oepc.yml ERROR: EXCEPTION 10.48 5.88 None svcomp/pthread-wmm/mix037_tso.opt.yml false(unreach-call) 64.63 45.18 None svcomp/pthread-wmm/mix038_power.oepc.yml false(unreach-call) 26.66 14.33 None svcomp/pthread-wmm/mix038_power.opt.yml false(unreach-call) 23.90 12.79 None svcomp/pthread-wmm/mix038_pso.oepc.yml false(unreach-call) 25.42 13.91 None svcomp/pthread-wmm/mix038_pso.opt.yml false(unreach-call) 23.60 12.87 None svcomp/pthread-wmm/mix038_rmo.oepc.yml false(unreach-call) 24.85 13.35 None svcomp/pthread-wmm/mix038_rmo.opt.yml false(unreach-call) 24.81 13.85 None svcomp/pthread-wmm/mix038_tso.oepc.yml ERROR: EXCEPTION 7.37 4.22 None svcomp/pthread-wmm/mix038_tso.opt.yml false(unreach-call) 17.40 9.43 None svcomp/pthread-wmm/mix039_power.oepc.yml false(unreach-call) 122.84 88.58 None svcomp/pthread-wmm/mix039_power.opt.yml false(unreach-call) 75.58 50.10 None svcomp/pthread-wmm/mix039_pso.oepc.yml false(unreach-call) 127.62 92.46 None svcomp/pthread-wmm/mix039_pso.opt.yml false(unreach-call) 58.83 40.87 None svcomp/pthread-wmm/mix039_rmo.oepc.yml false(unreach-call) 108.00 83.08 None svcomp/pthread-wmm/mix039_rmo.opt.yml false(unreach-call) 80.48 53.57 None svcomp/pthread-wmm/mix039_tso.oepc.yml false(unreach-call) 112.73 86.64 None svcomp/pthread-wmm/mix039_tso.opt.yml false(unreach-call) 59.54 40.96 None svcomp/pthread-wmm/mix040_power.oepc.yml false(unreach-call) 135.61 98.21 None svcomp/pthread-wmm/mix040_power.opt.yml false(unreach-call) 94.72 63.95 None svcomp/pthread-wmm/mix040_pso.oepc.yml false(unreach-call) 108.13 79.61 None svcomp/pthread-wmm/mix040_pso.opt.yml false(unreach-call) 86.55 57.57 None svcomp/pthread-wmm/mix040_rmo.oepc.yml false(unreach-call) 116.58 88.43 None svcomp/pthread-wmm/mix040_rmo.opt.yml false(unreach-call) 91.62 62.60 None svcomp/pthread-wmm/mix040_tso.oepc.yml ERROR: EXCEPTION 7.92 4.85 None svcomp/pthread-wmm/mix040_tso.opt.yml false(unreach-call) 74.28 52.81 None svcomp/pthread-wmm/mix041_power.oepc.yml false(unreach-call) 15.01 8.12 None svcomp/pthread-wmm/mix041_power.opt.yml ERROR: EXCEPTION 9.06 5.40 None svcomp/pthread-wmm/mix041_pso.oepc.yml false(unreach-call) 14.00 7.50 None svcomp/pthread-wmm/mix041_pso.opt.yml ERROR: EXCEPTION 9.77 5.56 None svcomp/pthread-wmm/mix041_rmo.oepc.yml false(unreach-call) 14.79 8.42 None svcomp/pthread-wmm/mix041_rmo.opt.yml ERROR: EXCEPTION 10.25 5.78 None svcomp/pthread-wmm/mix041_tso.oepc.yml ERROR: EXCEPTION 9.22 5.42 None svcomp/pthread-wmm/mix041_tso.opt.yml ERROR: EXCEPTION 10.00 5.71 None svcomp/pthread-wmm/mix042_power.oepc.yml false(unreach-call) 25.37 13.89 None svcomp/pthread-wmm/mix042_power.opt.yml ERROR: EXCEPTION 9.39 5.14 None svcomp/pthread-wmm/mix042_pso.oepc.yml false(unreach-call) 26.26 14.19 None svcomp/pthread-wmm/mix042_pso.opt.yml ERROR: EXCEPTION 9.45 5.55 None svcomp/pthread-wmm/mix042_rmo.oepc.yml false(unreach-call) 24.12 12.74 None svcomp/pthread-wmm/mix042_rmo.opt.yml ERROR: EXCEPTION 7.03 4.07 None svcomp/pthread-wmm/mix042_tso.oepc.yml false(unreach-call) 18.32 10.26 None svcomp/pthread-wmm/mix042_tso.opt.yml ERROR: EXCEPTION 9.74 5.84 None svcomp/pthread-wmm/mix043_power.oepc.yml false(unreach-call) 100.66 74.55 None svcomp/pthread-wmm/mix043_power.opt.yml ERROR: EXCEPTION 9.85 5.69 None svcomp/pthread-wmm/mix043_pso.oepc.yml false(unreach-call) 126.63 90.66 None svcomp/pthread-wmm/mix043_pso.opt.yml ERROR: EXCEPTION 9.80 5.95 None svcomp/pthread-wmm/mix043_rmo.oepc.yml false(unreach-call) 128.35 92.95 None svcomp/pthread-wmm/mix043_rmo.opt.yml ERROR: EXCEPTION 9.72 5.60 None svcomp/pthread-wmm/mix043_tso.oepc.yml false(unreach-call) 107.75 81.86 None svcomp/pthread-wmm/mix043_tso.opt.yml ERROR: EXCEPTION 7.87 4.47 None svcomp/pthread-wmm/mix044_power.oepc.yml false(unreach-call) 133.30 96.15 None svcomp/pthread-wmm/mix044_power.opt.yml ERROR: EXCEPTION 9.41 5.58 None svcomp/pthread-wmm/mix044_pso.oepc.yml false(unreach-call) 117.29 88.71 None svcomp/pthread-wmm/mix044_pso.opt.yml ERROR: EXCEPTION 9.39 5.48 None svcomp/pthread-wmm/mix044_rmo.oepc.yml false(unreach-call) 135.76 97.37 None svcomp/pthread-wmm/mix044_rmo.opt.yml ERROR: EXCEPTION 6.74 3.83 None svcomp/pthread-wmm/mix044_tso.oepc.yml ERROR: EXCEPTION 7.63 4.57 None svcomp/pthread-wmm/mix044_tso.opt.yml ERROR: EXCEPTION 7.18 4.04 None svcomp/pthread-wmm/mix045_power.oepc.yml false(unreach-call) 18.87 10.29 None svcomp/pthread-wmm/mix045_power.opt.yml ERROR: EXCEPTION 7.29 4.43 None svcomp/pthread-wmm/mix045_pso.oepc.yml false(unreach-call) 25.73 13.69 None svcomp/pthread-wmm/mix045_pso.opt.yml ERROR: EXCEPTION 7.05 4.05 None svcomp/pthread-wmm/mix045_rmo.oepc.yml false(unreach-call) 18.46 10.14 None svcomp/pthread-wmm/mix045_rmo.opt.yml ERROR: EXCEPTION 9.35 5.13 None svcomp/pthread-wmm/mix045_tso.oepc.yml ERROR: EXCEPTION 7.30 4.17 None svcomp/pthread-wmm/mix045_tso.opt.yml ERROR: EXCEPTION 7.63 4.29 None svcomp/pthread-wmm/mix046_power.oepc.yml false(unreach-call) 118.05 90.44 None svcomp/pthread-wmm/mix046_power.opt.yml ERROR: EXCEPTION 9.47 5.43 None svcomp/pthread-wmm/mix046_pso.oepc.yml false(unreach-call) 136.21 99.42 None svcomp/pthread-wmm/mix046_pso.opt.yml ERROR: EXCEPTION 9.51 5.95 None svcomp/pthread-wmm/mix046_rmo.oepc.yml false(unreach-call) 104.74 78.07 None svcomp/pthread-wmm/mix046_rmo.opt.yml ERROR: EXCEPTION 7.23 4.06 None svcomp/pthread-wmm/mix046_tso.oepc.yml false(unreach-call) 136.18 97.99 None svcomp/pthread-wmm/mix046_tso.opt.yml ERROR: EXCEPTION 7.47 4.53 None svcomp/pthread-wmm/mix047_power.oepc.yml false(unreach-call) 152.19 109.04 None svcomp/pthread-wmm/mix047_power.opt.yml ERROR: EXCEPTION 7.33 4.24 None svcomp/pthread-wmm/mix047_pso.oepc.yml false(unreach-call) 126.62 96.12 None svcomp/pthread-wmm/mix047_pso.opt.yml ERROR: EXCEPTION 9.05 5.24 None svcomp/pthread-wmm/mix047_rmo.oepc.yml false(unreach-call) 140.55 101.30 None svcomp/pthread-wmm/mix047_rmo.opt.yml ERROR: EXCEPTION 7.25 4.53 None svcomp/pthread-wmm/mix047_tso.oepc.yml ERROR: EXCEPTION 6.68 4.14 None svcomp/pthread-wmm/mix047_tso.opt.yml ERROR: EXCEPTION 7.85 4.93 None svcomp/pthread-wmm/mix048_power.oepc.yml false(unreach-call) 10.00 5.84 None svcomp/pthread-wmm/mix048_power.opt.yml false(unreach-call) 10.71 6.12 None svcomp/pthread-wmm/mix048_pso.oepc.yml false(unreach-call) 9.48 5.69 None svcomp/pthread-wmm/mix048_pso.opt.yml false(unreach-call) 10.82 6.57 None svcomp/pthread-wmm/mix048_rmo.oepc.yml false(unreach-call) 13.80 7.62 None svcomp/pthread-wmm/mix048_rmo.opt.yml false(unreach-call) 10.00 5.81 None svcomp/pthread-wmm/mix048_tso.oepc.yml false(unreach-call) 14.36 7.82 None svcomp/pthread-wmm/mix048_tso.opt.yml false(unreach-call) 9.99 5.77 None svcomp/pthread-wmm/mix049_power.oepc.yml false(unreach-call) 16.30 8.95 None svcomp/pthread-wmm/mix049_power.opt.yml false(unreach-call) 21.99 11.95 None svcomp/pthread-wmm/mix049_pso.oepc.yml false(unreach-call) 19.76 10.80 None svcomp/pthread-wmm/mix049_pso.opt.yml false(unreach-call) 16.09 9.36 None svcomp/pthread-wmm/mix049_rmo.oepc.yml false(unreach-call) 15.98 8.57 None svcomp/pthread-wmm/mix049_rmo.opt.yml false(unreach-call) 16.77 9.42 None svcomp/pthread-wmm/mix049_tso.oepc.yml false(unreach-call) 19.08 10.51 None svcomp/pthread-wmm/mix049_tso.opt.yml false(unreach-call) 19.36 10.85 None svcomp/pthread-wmm/mix050_power.oepc.yml false(unreach-call) 81.38 56.26 None svcomp/pthread-wmm/mix050_power.opt.yml false(unreach-call) 65.05 46.12 None svcomp/pthread-wmm/mix050_pso.oepc.yml false(unreach-call) 68.26 49.43 None svcomp/pthread-wmm/mix050_pso.opt.yml false(unreach-call) 85.02 57.33 None svcomp/pthread-wmm/mix050_rmo.oepc.yml false(unreach-call) 68.63 49.41 None svcomp/pthread-wmm/mix050_rmo.opt.yml false(unreach-call) 80.21 55.16 None svcomp/pthread-wmm/mix050_tso.oepc.yml false(unreach-call) 82.99 57.40 None svcomp/pthread-wmm/mix050_tso.opt.yml false(unreach-call) 63.37 45.30 None svcomp/pthread-wmm/mix051_power.oepc.yml false(unreach-call) 84.71 60.74 None svcomp/pthread-wmm/mix051_power.opt.yml false(unreach-call) 82.55 58.68 None svcomp/pthread-wmm/mix051_pso.oepc.yml false(unreach-call) 92.74 63.83 None svcomp/pthread-wmm/mix051_pso.opt.yml false(unreach-call) 60.92 39.31 None svcomp/pthread-wmm/mix051_rmo.oepc.yml false(unreach-call) 99.85 70.94 None svcomp/pthread-wmm/mix051_rmo.opt.yml false(unreach-call) 62.15 40.06 None svcomp/pthread-wmm/mix051_tso.oepc.yml ERROR: EXCEPTION 7.74 4.83 None svcomp/pthread-wmm/mix051_tso.opt.yml false(unreach-call) 46.49 31.30 None svcomp/pthread-wmm/mix052_power.oepc.yml false(unreach-call) 23.56 12.57 None svcomp/pthread-wmm/mix052_power.opt.yml false(unreach-call) 22.62 12.38 None svcomp/pthread-wmm/mix052_pso.oepc.yml false(unreach-call) 17.18 9.45 None svcomp/pthread-wmm/mix052_pso.opt.yml false(unreach-call) 20.84 11.40 None svcomp/pthread-wmm/mix052_rmo.oepc.yml false(unreach-call) 16.27 8.85 None svcomp/pthread-wmm/mix052_rmo.opt.yml false(unreach-call) 20.49 11.14 None svcomp/pthread-wmm/mix052_tso.oepc.yml ERROR: EXCEPTION 8.34 4.73 None svcomp/pthread-wmm/mix052_tso.opt.yml false(unreach-call) 20.12 11.04 None svcomp/pthread-wmm/mix053_power.oepc.yml false(unreach-call) 84.35 61.45 None svcomp/pthread-wmm/mix053_power.opt.yml false(unreach-call) 67.93 42.99 None svcomp/pthread-wmm/mix053_pso.oepc.yml false(unreach-call) 86.10 61.44 None svcomp/pthread-wmm/mix053_pso.opt.yml false(unreach-call) 51.68 34.22 None svcomp/pthread-wmm/mix053_rmo.oepc.yml false(unreach-call) 100.81 69.71 None svcomp/pthread-wmm/mix053_rmo.opt.yml false(unreach-call) 68.12 43.48 None svcomp/pthread-wmm/mix053_tso.oepc.yml ERROR: EXCEPTION 9.80 5.83 None svcomp/pthread-wmm/mix053_tso.opt.yml false(unreach-call) 69.14 43.87 None svcomp/pthread-wmm/mix054_power.oepc.yml false(unreach-call) 10.41 5.76 None svcomp/pthread-wmm/mix054_power.opt.yml false(unreach-call) 14.91 8.46 None svcomp/pthread-wmm/mix054_pso.oepc.yml false(unreach-call) 10.72 6.23 None svcomp/pthread-wmm/mix054_pso.opt.yml ERROR: EXCEPTION 9.73 5.75 None svcomp/pthread-wmm/mix054_rmo.oepc.yml false(unreach-call) 10.32 5.97 None svcomp/pthread-wmm/mix054_rmo.opt.yml ERROR: EXCEPTION 9.25 5.33 None svcomp/pthread-wmm/mix054_tso.oepc.yml ERROR: EXCEPTION 9.56 5.64 None svcomp/pthread-wmm/mix054_tso.opt.yml ERROR: EXCEPTION 6.72 3.83 None svcomp/pthread-wmm/mix055_power.oepc.yml false(unreach-call) 99.32 68.14 None svcomp/pthread-wmm/mix055_power.opt.yml ERROR: EXCEPTION 9.01 5.29 None svcomp/pthread-wmm/mix055_pso.oepc.yml false(unreach-call) 82.24 59.42 None svcomp/pthread-wmm/mix055_pso.opt.yml ERROR: EXCEPTION 6.86 3.92 None svcomp/pthread-wmm/mix055_rmo.oepc.yml false(unreach-call) 100.39 68.67 None svcomp/pthread-wmm/mix055_rmo.opt.yml ERROR: EXCEPTION 7.80 4.62 None svcomp/pthread-wmm/mix055_tso.oepc.yml ERROR: EXCEPTION 9.78 5.58 None svcomp/pthread-wmm/mix055_tso.opt.yml ERROR: EXCEPTION 6.74 3.88 None svcomp/pthread-wmm/mix056_power.oepc.yml false(unreach-call) 19.57 10.64 None svcomp/pthread-wmm/mix056_power.opt.yml ERROR: EXCEPTION 9.22 5.28 None svcomp/pthread-wmm/mix056_pso.oepc.yml false(unreach-call) 18.52 10.12 None svcomp/pthread-wmm/mix056_pso.opt.yml ERROR: EXCEPTION 9.74 5.67 None svcomp/pthread-wmm/mix056_rmo.oepc.yml false(unreach-call) 24.87 13.24 None svcomp/pthread-wmm/mix056_rmo.opt.yml ERROR: EXCEPTION 7.03 4.29 None svcomp/pthread-wmm/mix056_tso.oepc.yml ERROR: EXCEPTION 6.99 4.16 None svcomp/pthread-wmm/mix056_tso.opt.yml ERROR: EXCEPTION 8.90 5.30 None svcomp/pthread-wmm/mix057_power.oepc.yml false(unreach-call) 100.80 73.43 None svcomp/pthread-wmm/mix057_power.opt.yml ERROR: EXCEPTION 6.81 4.15 None svcomp/pthread-wmm/mix057_pso.oepc.yml false(unreach-call) 124.20 84.87 None svcomp/pthread-wmm/mix057_pso.opt.yml ERROR: EXCEPTION 7.20 4.27 None svcomp/pthread-wmm/mix057_rmo.oepc.yml false(unreach-call) 123.11 85.24 None svcomp/pthread-wmm/mix057_rmo.opt.yml ERROR: EXCEPTION 6.96 4.12 None svcomp/pthread-wmm/mix057_tso.oepc.yml ERROR: EXCEPTION 6.44 3.94 None svcomp/pthread-wmm/mix057_tso.opt.yml ERROR: EXCEPTION 6.94 3.97 None svcomp/pthread-wmm/podwr000_power.oepc.yml false(unreach-call) 9.85 5.45 None svcomp/pthread-wmm/podwr000_power.opt.yml false(unreach-call) 9.78 5.46 None svcomp/pthread-wmm/podwr000_pso.oepc.yml false(unreach-call) 10.10 5.57 None svcomp/pthread-wmm/podwr000_pso.opt.yml false(unreach-call) 10.98 6.12 None svcomp/pthread-wmm/podwr000_rmo.oepc.yml false(unreach-call) 9.94 5.40 None svcomp/pthread-wmm/podwr000_rmo.opt.yml false(unreach-call) 10.29 5.76 None svcomp/pthread-wmm/podwr000_tso.oepc.yml false(unreach-call) 13.32 7.33 None svcomp/pthread-wmm/podwr000_tso.opt.yml false(unreach-call) 10.14 5.64 None svcomp/pthread-wmm/podwr001_power.oepc.yml false(unreach-call) 20.54 11.06 None svcomp/pthread-wmm/podwr001_power.opt.yml false(unreach-call) 16.30 9.64 None svcomp/pthread-wmm/podwr001_pso.oepc.yml false(unreach-call) 21.60 11.75 None svcomp/pthread-wmm/podwr001_pso.opt.yml false(unreach-call) 14.38 8.05 None svcomp/pthread-wmm/podwr001_rmo.oepc.yml false(unreach-call) 15.29 8.68 None svcomp/pthread-wmm/podwr001_rmo.opt.yml false(unreach-call) 20.60 10.89 None svcomp/pthread-wmm/podwr001_tso.oepc.yml false(unreach-call) 14.56 7.78 None svcomp/pthread-wmm/podwr001_tso.opt.yml false(unreach-call) 20.89 11.15 None svcomp/pthread-wmm/rfi000_power.oepc.yml ERROR: EXCEPTION 9.02 5.07 None svcomp/pthread-wmm/rfi000_power.opt.yml ERROR: EXCEPTION 7.02 4.29 None svcomp/pthread-wmm/rfi000_pso.oepc.yml ERROR: EXCEPTION 11.82 6.44 None svcomp/pthread-wmm/rfi000_pso.opt.yml ERROR: EXCEPTION 7.07 4.09 None svcomp/pthread-wmm/rfi000_rmo.oepc.yml ERROR: EXCEPTION 8.69 4.96 None svcomp/pthread-wmm/rfi000_rmo.opt.yml ERROR: EXCEPTION 7.60 4.73 None svcomp/pthread-wmm/rfi000_tso.oepc.yml ERROR: EXCEPTION 11.76 6.95 None svcomp/pthread-wmm/rfi000_tso.opt.yml ERROR: EXCEPTION 8.60 5.11 None svcomp/pthread-wmm/rfi001_power.oepc.yml false(unreach-call) 15.59 8.57 None svcomp/pthread-wmm/rfi001_power.opt.yml ERROR: EXCEPTION 7.56 4.34 None svcomp/pthread-wmm/rfi001_pso.oepc.yml false(unreach-call) 11.66 6.65 None svcomp/pthread-wmm/rfi001_pso.opt.yml ERROR: EXCEPTION 9.64 5.52 None svcomp/pthread-wmm/rfi001_rmo.oepc.yml false(unreach-call) 10.88 5.93 None svcomp/pthread-wmm/rfi001_rmo.opt.yml ERROR: EXCEPTION 7.07 4.04 None svcomp/pthread-wmm/rfi001_tso.oepc.yml ERROR: EXCEPTION 7.89 4.97 None svcomp/pthread-wmm/rfi001_tso.opt.yml ERROR: EXCEPTION 9.78 5.94 None svcomp/pthread-wmm/rfi002_power.oepc.yml ERROR: EXCEPTION 11.72 6.70 None svcomp/pthread-wmm/rfi002_power.opt.yml ERROR: EXCEPTION 8.82 5.56 None svcomp/pthread-wmm/rfi002_pso.oepc.yml ERROR: EXCEPTION 8.48 5.03 None svcomp/pthread-wmm/rfi002_pso.opt.yml ERROR: EXCEPTION 12.02 6.80 None svcomp/pthread-wmm/rfi002_rmo.oepc.yml ERROR: EXCEPTION 9.31 5.23 None svcomp/pthread-wmm/rfi002_rmo.opt.yml ERROR: EXCEPTION 9.12 5.39 None svcomp/pthread-wmm/rfi002_tso.oepc.yml ERROR: EXCEPTION 13.43 7.71 None svcomp/pthread-wmm/rfi002_tso.opt.yml ERROR: EXCEPTION 12.74 7.27 None svcomp/pthread-wmm/rfi003_power.oepc.yml false(unreach-call) 14.52 7.90 None svcomp/pthread-wmm/rfi003_power.opt.yml false(unreach-call) 10.37 5.73 None svcomp/pthread-wmm/rfi003_pso.oepc.yml false(unreach-call) 14.41 8.04 None svcomp/pthread-wmm/rfi003_pso.opt.yml false(unreach-call) 11.11 6.08 None svcomp/pthread-wmm/rfi003_rmo.oepc.yml false(unreach-call) 11.06 6.38 None svcomp/pthread-wmm/rfi003_rmo.opt.yml false(unreach-call) 11.06 6.36 None svcomp/pthread-wmm/rfi003_tso.oepc.yml ERROR: EXCEPTION 11.90 6.67 None svcomp/pthread-wmm/rfi003_tso.opt.yml ERROR: EXCEPTION 11.26 6.56 None svcomp/pthread-wmm/rfi004_power.oepc.yml false(unreach-call) 14.77 8.17 None svcomp/pthread-wmm/rfi004_power.opt.yml false(unreach-call) 11.68 6.44 None svcomp/pthread-wmm/rfi004_pso.oepc.yml false(unreach-call) 15.06 8.23 None svcomp/pthread-wmm/rfi004_pso.opt.yml false(unreach-call) 11.40 6.67 None svcomp/pthread-wmm/rfi004_rmo.oepc.yml false(unreach-call) 11.37 6.40 None svcomp/pthread-wmm/rfi004_rmo.opt.yml false(unreach-call) 15.68 8.81 None svcomp/pthread-wmm/rfi004_tso.oepc.yml false(unreach-call) 14.59 7.97 None svcomp/pthread-wmm/rfi004_tso.opt.yml false(unreach-call) 11.28 6.50 None svcomp/pthread-wmm/rfi005_power.oepc.yml ERROR: EXCEPTION 11.52 6.23 None svcomp/pthread-wmm/rfi005_power.opt.yml ERROR: EXCEPTION 8.68 4.84 None svcomp/pthread-wmm/rfi005_pso.oepc.yml ERROR: EXCEPTION 11.66 6.38 None svcomp/pthread-wmm/rfi005_pso.opt.yml ERROR: EXCEPTION 8.38 4.77 None svcomp/pthread-wmm/rfi005_rmo.oepc.yml ERROR: EXCEPTION 11.46 6.29 None svcomp/pthread-wmm/rfi005_rmo.opt.yml ERROR: EXCEPTION 8.47 4.91 None svcomp/pthread-wmm/rfi005_tso.oepc.yml ERROR: EXCEPTION 11.54 6.66 None svcomp/pthread-wmm/rfi005_tso.opt.yml ERROR: EXCEPTION 11.74 6.58 None svcomp/pthread-wmm/rfi006_power.oepc.yml ERROR: EXCEPTION 6.58 3.87 None svcomp/pthread-wmm/rfi006_power.opt.yml ERROR: EXCEPTION 6.82 4.27 None svcomp/pthread-wmm/rfi006_pso.oepc.yml ERROR: EXCEPTION 11.03 6.30 None svcomp/pthread-wmm/rfi006_pso.opt.yml ERROR: EXCEPTION 8.67 4.91 None svcomp/pthread-wmm/rfi006_rmo.oepc.yml ERROR: EXCEPTION 7.20 4.44 None svcomp/pthread-wmm/rfi006_rmo.opt.yml ERROR: EXCEPTION 6.81 4.05 None svcomp/pthread-wmm/rfi006_tso.oepc.yml ERROR: EXCEPTION 11.30 6.32 None svcomp/pthread-wmm/rfi006_tso.opt.yml ERROR: EXCEPTION 10.95 6.13 None svcomp/pthread-wmm/rfi007_power.oepc.yml false(unreach-call) 15.43 8.53 None svcomp/pthread-wmm/rfi007_power.opt.yml false(unreach-call) 15.15 8.27 None svcomp/pthread-wmm/rfi007_pso.oepc.yml false(unreach-call) 12.42 6.86 None svcomp/pthread-wmm/rfi007_pso.opt.yml false(unreach-call) 11.52 6.71 None svcomp/pthread-wmm/rfi007_rmo.oepc.yml false(unreach-call) 11.13 6.09 None svcomp/pthread-wmm/rfi007_rmo.opt.yml false(unreach-call) 15.71 8.36 None svcomp/pthread-wmm/rfi007_tso.oepc.yml ERROR: EXCEPTION 10.33 5.90 None svcomp/pthread-wmm/rfi007_tso.opt.yml ERROR: EXCEPTION 10.61 6.08 None svcomp/pthread-wmm/rfi008_power.oepc.yml false(unreach-call) 12.95 7.04 None svcomp/pthread-wmm/rfi008_power.opt.yml false(unreach-call) 11.99 6.63 None svcomp/pthread-wmm/rfi008_pso.oepc.yml false(unreach-call) 13.15 7.30 None svcomp/pthread-wmm/rfi008_pso.opt.yml false(unreach-call) 16.25 8.79 None svcomp/pthread-wmm/rfi008_rmo.oepc.yml false(unreach-call) 16.90 9.36 None svcomp/pthread-wmm/rfi008_rmo.opt.yml false(unreach-call) 16.45 9.15 None svcomp/pthread-wmm/rfi008_tso.oepc.yml false(unreach-call) 16.41 9.05 None svcomp/pthread-wmm/rfi008_tso.opt.yml false(unreach-call) 11.96 6.81 None svcomp/pthread-wmm/rfi009_power.oepc.yml ERROR: EXCEPTION 7.43 4.53 None svcomp/pthread-wmm/rfi009_power.opt.yml false(unreach-call) 19.24 10.76 None svcomp/pthread-wmm/rfi009_pso.oepc.yml false(unreach-call) 26.31 14.20 None svcomp/pthread-wmm/rfi009_pso.opt.yml false(unreach-call) 20.23 11.52 None svcomp/pthread-wmm/rfi009_rmo.oepc.yml ERROR: EXCEPTION 9.80 5.48 None svcomp/pthread-wmm/rfi009_rmo.opt.yml false(unreach-call) 19.51 10.42 None svcomp/pthread-wmm/rfi009_tso.oepc.yml false(unreach-call) 26.65 14.17 None svcomp/pthread-wmm/rfi009_tso.opt.yml false(unreach-call) 24.19 12.69 None svcomp/pthread-wmm/rfi010_power.oepc.yml false(unreach-call) 16.10 8.83 None svcomp/pthread-wmm/rfi010_power.opt.yml false(unreach-call) 12.83 7.06 None svcomp/pthread-wmm/rfi010_pso.oepc.yml false(unreach-call) 11.80 6.82 None svcomp/pthread-wmm/rfi010_pso.opt.yml false(unreach-call) 11.44 6.53 None svcomp/pthread-wmm/rfi010_rmo.oepc.yml false(unreach-call) 15.76 8.58 None svcomp/pthread-wmm/rfi010_rmo.opt.yml false(unreach-call) 12.26 7.06 None svcomp/pthread-wmm/rfi010_tso.oepc.yml false(unreach-call) 15.04 8.47 None svcomp/pthread-wmm/rfi010_tso.opt.yml false(unreach-call) 16.16 9.11 None svcomp/pthread-wmm/safe000_power.oepc.yml ERROR: EXCEPTION 8.48 5.13 None svcomp/pthread-wmm/safe000_power.opt.yml ERROR: EXCEPTION 7.46 4.50 None svcomp/pthread-wmm/safe000_pso.oepc.yml true 11.36 6.41 None svcomp/pthread-wmm/safe000_pso.opt.yml true 10.21 5.69 None svcomp/pthread-wmm/safe000_rmo.oepc.yml ERROR: EXCEPTION 9.50 5.61 None svcomp/pthread-wmm/safe000_rmo.opt.yml ERROR: EXCEPTION 9.21 5.58 None svcomp/pthread-wmm/safe000_tso.oepc.yml true 10.96 6.45 None svcomp/pthread-wmm/safe000_tso.opt.yml true 14.67 8.01 None svcomp/pthread-wmm/safe001_power.oepc.yml ERROR: EXCEPTION 9.91 5.46 None svcomp/pthread-wmm/safe001_power.opt.yml ERROR: EXCEPTION 7.23 4.49 None svcomp/pthread-wmm/safe001_pso.oepc.yml ERROR: EXCEPTION 8.63 5.30 None svcomp/pthread-wmm/safe001_pso.opt.yml ERROR: EXCEPTION 9.69 5.82 None svcomp/pthread-wmm/safe001_rmo.oepc.yml ERROR: EXCEPTION 9.50 5.21 None svcomp/pthread-wmm/safe001_rmo.opt.yml ERROR: EXCEPTION 7.71 4.62 None svcomp/pthread-wmm/safe001_tso.oepc.yml true 11.74 6.43 None svcomp/pthread-wmm/safe001_tso.opt.yml true 16.58 8.74 None svcomp/pthread-wmm/safe002_power.oepc.yml ERROR: EXCEPTION 8.37 4.88 None svcomp/pthread-wmm/safe002_power.opt.yml false(unreach-call) 17.47 9.63 None svcomp/pthread-wmm/safe002_pso.oepc.yml false(unreach-call) 25.32 13.61 None svcomp/pthread-wmm/safe002_pso.opt.yml false(unreach-call) 23.37 12.35 None svcomp/pthread-wmm/safe002_rmo.oepc.yml ERROR: EXCEPTION 7.42 5.32 None svcomp/pthread-wmm/safe002_rmo.opt.yml false(unreach-call) 19.64 10.74 None svcomp/pthread-wmm/safe002_tso.oepc.yml true 19.03 10.20 None svcomp/pthread-wmm/safe002_tso.opt.yml true 17.00 9.27 None svcomp/pthread-wmm/safe003_power.oepc.yml ERROR: EXCEPTION 9.44 5.47 None svcomp/pthread-wmm/safe003_power.opt.yml ERROR: EXCEPTION 7.87 4.99 None svcomp/pthread-wmm/safe003_pso.oepc.yml ERROR: EXCEPTION 8.78 5.22 None svcomp/pthread-wmm/safe003_pso.opt.yml ERROR: EXCEPTION 11.72 6.72 None svcomp/pthread-wmm/safe003_rmo.oepc.yml ERROR: EXCEPTION 11.33 6.42 None svcomp/pthread-wmm/safe003_rmo.opt.yml ERROR: EXCEPTION 11.85 6.71 None svcomp/pthread-wmm/safe003_tso.oepc.yml true 11.25 6.10 None svcomp/pthread-wmm/safe003_tso.opt.yml true 9.43 5.55 None svcomp/pthread-wmm/safe004_power.oepc.yml ERROR: EXCEPTION 11.88 6.84 None svcomp/pthread-wmm/safe004_power.opt.yml ERROR: EXCEPTION 7.71 4.39 None svcomp/pthread-wmm/safe004_pso.oepc.yml ERROR: EXCEPTION 12.37 6.82 None svcomp/pthread-wmm/safe004_pso.opt.yml ERROR: EXCEPTION 10.55 6.00 None svcomp/pthread-wmm/safe004_rmo.oepc.yml ERROR: EXCEPTION 8.93 5.41 None svcomp/pthread-wmm/safe004_rmo.opt.yml ERROR: EXCEPTION 7.39 4.47 None svcomp/pthread-wmm/safe004_tso.oepc.yml true 14.60 8.25 None svcomp/pthread-wmm/safe004_tso.opt.yml true 11.04 6.03 None svcomp/pthread-wmm/safe005_power.oepc.yml false(unreach-call) 23.87 12.58 None svcomp/pthread-wmm/safe005_power.opt.yml false(unreach-call) 18.34 9.71 None svcomp/pthread-wmm/safe005_pso.oepc.yml false(unreach-call) 16.53 8.82 None svcomp/pthread-wmm/safe005_pso.opt.yml false(unreach-call) 23.93 12.88 None svcomp/pthread-wmm/safe005_rmo.oepc.yml false(unreach-call) 24.57 13.08 None svcomp/pthread-wmm/safe005_rmo.opt.yml false(unreach-call) 17.88 9.73 None svcomp/pthread-wmm/safe005_tso.oepc.yml true 15.47 8.66 None svcomp/pthread-wmm/safe005_tso.opt.yml true 13.16 7.33 None svcomp/pthread-wmm/safe006_power.oepc.yml ERROR: EXCEPTION 6.38 4.00 None svcomp/pthread-wmm/safe006_power.opt.yml ERROR: EXCEPTION 9.39 5.25 None svcomp/pthread-wmm/safe006_pso.oepc.yml true 11.09 6.41 None svcomp/pthread-wmm/safe006_pso.opt.yml true 8.42 4.69 None svcomp/pthread-wmm/safe006_rmo.oepc.yml ERROR: EXCEPTION 8.71 4.95 None svcomp/pthread-wmm/safe006_rmo.opt.yml ERROR: EXCEPTION 6.86 4.07 None svcomp/pthread-wmm/safe006_tso.oepc.yml true 10.46 5.75 None svcomp/pthread-wmm/safe006_tso.opt.yml true 10.67 5.97 None svcomp/pthread-wmm/safe007_power.oepc.yml ERROR: EXCEPTION 6.55 3.70 None svcomp/pthread-wmm/safe007_power.opt.yml ERROR: EXCEPTION 7.25 4.41 None svcomp/pthread-wmm/safe007_pso.oepc.yml true 13.39 7.24 None svcomp/pthread-wmm/safe007_pso.opt.yml true 15.01 8.42 None svcomp/pthread-wmm/safe007_rmo.oepc.yml ERROR: EXCEPTION 8.42 4.89 None svcomp/pthread-wmm/safe007_rmo.opt.yml ERROR: EXCEPTION 8.06 4.52 None svcomp/pthread-wmm/safe007_tso.oepc.yml true 10.44 5.75 None svcomp/pthread-wmm/safe007_tso.opt.yml true 14.22 7.63 None svcomp/pthread-wmm/safe008_power.oepc.yml ERROR: EXCEPTION 8.00 4.76 None svcomp/pthread-wmm/safe008_power.opt.yml ERROR: EXCEPTION 9.11 5.47 None svcomp/pthread-wmm/safe008_pso.oepc.yml ERROR: EXCEPTION 9.81 5.65 None svcomp/pthread-wmm/safe008_pso.opt.yml ERROR: EXCEPTION 7.66 4.35 None svcomp/pthread-wmm/safe008_rmo.oepc.yml ERROR: EXCEPTION 7.33 4.27 None svcomp/pthread-wmm/safe008_rmo.opt.yml ERROR: EXCEPTION 9.75 5.85 None svcomp/pthread-wmm/safe008_tso.oepc.yml true 13.40 7.42 None svcomp/pthread-wmm/safe008_tso.opt.yml true 15.55 8.66 None svcomp/pthread-wmm/safe009_power.oepc.yml ERROR: EXCEPTION 6.92 4.39 None svcomp/pthread-wmm/safe009_power.opt.yml ERROR: EXCEPTION 9.53 5.61 None svcomp/pthread-wmm/safe009_pso.oepc.yml true 14.16 7.92 None svcomp/pthread-wmm/safe009_pso.opt.yml true 10.81 6.29 None svcomp/pthread-wmm/safe009_rmo.oepc.yml ERROR: EXCEPTION 8.46 5.43 None svcomp/pthread-wmm/safe009_rmo.opt.yml ERROR: EXCEPTION 7.42 4.30 None svcomp/pthread-wmm/safe009_tso.oepc.yml true 12.85 7.35 None svcomp/pthread-wmm/safe009_tso.opt.yml true 15.98 8.67 None svcomp/pthread-wmm/safe010_power.oepc.yml ERROR: EXCEPTION 7.06 4.19 None svcomp/pthread-wmm/safe010_power.opt.yml ERROR: EXCEPTION 9.76 5.64 None svcomp/pthread-wmm/safe010_pso.oepc.yml ERROR: EXCEPTION 9.46 5.47 None svcomp/pthread-wmm/safe010_pso.opt.yml ERROR: EXCEPTION 7.54 4.74 None svcomp/pthread-wmm/safe010_rmo.oepc.yml ERROR: EXCEPTION 9.29 5.47 None svcomp/pthread-wmm/safe010_rmo.opt.yml ERROR: EXCEPTION 7.45 4.16 None svcomp/pthread-wmm/safe010_tso.oepc.yml true 8.65 4.81 None svcomp/pthread-wmm/safe010_tso.opt.yml true 8.56 4.74 None svcomp/pthread-wmm/safe011_power.oepc.yml ERROR: EXCEPTION 9.88 5.68 None svcomp/pthread-wmm/safe011_power.opt.yml ERROR: EXCEPTION 9.54 5.68 None svcomp/pthread-wmm/safe011_pso.oepc.yml ERROR: EXCEPTION 9.82 5.77 None svcomp/pthread-wmm/safe011_pso.opt.yml ERROR: EXCEPTION 9.01 5.35 None svcomp/pthread-wmm/safe011_rmo.oepc.yml ERROR: EXCEPTION 6.87 4.14 None svcomp/pthread-wmm/safe011_rmo.opt.yml ERROR: EXCEPTION 7.20 4.18 None svcomp/pthread-wmm/safe011_tso.oepc.yml true 12.84 7.42 None svcomp/pthread-wmm/safe011_tso.opt.yml true 16.81 9.00 None svcomp/pthread-wmm/safe012_power.oepc.yml ERROR: EXCEPTION 9.12 5.34 None svcomp/pthread-wmm/safe012_power.opt.yml ERROR: EXCEPTION 9.58 5.59 None svcomp/pthread-wmm/safe012_pso.oepc.yml false(unreach-call) 25.78 14.09 None svcomp/pthread-wmm/safe012_pso.opt.yml false(unreach-call) 15.98 8.67 None svcomp/pthread-wmm/safe012_rmo.oepc.yml ERROR: EXCEPTION 6.43 3.83 None svcomp/pthread-wmm/safe012_rmo.opt.yml false(unreach-call) 27.30 14.69 None svcomp/pthread-wmm/safe012_tso.oepc.yml true 11.74 6.38 None svcomp/pthread-wmm/safe012_tso.opt.yml true 18.37 10.05 None svcomp/pthread-wmm/safe013_power.oepc.yml false(unreach-call) 18.06 9.72 None svcomp/pthread-wmm/safe013_power.opt.yml false(unreach-call) 25.14 13.54 None svcomp/pthread-wmm/safe013_pso.oepc.yml false(unreach-call) 17.89 10.04 None svcomp/pthread-wmm/safe013_pso.opt.yml false(unreach-call) 17.78 9.65 None svcomp/pthread-wmm/safe013_rmo.oepc.yml false(unreach-call) 25.22 13.56 None svcomp/pthread-wmm/safe013_rmo.opt.yml false(unreach-call) 25.97 13.88 None svcomp/pthread-wmm/safe013_tso.oepc.yml true 12.47 6.66 None svcomp/pthread-wmm/safe013_tso.opt.yml true 13.18 7.62 None svcomp/pthread-wmm/safe014_power.oepc.yml ERROR: EXCEPTION 8.81 4.86 None svcomp/pthread-wmm/safe014_power.opt.yml ERROR: EXCEPTION 7.69 4.52 None svcomp/pthread-wmm/safe014_pso.oepc.yml true 18.42 10.03 None svcomp/pthread-wmm/safe014_pso.opt.yml true 12.14 6.84 None svcomp/pthread-wmm/safe014_rmo.oepc.yml ERROR: EXCEPTION 8.65 5.09 None svcomp/pthread-wmm/safe014_rmo.opt.yml ERROR: EXCEPTION 7.10 4.09 None svcomp/pthread-wmm/safe014_tso.oepc.yml true 13.83 7.76 None svcomp/pthread-wmm/safe014_tso.opt.yml true 17.85 9.82 None svcomp/pthread-wmm/safe015_power.oepc.yml ERROR: EXCEPTION 7.41 4.14 None svcomp/pthread-wmm/safe015_power.opt.yml ERROR: EXCEPTION 8.58 5.02 None svcomp/pthread-wmm/safe015_pso.oepc.yml true 14.94 8.45 None svcomp/pthread-wmm/safe015_pso.opt.yml true 18.98 10.05 None svcomp/pthread-wmm/safe015_rmo.oepc.yml ERROR: EXCEPTION 9.15 5.41 None svcomp/pthread-wmm/safe015_rmo.opt.yml ERROR: EXCEPTION 7.18 4.31 None svcomp/pthread-wmm/safe015_tso.oepc.yml true 14.77 7.94 None svcomp/pthread-wmm/safe015_tso.opt.yml true 18.51 9.95 None svcomp/pthread-wmm/safe016_power.oepc.yml ERROR: EXCEPTION 10.10 5.87 None svcomp/pthread-wmm/safe016_power.opt.yml ERROR: EXCEPTION 9.55 5.66 None svcomp/pthread-wmm/safe016_pso.oepc.yml true 35.53 21.39 None svcomp/pthread-wmm/safe016_pso.opt.yml true 33.42 21.81 None svcomp/pthread-wmm/safe016_rmo.oepc.yml ERROR: EXCEPTION 9.54 5.54 None svcomp/pthread-wmm/safe016_rmo.opt.yml ERROR: EXCEPTION 7.12 4.27 None svcomp/pthread-wmm/safe016_tso.oepc.yml true 43.60 26.15 None svcomp/pthread-wmm/safe016_tso.opt.yml true 44.95 25.83 None svcomp/pthread-wmm/safe017_power.oepc.yml ERROR: EXCEPTION 10.06 5.94 None svcomp/pthread-wmm/safe017_power.opt.yml ERROR: EXCEPTION 9.81 5.54 None svcomp/pthread-wmm/safe017_pso.oepc.yml ERROR: EXCEPTION 6.64 4.14 None svcomp/pthread-wmm/safe017_pso.opt.yml ERROR: EXCEPTION 9.80 5.83 None svcomp/pthread-wmm/safe017_rmo.oepc.yml ERROR: EXCEPTION 7.11 4.47 None svcomp/pthread-wmm/safe017_rmo.opt.yml ERROR: EXCEPTION 9.50 5.46 None svcomp/pthread-wmm/safe017_tso.oepc.yml true 11.63 6.78 None svcomp/pthread-wmm/safe017_tso.opt.yml true 14.99 8.24 None svcomp/pthread-wmm/safe018_power.oepc.yml ERROR: EXCEPTION 9.17 5.37 None svcomp/pthread-wmm/safe018_power.opt.yml ERROR: EXCEPTION 7.28 4.14 None svcomp/pthread-wmm/safe018_pso.oepc.yml true 12.64 6.94 None svcomp/pthread-wmm/safe018_pso.opt.yml true 11.72 6.32 None svcomp/pthread-wmm/safe018_rmo.oepc.yml ERROR: EXCEPTION 8.61 5.07 None svcomp/pthread-wmm/safe018_rmo.opt.yml ERROR: EXCEPTION 7.53 4.46 None svcomp/pthread-wmm/safe018_tso.oepc.yml true 15.59 8.97 None svcomp/pthread-wmm/safe018_tso.opt.yml true 12.03 6.70 None svcomp/pthread-wmm/safe019_power.oepc.yml ERROR: EXCEPTION 8.65 5.07 None svcomp/pthread-wmm/safe019_power.opt.yml ERROR: EXCEPTION 8.19 5.15 None svcomp/pthread-wmm/safe019_pso.oepc.yml true 31.46 18.90 None svcomp/pthread-wmm/safe019_pso.opt.yml true 45.87 27.25 None svcomp/pthread-wmm/safe019_rmo.oepc.yml ERROR: EXCEPTION 9.15 5.35 None svcomp/pthread-wmm/safe019_rmo.opt.yml ERROR: EXCEPTION 9.97 5.64 None svcomp/pthread-wmm/safe019_tso.oepc.yml true 34.13 20.89 None svcomp/pthread-wmm/safe019_tso.opt.yml true 44.73 25.87 None svcomp/pthread-wmm/safe020_power.oepc.yml ERROR: EXCEPTION 7.64 4.28 None svcomp/pthread-wmm/safe020_power.opt.yml ERROR: EXCEPTION 9.55 5.18 None svcomp/pthread-wmm/safe020_pso.oepc.yml true 13.39 7.38 None svcomp/pthread-wmm/safe020_pso.opt.yml true 15.51 8.57 None svcomp/pthread-wmm/safe020_rmo.oepc.yml ERROR: EXCEPTION 9.22 5.20 None svcomp/pthread-wmm/safe020_rmo.opt.yml ERROR: EXCEPTION 8.92 5.32 None svcomp/pthread-wmm/safe020_tso.oepc.yml true 12.59 6.87 None svcomp/pthread-wmm/safe020_tso.opt.yml true 15.44 8.57 None svcomp/pthread-wmm/safe021_power.oepc.yml false(unreach-call) 17.52 9.83 None svcomp/pthread-wmm/safe021_power.opt.yml ERROR: EXCEPTION 10.10 5.89 None svcomp/pthread-wmm/safe021_pso.oepc.yml false(unreach-call) 19.33 10.81 None svcomp/pthread-wmm/safe021_pso.opt.yml ERROR: EXCEPTION 7.50 4.91 None svcomp/pthread-wmm/safe021_rmo.oepc.yml false(unreach-call) 23.47 12.62 None svcomp/pthread-wmm/safe021_rmo.opt.yml false(unreach-call) 23.65 12.71 None svcomp/pthread-wmm/safe021_tso.oepc.yml true 16.82 9.87 None svcomp/pthread-wmm/safe021_tso.opt.yml true 12.65 7.21 None svcomp/pthread-wmm/safe022_power.oepc.yml false(unreach-call) 11.82 7.18 None svcomp/pthread-wmm/safe022_power.opt.yml false(unreach-call) 16.37 9.18 None svcomp/pthread-wmm/safe022_pso.oepc.yml false(unreach-call) 11.95 6.92 None svcomp/pthread-wmm/safe022_pso.opt.yml false(unreach-call) 10.99 6.05 None svcomp/pthread-wmm/safe022_rmo.oepc.yml false(unreach-call) 11.52 6.52 None svcomp/pthread-wmm/safe022_rmo.opt.yml false(unreach-call) 15.65 9.29 None svcomp/pthread-wmm/safe022_tso.oepc.yml true 12.09 6.68 None svcomp/pthread-wmm/safe022_tso.opt.yml true 12.11 6.82 None svcomp/pthread-wmm/safe023_power.oepc.yml ERROR: EXCEPTION 12.13 6.74 None svcomp/pthread-wmm/safe023_power.opt.yml ERROR: EXCEPTION 9.74 5.49 None svcomp/pthread-wmm/safe023_pso.oepc.yml ERROR: EXCEPTION 8.96 4.94 None svcomp/pthread-wmm/safe023_pso.opt.yml ERROR: EXCEPTION 9.60 5.65 None svcomp/pthread-wmm/safe023_rmo.oepc.yml ERROR: EXCEPTION 11.97 6.85 None svcomp/pthread-wmm/safe023_rmo.opt.yml ERROR: EXCEPTION 12.25 6.98 None svcomp/pthread-wmm/safe023_tso.oepc.yml true 16.58 9.19 None svcomp/pthread-wmm/safe023_tso.opt.yml true 17.04 9.35 None svcomp/pthread-wmm/safe024_power.oepc.yml false(unreach-call) 17.12 9.52 None svcomp/pthread-wmm/safe024_power.opt.yml false(unreach-call) 18.20 10.20 None svcomp/pthread-wmm/safe024_pso.oepc.yml false(unreach-call) 17.46 9.46 None svcomp/pthread-wmm/safe024_pso.opt.yml false(unreach-call) 21.52 11.66 None svcomp/pthread-wmm/safe024_rmo.oepc.yml false(unreach-call) 24.17 13.16 None svcomp/pthread-wmm/safe024_rmo.opt.yml false(unreach-call) 22.22 12.05 None svcomp/pthread-wmm/safe024_tso.oepc.yml true 15.72 8.61 None svcomp/pthread-wmm/safe024_tso.opt.yml true 12.35 7.26 None svcomp/pthread-wmm/safe025_power.oepc.yml ERROR: EXCEPTION 7.25 4.44 None svcomp/pthread-wmm/safe025_power.opt.yml ERROR: EXCEPTION 7.68 4.27 None svcomp/pthread-wmm/safe025_pso.oepc.yml true 12.92 7.23 None svcomp/pthread-wmm/safe025_pso.opt.yml true 13.12 7.39 None svcomp/pthread-wmm/safe025_rmo.oepc.yml ERROR: EXCEPTION 7.96 4.99 None svcomp/pthread-wmm/safe025_rmo.opt.yml ERROR: EXCEPTION 9.48 5.77 None svcomp/pthread-wmm/safe025_tso.oepc.yml true 18.10 9.93 None svcomp/pthread-wmm/safe025_tso.opt.yml true 17.45 9.59 None svcomp/pthread-wmm/safe026_power.oepc.yml false(unreach-call) 24.88 13.44 None svcomp/pthread-wmm/safe026_power.opt.yml false(unreach-call) 18.80 10.40 None svcomp/pthread-wmm/safe026_pso.oepc.yml false(unreach-call) 19.05 10.26 None svcomp/pthread-wmm/safe026_pso.opt.yml false(unreach-call) 24.57 13.24 None svcomp/pthread-wmm/safe026_rmo.oepc.yml false(unreach-call) 18.41 9.83 None svcomp/pthread-wmm/safe026_rmo.opt.yml false(unreach-call) 24.43 12.93 None svcomp/pthread-wmm/safe026_tso.oepc.yml true 15.26 8.61 None svcomp/pthread-wmm/safe026_tso.opt.yml true 11.77 6.53 None svcomp/pthread-wmm/safe027_power.oepc.yml ERROR: EXCEPTION 7.36 4.39 None svcomp/pthread-wmm/safe027_power.opt.yml ERROR: EXCEPTION 7.92 4.72 None svcomp/pthread-wmm/safe027_pso.oepc.yml true 41.70 23.97 None svcomp/pthread-wmm/safe027_pso.opt.yml true 40.06 23.25 None svcomp/pthread-wmm/safe027_rmo.oepc.yml ERROR: EXCEPTION 7.37 4.40 None svcomp/pthread-wmm/safe027_rmo.opt.yml ERROR: EXCEPTION 9.56 5.31 None svcomp/pthread-wmm/safe027_tso.oepc.yml true 34.12 20.47 None svcomp/pthread-wmm/safe027_tso.opt.yml true 31.03 18.48 None svcomp/pthread-wmm/safe028_power.oepc.yml ERROR: EXCEPTION 9.59 5.68 None svcomp/pthread-wmm/safe028_power.opt.yml ERROR: EXCEPTION 7.43 4.22 None svcomp/pthread-wmm/safe028_pso.oepc.yml true 15.21 8.05 None svcomp/pthread-wmm/safe028_pso.opt.yml true 10.98 6.31 None svcomp/pthread-wmm/safe028_rmo.oepc.yml ERROR: EXCEPTION 9.28 5.54 None svcomp/pthread-wmm/safe028_rmo.opt.yml ERROR: EXCEPTION 9.19 5.32 None svcomp/pthread-wmm/safe028_tso.oepc.yml true 14.37 7.80 None svcomp/pthread-wmm/safe028_tso.opt.yml true 11.44 6.20 None svcomp/pthread-wmm/safe029_power.oepc.yml ERROR: EXCEPTION 9.72 5.50 None svcomp/pthread-wmm/safe029_power.opt.yml ERROR: EXCEPTION 7.23 4.08 None svcomp/pthread-wmm/safe029_pso.oepc.yml ERROR: EXCEPTION 9.51 5.59 None svcomp/pthread-wmm/safe029_pso.opt.yml ERROR: EXCEPTION 7.64 4.63 None svcomp/pthread-wmm/safe029_rmo.oepc.yml ERROR: EXCEPTION 7.47 4.48 None svcomp/pthread-wmm/safe029_rmo.opt.yml ERROR: EXCEPTION 9.72 5.73 None svcomp/pthread-wmm/safe029_tso.oepc.yml true 11.17 6.35 None svcomp/pthread-wmm/safe029_tso.opt.yml true 7.96 4.77 None svcomp/pthread-wmm/safe030_power.oepc.yml ERROR: EXCEPTION 10.16 5.89 None svcomp/pthread-wmm/safe030_power.opt.yml ERROR: EXCEPTION 7.54 4.89 None svcomp/pthread-wmm/safe030_pso.oepc.yml ERROR: EXCEPTION 7.53 4.27 None svcomp/pthread-wmm/safe030_pso.opt.yml ERROR: EXCEPTION 9.28 5.28 None svcomp/pthread-wmm/safe030_rmo.oepc.yml ERROR: EXCEPTION 9.35 5.55 None svcomp/pthread-wmm/safe030_rmo.opt.yml ERROR: EXCEPTION 9.69 5.56 None svcomp/pthread-wmm/safe030_tso.oepc.yml true 14.56 7.91 None svcomp/pthread-wmm/safe030_tso.opt.yml true 13.67 7.78 None svcomp/pthread-wmm/safe031_power.oepc.yml false(unreach-call) 20.04 10.62 None svcomp/pthread-wmm/safe031_power.opt.yml ERROR: EXCEPTION 9.41 5.59 None svcomp/pthread-wmm/safe031_pso.oepc.yml false(unreach-call) 24.72 13.08 None svcomp/pthread-wmm/safe031_pso.opt.yml ERROR: EXCEPTION 9.22 5.41 None svcomp/pthread-wmm/safe031_rmo.oepc.yml false(unreach-call) 24.87 12.94 None svcomp/pthread-wmm/safe031_rmo.opt.yml ERROR: EXCEPTION 9.90 5.54 None svcomp/pthread-wmm/safe031_tso.oepc.yml true 13.14 7.28 None svcomp/pthread-wmm/safe031_tso.opt.yml true 12.73 7.27 None svcomp/pthread-wmm/safe032_power.oepc.yml ERROR: EXCEPTION 12.31 6.72 None svcomp/pthread-wmm/safe032_power.opt.yml ERROR: EXCEPTION 9.21 5.07 None svcomp/pthread-wmm/safe032_pso.oepc.yml ERROR: EXCEPTION 11.89 6.47 None svcomp/pthread-wmm/safe032_pso.opt.yml ERROR: EXCEPTION 8.40 4.74 None svcomp/pthread-wmm/safe032_rmo.oepc.yml ERROR: EXCEPTION 12.36 7.01 None svcomp/pthread-wmm/safe032_rmo.opt.yml ERROR: EXCEPTION 9.20 5.36 None svcomp/pthread-wmm/safe032_tso.oepc.yml true 14.28 8.01 None svcomp/pthread-wmm/safe032_tso.opt.yml true 11.14 6.12 None svcomp/pthread-wmm/safe033_power.oepc.yml false(unreach-call) 13.43 7.62 None svcomp/pthread-wmm/safe033_power.opt.yml false(unreach-call) 13.48 7.65 None svcomp/pthread-wmm/safe033_pso.oepc.yml false(unreach-call) 10.03 5.97 None svcomp/pthread-wmm/safe033_pso.opt.yml false(unreach-call) 9.81 5.74 None svcomp/pthread-wmm/safe033_rmo.oepc.yml false(unreach-call) 13.61 7.28 None svcomp/pthread-wmm/safe033_rmo.opt.yml false(unreach-call) 10.71 5.87 None svcomp/pthread-wmm/safe033_tso.oepc.yml true 10.97 5.93 None svcomp/pthread-wmm/safe033_tso.opt.yml true 10.81 6.10 None svcomp/pthread-wmm/safe034_power.oepc.yml false(unreach-call) 14.78 7.96 None svcomp/pthread-wmm/safe034_power.opt.yml false(unreach-call) 20.55 11.04 None svcomp/pthread-wmm/safe034_pso.oepc.yml false(unreach-call) 15.55 8.35 None svcomp/pthread-wmm/safe034_pso.opt.yml false(unreach-call) 15.29 8.20 None svcomp/pthread-wmm/safe034_rmo.oepc.yml false(unreach-call) 21.68 11.54 None svcomp/pthread-wmm/safe034_rmo.opt.yml false(unreach-call) 20.38 10.89 None svcomp/pthread-wmm/safe034_tso.oepc.yml true 15.16 8.55 None svcomp/pthread-wmm/safe034_tso.opt.yml true 12.10 6.72 None svcomp/pthread-wmm/safe035_power.oepc.yml ERROR: EXCEPTION 9.44 5.26 None svcomp/pthread-wmm/safe035_power.opt.yml ERROR: EXCEPTION 9.04 5.06 None svcomp/pthread-wmm/safe035_pso.oepc.yml true 15.93 8.64 None svcomp/pthread-wmm/safe035_pso.opt.yml true 14.77 8.07 None svcomp/pthread-wmm/safe035_rmo.oepc.yml true 12.30 6.56 None svcomp/pthread-wmm/safe035_rmo.opt.yml true 14.26 7.74 None svcomp/pthread-wmm/safe035_tso.oepc.yml true 10.74 6.31 None svcomp/pthread-wmm/safe035_tso.opt.yml true 14.10 7.55 None svcomp/pthread-wmm/safe036_power.oepc.yml true 7.68 4.82 None svcomp/pthread-wmm/safe036_power.opt.yml true 10.32 5.98 None svcomp/pthread-wmm/safe036_pso.oepc.yml true 7.59 4.36 None svcomp/pthread-wmm/safe036_pso.opt.yml true 8.14 4.95 None svcomp/pthread-wmm/safe036_rmo.oepc.yml true 7.44 4.30 None svcomp/pthread-wmm/safe036_rmo.opt.yml true 10.41 5.94 None svcomp/pthread-wmm/safe036_tso.oepc.yml true 10.41 6.15 None svcomp/pthread-wmm/safe036_tso.opt.yml true 10.82 6.23 None svcomp/pthread-wmm/safe037_power.oepc.yml true 10.74 6.16 None svcomp/pthread-wmm/safe037_power.opt.yml true 11.08 6.03 None svcomp/pthread-wmm/safe037_pso.oepc.yml true 10.67 5.85 None svcomp/pthread-wmm/safe037_pso.opt.yml true 14.17 8.05 None svcomp/pthread-wmm/safe037_rmo.oepc.yml true 14.32 7.69 None svcomp/pthread-wmm/safe037_rmo.opt.yml true 13.85 7.71 None svcomp/pthread-wmm/safe037_tso.oepc.yml true 14.73 7.99 None svcomp/pthread-wmm/safe037_tso.opt.yml true 10.76 6.27 None svcomp/pthread-wmm/thin000_power.oepc.yml ERROR: EXCEPTION 6.39 3.66 None svcomp/pthread-wmm/thin000_power.opt.yml ERROR: EXCEPTION 7.27 4.12 None svcomp/pthread-wmm/thin000_pso.oepc.yml true 11.26 6.40 None svcomp/pthread-wmm/thin000_pso.opt.yml true 7.74 4.73 None svcomp/pthread-wmm/thin000_rmo.oepc.yml ERROR: EXCEPTION 8.47 5.02 None svcomp/pthread-wmm/thin000_rmo.opt.yml ERROR: EXCEPTION 6.71 3.91 None svcomp/pthread-wmm/thin000_tso.oepc.yml true 10.52 6.02 None svcomp/pthread-wmm/thin000_tso.opt.yml true 11.07 6.14 None svcomp/pthread-wmm/thin001_power.oepc.yml ERROR: EXCEPTION 6.51 3.74 None svcomp/pthread-wmm/thin001_power.opt.yml ERROR: EXCEPTION 7.35 4.45 None svcomp/pthread-wmm/thin001_pso.oepc.yml true 10.68 6.01 None svcomp/pthread-wmm/thin001_pso.opt.yml true 14.78 8.29 None svcomp/pthread-wmm/thin001_rmo.oepc.yml ERROR: EXCEPTION 8.14 4.87 None svcomp/pthread-wmm/thin001_rmo.opt.yml ERROR: EXCEPTION 6.39 3.66 None svcomp/pthread-wmm/thin001_tso.oepc.yml true 13.89 7.54 None svcomp/pthread-wmm/thin001_tso.opt.yml true 16.64 9.24 None svcomp/pthread-wmm/thin002_power.oepc.yml ERROR: EXCEPTION 6.83 4.49 None svcomp/pthread-wmm/thin002_power.opt.yml ERROR: EXCEPTION 7.00 3.98 None svcomp/pthread-wmm/thin002_pso.oepc.yml true 42.08 25.90 None svcomp/pthread-wmm/thin002_pso.opt.yml true 34.71 21.87 None svcomp/pthread-wmm/thin002_rmo.oepc.yml ERROR: EXCEPTION 8.62 5.01 None svcomp/pthread-wmm/thin002_rmo.opt.yml ERROR: EXCEPTION 6.80 4.04 None svcomp/pthread-wmm/thin002_tso.oepc.yml true 37.39 22.85 None svcomp/pthread-wmm/thin002_tso.opt.yml true 47.04 29.33 None svcomp/pthread-lit/fk2012.yml TIMEOUT 901.38 854.03 None svcomp/pthread-lit/fkp2013-1.yml TIMEOUT 900.97 867.43 None svcomp/pthread-lit/fkp2013-2.yml TIMEOUT 901.08 854.01 None svcomp/pthread-lit/fkp2013_variant-1.yml TIMEOUT 900.97 853.37 None svcomp/pthread-lit/fkp2013_variant-2.yml false(unreach-call) 9.20 5.57 None svcomp/pthread-lit/fkp2014.yml ERROR: EXCEPTION 5.29 3.09 None svcomp/pthread-lit/qw2004-1.yml ERROR: EXCEPTION 5.35 3.06 None svcomp/pthread-lit/qw2004-2.yml ERROR: EXCEPTION 7.07 4.26 None svcomp/pthread-lit/qw2004_variant.yml ERROR: EXCEPTION 5.30 3.26 None svcomp/pthread-lit/sssc12.yml TIMEOUT 900.98 848.84 None svcomp/pthread-lit/sssc12_variant.yml TIMEOUT 900.94 849.84 None svcomp/ldv-races/race-1_1-join.yml true 7.55 4.23 None svcomp/ldv-races/race-1_2-join.yml false(unreach-call) 8.01 4.53 None svcomp/ldv-races/race-1_3-join.yml false(unreach-call) 7.81 4.49 None svcomp/ldv-races/race-2_1-container_of.yml TIMEOUT 900.38 744.56 None svcomp/ldv-races/race-2_2-container_of.yml TIMEOUT 900.59 738.55 None svcomp/ldv-races/race-2_3-container_of.yml ERROR: EXCEPTION 8.68 5.18 None svcomp/ldv-races/race-2_4-container_of.yml ERROR: EXCEPTION 8.41 4.92 None svcomp/ldv-races/race-2_5-container_of.yml false(unreach-call) 49.29 29.34 None svcomp/ldv-races/race-3_1-container_of-global.yml TIMEOUT 901.04 705.05 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 121.42 86.50 None svcomp/ldv-races/race-4_1-thread_local_vars.yml true 36.54 22.78 None svcomp/ldv-races/race-4_2-thread_local_vars.yml false(unreach-call) 54.62 33.86 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 22.44 12.18 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 24.32 13.05 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR: EXCEPTION 18.19 9.76 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml ERROR: EXCEPTION 10.42 6.10 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml ERROR: EXCEPTION 11.25 7.08 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR: EXCEPTION 13.85 7.69 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml ERROR: EXCEPTION 13.47 7.21 None svcomp/pthread-complex/bounded_buffer.yml TIMEOUT 902.31 816.32 None svcomp/pthread-complex/elimination_backoff_stack.yml ERROR: EXCEPTION 15.13 8.37 None svcomp/pthread-complex/safestack_relacy.yml ERROR: EXCEPTION 9.02 5.09 None svcomp/pthread-complex/workstealqueue_mutex-1.yml ERROR: EXCEPTION 11.82 6.80 None svcomp/pthread-complex/workstealqueue_mutex-2.yml ERROR: EXCEPTION 11.68 6.87 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 10.24 5.82 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 10.04 5.94 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 11.20 6.32 None svcomp/pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 10.41 5.87 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 10.92 6.01 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 9.30 5.19 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 10.25 5.75 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 9.40 5.72 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 9.79 5.77 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 9.67 5.43 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 10.04 5.62 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 9.55 5.46 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 9.82 5.58 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 9.30 5.55 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 9.29 5.22 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 9.65 5.70 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 9.58 5.29 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 10.06 5.89 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 9.91 5.61 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 11.86 6.38 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 7.40 4.32 None svcomp/pthread-C-DAC/pthread-demo-datarace-1.yml ERROR: EXCEPTION 9.60 5.93 None svcomp/pthread-C-DAC/pthread-demo-datarace-2.yml TIMEOUT 901.44 692.03 None svcomp/pthread-C-DAC/pthread-finding-k-matches.yml unknown 4.56 2.79 None svcomp/pthread-C-DAC/pthread-numerical-integration.yml unknown 5.92 3.53 None svcomp/pthread-divine/barrier_2t.yml ERROR: EXCEPTION 34.87 20.59 None svcomp/pthread-divine/barrier_3t.yml TIMEOUT 901.19 836.79 None svcomp/pthread-divine/condvar.yml true 10.59 6.82 None svcomp/pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 7.92 4.53 None svcomp/pthread-divine/divinefifo-bug_1w1r.yml TIMEOUT 900.97 718.63 None svcomp/pthread-divine/divinefifo_1w1r.yml TIMEOUT 900.43 753.82 None svcomp/pthread-divine/one_time_barrier_2t.yml ERROR: EXCEPTION 29.87 17.18 None svcomp/pthread-divine/one_time_barrier_3t.yml TIMEOUT 901.09 852.58 None svcomp/pthread-divine/one_time_barrier_twice_2t.yml ERROR: EXCEPTION 39.24 22.44 None svcomp/pthread-divine/one_time_barrier_twice_3t.yml TIMEOUT 901.08 844.91 None svcomp/pthread-divine/ring_1w1r-1.yml false(unreach-call) 8.84 5.46 None svcomp/pthread-divine/ring_1w1r-2.yml TIMEOUT 901.05 710.10 None svcomp/pthread-divine/ring_2w1r-1.yml TIMEOUT 901.44 675.31 None svcomp/pthread-divine/ring_2w1r-2.yml TIMEOUT 903.54 725.86 None svcomp/pthread-divine/tls_basic.yml unknown 4.60 2.71 None svcomp/pthread-divine/tls_destructor_worker.yml unknown 4.38 2.55 None svcomp/pthread-nondet/nondet-array-1.yml TIMEOUT 900.95 778.67 None svcomp/pthread-nondet/nondet-array-2.yml OUT OF MEMORY 851.25 727.05 None svcomp/pthread-nondet/nondet-loop-bound-1.yml OUT OF MEMORY 650.60 483.87 None svcomp/pthread-nondet/nondet-loop-bound-2.yml OUT OF MEMORY 791.35 556.04 None svcomp/pthread-nondet/nondet-loop-bound-variant-1.yml TIMEOUT 900.85 872.92 None svcomp/pthread-nondet/nondet-loop-bound-variant-2.yml TIMEOUT 900.88 865.76 None svcomp/goblint-regression/28-race_reach_01-simple_racing.yml TIMEOUT 901.45 817.64 None svcomp/goblint-regression/28-race_reach_02-simple_racefree.yml TIMEOUT 901.44 821.27 None svcomp/goblint-regression/28-race_reach_03-munge_racing.yml TIMEOUT 900.92 868.45 None svcomp/goblint-regression/28-race_reach_04-munge_racefree.yml TIMEOUT 900.84 867.84 None svcomp/goblint-regression/28-race_reach_05-lockfuns_racefree.yml TIMEOUT 900.90 789.47 None svcomp/goblint-regression/28-race_reach_06-cond_racing1.yml TIMEOUT 901.22 781.70 None svcomp/goblint-regression/28-race_reach_07-cond_racing2.yml TIMEOUT 901.52 812.10 None svcomp/goblint-regression/28-race_reach_08-cond_racefree.yml TIMEOUT 901.38 767.75 None svcomp/goblint-regression/28-race_reach_09-ptrmunge_racing.yml TIMEOUT 900.79 875.89 None svcomp/goblint-regression/28-race_reach_10-ptrmunge_racefree.yml TIMEOUT 901.06 861.05 None svcomp/goblint-regression/28-race_reach_11-ptr_racing.yml TIMEOUT 900.96 863.54 None svcomp/goblint-regression/28-race_reach_12-ptr_racefree.yml TIMEOUT 901.02 862.16 None svcomp/goblint-regression/28-race_reach_19-callback_racing.yml TIMEOUT 901.46 805.06 None svcomp/goblint-regression/28-race_reach_20-callback_racefree.yml TIMEOUT 901.67 779.87 None svcomp/goblint-regression/28-race_reach_21-deref_read_racing.yml TIMEOUT 911.43 821.08 None svcomp/goblint-regression/28-race_reach_22-deref_read_racefree.yml TIMEOUT 901.06 872.21 None svcomp/goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 5.20 3.36 None svcomp/goblint-regression/28-race_reach_24-sound_lock_racing.yml TIMEOUT 901.62 816.79 None svcomp/goblint-regression/28-race_reach_27-funptr_racing.yml TIMEOUT 900.94 860.68 None svcomp/goblint-regression/28-race_reach_28-funptr_racefree.yml TIMEOUT 900.94 859.84 None svcomp/goblint-regression/28-race_reach_36-indirect_racefree.yml TIMEOUT 900.96 863.24 None svcomp/goblint-regression/28-race_reach_37-indirect_racing.yml TIMEOUT 905.72 860.02 None svcomp/goblint-regression/28-race_reach_40-trylock_racing.yml unknown 3.84 2.24 None svcomp/goblint-regression/28-race_reach_41-trylock_racefree.yml TIMEOUT 901.56 813.68 None svcomp/goblint-regression/28-race_reach_42-trylock2_racefree.yml TIMEOUT 901.04 856.97 None svcomp/goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 7.07 4.38 None svcomp/goblint-regression/28-race_reach_46-escape_racefree.yml true 8.63 4.86 None svcomp/goblint-regression/28-race_reach_51-mutexptr_racefree.yml TIMEOUT 900.86 869.99 None svcomp/goblint-regression/28-race_reach_60-invariant_racefree.yml TIMEOUT 900.91 862.37 None svcomp/goblint-regression/28-race_reach_61-invariant_racing.yml TIMEOUT 900.93 864.35 None svcomp/goblint-regression/28-race_reach_70-funloop_racefree.yml TIMEOUT 901.47 815.28 None svcomp/goblint-regression/28-race_reach_71-funloop_racing.yml ERROR: EXCEPTION 316.09 270.93 None svcomp/goblint-regression/28-race_reach_72-funloop_hard_racing.yml TIMEOUT 901.49 793.72 None svcomp/goblint-regression/28-race_reach_73-funloop_hard_racefree.yml TIMEOUT 900.80 759.82 None svcomp/goblint-regression/28-race_reach_74-tricky_address1_racefree.yml TIMEOUT 901.13 846.65 None svcomp/goblint-regression/28-race_reach_75-tricky_address2_racefree.yml TIMEOUT 901.23 846.79 None svcomp/goblint-regression/28-race_reach_76-tricky_address3_racefree.yml TIMEOUT 901.39 823.75 None svcomp/goblint-regression/28-race_reach_77-tricky_address4_racing.yml TIMEOUT 901.59 822.17 None svcomp/goblint-regression/28-race_reach_78-equ_racing.yml TIMEOUT 901.06 862.65 None svcomp/goblint-regression/28-race_reach_79-equ_racefree.yml TIMEOUT 901.04 853.57 None svcomp/goblint-regression/28-race_reach_81-list_racing.yml TIMEOUT 900.93 868.13 None svcomp/goblint-regression/28-race_reach_82-list_racefree.yml TIMEOUT 901.22 838.59 None svcomp/goblint-regression/28-race_reach_83-list2_racing1.yml TIMEOUT 901.03 869.48 None svcomp/goblint-regression/28-race_reach_84-list2_racing2.yml TIMEOUT 908.09 871.93 None svcomp/goblint-regression/28-race_reach_85-list2_racefree.yml TIMEOUT 901.09 868.65 None svcomp/goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 906.15 888.41 None svcomp/goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 906.29 882.10 None svcomp/goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 907.66 861.81 None svcomp/goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 905.70 899.84 None svcomp/goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 905.69 900.35 None svcomp/goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 905.73 896.90 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml TIMEOUT 901.08 852.86 None concurrent/pthreads/NonAtomicIncrement_2Threads.c true 33.48 21.00 None concurrent/pthreads/distributed_search2.c ERROR: EXCEPTION 36.55 25.84 None concurrent/pthreads/distributed_search3.c ERROR: EXCEPTION 123.28 84.62 None concurrent/pthreads/distributed_search4.c TIMEOUT 901.30 806.62 None concurrent/pthreads/forkFork.c true 73.19 47.65 None concurrent/pthreads/forkJoinNotMod.c false(unreach-call) 9.09 5.38 None concurrent/pthreads/forkMultipleTimes.c false(unreach-call) 21.04 11.17 None concurrent/pthreads/globalVariableMultipleThreads.c false(unreach-call) 99.61 80.73 None concurrent/pthreads/multipleForkSameIdDifferentReturnType.c false(unreach-call) 23.37 12.49 None concurrent/pthreads/predecessorInAtomicBlockBug.c false(unreach-call) 7.18 4.39 None concurrent/pthreads/regression/ForkedModifiesGlobal.c true 6.08 3.51 None concurrent/pthreads/regression/SimpleFunctionPointer.c true 6.11 3.83 None concurrent/pthreads/regression/ThreadIdTest1.c false(unreach-call) 7.38 4.17 None concurrent/pthreads/regression/ThreadIdTest2.c true 10.13 5.55 None concurrent/pthreads/regression/ex1.c true 6.57 3.97 None concurrent/pthreads/regression/forkForkSimple.c true 6.77 4.16 None concurrent/pthreads/regression/forkJoinInLoop.c ERROR: EXCEPTION 8.14 4.73 None concurrent/pthreads/regression/forkMultipleParameter.c true 10.34 5.88 None concurrent/pthreads/regression/joinMultipleReturnValues.c true 12.50 7.06 None concurrent/pthreads/regression/join_correct.c ERROR: EXCEPTION 9.31 5.71 None concurrent/pthreads/regression/mainThreadTerminates.c false(unreach-call) 8.54 5.66 None concurrent/pthreads/regression/pthreadExitNull-safe.c true 6.36 3.88 None concurrent/pthreads/regression/pthreadExitSafe.c true 18.89 11.37 None concurrent/pthreads/regression/pthreadExitUnsafe.c false(unreach-call) 6.65 3.97 None concurrent/pthreads/regression/pthreadJoinCorrectThreadId.c true 11.40 6.37 None concurrent/pthreads/regression/pthreadMutex01-safe.c ERROR: EXCEPTION 6.35 3.72 None concurrent/pthreads/regression/pthreadMutex02-unsafe.c ERROR: EXCEPTION 5.71 3.17 None concurrent/pthreads/regression/pthreadReturn.c true 7.08 4.00 None concurrent/pthreads/regression/simpleReturn.c true 17.64 10.06 None concurrent/pthreads/regression/atomic/01-begin-end.c ERROR: EXCEPTION 6.26 3.94 None concurrent/pthreads/regression/atomic/02-atomic-function.c ERROR: EXCEPTION 6.55 3.82 None concurrent/pthreads/regression/atomic/03-assert.c true 6.92 4.20 None concurrent/pthreads/regression/atomic/04-if-else.c true 7.29 4.26 None concurrent/pthreads/regression/atomic/05-end-no-begin.c false(unreach-call) 7.27 4.43 None concurrent/pthreads/regression/atomic/06-begin-no-end.c ERROR: EXCEPTION 6.13 3.68 None concurrent/pthreads/regression/atomic/07-return-before-end.c true 6.81 3.87 None concurrent/pthreads/regression/atomic/08-abort-before-end.c true 6.54 3.76 None concurrent/pthreads/regression/atomic/09a-return-after-end.c true 7.22 4.64 None concurrent/pthreads/regression/atomic/09b-return-after-end.c false(unreach-call) 7.42 4.41 None concurrent/pthreads/regression/atomic/10-double-begin.c ERROR: EXCEPTION 6.29 4.18 None concurrent/pthreads/regression/atomic/11a-double-end.c ERROR: EXCEPTION 6.34 3.93 None concurrent/pthreads/regression/atomic/11b-double-end.c false(unreach-call) 7.01 3.86 None concurrent/pthreads/regression/atomic/11c-double-end.c ERROR: EXCEPTION 5.70 3.58 None concurrent/pthreads/regression/atomic/12-loop-within.c ERROR: EXCEPTION 4.67 2.83 None concurrent/pthreads/regression/atomic/13-loop-after.c ERROR: EXCEPTION 4.66 2.84 None concurrent/pthreads/regression/atomic/14a-subsequent-blocks.c ERROR: EXCEPTION 5.59 3.88 None concurrent/pthreads/regression/atomic/14b-subsequent-blocks.c ERROR: EXCEPTION 6.05 3.42 None concurrent/pthreads/regression/atomic/15-goto-within.c ERROR: EXCEPTION 5.09 3.25 None concurrent/pthreads/regression/atomic/16-goto-outside.c false(unreach-call) 7.16 3.99 None concurrent/pthreads/regression/atomic/17-pthread_exit.c true 7.60 4.61 None concurrent/pthreads/regression/atomic/18-conditional-atomic.c ERROR: EXCEPTION 5.23 3.56 None concurrent/bpl/LBE_bigexample_safe.bpl true 14.40 10.08 None concurrent/bpl/LBE_bigexample_safe_BA.bpl TIMEOUT 900.82 877.79 None concurrent/bpl/MirabelleConcurrentIncrement.bpl true 19.17 18.67 None concurrent/bpl/NonAtomicIncrement_2Threads_Loop.bpl true 14.76 10.03 None concurrent/bpl/fork_loop_inc.bpl TIMEOUT 900.92 873.37 None concurrent/bpl/fork_loop_local.bpl OUT OF MEMORY 396.15 301.14 None concurrent/bpl/fork_loop_mutex.bpl OUT OF MEMORY 866.22 793.51 None concurrent/bpl/fork_loop_noop.bpl TIMEOUT 901.01 872.54 None concurrent/bpl/fork_loop_unsafe.bpl false(unreach-call) 38.15 25.28 None concurrent/bpl/fork_loop_unsafe2.bpl false(unreach-call) 52.74 38.95 None concurrent/bpl/pthread_fkp_2014.bpl ERROR: TYPE ERROR 3.01 1.88 None concurrent/bpl/pthread_inc.bpl TIMEOUT 900.74 881.36 None concurrent/bpl/pthread_nondet_loop_bound.bpl TIMEOUT 906.32 617.58 None concurrent/bpl/single_assertion_test.bpl false(unreach-call) 4.13 2.45 None concurrent/bpl/sum_invariant.bpl true 128.55 95.51 None concurrent/bpl/regression/ForkInForkedProcedure01.bpl false(unreach-call) 4.14 2.52 None concurrent/bpl/regression/ForkInForkedProcedure02.bpl true 4.01 2.45 None concurrent/bpl/regression/ForkInLoop02-Incrementer.bpl false(unreach-call) 6.70 4.35 None concurrent/bpl/regression/JoinTheForkingThread.bpl false(unreach-call) 4.08 2.43 None concurrent/bpl/regression/LBE_Y_to_V.bpl true 3.59 2.16 None concurrent/bpl/regression/LBE_example_semanticCheck.bpl true 3.63 2.21 None concurrent/bpl/regression/SpecificationInliningProblem.bpl true 4.11 2.38 None concurrent/bpl/regression/ThreadIdListTest-Safe.bpl true 3.96 2.34 None concurrent/bpl/regression/ThreadIdTest-Safe.bpl true 4.32 2.50 None concurrent/bpl/regression/ThreadIdTest-Unsafe.bpl false(unreach-call) 4.22 2.47 None concurrent/bpl/regression/ThyssenKruppRelegation.bpl false(unreach-call) 3.53 2.22 None concurrent/bpl/regression/atomic.bpl ERROR: EXCEPTION 3.35 2.33 None concurrent/bpl/regression/cutoff_test.bpl false(unreach-call) 4.01 2.42 None concurrent/bpl/regression/example1.bpl false(unreach-call) 3.59 2.36 None concurrent/bpl/regression/example2.bpl true 4.07 2.37 None concurrent/bpl/regression/example_epsilon_write.bpl true 3.73 2.29 None concurrent/bpl/regression/example_interleaving.bpl true 5.16 3.05 None concurrent/bpl/regression/example_interleaving_simple.bpl true 3.84 2.32 None concurrent/bpl/regression/example_multiple_interleavings.bpl true 4.39 2.62 None concurrent/bpl/regression/example_unnecessary_interleavings.bpl true 3.87 2.38 None concurrent/bpl/regression/fork_in_loop.bpl false(unreach-call) 4.23 2.59 None concurrent/bpl/regression/fork_join_NotMod.bpl true 3.85 2.30 None concurrent/bpl/regression/fork_join_expression_type_not_found.bpl true 3.52 2.08 None concurrent/bpl/regression/fork_join_in_loop.bpl true 3.52 2.13 None concurrent/bpl/regression/fork_multiple_parameter.bpl true 5.04 3.01 None concurrent/bpl/regression/fork_multiple_times.bpl true 3.53 2.15 None concurrent/bpl/regression/fork_unchanged_local_variables2.bpl false(unreach-call) 4.13 2.40 None concurrent/bpl/regression/join_multiple_return_values.bpl true 4.40 2.60 None concurrent/bpl/regression/multiple_fork_same_id.bpl false(unreach-call) 4.09 2.50 None concurrent/bpl/regression/multiple_fork_same_id_different_return_type.bpl true 4.03 2.32 None concurrent/bpl/regression/multiple_fork_statements_different_types.bpl false(unreach-call) 3.88 2.28 None concurrent/bpl/regression/nested_fork.bpl false(unreach-call) 3.45 2.12 None concurrent/bpl/regression/showcase/Bakery.bpl true 4.90 2.90 None concurrent/bpl/regression/showcase/Fischer.bpl true 5.61 3.23 None concurrent/bpl/regression/showcase/FischerWithBug.bpl false(unreach-call) 5.12 3.05 None concurrent/bpl/regression/showcase/ForkJoinExplained.bpl true 4.59 2.76 None concurrent/bpl/regression/showcase/NonAtomicIncrement_2Threads.bpl false(unreach-call) 8.26 4.88 None concurrent/bpl/regression/showcase/Peterson.bpl true 4.09 2.43 None concurrent/bpl/regression/showcase/PetersonWithBug.bpl false(unreach-call) 4.33 2.59 None concurrent/bpl/mcr/example_10.bpl TIMEOUT 900.85 837.17 None concurrent/bpl/mcr/example_11.bpl TIMEOUT 900.67 890.66 None concurrent/bpl/mcr/example_12.bpl TIMEOUT 900.82 880.23 None concurrent/bpl/mcr/example_13.bpl TIMEOUT 900.65 864.05 None concurrent/bpl/mcr/example_14.bpl TIMEOUT 904.31 871.77 None concurrent/bpl/mcr/example_15.bpl TIMEOUT 906.13 812.23 None concurrent/bpl/mcr/example_16.bpl TIMEOUT 901.21 790.30 None concurrent/bpl/mcr/example_17.bpl TIMEOUT 901.22 782.20 None concurrent/bpl/mcr/example_18.bpl TIMEOUT 900.66 806.16 None concurrent/bpl/mcr/example_19.bpl TIMEOUT 901.18 755.67 None concurrent/bpl/mcr/example_2.bpl true 5.97 3.28 None concurrent/bpl/mcr/example_20.bpl TIMEOUT 905.76 771.30 None concurrent/bpl/mcr/example_3.bpl true 6.78 3.78 None concurrent/bpl/mcr/example_4.bpl true 11.75 6.39 None concurrent/bpl/mcr/example_5.bpl true 39.49 21.13 None concurrent/bpl/mcr/example_6.bpl true 196.09 145.25 None concurrent/bpl/mcr/example_7.bpl TIMEOUT 901.00 793.18 None concurrent/bpl/mcr/example_8.bpl TIMEOUT 902.80 761.03 None concurrent/bpl/mcr/example_9.bpl TIMEOUT 901.11 689.10 None concurrent/bpl/weaver-benchmarks/generated/array-eq-symm.wvr.yml ERROR: EXCEPTION 29.61 25.38 None concurrent/bpl/weaver-benchmarks/generated/array-eq-trans.wvr.yml ERROR: EXCEPTION 17.53 11.96 None concurrent/bpl/weaver-benchmarks/generated/clever.wvr.yml TIMEOUT 901.55 758.98 None concurrent/bpl/weaver-benchmarks/generated/fibonacci.wvr.yml TIMEOUT 901.89 821.26 None concurrent/bpl/weaver-benchmarks/generated/loop-tiling-eq.wvr.yml ERROR: EXCEPTION 5.42 3.82 None concurrent/bpl/weaver-benchmarks/generated/mult-comm.wvr.yml TIMEOUT 902.23 899.33 None concurrent/bpl/weaver-benchmarks/generated/mult-dist.wvr.yml OUT OF MEMORY 416.49 352.78 None concurrent/bpl/weaver-benchmarks/generated/mult-flipped-dist.wvr.yml TIMEOUT 902.75 664.67 None concurrent/bpl/weaver-benchmarks/generated/security.wvr.yml true 20.13 10.99 None concurrent/bpl/weaver-benchmarks/generated/spaghetti.wvr.yml true 5.95 3.40 None concurrent/bpl/weaver-benchmarks/generated/unroll-2.wvr.yml ERROR: EXCEPTION 4.62 2.65 None concurrent/bpl/weaver-benchmarks/generated/unroll-3.wvr.yml ERROR: EXCEPTION 4.82 2.68 None concurrent/bpl/weaver-benchmarks/generated/unroll-4.wvr.yml ERROR: EXCEPTION 4.64 2.64 None concurrent/bpl/weaver-benchmarks/generated/unroll-5.wvr.yml ERROR: EXCEPTION 3.35 2.08 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-2.wvr.yml ERROR: EXCEPTION 3.38 2.06 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-3.wvr.yml ERROR: EXCEPTION 4.30 2.83 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-4.wvr.yml ERROR: EXCEPTION 3.67 2.26 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-5.wvr.yml ERROR: EXCEPTION 4.31 2.56 None concurrent/bpl/weaver-benchmarks/generated/bench/exp1x3.wvr.yml TIMEOUT 903.55 861.40 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x3.wvr.yml OUT OF MEMORY 253.64 212.23 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x4.wvr.yml ERROR: EXCEPTION 111.09 85.28 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x6.wvr.yml ERROR: EXCEPTION 22.90 13.01 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x9.wvr.yml ERROR: EXCEPTION 29.37 16.65 None concurrent/bpl/weaver-benchmarks/generated/bench/exp3x3-opt.wvr.yml OUT OF MEMORY 775.53 493.33 None concurrent/bpl/weaver-benchmarks/generated/bench/exp3x3.wvr.yml TIMEOUT 902.28 539.57 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-subst.wvr.yml ERROR: EXCEPTION 82.09 81.05 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-symm.wvr.yml ERROR: EXCEPTION 7.95 5.46 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-trans.wvr.yml ERROR: EXCEPTION 24.29 21.94 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-opt-symm.wvr.yml TIMEOUT 900.25 854.20 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-subst.wvr.yml ERROR: EXCEPTION 11.32 6.70 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-symm.wvr.yml ERROR: EXCEPTION 7.43 4.28 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-trans.wvr.yml TIMEOUT 900.53 904.80 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-subst.wvr.yml ERROR: EXCEPTION 4.55 2.54 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-symm.wvr.yml ERROR: EXCEPTION 4.28 2.50 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-trans.wvr.yml ERROR: EXCEPTION 3.99 2.53 None concurrent/bpl/weaver-benchmarks/generated/chl/container-subst.wvr.yml ERROR: EXCEPTION 3.97 2.59 None concurrent/bpl/weaver-benchmarks/generated/chl/container-symm.wvr.yml ERROR: EXCEPTION 4.50 2.68 None concurrent/bpl/weaver-benchmarks/generated/chl/container-trans.wvr.yml ERROR: EXCEPTION 4.66 2.56 None concurrent/bpl/weaver-benchmarks/generated/chl/exp-term-subst.wvr.yml true 11.37 6.41 None concurrent/bpl/weaver-benchmarks/generated/chl/exp-term-symm.wvr.yml true 6.66 3.76 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-subst.wvr.yml true 13.72 7.93 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-symm.wvr.yml true 6.98 4.16 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-trans.wvr.yml true 8.95 4.99 None concurrent/bpl/weaver-benchmarks/generated/chl/match-subst.wvr.yml true 9.23 5.42 None concurrent/bpl/weaver-benchmarks/generated/chl/match-symm.wvr.yml true 7.17 4.01 None concurrent/bpl/weaver-benchmarks/generated/chl/match-trans.wvr.yml true 7.07 4.05 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-subst.wvr.yml ERROR: EXCEPTION 4.80 2.82 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-symm.wvr.yml ERROR: EXCEPTION 3.86 2.50 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-trans.wvr.yml ERROR: EXCEPTION 4.71 2.83 None concurrent/bpl/weaver-benchmarks/generated/chl/node-subst.wvr.yml true 11.38 6.82 None concurrent/bpl/weaver-benchmarks/generated/chl/node-symm.wvr.yml true 7.21 3.95 None concurrent/bpl/weaver-benchmarks/generated/chl/node-trans.wvr.yml true 9.91 5.46 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-subst.wvr.yml ERROR: EXCEPTION 3.68 2.30 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-symm.wvr.yml ERROR: EXCEPTION 3.39 2.14 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-trans.wvr.yml ERROR: EXCEPTION 4.84 2.75 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-subst.wvr.yml ERROR: EXCEPTION 107.49 76.90 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-symm.wvr.yml ERROR: EXCEPTION 33.50 19.04 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-trans.wvr.yml ERROR: EXCEPTION 31.95 17.92 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-subst.wvr.yml true 12.22 6.90 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-symm.wvr.yml true 6.16 3.53 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-trans.wvr.yml true 8.21 4.63 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-subst.wvr.yml true 10.12 5.67 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-symm.wvr.yml true 6.42 3.64 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-trans.wvr.yml true 6.41 3.71 None concurrent/bpl/weaver-benchmarks/generated/chl/time-subst.wvr.yml ERROR: EXCEPTION 4.12 2.50 None concurrent/bpl/weaver-benchmarks/generated/chl/time-symm.wvr.yml ERROR: EXCEPTION 4.63 2.70 None concurrent/bpl/weaver-benchmarks/generated/chl/time-trans.wvr.yml ERROR: EXCEPTION 4.25 2.53 None concurrent/bpl/weaver-benchmarks/generated/chl/word-subst.wvr.yml ERROR: EXCEPTION 149.12 136.52 None concurrent/bpl/weaver-benchmarks/generated/chl/word-symm.wvr.yml ERROR: EXCEPTION 11.20 6.89 None concurrent/bpl/weaver-benchmarks/generated/chl/word-trans.wvr.yml ERROR: EXCEPTION 59.76 38.48 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-2.wvr.yml true 6.07 3.98 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-3.wvr.yml true 31.49 18.25 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-4.wvr.yml TIMEOUT 902.54 680.10 None concurrent/bpl/weaver-benchmarks/generated/parallel/barrier-loop.wvr.yml false(unreach-call) 14.53 7.87 None concurrent/bpl/weaver-benchmarks/generated/parallel/barrier.wvr.yml TIMEOUT 901.01 718.20 None concurrent/bpl/weaver-benchmarks/generated/parallel/bluetooth.wvr.yml true 4.23 2.89 None concurrent/bpl/weaver-benchmarks/generated/parallel/lamport.wvr.yml true 13.55 7.45 None concurrent/bpl/weaver-benchmarks/generated/parallel/min-max-1.wvr.yml true 4.61 2.96 None concurrent/bpl/weaver-benchmarks/generated/parallel/min-max-2.wvr.yml ERROR: EXCEPTION 36.65 23.95 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-1.wvr.yml ERROR: EXCEPTION 6.32 4.30 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2-unrolled-atomic.wvr.yml ERROR: EXCEPTION 3.50 2.07 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2-unrolled.wvr.yml true 5.56 3.60 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2.wvr.yml OUT OF MEMORY 844.16 641.88 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-3-extended.wvr.yml true 27.51 17.09 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-3.wvr.yml true 4.80 3.16 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-4.wvr.yml true 6.65 4.60 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-5.wvr.yml TIMEOUT 905.43 884.73 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-1-dsl.wvr.yml ERROR: EXCEPTION 12.62 7.95 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-1.wvr.yml ERROR: EXCEPTION 7.42 4.70 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-2.wvr.yml ERROR: EXCEPTION 10.85 6.78 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-equiv.wvr.yml ERROR: EXCEPTION 10.07 6.11 None concurrent/bpl/weaver-benchmarks/generated/parallel/simple-equiv.wvr.yml true 7.77 4.33 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-2.wvr.yml true 5.89 3.55 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-3.wvr.yml true 8.22 4.68 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-4.wvr.yml true 16.50 8.81 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-5.wvr.yml true 79.59 52.14 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-6.wvr.yml TIMEOUT 902.76 563.44 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-7.wvr.yml OUT OF MEMORY 736.87 650.37 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-8.wvr.yml TIMEOUT 900.94 879.23 None concurrent/bpl/weaver-benchmarks/generated/popl20/channel-sum.wvr.yml ERROR: EXCEPTION 4.52 2.99 None concurrent/bpl/weaver-benchmarks/generated/popl20/commit-1.wvr.yml ERROR: EXCEPTION 6.96 4.14 None concurrent/bpl/weaver-benchmarks/generated/popl20/commit-2.wvr.yml ERROR: EXCEPTION 6.95 4.09 None concurrent/bpl/weaver-benchmarks/generated/popl20/counter-determinism.wvr.yml TIMEOUT 903.69 566.52 None concurrent/bpl/weaver-benchmarks/generated/popl20/counter-fun.wvr.yml ERROR: EXCEPTION 5.76 3.90 None concurrent/bpl/weaver-benchmarks/generated/popl20/difference-det.wvr.yml OUT OF MEMORY 548.34 355.33 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure1-alt.wvr.yml true 40.38 30.75 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure1.wvr.yml TIMEOUT 900.70 731.56 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure3.wvr.yml TIMEOUT 900.65 732.80 None concurrent/bpl/weaver-benchmarks/generated/popl20/horseshoe.wvr.yml ERROR: EXCEPTION 5.78 3.59 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-dec.wvr.yml ERROR: EXCEPTION 8.25 5.42 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-inc-dec.wvr.yml ERROR: EXCEPTION 21.81 14.58 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-inc.wvr.yml ERROR: EXCEPTION 9.77 6.15 None concurrent/bpl/weaver-benchmarks/generated/popl20/mult-4.wvr.yml OUT OF MEMORY 368.43 228.33 None concurrent/bpl/weaver-benchmarks/generated/popl20/mult-equiv.wvr.yml TIMEOUT 900.85 640.49 None concurrent/bpl/weaver-benchmarks/generated/popl20/nonblocking-cntr-alt.wvr.yml TIMEOUT 901.29 773.23 None concurrent/bpl/weaver-benchmarks/generated/popl20/nonblocking-cntr.wvr.yml TIMEOUT 900.22 770.62 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons-eq.wvr.yml ERROR: EXCEPTION 6.49 3.93 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons.wvr.yml ERROR: EXCEPTION 74.03 52.91 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons3.wvr.yml ERROR: EXCEPTION 118.66 88.03 None concurrent/bpl/weaver-benchmarks/generated/popl20/queue-add-2.wvr.yml ERROR: EXCEPTION 9.40 5.93 None concurrent/bpl/weaver-benchmarks/generated/popl20/queue-add-3.wvr.yml ERROR: EXCEPTION 10.67 6.52 None concurrent/bpl/weaver-benchmarks/generated/popl20/send-receive-alt.wvr.yml ERROR: EXCEPTION 5.53 3.46 None concurrent/bpl/weaver-benchmarks/generated/popl20/send-receive.wvr.yml ERROR: EXCEPTION 6.45 3.89 None concurrent/bpl/weaver-benchmarks/generated/popl20/simple-array-sum.wvr.yml ERROR: EXCEPTION 8.07 5.00 None concurrent/bpl/weaver-benchmarks/generated/popl20/simple-queue.wvr.yml ERROR: EXCEPTION 5.70 3.47 None concurrent/bpl/weaver-benchmarks/generated/popl20/threaded-sum-3.wvr.yml TIMEOUT 900.46 751.50 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-max.wvr.yml ERROR: EXCEPTION 8.51 4.92 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-min.wvr.yml ERROR: EXCEPTION 8.42 4.91 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-sum.wvr.yml ERROR: EXCEPTION 10.28 6.63 None concurrent/bpl/weaver-benchmarks/generated/popl20/two-queue.wvr.yml ERROR: EXCEPTION 6.83 4.14 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/buffer-mult-alt.wvr.yml ERROR: EXCEPTION 23.83 14.99 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/commit-1.wvr.yml ERROR: EXCEPTION 9.01 5.95 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/commit-2.wvr.yml ERROR: EXCEPTION 9.06 5.85 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/counter-queue.wvr.yml TIMEOUT 905.72 847.30 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/dot-product-alt.wvr.yml ERROR: EXCEPTION 7.34 4.35 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/dot-product.wvr.yml ERROR: EXCEPTION 157.64 119.24 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/ring-nondet.wvr.yml ERROR: EXCEPTION 9.88 6.03 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/ring.wvr.yml ERROR: EXCEPTION 11.75 7.18 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/threaded-sum-2.wvr.yml true 154.90 120.18 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/three-array-sum-alt.wvr.yml ERROR: EXCEPTION 8.54 5.25 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/array-sum-alt.wvr.yml ERROR: EXCEPTION 12.42 7.81 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/array-sum.wvr.yml ERROR: EXCEPTION 7.69 4.50 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-mult.wvr.yml ERROR: EXCEPTION 10.21 6.17 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-series-array.wvr.yml ERROR: EXCEPTION 10.22 6.28 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-series.wvr.yml ERROR: EXCEPTION 10.67 6.38 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dec-subseq-array.wvr.yml ERROR: EXCEPTION 8.29 5.27 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dec-subseq.wvr.yml ERROR: EXCEPTION 8.41 5.18 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dot-product-array.wvr.yml ERROR: EXCEPTION 7.10 4.20 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dot-product.wvr.yml ERROR: EXCEPTION 7.56 4.43 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/inc-subseq-array.wvr.yml ERROR: EXCEPTION 8.65 5.34 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/inc-subseq.wvr.yml ERROR: EXCEPTION 8.64 5.57 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-array-hom.wvr.yml ERROR: EXCEPTION 7.55 4.36 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-array.wvr.yml ERROR: EXCEPTION 7.06 4.18 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-fun-alt.wvr.yml ERROR: EXCEPTION 5.82 3.52 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-fun.wvr.yml ERROR: EXCEPTION 7.60 4.45 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-array-hom.wvr.yml ERROR: EXCEPTION 8.15 5.08 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-array.wvr.yml ERROR: EXCEPTION 5.74 3.50 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-fun-alt.wvr.yml ERROR: EXCEPTION 7.60 4.38 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-fun.wvr.yml ERROR: EXCEPTION 7.86 4.74 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-le-max.wvr.yml true 6.04 4.11 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/mts-array.wvr.yml ERROR: EXCEPTION 8.17 4.69 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/mts.wvr.yml ERROR: EXCEPTION 7.92 4.69 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/multiply-verify.wvr.yml TIMEOUT 905.16 723.45 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/nonblocking-counter-alt2.wvr.yml TIMEOUT 901.80 752.44 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/parray-copy.wvr.yml ERROR: EXCEPTION 7.29 4.38 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/queue-add-2-nl.wvr.yml ERROR: EXCEPTION 13.68 8.34 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/queue-add-3-nl.wvr.yml ERROR: EXCEPTION 10.94 6.42 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sorted.wvr.yml TIMEOUT 902.57 859.79 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-array-hom.wvr.yml ERROR: EXCEPTION 5.49 3.42 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-array.wvr.yml ERROR: EXCEPTION 5.41 3.31 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-fun-alt.wvr.yml ERROR: EXCEPTION 5.28 3.72 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-fun.wvr.yml ERROR: EXCEPTION 5.28 3.29 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/vector-add.wvr.yml ERROR: EXCEPTION 5.80 3.53 None concurrent/bpl/weaver-benchmarks/generated/popl20-proofs/counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 285.01 177.49 None concurrent/bpl/weaver-benchmarks/generated/test/context1.wvr.yml ERROR: EXCEPTION 4.60 2.91 None concurrent/bpl/weaver-benchmarks/generated/test/easy1.wvr.yml true 22.21 20.58 None concurrent/bpl/weaver-benchmarks/generated/test/easy10.wvr.yml TIMEOUT 900.48 747.89 None concurrent/bpl/weaver-benchmarks/generated/test/easy11.wvr.yml true 72.30 61.12 None concurrent/bpl/weaver-benchmarks/generated/test/easy6.wvr.yml true 9.82 5.47 None concurrent/bpl/weaver-benchmarks/generated/test/easy7.wvr.yml true 7.55 4.21 None concurrent/bpl/weaver-benchmarks/generated/test/easy8.wvr.yml true 5.17 2.90 None concurrent/bpl/weaver-benchmarks/generated/test/hard1.wvr.yml TIMEOUT 901.46 633.19 None concurrent/bpl/weaver-benchmarks/generated/test/semi1.wvr.yml true 4.19 2.60 None ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 175278.85 22494.20 - Automizer FA.Separately Run set 2 of 2 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-NoLbe-Separate.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/pthread/bigshot_p.yml false(unreach-call) 11.35 6.33 None svcomp/pthread/bigshot_s.yml UNKNOWN: OverapproxCex 7.19 4.10 None svcomp/pthread/bigshot_s2.yml UNKNOWN: OverapproxCex 7.07 4.01 None svcomp/pthread/fib_bench-1.yml TIMEOUT 905.64 878.11 None svcomp/pthread/fib_bench-2.yml TIMEOUT 902.31 873.84 None svcomp/pthread/fib_bench_longer-1.yml TIMEOUT 905.59 881.59 None svcomp/pthread/fib_bench_longer-2.yml TIMEOUT 900.82 882.10 None svcomp/pthread/fib_bench_longest-1.yml TIMEOUT 905.43 892.32 None svcomp/pthread/fib_bench_longest-2.yml TIMEOUT 905.90 882.11 None svcomp/pthread/indexer.yml ERROR: EXCEPTION 10.55 6.48 None svcomp/pthread/lazy01.yml false(unreach-call) 10.82 6.19 None svcomp/pthread/queue.yml TIMEOUT 901.10 768.16 None svcomp/pthread/queue_longer.yml TIMEOUT 900.56 785.26 None svcomp/pthread/queue_longest.yml TIMEOUT 900.73 781.95 None svcomp/pthread/queue_ok.yml ERROR: EXCEPTION 16.24 9.24 None svcomp/pthread/queue_ok_longer.yml ERROR: EXCEPTION 16.34 9.05 None svcomp/pthread/queue_ok_longest.yml ERROR: EXCEPTION 12.43 7.09 None svcomp/pthread/reorder_2.yml ERROR: EXCEPTION 4.59 2.89 None svcomp/pthread/reorder_5.yml ERROR: EXCEPTION 6.25 3.64 None svcomp/pthread/sigma.yml TIMEOUT 901.24 834.95 None svcomp/pthread/singleton.yml false(unreach-call) 227.22 162.95 None svcomp/pthread/singleton_with-uninit-problems.yml OUT OF MEMORY 336.03 238.74 None svcomp/pthread/stack-1.yml ERROR: EXCEPTION 39.26 23.78 None svcomp/pthread/stack-2.yml false(unreach-call) 29.45 18.59 None svcomp/pthread/stack_longer-1.yml false(unreach-call) 27.71 16.45 None svcomp/pthread/stack_longer-2.yml TIMEOUT 900.80 868.68 None svcomp/pthread/stack_longest-1.yml false(unreach-call) 24.23 14.65 None svcomp/pthread/stack_longest-2.yml TIMEOUT 900.64 878.68 None svcomp/pthread/stateful01-1.yml false(unreach-call) 7.63 4.91 None svcomp/pthread/stateful01-2.yml true 7.51 4.25 None svcomp/pthread/sync01.yml true 6.95 4.01 None svcomp/pthread/triangular-1.yml true 53.89 41.08 None svcomp/pthread/triangular-2.yml false(unreach-call) 43.19 32.36 None svcomp/pthread/triangular-longer-1.yml true 249.82 209.27 None svcomp/pthread/triangular-longer-2.yml false(unreach-call) 181.11 163.86 None svcomp/pthread/triangular-longest-1.yml TIMEOUT 900.61 826.75 None svcomp/pthread/triangular-longest-2.yml TIMEOUT 901.40 783.97 None svcomp/pthread/twostage_3.yml ERROR: EXCEPTION 6.11 3.65 None svcomp/pthread-atomic/dekker.yml true 9.41 5.64 None svcomp/pthread-atomic/gcd-2.yml TIMEOUT 900.53 877.02 None svcomp/pthread-atomic/lamport.yml true 13.47 7.49 None svcomp/pthread-atomic/peterson.yml true 9.79 5.47 None svcomp/pthread-atomic/qrcu-1.yml ERROR: EXCEPTION 7.45 4.41 None svcomp/pthread-atomic/qrcu-2.yml ERROR: EXCEPTION 7.23 4.43 None svcomp/pthread-atomic/read_write_lock-1.yml true 51.56 31.37 None svcomp/pthread-atomic/read_write_lock-2.yml false(unreach-call) 55.19 35.66 None svcomp/pthread-atomic/scull.yml TIMEOUT 901.01 806.07 None svcomp/pthread-atomic/szymanski.yml true 11.50 6.53 None svcomp/pthread-atomic/time_var_mutex.yml true 9.40 5.43 None svcomp/pthread-ext/01_inc.yml TIMEOUT 901.08 857.13 None svcomp/pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 6.59 4.10 None svcomp/pthread-ext/03_incdec.yml TIMEOUT 900.85 866.80 None svcomp/pthread-ext/04_incdec_cas.yml ERROR: EXCEPTION 5.93 3.93 None svcomp/pthread-ext/05_tas.yml ERROR: EXCEPTION 5.18 3.36 None svcomp/pthread-ext/06_ticket.yml TIMEOUT 903.84 826.44 None svcomp/pthread-ext/07_rand.yml TIMEOUT 900.34 853.72 None svcomp/pthread-ext/08_rand_cas.yml ERROR: EXCEPTION 5.42 3.29 None svcomp/pthread-ext/09_fmaxsym.yml TIMEOUT (true) 901.54 721.86 None svcomp/pthread-ext/10_fmaxsym_cas.yml ERROR: EXCEPTION 6.99 4.01 None svcomp/pthread-ext/11_fmaxsymopt.yml TIMEOUT 907.99 851.49 None svcomp/pthread-ext/12_fmaxsymopt_cas.yml ERROR: EXCEPTION 5.63 3.50 None svcomp/pthread-ext/13_unverif.yml TIMEOUT (true) 901.51 818.74 None svcomp/pthread-ext/14_spin2003.yml TIMEOUT 901.11 861.85 None svcomp/pthread-ext/17_szymanski.yml true 8.70 5.22 None svcomp/pthread-ext/18_read_write_lock.yml true 6.21 4.02 None svcomp/pthread-ext/23_lu-fig2.fixed.yml true 8.97 5.09 None svcomp/pthread-ext/25_stack.yml ERROR: EXCEPTION 6.08 3.90 None svcomp/pthread-ext/25_stack_longer-1.yml ERROR: EXCEPTION 7.45 4.43 None svcomp/pthread-ext/25_stack_longer-2.yml ERROR: EXCEPTION 6.08 3.51 None svcomp/pthread-ext/25_stack_longest-1.yml ERROR: EXCEPTION 7.58 4.36 None svcomp/pthread-ext/25_stack_longest-2.yml ERROR: EXCEPTION 6.07 3.73 None svcomp/pthread-ext/26_stack_cas.yml ERROR: EXCEPTION 7.73 4.35 None svcomp/pthread-ext/26_stack_cas_longer-1.yml ERROR: EXCEPTION 6.21 3.82 None svcomp/pthread-ext/26_stack_cas_longer-2.yml ERROR: EXCEPTION 5.75 3.30 None svcomp/pthread-ext/26_stack_cas_longest-1.yml ERROR: EXCEPTION 7.83 4.78 None svcomp/pthread-ext/26_stack_cas_longest-2.yml ERROR: EXCEPTION 6.06 3.79 None svcomp/pthread-ext/27_Boop_simple_vf.yml false(unreach-call) 10.17 5.72 None svcomp/pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 6.25 3.85 None svcomp/pthread-ext/29_conditionals_vs.yml TIMEOUT 901.20 835.39 None svcomp/pthread-ext/30_Function_Pointer3_vs.yml TIMEOUT 901.12 856.93 None svcomp/pthread-ext/31_simple_loop5_vs.yml TIMEOUT 900.93 867.68 None svcomp/pthread-ext/32_pthread5_vs.yml false(unreach-call) 20.96 12.72 None svcomp/pthread-ext/33_double_lock_p1_vs.yml ERROR: EXCEPTION 7.46 4.54 None svcomp/pthread-ext/34_double_lock_p2_vs.yml ERROR: EXCEPTION 7.51 4.32 None svcomp/pthread-ext/35_double_lock_p3_vs.yml ERROR: EXCEPTION 7.24 4.32 None svcomp/pthread-ext/36_stack_cas_p0_vs_concur.yml ERROR: EXCEPTION 7.16 4.29 None svcomp/pthread-ext/37_stack_lock_p0_vs_concur.yml ERROR: EXCEPTION 10.34 6.17 None svcomp/pthread-ext/38_rand_cas_vs_concur.yml ERROR: EXCEPTION 7.23 4.30 None svcomp/pthread-ext/39_rand_lock_p0_vs.yml TIMEOUT 901.14 863.97 None svcomp/pthread-ext/40_barrier_vf.yml false(unreach-call) 94.24 73.98 None svcomp/pthread-ext/41_FreeBSD_abd_kbd_sliced.yml false(unreach-call) 35.50 24.38 None svcomp/pthread-ext/42_FreeBSD_rdma_addr_sliced.yml TIMEOUT 900.94 868.42 None svcomp/pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: TYPE ERROR 6.28 3.67 None svcomp/pthread-ext/44_Solaris_space_map_sliced.yml TIMEOUT 901.14 847.03 None svcomp/pthread-ext/45_monabsex1_vs.yml TIMEOUT 901.52 804.47 None svcomp/pthread-ext/46_monabsex2_vs.yml TIMEOUT 901.29 873.17 None svcomp/pthread-ext/47_ticket_lock_hc_backoff_vs.yml ERROR: EXCEPTION 7.17 4.77 None svcomp/pthread-ext/48_ticket_lock_low_contention_vs.yml ERROR: EXCEPTION 5.35 3.15 None svcomp/pthread-wmm/mix000_power.oepc.yml false(unreach-call) 12.90 7.15 None svcomp/pthread-wmm/mix000_power.opt.yml false(unreach-call) 12.37 6.89 None svcomp/pthread-wmm/mix000_pso.oepc.yml false(unreach-call) 12.77 7.25 None svcomp/pthread-wmm/mix000_pso.opt.yml false(unreach-call) 12.79 7.17 None svcomp/pthread-wmm/mix000_rmo.oepc.yml false(unreach-call) 12.89 7.23 None svcomp/pthread-wmm/mix000_rmo.opt.yml false(unreach-call) 12.92 7.14 None svcomp/pthread-wmm/mix000_tso.oepc.yml false(unreach-call) 13.37 7.31 None svcomp/pthread-wmm/mix000_tso.opt.yml false(unreach-call) 12.49 7.39 None svcomp/pthread-wmm/mix001_power.oepc.yml false(unreach-call) 23.33 13.38 None svcomp/pthread-wmm/mix001_power.opt.yml false(unreach-call) 20.48 11.33 None svcomp/pthread-wmm/mix001_pso.oepc.yml false(unreach-call) 21.96 12.83 None svcomp/pthread-wmm/mix001_pso.opt.yml false(unreach-call) 20.73 11.33 None svcomp/pthread-wmm/mix001_rmo.oepc.yml false(unreach-call) 21.55 12.61 None svcomp/pthread-wmm/mix001_rmo.opt.yml false(unreach-call) 20.70 11.34 None svcomp/pthread-wmm/mix001_tso.oepc.yml false(unreach-call) 22.12 12.88 None svcomp/pthread-wmm/mix001_tso.opt.yml false(unreach-call) 20.85 11.47 None svcomp/pthread-wmm/mix002_power.oepc.yml false(unreach-call) 21.64 13.07 None svcomp/pthread-wmm/mix002_power.opt.yml false(unreach-call) 20.91 11.62 None svcomp/pthread-wmm/mix002_pso.oepc.yml false(unreach-call) 23.08 13.29 None svcomp/pthread-wmm/mix002_pso.opt.yml false(unreach-call) 19.67 11.31 None svcomp/pthread-wmm/mix002_rmo.oepc.yml false(unreach-call) 22.79 12.82 None svcomp/pthread-wmm/mix002_rmo.opt.yml false(unreach-call) 20.42 11.10 None svcomp/pthread-wmm/mix002_tso.oepc.yml false(unreach-call) 22.72 13.08 None svcomp/pthread-wmm/mix002_tso.opt.yml false(unreach-call) 21.99 12.43 None svcomp/pthread-wmm/mix003_power.oepc.yml false(unreach-call) 19.94 11.50 None svcomp/pthread-wmm/mix003_power.opt.yml false(unreach-call) 19.07 10.60 None svcomp/pthread-wmm/mix003_pso.oepc.yml false(unreach-call) 20.44 11.40 None svcomp/pthread-wmm/mix003_pso.opt.yml false(unreach-call) 19.39 10.23 None svcomp/pthread-wmm/mix003_rmo.oepc.yml false(unreach-call) 20.45 11.75 None svcomp/pthread-wmm/mix003_rmo.opt.0.1.yml false(unreach-call) 18.43 10.14 None svcomp/pthread-wmm/mix003_rmo.opt.0.yml false(unreach-call) 18.18 10.30 None svcomp/pthread-wmm/mix003_rmo.opt.yml false(unreach-call) 19.47 10.69 None svcomp/pthread-wmm/mix003_tso.oepc.yml false(unreach-call) 18.93 10.69 None svcomp/pthread-wmm/mix003_tso.opt.yml false(unreach-call) 19.03 10.74 None svcomp/pthread-wmm/mix004_power.oepc.yml false(unreach-call) 138.12 112.11 None svcomp/pthread-wmm/mix004_power.opt.yml false(unreach-call) 89.68 68.35 None svcomp/pthread-wmm/mix004_pso.oepc.yml false(unreach-call) 169.82 133.60 None svcomp/pthread-wmm/mix004_pso.opt.yml false(unreach-call) 88.74 69.31 None svcomp/pthread-wmm/mix004_rmo.oepc.yml false(unreach-call) 132.24 106.78 None svcomp/pthread-wmm/mix004_rmo.opt.yml false(unreach-call) 86.68 66.50 None svcomp/pthread-wmm/mix004_tso.oepc.yml false(unreach-call) 170.32 133.18 None svcomp/pthread-wmm/mix004_tso.opt.yml false(unreach-call) 90.23 70.45 None svcomp/pthread-wmm/mix005_power.oepc.yml false(unreach-call) 143.47 115.42 None svcomp/pthread-wmm/mix005_power.opt.yml false(unreach-call) 84.67 62.02 None svcomp/pthread-wmm/mix005_pso.oepc.yml false(unreach-call) 172.42 134.02 None svcomp/pthread-wmm/mix005_pso.opt.yml false(unreach-call) 80.09 58.54 None svcomp/pthread-wmm/mix005_rmo.oepc.yml false(unreach-call) 155.59 126.01 None svcomp/pthread-wmm/mix005_rmo.opt.yml false(unreach-call) 81.89 58.47 None svcomp/pthread-wmm/mix005_tso.oepc.yml ERROR: EXCEPTION 9.92 5.58 None svcomp/pthread-wmm/mix005_tso.opt.yml false(unreach-call) 85.25 64.20 None svcomp/pthread-wmm/mix006_power.oepc.yml false(unreach-call) 26.25 14.48 None svcomp/pthread-wmm/mix006_power.opt.yml false(unreach-call) 28.84 15.29 None svcomp/pthread-wmm/mix006_pso.oepc.yml false(unreach-call) 28.08 15.37 None svcomp/pthread-wmm/mix006_pso.opt.yml false(unreach-call) 21.00 11.21 None svcomp/pthread-wmm/mix006_rmo.oepc.yml false(unreach-call) 26.00 14.57 None svcomp/pthread-wmm/mix006_rmo.opt.yml false(unreach-call) 28.81 15.27 None svcomp/pthread-wmm/mix006_tso.oepc.yml ERROR: EXCEPTION 9.95 5.51 None svcomp/pthread-wmm/mix006_tso.opt.yml false(unreach-call) 20.54 11.54 None svcomp/pthread-wmm/mix007_power.oepc.yml false(unreach-call) 178.17 140.04 None svcomp/pthread-wmm/mix007_power.opt.yml false(unreach-call) 82.82 60.18 None svcomp/pthread-wmm/mix007_pso.oepc.yml false(unreach-call) 171.57 134.95 None svcomp/pthread-wmm/mix007_pso.opt.yml false(unreach-call) 106.49 75.60 None svcomp/pthread-wmm/mix007_rmo.oepc.yml false(unreach-call) 155.36 127.10 None svcomp/pthread-wmm/mix007_rmo.opt.yml false(unreach-call) 100.03 73.04 None svcomp/pthread-wmm/mix007_tso.oepc.yml false(unreach-call) 146.59 118.70 None svcomp/pthread-wmm/mix007_tso.opt.yml false(unreach-call) 102.73 72.10 None svcomp/pthread-wmm/mix008_power.oepc.yml false(unreach-call) 174.81 142.22 None svcomp/pthread-wmm/mix008_power.opt.yml false(unreach-call) 121.01 85.73 None svcomp/pthread-wmm/mix008_pso.oepc.yml false(unreach-call) 171.39 138.80 None svcomp/pthread-wmm/mix008_pso.opt.yml false(unreach-call) 112.08 79.35 None svcomp/pthread-wmm/mix008_rmo.oepc.yml false(unreach-call) 193.23 150.18 None svcomp/pthread-wmm/mix008_rmo.opt.yml false(unreach-call) 126.76 88.64 None svcomp/pthread-wmm/mix008_tso.oepc.yml ERROR: EXCEPTION 9.72 5.34 None svcomp/pthread-wmm/mix008_tso.opt.yml false(unreach-call) 100.80 72.62 None svcomp/pthread-wmm/mix009_power.oepc.yml false(unreach-call) 15.41 8.76 None svcomp/pthread-wmm/mix009_power.opt.yml false(unreach-call) 17.52 9.66 None svcomp/pthread-wmm/mix009_pso.oepc.yml false(unreach-call) 15.96 9.11 None svcomp/pthread-wmm/mix009_pso.opt.yml false(unreach-call) 16.33 8.60 None svcomp/pthread-wmm/mix009_rmo.oepc.yml false(unreach-call) 16.93 9.14 None svcomp/pthread-wmm/mix009_rmo.opt.yml false(unreach-call) 17.40 9.55 None svcomp/pthread-wmm/mix009_tso.oepc.yml false(unreach-call) 15.30 8.12 None svcomp/pthread-wmm/mix009_tso.opt.yml false(unreach-call) 13.85 7.65 None svcomp/pthread-wmm/mix010_power.oepc.yml false(unreach-call) 28.54 15.66 None svcomp/pthread-wmm/mix010_power.opt.yml false(unreach-call) 24.23 13.08 None svcomp/pthread-wmm/mix010_pso.oepc.yml false(unreach-call) 22.12 12.26 None svcomp/pthread-wmm/mix010_pso.opt.yml false(unreach-call) 24.40 13.25 None svcomp/pthread-wmm/mix010_rmo.oepc.yml false(unreach-call) 28.25 15.77 None svcomp/pthread-wmm/mix010_rmo.opt.yml false(unreach-call) 25.55 14.09 None svcomp/pthread-wmm/mix010_tso.oepc.yml false(unreach-call) 21.26 12.62 None svcomp/pthread-wmm/mix010_tso.opt.yml false(unreach-call) 24.19 13.43 None svcomp/pthread-wmm/mix011_power.oepc.yml false(unreach-call) 22.00 11.95 None svcomp/pthread-wmm/mix011_power.opt.yml false(unreach-call) 22.26 12.17 None svcomp/pthread-wmm/mix011_pso.oepc.yml false(unreach-call) 30.54 16.49 None svcomp/pthread-wmm/mix011_pso.opt.yml false(unreach-call) 27.09 14.91 None svcomp/pthread-wmm/mix011_rmo.oepc.yml false(unreach-call) 30.57 16.77 None svcomp/pthread-wmm/mix011_rmo.opt.yml false(unreach-call) 21.83 12.01 None svcomp/pthread-wmm/mix011_tso.oepc.yml ERROR: EXCEPTION 7.37 4.22 None svcomp/pthread-wmm/mix011_tso.opt.yml false(unreach-call) 21.03 11.96 None svcomp/pthread-wmm/mix012_power.oepc.yml false(unreach-call) 11.33 6.60 None svcomp/pthread-wmm/mix012_power.opt.yml false(unreach-call) 14.39 8.09 None svcomp/pthread-wmm/mix012_pso.oepc.yml false(unreach-call) 13.60 7.56 None svcomp/pthread-wmm/mix012_pso.opt.yml false(unreach-call) 11.51 6.61 None svcomp/pthread-wmm/mix012_rmo.oepc.yml false(unreach-call) 11.48 6.45 None svcomp/pthread-wmm/mix012_rmo.opt.yml false(unreach-call) 14.97 8.21 None svcomp/pthread-wmm/mix012_tso.oepc.yml false(unreach-call) 10.70 6.24 None svcomp/pthread-wmm/mix012_tso.opt.yml false(unreach-call) 16.06 9.00 None svcomp/pthread-wmm/mix013_power.oepc.yml false(unreach-call) 192.62 152.97 None svcomp/pthread-wmm/mix013_power.opt.yml false(unreach-call) 81.67 60.97 None svcomp/pthread-wmm/mix013_pso.oepc.yml false(unreach-call) 180.13 142.16 None svcomp/pthread-wmm/mix013_pso.opt.yml false(unreach-call) 93.76 69.96 None svcomp/pthread-wmm/mix013_rmo.oepc.yml false(unreach-call) 159.34 131.32 None svcomp/pthread-wmm/mix013_rmo.opt.yml false(unreach-call) 106.45 78.04 None svcomp/pthread-wmm/mix013_tso.oepc.yml false(unreach-call) 178.18 142.90 None svcomp/pthread-wmm/mix013_tso.opt.yml false(unreach-call) 84.01 61.69 None svcomp/pthread-wmm/mix014_power.oepc.yml false(unreach-call) 166.90 138.16 None svcomp/pthread-wmm/mix014_power.opt.yml false(unreach-call) 96.79 68.93 None svcomp/pthread-wmm/mix014_pso.oepc.yml false(unreach-call) 143.63 116.26 None svcomp/pthread-wmm/mix014_pso.opt.yml false(unreach-call) 80.36 60.71 None svcomp/pthread-wmm/mix014_rmo.oepc.yml false(unreach-call) 182.14 143.86 None svcomp/pthread-wmm/mix014_rmo.opt.yml false(unreach-call) 95.28 67.76 None svcomp/pthread-wmm/mix014_tso.oepc.yml ERROR: EXCEPTION 13.35 7.35 None svcomp/pthread-wmm/mix014_tso.opt.yml false(unreach-call) 97.41 69.19 None svcomp/pthread-wmm/mix015_power.oepc.yml false(unreach-call) 32.13 17.16 None svcomp/pthread-wmm/mix015_power.opt.yml false(unreach-call) 26.15 13.91 None svcomp/pthread-wmm/mix015_pso.oepc.yml false(unreach-call) 28.20 15.65 None svcomp/pthread-wmm/mix015_pso.opt.yml false(unreach-call) 19.30 10.67 None svcomp/pthread-wmm/mix015_rmo.oepc.yml false(unreach-call) 27.75 15.36 None svcomp/pthread-wmm/mix015_rmo.opt.yml false(unreach-call) 19.46 10.93 None svcomp/pthread-wmm/mix015_tso.oepc.yml false(unreach-call) 21.86 12.54 None svcomp/pthread-wmm/mix015_tso.opt.yml false(unreach-call) 26.45 14.37 None svcomp/pthread-wmm/mix016_power.oepc.yml false(unreach-call) 18.70 10.34 None svcomp/pthread-wmm/mix016_power.opt.yml false(unreach-call) 22.36 12.15 None svcomp/pthread-wmm/mix016_pso.oepc.yml false(unreach-call) 19.25 10.61 None svcomp/pthread-wmm/mix016_pso.opt.yml false(unreach-call) 23.68 12.99 None svcomp/pthread-wmm/mix016_rmo.oepc.yml false(unreach-call) 19.29 10.65 None svcomp/pthread-wmm/mix016_rmo.opt.yml false(unreach-call) 17.78 10.03 None svcomp/pthread-wmm/mix016_tso.oepc.yml false(unreach-call) 23.10 12.74 None svcomp/pthread-wmm/mix016_tso.opt.yml false(unreach-call) 24.15 12.76 None svcomp/pthread-wmm/mix017_power.oepc.yml false(unreach-call) 145.78 110.06 None svcomp/pthread-wmm/mix017_power.opt.yml false(unreach-call) 71.81 53.74 None svcomp/pthread-wmm/mix017_pso.oepc.yml false(unreach-call) 124.97 100.87 None svcomp/pthread-wmm/mix017_pso.opt.yml false(unreach-call) 68.28 49.92 None svcomp/pthread-wmm/mix017_rmo.oepc.yml false(unreach-call) 140.79 108.73 None svcomp/pthread-wmm/mix017_rmo.opt.yml false(unreach-call) 92.26 66.97 None svcomp/pthread-wmm/mix017_tso.oepc.yml false(unreach-call) 148.33 112.05 None svcomp/pthread-wmm/mix017_tso.opt.yml false(unreach-call) 64.53 46.67 None svcomp/pthread-wmm/mix018_power.oepc.yml false(unreach-call) 148.06 119.02 None svcomp/pthread-wmm/mix018_power.opt.yml false(unreach-call) 92.96 64.53 None svcomp/pthread-wmm/mix018_pso.oepc.yml false(unreach-call) 132.59 106.09 None svcomp/pthread-wmm/mix018_pso.opt.yml false(unreach-call) 81.88 59.81 None svcomp/pthread-wmm/mix018_rmo.oepc.yml false(unreach-call) 173.50 133.69 None svcomp/pthread-wmm/mix018_rmo.opt.yml false(unreach-call) 95.03 66.69 None svcomp/pthread-wmm/mix018_tso.oepc.yml ERROR: EXCEPTION 11.15 6.21 None svcomp/pthread-wmm/mix018_tso.opt.yml false(unreach-call) 93.39 65.59 None svcomp/pthread-wmm/mix019_power.oepc.yml false(unreach-call) 26.84 14.76 None svcomp/pthread-wmm/mix019_power.opt.yml false(unreach-call) 22.80 13.43 None svcomp/pthread-wmm/mix019_pso.oepc.yml false(unreach-call) 22.18 12.39 None svcomp/pthread-wmm/mix019_pso.opt.yml false(unreach-call) 29.13 15.67 None svcomp/pthread-wmm/mix019_rmo.oepc.yml false(unreach-call) 21.94 12.28 None svcomp/pthread-wmm/mix019_rmo.opt.yml false(unreach-call) 28.99 15.43 None svcomp/pthread-wmm/mix019_tso.oepc.yml ERROR: EXCEPTION 8.09 4.86 None svcomp/pthread-wmm/mix019_tso.opt.yml false(unreach-call) 21.06 11.92 None svcomp/pthread-wmm/mix020_power.oepc.yml false(unreach-call) 165.78 127.49 None svcomp/pthread-wmm/mix020_power.opt.yml false(unreach-call) 80.70 59.28 None svcomp/pthread-wmm/mix020_pso.oepc.yml false(unreach-call) 162.14 125.52 None svcomp/pthread-wmm/mix020_pso.opt.yml false(unreach-call) 79.62 57.95 None svcomp/pthread-wmm/mix020_rmo.oepc.yml false(unreach-call) 135.00 107.68 None svcomp/pthread-wmm/mix020_rmo.opt.yml false(unreach-call) 91.24 63.58 None svcomp/pthread-wmm/mix020_tso.oepc.yml false(unreach-call) 162.98 125.21 None svcomp/pthread-wmm/mix020_tso.opt.yml false(unreach-call) 75.49 55.41 None svcomp/pthread-wmm/mix021_power.oepc.yml false(unreach-call) 134.68 108.11 None svcomp/pthread-wmm/mix021_power.opt.yml false(unreach-call) 101.29 74.46 None svcomp/pthread-wmm/mix021_pso.oepc.yml false(unreach-call) 134.82 104.70 None svcomp/pthread-wmm/mix021_pso.opt.yml false(unreach-call) 81.09 56.91 None svcomp/pthread-wmm/mix021_rmo.oepc.yml false(unreach-call) 154.96 116.30 None svcomp/pthread-wmm/mix021_rmo.opt.yml false(unreach-call) 100.36 70.21 None svcomp/pthread-wmm/mix021_tso.oepc.yml ERROR: EXCEPTION 9.67 5.48 None svcomp/pthread-wmm/mix021_tso.opt.yml false(unreach-call) 96.11 67.05 None svcomp/pthread-wmm/mix022_power.oepc.yml false(unreach-call) 15.10 8.41 None svcomp/pthread-wmm/mix022_power.opt.yml false(unreach-call) 11.54 6.56 None svcomp/pthread-wmm/mix022_pso.oepc.yml false(unreach-call) 11.10 6.27 None svcomp/pthread-wmm/mix022_pso.opt.yml false(unreach-call) 12.32 6.72 None svcomp/pthread-wmm/mix022_rmo.oepc.yml false(unreach-call) 14.56 7.87 None svcomp/pthread-wmm/mix022_rmo.opt.yml false(unreach-call) 10.64 5.83 None svcomp/pthread-wmm/mix022_tso.oepc.yml ERROR: EXCEPTION 8.02 4.96 None svcomp/pthread-wmm/mix022_tso.opt.yml ERROR: EXCEPTION 10.74 6.06 None svcomp/pthread-wmm/mix023_power.oepc.yml false(unreach-call) 135.09 108.93 None svcomp/pthread-wmm/mix023_power.opt.yml false(unreach-call) 111.55 88.74 None svcomp/pthread-wmm/mix023_pso.oepc.yml false(unreach-call) 165.29 130.24 None svcomp/pthread-wmm/mix023_pso.opt.yml false(unreach-call) 130.53 95.75 None svcomp/pthread-wmm/mix023_rmo.oepc.yml false(unreach-call) 147.42 121.31 None svcomp/pthread-wmm/mix023_rmo.opt.yml false(unreach-call) 127.12 96.55 None svcomp/pthread-wmm/mix023_tso.oepc.yml ERROR: EXCEPTION 14.70 8.15 None svcomp/pthread-wmm/mix023_tso.opt.yml ERROR: EXCEPTION 14.71 8.20 None svcomp/pthread-wmm/mix024_power.oepc.yml false(unreach-call) 29.87 16.31 None svcomp/pthread-wmm/mix024_power.opt.yml false(unreach-call) 26.21 14.60 None svcomp/pthread-wmm/mix024_pso.oepc.yml false(unreach-call) 22.18 12.36 None svcomp/pthread-wmm/mix024_pso.opt.yml false(unreach-call) 27.09 16.13 None svcomp/pthread-wmm/mix024_rmo.oepc.yml false(unreach-call) 21.80 12.40 None svcomp/pthread-wmm/mix024_rmo.opt.yml false(unreach-call) 27.44 15.25 None svcomp/pthread-wmm/mix024_tso.oepc.yml false(unreach-call) 21.02 11.65 None svcomp/pthread-wmm/mix024_tso.opt.yml false(unreach-call) 28.49 15.58 None svcomp/pthread-wmm/mix025_power.oepc.yml false(unreach-call) 21.02 11.85 None svcomp/pthread-wmm/mix025_power.opt.yml false(unreach-call) 19.18 10.76 None svcomp/pthread-wmm/mix025_pso.oepc.yml false(unreach-call) 26.11 14.29 None svcomp/pthread-wmm/mix025_pso.opt.yml false(unreach-call) 18.02 10.16 None svcomp/pthread-wmm/mix025_rmo.oepc.yml false(unreach-call) 25.99 14.22 None svcomp/pthread-wmm/mix025_rmo.opt.yml false(unreach-call) 17.92 9.95 None svcomp/pthread-wmm/mix025_tso.oepc.yml false(unreach-call) 26.31 14.37 None svcomp/pthread-wmm/mix025_tso.opt.yml false(unreach-call) 26.96 14.99 None svcomp/pthread-wmm/mix026_power.oepc.yml false(unreach-call) 154.27 118.74 None svcomp/pthread-wmm/mix026_power.opt.yml false(unreach-call) 121.21 92.81 None svcomp/pthread-wmm/mix026_pso.oepc.yml false(unreach-call) 127.59 102.37 None svcomp/pthread-wmm/mix026_pso.opt.yml false(unreach-call) 108.07 78.18 None svcomp/pthread-wmm/mix026_rmo.oepc.yml false(unreach-call) 141.42 114.27 None svcomp/pthread-wmm/mix026_rmo.opt.yml false(unreach-call) 108.00 77.62 None svcomp/pthread-wmm/mix026_tso.oepc.yml false(unreach-call) 166.93 129.33 None svcomp/pthread-wmm/mix026_tso.opt.yml false(unreach-call) 129.15 96.44 None svcomp/pthread-wmm/mix027_power.oepc.yml false(unreach-call) 148.70 112.59 None svcomp/pthread-wmm/mix027_power.opt.yml false(unreach-call) 95.31 71.42 None svcomp/pthread-wmm/mix027_pso.oepc.yml false(unreach-call) 124.13 95.59 None svcomp/pthread-wmm/mix027_pso.opt.yml false(unreach-call) 104.07 75.89 None svcomp/pthread-wmm/mix027_rmo.oepc.yml false(unreach-call) 133.17 105.59 None svcomp/pthread-wmm/mix027_rmo.opt.yml false(unreach-call) 110.54 79.45 None svcomp/pthread-wmm/mix027_tso.oepc.yml ERROR: EXCEPTION 7.86 4.41 None svcomp/pthread-wmm/mix027_tso.opt.yml ERROR: EXCEPTION 8.25 4.74 None svcomp/pthread-wmm/mix028_power.oepc.yml false(unreach-call) 20.02 11.09 None svcomp/pthread-wmm/mix028_power.opt.yml ERROR: EXCEPTION 9.93 5.44 None svcomp/pthread-wmm/mix028_pso.oepc.yml false(unreach-call) 20.39 11.17 None svcomp/pthread-wmm/mix028_pso.opt.yml ERROR: EXCEPTION 9.62 5.66 None svcomp/pthread-wmm/mix028_rmo.oepc.yml false(unreach-call) 26.13 14.27 None svcomp/pthread-wmm/mix028_rmo.opt.yml ERROR: EXCEPTION 9.63 5.61 None svcomp/pthread-wmm/mix028_tso.oepc.yml ERROR: EXCEPTION 7.73 4.75 None svcomp/pthread-wmm/mix028_tso.opt.yml ERROR: EXCEPTION 10.50 6.18 None svcomp/pthread-wmm/mix029_power.oepc.yml false(unreach-call) 139.03 105.54 None svcomp/pthread-wmm/mix029_power.opt.yml ERROR: EXCEPTION 7.90 5.02 None svcomp/pthread-wmm/mix029_pso.oepc.yml false(unreach-call) 114.91 89.39 None svcomp/pthread-wmm/mix029_pso.opt.yml ERROR: EXCEPTION 10.10 6.10 None svcomp/pthread-wmm/mix029_rmo.oepc.yml false(unreach-call) 127.95 101.62 None svcomp/pthread-wmm/mix029_rmo.opt.yml ERROR: EXCEPTION 9.84 5.72 None svcomp/pthread-wmm/mix029_tso.oepc.yml false(unreach-call) 138.95 107.24 None svcomp/pthread-wmm/mix029_tso.opt.yml false(unreach-call) 146.24 109.31 None svcomp/pthread-wmm/mix030_power.oepc.yml false(unreach-call) 164.89 123.95 None svcomp/pthread-wmm/mix030_power.opt.yml ERROR: EXCEPTION 7.85 4.62 None svcomp/pthread-wmm/mix030_pso.oepc.yml false(unreach-call) 144.66 113.98 None svcomp/pthread-wmm/mix030_pso.opt.yml ERROR: EXCEPTION 7.14 4.08 None svcomp/pthread-wmm/mix030_rmo.oepc.yml false(unreach-call) 130.25 99.49 None svcomp/pthread-wmm/mix030_rmo.opt.yml ERROR: EXCEPTION 9.87 5.73 None svcomp/pthread-wmm/mix030_tso.oepc.yml ERROR: EXCEPTION 8.38 4.73 None svcomp/pthread-wmm/mix030_tso.opt.yml ERROR: EXCEPTION 10.52 6.03 None svcomp/pthread-wmm/mix031_power.oepc.yml false(unreach-call) 11.96 6.83 None svcomp/pthread-wmm/mix031_power.opt.yml false(unreach-call) 15.86 8.64 None svcomp/pthread-wmm/mix031_pso.oepc.yml false(unreach-call) 15.88 8.49 None svcomp/pthread-wmm/mix031_pso.opt.yml false(unreach-call) 11.96 6.56 None svcomp/pthread-wmm/mix031_rmo.oepc.yml false(unreach-call) 14.96 8.13 None svcomp/pthread-wmm/mix031_rmo.opt.yml false(unreach-call) 11.83 6.75 None svcomp/pthread-wmm/mix031_tso.oepc.yml false(unreach-call) 15.17 8.27 None svcomp/pthread-wmm/mix031_tso.opt.yml false(unreach-call) 15.76 8.83 None svcomp/pthread-wmm/mix032_power.oepc.yml false(unreach-call) 26.88 14.89 None svcomp/pthread-wmm/mix032_power.opt.yml false(unreach-call) 20.06 11.55 None svcomp/pthread-wmm/mix032_pso.oepc.yml false(unreach-call) 29.32 16.19 None svcomp/pthread-wmm/mix032_pso.opt.yml false(unreach-call) 26.70 14.74 None svcomp/pthread-wmm/mix032_rmo.oepc.yml false(unreach-call) 27.66 15.63 None svcomp/pthread-wmm/mix032_rmo.opt.yml false(unreach-call) 25.39 14.12 None svcomp/pthread-wmm/mix032_tso.oepc.yml false(unreach-call) 22.11 12.34 None svcomp/pthread-wmm/mix032_tso.opt.yml false(unreach-call) 18.86 10.46 None svcomp/pthread-wmm/mix033_power.oepc.yml false(unreach-call) 36.48 20.18 None svcomp/pthread-wmm/mix033_power.opt.yml false(unreach-call) 26.28 14.71 None svcomp/pthread-wmm/mix033_pso.oepc.yml false(unreach-call) 26.23 15.20 None svcomp/pthread-wmm/mix033_pso.opt.yml false(unreach-call) 21.48 11.86 None svcomp/pthread-wmm/mix033_rmo.oepc.yml false(unreach-call) 32.43 17.88 None svcomp/pthread-wmm/mix033_rmo.opt.yml false(unreach-call) 24.99 13.80 None svcomp/pthread-wmm/mix033_tso.oepc.yml ERROR: EXCEPTION 9.84 5.62 None svcomp/pthread-wmm/mix033_tso.opt.yml false(unreach-call) 20.89 11.28 None svcomp/pthread-wmm/mix034_power.oepc.yml false(unreach-call) 14.55 8.24 None svcomp/pthread-wmm/mix034_power.opt.yml false(unreach-call) 14.51 8.06 None svcomp/pthread-wmm/mix034_pso.oepc.yml false(unreach-call) 10.75 6.41 None svcomp/pthread-wmm/mix034_pso.opt.yml false(unreach-call) 15.22 8.41 None svcomp/pthread-wmm/mix034_rmo.oepc.yml false(unreach-call) 14.08 7.59 None svcomp/pthread-wmm/mix034_rmo.opt.yml false(unreach-call) 11.50 6.32 None svcomp/pthread-wmm/mix034_tso.oepc.yml false(unreach-call) 14.61 7.93 None svcomp/pthread-wmm/mix034_tso.opt.yml false(unreach-call) 15.14 8.42 None svcomp/pthread-wmm/mix035_power.oepc.yml false(unreach-call) 19.09 11.00 None svcomp/pthread-wmm/mix035_power.opt.yml false(unreach-call) 24.14 13.22 None svcomp/pthread-wmm/mix035_pso.oepc.yml false(unreach-call) 26.31 14.13 None svcomp/pthread-wmm/mix035_pso.opt.yml false(unreach-call) 17.04 9.79 None svcomp/pthread-wmm/mix035_rmo.oepc.yml false(unreach-call) 26.49 14.52 None svcomp/pthread-wmm/mix035_rmo.opt.yml false(unreach-call) 24.64 13.77 None svcomp/pthread-wmm/mix035_tso.oepc.yml false(unreach-call) 19.61 11.05 None svcomp/pthread-wmm/mix035_tso.opt.yml false(unreach-call) 17.13 9.27 None svcomp/pthread-wmm/mix036_power.oepc.yml false(unreach-call) 167.79 130.61 None svcomp/pthread-wmm/mix036_power.opt.yml false(unreach-call) 105.90 83.11 None svcomp/pthread-wmm/mix036_pso.oepc.yml false(unreach-call) 167.83 129.73 None svcomp/pthread-wmm/mix036_pso.opt.yml false(unreach-call) 94.55 69.57 None svcomp/pthread-wmm/mix036_rmo.oepc.yml false(unreach-call) 171.06 134.02 None svcomp/pthread-wmm/mix036_rmo.opt.yml false(unreach-call) 91.04 70.10 None svcomp/pthread-wmm/mix036_tso.oepc.yml false(unreach-call) 148.94 120.46 None svcomp/pthread-wmm/mix036_tso.opt.yml false(unreach-call) 102.32 73.44 None svcomp/pthread-wmm/mix037_power.oepc.yml false(unreach-call) 140.16 111.77 None svcomp/pthread-wmm/mix037_power.opt.yml false(unreach-call) 86.81 64.38 None svcomp/pthread-wmm/mix037_pso.oepc.yml false(unreach-call) 154.88 124.88 None svcomp/pthread-wmm/mix037_pso.opt.yml false(unreach-call) 97.05 69.65 None svcomp/pthread-wmm/mix037_rmo.oepc.yml false(unreach-call) 180.13 137.71 None svcomp/pthread-wmm/mix037_rmo.opt.yml false(unreach-call) 96.99 70.04 None svcomp/pthread-wmm/mix037_tso.oepc.yml ERROR: EXCEPTION 7.75 4.42 None svcomp/pthread-wmm/mix037_tso.opt.yml false(unreach-call) 96.02 69.49 None svcomp/pthread-wmm/mix038_power.oepc.yml false(unreach-call) 21.85 12.16 None svcomp/pthread-wmm/mix038_power.opt.yml false(unreach-call) 18.66 10.81 None svcomp/pthread-wmm/mix038_pso.oepc.yml false(unreach-call) 23.51 12.95 None svcomp/pthread-wmm/mix038_pso.opt.yml false(unreach-call) 18.06 10.24 None svcomp/pthread-wmm/mix038_rmo.oepc.yml false(unreach-call) 18.66 10.31 None svcomp/pthread-wmm/mix038_rmo.opt.yml false(unreach-call) 18.72 10.43 None svcomp/pthread-wmm/mix038_tso.oepc.yml ERROR: EXCEPTION 7.15 4.45 None svcomp/pthread-wmm/mix038_tso.opt.yml false(unreach-call) 23.81 13.19 None svcomp/pthread-wmm/mix039_power.oepc.yml false(unreach-call) 140.88 112.86 None svcomp/pthread-wmm/mix039_power.opt.yml false(unreach-call) 83.99 61.88 None svcomp/pthread-wmm/mix039_pso.oepc.yml false(unreach-call) 177.76 137.63 None svcomp/pthread-wmm/mix039_pso.opt.yml false(unreach-call) 98.77 69.20 None svcomp/pthread-wmm/mix039_rmo.oepc.yml false(unreach-call) 173.61 134.91 None svcomp/pthread-wmm/mix039_rmo.opt.yml false(unreach-call) 82.53 61.38 None svcomp/pthread-wmm/mix039_tso.oepc.yml false(unreach-call) 176.69 136.72 None svcomp/pthread-wmm/mix039_tso.opt.yml false(unreach-call) 82.41 60.91 None svcomp/pthread-wmm/mix040_power.oepc.yml false(unreach-call) 181.77 139.49 None svcomp/pthread-wmm/mix040_power.opt.yml false(unreach-call) 92.50 70.14 None svcomp/pthread-wmm/mix040_pso.oepc.yml false(unreach-call) 147.85 117.58 None svcomp/pthread-wmm/mix040_pso.opt.yml false(unreach-call) 103.49 77.60 None svcomp/pthread-wmm/mix040_rmo.oepc.yml false(unreach-call) 186.21 143.00 None svcomp/pthread-wmm/mix040_rmo.opt.yml false(unreach-call) 118.70 84.75 None svcomp/pthread-wmm/mix040_tso.oepc.yml ERROR: EXCEPTION 7.42 4.26 None svcomp/pthread-wmm/mix040_tso.opt.yml false(unreach-call) 99.27 73.88 None svcomp/pthread-wmm/mix041_power.oepc.yml false(unreach-call) 14.96 8.57 None svcomp/pthread-wmm/mix041_power.opt.yml ERROR: EXCEPTION 7.71 4.63 None svcomp/pthread-wmm/mix041_pso.oepc.yml false(unreach-call) 11.91 6.61 None svcomp/pthread-wmm/mix041_pso.opt.yml ERROR: EXCEPTION 9.42 5.38 None svcomp/pthread-wmm/mix041_rmo.oepc.yml false(unreach-call) 14.88 8.22 None svcomp/pthread-wmm/mix041_rmo.opt.yml ERROR: EXCEPTION 7.73 4.84 None svcomp/pthread-wmm/mix041_tso.oepc.yml ERROR: EXCEPTION 9.57 5.37 None svcomp/pthread-wmm/mix041_tso.opt.yml ERROR: EXCEPTION 7.22 4.15 None svcomp/pthread-wmm/mix042_power.oepc.yml false(unreach-call) 27.31 15.12 None svcomp/pthread-wmm/mix042_power.opt.yml ERROR: EXCEPTION 9.78 5.45 None svcomp/pthread-wmm/mix042_pso.oepc.yml false(unreach-call) 21.95 12.25 None svcomp/pthread-wmm/mix042_pso.opt.yml ERROR: EXCEPTION 6.76 3.86 None svcomp/pthread-wmm/mix042_rmo.oepc.yml false(unreach-call) 26.18 14.71 None svcomp/pthread-wmm/mix042_rmo.opt.yml ERROR: EXCEPTION 10.16 6.01 None svcomp/pthread-wmm/mix042_tso.oepc.yml false(unreach-call) 19.60 10.64 None svcomp/pthread-wmm/mix042_tso.opt.yml ERROR: EXCEPTION 9.92 5.83 None svcomp/pthread-wmm/mix043_power.oepc.yml false(unreach-call) 154.86 125.52 None svcomp/pthread-wmm/mix043_power.opt.yml ERROR: EXCEPTION 9.14 5.40 None svcomp/pthread-wmm/mix043_pso.oepc.yml false(unreach-call) 169.95 131.25 None svcomp/pthread-wmm/mix043_pso.opt.yml ERROR: EXCEPTION 7.25 4.19 None svcomp/pthread-wmm/mix043_rmo.oepc.yml false(unreach-call) 168.51 130.89 None svcomp/pthread-wmm/mix043_rmo.opt.yml ERROR: EXCEPTION 9.11 5.15 None svcomp/pthread-wmm/mix043_tso.oepc.yml false(unreach-call) 141.53 113.30 None svcomp/pthread-wmm/mix043_tso.opt.yml ERROR: EXCEPTION 9.59 5.73 None svcomp/pthread-wmm/mix044_power.oepc.yml false(unreach-call) 182.64 141.59 None svcomp/pthread-wmm/mix044_power.opt.yml ERROR: EXCEPTION 7.34 4.26 None svcomp/pthread-wmm/mix044_pso.oepc.yml false(unreach-call) 161.92 130.98 None svcomp/pthread-wmm/mix044_pso.opt.yml ERROR: EXCEPTION 9.83 5.63 None svcomp/pthread-wmm/mix044_rmo.oepc.yml false(unreach-call) 184.46 143.38 None svcomp/pthread-wmm/mix044_rmo.opt.yml ERROR: EXCEPTION 7.19 4.15 None svcomp/pthread-wmm/mix044_tso.oepc.yml ERROR: EXCEPTION 8.05 4.87 None svcomp/pthread-wmm/mix044_tso.opt.yml ERROR: EXCEPTION 7.01 4.03 None svcomp/pthread-wmm/mix045_power.oepc.yml false(unreach-call) 20.16 11.56 None svcomp/pthread-wmm/mix045_power.opt.yml ERROR: EXCEPTION 7.10 4.03 None svcomp/pthread-wmm/mix045_pso.oepc.yml false(unreach-call) 26.42 14.42 None svcomp/pthread-wmm/mix045_pso.opt.yml ERROR: EXCEPTION 6.84 4.00 None svcomp/pthread-wmm/mix045_rmo.oepc.yml false(unreach-call) 27.17 14.71 None svcomp/pthread-wmm/mix045_rmo.opt.yml ERROR: EXCEPTION 7.43 4.34 None svcomp/pthread-wmm/mix045_tso.oepc.yml ERROR: EXCEPTION 7.62 4.30 None svcomp/pthread-wmm/mix045_tso.opt.yml ERROR: EXCEPTION 7.22 4.43 None svcomp/pthread-wmm/mix046_power.oepc.yml false(unreach-call) 170.91 138.60 None svcomp/pthread-wmm/mix046_power.opt.yml ERROR: EXCEPTION 7.01 4.38 None svcomp/pthread-wmm/mix046_pso.oepc.yml false(unreach-call) 184.34 141.94 None svcomp/pthread-wmm/mix046_pso.opt.yml ERROR: EXCEPTION 9.40 5.75 None svcomp/pthread-wmm/mix046_rmo.oepc.yml false(unreach-call) 149.42 118.84 None svcomp/pthread-wmm/mix046_rmo.opt.yml ERROR: EXCEPTION 7.83 4.93 None svcomp/pthread-wmm/mix046_tso.oepc.yml false(unreach-call) 183.43 143.28 None svcomp/pthread-wmm/mix046_tso.opt.yml ERROR: EXCEPTION 10.00 5.76 None svcomp/pthread-wmm/mix047_power.oepc.yml false(unreach-call) 179.34 143.12 None svcomp/pthread-wmm/mix047_power.opt.yml ERROR: EXCEPTION 9.31 5.59 None svcomp/pthread-wmm/mix047_pso.oepc.yml false(unreach-call) 202.72 157.09 None svcomp/pthread-wmm/mix047_pso.opt.yml ERROR: EXCEPTION 9.52 5.55 None svcomp/pthread-wmm/mix047_rmo.oepc.yml false(unreach-call) 204.75 157.96 None svcomp/pthread-wmm/mix047_rmo.opt.yml ERROR: EXCEPTION 7.22 4.40 None svcomp/pthread-wmm/mix047_tso.oepc.yml ERROR: EXCEPTION 6.82 4.03 None svcomp/pthread-wmm/mix047_tso.opt.yml ERROR: EXCEPTION 7.20 4.32 None svcomp/pthread-wmm/mix048_power.oepc.yml false(unreach-call) 11.46 6.39 None svcomp/pthread-wmm/mix048_power.opt.yml false(unreach-call) 9.89 5.37 None svcomp/pthread-wmm/mix048_pso.oepc.yml false(unreach-call) 10.61 6.02 None svcomp/pthread-wmm/mix048_pso.opt.yml false(unreach-call) 10.10 5.45 None svcomp/pthread-wmm/mix048_rmo.oepc.yml false(unreach-call) 14.63 8.12 None svcomp/pthread-wmm/mix048_rmo.opt.yml false(unreach-call) 10.85 6.09 None svcomp/pthread-wmm/mix048_tso.oepc.yml false(unreach-call) 11.30 6.16 None svcomp/pthread-wmm/mix048_tso.opt.yml false(unreach-call) 14.17 7.89 None svcomp/pthread-wmm/mix049_power.oepc.yml false(unreach-call) 21.91 11.84 None svcomp/pthread-wmm/mix049_power.opt.yml false(unreach-call) 15.79 8.94 None svcomp/pthread-wmm/mix049_pso.oepc.yml false(unreach-call) 17.64 10.48 None svcomp/pthread-wmm/mix049_pso.opt.yml false(unreach-call) 14.94 8.29 None svcomp/pthread-wmm/mix049_rmo.oepc.yml false(unreach-call) 21.41 11.73 None svcomp/pthread-wmm/mix049_rmo.opt.yml false(unreach-call) 16.49 9.09 None svcomp/pthread-wmm/mix049_tso.oepc.yml false(unreach-call) 15.00 8.59 None svcomp/pthread-wmm/mix049_tso.opt.yml false(unreach-call) 20.32 10.87 None svcomp/pthread-wmm/mix050_power.oepc.yml false(unreach-call) 98.96 77.68 None svcomp/pthread-wmm/mix050_power.opt.yml false(unreach-call) 109.97 83.28 None svcomp/pthread-wmm/mix050_pso.oepc.yml false(unreach-call) 87.66 67.45 None svcomp/pthread-wmm/mix050_pso.opt.yml false(unreach-call) 94.23 73.95 None svcomp/pthread-wmm/mix050_rmo.oepc.yml false(unreach-call) 112.34 84.76 None svcomp/pthread-wmm/mix050_rmo.opt.yml false(unreach-call) 113.19 84.62 None svcomp/pthread-wmm/mix050_tso.oepc.yml false(unreach-call) 111.59 83.16 None svcomp/pthread-wmm/mix050_tso.opt.yml false(unreach-call) 89.54 68.81 None svcomp/pthread-wmm/mix051_power.oepc.yml false(unreach-call) 106.77 83.34 None svcomp/pthread-wmm/mix051_power.opt.yml false(unreach-call) 109.39 83.32 None svcomp/pthread-wmm/mix051_pso.oepc.yml false(unreach-call) 117.25 87.54 None svcomp/pthread-wmm/mix051_pso.opt.yml false(unreach-call) 82.80 57.03 None svcomp/pthread-wmm/mix051_rmo.oepc.yml false(unreach-call) 128.76 95.53 None svcomp/pthread-wmm/mix051_rmo.opt.yml false(unreach-call) 76.81 54.47 None svcomp/pthread-wmm/mix051_tso.oepc.yml ERROR: EXCEPTION 7.38 4.46 None svcomp/pthread-wmm/mix051_tso.opt.yml false(unreach-call) 61.76 44.17 None svcomp/pthread-wmm/mix052_power.oepc.yml false(unreach-call) 23.11 12.66 None svcomp/pthread-wmm/mix052_power.opt.yml false(unreach-call) 18.33 10.38 None svcomp/pthread-wmm/mix052_pso.oepc.yml false(unreach-call) 25.02 13.68 None svcomp/pthread-wmm/mix052_pso.opt.yml false(unreach-call) 15.88 8.81 None svcomp/pthread-wmm/mix052_rmo.oepc.yml false(unreach-call) 18.95 10.24 None svcomp/pthread-wmm/mix052_rmo.opt.yml false(unreach-call) 16.11 8.74 None svcomp/pthread-wmm/mix052_tso.oepc.yml ERROR: EXCEPTION 9.66 5.45 None svcomp/pthread-wmm/mix052_tso.opt.yml false(unreach-call) 21.58 11.61 None svcomp/pthread-wmm/mix053_power.oepc.yml false(unreach-call) 118.59 92.15 None svcomp/pthread-wmm/mix053_power.opt.yml false(unreach-call) 68.99 49.54 None svcomp/pthread-wmm/mix053_pso.oepc.yml false(unreach-call) 130.27 98.30 None svcomp/pthread-wmm/mix053_pso.opt.yml false(unreach-call) 83.37 57.55 None svcomp/pthread-wmm/mix053_rmo.oepc.yml false(unreach-call) 130.81 97.79 None svcomp/pthread-wmm/mix053_rmo.opt.yml false(unreach-call) 64.36 45.52 None svcomp/pthread-wmm/mix053_tso.oepc.yml ERROR: EXCEPTION 9.36 5.37 None svcomp/pthread-wmm/mix053_tso.opt.yml false(unreach-call) 83.75 58.33 None svcomp/pthread-wmm/mix054_power.oepc.yml false(unreach-call) 10.92 6.52 None svcomp/pthread-wmm/mix054_power.opt.yml false(unreach-call) 10.66 5.81 None svcomp/pthread-wmm/mix054_pso.oepc.yml false(unreach-call) 10.95 6.53 None svcomp/pthread-wmm/mix054_pso.opt.yml ERROR: EXCEPTION 9.47 5.60 None svcomp/pthread-wmm/mix054_rmo.oepc.yml false(unreach-call) 10.78 5.98 None svcomp/pthread-wmm/mix054_rmo.opt.yml ERROR: EXCEPTION 7.56 4.97 None svcomp/pthread-wmm/mix054_tso.oepc.yml ERROR: EXCEPTION 9.83 5.79 None svcomp/pthread-wmm/mix054_tso.opt.yml ERROR: EXCEPTION 7.10 3.99 None svcomp/pthread-wmm/mix055_power.oepc.yml false(unreach-call) 111.99 88.10 None svcomp/pthread-wmm/mix055_power.opt.yml ERROR: EXCEPTION 9.66 5.62 None svcomp/pthread-wmm/mix055_pso.oepc.yml false(unreach-call) 107.28 81.01 None svcomp/pthread-wmm/mix055_pso.opt.yml ERROR: EXCEPTION 9.32 5.54 None svcomp/pthread-wmm/mix055_rmo.oepc.yml false(unreach-call) 128.83 97.08 None svcomp/pthread-wmm/mix055_rmo.opt.yml ERROR: EXCEPTION 9.40 5.48 None svcomp/pthread-wmm/mix055_tso.oepc.yml ERROR: EXCEPTION 9.56 5.23 None svcomp/pthread-wmm/mix055_tso.opt.yml ERROR: EXCEPTION 7.51 4.37 None svcomp/pthread-wmm/mix056_power.oepc.yml false(unreach-call) 27.16 14.82 None svcomp/pthread-wmm/mix056_power.opt.yml ERROR: EXCEPTION 7.49 4.27 None svcomp/pthread-wmm/mix056_pso.oepc.yml false(unreach-call) 27.60 15.10 None svcomp/pthread-wmm/mix056_pso.opt.yml ERROR: EXCEPTION 7.33 4.22 None svcomp/pthread-wmm/mix056_rmo.oepc.yml false(unreach-call) 25.80 14.31 None svcomp/pthread-wmm/mix056_rmo.opt.yml ERROR: EXCEPTION 7.25 4.11 None svcomp/pthread-wmm/mix056_tso.oepc.yml ERROR: EXCEPTION 9.38 5.61 None svcomp/pthread-wmm/mix056_tso.opt.yml ERROR: EXCEPTION 7.38 4.40 None svcomp/pthread-wmm/mix057_power.oepc.yml false(unreach-call) 149.30 109.96 None svcomp/pthread-wmm/mix057_power.opt.yml ERROR: EXCEPTION 10.41 6.06 None svcomp/pthread-wmm/mix057_pso.oepc.yml false(unreach-call) 136.41 104.75 None svcomp/pthread-wmm/mix057_pso.opt.yml ERROR: EXCEPTION 9.53 5.65 None svcomp/pthread-wmm/mix057_rmo.oepc.yml false(unreach-call) 149.27 109.99 None svcomp/pthread-wmm/mix057_rmo.opt.yml ERROR: EXCEPTION 9.67 5.60 None svcomp/pthread-wmm/mix057_tso.oepc.yml ERROR: EXCEPTION 9.20 5.29 None svcomp/pthread-wmm/mix057_tso.opt.yml ERROR: EXCEPTION 9.30 5.38 None svcomp/pthread-wmm/podwr000_power.oepc.yml false(unreach-call) 13.64 7.77 None svcomp/pthread-wmm/podwr000_power.opt.yml false(unreach-call) 13.76 7.89 None svcomp/pthread-wmm/podwr000_pso.oepc.yml false(unreach-call) 10.07 5.59 None svcomp/pthread-wmm/podwr000_pso.opt.yml false(unreach-call) 11.94 7.27 None svcomp/pthread-wmm/podwr000_rmo.oepc.yml false(unreach-call) 14.63 8.33 None svcomp/pthread-wmm/podwr000_rmo.opt.yml false(unreach-call) 10.27 5.86 None svcomp/pthread-wmm/podwr000_tso.oepc.yml false(unreach-call) 11.07 6.30 None svcomp/pthread-wmm/podwr000_tso.opt.yml false(unreach-call) 10.10 5.55 None svcomp/pthread-wmm/podwr001_power.oepc.yml false(unreach-call) 21.88 12.04 None svcomp/pthread-wmm/podwr001_power.opt.yml false(unreach-call) 16.39 9.30 None svcomp/pthread-wmm/podwr001_pso.oepc.yml false(unreach-call) 16.35 9.01 None svcomp/pthread-wmm/podwr001_pso.opt.yml false(unreach-call) 21.02 11.63 None svcomp/pthread-wmm/podwr001_rmo.oepc.yml false(unreach-call) 22.84 12.60 None svcomp/pthread-wmm/podwr001_rmo.opt.yml false(unreach-call) 14.77 8.46 None svcomp/pthread-wmm/podwr001_tso.oepc.yml false(unreach-call) 15.57 8.57 None svcomp/pthread-wmm/podwr001_tso.opt.yml false(unreach-call) 22.34 12.25 None svcomp/pthread-wmm/rfi000_power.oepc.yml ERROR: EXCEPTION 8.65 4.80 None svcomp/pthread-wmm/rfi000_power.opt.yml ERROR: EXCEPTION 7.03 4.31 None svcomp/pthread-wmm/rfi000_pso.oepc.yml ERROR: EXCEPTION 11.32 6.47 None svcomp/pthread-wmm/rfi000_pso.opt.yml ERROR: EXCEPTION 7.56 4.47 None svcomp/pthread-wmm/rfi000_rmo.oepc.yml ERROR: EXCEPTION 8.26 4.60 None svcomp/pthread-wmm/rfi000_rmo.opt.yml ERROR: EXCEPTION 9.50 5.73 None svcomp/pthread-wmm/rfi000_tso.oepc.yml ERROR: EXCEPTION 8.99 5.16 None svcomp/pthread-wmm/rfi000_tso.opt.yml ERROR: EXCEPTION 8.93 5.23 None svcomp/pthread-wmm/rfi001_power.oepc.yml false(unreach-call) 14.77 8.34 None svcomp/pthread-wmm/rfi001_power.opt.yml ERROR: EXCEPTION 9.51 5.25 None svcomp/pthread-wmm/rfi001_pso.oepc.yml false(unreach-call) 11.21 6.37 None svcomp/pthread-wmm/rfi001_pso.opt.yml ERROR: EXCEPTION 6.75 3.83 None svcomp/pthread-wmm/rfi001_rmo.oepc.yml false(unreach-call) 13.83 7.70 None svcomp/pthread-wmm/rfi001_rmo.opt.yml ERROR: EXCEPTION 7.00 4.18 None svcomp/pthread-wmm/rfi001_tso.oepc.yml ERROR: EXCEPTION 9.15 5.50 None svcomp/pthread-wmm/rfi001_tso.opt.yml ERROR: EXCEPTION 6.75 3.91 None svcomp/pthread-wmm/rfi002_power.oepc.yml ERROR: EXCEPTION 8.44 5.11 None svcomp/pthread-wmm/rfi002_power.opt.yml ERROR: EXCEPTION 9.27 5.20 None svcomp/pthread-wmm/rfi002_pso.oepc.yml ERROR: EXCEPTION 11.80 6.54 None svcomp/pthread-wmm/rfi002_pso.opt.yml ERROR: EXCEPTION 12.44 6.79 None svcomp/pthread-wmm/rfi002_rmo.oepc.yml ERROR: EXCEPTION 8.86 4.90 None svcomp/pthread-wmm/rfi002_rmo.opt.yml ERROR: EXCEPTION 8.92 5.34 None svcomp/pthread-wmm/rfi002_tso.oepc.yml ERROR: EXCEPTION 10.44 5.87 None svcomp/pthread-wmm/rfi002_tso.opt.yml ERROR: EXCEPTION 13.53 7.59 None svcomp/pthread-wmm/rfi003_power.oepc.yml false(unreach-call) 14.88 8.59 None svcomp/pthread-wmm/rfi003_power.opt.yml false(unreach-call) 11.03 6.07 None svcomp/pthread-wmm/rfi003_pso.oepc.yml false(unreach-call) 14.60 8.27 None svcomp/pthread-wmm/rfi003_pso.opt.yml false(unreach-call) 11.71 6.70 None svcomp/pthread-wmm/rfi003_rmo.oepc.yml false(unreach-call) 11.13 6.41 None svcomp/pthread-wmm/rfi003_rmo.opt.yml false(unreach-call) 16.07 8.74 None svcomp/pthread-wmm/rfi003_tso.oepc.yml ERROR: EXCEPTION 9.01 5.23 None svcomp/pthread-wmm/rfi003_tso.opt.yml ERROR: EXCEPTION 11.40 6.62 None svcomp/pthread-wmm/rfi004_power.oepc.yml false(unreach-call) 14.56 8.15 None svcomp/pthread-wmm/rfi004_power.opt.yml false(unreach-call) 12.06 6.77 None svcomp/pthread-wmm/rfi004_pso.oepc.yml false(unreach-call) 15.55 8.32 None svcomp/pthread-wmm/rfi004_pso.opt.yml false(unreach-call) 11.38 6.29 None svcomp/pthread-wmm/rfi004_rmo.oepc.yml false(unreach-call) 11.00 5.95 None svcomp/pthread-wmm/rfi004_rmo.opt.yml false(unreach-call) 15.17 8.51 None svcomp/pthread-wmm/rfi004_tso.oepc.yml false(unreach-call) 15.37 8.49 None svcomp/pthread-wmm/rfi004_tso.opt.yml false(unreach-call) 11.97 6.83 None svcomp/pthread-wmm/rfi005_power.oepc.yml ERROR: EXCEPTION 9.11 5.45 None svcomp/pthread-wmm/rfi005_power.opt.yml ERROR: EXCEPTION 10.47 5.85 None svcomp/pthread-wmm/rfi005_pso.oepc.yml ERROR: EXCEPTION 8.79 5.06 None svcomp/pthread-wmm/rfi005_pso.opt.yml ERROR: EXCEPTION 11.15 6.61 None svcomp/pthread-wmm/rfi005_rmo.oepc.yml ERROR: EXCEPTION 9.02 5.52 None svcomp/pthread-wmm/rfi005_rmo.opt.yml ERROR: EXCEPTION 9.01 5.10 None svcomp/pthread-wmm/rfi005_tso.oepc.yml ERROR: EXCEPTION 11.35 6.31 None svcomp/pthread-wmm/rfi005_tso.opt.yml ERROR: EXCEPTION 8.53 4.70 None svcomp/pthread-wmm/rfi006_power.oepc.yml ERROR: EXCEPTION 9.90 5.58 None svcomp/pthread-wmm/rfi006_power.opt.yml ERROR: EXCEPTION 9.92 5.66 None svcomp/pthread-wmm/rfi006_pso.oepc.yml ERROR: EXCEPTION 11.34 6.33 None svcomp/pthread-wmm/rfi006_pso.opt.yml ERROR: EXCEPTION 7.68 4.75 None svcomp/pthread-wmm/rfi006_rmo.oepc.yml ERROR: EXCEPTION 6.91 4.22 None svcomp/pthread-wmm/rfi006_rmo.opt.yml ERROR: EXCEPTION 7.21 4.13 None svcomp/pthread-wmm/rfi006_tso.oepc.yml ERROR: EXCEPTION 11.19 6.20 None svcomp/pthread-wmm/rfi006_tso.opt.yml ERROR: EXCEPTION 11.18 6.25 None svcomp/pthread-wmm/rfi007_power.oepc.yml false(unreach-call) 15.01 8.30 None svcomp/pthread-wmm/rfi007_power.opt.yml false(unreach-call) 15.22 8.59 None svcomp/pthread-wmm/rfi007_pso.oepc.yml false(unreach-call) 11.36 6.49 None svcomp/pthread-wmm/rfi007_pso.opt.yml false(unreach-call) 11.53 6.28 None svcomp/pthread-wmm/rfi007_rmo.oepc.yml false(unreach-call) 11.12 6.67 None svcomp/pthread-wmm/rfi007_rmo.opt.yml false(unreach-call) 15.28 8.87 None svcomp/pthread-wmm/rfi007_tso.oepc.yml ERROR: EXCEPTION 10.40 5.83 None svcomp/pthread-wmm/rfi007_tso.opt.yml ERROR: EXCEPTION 10.72 6.18 None svcomp/pthread-wmm/rfi008_power.oepc.yml false(unreach-call) 12.88 7.23 None svcomp/pthread-wmm/rfi008_power.opt.yml false(unreach-call) 12.24 7.05 None svcomp/pthread-wmm/rfi008_pso.oepc.yml false(unreach-call) 13.08 7.26 None svcomp/pthread-wmm/rfi008_pso.opt.yml false(unreach-call) 16.47 8.72 None svcomp/pthread-wmm/rfi008_rmo.oepc.yml false(unreach-call) 17.43 9.78 None svcomp/pthread-wmm/rfi008_rmo.opt.yml false(unreach-call) 16.30 8.90 None svcomp/pthread-wmm/rfi008_tso.oepc.yml false(unreach-call) 16.87 9.15 None svcomp/pthread-wmm/rfi008_tso.opt.yml false(unreach-call) 13.58 7.36 None svcomp/pthread-wmm/rfi009_power.oepc.yml ERROR: EXCEPTION 7.40 4.62 None svcomp/pthread-wmm/rfi009_power.opt.yml false(unreach-call) 20.18 11.21 None svcomp/pthread-wmm/rfi009_pso.oepc.yml false(unreach-call) 28.73 15.30 None svcomp/pthread-wmm/rfi009_pso.opt.yml false(unreach-call) 20.20 11.12 None svcomp/pthread-wmm/rfi009_rmo.oepc.yml ERROR: EXCEPTION 9.17 5.67 None svcomp/pthread-wmm/rfi009_rmo.opt.yml false(unreach-call) 28.50 15.32 None svcomp/pthread-wmm/rfi009_tso.oepc.yml false(unreach-call) 28.58 15.43 None svcomp/pthread-wmm/rfi009_tso.opt.yml false(unreach-call) 20.43 10.95 None svcomp/pthread-wmm/rfi010_power.oepc.yml false(unreach-call) 16.05 9.06 None svcomp/pthread-wmm/rfi010_power.opt.yml false(unreach-call) 12.16 6.87 None svcomp/pthread-wmm/rfi010_pso.oepc.yml false(unreach-call) 11.42 6.54 None svcomp/pthread-wmm/rfi010_pso.opt.yml false(unreach-call) 15.91 8.69 None svcomp/pthread-wmm/rfi010_rmo.oepc.yml false(unreach-call) 12.30 7.79 None svcomp/pthread-wmm/rfi010_rmo.opt.yml false(unreach-call) 12.31 7.26 None svcomp/pthread-wmm/rfi010_tso.oepc.yml false(unreach-call) 15.80 8.93 None svcomp/pthread-wmm/rfi010_tso.opt.yml false(unreach-call) 16.58 9.38 None svcomp/pthread-wmm/safe000_power.oepc.yml ERROR: EXCEPTION 6.55 4.05 None svcomp/pthread-wmm/safe000_power.opt.yml ERROR: EXCEPTION 8.87 4.93 None svcomp/pthread-wmm/safe000_pso.oepc.yml true 11.65 6.39 None svcomp/pthread-wmm/safe000_pso.opt.yml true 11.00 6.22 None svcomp/pthread-wmm/safe000_rmo.oepc.yml ERROR: EXCEPTION 9.27 5.65 None svcomp/pthread-wmm/safe000_rmo.opt.yml ERROR: EXCEPTION 6.73 4.20 None svcomp/pthread-wmm/safe000_tso.oepc.yml true 15.19 8.54 None svcomp/pthread-wmm/safe000_tso.opt.yml true 15.34 8.48 None svcomp/pthread-wmm/safe001_power.oepc.yml ERROR: EXCEPTION 7.64 4.71 None svcomp/pthread-wmm/safe001_power.opt.yml ERROR: EXCEPTION 9.87 5.74 None svcomp/pthread-wmm/safe001_pso.oepc.yml ERROR: EXCEPTION 9.82 5.80 None svcomp/pthread-wmm/safe001_pso.opt.yml ERROR: EXCEPTION 7.47 4.56 None svcomp/pthread-wmm/safe001_rmo.oepc.yml ERROR: EXCEPTION 7.87 4.48 None svcomp/pthread-wmm/safe001_rmo.opt.yml ERROR: EXCEPTION 6.62 4.19 None svcomp/pthread-wmm/safe001_tso.oepc.yml true 18.15 9.85 None svcomp/pthread-wmm/safe001_tso.opt.yml true 13.76 7.41 None svcomp/pthread-wmm/safe002_power.oepc.yml ERROR: EXCEPTION 7.13 4.19 None svcomp/pthread-wmm/safe002_power.opt.yml false(unreach-call) 25.18 13.78 None svcomp/pthread-wmm/safe002_pso.oepc.yml false(unreach-call) 28.81 15.65 None svcomp/pthread-wmm/safe002_pso.opt.yml false(unreach-call) 25.53 13.74 None svcomp/pthread-wmm/safe002_rmo.oepc.yml ERROR: EXCEPTION 7.10 4.10 None svcomp/pthread-wmm/safe002_rmo.opt.yml false(unreach-call) 20.65 11.61 None svcomp/pthread-wmm/safe002_tso.oepc.yml true 14.35 7.66 None svcomp/pthread-wmm/safe002_tso.opt.yml true 14.60 8.39 None svcomp/pthread-wmm/safe003_power.oepc.yml ERROR: EXCEPTION 11.71 6.62 None svcomp/pthread-wmm/safe003_power.opt.yml ERROR: EXCEPTION 9.39 5.61 None svcomp/pthread-wmm/safe003_pso.oepc.yml ERROR: EXCEPTION 11.86 6.69 None svcomp/pthread-wmm/safe003_pso.opt.yml ERROR: EXCEPTION 8.57 4.74 None svcomp/pthread-wmm/safe003_rmo.oepc.yml ERROR: EXCEPTION 11.50 6.34 None svcomp/pthread-wmm/safe003_rmo.opt.yml ERROR: EXCEPTION 12.01 6.63 None svcomp/pthread-wmm/safe003_tso.oepc.yml true 12.60 6.76 None svcomp/pthread-wmm/safe003_tso.opt.yml true 11.26 6.27 None svcomp/pthread-wmm/safe004_power.oepc.yml ERROR: EXCEPTION 12.27 6.71 None svcomp/pthread-wmm/safe004_power.opt.yml ERROR: EXCEPTION 6.98 4.23 None svcomp/pthread-wmm/safe004_pso.oepc.yml ERROR: EXCEPTION 11.96 6.79 None svcomp/pthread-wmm/safe004_pso.opt.yml ERROR: EXCEPTION 9.97 5.66 None svcomp/pthread-wmm/safe004_rmo.oepc.yml ERROR: EXCEPTION 9.52 5.51 None svcomp/pthread-wmm/safe004_rmo.opt.yml ERROR: EXCEPTION 9.84 5.59 None svcomp/pthread-wmm/safe004_tso.oepc.yml true 12.59 6.85 None svcomp/pthread-wmm/safe004_tso.opt.yml true 11.24 6.24 None svcomp/pthread-wmm/safe005_power.oepc.yml false(unreach-call) 25.66 13.67 None svcomp/pthread-wmm/safe005_power.opt.yml false(unreach-call) 24.66 13.27 None svcomp/pthread-wmm/safe005_pso.oepc.yml false(unreach-call) 19.43 11.00 None svcomp/pthread-wmm/safe005_pso.opt.yml false(unreach-call) 25.73 14.06 None svcomp/pthread-wmm/safe005_rmo.oepc.yml false(unreach-call) 25.31 13.75 None svcomp/pthread-wmm/safe005_rmo.opt.yml false(unreach-call) 19.14 10.69 None svcomp/pthread-wmm/safe005_tso.oepc.yml true 12.01 6.75 None svcomp/pthread-wmm/safe005_tso.opt.yml true 13.78 7.79 None svcomp/pthread-wmm/safe006_power.oepc.yml ERROR: EXCEPTION 6.89 4.02 None svcomp/pthread-wmm/safe006_power.opt.yml ERROR: EXCEPTION 8.37 4.95 None svcomp/pthread-wmm/safe006_pso.oepc.yml true 8.32 4.97 None svcomp/pthread-wmm/safe006_pso.opt.yml true 10.75 6.01 None svcomp/pthread-wmm/safe006_rmo.oepc.yml ERROR: EXCEPTION 8.48 5.48 None svcomp/pthread-wmm/safe006_rmo.opt.yml ERROR: EXCEPTION 8.66 5.09 None svcomp/pthread-wmm/safe006_tso.oepc.yml true 8.89 5.53 None svcomp/pthread-wmm/safe006_tso.opt.yml true 10.97 6.43 None svcomp/pthread-wmm/safe007_power.oepc.yml ERROR: EXCEPTION 6.68 3.76 None svcomp/pthread-wmm/safe007_power.opt.yml ERROR: EXCEPTION 7.51 4.35 None svcomp/pthread-wmm/safe007_pso.oepc.yml true 19.11 10.30 None svcomp/pthread-wmm/safe007_pso.opt.yml true 16.59 9.12 None svcomp/pthread-wmm/safe007_rmo.oepc.yml ERROR: EXCEPTION 8.52 4.99 None svcomp/pthread-wmm/safe007_rmo.opt.yml ERROR: EXCEPTION 6.75 3.75 None svcomp/pthread-wmm/safe007_tso.oepc.yml true 11.67 6.47 None svcomp/pthread-wmm/safe007_tso.opt.yml true 12.16 6.75 None svcomp/pthread-wmm/safe008_power.oepc.yml ERROR: EXCEPTION 10.02 5.60 None svcomp/pthread-wmm/safe008_power.opt.yml ERROR: EXCEPTION 9.63 5.66 None svcomp/pthread-wmm/safe008_pso.oepc.yml ERROR: EXCEPTION 7.50 4.65 None svcomp/pthread-wmm/safe008_pso.opt.yml ERROR: EXCEPTION 7.11 4.04 None svcomp/pthread-wmm/safe008_rmo.oepc.yml ERROR: EXCEPTION 9.55 5.86 None svcomp/pthread-wmm/safe008_rmo.opt.yml ERROR: EXCEPTION 7.94 4.79 None svcomp/pthread-wmm/safe008_tso.oepc.yml true 18.34 10.05 None svcomp/pthread-wmm/safe008_tso.opt.yml true 17.24 9.22 None svcomp/pthread-wmm/safe009_power.oepc.yml ERROR: EXCEPTION 7.15 4.37 None svcomp/pthread-wmm/safe009_power.opt.yml ERROR: EXCEPTION 9.43 5.67 None svcomp/pthread-wmm/safe009_pso.oepc.yml true 11.19 6.43 None svcomp/pthread-wmm/safe009_pso.opt.yml true 12.67 7.08 None svcomp/pthread-wmm/safe009_rmo.oepc.yml ERROR: EXCEPTION 6.74 4.06 None svcomp/pthread-wmm/safe009_rmo.opt.yml ERROR: EXCEPTION 9.33 5.55 None svcomp/pthread-wmm/safe009_tso.oepc.yml true 18.36 10.23 None svcomp/pthread-wmm/safe009_tso.opt.yml true 13.61 8.24 None svcomp/pthread-wmm/safe010_power.oepc.yml ERROR: EXCEPTION 7.04 4.02 None svcomp/pthread-wmm/safe010_power.opt.yml ERROR: EXCEPTION 9.18 5.40 None svcomp/pthread-wmm/safe010_pso.oepc.yml ERROR: EXCEPTION 9.39 5.31 None svcomp/pthread-wmm/safe010_pso.opt.yml ERROR: EXCEPTION 9.86 5.62 None svcomp/pthread-wmm/safe010_rmo.oepc.yml ERROR: EXCEPTION 7.98 4.88 None svcomp/pthread-wmm/safe010_rmo.opt.yml ERROR: EXCEPTION 7.25 4.34 None svcomp/pthread-wmm/safe010_tso.oepc.yml true 11.32 6.42 None svcomp/pthread-wmm/safe010_tso.opt.yml true 11.24 6.43 None svcomp/pthread-wmm/safe011_power.oepc.yml ERROR: EXCEPTION 10.14 5.80 None svcomp/pthread-wmm/safe011_power.opt.yml ERROR: EXCEPTION 7.84 4.47 None svcomp/pthread-wmm/safe011_pso.oepc.yml ERROR: EXCEPTION 9.71 5.46 None svcomp/pthread-wmm/safe011_pso.opt.yml ERROR: EXCEPTION 8.25 5.15 None svcomp/pthread-wmm/safe011_rmo.oepc.yml ERROR: EXCEPTION 7.14 4.43 None svcomp/pthread-wmm/safe011_rmo.opt.yml ERROR: EXCEPTION 7.69 4.53 None svcomp/pthread-wmm/safe011_tso.oepc.yml true 18.33 9.97 None svcomp/pthread-wmm/safe011_tso.opt.yml true 18.78 10.07 None svcomp/pthread-wmm/safe012_power.oepc.yml ERROR: EXCEPTION 6.44 4.19 None svcomp/pthread-wmm/safe012_power.opt.yml ERROR: EXCEPTION 9.23 5.44 None svcomp/pthread-wmm/safe012_pso.oepc.yml false(unreach-call) 23.90 12.94 None svcomp/pthread-wmm/safe012_pso.opt.yml false(unreach-call) 18.19 10.71 None svcomp/pthread-wmm/safe012_rmo.oepc.yml ERROR: EXCEPTION 6.65 4.10 None svcomp/pthread-wmm/safe012_rmo.opt.yml false(unreach-call) 17.23 9.44 None svcomp/pthread-wmm/safe012_tso.oepc.yml true 17.72 9.67 None svcomp/pthread-wmm/safe012_tso.opt.yml true 14.74 8.56 None svcomp/pthread-wmm/safe013_power.oepc.yml false(unreach-call) 24.80 13.42 None svcomp/pthread-wmm/safe013_power.opt.yml false(unreach-call) 24.51 13.27 None svcomp/pthread-wmm/safe013_pso.oepc.yml false(unreach-call) 19.21 10.51 None svcomp/pthread-wmm/safe013_pso.opt.yml false(unreach-call) 26.36 14.28 None svcomp/pthread-wmm/safe013_rmo.oepc.yml false(unreach-call) 18.99 10.68 None svcomp/pthread-wmm/safe013_rmo.opt.yml false(unreach-call) 26.50 13.99 None svcomp/pthread-wmm/safe013_tso.oepc.yml true 12.92 6.92 None svcomp/pthread-wmm/safe013_tso.opt.yml true 14.45 7.81 None svcomp/pthread-wmm/safe014_power.oepc.yml ERROR: EXCEPTION 9.11 5.19 None svcomp/pthread-wmm/safe014_power.opt.yml ERROR: EXCEPTION 8.87 5.40 None svcomp/pthread-wmm/safe014_pso.oepc.yml true 14.76 8.03 None svcomp/pthread-wmm/safe014_pso.opt.yml true 11.84 6.51 None svcomp/pthread-wmm/safe014_rmo.oepc.yml ERROR: EXCEPTION 8.31 4.90 None svcomp/pthread-wmm/safe014_rmo.opt.yml ERROR: EXCEPTION 9.22 5.47 None svcomp/pthread-wmm/safe014_tso.oepc.yml true 19.33 10.36 None svcomp/pthread-wmm/safe014_tso.opt.yml true 13.66 7.43 None svcomp/pthread-wmm/safe015_power.oepc.yml ERROR: EXCEPTION 9.26 5.26 None svcomp/pthread-wmm/safe015_power.opt.yml ERROR: EXCEPTION 6.74 4.15 None svcomp/pthread-wmm/safe015_pso.oepc.yml true 15.16 8.28 None svcomp/pthread-wmm/safe015_pso.opt.yml true 20.35 11.16 None svcomp/pthread-wmm/safe015_rmo.oepc.yml ERROR: EXCEPTION 9.21 5.42 None svcomp/pthread-wmm/safe015_rmo.opt.yml ERROR: EXCEPTION 9.79 5.71 None svcomp/pthread-wmm/safe015_tso.oepc.yml true 15.57 8.80 None svcomp/pthread-wmm/safe015_tso.opt.yml true 14.06 7.88 None svcomp/pthread-wmm/safe016_power.oepc.yml ERROR: EXCEPTION 9.11 5.47 None svcomp/pthread-wmm/safe016_power.opt.yml ERROR: EXCEPTION 9.26 5.41 None svcomp/pthread-wmm/safe016_pso.oepc.yml true 40.38 26.13 None svcomp/pthread-wmm/safe016_pso.opt.yml true 49.16 31.11 None svcomp/pthread-wmm/safe016_rmo.oepc.yml ERROR: EXCEPTION 9.55 5.54 None svcomp/pthread-wmm/safe016_rmo.opt.yml ERROR: EXCEPTION 8.55 4.99 None svcomp/pthread-wmm/safe016_tso.oepc.yml true 37.64 24.43 None svcomp/pthread-wmm/safe016_tso.opt.yml true 48.28 30.87 None svcomp/pthread-wmm/safe017_power.oepc.yml ERROR: EXCEPTION 7.33 4.47 None svcomp/pthread-wmm/safe017_power.opt.yml ERROR: EXCEPTION 9.95 5.92 None svcomp/pthread-wmm/safe017_pso.oepc.yml ERROR: EXCEPTION 9.80 5.41 None svcomp/pthread-wmm/safe017_pso.opt.yml ERROR: EXCEPTION 7.58 4.54 None svcomp/pthread-wmm/safe017_rmo.oepc.yml ERROR: EXCEPTION 7.82 4.87 None svcomp/pthread-wmm/safe017_rmo.opt.yml ERROR: EXCEPTION 9.30 5.42 None svcomp/pthread-wmm/safe017_tso.oepc.yml true 17.50 9.55 None svcomp/pthread-wmm/safe017_tso.opt.yml true 13.67 7.83 None svcomp/pthread-wmm/safe018_power.oepc.yml ERROR: EXCEPTION 9.09 5.14 None svcomp/pthread-wmm/safe018_power.opt.yml ERROR: EXCEPTION 9.84 5.53 None svcomp/pthread-wmm/safe018_pso.oepc.yml true 17.36 9.55 None svcomp/pthread-wmm/safe018_pso.opt.yml true 12.14 6.74 None svcomp/pthread-wmm/safe018_rmo.oepc.yml ERROR: EXCEPTION 6.98 3.96 None svcomp/pthread-wmm/safe018_rmo.opt.yml ERROR: EXCEPTION 6.76 3.90 None svcomp/pthread-wmm/safe018_tso.oepc.yml true 16.13 8.76 None svcomp/pthread-wmm/safe018_tso.opt.yml true 12.65 6.86 None svcomp/pthread-wmm/safe019_power.oepc.yml ERROR: EXCEPTION 9.32 5.29 None svcomp/pthread-wmm/safe019_power.opt.yml ERROR: EXCEPTION 7.04 4.38 None svcomp/pthread-wmm/safe019_pso.oepc.yml true 41.30 26.71 None svcomp/pthread-wmm/safe019_pso.opt.yml true 49.60 32.03 None svcomp/pthread-wmm/safe019_rmo.oepc.yml ERROR: EXCEPTION 8.40 4.93 None svcomp/pthread-wmm/safe019_rmo.opt.yml ERROR: EXCEPTION 9.62 5.66 None svcomp/pthread-wmm/safe019_tso.oepc.yml true 37.24 23.57 None svcomp/pthread-wmm/safe019_tso.opt.yml true 40.52 25.96 None svcomp/pthread-wmm/safe020_power.oepc.yml ERROR: EXCEPTION 9.56 5.69 None svcomp/pthread-wmm/safe020_power.opt.yml ERROR: EXCEPTION 9.65 5.45 None svcomp/pthread-wmm/safe020_pso.oepc.yml true 17.55 9.42 None svcomp/pthread-wmm/safe020_pso.opt.yml true 15.88 9.22 None svcomp/pthread-wmm/safe020_rmo.oepc.yml ERROR: EXCEPTION 8.71 4.89 None svcomp/pthread-wmm/safe020_rmo.opt.yml ERROR: EXCEPTION 9.39 5.50 None svcomp/pthread-wmm/safe020_tso.oepc.yml true 16.02 8.81 None svcomp/pthread-wmm/safe020_tso.opt.yml true 16.09 9.01 None svcomp/pthread-wmm/safe021_power.oepc.yml false(unreach-call) 25.19 13.58 None svcomp/pthread-wmm/safe021_power.opt.yml ERROR: EXCEPTION 7.36 4.75 None svcomp/pthread-wmm/safe021_pso.oepc.yml false(unreach-call) 18.36 10.16 None svcomp/pthread-wmm/safe021_pso.opt.yml ERROR: EXCEPTION 9.62 5.70 None svcomp/pthread-wmm/safe021_rmo.oepc.yml false(unreach-call) 25.21 13.74 None svcomp/pthread-wmm/safe021_rmo.opt.yml false(unreach-call) 18.73 10.34 None svcomp/pthread-wmm/safe021_tso.oepc.yml true 13.65 7.47 None svcomp/pthread-wmm/safe021_tso.opt.yml true 16.54 9.11 None svcomp/pthread-wmm/safe022_power.oepc.yml false(unreach-call) 15.65 8.57 None svcomp/pthread-wmm/safe022_power.opt.yml false(unreach-call) 15.57 8.51 None svcomp/pthread-wmm/safe022_pso.oepc.yml false(unreach-call) 11.14 6.56 None svcomp/pthread-wmm/safe022_pso.opt.yml false(unreach-call) 11.90 6.83 None svcomp/pthread-wmm/safe022_rmo.oepc.yml false(unreach-call) 12.04 6.56 None svcomp/pthread-wmm/safe022_rmo.opt.yml false(unreach-call) 15.69 8.59 None svcomp/pthread-wmm/safe022_tso.oepc.yml true 12.51 7.09 None svcomp/pthread-wmm/safe022_tso.opt.yml true 11.82 6.74 None svcomp/pthread-wmm/safe023_power.oepc.yml ERROR: EXCEPTION 8.80 5.11 None svcomp/pthread-wmm/safe023_power.opt.yml ERROR: EXCEPTION 9.67 5.79 None svcomp/pthread-wmm/safe023_pso.oepc.yml ERROR: EXCEPTION 12.66 7.13 None svcomp/pthread-wmm/safe023_pso.opt.yml ERROR: EXCEPTION 10.04 5.91 None svcomp/pthread-wmm/safe023_rmo.oepc.yml ERROR: EXCEPTION 9.24 5.66 None svcomp/pthread-wmm/safe023_rmo.opt.yml ERROR: EXCEPTION 12.45 6.88 None svcomp/pthread-wmm/safe023_tso.oepc.yml true 16.67 9.20 None svcomp/pthread-wmm/safe023_tso.opt.yml true 18.26 9.86 None svcomp/pthread-wmm/safe024_power.oepc.yml false(unreach-call) 17.99 9.79 None svcomp/pthread-wmm/safe024_power.opt.yml false(unreach-call) 25.39 13.47 None svcomp/pthread-wmm/safe024_pso.oepc.yml false(unreach-call) 17.13 9.55 None svcomp/pthread-wmm/safe024_pso.opt.yml false(unreach-call) 17.51 9.49 None svcomp/pthread-wmm/safe024_rmo.oepc.yml false(unreach-call) 23.62 13.28 None svcomp/pthread-wmm/safe024_rmo.opt.yml false(unreach-call) 22.02 12.07 None svcomp/pthread-wmm/safe024_tso.oepc.yml true 16.34 9.00 None svcomp/pthread-wmm/safe024_tso.opt.yml true 12.65 7.17 None svcomp/pthread-wmm/safe025_power.oepc.yml ERROR: EXCEPTION 7.51 4.70 None svcomp/pthread-wmm/safe025_power.opt.yml ERROR: EXCEPTION 7.71 4.62 None svcomp/pthread-wmm/safe025_pso.oepc.yml true 19.69 10.87 None svcomp/pthread-wmm/safe025_pso.opt.yml true 13.14 7.35 None svcomp/pthread-wmm/safe025_rmo.oepc.yml ERROR: EXCEPTION 7.40 4.93 None svcomp/pthread-wmm/safe025_rmo.opt.yml ERROR: EXCEPTION 7.06 4.14 None svcomp/pthread-wmm/safe025_tso.oepc.yml true 21.05 11.45 None svcomp/pthread-wmm/safe025_tso.opt.yml true 18.29 9.75 None svcomp/pthread-wmm/safe026_power.oepc.yml false(unreach-call) 25.13 13.47 None svcomp/pthread-wmm/safe026_power.opt.yml false(unreach-call) 20.22 11.24 None svcomp/pthread-wmm/safe026_pso.oepc.yml false(unreach-call) 18.06 10.10 None svcomp/pthread-wmm/safe026_pso.opt.yml false(unreach-call) 18.66 10.13 None svcomp/pthread-wmm/safe026_rmo.oepc.yml false(unreach-call) 25.70 14.48 None svcomp/pthread-wmm/safe026_rmo.opt.yml false(unreach-call) 25.35 13.73 None svcomp/pthread-wmm/safe026_tso.oepc.yml true 15.78 8.43 None svcomp/pthread-wmm/safe026_tso.opt.yml true 12.03 6.48 None svcomp/pthread-wmm/safe027_power.oepc.yml ERROR: EXCEPTION 7.72 4.77 None svcomp/pthread-wmm/safe027_power.opt.yml ERROR: EXCEPTION 7.62 4.40 None svcomp/pthread-wmm/safe027_pso.oepc.yml true 45.64 28.53 None svcomp/pthread-wmm/safe027_pso.opt.yml true 37.42 24.51 None svcomp/pthread-wmm/safe027_rmo.oepc.yml ERROR: EXCEPTION 9.12 5.46 None svcomp/pthread-wmm/safe027_rmo.opt.yml ERROR: EXCEPTION 6.73 4.15 None svcomp/pthread-wmm/safe027_tso.oepc.yml true 40.52 26.49 None svcomp/pthread-wmm/safe027_tso.opt.yml true 48.99 30.39 None svcomp/pthread-wmm/safe028_power.oepc.yml ERROR: EXCEPTION 9.79 5.66 None svcomp/pthread-wmm/safe028_power.opt.yml ERROR: EXCEPTION 7.04 4.22 None svcomp/pthread-wmm/safe028_pso.oepc.yml true 16.98 9.30 None svcomp/pthread-wmm/safe028_pso.opt.yml true 11.38 6.44 None svcomp/pthread-wmm/safe028_rmo.oepc.yml ERROR: EXCEPTION 8.79 5.25 None svcomp/pthread-wmm/safe028_rmo.opt.yml ERROR: EXCEPTION 9.32 5.22 None svcomp/pthread-wmm/safe028_tso.oepc.yml true 15.53 8.58 None svcomp/pthread-wmm/safe028_tso.opt.yml true 11.08 5.97 None svcomp/pthread-wmm/safe029_power.oepc.yml ERROR: EXCEPTION 9.96 5.90 None svcomp/pthread-wmm/safe029_power.opt.yml ERROR: EXCEPTION 7.19 4.15 None svcomp/pthread-wmm/safe029_pso.oepc.yml ERROR: EXCEPTION 9.22 5.42 None svcomp/pthread-wmm/safe029_pso.opt.yml ERROR: EXCEPTION 7.65 4.56 None svcomp/pthread-wmm/safe029_rmo.oepc.yml ERROR: EXCEPTION 9.70 5.73 None svcomp/pthread-wmm/safe029_rmo.opt.yml ERROR: EXCEPTION 6.83 3.94 None svcomp/pthread-wmm/safe029_tso.oepc.yml true 10.45 5.97 None svcomp/pthread-wmm/safe029_tso.opt.yml true 7.87 4.40 None svcomp/pthread-wmm/safe030_power.oepc.yml ERROR: EXCEPTION 7.75 4.35 None svcomp/pthread-wmm/safe030_power.opt.yml ERROR: EXCEPTION 10.03 5.75 None svcomp/pthread-wmm/safe030_pso.oepc.yml ERROR: EXCEPTION 9.55 5.72 None svcomp/pthread-wmm/safe030_pso.opt.yml ERROR: EXCEPTION 7.25 4.14 None svcomp/pthread-wmm/safe030_rmo.oepc.yml ERROR: EXCEPTION 7.36 4.15 None svcomp/pthread-wmm/safe030_rmo.opt.yml ERROR: EXCEPTION 9.38 5.49 None svcomp/pthread-wmm/safe030_tso.oepc.yml true 18.93 10.29 None svcomp/pthread-wmm/safe030_tso.opt.yml true 14.49 7.93 None svcomp/pthread-wmm/safe031_power.oepc.yml false(unreach-call) 18.71 10.16 None svcomp/pthread-wmm/safe031_power.opt.yml ERROR: EXCEPTION 10.42 5.90 None svcomp/pthread-wmm/safe031_pso.oepc.yml false(unreach-call) 20.06 10.96 None svcomp/pthread-wmm/safe031_pso.opt.yml ERROR: EXCEPTION 9.41 5.51 None svcomp/pthread-wmm/safe031_rmo.oepc.yml false(unreach-call) 27.65 14.76 None svcomp/pthread-wmm/safe031_rmo.opt.yml ERROR: EXCEPTION 7.85 4.89 None svcomp/pthread-wmm/safe031_tso.oepc.yml true 18.78 10.37 None svcomp/pthread-wmm/safe031_tso.opt.yml true 17.88 9.87 None svcomp/pthread-wmm/safe032_power.oepc.yml ERROR: EXCEPTION 11.83 6.68 None svcomp/pthread-wmm/safe032_power.opt.yml ERROR: EXCEPTION 8.69 5.11 None svcomp/pthread-wmm/safe032_pso.oepc.yml ERROR: EXCEPTION 8.89 4.97 None svcomp/pthread-wmm/safe032_pso.opt.yml ERROR: EXCEPTION 8.56 4.85 None svcomp/pthread-wmm/safe032_rmo.oepc.yml ERROR: EXCEPTION 11.84 6.81 None svcomp/pthread-wmm/safe032_rmo.opt.yml ERROR: EXCEPTION 8.32 4.64 None svcomp/pthread-wmm/safe032_tso.oepc.yml true 16.21 8.87 None svcomp/pthread-wmm/safe032_tso.opt.yml true 12.01 6.43 None svcomp/pthread-wmm/safe033_power.oepc.yml false(unreach-call) 10.14 5.61 None svcomp/pthread-wmm/safe033_power.opt.yml false(unreach-call) 13.55 7.53 None svcomp/pthread-wmm/safe033_pso.oepc.yml false(unreach-call) 13.59 7.52 None svcomp/pthread-wmm/safe033_pso.opt.yml false(unreach-call) 9.63 5.33 None svcomp/pthread-wmm/safe033_rmo.oepc.yml false(unreach-call) 13.93 7.50 None svcomp/pthread-wmm/safe033_rmo.opt.yml false(unreach-call) 10.68 6.10 None svcomp/pthread-wmm/safe033_tso.oepc.yml true 8.64 5.04 None svcomp/pthread-wmm/safe033_tso.opt.yml true 10.91 5.89 None svcomp/pthread-wmm/safe034_power.oepc.yml false(unreach-call) 20.19 11.23 None svcomp/pthread-wmm/safe034_power.opt.yml false(unreach-call) 16.06 8.93 None svcomp/pthread-wmm/safe034_pso.oepc.yml false(unreach-call) 21.93 11.79 None svcomp/pthread-wmm/safe034_pso.opt.yml false(unreach-call) 16.56 8.92 None svcomp/pthread-wmm/safe034_rmo.oepc.yml false(unreach-call) 16.72 9.12 None svcomp/pthread-wmm/safe034_rmo.opt.yml false(unreach-call) 22.39 12.16 None svcomp/pthread-wmm/safe034_tso.oepc.yml true 16.62 8.81 None svcomp/pthread-wmm/safe034_tso.opt.yml true 12.25 6.89 None svcomp/pthread-wmm/safe035_power.oepc.yml ERROR: EXCEPTION 12.33 6.76 None svcomp/pthread-wmm/safe035_power.opt.yml ERROR: EXCEPTION 11.98 6.77 None svcomp/pthread-wmm/safe035_pso.oepc.yml true 13.45 7.71 None svcomp/pthread-wmm/safe035_pso.opt.yml true 11.93 6.50 None svcomp/pthread-wmm/safe035_rmo.oepc.yml true 17.32 9.51 None svcomp/pthread-wmm/safe035_rmo.opt.yml true 11.04 6.04 None svcomp/pthread-wmm/safe035_tso.oepc.yml true 16.54 9.05 None svcomp/pthread-wmm/safe035_tso.opt.yml true 15.43 8.95 None svcomp/pthread-wmm/safe036_power.oepc.yml true 10.28 5.82 None svcomp/pthread-wmm/safe036_power.opt.yml true 8.24 4.64 None svcomp/pthread-wmm/safe036_pso.oepc.yml true 8.15 4.87 None svcomp/pthread-wmm/safe036_pso.opt.yml true 7.67 4.86 None svcomp/pthread-wmm/safe036_rmo.oepc.yml true 10.79 5.99 None svcomp/pthread-wmm/safe036_rmo.opt.yml true 8.33 4.72 None svcomp/pthread-wmm/safe036_tso.oepc.yml true 8.13 4.54 None svcomp/pthread-wmm/safe036_tso.opt.yml true 10.59 6.11 None svcomp/pthread-wmm/safe037_power.oepc.yml true 15.75 8.53 None svcomp/pthread-wmm/safe037_power.opt.yml true 15.41 8.62 None svcomp/pthread-wmm/safe037_pso.oepc.yml true 10.78 6.38 None svcomp/pthread-wmm/safe037_pso.opt.yml true 12.71 7.36 None svcomp/pthread-wmm/safe037_rmo.oepc.yml true 11.95 6.42 None svcomp/pthread-wmm/safe037_rmo.opt.yml true 14.91 8.37 None svcomp/pthread-wmm/safe037_tso.oepc.yml true 15.30 8.56 None svcomp/pthread-wmm/safe037_tso.opt.yml true 11.13 6.10 None svcomp/pthread-wmm/thin000_power.oepc.yml ERROR: EXCEPTION 8.82 5.03 None svcomp/pthread-wmm/thin000_power.opt.yml ERROR: EXCEPTION 8.93 5.40 None svcomp/pthread-wmm/thin000_pso.oepc.yml true 8.47 4.75 None svcomp/pthread-wmm/thin000_pso.opt.yml true 8.72 5.25 None svcomp/pthread-wmm/thin000_rmo.oepc.yml ERROR: EXCEPTION 8.84 5.00 None svcomp/pthread-wmm/thin000_rmo.opt.yml ERROR: EXCEPTION 7.70 4.51 None svcomp/pthread-wmm/thin000_tso.oepc.yml true 10.69 6.04 None svcomp/pthread-wmm/thin000_tso.opt.yml true 7.42 4.66 None svcomp/pthread-wmm/thin001_power.oepc.yml ERROR: EXCEPTION 8.85 5.26 None svcomp/pthread-wmm/thin001_power.opt.yml ERROR: EXCEPTION 7.25 4.14 None svcomp/pthread-wmm/thin001_pso.oepc.yml true 11.68 6.46 None svcomp/pthread-wmm/thin001_pso.opt.yml true 15.73 8.65 None svcomp/pthread-wmm/thin001_rmo.oepc.yml ERROR: EXCEPTION 8.21 5.06 None svcomp/pthread-wmm/thin001_rmo.opt.yml ERROR: EXCEPTION 6.59 3.93 None svcomp/pthread-wmm/thin001_tso.oepc.yml true 12.69 7.27 None svcomp/pthread-wmm/thin001_tso.opt.yml true 18.18 9.86 None svcomp/pthread-wmm/thin002_power.oepc.yml ERROR: EXCEPTION 8.91 5.30 None svcomp/pthread-wmm/thin002_power.opt.yml ERROR: EXCEPTION 7.69 4.73 None svcomp/pthread-wmm/thin002_pso.oepc.yml true 53.28 35.42 None svcomp/pthread-wmm/thin002_pso.opt.yml true 41.06 27.90 None svcomp/pthread-wmm/thin002_rmo.oepc.yml ERROR: EXCEPTION 8.65 5.69 None svcomp/pthread-wmm/thin002_rmo.opt.yml ERROR: EXCEPTION 8.50 4.92 None svcomp/pthread-wmm/thin002_tso.oepc.yml true 50.08 35.12 None svcomp/pthread-wmm/thin002_tso.opt.yml true 49.79 34.59 None svcomp/pthread-lit/fk2012.yml TIMEOUT 906.71 862.00 None svcomp/pthread-lit/fkp2013-1.yml TIMEOUT 901.23 855.09 None svcomp/pthread-lit/fkp2013-2.yml TIMEOUT 901.24 854.90 None svcomp/pthread-lit/fkp2013_variant-1.yml TIMEOUT 901.28 855.60 None svcomp/pthread-lit/fkp2013_variant-2.yml false(unreach-call) 9.64 5.63 None svcomp/pthread-lit/fkp2014.yml ERROR: EXCEPTION 5.26 3.57 None svcomp/pthread-lit/qw2004-1.yml ERROR: EXCEPTION 5.89 3.91 None svcomp/pthread-lit/qw2004-2.yml ERROR: EXCEPTION 7.79 4.49 None svcomp/pthread-lit/qw2004_variant.yml ERROR: EXCEPTION 5.51 3.34 None svcomp/pthread-lit/sssc12.yml OUT OF MEMORY 590.29 391.18 None svcomp/pthread-lit/sssc12_variant.yml ERROR: EXCEPTION 21.43 11.98 None svcomp/ldv-races/race-1_1-join.yml true 8.20 5.09 None svcomp/ldv-races/race-1_2-join.yml false(unreach-call) 8.44 4.67 None svcomp/ldv-races/race-1_3-join.yml false(unreach-call) 8.35 4.88 None svcomp/ldv-races/race-2_1-container_of.yml TIMEOUT 901.09 710.74 None svcomp/ldv-races/race-2_2-container_of.yml TIMEOUT 900.21 751.91 None svcomp/ldv-races/race-2_3-container_of.yml ERROR: EXCEPTION 6.76 4.18 None svcomp/ldv-races/race-2_4-container_of.yml ERROR: EXCEPTION 6.91 3.86 None svcomp/ldv-races/race-2_5-container_of.yml false(unreach-call) 37.12 23.94 None svcomp/ldv-races/race-3_1-container_of-global.yml TIMEOUT 901.36 746.09 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 150.48 104.23 None svcomp/ldv-races/race-4_1-thread_local_vars.yml true 43.70 27.66 None svcomp/ldv-races/race-4_2-thread_local_vars.yml false(unreach-call) 50.54 33.46 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 23.09 12.25 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 23.10 12.09 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR: EXCEPTION 16.64 8.87 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml ERROR: EXCEPTION 13.92 7.49 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml ERROR: EXCEPTION 11.42 6.63 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR: EXCEPTION 13.37 7.16 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml ERROR: EXCEPTION 13.13 7.12 None svcomp/pthread-complex/bounded_buffer.yml TIMEOUT 901.37 850.96 None svcomp/pthread-complex/elimination_backoff_stack.yml ERROR: EXCEPTION 14.35 7.91 None svcomp/pthread-complex/safestack_relacy.yml ERROR: EXCEPTION 6.61 4.41 None svcomp/pthread-complex/workstealqueue_mutex-1.yml ERROR: EXCEPTION 11.41 6.39 None svcomp/pthread-complex/workstealqueue_mutex-2.yml ERROR: EXCEPTION 11.47 6.33 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 8.74 5.34 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 8.53 4.78 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 8.83 5.11 None svcomp/pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 11.36 6.38 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 10.24 5.79 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 9.96 5.89 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 7.62 4.76 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 8.26 4.74 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 9.90 5.59 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 10.09 5.67 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 10.15 5.67 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 7.69 4.72 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 7.16 4.53 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 7.99 4.79 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 9.71 5.71 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 10.89 6.26 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 10.05 5.70 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 8.51 4.84 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 9.78 5.39 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 10.00 5.56 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 9.89 5.72 None svcomp/pthread-C-DAC/pthread-demo-datarace-1.yml ERROR: EXCEPTION 9.84 5.93 None svcomp/pthread-C-DAC/pthread-demo-datarace-2.yml TIMEOUT 901.07 728.29 None svcomp/pthread-C-DAC/pthread-finding-k-matches.yml unknown 4.96 2.96 None svcomp/pthread-C-DAC/pthread-numerical-integration.yml unknown 6.09 3.45 None svcomp/pthread-divine/barrier_2t.yml ERROR: EXCEPTION 44.10 25.95 None svcomp/pthread-divine/barrier_3t.yml ERROR: EXCEPTION 46.21 27.60 None svcomp/pthread-divine/condvar.yml true 8.96 5.98 None svcomp/pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 7.64 4.65 None svcomp/pthread-divine/divinefifo-bug_1w1r.yml TIMEOUT 900.71 739.62 None svcomp/pthread-divine/divinefifo_1w1r.yml TIMEOUT 901.02 718.23 None svcomp/pthread-divine/one_time_barrier_2t.yml ERROR: EXCEPTION 38.79 21.73 None svcomp/pthread-divine/one_time_barrier_3t.yml ERROR: EXCEPTION 40.33 23.47 None svcomp/pthread-divine/one_time_barrier_twice_2t.yml ERROR: EXCEPTION 38.73 22.11 None svcomp/pthread-divine/one_time_barrier_twice_3t.yml ERROR: EXCEPTION 40.73 23.70 None svcomp/pthread-divine/ring_1w1r-1.yml false(unreach-call) 10.07 5.82 None svcomp/pthread-divine/ring_1w1r-2.yml TIMEOUT 901.21 704.23 None svcomp/pthread-divine/ring_2w1r-1.yml TIMEOUT 901.66 686.59 None svcomp/pthread-divine/ring_2w1r-2.yml TIMEOUT 901.80 721.63 None svcomp/pthread-divine/tls_basic.yml unknown 4.33 2.60 None svcomp/pthread-divine/tls_destructor_worker.yml unknown 5.53 3.50 None svcomp/pthread-nondet/nondet-array-1.yml OUT OF MEMORY 732.21 649.91 None svcomp/pthread-nondet/nondet-array-2.yml TIMEOUT 902.26 784.09 None svcomp/pthread-nondet/nondet-loop-bound-1.yml TIMEOUT 902.16 672.97 None svcomp/pthread-nondet/nondet-loop-bound-2.yml TIMEOUT 902.07 657.02 None svcomp/pthread-nondet/nondet-loop-bound-variant-1.yml TIMEOUT 900.88 864.70 None svcomp/pthread-nondet/nondet-loop-bound-variant-2.yml TIMEOUT 900.87 864.60 None svcomp/goblint-regression/28-race_reach_01-simple_racing.yml TIMEOUT (true) 901.62 832.50 None svcomp/goblint-regression/28-race_reach_02-simple_racefree.yml TIMEOUT (true) 901.39 827.61 None svcomp/goblint-regression/28-race_reach_03-munge_racing.yml TIMEOUT 900.99 862.56 None svcomp/goblint-regression/28-race_reach_04-munge_racefree.yml TIMEOUT 900.93 871.99 None svcomp/goblint-regression/28-race_reach_05-lockfuns_racefree.yml TIMEOUT (true) 900.79 803.25 None svcomp/goblint-regression/28-race_reach_06-cond_racing1.yml TIMEOUT (true) 901.26 764.43 None svcomp/goblint-regression/28-race_reach_07-cond_racing2.yml TIMEOUT (true) 901.18 794.28 None svcomp/goblint-regression/28-race_reach_08-cond_racefree.yml TIMEOUT (true) 900.84 814.72 None svcomp/goblint-regression/28-race_reach_09-ptrmunge_racing.yml ERROR: EXCEPTION 22.41 13.73 None svcomp/goblint-regression/28-race_reach_10-ptrmunge_racefree.yml ERROR: EXCEPTION 25.47 15.25 None svcomp/goblint-regression/28-race_reach_11-ptr_racing.yml TIMEOUT 901.04 871.13 None svcomp/goblint-regression/28-race_reach_12-ptr_racefree.yml TIMEOUT 901.01 863.21 None svcomp/goblint-regression/28-race_reach_19-callback_racing.yml TIMEOUT 900.63 766.52 None svcomp/goblint-regression/28-race_reach_20-callback_racefree.yml TIMEOUT (true) 901.18 729.36 None svcomp/goblint-regression/28-race_reach_21-deref_read_racing.yml TIMEOUT 900.92 866.28 None svcomp/goblint-regression/28-race_reach_22-deref_read_racefree.yml TIMEOUT 900.96 865.64 None svcomp/goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 4.23 2.43 None svcomp/goblint-regression/28-race_reach_24-sound_lock_racing.yml TIMEOUT 901.71 824.53 None svcomp/goblint-regression/28-race_reach_27-funptr_racing.yml ERROR: EXCEPTION 47.48 31.91 None svcomp/goblint-regression/28-race_reach_28-funptr_racefree.yml ERROR: EXCEPTION 19.29 11.41 None svcomp/goblint-regression/28-race_reach_36-indirect_racefree.yml TIMEOUT 900.83 873.44 None svcomp/goblint-regression/28-race_reach_37-indirect_racing.yml TIMEOUT 900.96 862.29 None svcomp/goblint-regression/28-race_reach_40-trylock_racing.yml unknown 4.12 2.29 None svcomp/goblint-regression/28-race_reach_41-trylock_racefree.yml TIMEOUT (true) 901.58 810.53 None svcomp/goblint-regression/28-race_reach_42-trylock2_racefree.yml TIMEOUT 901.08 855.85 None svcomp/goblint-regression/28-race_reach_45-escape_racing.yml false(unreach-call) 9.32 5.76 None svcomp/goblint-regression/28-race_reach_46-escape_racefree.yml true 11.88 6.81 None svcomp/goblint-regression/28-race_reach_51-mutexptr_racefree.yml TIMEOUT 901.01 864.24 None svcomp/goblint-regression/28-race_reach_60-invariant_racefree.yml TIMEOUT 901.43 859.95 None svcomp/goblint-regression/28-race_reach_61-invariant_racing.yml TIMEOUT 900.91 873.09 None svcomp/goblint-regression/28-race_reach_70-funloop_racefree.yml ERROR: EXCEPTION 9.25 5.84 None svcomp/goblint-regression/28-race_reach_71-funloop_racing.yml ERROR: EXCEPTION 10.60 6.78 None svcomp/goblint-regression/28-race_reach_72-funloop_hard_racing.yml ERROR: EXCEPTION 10.11 6.35 None svcomp/goblint-regression/28-race_reach_73-funloop_hard_racefree.yml ERROR: EXCEPTION 10.36 6.32 None svcomp/goblint-regression/28-race_reach_74-tricky_address1_racefree.yml ERROR: EXCEPTION 13.45 8.54 None svcomp/goblint-regression/28-race_reach_75-tricky_address2_racefree.yml ERROR: EXCEPTION 10.51 7.01 None svcomp/goblint-regression/28-race_reach_76-tricky_address3_racefree.yml ERROR: EXCEPTION 10.34 7.02 None svcomp/goblint-regression/28-race_reach_77-tricky_address4_racing.yml ERROR: EXCEPTION 13.57 8.55 None svcomp/goblint-regression/28-race_reach_78-equ_racing.yml ERROR: EXCEPTION 64.35 50.14 None svcomp/goblint-regression/28-race_reach_79-equ_racefree.yml ERROR: EXCEPTION 62.31 47.88 None svcomp/goblint-regression/28-race_reach_81-list_racing.yml TIMEOUT 901.17 863.49 None svcomp/goblint-regression/28-race_reach_82-list_racefree.yml TIMEOUT 900.70 863.81 None svcomp/goblint-regression/28-race_reach_83-list2_racing1.yml TIMEOUT 900.59 807.57 None svcomp/goblint-regression/28-race_reach_84-list2_racing2.yml TIMEOUT 900.95 867.14 None svcomp/goblint-regression/28-race_reach_85-list2_racefree.yml TIMEOUT 900.91 867.59 None svcomp/goblint-regression/28-race_reach_86-lists_racing.yml TIMEOUT 906.28 882.54 None svcomp/goblint-regression/28-race_reach_87-lists_racefree.yml TIMEOUT 906.20 890.47 None svcomp/goblint-regression/28-race_reach_90-arrayloop2_racing.yml TIMEOUT 906.95 881.44 None svcomp/goblint-regression/28-race_reach_91-arrayloop2_racefree.yml TIMEOUT 905.74 896.63 None svcomp/goblint-regression/28-race_reach_92-evilcollapse_racing.yml TIMEOUT 905.70 899.51 None svcomp/goblint-regression/28-race_reach_93-evilcollapse_racefree.yml TIMEOUT 905.76 896.89 None svcomp/goblint-regression/28-race_reach_94-alloc_region_racing.yml false(unreach-call) 10.59 5.99 None concurrent/pthreads/NonAtomicIncrement_2Threads.c true 36.31 21.78 None concurrent/pthreads/distributed_search2.c ERROR: EXCEPTION 58.39 32.45 None concurrent/pthreads/distributed_search3.c ERROR: EXCEPTION 125.14 85.24 None concurrent/pthreads/distributed_search4.c TIMEOUT 901.34 825.18 None concurrent/pthreads/forkFork.c true 70.04 46.94 None concurrent/pthreads/forkJoinNotMod.c false(unreach-call) 9.60 5.32 None concurrent/pthreads/forkMultipleTimes.c false(unreach-call) 20.36 11.06 None concurrent/pthreads/globalVariableMultipleThreads.c false(unreach-call) 11.70 6.81 None concurrent/pthreads/multipleForkSameIdDifferentReturnType.c false(unreach-call) 20.62 11.57 None concurrent/pthreads/predecessorInAtomicBlockBug.c false(unreach-call) 6.59 4.06 None concurrent/pthreads/regression/ForkedModifiesGlobal.c true 6.02 3.45 None concurrent/pthreads/regression/SimpleFunctionPointer.c true 5.97 3.41 None concurrent/pthreads/regression/ThreadIdTest1.c false(unreach-call) 5.80 3.69 None concurrent/pthreads/regression/ThreadIdTest2.c true 9.31 5.14 None concurrent/pthreads/regression/ex1.c true 4.95 3.44 None concurrent/pthreads/regression/forkForkSimple.c true 6.99 4.22 None concurrent/pthreads/regression/forkJoinInLoop.c ERROR: EXCEPTION 6.26 3.78 None concurrent/pthreads/regression/forkMultipleParameter.c true 10.27 5.81 None concurrent/pthreads/regression/joinMultipleReturnValues.c true 9.27 5.06 None concurrent/pthreads/regression/join_correct.c ERROR: EXCEPTION 8.22 5.69 None concurrent/pthreads/regression/mainThreadTerminates.c false(unreach-call) 9.25 5.92 None concurrent/pthreads/regression/pthreadExitNull-safe.c true 5.08 3.00 None concurrent/pthreads/regression/pthreadExitSafe.c true 17.74 10.44 None concurrent/pthreads/regression/pthreadExitUnsafe.c false(unreach-call) 5.47 3.52 None concurrent/pthreads/regression/pthreadJoinCorrectThreadId.c true 8.90 5.45 None concurrent/pthreads/regression/pthreadMutex01-safe.c ERROR: EXCEPTION 6.21 3.77 None concurrent/pthreads/regression/pthreadMutex02-unsafe.c ERROR: EXCEPTION 4.57 2.72 None concurrent/pthreads/regression/pthreadReturn.c true 7.58 4.47 None concurrent/pthreads/regression/simpleReturn.c true 13.77 8.42 None concurrent/pthreads/regression/atomic/01-begin-end.c ERROR: EXCEPTION 5.97 3.52 None concurrent/pthreads/regression/atomic/02-atomic-function.c ERROR: EXCEPTION 5.97 3.62 None concurrent/pthreads/regression/atomic/03-assert.c true 6.01 3.89 None concurrent/pthreads/regression/atomic/04-if-else.c true 6.71 3.82 None concurrent/pthreads/regression/atomic/05-end-no-begin.c false(unreach-call) 5.44 3.42 None concurrent/pthreads/regression/atomic/06-begin-no-end.c ERROR: EXCEPTION 6.03 3.68 None concurrent/pthreads/regression/atomic/07-return-before-end.c true 5.86 3.81 None concurrent/pthreads/regression/atomic/08-abort-before-end.c true 6.68 4.10 None concurrent/pthreads/regression/atomic/09a-return-after-end.c true 5.28 3.52 None concurrent/pthreads/regression/atomic/09b-return-after-end.c false(unreach-call) 6.75 3.88 None concurrent/pthreads/regression/atomic/10-double-begin.c ERROR: EXCEPTION 4.89 3.35 None concurrent/pthreads/regression/atomic/11a-double-end.c ERROR: EXCEPTION 4.78 2.84 None concurrent/pthreads/regression/atomic/11b-double-end.c false(unreach-call) 7.31 4.09 None concurrent/pthreads/regression/atomic/11c-double-end.c ERROR: EXCEPTION 4.76 2.78 None concurrent/pthreads/regression/atomic/12-loop-within.c ERROR: EXCEPTION 5.77 3.37 None concurrent/pthreads/regression/atomic/13-loop-after.c ERROR: EXCEPTION 4.81 2.86 None concurrent/pthreads/regression/atomic/14a-subsequent-blocks.c ERROR: EXCEPTION 6.29 3.95 None concurrent/pthreads/regression/atomic/14b-subsequent-blocks.c ERROR: EXCEPTION 4.60 2.78 None concurrent/pthreads/regression/atomic/15-goto-within.c ERROR: EXCEPTION 5.01 3.34 None concurrent/pthreads/regression/atomic/16-goto-outside.c false(unreach-call) 7.59 4.38 None concurrent/pthreads/regression/atomic/17-pthread_exit.c true 5.76 3.66 None concurrent/pthreads/regression/atomic/18-conditional-atomic.c ERROR: EXCEPTION 6.39 3.84 None concurrent/bpl/LBE_bigexample_safe.bpl true 20.43 15.77 None concurrent/bpl/LBE_bigexample_safe_BA.bpl TIMEOUT 900.89 876.02 None concurrent/bpl/MirabelleConcurrentIncrement.bpl true 19.59 17.91 None concurrent/bpl/NonAtomicIncrement_2Threads_Loop.bpl true 12.61 9.11 None concurrent/bpl/fork_loop_inc.bpl TIMEOUT 900.95 877.98 None concurrent/bpl/fork_loop_local.bpl OUT OF MEMORY 595.36 454.93 None concurrent/bpl/fork_loop_mutex.bpl TIMEOUT 906.66 783.60 None concurrent/bpl/fork_loop_noop.bpl TIMEOUT 900.72 878.91 None concurrent/bpl/fork_loop_unsafe.bpl false(unreach-call) 12.68 7.27 None concurrent/bpl/fork_loop_unsafe2.bpl false(unreach-call) 6.84 3.97 None concurrent/bpl/pthread_fkp_2014.bpl ERROR: TYPE ERROR 3.86 2.14 None concurrent/bpl/pthread_inc.bpl OUT OF MEMORY 213.51 156.01 None concurrent/bpl/pthread_nondet_loop_bound.bpl OUT OF MEMORY 521.02 416.65 None concurrent/bpl/single_assertion_test.bpl false(unreach-call) 5.53 3.17 None concurrent/bpl/sum_invariant.bpl true 150.22 105.21 None concurrent/bpl/regression/ForkInForkedProcedure01.bpl false(unreach-call) 5.17 3.10 None concurrent/bpl/regression/ForkInForkedProcedure02.bpl true 5.08 2.86 None concurrent/bpl/regression/ForkInLoop02-Incrementer.bpl false(unreach-call) 7.24 4.33 None concurrent/bpl/regression/JoinTheForkingThread.bpl false(unreach-call) 5.29 3.05 None concurrent/bpl/regression/LBE_Y_to_V.bpl true 4.51 2.58 None concurrent/bpl/regression/LBE_example_semanticCheck.bpl true 4.51 2.77 None concurrent/bpl/regression/SpecificationInliningProblem.bpl true 4.90 2.80 None concurrent/bpl/regression/ThreadIdListTest-Safe.bpl true 5.04 2.82 None concurrent/bpl/regression/ThreadIdTest-Safe.bpl true 5.35 3.05 None concurrent/bpl/regression/ThreadIdTest-Unsafe.bpl false(unreach-call) 4.80 2.86 None concurrent/bpl/regression/ThyssenKruppRelegation.bpl false(unreach-call) 4.77 2.69 None concurrent/bpl/regression/atomic.bpl ERROR: EXCEPTION 4.16 2.50 None concurrent/bpl/regression/cutoff_test.bpl false(unreach-call) 5.24 2.98 None concurrent/bpl/regression/example1.bpl false(unreach-call) 4.92 2.75 None concurrent/bpl/regression/example2.bpl true 5.02 2.84 None concurrent/bpl/regression/example_epsilon_write.bpl true 4.96 2.79 None concurrent/bpl/regression/example_interleaving.bpl true 6.52 3.69 None concurrent/bpl/regression/example_interleaving_simple.bpl true 5.16 3.10 None concurrent/bpl/regression/example_multiple_interleavings.bpl true 5.55 3.22 None concurrent/bpl/regression/example_unnecessary_interleavings.bpl true 4.86 2.90 None concurrent/bpl/regression/fork_in_loop.bpl false(unreach-call) 5.75 3.35 None concurrent/bpl/regression/fork_join_NotMod.bpl true 4.90 2.99 None concurrent/bpl/regression/fork_join_expression_type_not_found.bpl true 4.69 2.79 None concurrent/bpl/regression/fork_join_in_loop.bpl true 4.80 2.78 None concurrent/bpl/regression/fork_multiple_parameter.bpl true 6.71 3.72 None concurrent/bpl/regression/fork_multiple_times.bpl true 4.66 2.65 None concurrent/bpl/regression/fork_unchanged_local_variables2.bpl false(unreach-call) 4.88 2.76 None concurrent/bpl/regression/join_multiple_return_values.bpl true 5.47 3.14 None concurrent/bpl/regression/multiple_fork_same_id.bpl false(unreach-call) 5.64 3.19 None concurrent/bpl/regression/multiple_fork_same_id_different_return_type.bpl true 5.42 5.49 None concurrent/bpl/regression/multiple_fork_statements_different_types.bpl false(unreach-call) 5.17 3.97 None concurrent/bpl/regression/nested_fork.bpl false(unreach-call) 3.95 2.41 None concurrent/bpl/regression/showcase/Bakery.bpl true 5.32 3.31 None concurrent/bpl/regression/showcase/Fischer.bpl true 7.57 4.25 None concurrent/bpl/regression/showcase/FischerWithBug.bpl false(unreach-call) 5.22 2.94 None concurrent/bpl/regression/showcase/ForkJoinExplained.bpl true 6.27 3.51 None concurrent/bpl/regression/showcase/NonAtomicIncrement_2Threads.bpl false(unreach-call) 9.15 5.26 None concurrent/bpl/regression/showcase/Peterson.bpl true 5.47 3.11 None concurrent/bpl/regression/showcase/PetersonWithBug.bpl false(unreach-call) 4.30 2.59 None concurrent/bpl/mcr/example_10.bpl TIMEOUT 906.04 872.20 None concurrent/bpl/mcr/example_11.bpl TIMEOUT 906.57 827.02 None concurrent/bpl/mcr/example_12.bpl TIMEOUT 900.87 880.20 None concurrent/bpl/mcr/example_13.bpl TIMEOUT 904.82 851.75 None concurrent/bpl/mcr/example_14.bpl TIMEOUT 906.18 821.18 None concurrent/bpl/mcr/example_15.bpl TIMEOUT 901.61 797.08 None concurrent/bpl/mcr/example_16.bpl TIMEOUT 907.00 749.59 None concurrent/bpl/mcr/example_17.bpl TIMEOUT 907.91 815.42 None concurrent/bpl/mcr/example_18.bpl TIMEOUT 909.58 799.98 None concurrent/bpl/mcr/example_19.bpl TIMEOUT 900.75 771.37 None concurrent/bpl/mcr/example_2.bpl true 4.19 2.54 None concurrent/bpl/mcr/example_20.bpl TIMEOUT 903.20 819.91 None concurrent/bpl/mcr/example_3.bpl true 7.05 3.92 None concurrent/bpl/mcr/example_4.bpl true 11.81 6.71 None concurrent/bpl/mcr/example_5.bpl true 40.14 21.17 None concurrent/bpl/mcr/example_6.bpl true 193.34 142.47 None concurrent/bpl/mcr/example_7.bpl TIMEOUT 901.00 796.04 None concurrent/bpl/mcr/example_8.bpl TIMEOUT 902.03 723.50 None concurrent/bpl/mcr/example_9.bpl TIMEOUT 901.48 714.76 None concurrent/bpl/weaver-benchmarks/generated/array-eq-symm.wvr.yml ERROR: EXCEPTION 29.49 34.41 None concurrent/bpl/weaver-benchmarks/generated/array-eq-trans.wvr.yml ERROR: EXCEPTION 23.96 15.10 None concurrent/bpl/weaver-benchmarks/generated/clever.wvr.yml TIMEOUT 902.58 837.16 None concurrent/bpl/weaver-benchmarks/generated/fibonacci.wvr.yml TIMEOUT 901.86 829.05 None concurrent/bpl/weaver-benchmarks/generated/loop-tiling-eq.wvr.yml ERROR: EXCEPTION 7.03 6.10 None concurrent/bpl/weaver-benchmarks/generated/mult-comm.wvr.yml TIMEOUT 902.23 901.29 None concurrent/bpl/weaver-benchmarks/generated/mult-dist.wvr.yml OUT OF MEMORY 399.31 397.67 None concurrent/bpl/weaver-benchmarks/generated/mult-flipped-dist.wvr.yml TIMEOUT 901.99 671.50 None concurrent/bpl/weaver-benchmarks/generated/security.wvr.yml true 20.82 11.57 None concurrent/bpl/weaver-benchmarks/generated/spaghetti.wvr.yml true 4.96 2.94 None concurrent/bpl/weaver-benchmarks/generated/unroll-2.wvr.yml ERROR: EXCEPTION 4.54 2.68 None concurrent/bpl/weaver-benchmarks/generated/unroll-3.wvr.yml ERROR: EXCEPTION 3.73 2.27 None concurrent/bpl/weaver-benchmarks/generated/unroll-4.wvr.yml ERROR: EXCEPTION 4.72 2.74 None concurrent/bpl/weaver-benchmarks/generated/unroll-5.wvr.yml ERROR: EXCEPTION 3.22 2.06 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-2.wvr.yml ERROR: EXCEPTION 4.79 2.80 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-3.wvr.yml ERROR: EXCEPTION 3.32 2.01 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-4.wvr.yml ERROR: EXCEPTION 3.40 2.10 None concurrent/bpl/weaver-benchmarks/generated/unroll-cond-5.wvr.yml ERROR: EXCEPTION 4.29 2.53 None concurrent/bpl/weaver-benchmarks/generated/bench/exp1x3.wvr.yml TIMEOUT 902.62 843.74 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x3.wvr.yml OUT OF MEMORY 252.47 220.10 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x4.wvr.yml ERROR: EXCEPTION 115.30 88.89 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x6.wvr.yml ERROR: EXCEPTION 18.38 11.41 None concurrent/bpl/weaver-benchmarks/generated/bench/exp2x9.wvr.yml ERROR: EXCEPTION 26.53 15.80 None concurrent/bpl/weaver-benchmarks/generated/bench/exp3x3-opt.wvr.yml OUT OF MEMORY 677.11 472.90 None concurrent/bpl/weaver-benchmarks/generated/bench/exp3x3.wvr.yml TIMEOUT 907.07 544.22 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-subst.wvr.yml ERROR: EXCEPTION 101.48 90.98 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-symm.wvr.yml ERROR: EXCEPTION 8.51 7.06 None concurrent/bpl/weaver-benchmarks/generated/chl/array-int-trans.wvr.yml ERROR: EXCEPTION 27.61 26.77 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-opt-symm.wvr.yml TIMEOUT 900.75 868.95 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-subst.wvr.yml ERROR: EXCEPTION 11.84 6.93 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-symm.wvr.yml ERROR: EXCEPTION 7.38 4.43 None concurrent/bpl/weaver-benchmarks/generated/chl/chromosome-trans.wvr.yml ERROR: EXCEPTION 854.77 869.57 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-subst.wvr.yml ERROR: EXCEPTION 4.48 2.63 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-symm.wvr.yml ERROR: EXCEPTION 4.45 2.62 None concurrent/bpl/weaver-benchmarks/generated/chl/collitem-trans.wvr.yml ERROR: EXCEPTION 4.17 2.46 None concurrent/bpl/weaver-benchmarks/generated/chl/container-subst.wvr.yml ERROR: EXCEPTION 4.07 2.49 None concurrent/bpl/weaver-benchmarks/generated/chl/container-symm.wvr.yml ERROR: EXCEPTION 4.10 2.50 None concurrent/bpl/weaver-benchmarks/generated/chl/container-trans.wvr.yml ERROR: EXCEPTION 4.61 2.61 None concurrent/bpl/weaver-benchmarks/generated/chl/exp-term-subst.wvr.yml true 11.64 6.62 None concurrent/bpl/weaver-benchmarks/generated/chl/exp-term-symm.wvr.yml true 6.91 3.91 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-subst.wvr.yml true 14.32 8.30 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-symm.wvr.yml true 7.27 4.02 None concurrent/bpl/weaver-benchmarks/generated/chl/file-item-trans.wvr.yml true 8.87 4.96 None concurrent/bpl/weaver-benchmarks/generated/chl/match-subst.wvr.yml true 12.09 6.73 None concurrent/bpl/weaver-benchmarks/generated/chl/match-symm.wvr.yml true 7.14 3.99 None concurrent/bpl/weaver-benchmarks/generated/chl/match-trans.wvr.yml true 9.01 4.98 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-subst.wvr.yml ERROR: EXCEPTION 4.96 2.89 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-symm.wvr.yml ERROR: EXCEPTION 4.64 2.75 None concurrent/bpl/weaver-benchmarks/generated/chl/name-comparator-trans.wvr.yml ERROR: EXCEPTION 4.75 2.77 None concurrent/bpl/weaver-benchmarks/generated/chl/node-subst.wvr.yml true 14.75 8.50 None concurrent/bpl/weaver-benchmarks/generated/chl/node-symm.wvr.yml true 7.14 4.06 None concurrent/bpl/weaver-benchmarks/generated/chl/node-trans.wvr.yml true 9.47 5.27 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-subst.wvr.yml ERROR: EXCEPTION 4.46 2.69 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-symm.wvr.yml ERROR: EXCEPTION 4.59 2.73 None concurrent/bpl/weaver-benchmarks/generated/chl/nzb-file-trans.wvr.yml ERROR: EXCEPTION 4.94 2.96 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-subst.wvr.yml ERROR: EXCEPTION 125.85 82.89 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-symm.wvr.yml ERROR: EXCEPTION 32.32 18.49 None concurrent/bpl/weaver-benchmarks/generated/chl/poker-hand-trans.wvr.yml ERROR: EXCEPTION 25.62 14.93 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-subst.wvr.yml true 12.64 7.16 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-symm.wvr.yml true 6.13 3.49 None concurrent/bpl/weaver-benchmarks/generated/chl/simpl-str-trans.wvr.yml true 8.08 4.57 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-subst.wvr.yml true 7.80 4.54 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-symm.wvr.yml true 6.78 4.26 None concurrent/bpl/weaver-benchmarks/generated/chl/sre-trans.wvr.yml true 4.87 2.96 None concurrent/bpl/weaver-benchmarks/generated/chl/time-subst.wvr.yml ERROR: EXCEPTION 3.83 2.28 None concurrent/bpl/weaver-benchmarks/generated/chl/time-symm.wvr.yml ERROR: EXCEPTION 4.23 2.50 None concurrent/bpl/weaver-benchmarks/generated/chl/time-trans.wvr.yml ERROR: EXCEPTION 3.48 2.14 None concurrent/bpl/weaver-benchmarks/generated/chl/word-subst.wvr.yml ERROR: EXCEPTION 141.29 130.03 None concurrent/bpl/weaver-benchmarks/generated/chl/word-symm.wvr.yml ERROR: EXCEPTION 8.02 5.49 None concurrent/bpl/weaver-benchmarks/generated/chl/word-trans.wvr.yml ERROR: EXCEPTION 47.88 31.91 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-2.wvr.yml true 6.49 3.76 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-3.wvr.yml true 41.75 23.15 None concurrent/bpl/weaver-benchmarks/generated/parallel/bakery-4.wvr.yml TIMEOUT 907.03 711.50 None concurrent/bpl/weaver-benchmarks/generated/parallel/barrier-loop.wvr.yml false(unreach-call) 18.33 10.17 None concurrent/bpl/weaver-benchmarks/generated/parallel/barrier.wvr.yml TIMEOUT 900.93 720.58 None concurrent/bpl/weaver-benchmarks/generated/parallel/bluetooth.wvr.yml true 4.02 2.34 None concurrent/bpl/weaver-benchmarks/generated/parallel/lamport.wvr.yml true 12.78 7.04 None concurrent/bpl/weaver-benchmarks/generated/parallel/min-max-1.wvr.yml true 4.46 2.58 None concurrent/bpl/weaver-benchmarks/generated/parallel/min-max-2.wvr.yml ERROR: EXCEPTION 44.34 27.97 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-1.wvr.yml ERROR: EXCEPTION 6.26 4.24 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2-unrolled-atomic.wvr.yml ERROR: EXCEPTION 3.67 2.18 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2-unrolled.wvr.yml true 5.55 3.54 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-2.wvr.yml TIMEOUT 904.15 677.16 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-3-extended.wvr.yml true 28.28 18.05 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-3.wvr.yml true 6.66 4.01 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-4.wvr.yml true 8.80 5.54 None concurrent/bpl/weaver-benchmarks/generated/parallel/misc-5.wvr.yml TIMEOUT 905.62 853.04 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-1-dsl.wvr.yml ERROR: EXCEPTION 12.74 7.97 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-1.wvr.yml ERROR: EXCEPTION 7.42 4.63 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-2.wvr.yml ERROR: EXCEPTION 10.35 6.70 None concurrent/bpl/weaver-benchmarks/generated/parallel/parallel-sum-equiv.wvr.yml ERROR: EXCEPTION 9.96 6.01 None concurrent/bpl/weaver-benchmarks/generated/parallel/simple-equiv.wvr.yml true 7.54 4.28 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-2.wvr.yml true 5.66 3.25 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-3.wvr.yml true 8.33 4.60 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-4.wvr.yml true 16.58 8.93 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-5.wvr.yml true 83.11 53.83 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-6.wvr.yml TIMEOUT 901.90 565.28 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-7.wvr.yml OUT OF MEMORY 768.81 682.73 None concurrent/bpl/weaver-benchmarks/generated/parallel/ticket-8.wvr.yml TIMEOUT 900.84 879.28 None concurrent/bpl/weaver-benchmarks/generated/popl20/channel-sum.wvr.yml ERROR: EXCEPTION 4.39 2.93 None concurrent/bpl/weaver-benchmarks/generated/popl20/commit-1.wvr.yml ERROR: EXCEPTION 5.49 3.70 None concurrent/bpl/weaver-benchmarks/generated/popl20/commit-2.wvr.yml ERROR: EXCEPTION 6.63 3.98 None concurrent/bpl/weaver-benchmarks/generated/popl20/counter-determinism.wvr.yml OUT OF MEMORY 806.75 531.78 None concurrent/bpl/weaver-benchmarks/generated/popl20/counter-fun.wvr.yml ERROR: EXCEPTION 7.33 4.45 None concurrent/bpl/weaver-benchmarks/generated/popl20/difference-det.wvr.yml OUT OF MEMORY 539.76 348.36 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure1-alt.wvr.yml true 41.42 30.83 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure1.wvr.yml TIMEOUT 900.71 732.98 None concurrent/bpl/weaver-benchmarks/generated/popl20/figure3.wvr.yml TIMEOUT 900.74 734.29 None concurrent/bpl/weaver-benchmarks/generated/popl20/horseshoe.wvr.yml ERROR: EXCEPTION 7.93 5.79 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-dec.wvr.yml ERROR: EXCEPTION 10.79 6.70 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-inc-dec.wvr.yml ERROR: EXCEPTION 28.77 17.54 None concurrent/bpl/weaver-benchmarks/generated/popl20/min-max-inc.wvr.yml ERROR: EXCEPTION 12.71 7.90 None concurrent/bpl/weaver-benchmarks/generated/popl20/mult-4.wvr.yml OUT OF MEMORY 458.69 271.13 None concurrent/bpl/weaver-benchmarks/generated/popl20/mult-equiv.wvr.yml TIMEOUT 901.36 634.18 None concurrent/bpl/weaver-benchmarks/generated/popl20/nonblocking-cntr-alt.wvr.yml TIMEOUT 901.03 790.91 None concurrent/bpl/weaver-benchmarks/generated/popl20/nonblocking-cntr.wvr.yml TIMEOUT 901.07 726.31 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons-eq.wvr.yml ERROR: EXCEPTION 5.26 3.10 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons.wvr.yml ERROR: EXCEPTION 61.39 46.40 None concurrent/bpl/weaver-benchmarks/generated/popl20/prod-cons3.wvr.yml ERROR: EXCEPTION 97.56 75.59 None concurrent/bpl/weaver-benchmarks/generated/popl20/queue-add-2.wvr.yml ERROR: EXCEPTION 7.23 5.00 None concurrent/bpl/weaver-benchmarks/generated/popl20/queue-add-3.wvr.yml ERROR: EXCEPTION 8.22 5.37 None concurrent/bpl/weaver-benchmarks/generated/popl20/send-receive-alt.wvr.yml ERROR: EXCEPTION 4.63 2.95 None concurrent/bpl/weaver-benchmarks/generated/popl20/send-receive.wvr.yml ERROR: EXCEPTION 4.97 3.15 None concurrent/bpl/weaver-benchmarks/generated/popl20/simple-array-sum.wvr.yml ERROR: EXCEPTION 6.53 4.30 None concurrent/bpl/weaver-benchmarks/generated/popl20/simple-queue.wvr.yml ERROR: EXCEPTION 4.42 2.92 None concurrent/bpl/weaver-benchmarks/generated/popl20/threaded-sum-3.wvr.yml TIMEOUT 901.23 787.14 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-max.wvr.yml ERROR: EXCEPTION 8.54 4.91 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-min.wvr.yml ERROR: EXCEPTION 8.73 5.04 None concurrent/bpl/weaver-benchmarks/generated/popl20/three-array-sum.wvr.yml ERROR: EXCEPTION 9.77 6.47 None concurrent/bpl/weaver-benchmarks/generated/popl20/two-queue.wvr.yml ERROR: EXCEPTION 6.79 4.03 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/buffer-mult-alt.wvr.yml ERROR: EXCEPTION 22.91 14.33 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/commit-1.wvr.yml ERROR: EXCEPTION 8.60 5.68 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/commit-2.wvr.yml ERROR: EXCEPTION 8.32 5.46 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/counter-queue.wvr.yml TIMEOUT 905.82 846.37 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/dot-product-alt.wvr.yml ERROR: EXCEPTION 7.62 4.51 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/dot-product.wvr.yml ERROR: EXCEPTION 148.05 112.46 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/ring-nondet.wvr.yml ERROR: EXCEPTION 10.39 6.23 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/ring.wvr.yml ERROR: EXCEPTION 11.96 7.33 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/threaded-sum-2.wvr.yml true 152.80 118.76 None concurrent/bpl/weaver-benchmarks/generated/popl20-bad/three-array-sum-alt.wvr.yml ERROR: EXCEPTION 8.48 5.26 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/array-sum-alt.wvr.yml ERROR: EXCEPTION 12.14 7.61 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/array-sum.wvr.yml ERROR: EXCEPTION 7.34 4.27 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-mult.wvr.yml ERROR: EXCEPTION 10.36 6.33 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-series-array.wvr.yml ERROR: EXCEPTION 10.26 6.23 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/buffer-series.wvr.yml ERROR: EXCEPTION 10.80 6.54 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dec-subseq-array.wvr.yml ERROR: EXCEPTION 7.98 5.07 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dec-subseq.wvr.yml ERROR: EXCEPTION 8.11 5.09 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dot-product-array.wvr.yml ERROR: EXCEPTION 6.94 4.15 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/dot-product.wvr.yml ERROR: EXCEPTION 6.84 4.10 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/inc-subseq-array.wvr.yml ERROR: EXCEPTION 8.59 5.42 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/inc-subseq.wvr.yml ERROR: EXCEPTION 8.30 5.61 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-array-hom.wvr.yml ERROR: EXCEPTION 7.66 4.62 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-array.wvr.yml ERROR: EXCEPTION 7.27 4.27 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-fun-alt.wvr.yml ERROR: EXCEPTION 7.24 4.24 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/max-fun.wvr.yml ERROR: EXCEPTION 7.55 4.63 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-array-hom.wvr.yml ERROR: EXCEPTION 7.80 4.50 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-array.wvr.yml ERROR: EXCEPTION 7.29 4.26 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-fun-alt.wvr.yml ERROR: EXCEPTION 7.20 5.18 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-fun.wvr.yml ERROR: EXCEPTION 7.97 4.67 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/min-le-max.wvr.yml true 7.73 5.74 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/mts-array.wvr.yml ERROR: EXCEPTION 7.71 5.97 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/mts.wvr.yml ERROR: EXCEPTION 6.33 3.75 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/multiply-verify.wvr.yml TIMEOUT 902.00 693.39 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/nonblocking-counter-alt2.wvr.yml TIMEOUT 901.12 755.01 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/parray-copy.wvr.yml ERROR: EXCEPTION 5.74 3.43 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/queue-add-2-nl.wvr.yml ERROR: EXCEPTION 10.25 6.62 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/queue-add-3-nl.wvr.yml ERROR: EXCEPTION 8.68 5.08 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sorted.wvr.yml TIMEOUT 901.01 870.52 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-array-hom.wvr.yml ERROR: EXCEPTION 6.94 4.11 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-array.wvr.yml ERROR: EXCEPTION 6.86 4.08 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-fun-alt.wvr.yml ERROR: EXCEPTION 7.43 4.33 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/sum-fun.wvr.yml ERROR: EXCEPTION 7.04 4.40 None concurrent/bpl/weaver-benchmarks/generated/popl20-more/vector-add.wvr.yml ERROR: EXCEPTION 7.36 4.32 None concurrent/bpl/weaver-benchmarks/generated/popl20-proofs/counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 398.52 231.73 None concurrent/bpl/weaver-benchmarks/generated/test/context1.wvr.yml ERROR: EXCEPTION 4.45 2.93 None concurrent/bpl/weaver-benchmarks/generated/test/easy1.wvr.yml true 21.40 20.32 None concurrent/bpl/weaver-benchmarks/generated/test/easy10.wvr.yml TIMEOUT 900.33 754.78 None concurrent/bpl/weaver-benchmarks/generated/test/easy11.wvr.yml true 87.09 68.93 None concurrent/bpl/weaver-benchmarks/generated/test/easy6.wvr.yml true 7.80 4.45 None concurrent/bpl/weaver-benchmarks/generated/test/easy7.wvr.yml true 5.52 3.18 None concurrent/bpl/weaver-benchmarks/generated/test/easy8.wvr.yml true 3.96 2.27 None concurrent/bpl/weaver-benchmarks/generated/test/hard1.wvr.yml TIMEOUT 902.04 660.45 None concurrent/bpl/weaver-benchmarks/generated/test/semi1.wvr.yml true 4.91 3.15 None ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 157839.04 20149.10 - Statistics: 2874 Files correct: 1420 correct true: 378 correct false: 1042 incorrect: 1 incorrect true: 0 incorrect false: 1 unknown: 1289 Score: 1782 (max: 3556)