BENCHMARK INFORMATION benchmark definition: ../benchexec/student-concurrency-pn.xml name: student-concurrency-pn run sets: Automizer SVCOMP 2020, Automizer PN date: Fri, 2020-10-09 10:35:13 CEST tool: ULTIMATE Automizer 0.1.25-11af1e55 tool executable: ./Ultimate.py options: --force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml 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: struebli os: Linux-5.8.12-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.7 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz - turbo boost enabled: True ram: 135154.106368 MB ------------------------------------------------------------ Automizer SVCOMP 2020 Run set 1 of 2 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/pthread/bigshot_p.yml false(unreach-call) 14.73 8.20 None svcomp/pthread/bigshot_s.yml UNKNOWN: OverapproxCex 13.16 7.44 None svcomp/pthread/bigshot_s2.yml UNKNOWN: OverapproxCex 12.90 7.29 None svcomp/pthread/fib_bench-1.yml TIMEOUT 900.80 879.87 None svcomp/pthread/fib_bench-2.yml TIMEOUT 900.39 882.71 None svcomp/pthread/fib_bench_longer-1.yml TIMEOUT 900.26 878.64 None svcomp/pthread/fib_bench_longer-2.yml TIMEOUT 901.54 878.27 None svcomp/pthread/fib_bench_longest-1.yml TIMEOUT 900.44 876.98 None svcomp/pthread/fib_bench_longest-2.yml TIMEOUT 901.48 874.70 None svcomp/pthread/indexer.yml TIMEOUT 905.72 883.96 None svcomp/pthread/lazy01.yml false(unreach-call) 14.54 8.06 None svcomp/pthread/queue.yml TIMEOUT 900.60 796.79 None svcomp/pthread/queue_longer.yml TIMEOUT 900.77 793.10 None svcomp/pthread/queue_longest.yml TIMEOUT 900.44 789.39 None svcomp/pthread/queue_ok.yml TIMEOUT 906.04 848.19 None svcomp/pthread/queue_ok_longer.yml TIMEOUT 905.86 865.99 None svcomp/pthread/queue_ok_longest.yml TIMEOUT 905.94 871.81 None svcomp/pthread/reorder_2.yml ERROR: EXCEPTION 7.01 3.90 None svcomp/pthread/reorder_5.yml ERROR: EXCEPTION 6.85 3.84 None svcomp/pthread/sigma.yml TIMEOUT 903.05 754.23 None svcomp/pthread/singleton.yml false(unreach-call) 60.38 33.94 None svcomp/pthread/singleton_with-uninit-problems.yml true 13.59 7.63 None svcomp/pthread/stack-1.yml TIMEOUT 900.72 860.68 None svcomp/pthread/stack-2.yml false(unreach-call) 23.47 13.72 None svcomp/pthread/stack_longer-1.yml false(unreach-call) 21.95 12.57 None svcomp/pthread/stack_longer-2.yml ERROR: EXCEPTION 36.12 21.89 None svcomp/pthread/stack_longest-1.yml false(unreach-call) 22.62 13.16 None svcomp/pthread/stack_longest-2.yml ERROR: EXCEPTION 34.35 20.93 None svcomp/pthread/stateful01-1.yml false(unreach-call) 14.14 8.15 None svcomp/pthread/stateful01-2.yml true 15.07 8.31 None svcomp/pthread/sync01.yml true 17.51 9.99 None svcomp/pthread/triangular-1.yml true 63.99 49.37 None svcomp/pthread/triangular-2.yml false(unreach-call) 55.76 40.15 None svcomp/pthread/triangular-longer-1.yml true 300.55 274.58 None svcomp/pthread/triangular-longer-2.yml false(unreach-call) 262.50 234.34 None svcomp/pthread/triangular-longest-1.yml TIMEOUT 900.89 857.98 None svcomp/pthread/triangular-longest-2.yml TIMEOUT 900.73 859.97 None svcomp/pthread/twostage_3.yml ERROR: EXCEPTION 7.10 3.95 None svcomp/pthread-atomic/dekker.yml true 12.47 6.98 None svcomp/pthread-atomic/gcd-2.yml TIMEOUT 905.70 899.50 None svcomp/pthread-atomic/lamport.yml true 13.17 7.40 None svcomp/pthread-atomic/peterson.yml true 11.68 6.51 None svcomp/pthread-atomic/qrcu-1.yml true 35.78 20.20 None svcomp/pthread-atomic/qrcu-2.yml false(unreach-call) 25.02 13.71 None svcomp/pthread-atomic/read_write_lock-1.yml true 18.41 9.94 None svcomp/pthread-atomic/read_write_lock-2.yml false(unreach-call) 18.05 9.81 None svcomp/pthread-atomic/scull.yml true 44.74 27.05 None svcomp/pthread-atomic/szymanski.yml true 12.67 7.12 None svcomp/pthread-atomic/time_var_mutex.yml true 16.11 9.15 None svcomp/pthread-ext/01_inc.yml TIMEOUT 906.18 679.76 None svcomp/pthread-ext/02_inc_cas.yml TIMEOUT 919.48 783.71 None svcomp/pthread-ext/03_incdec.yml TIMEOUT 901.08 834.04 None svcomp/pthread-ext/04_incdec_cas.yml TIMEOUT 922.30 656.52 None svcomp/pthread-ext/05_tas.yml TIMEOUT 917.35 805.89 None svcomp/pthread-ext/06_ticket.yml TIMEOUT 902.39 889.20 None svcomp/pthread-ext/07_rand.yml TIMEOUT 900.40 773.75 None svcomp/pthread-ext/08_rand_cas.yml TIMEOUT 900.73 699.17 None svcomp/pthread-ext/09_fmaxsym.yml TIMEOUT 901.41 611.17 None svcomp/pthread-ext/10_fmaxsym_cas.yml TIMEOUT 922.31 650.56 None svcomp/pthread-ext/11_fmaxsymopt.yml TIMEOUT 902.43 614.49 None svcomp/pthread-ext/12_fmaxsymopt_cas.yml TIMEOUT 905.35 701.66 None svcomp/pthread-ext/13_unverif.yml TIMEOUT 900.73 707.17 None svcomp/pthread-ext/14_spin2003.yml TIMEOUT 900.97 849.78 None svcomp/pthread-ext/15_dekker.yml true 11.92 6.63 None svcomp/pthread-ext/16_peterson.yml true 11.54 6.50 None svcomp/pthread-ext/17_szymanski.yml true 12.23 6.87 None svcomp/pthread-ext/18_read_write_lock.yml true 11.51 6.54 None svcomp/pthread-ext/19_time_var_mutex.yml true 14.94 8.49 None svcomp/pthread-ext/20_lamport.yml true 13.39 7.46 None svcomp/pthread-ext/23_lu-fig2.fixed.yml true 12.21 6.92 None svcomp/pthread-ext/25_stack.yml TIMEOUT 922.23 798.68 None svcomp/pthread-ext/25_stack_longer-1.yml false(unreach-call) 20.27 12.44 None svcomp/pthread-ext/25_stack_longer-2.yml TIMEOUT 912.31 797.59 None svcomp/pthread-ext/25_stack_longest-1.yml TIMEOUT 914.70 820.69 None svcomp/pthread-ext/25_stack_longest-2.yml false(unreach-call) 19.07 11.89 None svcomp/pthread-ext/26_stack_cas.yml TIMEOUT 900.66 822.19 None svcomp/pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 901.34 822.97 None svcomp/pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 901.33 825.95 None svcomp/pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 901.30 822.85 None svcomp/pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 900.72 820.09 None svcomp/pthread-ext/27_Boop_simple_vf.yml OUT OF MEMORY 754.32 556.61 None svcomp/pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 19.81 14.13 None svcomp/pthread-ext/29_conditionals_vs.yml TIMEOUT 901.29 815.15 None svcomp/pthread-ext/30_Function_Pointer3_vs.yml TIMEOUT 922.32 608.88 None svcomp/pthread-ext/31_simple_loop5_vs.yml TIMEOUT 900.98 841.25 None svcomp/pthread-ext/32_pthread5_vs.yml TIMEOUT 901.30 812.20 None svcomp/pthread-ext/33_double_lock_p1_vs.yml TIMEOUT 900.76 698.45 None svcomp/pthread-ext/34_double_lock_p2_vs.yml TIMEOUT 901.37 588.18 None svcomp/pthread-ext/35_double_lock_p3_vs.yml TIMEOUT 901.10 832.74 None svcomp/pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 914.32 786.87 None svcomp/pthread-ext/37_stack_lock_p0_vs_concur.yml TIMEOUT 903.06 769.59 None svcomp/pthread-ext/38_rand_cas_vs_concur.yml TIMEOUT 900.51 775.00 None svcomp/pthread-ext/39_rand_lock_p0_vs.yml TIMEOUT 901.26 787.57 None svcomp/pthread-ext/40_barrier_vf.yml TIMEOUT 901.24 807.28 None svcomp/pthread-ext/41_FreeBSD_abd_kbd_sliced.yml TIMEOUT 901.11 837.13 None svcomp/pthread-ext/42_FreeBSD_rdma_addr_sliced.yml TIMEOUT 901.18 821.72 None svcomp/pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: TYPE ERROR 6.84 4.00 None svcomp/pthread-ext/44_Solaris_space_map_sliced.yml TIMEOUT 901.14 800.28 None svcomp/pthread-ext/45_monabsex1_vs.yml TIMEOUT 918.39 766.44 None svcomp/pthread-ext/46_monabsex2_vs.yml TIMEOUT 905.99 839.15 None svcomp/pthread-ext/47_ticket_lock_hc_backoff_vs.yml TIMEOUT 901.09 742.76 None svcomp/pthread-ext/48_ticket_lock_low_contention_vs.yml TIMEOUT 900.41 764.79 None svcomp/pthread-wmm/mix000_power.oepc.yml false(unreach-call) 25.34 13.54 None svcomp/pthread-wmm/mix000_power.opt.yml false(unreach-call) 23.95 12.91 None svcomp/pthread-wmm/mix000_pso.oepc.yml false(unreach-call) 25.31 13.62 None svcomp/pthread-wmm/mix000_pso.opt.yml false(unreach-call) 24.07 13.13 None svcomp/pthread-wmm/mix000_rmo.oepc.yml false(unreach-call) 25.21 13.62 None svcomp/pthread-wmm/mix000_rmo.opt.yml false(unreach-call) 25.18 13.77 None svcomp/pthread-wmm/mix000_tso.oepc.yml false(unreach-call) 25.31 13.86 None svcomp/pthread-wmm/mix000_tso.opt.yml false(unreach-call) 24.75 13.45 None svcomp/pthread-wmm/mix001_power.oepc.yml false(unreach-call) 27.04 14.59 None svcomp/pthread-wmm/mix001_power.opt.yml false(unreach-call) 25.87 14.23 None svcomp/pthread-wmm/mix001_pso.oepc.yml false(unreach-call) 28.30 15.08 None svcomp/pthread-wmm/mix001_pso.opt.yml false(unreach-call) 26.03 14.35 None svcomp/pthread-wmm/mix001_rmo.oepc.yml false(unreach-call) 27.46 14.84 None svcomp/pthread-wmm/mix001_rmo.opt.yml false(unreach-call) 26.68 14.31 None svcomp/pthread-wmm/mix001_tso.oepc.yml false(unreach-call) 28.04 14.85 None svcomp/pthread-wmm/mix001_tso.opt.yml false(unreach-call) 27.78 15.35 None svcomp/pthread-wmm/mix002_power.oepc.yml false(unreach-call) 24.94 13.78 None svcomp/pthread-wmm/mix002_power.opt.yml false(unreach-call) 29.31 15.56 None svcomp/pthread-wmm/mix002_pso.oepc.yml false(unreach-call) 30.41 16.26 None svcomp/pthread-wmm/mix002_pso.opt.yml false(unreach-call) 28.74 15.45 None svcomp/pthread-wmm/mix002_rmo.oepc.yml false(unreach-call) 27.67 15.13 None svcomp/pthread-wmm/mix002_rmo.opt.yml false(unreach-call) 29.20 15.61 None svcomp/pthread-wmm/mix002_tso.oepc.yml false(unreach-call) 24.93 13.58 None svcomp/pthread-wmm/mix002_tso.opt.yml false(unreach-call) 28.44 15.69 None svcomp/pthread-wmm/mix003_power.oepc.yml false(unreach-call) 24.48 13.21 None svcomp/pthread-wmm/mix003_power.opt.yml false(unreach-call) 28.34 15.59 None svcomp/pthread-wmm/mix003_pso.oepc.yml false(unreach-call) 27.34 14.83 None svcomp/pthread-wmm/mix003_pso.opt.yml false(unreach-call) 28.36 15.40 None svcomp/pthread-wmm/mix003_rmo.oepc.yml false(unreach-call) 24.96 13.68 None svcomp/pthread-wmm/mix003_rmo.opt.0.1.yml false(unreach-call) 27.16 14.79 None svcomp/pthread-wmm/mix003_rmo.opt.0.yml false(unreach-call) 27.41 14.59 None svcomp/pthread-wmm/mix003_rmo.opt.yml false(unreach-call) 27.35 14.79 None svcomp/pthread-wmm/mix003_tso.oepc.yml false(unreach-call) 24.81 13.55 None svcomp/pthread-wmm/mix003_tso.opt.yml false(unreach-call) 26.73 14.27 None svcomp/pthread-wmm/mix004_power.oepc.yml false(unreach-call) 25.47 13.73 None svcomp/pthread-wmm/mix004_power.opt.yml false(unreach-call) 29.76 15.91 None svcomp/pthread-wmm/mix004_pso.oepc.yml false(unreach-call) 27.08 14.47 None svcomp/pthread-wmm/mix004_pso.opt.yml false(unreach-call) 29.75 15.90 None svcomp/pthread-wmm/mix004_rmo.oepc.yml false(unreach-call) 27.48 14.69 None svcomp/pthread-wmm/mix004_rmo.opt.yml false(unreach-call) 30.36 16.21 None svcomp/pthread-wmm/mix004_tso.oepc.yml false(unreach-call) 29.64 15.91 None svcomp/pthread-wmm/mix004_tso.opt.yml false(unreach-call) 29.19 15.68 None svcomp/pthread-wmm/mix005_power.oepc.yml false(unreach-call) 32.34 17.18 None svcomp/pthread-wmm/mix005_power.opt.yml false(unreach-call) 28.08 15.39 None svcomp/pthread-wmm/mix005_pso.oepc.yml false(unreach-call) 31.08 16.86 None svcomp/pthread-wmm/mix005_pso.opt.yml false(unreach-call) 29.92 16.18 None svcomp/pthread-wmm/mix005_rmo.oepc.yml false(unreach-call) 30.16 16.16 None svcomp/pthread-wmm/mix005_rmo.opt.yml false(unreach-call) 27.98 15.27 None svcomp/pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 36.68 19.65 None svcomp/pthread-wmm/mix005_tso.opt.yml false(unreach-call) 30.38 16.14 None svcomp/pthread-wmm/mix006_power.oepc.yml false(unreach-call) 24.85 13.25 None svcomp/pthread-wmm/mix006_power.opt.yml false(unreach-call) 25.91 14.17 None svcomp/pthread-wmm/mix006_pso.oepc.yml false(unreach-call) 24.39 13.20 None svcomp/pthread-wmm/mix006_pso.opt.yml false(unreach-call) 26.03 14.16 None svcomp/pthread-wmm/mix006_rmo.oepc.yml false(unreach-call) 24.90 13.30 None svcomp/pthread-wmm/mix006_rmo.opt.yml false(unreach-call) 24.93 13.66 None svcomp/pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 46.91 26.61 None svcomp/pthread-wmm/mix006_tso.opt.yml false(unreach-call) 26.72 14.28 None svcomp/pthread-wmm/mix007_power.oepc.yml false(unreach-call) 30.05 16.31 None svcomp/pthread-wmm/mix007_power.opt.yml false(unreach-call) 27.76 15.00 None svcomp/pthread-wmm/mix007_pso.oepc.yml false(unreach-call) 30.93 16.75 None svcomp/pthread-wmm/mix007_pso.opt.yml false(unreach-call) 27.45 14.69 None svcomp/pthread-wmm/mix007_rmo.oepc.yml false(unreach-call) 31.17 16.54 None svcomp/pthread-wmm/mix007_rmo.opt.yml false(unreach-call) 27.96 15.23 None svcomp/pthread-wmm/mix007_tso.oepc.yml false(unreach-call) 30.52 16.58 None svcomp/pthread-wmm/mix007_tso.opt.yml false(unreach-call) 27.15 14.44 None svcomp/pthread-wmm/mix008_power.oepc.yml false(unreach-call) 31.92 16.89 None svcomp/pthread-wmm/mix008_power.opt.yml false(unreach-call) 29.54 15.93 None svcomp/pthread-wmm/mix008_pso.oepc.yml false(unreach-call) 28.07 15.60 None svcomp/pthread-wmm/mix008_pso.opt.yml false(unreach-call) 32.08 17.03 None svcomp/pthread-wmm/mix008_rmo.oepc.yml false(unreach-call) 31.15 16.74 None svcomp/pthread-wmm/mix008_rmo.opt.yml false(unreach-call) 30.96 16.52 None svcomp/pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 54.63 30.51 None svcomp/pthread-wmm/mix008_tso.opt.yml false(unreach-call) 34.26 18.38 None svcomp/pthread-wmm/mix009_power.oepc.yml false(unreach-call) 21.49 11.79 None svcomp/pthread-wmm/mix009_power.opt.yml false(unreach-call) 23.58 12.84 None svcomp/pthread-wmm/mix009_pso.oepc.yml false(unreach-call) 21.88 11.78 None svcomp/pthread-wmm/mix009_pso.opt.yml false(unreach-call) 23.49 12.70 None svcomp/pthread-wmm/mix009_rmo.oepc.yml false(unreach-call) 21.17 11.61 None svcomp/pthread-wmm/mix009_rmo.opt.yml false(unreach-call) 22.04 11.86 None svcomp/pthread-wmm/mix009_tso.oepc.yml false(unreach-call) 22.42 12.18 None svcomp/pthread-wmm/mix009_tso.opt.yml false(unreach-call) 23.94 12.92 None svcomp/pthread-wmm/mix010_power.oepc.yml false(unreach-call) 25.15 13.59 None svcomp/pthread-wmm/mix010_power.opt.yml false(unreach-call) 24.19 13.36 None svcomp/pthread-wmm/mix010_pso.oepc.yml false(unreach-call) 24.86 13.58 None svcomp/pthread-wmm/mix010_pso.opt.yml false(unreach-call) 26.36 14.37 None svcomp/pthread-wmm/mix010_rmo.oepc.yml false(unreach-call) 29.32 16.03 None svcomp/pthread-wmm/mix010_rmo.opt.yml false(unreach-call) 24.36 13.51 None svcomp/pthread-wmm/mix010_tso.oepc.yml false(unreach-call) 24.96 13.51 None svcomp/pthread-wmm/mix010_tso.opt.yml false(unreach-call) 29.24 15.97 None svcomp/pthread-wmm/mix011_power.oepc.yml false(unreach-call) 24.48 13.19 None svcomp/pthread-wmm/mix011_power.opt.yml false(unreach-call) 23.72 12.90 None svcomp/pthread-wmm/mix011_pso.oepc.yml false(unreach-call) 24.43 13.09 None svcomp/pthread-wmm/mix011_pso.opt.yml false(unreach-call) 26.20 14.04 None svcomp/pthread-wmm/mix011_rmo.oepc.yml false(unreach-call) 25.01 13.39 None svcomp/pthread-wmm/mix011_rmo.opt.yml false(unreach-call) 23.66 12.97 None svcomp/pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 31.83 17.97 None svcomp/pthread-wmm/mix011_tso.opt.yml false(unreach-call) 24.51 13.41 None svcomp/pthread-wmm/mix012_power.oepc.yml false(unreach-call) 22.49 12.06 None svcomp/pthread-wmm/mix012_power.opt.yml false(unreach-call) 20.59 11.12 None svcomp/pthread-wmm/mix012_pso.oepc.yml false(unreach-call) 23.13 12.36 None svcomp/pthread-wmm/mix012_pso.opt.yml false(unreach-call) 23.38 12.69 None svcomp/pthread-wmm/mix012_rmo.oepc.yml false(unreach-call) 21.61 11.75 None svcomp/pthread-wmm/mix012_rmo.opt.yml false(unreach-call) 20.08 10.90 None svcomp/pthread-wmm/mix012_tso.oepc.yml false(unreach-call) 22.38 12.08 None svcomp/pthread-wmm/mix012_tso.opt.yml false(unreach-call) 22.52 12.27 None svcomp/pthread-wmm/mix013_power.oepc.yml false(unreach-call) 30.32 16.36 None svcomp/pthread-wmm/mix013_power.opt.yml false(unreach-call) 26.98 14.32 None svcomp/pthread-wmm/mix013_pso.oepc.yml false(unreach-call) 30.34 16.39 None svcomp/pthread-wmm/mix013_pso.opt.yml false(unreach-call) 29.51 15.81 None svcomp/pthread-wmm/mix013_rmo.oepc.yml false(unreach-call) 31.56 16.99 None svcomp/pthread-wmm/mix013_rmo.opt.yml false(unreach-call) 32.26 17.54 None svcomp/pthread-wmm/mix013_tso.oepc.yml false(unreach-call) 31.13 16.63 None svcomp/pthread-wmm/mix013_tso.opt.yml false(unreach-call) 28.79 15.27 None svcomp/pthread-wmm/mix014_power.oepc.yml false(unreach-call) 33.89 17.87 None svcomp/pthread-wmm/mix014_power.opt.yml false(unreach-call) 27.37 14.89 None svcomp/pthread-wmm/mix014_pso.oepc.yml false(unreach-call) 31.64 17.11 None svcomp/pthread-wmm/mix014_pso.opt.yml false(unreach-call) 32.23 17.46 None svcomp/pthread-wmm/mix014_rmo.oepc.yml false(unreach-call) 28.01 15.15 None svcomp/pthread-wmm/mix014_rmo.opt.yml false(unreach-call) 27.75 15.15 None svcomp/pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 58.10 33.44 None svcomp/pthread-wmm/mix014_tso.opt.yml false(unreach-call) 29.03 15.48 None svcomp/pthread-wmm/mix015_power.oepc.yml false(unreach-call) 23.02 12.61 None svcomp/pthread-wmm/mix015_power.opt.yml false(unreach-call) 25.99 14.31 None svcomp/pthread-wmm/mix015_pso.oepc.yml false(unreach-call) 23.82 12.74 None svcomp/pthread-wmm/mix015_pso.opt.yml false(unreach-call) 26.93 14.82 None svcomp/pthread-wmm/mix015_rmo.oepc.yml false(unreach-call) 23.45 12.68 None svcomp/pthread-wmm/mix015_rmo.opt.yml false(unreach-call) 27.21 15.00 None svcomp/pthread-wmm/mix015_tso.oepc.yml false(unreach-call) 24.27 12.99 None svcomp/pthread-wmm/mix015_tso.opt.yml false(unreach-call) 27.25 15.04 None svcomp/pthread-wmm/mix016_power.oepc.yml false(unreach-call) 25.49 13.78 None svcomp/pthread-wmm/mix016_power.opt.yml false(unreach-call) 22.66 12.34 None svcomp/pthread-wmm/mix016_pso.oepc.yml false(unreach-call) 26.22 14.32 None svcomp/pthread-wmm/mix016_pso.opt.yml false(unreach-call) 24.51 13.38 None svcomp/pthread-wmm/mix016_rmo.oepc.yml false(unreach-call) 26.28 14.39 None svcomp/pthread-wmm/mix016_rmo.opt.yml false(unreach-call) 22.65 12.25 None svcomp/pthread-wmm/mix016_tso.oepc.yml false(unreach-call) 24.69 13.71 None svcomp/pthread-wmm/mix016_tso.opt.yml false(unreach-call) 25.97 14.15 None svcomp/pthread-wmm/mix017_power.oepc.yml false(unreach-call) 26.84 14.17 None svcomp/pthread-wmm/mix017_power.opt.yml false(unreach-call) 26.24 14.73 None svcomp/pthread-wmm/mix017_pso.oepc.yml false(unreach-call) 27.06 14.36 None svcomp/pthread-wmm/mix017_pso.opt.yml false(unreach-call) 26.99 14.61 None svcomp/pthread-wmm/mix017_rmo.oepc.yml false(unreach-call) 27.82 14.89 None svcomp/pthread-wmm/mix017_rmo.opt.yml false(unreach-call) 28.10 15.34 None svcomp/pthread-wmm/mix017_tso.oepc.yml false(unreach-call) 27.35 14.72 None svcomp/pthread-wmm/mix017_tso.opt.yml false(unreach-call) 28.85 15.39 None svcomp/pthread-wmm/mix018_power.oepc.yml false(unreach-call) 24.74 13.52 None svcomp/pthread-wmm/mix018_power.opt.yml false(unreach-call) 31.11 16.47 None svcomp/pthread-wmm/mix018_pso.oepc.yml false(unreach-call) 28.41 15.35 None svcomp/pthread-wmm/mix018_pso.opt.yml false(unreach-call) 28.76 15.56 None svcomp/pthread-wmm/mix018_rmo.oepc.yml false(unreach-call) 26.80 14.51 None svcomp/pthread-wmm/mix018_rmo.opt.yml false(unreach-call) 30.11 16.51 None svcomp/pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 42.71 25.04 None svcomp/pthread-wmm/mix018_tso.opt.yml false(unreach-call) 29.42 15.92 None svcomp/pthread-wmm/mix019_power.oepc.yml false(unreach-call) 25.54 13.72 None svcomp/pthread-wmm/mix019_power.opt.yml false(unreach-call) 25.51 13.80 None svcomp/pthread-wmm/mix019_pso.oepc.yml false(unreach-call) 23.11 12.36 None svcomp/pthread-wmm/mix019_pso.opt.yml false(unreach-call) 28.03 15.32 None svcomp/pthread-wmm/mix019_rmo.oepc.yml false(unreach-call) 24.49 13.20 None svcomp/pthread-wmm/mix019_rmo.opt.yml false(unreach-call) 26.44 14.28 None svcomp/pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 32.38 18.39 None svcomp/pthread-wmm/mix019_tso.opt.yml false(unreach-call) 23.62 13.00 None svcomp/pthread-wmm/mix020_power.oepc.yml false(unreach-call) 29.10 15.69 None svcomp/pthread-wmm/mix020_power.opt.yml false(unreach-call) 29.47 16.00 None svcomp/pthread-wmm/mix020_pso.oepc.yml false(unreach-call) 30.29 16.05 None svcomp/pthread-wmm/mix020_pso.opt.yml false(unreach-call) 32.78 17.46 None svcomp/pthread-wmm/mix020_rmo.oepc.yml false(unreach-call) 27.22 14.85 None svcomp/pthread-wmm/mix020_rmo.opt.yml false(unreach-call) 28.38 15.09 None svcomp/pthread-wmm/mix020_tso.oepc.yml false(unreach-call) 27.97 14.86 None svcomp/pthread-wmm/mix020_tso.opt.yml false(unreach-call) 31.72 17.61 None svcomp/pthread-wmm/mix021_power.oepc.yml false(unreach-call) 31.24 16.98 None svcomp/pthread-wmm/mix021_power.opt.yml false(unreach-call) 32.62 17.81 None svcomp/pthread-wmm/mix021_pso.oepc.yml false(unreach-call) 32.62 17.28 None svcomp/pthread-wmm/mix021_pso.opt.yml false(unreach-call) 28.42 15.36 None svcomp/pthread-wmm/mix021_rmo.oepc.yml false(unreach-call) 28.47 15.64 None svcomp/pthread-wmm/mix021_rmo.opt.yml false(unreach-call) 29.20 16.01 None svcomp/pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 42.66 24.96 None svcomp/pthread-wmm/mix021_tso.opt.yml false(unreach-call) 28.98 15.46 None svcomp/pthread-wmm/mix022_power.oepc.yml false(unreach-call) 22.09 12.03 None svcomp/pthread-wmm/mix022_power.opt.yml false(unreach-call) 22.55 12.14 None svcomp/pthread-wmm/mix022_pso.oepc.yml false(unreach-call) 21.30 11.71 None svcomp/pthread-wmm/mix022_pso.opt.yml false(unreach-call) 20.49 11.20 None svcomp/pthread-wmm/mix022_rmo.oepc.yml false(unreach-call) 22.34 12.01 None svcomp/pthread-wmm/mix022_rmo.opt.yml false(unreach-call) 22.42 12.12 None svcomp/pthread-wmm/mix022_tso.oepc.yml false(unreach-call) 26.29 14.13 None svcomp/pthread-wmm/mix022_tso.opt.yml false(unreach-call) 25.19 13.60 None svcomp/pthread-wmm/mix023_power.oepc.yml false(unreach-call) 36.16 19.10 None svcomp/pthread-wmm/mix023_power.opt.yml false(unreach-call) 26.74 14.36 None svcomp/pthread-wmm/mix023_pso.oepc.yml false(unreach-call) 32.47 17.84 None svcomp/pthread-wmm/mix023_pso.opt.yml false(unreach-call) 27.12 14.99 None svcomp/pthread-wmm/mix023_rmo.oepc.yml false(unreach-call) 35.16 19.50 None svcomp/pthread-wmm/mix023_rmo.opt.yml false(unreach-call) 28.41 15.06 None svcomp/pthread-wmm/mix023_tso.oepc.yml false(unreach-call) 88.55 61.99 None svcomp/pthread-wmm/mix023_tso.opt.yml false(unreach-call) 93.42 65.39 None svcomp/pthread-wmm/mix024_power.oepc.yml false(unreach-call) 24.17 13.12 None svcomp/pthread-wmm/mix024_power.opt.yml false(unreach-call) 26.74 14.44 None svcomp/pthread-wmm/mix024_pso.oepc.yml false(unreach-call) 25.59 13.88 None svcomp/pthread-wmm/mix024_pso.opt.yml false(unreach-call) 25.32 13.48 None svcomp/pthread-wmm/mix024_rmo.oepc.yml false(unreach-call) 25.86 14.06 None svcomp/pthread-wmm/mix024_rmo.opt.yml false(unreach-call) 23.57 12.81 None svcomp/pthread-wmm/mix024_tso.oepc.yml false(unreach-call) 26.20 14.12 None svcomp/pthread-wmm/mix024_tso.opt.yml false(unreach-call) 29.28 16.11 None svcomp/pthread-wmm/mix025_power.oepc.yml false(unreach-call) 26.50 14.39 None svcomp/pthread-wmm/mix025_power.opt.yml false(unreach-call) 28.53 15.21 None svcomp/pthread-wmm/mix025_pso.oepc.yml false(unreach-call) 23.64 12.74 None svcomp/pthread-wmm/mix025_pso.opt.yml false(unreach-call) 25.92 13.82 None svcomp/pthread-wmm/mix025_rmo.oepc.yml false(unreach-call) 25.67 13.84 None svcomp/pthread-wmm/mix025_rmo.opt.yml false(unreach-call) 28.57 15.35 None svcomp/pthread-wmm/mix025_tso.oepc.yml false(unreach-call) 22.83 12.68 None svcomp/pthread-wmm/mix025_tso.opt.yml false(unreach-call) 28.27 14.97 None svcomp/pthread-wmm/mix026_power.oepc.yml false(unreach-call) 29.87 15.93 None svcomp/pthread-wmm/mix026_power.opt.yml false(unreach-call) 29.26 15.64 None svcomp/pthread-wmm/mix026_pso.oepc.yml false(unreach-call) 27.46 14.70 None svcomp/pthread-wmm/mix026_pso.opt.yml false(unreach-call) 28.50 15.56 None svcomp/pthread-wmm/mix026_rmo.oepc.yml false(unreach-call) 27.12 14.73 None svcomp/pthread-wmm/mix026_rmo.opt.yml false(unreach-call) 29.59 16.19 None svcomp/pthread-wmm/mix026_tso.oepc.yml false(unreach-call) 27.38 14.65 None svcomp/pthread-wmm/mix026_tso.opt.yml false(unreach-call) 30.63 16.21 None svcomp/pthread-wmm/mix027_power.oepc.yml false(unreach-call) 32.18 17.33 None svcomp/pthread-wmm/mix027_power.opt.yml false(unreach-call) 26.41 14.29 None svcomp/pthread-wmm/mix027_pso.oepc.yml false(unreach-call) 31.46 17.00 None svcomp/pthread-wmm/mix027_pso.opt.yml false(unreach-call) 28.19 15.17 None svcomp/pthread-wmm/mix027_rmo.oepc.yml false(unreach-call) 33.17 17.99 None svcomp/pthread-wmm/mix027_rmo.opt.yml false(unreach-call) 29.58 15.69 None svcomp/pthread-wmm/mix027_tso.oepc.yml false(unreach-call) 45.14 26.79 None svcomp/pthread-wmm/mix027_tso.opt.yml false(unreach-call) 41.70 24.90 None svcomp/pthread-wmm/mix028_power.oepc.yml false(unreach-call) 23.83 13.40 None svcomp/pthread-wmm/mix028_power.opt.yml false(unreach-call) 35.27 20.73 None svcomp/pthread-wmm/mix028_pso.oepc.yml false(unreach-call) 26.46 14.37 None svcomp/pthread-wmm/mix028_pso.opt.yml false(unreach-call) 36.18 20.98 None svcomp/pthread-wmm/mix028_rmo.oepc.yml false(unreach-call) 25.87 13.97 None svcomp/pthread-wmm/mix028_rmo.opt.yml false(unreach-call) 34.78 20.59 None svcomp/pthread-wmm/mix028_tso.oepc.yml false(unreach-call) 25.70 13.71 None svcomp/pthread-wmm/mix028_tso.opt.yml false(unreach-call) 24.77 13.34 None svcomp/pthread-wmm/mix029_power.oepc.yml false(unreach-call) 31.95 17.09 None svcomp/pthread-wmm/mix029_power.opt.yml false(unreach-call) 36.14 21.32 None svcomp/pthread-wmm/mix029_pso.oepc.yml false(unreach-call) 32.12 17.30 None svcomp/pthread-wmm/mix029_pso.opt.yml false(unreach-call) 41.20 23.83 None svcomp/pthread-wmm/mix029_rmo.oepc.yml false(unreach-call) 30.46 16.36 None svcomp/pthread-wmm/mix029_rmo.opt.yml false(unreach-call) 43.02 24.25 None svcomp/pthread-wmm/mix029_tso.oepc.yml false(unreach-call) 32.53 17.35 None svcomp/pthread-wmm/mix029_tso.opt.yml false(unreach-call) 31.92 17.19 None svcomp/pthread-wmm/mix030_power.oepc.yml false(unreach-call) 30.61 16.24 None svcomp/pthread-wmm/mix030_power.opt.yml false(unreach-call) 39.67 22.41 None svcomp/pthread-wmm/mix030_pso.oepc.yml false(unreach-call) 30.92 16.34 None svcomp/pthread-wmm/mix030_pso.opt.yml false(unreach-call) 40.36 23.73 None svcomp/pthread-wmm/mix030_rmo.oepc.yml false(unreach-call) 28.83 15.46 None svcomp/pthread-wmm/mix030_rmo.opt.yml false(unreach-call) 42.34 24.54 None svcomp/pthread-wmm/mix030_tso.oepc.yml false(unreach-call) 39.55 23.02 None svcomp/pthread-wmm/mix030_tso.opt.yml false(unreach-call) 37.92 21.93 None svcomp/pthread-wmm/mix031_power.oepc.yml false(unreach-call) 21.98 12.02 None svcomp/pthread-wmm/mix031_power.opt.yml false(unreach-call) 20.26 11.09 None svcomp/pthread-wmm/mix031_pso.oepc.yml false(unreach-call) 21.88 12.01 None svcomp/pthread-wmm/mix031_pso.opt.yml false(unreach-call) 21.15 11.76 None svcomp/pthread-wmm/mix031_rmo.oepc.yml false(unreach-call) 22.13 11.89 None svcomp/pthread-wmm/mix031_rmo.opt.yml false(unreach-call) 19.85 10.99 None svcomp/pthread-wmm/mix031_tso.oepc.yml false(unreach-call) 21.79 11.82 None svcomp/pthread-wmm/mix031_tso.opt.yml false(unreach-call) 22.12 11.99 None svcomp/pthread-wmm/mix032_power.oepc.yml false(unreach-call) 22.85 12.67 None svcomp/pthread-wmm/mix032_power.opt.yml false(unreach-call) 23.34 12.66 None svcomp/pthread-wmm/mix032_pso.oepc.yml false(unreach-call) 22.59 12.11 None svcomp/pthread-wmm/mix032_pso.opt.yml false(unreach-call) 22.49 12.23 None svcomp/pthread-wmm/mix032_rmo.oepc.yml false(unreach-call) 22.49 12.06 None svcomp/pthread-wmm/mix032_rmo.opt.yml false(unreach-call) 22.78 12.40 None svcomp/pthread-wmm/mix032_tso.oepc.yml false(unreach-call) 22.72 12.15 None svcomp/pthread-wmm/mix032_tso.opt.yml false(unreach-call) 22.92 12.44 None svcomp/pthread-wmm/mix033_power.oepc.yml false(unreach-call) 24.89 13.61 None svcomp/pthread-wmm/mix033_power.opt.yml false(unreach-call) 22.93 12.50 None svcomp/pthread-wmm/mix033_pso.oepc.yml false(unreach-call) 26.21 14.14 None svcomp/pthread-wmm/mix033_pso.opt.yml false(unreach-call) 22.85 12.22 None svcomp/pthread-wmm/mix033_rmo.oepc.yml false(unreach-call) 25.67 14.14 None svcomp/pthread-wmm/mix033_rmo.opt.yml false(unreach-call) 23.15 12.76 None svcomp/pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 37.10 22.43 None svcomp/pthread-wmm/mix033_tso.opt.yml false(unreach-call) 23.28 12.52 None svcomp/pthread-wmm/mix034_power.oepc.yml false(unreach-call) 21.22 11.43 None svcomp/pthread-wmm/mix034_power.opt.yml false(unreach-call) 20.31 10.91 None svcomp/pthread-wmm/mix034_pso.oepc.yml false(unreach-call) 21.94 11.72 None svcomp/pthread-wmm/mix034_pso.opt.yml false(unreach-call) 21.18 11.39 None svcomp/pthread-wmm/mix034_rmo.oepc.yml false(unreach-call) 20.71 11.23 None svcomp/pthread-wmm/mix034_rmo.opt.yml false(unreach-call) 20.90 11.30 None svcomp/pthread-wmm/mix034_tso.oepc.yml false(unreach-call) 20.87 11.31 None svcomp/pthread-wmm/mix034_tso.opt.yml false(unreach-call) 19.52 10.63 None svcomp/pthread-wmm/mix035_power.oepc.yml false(unreach-call) 24.40 13.07 None svcomp/pthread-wmm/mix035_power.opt.yml false(unreach-call) 22.00 11.91 None svcomp/pthread-wmm/mix035_pso.oepc.yml false(unreach-call) 24.08 13.23 None svcomp/pthread-wmm/mix035_pso.opt.yml false(unreach-call) 20.57 11.84 None svcomp/pthread-wmm/mix035_rmo.oepc.yml false(unreach-call) 24.91 13.29 None svcomp/pthread-wmm/mix035_rmo.opt.yml false(unreach-call) 21.20 11.57 None svcomp/pthread-wmm/mix035_tso.oepc.yml false(unreach-call) 23.88 12.97 None svcomp/pthread-wmm/mix035_tso.opt.yml false(unreach-call) 22.30 12.06 None svcomp/pthread-wmm/mix036_power.oepc.yml false(unreach-call) 29.19 15.64 None svcomp/pthread-wmm/mix036_power.opt.yml false(unreach-call) 25.74 14.21 None svcomp/pthread-wmm/mix036_pso.oepc.yml false(unreach-call) 27.38 14.66 None svcomp/pthread-wmm/mix036_pso.opt.yml false(unreach-call) 24.55 13.40 None svcomp/pthread-wmm/mix036_rmo.oepc.yml false(unreach-call) 26.33 14.41 None svcomp/pthread-wmm/mix036_rmo.opt.yml false(unreach-call) 25.43 13.88 None svcomp/pthread-wmm/mix036_tso.oepc.yml false(unreach-call) 28.89 15.45 None svcomp/pthread-wmm/mix036_tso.opt.yml false(unreach-call) 26.70 14.39 None svcomp/pthread-wmm/mix037_power.oepc.yml false(unreach-call) 32.24 17.28 None svcomp/pthread-wmm/mix037_power.opt.yml false(unreach-call) 24.72 13.50 None svcomp/pthread-wmm/mix037_pso.oepc.yml false(unreach-call) 32.02 17.19 None svcomp/pthread-wmm/mix037_pso.opt.yml false(unreach-call) 22.55 12.72 None svcomp/pthread-wmm/mix037_rmo.oepc.yml false(unreach-call) 29.72 16.15 None svcomp/pthread-wmm/mix037_rmo.opt.yml false(unreach-call) 24.59 13.37 None svcomp/pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 44.81 25.91 None svcomp/pthread-wmm/mix037_tso.opt.yml false(unreach-call) 25.25 13.60 None svcomp/pthread-wmm/mix038_power.oepc.yml false(unreach-call) 24.65 13.34 None svcomp/pthread-wmm/mix038_power.opt.yml false(unreach-call) 21.44 11.72 None svcomp/pthread-wmm/mix038_pso.oepc.yml false(unreach-call) 24.70 13.43 None svcomp/pthread-wmm/mix038_pso.opt.yml false(unreach-call) 22.60 12.36 None svcomp/pthread-wmm/mix038_rmo.oepc.yml false(unreach-call) 24.42 13.38 None svcomp/pthread-wmm/mix038_rmo.opt.yml false(unreach-call) 24.14 13.02 None svcomp/pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 32.50 19.62 None svcomp/pthread-wmm/mix038_tso.opt.yml false(unreach-call) 22.84 12.37 None svcomp/pthread-wmm/mix039_power.oepc.yml false(unreach-call) 33.89 18.15 None svcomp/pthread-wmm/mix039_power.opt.yml false(unreach-call) 25.79 14.12 None svcomp/pthread-wmm/mix039_pso.oepc.yml false(unreach-call) 34.58 18.24 None svcomp/pthread-wmm/mix039_pso.opt.yml false(unreach-call) 24.50 13.45 None svcomp/pthread-wmm/mix039_rmo.oepc.yml false(unreach-call) 31.33 17.01 None svcomp/pthread-wmm/mix039_rmo.opt.yml false(unreach-call) 25.52 13.73 None svcomp/pthread-wmm/mix039_tso.oepc.yml false(unreach-call) 33.74 18.04 None svcomp/pthread-wmm/mix039_tso.opt.yml false(unreach-call) 23.46 12.83 None svcomp/pthread-wmm/mix040_power.oepc.yml false(unreach-call) 32.72 17.72 None svcomp/pthread-wmm/mix040_power.opt.yml false(unreach-call) 26.21 14.04 None svcomp/pthread-wmm/mix040_pso.oepc.yml false(unreach-call) 30.51 16.47 None svcomp/pthread-wmm/mix040_pso.opt.yml false(unreach-call) 25.87 13.90 None svcomp/pthread-wmm/mix040_rmo.oepc.yml false(unreach-call) 32.19 17.00 None svcomp/pthread-wmm/mix040_rmo.opt.yml false(unreach-call) 24.06 13.04 None svcomp/pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 42.18 23.64 None svcomp/pthread-wmm/mix040_tso.opt.yml false(unreach-call) 25.83 13.91 None svcomp/pthread-wmm/mix041_power.oepc.yml false(unreach-call) 22.49 12.16 None svcomp/pthread-wmm/mix041_power.opt.yml false(unreach-call) 27.79 16.70 None svcomp/pthread-wmm/mix041_pso.oepc.yml false(unreach-call) 22.98 12.28 None svcomp/pthread-wmm/mix041_pso.opt.yml false(unreach-call) 25.93 16.18 None svcomp/pthread-wmm/mix041_rmo.oepc.yml false(unreach-call) 20.54 11.22 None svcomp/pthread-wmm/mix041_rmo.opt.yml false(unreach-call) 27.39 16.88 None svcomp/pthread-wmm/mix041_tso.oepc.yml false(unreach-call) 26.63 16.36 None svcomp/pthread-wmm/mix041_tso.opt.yml false(unreach-call) 27.05 16.48 None svcomp/pthread-wmm/mix042_power.oepc.yml false(unreach-call) 24.38 13.43 None svcomp/pthread-wmm/mix042_power.opt.yml false(unreach-call) 28.24 15.92 None svcomp/pthread-wmm/mix042_pso.oepc.yml false(unreach-call) 26.17 14.31 None svcomp/pthread-wmm/mix042_pso.opt.yml false(unreach-call) 26.80 15.23 None svcomp/pthread-wmm/mix042_rmo.oepc.yml false(unreach-call) 25.88 13.90 None svcomp/pthread-wmm/mix042_rmo.opt.yml false(unreach-call) 26.87 15.42 None svcomp/pthread-wmm/mix042_tso.oepc.yml false(unreach-call) 23.54 12.75 None svcomp/pthread-wmm/mix042_tso.opt.yml false(unreach-call) 28.31 15.97 None svcomp/pthread-wmm/mix043_power.oepc.yml false(unreach-call) 32.53 17.37 None svcomp/pthread-wmm/mix043_power.opt.yml false(unreach-call) 33.42 18.30 None svcomp/pthread-wmm/mix043_pso.oepc.yml false(unreach-call) 32.21 17.26 None svcomp/pthread-wmm/mix043_pso.opt.yml false(unreach-call) 34.59 19.11 None svcomp/pthread-wmm/mix043_rmo.oepc.yml false(unreach-call) 29.29 16.12 None svcomp/pthread-wmm/mix043_rmo.opt.yml false(unreach-call) 32.48 18.24 None svcomp/pthread-wmm/mix043_tso.oepc.yml false(unreach-call) 33.28 17.82 None svcomp/pthread-wmm/mix043_tso.opt.yml false(unreach-call) 29.86 17.17 None svcomp/pthread-wmm/mix044_power.oepc.yml false(unreach-call) 34.94 19.48 None svcomp/pthread-wmm/mix044_power.opt.yml false(unreach-call) 34.12 20.38 None svcomp/pthread-wmm/mix044_pso.oepc.yml false(unreach-call) 29.47 15.63 None svcomp/pthread-wmm/mix044_pso.opt.yml false(unreach-call) 34.85 20.82 None svcomp/pthread-wmm/mix044_rmo.oepc.yml false(unreach-call) 30.28 16.11 None svcomp/pthread-wmm/mix044_rmo.opt.yml false(unreach-call) 36.89 21.56 None svcomp/pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 47.03 27.06 None svcomp/pthread-wmm/mix044_tso.opt.yml false(unreach-call) 37.23 21.56 None svcomp/pthread-wmm/mix045_power.oepc.yml false(unreach-call) 25.14 13.53 None svcomp/pthread-wmm/mix045_power.opt.yml false(unreach-call) 28.69 17.00 None svcomp/pthread-wmm/mix045_pso.oepc.yml false(unreach-call) 25.22 13.89 None svcomp/pthread-wmm/mix045_pso.opt.yml false(unreach-call) 30.99 18.56 None svcomp/pthread-wmm/mix045_rmo.oepc.yml false(unreach-call) 24.71 13.25 None svcomp/pthread-wmm/mix045_rmo.opt.yml false(unreach-call) 31.04 18.39 None svcomp/pthread-wmm/mix045_tso.oepc.yml false(unreach-call) 32.18 19.07 None svcomp/pthread-wmm/mix045_tso.opt.yml false(unreach-call) 30.80 17.79 None svcomp/pthread-wmm/mix046_power.oepc.yml false(unreach-call) 30.73 16.55 None svcomp/pthread-wmm/mix046_power.opt.yml false(unreach-call) 33.95 20.57 None svcomp/pthread-wmm/mix046_pso.oepc.yml false(unreach-call) 33.28 17.73 None svcomp/pthread-wmm/mix046_pso.opt.yml false(unreach-call) 41.75 23.99 None svcomp/pthread-wmm/mix046_rmo.oepc.yml false(unreach-call) 33.38 18.14 None svcomp/pthread-wmm/mix046_rmo.opt.yml false(unreach-call) 35.14 21.02 None svcomp/pthread-wmm/mix046_tso.oepc.yml false(unreach-call) 33.46 18.41 None svcomp/pthread-wmm/mix046_tso.opt.yml false(unreach-call) 37.19 21.89 None svcomp/pthread-wmm/mix047_power.oepc.yml false(unreach-call) 34.57 18.78 None svcomp/pthread-wmm/mix047_power.opt.yml false(unreach-call) 31.33 16.99 None svcomp/pthread-wmm/mix047_pso.oepc.yml false(unreach-call) 30.59 16.75 None svcomp/pthread-wmm/mix047_pso.opt.yml false(unreach-call) 31.53 16.99 None svcomp/pthread-wmm/mix047_rmo.oepc.yml false(unreach-call) 34.86 18.37 None svcomp/pthread-wmm/mix047_rmo.opt.yml false(unreach-call) 30.73 16.48 None svcomp/pthread-wmm/mix047_tso.oepc.yml false(unreach-call) 31.14 16.89 None svcomp/pthread-wmm/mix047_tso.opt.yml false(unreach-call) 30.63 16.70 None svcomp/pthread-wmm/mix048_power.oepc.yml false(unreach-call) 20.16 10.94 None svcomp/pthread-wmm/mix048_power.opt.yml false(unreach-call) 20.38 11.08 None svcomp/pthread-wmm/mix048_pso.oepc.yml false(unreach-call) 20.43 11.10 None svcomp/pthread-wmm/mix048_pso.opt.yml false(unreach-call) 20.44 11.09 None svcomp/pthread-wmm/mix048_rmo.oepc.yml false(unreach-call) 19.26 10.54 None svcomp/pthread-wmm/mix048_rmo.opt.yml false(unreach-call) 21.05 11.40 None svcomp/pthread-wmm/mix048_tso.oepc.yml false(unreach-call) 20.77 11.25 None svcomp/pthread-wmm/mix048_tso.opt.yml false(unreach-call) 20.93 11.31 None svcomp/pthread-wmm/mix049_power.oepc.yml false(unreach-call) 24.52 13.26 None svcomp/pthread-wmm/mix049_power.opt.yml false(unreach-call) 24.63 13.33 None svcomp/pthread-wmm/mix049_pso.oepc.yml false(unreach-call) 23.67 12.93 None svcomp/pthread-wmm/mix049_pso.opt.yml false(unreach-call) 23.12 12.50 None svcomp/pthread-wmm/mix049_rmo.oepc.yml false(unreach-call) 24.83 13.58 None svcomp/pthread-wmm/mix049_rmo.opt.yml false(unreach-call) 25.22 13.76 None svcomp/pthread-wmm/mix049_tso.oepc.yml false(unreach-call) 24.51 13.33 None svcomp/pthread-wmm/mix049_tso.opt.yml false(unreach-call) 23.57 13.00 None svcomp/pthread-wmm/mix050_power.oepc.yml false(unreach-call) 29.98 15.98 None svcomp/pthread-wmm/mix050_power.opt.yml false(unreach-call) 29.48 15.87 None svcomp/pthread-wmm/mix050_pso.oepc.yml false(unreach-call) 26.91 14.83 None svcomp/pthread-wmm/mix050_pso.opt.yml false(unreach-call) 28.50 15.65 None svcomp/pthread-wmm/mix050_rmo.oepc.yml false(unreach-call) 29.09 15.61 None svcomp/pthread-wmm/mix050_rmo.opt.yml false(unreach-call) 28.79 15.63 None svcomp/pthread-wmm/mix050_tso.oepc.yml false(unreach-call) 29.47 15.90 None svcomp/pthread-wmm/mix050_tso.opt.yml false(unreach-call) 29.64 15.92 None svcomp/pthread-wmm/mix051_power.oepc.yml false(unreach-call) 25.90 14.16 None svcomp/pthread-wmm/mix051_power.opt.yml false(unreach-call) 29.27 15.57 None svcomp/pthread-wmm/mix051_pso.oepc.yml false(unreach-call) 27.70 15.03 None svcomp/pthread-wmm/mix051_pso.opt.yml false(unreach-call) 25.21 13.50 None svcomp/pthread-wmm/mix051_rmo.oepc.yml false(unreach-call) 28.67 15.26 None svcomp/pthread-wmm/mix051_rmo.opt.yml false(unreach-call) 24.61 13.22 None svcomp/pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 39.98 22.20 None svcomp/pthread-wmm/mix051_tso.opt.yml false(unreach-call) 23.61 12.80 None svcomp/pthread-wmm/mix052_power.oepc.yml false(unreach-call) 23.36 12.86 None svcomp/pthread-wmm/mix052_power.opt.yml false(unreach-call) 24.67 13.18 None svcomp/pthread-wmm/mix052_pso.oepc.yml false(unreach-call) 24.67 13.15 None svcomp/pthread-wmm/mix052_pso.opt.yml false(unreach-call) 23.29 12.29 None svcomp/pthread-wmm/mix052_rmo.oepc.yml false(unreach-call) 24.57 13.27 None svcomp/pthread-wmm/mix052_rmo.opt.yml false(unreach-call) 20.47 11.16 None svcomp/pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 28.00 16.57 None svcomp/pthread-wmm/mix052_tso.opt.yml false(unreach-call) 22.93 12.36 None svcomp/pthread-wmm/mix053_power.oepc.yml false(unreach-call) 28.23 15.41 None svcomp/pthread-wmm/mix053_power.opt.yml false(unreach-call) 24.12 13.04 None svcomp/pthread-wmm/mix053_pso.oepc.yml false(unreach-call) 29.99 15.91 None svcomp/pthread-wmm/mix053_pso.opt.yml false(unreach-call) 24.75 13.38 None svcomp/pthread-wmm/mix053_rmo.oepc.yml false(unreach-call) 28.26 15.24 None svcomp/pthread-wmm/mix053_rmo.opt.yml false(unreach-call) 23.72 12.82 None svcomp/pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 41.12 24.03 None svcomp/pthread-wmm/mix053_tso.opt.yml false(unreach-call) 23.47 13.13 None svcomp/pthread-wmm/mix054_power.oepc.yml false(unreach-call) 21.82 11.96 None svcomp/pthread-wmm/mix054_power.opt.yml false(unreach-call) 22.32 12.06 None svcomp/pthread-wmm/mix054_pso.oepc.yml false(unreach-call) 21.11 11.60 None svcomp/pthread-wmm/mix054_pso.opt.yml false(unreach-call) 28.19 16.03 None svcomp/pthread-wmm/mix054_rmo.oepc.yml false(unreach-call) 21.36 11.80 None svcomp/pthread-wmm/mix054_rmo.opt.yml false(unreach-call) 29.45 16.47 None svcomp/pthread-wmm/mix054_tso.oepc.yml false(unreach-call) 31.18 17.38 None svcomp/pthread-wmm/mix054_tso.opt.yml false(unreach-call) 25.64 14.68 None svcomp/pthread-wmm/mix055_power.oepc.yml false(unreach-call) 31.32 16.80 None svcomp/pthread-wmm/mix055_power.opt.yml false(unreach-call) 33.76 18.51 None svcomp/pthread-wmm/mix055_pso.oepc.yml false(unreach-call) 32.04 16.85 None svcomp/pthread-wmm/mix055_pso.opt.yml false(unreach-call) 32.26 17.40 None svcomp/pthread-wmm/mix055_rmo.oepc.yml false(unreach-call) 31.23 17.05 None svcomp/pthread-wmm/mix055_rmo.opt.yml false(unreach-call) 30.55 17.02 None svcomp/pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 40.52 23.39 None svcomp/pthread-wmm/mix055_tso.opt.yml false(unreach-call) 32.40 17.51 None svcomp/pthread-wmm/mix056_power.oepc.yml false(unreach-call) 21.83 11.65 None svcomp/pthread-wmm/mix056_power.opt.yml false(unreach-call) 28.60 15.39 None svcomp/pthread-wmm/mix056_pso.oepc.yml false(unreach-call) 19.15 10.64 None svcomp/pthread-wmm/mix056_pso.opt.yml false(unreach-call) 27.95 15.08 None svcomp/pthread-wmm/mix056_rmo.oepc.yml false(unreach-call) 21.33 11.49 None svcomp/pthread-wmm/mix056_rmo.opt.yml false(unreach-call) 29.25 15.62 None svcomp/pthread-wmm/mix056_tso.oepc.yml false(unreach-call) 26.66 14.27 None svcomp/pthread-wmm/mix056_tso.opt.yml false(unreach-call) 26.78 14.78 None svcomp/pthread-wmm/mix057_power.oepc.yml false(unreach-call) 32.93 17.49 None svcomp/pthread-wmm/mix057_power.opt.yml false(unreach-call) 39.13 23.73 None svcomp/pthread-wmm/mix057_pso.oepc.yml false(unreach-call) 31.18 16.78 None svcomp/pthread-wmm/mix057_pso.opt.yml false(unreach-call) 40.19 23.47 None svcomp/pthread-wmm/mix057_rmo.oepc.yml false(unreach-call) 33.76 18.49 None svcomp/pthread-wmm/mix057_rmo.opt.yml false(unreach-call) 39.68 23.71 None svcomp/pthread-wmm/mix057_tso.oepc.yml false(unreach-call) 43.41 25.16 None svcomp/pthread-wmm/mix057_tso.opt.yml false(unreach-call) 39.68 23.94 None svcomp/pthread-wmm/podwr000_power.oepc.yml false(unreach-call) 20.51 11.22 None svcomp/pthread-wmm/podwr000_power.opt.yml false(unreach-call) 19.95 11.01 None svcomp/pthread-wmm/podwr000_pso.oepc.yml false(unreach-call) 19.00 10.54 None svcomp/pthread-wmm/podwr000_pso.opt.yml false(unreach-call) 21.68 11.55 None svcomp/pthread-wmm/podwr000_rmo.oepc.yml false(unreach-call) 19.43 10.61 None svcomp/pthread-wmm/podwr000_rmo.opt.yml false(unreach-call) 20.56 11.08 None svcomp/pthread-wmm/podwr000_tso.oepc.yml false(unreach-call) 21.20 11.33 None svcomp/pthread-wmm/podwr000_tso.opt.yml false(unreach-call) 21.96 11.89 None svcomp/pthread-wmm/podwr001_power.oepc.yml false(unreach-call) 22.35 12.29 None svcomp/pthread-wmm/podwr001_power.opt.yml false(unreach-call) 25.49 13.92 None svcomp/pthread-wmm/podwr001_pso.oepc.yml false(unreach-call) 23.66 12.96 None svcomp/pthread-wmm/podwr001_pso.opt.yml false(unreach-call) 24.28 13.52 None svcomp/pthread-wmm/podwr001_rmo.oepc.yml false(unreach-call) 25.32 13.54 None svcomp/pthread-wmm/podwr001_rmo.opt.yml false(unreach-call) 24.43 13.39 None svcomp/pthread-wmm/podwr001_tso.oepc.yml false(unreach-call) 24.45 13.42 None svcomp/pthread-wmm/podwr001_tso.opt.yml false(unreach-call) 22.51 12.40 None svcomp/pthread-wmm/rfi000_power.oepc.yml false(unreach-call) 30.38 16.71 None svcomp/pthread-wmm/rfi000_power.opt.yml false(unreach-call) 30.66 18.89 None svcomp/pthread-wmm/rfi000_pso.oepc.yml false(unreach-call) 31.59 16.82 None svcomp/pthread-wmm/rfi000_pso.opt.yml false(unreach-call) 31.37 18.89 None svcomp/pthread-wmm/rfi000_rmo.oepc.yml false(unreach-call) 30.12 16.50 None svcomp/pthread-wmm/rfi000_rmo.opt.yml false(unreach-call) 30.97 18.67 None svcomp/pthread-wmm/rfi000_tso.oepc.yml true 41.61 24.69 None svcomp/pthread-wmm/rfi000_tso.opt.yml true 42.68 24.38 None svcomp/pthread-wmm/rfi001_power.oepc.yml false(unreach-call) 22.30 12.04 None svcomp/pthread-wmm/rfi001_power.opt.yml false(unreach-call) 25.36 14.54 None svcomp/pthread-wmm/rfi001_pso.oepc.yml false(unreach-call) 23.07 12.22 None svcomp/pthread-wmm/rfi001_pso.opt.yml false(unreach-call) 23.38 13.66 None svcomp/pthread-wmm/rfi001_rmo.oepc.yml false(unreach-call) 21.64 11.80 None svcomp/pthread-wmm/rfi001_rmo.opt.yml false(unreach-call) 26.06 14.72 None svcomp/pthread-wmm/rfi001_tso.oepc.yml false(unreach-call) 25.35 14.33 None svcomp/pthread-wmm/rfi001_tso.opt.yml false(unreach-call) 26.52 14.92 None svcomp/pthread-wmm/rfi002_power.oepc.yml true 35.91 19.77 None svcomp/pthread-wmm/rfi002_power.opt.yml true 40.69 22.79 None svcomp/pthread-wmm/rfi002_pso.oepc.yml true 46.65 25.66 None svcomp/pthread-wmm/rfi002_pso.opt.yml true 45.07 25.26 None svcomp/pthread-wmm/rfi002_rmo.oepc.yml true 45.54 24.95 None svcomp/pthread-wmm/rfi002_rmo.opt.yml true 49.34 27.51 None svcomp/pthread-wmm/rfi002_tso.oepc.yml true 56.81 33.62 None svcomp/pthread-wmm/rfi002_tso.opt.yml true 49.30 28.20 None svcomp/pthread-wmm/rfi003_power.oepc.yml false(unreach-call) 20.40 11.24 None svcomp/pthread-wmm/rfi003_power.opt.yml false(unreach-call) 20.56 11.05 None svcomp/pthread-wmm/rfi003_pso.oepc.yml false(unreach-call) 21.65 11.69 None svcomp/pthread-wmm/rfi003_pso.opt.yml false(unreach-call) 21.18 11.49 None svcomp/pthread-wmm/rfi003_rmo.oepc.yml false(unreach-call) 21.05 11.45 None svcomp/pthread-wmm/rfi003_rmo.opt.yml false(unreach-call) 20.53 11.31 None svcomp/pthread-wmm/rfi003_tso.oepc.yml true 46.32 26.56 None svcomp/pthread-wmm/rfi003_tso.opt.yml true 43.46 25.65 None svcomp/pthread-wmm/rfi004_power.oepc.yml false(unreach-call) 20.66 11.25 None svcomp/pthread-wmm/rfi004_power.opt.yml false(unreach-call) 19.78 10.76 None svcomp/pthread-wmm/rfi004_pso.oepc.yml false(unreach-call) 21.67 11.72 None svcomp/pthread-wmm/rfi004_pso.opt.yml false(unreach-call) 20.36 11.09 None svcomp/pthread-wmm/rfi004_rmo.oepc.yml false(unreach-call) 21.15 11.55 None svcomp/pthread-wmm/rfi004_rmo.opt.yml false(unreach-call) 22.21 11.81 None svcomp/pthread-wmm/rfi004_tso.oepc.yml false(unreach-call) 19.99 10.86 None svcomp/pthread-wmm/rfi004_tso.opt.yml false(unreach-call) 21.58 11.77 None svcomp/pthread-wmm/rfi005_power.oepc.yml false(unreach-call) 37.87 22.51 None svcomp/pthread-wmm/rfi005_power.opt.yml false(unreach-call) 36.61 21.55 None svcomp/pthread-wmm/rfi005_pso.oepc.yml false(unreach-call) 36.70 21.72 None svcomp/pthread-wmm/rfi005_pso.opt.yml false(unreach-call) 42.04 23.42 None svcomp/pthread-wmm/rfi005_rmo.oepc.yml false(unreach-call) 38.03 22.01 None svcomp/pthread-wmm/rfi005_rmo.opt.yml false(unreach-call) 34.52 20.40 None svcomp/pthread-wmm/rfi005_tso.oepc.yml false(unreach-call) 38.28 22.06 None svcomp/pthread-wmm/rfi005_tso.opt.yml false(unreach-call) 39.36 22.49 None svcomp/pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 40.48 23.99 None svcomp/pthread-wmm/rfi006_power.opt.yml false(unreach-call) 39.18 24.30 None svcomp/pthread-wmm/rfi006_pso.oepc.yml false(unreach-call) 32.29 18.13 None svcomp/pthread-wmm/rfi006_pso.opt.yml false(unreach-call) 30.74 17.06 None svcomp/pthread-wmm/rfi006_rmo.oepc.yml false(unreach-call) 31.22 17.49 None svcomp/pthread-wmm/rfi006_rmo.opt.yml false(unreach-call) 32.43 19.16 None svcomp/pthread-wmm/rfi006_tso.oepc.yml false(unreach-call) 32.88 18.38 None svcomp/pthread-wmm/rfi006_tso.opt.yml false(unreach-call) 33.76 19.08 None svcomp/pthread-wmm/rfi007_power.oepc.yml false(unreach-call) 20.84 11.23 None svcomp/pthread-wmm/rfi007_power.opt.yml false(unreach-call) 22.90 12.23 None svcomp/pthread-wmm/rfi007_pso.oepc.yml false(unreach-call) 22.44 12.12 None svcomp/pthread-wmm/rfi007_pso.opt.yml false(unreach-call) 23.06 12.33 None svcomp/pthread-wmm/rfi007_rmo.oepc.yml false(unreach-call) 22.68 12.29 None svcomp/pthread-wmm/rfi007_rmo.opt.yml false(unreach-call) 21.24 11.39 None svcomp/pthread-wmm/rfi007_tso.oepc.yml false(unreach-call) 30.29 16.94 None svcomp/pthread-wmm/rfi007_tso.opt.yml false(unreach-call) 28.52 16.26 None svcomp/pthread-wmm/rfi008_power.oepc.yml false(unreach-call) 24.67 13.30 None svcomp/pthread-wmm/rfi008_power.opt.yml false(unreach-call) 24.43 13.27 None svcomp/pthread-wmm/rfi008_pso.oepc.yml false(unreach-call) 25.61 13.71 None svcomp/pthread-wmm/rfi008_pso.opt.yml false(unreach-call) 25.95 13.80 None svcomp/pthread-wmm/rfi008_rmo.oepc.yml false(unreach-call) 24.59 13.08 None svcomp/pthread-wmm/rfi008_rmo.opt.yml false(unreach-call) 25.18 13.52 None svcomp/pthread-wmm/rfi008_tso.oepc.yml false(unreach-call) 25.11 13.46 None svcomp/pthread-wmm/rfi008_tso.opt.yml false(unreach-call) 25.46 13.74 None svcomp/pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 33.62 20.74 None svcomp/pthread-wmm/rfi009_power.opt.yml false(unreach-call) 26.25 14.16 None svcomp/pthread-wmm/rfi009_pso.oepc.yml false(unreach-call) 25.92 14.08 None svcomp/pthread-wmm/rfi009_pso.opt.yml false(unreach-call) 23.81 12.95 None svcomp/pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 42.16 24.82 None svcomp/pthread-wmm/rfi009_rmo.opt.yml false(unreach-call) 24.97 13.63 None svcomp/pthread-wmm/rfi009_tso.oepc.yml false(unreach-call) 25.77 13.98 None svcomp/pthread-wmm/rfi009_tso.opt.yml false(unreach-call) 28.11 15.41 None svcomp/pthread-wmm/rfi010_power.oepc.yml false(unreach-call) 23.31 12.46 None svcomp/pthread-wmm/rfi010_power.opt.yml false(unreach-call) 21.47 11.64 None svcomp/pthread-wmm/rfi010_pso.oepc.yml false(unreach-call) 23.68 12.94 None svcomp/pthread-wmm/rfi010_pso.opt.yml false(unreach-call) 24.12 12.77 None svcomp/pthread-wmm/rfi010_rmo.oepc.yml false(unreach-call) 22.60 12.41 None svcomp/pthread-wmm/rfi010_rmo.opt.yml false(unreach-call) 23.30 12.64 None svcomp/pthread-wmm/rfi010_tso.oepc.yml false(unreach-call) 21.00 11.45 None svcomp/pthread-wmm/rfi010_tso.opt.yml false(unreach-call) 22.30 12.10 None svcomp/pthread-wmm/safe000_power.oepc.yml false(unreach-call) 57.58 34.93 None svcomp/pthread-wmm/safe000_power.opt.yml false(unreach-call) 41.04 25.15 None svcomp/pthread-wmm/safe000_pso.oepc.yml true 13.36 7.43 None svcomp/pthread-wmm/safe000_pso.opt.yml true 13.39 7.39 None svcomp/pthread-wmm/safe000_rmo.oepc.yml false(unreach-call) 43.48 25.06 None svcomp/pthread-wmm/safe000_rmo.opt.yml false(unreach-call) 44.88 27.07 None svcomp/pthread-wmm/safe000_tso.oepc.yml true 13.53 7.46 None svcomp/pthread-wmm/safe000_tso.opt.yml true 13.35 7.49 None svcomp/pthread-wmm/safe001_power.oepc.yml false(unreach-call) 67.44 44.97 None svcomp/pthread-wmm/safe001_power.opt.yml false(unreach-call) 28.28 15.54 None svcomp/pthread-wmm/safe001_pso.oepc.yml false(unreach-call) 31.56 17.07 None svcomp/pthread-wmm/safe001_pso.opt.yml false(unreach-call) 27.47 15.40 None svcomp/pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 52.98 31.03 None svcomp/pthread-wmm/safe001_rmo.opt.yml false(unreach-call) 25.66 14.95 None svcomp/pthread-wmm/safe001_tso.oepc.yml true 13.94 7.76 None svcomp/pthread-wmm/safe001_tso.opt.yml true 13.67 7.60 None svcomp/pthread-wmm/safe002_power.oepc.yml false(unreach-call) 53.45 32.44 None svcomp/pthread-wmm/safe002_power.opt.yml false(unreach-call) 24.75 13.32 None svcomp/pthread-wmm/safe002_pso.oepc.yml false(unreach-call) 24.73 13.50 None svcomp/pthread-wmm/safe002_pso.opt.yml false(unreach-call) 22.64 12.63 None svcomp/pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 44.03 26.40 None svcomp/pthread-wmm/safe002_rmo.opt.yml false(unreach-call) 24.97 13.49 None svcomp/pthread-wmm/safe002_tso.oepc.yml true 14.30 7.87 None svcomp/pthread-wmm/safe002_tso.opt.yml true 13.99 7.72 None svcomp/pthread-wmm/safe003_power.oepc.yml false(unreach-call) 53.68 31.14 None svcomp/pthread-wmm/safe003_power.opt.yml false(unreach-call) 41.81 25.01 None svcomp/pthread-wmm/safe003_pso.oepc.yml false(unreach-call) 51.54 30.66 None svcomp/pthread-wmm/safe003_pso.opt.yml false(unreach-call) 51.08 31.17 None svcomp/pthread-wmm/safe003_rmo.oepc.yml false(unreach-call) 56.28 32.04 None svcomp/pthread-wmm/safe003_rmo.opt.yml false(unreach-call) 53.51 31.28 None svcomp/pthread-wmm/safe003_tso.oepc.yml true 12.70 7.09 None svcomp/pthread-wmm/safe003_tso.opt.yml true 12.38 6.99 None svcomp/pthread-wmm/safe004_power.oepc.yml false(unreach-call) 43.05 24.13 None svcomp/pthread-wmm/safe004_power.opt.yml false(unreach-call) 25.78 14.37 None svcomp/pthread-wmm/safe004_pso.oepc.yml false(unreach-call) 40.14 22.51 None svcomp/pthread-wmm/safe004_pso.opt.yml false(unreach-call) 27.29 15.63 None svcomp/pthread-wmm/safe004_rmo.oepc.yml false(unreach-call) 40.17 21.71 None svcomp/pthread-wmm/safe004_rmo.opt.yml false(unreach-call) 27.18 15.67 None svcomp/pthread-wmm/safe004_tso.oepc.yml true 14.11 7.82 None svcomp/pthread-wmm/safe004_tso.opt.yml true 13.52 7.42 None svcomp/pthread-wmm/safe005_power.oepc.yml false(unreach-call) 25.37 13.72 None svcomp/pthread-wmm/safe005_power.opt.yml false(unreach-call) 25.33 13.93 None svcomp/pthread-wmm/safe005_pso.oepc.yml false(unreach-call) 24.23 13.19 None svcomp/pthread-wmm/safe005_pso.opt.yml false(unreach-call) 24.16 12.99 None svcomp/pthread-wmm/safe005_rmo.oepc.yml false(unreach-call) 24.23 13.19 None svcomp/pthread-wmm/safe005_rmo.opt.yml false(unreach-call) 25.46 13.80 None svcomp/pthread-wmm/safe005_tso.oepc.yml true 13.79 7.68 None svcomp/pthread-wmm/safe005_tso.opt.yml true 14.01 7.81 None svcomp/pthread-wmm/safe006_power.oepc.yml false(unreach-call) 28.73 18.71 None svcomp/pthread-wmm/safe006_power.opt.yml false(unreach-call) 39.43 24.04 None svcomp/pthread-wmm/safe006_pso.oepc.yml true 11.70 6.79 None svcomp/pthread-wmm/safe006_pso.opt.yml true 11.77 6.53 None svcomp/pthread-wmm/safe006_rmo.oepc.yml false(unreach-call) 25.80 15.29 None svcomp/pthread-wmm/safe006_rmo.opt.yml false(unreach-call) 25.59 15.03 None svcomp/pthread-wmm/safe006_tso.oepc.yml true 11.77 6.60 None svcomp/pthread-wmm/safe006_tso.opt.yml true 11.98 6.75 None svcomp/pthread-wmm/safe007_power.oepc.yml false(unreach-call) 33.49 21.14 None svcomp/pthread-wmm/safe007_power.opt.yml false(unreach-call) 42.00 25.05 None svcomp/pthread-wmm/safe007_pso.oepc.yml true 13.27 7.46 None svcomp/pthread-wmm/safe007_pso.opt.yml true 13.47 7.45 None svcomp/pthread-wmm/safe007_rmo.oepc.yml false(unreach-call) 25.24 14.14 None svcomp/pthread-wmm/safe007_rmo.opt.yml false(unreach-call) 26.72 15.15 None svcomp/pthread-wmm/safe007_tso.oepc.yml true 13.05 7.28 None svcomp/pthread-wmm/safe007_tso.opt.yml true 13.04 7.25 None svcomp/pthread-wmm/safe008_power.oepc.yml false(unreach-call) 31.73 18.30 None svcomp/pthread-wmm/safe008_power.opt.yml false(unreach-call) 38.18 23.41 None svcomp/pthread-wmm/safe008_pso.oepc.yml false(unreach-call) 32.12 18.32 None svcomp/pthread-wmm/safe008_pso.opt.yml false(unreach-call) 32.96 18.52 None svcomp/pthread-wmm/safe008_rmo.oepc.yml false(unreach-call) 30.15 17.26 None svcomp/pthread-wmm/safe008_rmo.opt.yml false(unreach-call) 32.84 18.24 None svcomp/pthread-wmm/safe008_tso.oepc.yml true 14.41 7.89 None svcomp/pthread-wmm/safe008_tso.opt.yml true 13.92 7.80 None svcomp/pthread-wmm/safe009_power.oepc.yml false(unreach-call) 53.50 35.65 None svcomp/pthread-wmm/safe009_power.opt.yml false(unreach-call) 41.19 25.12 None svcomp/pthread-wmm/safe009_pso.oepc.yml true 13.72 7.54 None svcomp/pthread-wmm/safe009_pso.opt.yml true 12.97 7.30 None svcomp/pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 41.46 22.91 None svcomp/pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 30.83 17.52 None svcomp/pthread-wmm/safe009_tso.oepc.yml true 13.69 7.56 None svcomp/pthread-wmm/safe009_tso.opt.yml true 12.78 7.30 None svcomp/pthread-wmm/safe010_power.oepc.yml false(unreach-call) 28.44 16.43 None svcomp/pthread-wmm/safe010_power.opt.yml false(unreach-call) 27.14 15.93 None svcomp/pthread-wmm/safe010_pso.oepc.yml false(unreach-call) 28.23 16.07 None svcomp/pthread-wmm/safe010_pso.opt.yml false(unreach-call) 29.72 17.03 None svcomp/pthread-wmm/safe010_rmo.oepc.yml false(unreach-call) 26.87 15.91 None svcomp/pthread-wmm/safe010_rmo.opt.yml false(unreach-call) 29.05 16.60 None svcomp/pthread-wmm/safe010_tso.oepc.yml true 12.43 7.02 None svcomp/pthread-wmm/safe010_tso.opt.yml true 12.81 7.13 None svcomp/pthread-wmm/safe011_power.oepc.yml false(unreach-call) 41.72 23.50 None svcomp/pthread-wmm/safe011_power.opt.yml false(unreach-call) 25.47 14.08 None svcomp/pthread-wmm/safe011_pso.oepc.yml false(unreach-call) 36.28 21.21 None svcomp/pthread-wmm/safe011_pso.opt.yml false(unreach-call) 27.26 14.59 None svcomp/pthread-wmm/safe011_rmo.oepc.yml false(unreach-call) 39.11 22.40 None svcomp/pthread-wmm/safe011_rmo.opt.yml false(unreach-call) 33.65 18.53 None svcomp/pthread-wmm/safe011_tso.oepc.yml true 14.22 7.86 None svcomp/pthread-wmm/safe011_tso.opt.yml true 14.14 7.84 None svcomp/pthread-wmm/safe012_power.oepc.yml false(unreach-call) 34.04 21.34 None svcomp/pthread-wmm/safe012_power.opt.yml false(unreach-call) 47.32 27.53 None svcomp/pthread-wmm/safe012_pso.oepc.yml false(unreach-call) 23.83 13.07 None svcomp/pthread-wmm/safe012_pso.opt.yml false(unreach-call) 24.12 13.24 None svcomp/pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 23.64 13.81 None svcomp/pthread-wmm/safe012_rmo.opt.yml false(unreach-call) 24.45 13.25 None svcomp/pthread-wmm/safe012_tso.oepc.yml true 14.19 7.76 None svcomp/pthread-wmm/safe012_tso.opt.yml true 14.29 7.94 None svcomp/pthread-wmm/safe013_power.oepc.yml false(unreach-call) 25.22 13.58 None svcomp/pthread-wmm/safe013_power.opt.yml false(unreach-call) 24.87 13.58 None svcomp/pthread-wmm/safe013_pso.oepc.yml false(unreach-call) 22.78 12.25 None svcomp/pthread-wmm/safe013_pso.opt.yml false(unreach-call) 25.58 14.09 None svcomp/pthread-wmm/safe013_rmo.oepc.yml false(unreach-call) 25.05 13.53 None svcomp/pthread-wmm/safe013_rmo.opt.yml false(unreach-call) 25.44 13.60 None svcomp/pthread-wmm/safe013_tso.oepc.yml true 14.52 8.00 None svcomp/pthread-wmm/safe013_tso.opt.yml true 14.05 7.83 None svcomp/pthread-wmm/safe014_power.oepc.yml false(unreach-call) 28.19 17.52 None svcomp/pthread-wmm/safe014_power.opt.yml false(unreach-call) 43.16 25.59 None svcomp/pthread-wmm/safe014_pso.oepc.yml true 14.17 7.98 None svcomp/pthread-wmm/safe014_pso.opt.yml true 13.71 7.66 None svcomp/pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 31.98 18.05 None svcomp/pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 53.83 34.58 None svcomp/pthread-wmm/safe014_tso.oepc.yml true 14.55 8.00 None svcomp/pthread-wmm/safe014_tso.opt.yml true 14.23 7.92 None svcomp/pthread-wmm/safe015_power.oepc.yml false(unreach-call) 46.18 27.95 None svcomp/pthread-wmm/safe015_power.opt.yml false(unreach-call) 68.62 42.33 None svcomp/pthread-wmm/safe015_pso.oepc.yml true 13.59 7.51 None svcomp/pthread-wmm/safe015_pso.opt.yml true 14.26 7.74 None svcomp/pthread-wmm/safe015_rmo.oepc.yml false(unreach-call) 53.53 31.27 None svcomp/pthread-wmm/safe015_rmo.opt.yml false(unreach-call) 54.28 30.60 None svcomp/pthread-wmm/safe015_tso.oepc.yml true 13.98 7.87 None svcomp/pthread-wmm/safe015_tso.opt.yml true 14.61 8.22 None svcomp/pthread-wmm/safe016_power.oepc.yml false(unreach-call) 72.20 43.43 None svcomp/pthread-wmm/safe016_power.opt.yml false(unreach-call) 53.64 35.13 None svcomp/pthread-wmm/safe016_pso.oepc.yml true 16.11 8.80 None svcomp/pthread-wmm/safe016_pso.opt.yml true 15.52 8.51 None svcomp/pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 49.58 31.32 None svcomp/pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 58.05 36.07 None svcomp/pthread-wmm/safe016_tso.oepc.yml true 16.48 9.01 None svcomp/pthread-wmm/safe016_tso.opt.yml true 15.00 8.22 None svcomp/pthread-wmm/safe017_power.oepc.yml false(unreach-call) 33.54 19.46 None svcomp/pthread-wmm/safe017_power.opt.yml false(unreach-call) 35.29 20.91 None svcomp/pthread-wmm/safe017_pso.oepc.yml false(unreach-call) 34.44 19.81 None svcomp/pthread-wmm/safe017_pso.opt.yml false(unreach-call) 36.85 21.20 None svcomp/pthread-wmm/safe017_rmo.oepc.yml false(unreach-call) 36.57 21.46 None svcomp/pthread-wmm/safe017_rmo.opt.yml false(unreach-call) 38.95 22.49 None svcomp/pthread-wmm/safe017_tso.oepc.yml true 13.60 7.51 None svcomp/pthread-wmm/safe017_tso.opt.yml true 14.56 7.83 None svcomp/pthread-wmm/safe018_power.oepc.yml false(unreach-call) 32.98 20.36 None svcomp/pthread-wmm/safe018_power.opt.yml false(unreach-call) 41.71 25.56 None svcomp/pthread-wmm/safe018_pso.oepc.yml true 14.31 7.81 None svcomp/pthread-wmm/safe018_pso.opt.yml true 13.83 7.69 None svcomp/pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 27.12 16.39 None svcomp/pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 31.14 17.14 None svcomp/pthread-wmm/safe018_tso.oepc.yml true 13.78 7.66 None svcomp/pthread-wmm/safe018_tso.opt.yml true 14.04 7.79 None svcomp/pthread-wmm/safe019_power.oepc.yml false(unreach-call) 49.61 30.70 None svcomp/pthread-wmm/safe019_power.opt.yml false(unreach-call) 58.66 34.38 None svcomp/pthread-wmm/safe019_pso.oepc.yml true 16.08 8.80 None svcomp/pthread-wmm/safe019_pso.opt.yml true 16.33 8.92 None svcomp/pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 43.25 25.59 None svcomp/pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 52.54 29.46 None svcomp/pthread-wmm/safe019_tso.oepc.yml true 15.67 8.68 None svcomp/pthread-wmm/safe019_tso.opt.yml true 15.78 8.70 None svcomp/pthread-wmm/safe020_power.oepc.yml false(unreach-call) 44.10 26.89 None svcomp/pthread-wmm/safe020_power.opt.yml false(unreach-call) 47.88 28.51 None svcomp/pthread-wmm/safe020_pso.oepc.yml true 15.00 8.27 None svcomp/pthread-wmm/safe020_pso.opt.yml true 14.51 8.01 None svcomp/pthread-wmm/safe020_rmo.oepc.yml false(unreach-call) 41.29 24.26 None svcomp/pthread-wmm/safe020_rmo.opt.yml false(unreach-call) 42.21 23.95 None svcomp/pthread-wmm/safe020_tso.oepc.yml true 14.04 7.79 None svcomp/pthread-wmm/safe020_tso.opt.yml true 13.44 7.51 None svcomp/pthread-wmm/safe021_power.oepc.yml false(unreach-call) 24.66 13.23 None svcomp/pthread-wmm/safe021_power.opt.yml false(unreach-call) 28.52 16.52 None svcomp/pthread-wmm/safe021_pso.oepc.yml false(unreach-call) 23.72 12.94 None svcomp/pthread-wmm/safe021_pso.opt.yml false(unreach-call) 25.16 14.48 None svcomp/pthread-wmm/safe021_rmo.oepc.yml false(unreach-call) 24.43 13.50 None svcomp/pthread-wmm/safe021_rmo.opt.yml false(unreach-call) 24.96 13.41 None svcomp/pthread-wmm/safe021_tso.oepc.yml true 13.52 7.45 None svcomp/pthread-wmm/safe021_tso.opt.yml true 14.26 7.84 None svcomp/pthread-wmm/safe022_power.oepc.yml false(unreach-call) 20.83 11.37 None svcomp/pthread-wmm/safe022_power.opt.yml false(unreach-call) 20.61 11.24 None svcomp/pthread-wmm/safe022_pso.oepc.yml false(unreach-call) 19.87 10.99 None svcomp/pthread-wmm/safe022_pso.opt.yml false(unreach-call) 20.63 11.08 None svcomp/pthread-wmm/safe022_rmo.oepc.yml false(unreach-call) 20.80 11.23 None svcomp/pthread-wmm/safe022_rmo.opt.yml false(unreach-call) 20.78 11.43 None svcomp/pthread-wmm/safe022_tso.oepc.yml true 12.43 6.95 None svcomp/pthread-wmm/safe022_tso.opt.yml true 12.19 6.80 None svcomp/pthread-wmm/safe023_power.oepc.yml false(unreach-call) 53.97 29.74 None svcomp/pthread-wmm/safe023_power.opt.yml false(unreach-call) 42.60 23.31 None svcomp/pthread-wmm/safe023_pso.oepc.yml false(unreach-call) 47.01 25.78 None svcomp/pthread-wmm/safe023_pso.opt.yml false(unreach-call) 82.52 50.59 None svcomp/pthread-wmm/safe023_rmo.oepc.yml false(unreach-call) 46.22 25.85 None svcomp/pthread-wmm/safe023_rmo.opt.yml false(unreach-call) 46.86 26.80 None svcomp/pthread-wmm/safe023_tso.oepc.yml true 14.27 8.07 None svcomp/pthread-wmm/safe023_tso.opt.yml true 13.69 7.60 None svcomp/pthread-wmm/safe024_power.oepc.yml false(unreach-call) 24.65 13.31 None svcomp/pthread-wmm/safe024_power.opt.yml false(unreach-call) 23.24 12.54 None svcomp/pthread-wmm/safe024_pso.oepc.yml false(unreach-call) 24.07 12.99 None svcomp/pthread-wmm/safe024_pso.opt.yml false(unreach-call) 24.57 13.10 None svcomp/pthread-wmm/safe024_rmo.oepc.yml false(unreach-call) 26.53 14.53 None svcomp/pthread-wmm/safe024_rmo.opt.yml false(unreach-call) 26.53 14.33 None svcomp/pthread-wmm/safe024_tso.oepc.yml true 14.08 7.88 None svcomp/pthread-wmm/safe024_tso.opt.yml true 13.75 7.53 None svcomp/pthread-wmm/safe025_power.oepc.yml false(unreach-call) 66.16 41.91 None svcomp/pthread-wmm/safe025_power.opt.yml false(unreach-call) 63.66 40.56 None svcomp/pthread-wmm/safe025_pso.oepc.yml true 14.32 7.89 None svcomp/pthread-wmm/safe025_pso.opt.yml true 14.44 8.08 None svcomp/pthread-wmm/safe025_rmo.oepc.yml false(unreach-call) 62.30 38.65 None svcomp/pthread-wmm/safe025_rmo.opt.yml false(unreach-call) 58.11 36.81 None svcomp/pthread-wmm/safe025_tso.oepc.yml true 15.05 8.23 None svcomp/pthread-wmm/safe025_tso.opt.yml true 14.26 7.84 None svcomp/pthread-wmm/safe026_power.oepc.yml false(unreach-call) 22.84 12.55 None svcomp/pthread-wmm/safe026_power.opt.yml false(unreach-call) 22.96 12.46 None svcomp/pthread-wmm/safe026_pso.oepc.yml false(unreach-call) 24.40 13.27 None svcomp/pthread-wmm/safe026_pso.opt.yml false(unreach-call) 23.66 12.74 None svcomp/pthread-wmm/safe026_rmo.oepc.yml false(unreach-call) 23.24 12.71 None svcomp/pthread-wmm/safe026_rmo.opt.yml false(unreach-call) 24.51 13.14 None svcomp/pthread-wmm/safe026_tso.oepc.yml true 13.49 7.51 None svcomp/pthread-wmm/safe026_tso.opt.yml true 13.62 7.53 None svcomp/pthread-wmm/safe027_power.oepc.yml false(unreach-call) 44.48 26.02 None svcomp/pthread-wmm/safe027_power.opt.yml false(unreach-call) 62.60 37.61 None svcomp/pthread-wmm/safe027_pso.oepc.yml true 15.05 8.28 None svcomp/pthread-wmm/safe027_pso.opt.yml true 15.38 8.47 None svcomp/pthread-wmm/safe027_rmo.oepc.yml false(unreach-call) 33.60 19.25 None svcomp/pthread-wmm/safe027_rmo.opt.yml false(unreach-call) 33.86 19.32 None svcomp/pthread-wmm/safe027_tso.oepc.yml true 15.43 8.57 None svcomp/pthread-wmm/safe027_tso.opt.yml true 15.43 8.44 None svcomp/pthread-wmm/safe028_power.oepc.yml false(unreach-call) 48.18 28.94 None svcomp/pthread-wmm/safe028_power.opt.yml false(unreach-call) 54.47 33.35 None svcomp/pthread-wmm/safe028_pso.oepc.yml true 13.90 7.73 None svcomp/pthread-wmm/safe028_pso.opt.yml true 14.64 8.16 None svcomp/pthread-wmm/safe028_rmo.oepc.yml false(unreach-call) 33.22 19.67 None svcomp/pthread-wmm/safe028_rmo.opt.yml false(unreach-call) 35.60 20.95 None svcomp/pthread-wmm/safe028_tso.oepc.yml true 13.64 7.60 None svcomp/pthread-wmm/safe028_tso.opt.yml true 13.83 7.72 None svcomp/pthread-wmm/safe029_power.oepc.yml false(unreach-call) 31.45 18.98 None svcomp/pthread-wmm/safe029_power.opt.yml false(unreach-call) 26.93 16.03 None svcomp/pthread-wmm/safe029_pso.oepc.yml false(unreach-call) 29.24 18.10 None svcomp/pthread-wmm/safe029_pso.opt.yml false(unreach-call) 31.03 17.93 None svcomp/pthread-wmm/safe029_rmo.oepc.yml false(unreach-call) 31.75 18.84 None svcomp/pthread-wmm/safe029_rmo.opt.yml false(unreach-call) 32.71 18.89 None svcomp/pthread-wmm/safe029_tso.oepc.yml true 12.20 6.92 None svcomp/pthread-wmm/safe029_tso.opt.yml true 12.39 6.97 None svcomp/pthread-wmm/safe030_power.oepc.yml false(unreach-call) 25.25 13.82 None svcomp/pthread-wmm/safe030_power.opt.yml false(unreach-call) 27.90 15.82 None svcomp/pthread-wmm/safe030_pso.oepc.yml false(unreach-call) 29.08 15.58 None svcomp/pthread-wmm/safe030_pso.opt.yml false(unreach-call) 28.37 15.65 None svcomp/pthread-wmm/safe030_rmo.oepc.yml false(unreach-call) 29.02 15.59 None svcomp/pthread-wmm/safe030_rmo.opt.yml false(unreach-call) 30.75 17.34 None svcomp/pthread-wmm/safe030_tso.oepc.yml true 13.49 7.50 None svcomp/pthread-wmm/safe030_tso.opt.yml true 12.47 6.89 None svcomp/pthread-wmm/safe031_power.oepc.yml false(unreach-call) 23.58 12.86 None svcomp/pthread-wmm/safe031_power.opt.yml false(unreach-call) 29.27 16.33 None svcomp/pthread-wmm/safe031_pso.oepc.yml false(unreach-call) 25.15 13.47 None svcomp/pthread-wmm/safe031_pso.opt.yml false(unreach-call) 26.96 15.27 None svcomp/pthread-wmm/safe031_rmo.oepc.yml false(unreach-call) 22.07 12.00 None svcomp/pthread-wmm/safe031_rmo.opt.yml false(unreach-call) 26.77 15.52 None svcomp/pthread-wmm/safe031_tso.oepc.yml true 13.66 7.58 None svcomp/pthread-wmm/safe031_tso.opt.yml true 13.67 7.64 None svcomp/pthread-wmm/safe032_power.oepc.yml false(unreach-call) 79.33 46.84 None svcomp/pthread-wmm/safe032_power.opt.yml false(unreach-call) 60.84 33.61 None svcomp/pthread-wmm/safe032_pso.oepc.yml false(unreach-call) 59.79 33.87 None svcomp/pthread-wmm/safe032_pso.opt.yml false(unreach-call) 76.68 42.75 None svcomp/pthread-wmm/safe032_rmo.oepc.yml false(unreach-call) 63.31 36.00 None svcomp/pthread-wmm/safe032_rmo.opt.yml false(unreach-call) 87.64 52.55 None svcomp/pthread-wmm/safe032_tso.oepc.yml true 13.69 7.57 None svcomp/pthread-wmm/safe032_tso.opt.yml true 13.81 7.62 None svcomp/pthread-wmm/safe033_power.oepc.yml false(unreach-call) 21.51 11.56 None svcomp/pthread-wmm/safe033_power.opt.yml false(unreach-call) 20.92 11.24 None svcomp/pthread-wmm/safe033_pso.oepc.yml false(unreach-call) 18.96 10.24 None svcomp/pthread-wmm/safe033_pso.opt.yml false(unreach-call) 20.32 11.00 None svcomp/pthread-wmm/safe033_rmo.oepc.yml false(unreach-call) 21.46 11.42 None svcomp/pthread-wmm/safe033_rmo.opt.yml false(unreach-call) 19.63 10.71 None svcomp/pthread-wmm/safe033_tso.oepc.yml true 12.02 6.74 None svcomp/pthread-wmm/safe033_tso.opt.yml true 12.78 7.17 None svcomp/pthread-wmm/safe034_power.oepc.yml false(unreach-call) 22.57 12.09 None svcomp/pthread-wmm/safe034_power.opt.yml false(unreach-call) 22.19 11.93 None svcomp/pthread-wmm/safe034_pso.oepc.yml false(unreach-call) 22.01 11.93 None svcomp/pthread-wmm/safe034_pso.opt.yml false(unreach-call) 21.66 11.81 None svcomp/pthread-wmm/safe034_rmo.oepc.yml false(unreach-call) 20.82 11.58 None svcomp/pthread-wmm/safe034_rmo.opt.yml false(unreach-call) 19.60 10.83 None svcomp/pthread-wmm/safe034_tso.oepc.yml true 13.44 7.45 None svcomp/pthread-wmm/safe034_tso.opt.yml true 13.75 7.67 None svcomp/pthread-wmm/safe035_power.oepc.yml true 59.77 35.07 None svcomp/pthread-wmm/safe035_power.opt.yml true 60.68 36.32 None svcomp/pthread-wmm/safe035_pso.oepc.yml true 14.00 7.80 None svcomp/pthread-wmm/safe035_pso.opt.yml true 13.85 7.80 None svcomp/pthread-wmm/safe035_rmo.oepc.yml true 14.37 7.96 None svcomp/pthread-wmm/safe035_rmo.opt.yml true 14.13 7.89 None svcomp/pthread-wmm/safe035_tso.oepc.yml true 13.26 7.42 None svcomp/pthread-wmm/safe035_tso.opt.yml true 14.24 7.80 None svcomp/pthread-wmm/safe036_power.oepc.yml true 12.46 7.03 None svcomp/pthread-wmm/safe036_power.opt.yml true 12.70 7.02 None svcomp/pthread-wmm/safe036_pso.oepc.yml true 12.02 6.73 None svcomp/pthread-wmm/safe036_pso.opt.yml true 11.99 6.58 None svcomp/pthread-wmm/safe036_rmo.oepc.yml true 12.27 6.91 None svcomp/pthread-wmm/safe036_rmo.opt.yml true 12.23 6.81 None svcomp/pthread-wmm/safe036_tso.oepc.yml true 12.79 7.23 None svcomp/pthread-wmm/safe036_tso.opt.yml true 11.89 6.65 None svcomp/pthread-wmm/safe037_power.oepc.yml true 13.41 7.39 None svcomp/pthread-wmm/safe037_power.opt.yml true 13.03 7.34 None svcomp/pthread-wmm/safe037_pso.oepc.yml true 13.55 7.53 None svcomp/pthread-wmm/safe037_pso.opt.yml true 12.23 6.91 None svcomp/pthread-wmm/safe037_rmo.oepc.yml true 13.42 7.41 None svcomp/pthread-wmm/safe037_rmo.opt.yml true 13.00 7.26 None svcomp/pthread-wmm/safe037_tso.oepc.yml true 12.92 7.23 None svcomp/pthread-wmm/safe037_tso.opt.yml true 13.59 7.51 None svcomp/pthread-wmm/thin000_power.oepc.yml false(unreach-call) 31.34 19.37 None svcomp/pthread-wmm/thin000_power.opt.yml false(unreach-call) 34.82 21.50 None svcomp/pthread-wmm/thin000_pso.oepc.yml true 12.09 6.86 None svcomp/pthread-wmm/thin000_pso.opt.yml true 11.72 6.55 None svcomp/pthread-wmm/thin000_rmo.oepc.yml false(unreach-call) 27.71 15.81 None svcomp/pthread-wmm/thin000_rmo.opt.yml false(unreach-call) 25.70 15.07 None svcomp/pthread-wmm/thin000_tso.oepc.yml true 11.99 6.65 None svcomp/pthread-wmm/thin000_tso.opt.yml true 11.85 6.67 None svcomp/pthread-wmm/thin001_power.oepc.yml false(unreach-call) 35.21 21.73 None svcomp/pthread-wmm/thin001_power.opt.yml false(unreach-call) 39.09 23.47 None svcomp/pthread-wmm/thin001_pso.oepc.yml true 13.50 7.46 None svcomp/pthread-wmm/thin001_pso.opt.yml true 13.35 7.44 None svcomp/pthread-wmm/thin001_rmo.oepc.yml false(unreach-call) 24.87 14.57 None svcomp/pthread-wmm/thin001_rmo.opt.yml false(unreach-call) 23.29 13.80 None svcomp/pthread-wmm/thin001_tso.oepc.yml true 13.24 7.41 None svcomp/pthread-wmm/thin001_tso.opt.yml true 13.24 7.37 None svcomp/pthread-wmm/thin002_power.oepc.yml false(unreach-call) 38.94 24.46 None svcomp/pthread-wmm/thin002_power.opt.yml false(unreach-call) 40.11 25.21 None svcomp/pthread-wmm/thin002_pso.oepc.yml true 16.11 8.88 None svcomp/pthread-wmm/thin002_pso.opt.yml true 15.08 8.36 None svcomp/pthread-wmm/thin002_rmo.oepc.yml false(unreach-call) 31.29 18.05 None svcomp/pthread-wmm/thin002_rmo.opt.yml false(unreach-call) 30.46 17.31 None svcomp/pthread-wmm/thin002_tso.oepc.yml true 15.26 8.35 None svcomp/pthread-wmm/thin002_tso.opt.yml true 15.04 8.30 None svcomp/pthread-lit/fk2012.yml TIMEOUT 900.56 826.67 None svcomp/pthread-lit/fkp2013-1.yml TIMEOUT 901.39 769.64 None svcomp/pthread-lit/fkp2013-2.yml TIMEOUT 907.44 776.06 None svcomp/pthread-lit/fkp2013_variant-1.yml TIMEOUT 902.75 795.59 None svcomp/pthread-lit/fkp2013_variant-2.yml false(unreach-call) 11.84 6.81 None svcomp/pthread-lit/fkp2014.yml TIMEOUT 901.16 808.34 None svcomp/pthread-lit/qw2004-1.yml true 13.14 7.46 None svcomp/pthread-lit/qw2004-2.yml false(unreach-call) 13.06 7.31 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 922.31 718.11 None svcomp/pthread-lit/sssc12.yml TIMEOUT 922.37 629.12 None svcomp/pthread-lit/sssc12_variant.yml TIMEOUT 901.08 811.99 None svcomp/ldv-races/race-1_1-join.yml true 14.93 8.44 None svcomp/ldv-races/race-1_2-join.yml false(unreach-call) 15.60 8.92 None svcomp/ldv-races/race-1_3-join.yml false(unreach-call) 15.39 8.72 None svcomp/ldv-races/race-2_1-container_of.yml true 158.44 117.27 None svcomp/ldv-races/race-2_2-container_of.yml false(unreach-call) 81.63 62.33 None svcomp/ldv-races/race-2_3-container_of.yml false(unreach-call) 69.08 56.56 None svcomp/ldv-races/race-2_4-container_of.yml false(unreach-call) 70.64 58.12 None svcomp/ldv-races/race-2_5-container_of.yml false(unreach-call) 43.39 32.79 None svcomp/ldv-races/race-3_1-container_of-global.yml true 117.27 89.94 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 54.34 39.39 None svcomp/ldv-races/race-4_1-thread_local_vars.yml true 28.19 16.77 None svcomp/ldv-races/race-4_2-thread_local_vars.yml false(unreach-call) 30.13 19.31 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml unknown 11.91 6.54 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml unknown 12.70 6.81 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 722.99 493.52 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 904.75 739.82 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 715.94 485.34 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 901.61 824.43 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml TIMEOUT 901.57 831.36 None svcomp/pthread-complex/bounded_buffer.yml TIMEOUT 902.55 873.64 None svcomp/pthread-complex/elimination_backoff_stack.yml TIMEOUT 902.68 869.99 None svcomp/pthread-complex/safestack_relacy.yml TIMEOUT 902.11 635.12 None svcomp/pthread-complex/workstealqueue_mutex-1.yml TIMEOUT 900.62 872.79 None svcomp/pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 900.62 876.62 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 13.40 7.73 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 11.65 7.14 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 11.04 6.20 None svcomp/pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 12.27 7.23 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 11.58 6.88 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 11.78 7.07 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 12.28 7.28 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 12.65 7.60 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 12.89 7.55 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 12.27 7.38 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 11.75 7.13 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 12.15 7.45 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 11.80 7.12 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 13.68 7.94 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 11.97 7.18 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 12.16 7.27 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 11.80 7.13 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 15.50 8.60 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 11.63 6.89 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 11.96 7.26 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 11.67 7.14 None svcomp/pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 900.72 784.82 None svcomp/pthread-C-DAC/pthread-demo-datarace-2.yml TIMEOUT 900.26 808.70 None svcomp/pthread-C-DAC/pthread-finding-k-matches.yml unknown 7.22 3.98 None svcomp/pthread-C-DAC/pthread-numerical-integration.yml unknown 7.33 4.02 None svcomp/pthread-divine/barrier_2t.yml TIMEOUT 901.34 824.98 None svcomp/pthread-divine/barrier_3t.yml TIMEOUT 900.42 700.59 None svcomp/pthread-divine/condvar.yml true 14.74 8.81 None svcomp/pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 12.57 7.08 None svcomp/pthread-divine/divinefifo-bug_1w1r.yml ERROR: EXCEPTION 116.55 91.77 None svcomp/pthread-divine/divinefifo_1w1r.yml ERROR: EXCEPTION 62.13 42.75 None svcomp/pthread-divine/one_time_barrier_2t.yml TIMEOUT 901.93 864.55 None svcomp/pthread-divine/one_time_barrier_3t.yml TIMEOUT 902.39 767.04 None svcomp/pthread-divine/one_time_barrier_twice_2t.yml TIMEOUT 901.18 821.83 None svcomp/pthread-divine/one_time_barrier_twice_3t.yml TIMEOUT 901.11 839.56 None svcomp/pthread-divine/ring_1w1r-1.yml false(unreach-call) 14.98 8.38 None svcomp/pthread-divine/ring_1w1r-2.yml ERROR: EXCEPTION 16.38 9.35 None svcomp/pthread-divine/ring_2w1r-1.yml ERROR: EXCEPTION 30.67 17.76 None svcomp/pthread-divine/ring_2w1r-2.yml ERROR: EXCEPTION 22.92 13.11 None svcomp/pthread-divine/tls_basic.yml unknown 6.57 3.71 None svcomp/pthread-divine/tls_destructor_worker.yml unknown 6.34 3.69 None svcomp/pthread-nondet/nondet-array-1.yml TIMEOUT 922.14 831.04 None svcomp/pthread-nondet/nondet-array-2.yml TIMEOUT 917.55 807.91 None svcomp/pthread-nondet/nondet-loop-bound-1.yml TIMEOUT 904.31 792.91 None svcomp/pthread-nondet/nondet-loop-bound-2.yml TIMEOUT 902.11 780.49 None svcomp/pthread-nondet/nondet-loop-bound-variant-1.yml TIMEOUT 919.69 761.59 None svcomp/pthread-nondet/nondet-loop-bound-variant-2.yml TIMEOUT 901.81 804.24 None concurrent/pthreads/NonAtomicIncrement_2Threads.c true 39.80 28.05 None concurrent/pthreads/distributed_search2.c true 56.60 41.11 None concurrent/pthreads/distributed_search3.c TIMEOUT 901.07 853.75 None concurrent/pthreads/distributed_search4.c TIMEOUT 900.77 853.55 None concurrent/pthreads/forkFork.c true 20.67 12.70 None concurrent/pthreads/forkJoinNotMod.c false(unreach-call) 16.48 10.06 None concurrent/pthreads/forkMultipleTimes.c false(unreach-call) 61.89 45.68 None concurrent/pthreads/globalVariableMultipleThreads.c false(unreach-call) 23.72 13.32 None concurrent/pthreads/multipleForkSameIdDifferentReturnType.c false(unreach-call) 20.54 13.33 None concurrent/pthreads/predecessorInAtomicBlockBug.c false(unreach-call) 9.46 5.46 None concurrent/pthreads/regression unknown 8.58 4.55 None ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 98362.83 13256.64 - Automizer PN Run set 2 of 2 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/VMCAI2021_PN.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- svcomp/pthread/bigshot_p.yml false(unreach-call) 12.63 7.48 None svcomp/pthread/bigshot_s.yml UNKNOWN: OverapproxCex 11.60 6.76 None svcomp/pthread/bigshot_s2.yml UNKNOWN: OverapproxCex 10.71 6.55 None svcomp/pthread/fib_bench-1.yml TIMEOUT 901.41 875.86 None svcomp/pthread/fib_bench-2.yml TIMEOUT 901.95 868.86 None svcomp/pthread/fib_bench_longer-1.yml TIMEOUT 904.66 874.99 None svcomp/pthread/fib_bench_longer-2.yml TIMEOUT 901.38 863.79 None svcomp/pthread/fib_bench_longest-1.yml TIMEOUT 901.37 874.77 None svcomp/pthread/fib_bench_longest-2.yml TIMEOUT 900.60 870.15 None svcomp/pthread/indexer.yml TIMEOUT 905.89 873.37 None svcomp/pthread/lazy01.yml false(unreach-call) 14.25 8.53 None svcomp/pthread/queue.yml ERROR: EXCEPTION 892.05 836.34 None svcomp/pthread/queue_longer.yml ERROR: EXCEPTION 855.22 809.30 None svcomp/pthread/queue_longest.yml ERROR: EXCEPTION 830.17 780.56 None svcomp/pthread/queue_ok.yml ERROR: EXCEPTION 192.62 150.11 None svcomp/pthread/queue_ok_longer.yml TIMEOUT 901.00 825.72 None svcomp/pthread/queue_ok_longest.yml TIMEOUT 901.12 786.88 None svcomp/pthread/reorder_2.yml ERROR: EXCEPTION 7.08 3.96 None svcomp/pthread/reorder_5.yml ERROR: EXCEPTION 6.93 3.94 None svcomp/pthread/sigma.yml TIMEOUT 904.04 727.07 None svcomp/pthread/singleton.yml TIMEOUT 906.05 872.62 None svcomp/pthread/singleton_with-uninit-problems.yml true 10.77 5.97 None svcomp/pthread/stack-1.yml TIMEOUT 901.21 862.48 None svcomp/pthread/stack-2.yml false(unreach-call) 717.26 676.15 None svcomp/pthread/stack_longer-1.yml false(unreach-call) 491.23 460.05 None svcomp/pthread/stack_longer-2.yml ERROR: EXCEPTION 102.00 78.35 None svcomp/pthread/stack_longest-1.yml false(unreach-call) 632.76 598.21 None svcomp/pthread/stack_longest-2.yml TIMEOUT 901.90 853.06 None svcomp/pthread/stateful01-1.yml false(unreach-call) 9.35 5.52 None svcomp/pthread/stateful01-2.yml true 13.65 8.35 None svcomp/pthread/sync01.yml true 15.73 9.55 None svcomp/pthread/triangular-1.yml true 35.34 23.32 None svcomp/pthread/triangular-2.yml false(unreach-call) 24.87 15.49 None svcomp/pthread/triangular-longer-1.yml true 58.74 40.26 None svcomp/pthread/triangular-longer-2.yml false(unreach-call) 67.97 46.96 None svcomp/pthread/triangular-longest-1.yml true 234.74 171.17 None svcomp/pthread/triangular-longest-2.yml false(unreach-call) 167.44 123.41 None svcomp/pthread/twostage_3.yml ERROR: EXCEPTION 10.94 5.79 None svcomp/pthread-atomic/dekker.yml true 12.95 7.85 None svcomp/pthread-atomic/gcd-2.yml TIMEOUT 905.66 895.03 None svcomp/pthread-atomic/lamport.yml true 14.40 9.33 None svcomp/pthread-atomic/peterson.yml true 10.21 6.63 None svcomp/pthread-atomic/qrcu-1.yml true 118.35 91.49 None svcomp/pthread-atomic/qrcu-2.yml false(unreach-call) 19.37 11.05 None svcomp/pthread-atomic/read_write_lock-1.yml true 17.41 10.39 None svcomp/pthread-atomic/read_write_lock-2.yml false(unreach-call) 21.54 12.40 None svcomp/pthread-atomic/scull.yml TIMEOUT 908.82 719.55 None svcomp/pthread-atomic/szymanski.yml true 10.80 6.98 None svcomp/pthread-atomic/time_var_mutex.yml true 14.30 9.40 None svcomp/pthread-ext/01_inc.yml TIMEOUT 922.34 671.97 None svcomp/pthread-ext/02_inc_cas.yml TIMEOUT 922.29 694.80 None svcomp/pthread-ext/03_incdec.yml TIMEOUT 922.37 626.14 None svcomp/pthread-ext/04_incdec_cas.yml TIMEOUT 911.92 631.69 None svcomp/pthread-ext/05_tas.yml TIMEOUT 922.27 711.07 None svcomp/pthread-ext/06_ticket.yml TIMEOUT 906.22 643.06 None svcomp/pthread-ext/07_rand.yml TIMEOUT 905.62 623.54 None svcomp/pthread-ext/08_rand_cas.yml TIMEOUT 910.79 608.28 None svcomp/pthread-ext/09_fmaxsym.yml TIMEOUT 922.35 601.05 None svcomp/pthread-ext/10_fmaxsym_cas.yml TIMEOUT 922.30 601.76 None svcomp/pthread-ext/11_fmaxsymopt.yml TIMEOUT 922.36 607.61 None svcomp/pthread-ext/12_fmaxsymopt_cas.yml OUT OF MEMORY 706.85 470.33 None svcomp/pthread-ext/13_unverif.yml TIMEOUT 906.62 666.72 None svcomp/pthread-ext/14_spin2003.yml TIMEOUT 921.80 666.24 None svcomp/pthread-ext/15_dekker.yml true 10.38 6.86 None svcomp/pthread-ext/16_peterson.yml true 10.48 6.88 None svcomp/pthread-ext/17_szymanski.yml true 11.50 7.52 None svcomp/pthread-ext/18_read_write_lock.yml true 9.69 6.18 None svcomp/pthread-ext/19_time_var_mutex.yml true 13.98 9.30 None svcomp/pthread-ext/20_lamport.yml true 13.30 9.07 None svcomp/pthread-ext/23_lu-fig2.fixed.yml true 10.09 6.45 None svcomp/pthread-ext/25_stack.yml OUT OF MEMORY 734.19 472.24 None svcomp/pthread-ext/25_stack_longer-1.yml OUT OF MEMORY 752.77 483.21 None svcomp/pthread-ext/25_stack_longer-2.yml OUT OF MEMORY 749.77 460.59 None svcomp/pthread-ext/25_stack_longest-1.yml OUT OF MEMORY 698.37 431.96 None svcomp/pthread-ext/25_stack_longest-2.yml OUT OF MEMORY 775.74 470.77 None svcomp/pthread-ext/26_stack_cas.yml OUT OF MEMORY 725.23 449.89 None svcomp/pthread-ext/26_stack_cas_longer-1.yml OUT OF MEMORY 792.47 491.06 None svcomp/pthread-ext/26_stack_cas_longer-2.yml OUT OF MEMORY 816.30 496.41 None svcomp/pthread-ext/26_stack_cas_longest-1.yml OUT OF MEMORY 738.34 460.57 None svcomp/pthread-ext/26_stack_cas_longest-2.yml OUT OF MEMORY 809.45 485.79 None svcomp/pthread-ext/27_Boop_simple_vf.yml TIMEOUT 905.97 643.47 None svcomp/pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 11.62 7.22 None svcomp/pthread-ext/29_conditionals_vs.yml TIMEOUT 876.25 951.16 None svcomp/pthread-ext/30_Function_Pointer3_vs.yml OUT OF MEMORY 604.08 383.71 None svcomp/pthread-ext/31_simple_loop5_vs.yml TIMEOUT 920.54 637.99 None svcomp/pthread-ext/32_pthread5_vs.yml false(unreach-call) 184.05 138.35 None svcomp/pthread-ext/33_double_lock_p1_vs.yml TIMEOUT 911.58 655.28 None svcomp/pthread-ext/34_double_lock_p2_vs.yml TIMEOUT 905.65 640.55 None svcomp/pthread-ext/35_double_lock_p3_vs.yml TIMEOUT 908.55 666.73 None svcomp/pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 902.14 884.23 None svcomp/pthread-ext/37_stack_lock_p0_vs_concur.yml TIMEOUT 922.42 577.66 None svcomp/pthread-ext/38_rand_cas_vs_concur.yml TIMEOUT 902.49 822.50 None svcomp/pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 884.60 574.51 None svcomp/pthread-ext/40_barrier_vf.yml TIMEOUT 922.30 699.16 None svcomp/pthread-ext/41_FreeBSD_abd_kbd_sliced.yml TIMEOUT 906.07 613.65 None svcomp/pthread-ext/42_FreeBSD_rdma_addr_sliced.yml TIMEOUT 905.95 627.55 None svcomp/pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: TYPE ERROR 7.04 3.86 None svcomp/pthread-ext/44_Solaris_space_map_sliced.yml TIMEOUT 905.60 714.67 None svcomp/pthread-ext/45_monabsex1_vs.yml TIMEOUT 906.02 720.97 None svcomp/pthread-ext/46_monabsex2_vs.yml TIMEOUT 907.46 637.27 None svcomp/pthread-ext/47_ticket_lock_hc_backoff_vs.yml TIMEOUT 906.12 647.69 None svcomp/pthread-ext/48_ticket_lock_low_contention_vs.yml TIMEOUT 908.27 670.73 None svcomp/pthread-wmm/mix000_power.oepc.yml false(unreach-call) 36.57 22.25 None svcomp/pthread-wmm/mix000_power.opt.yml false(unreach-call) 32.05 18.75 None svcomp/pthread-wmm/mix000_pso.oepc.yml TIMEOUT 900.60 871.37 None svcomp/pthread-wmm/mix000_pso.opt.yml false(unreach-call) 847.75 808.54 None svcomp/pthread-wmm/mix000_rmo.oepc.yml TIMEOUT 900.62 874.67 None svcomp/pthread-wmm/mix000_rmo.opt.yml false(unreach-call) 92.83 64.15 None svcomp/pthread-wmm/mix000_tso.oepc.yml TIMEOUT 900.65 863.21 None svcomp/pthread-wmm/mix000_tso.opt.yml false(unreach-call) 31.79 18.49 None svcomp/pthread-wmm/mix001_power.oepc.yml false(unreach-call) 46.45 27.94 None svcomp/pthread-wmm/mix001_power.opt.yml false(unreach-call) 66.34 41.81 None svcomp/pthread-wmm/mix001_pso.oepc.yml false(unreach-call) 34.72 20.48 None svcomp/pthread-wmm/mix001_pso.opt.yml TIMEOUT 900.58 877.09 None svcomp/pthread-wmm/mix001_rmo.oepc.yml true 544.40 499.80 None svcomp/pthread-wmm/mix001_rmo.opt.yml TIMEOUT 901.20 868.12 None svcomp/pthread-wmm/mix001_tso.oepc.yml TIMEOUT 900.57 876.17 None svcomp/pthread-wmm/mix001_tso.opt.yml false(unreach-call) 700.32 643.99 None svcomp/pthread-wmm/mix002_power.oepc.yml false(unreach-call) 26.86 16.35 None svcomp/pthread-wmm/mix002_power.opt.yml false(unreach-call) 22.35 13.39 None svcomp/pthread-wmm/mix002_pso.oepc.yml false(unreach-call) 25.93 16.61 None svcomp/pthread-wmm/mix002_pso.opt.yml false(unreach-call) 22.35 13.49 None svcomp/pthread-wmm/mix002_rmo.oepc.yml false(unreach-call) 27.01 16.83 None svcomp/pthread-wmm/mix002_rmo.opt.yml false(unreach-call) 21.13 12.72 None svcomp/pthread-wmm/mix002_tso.oepc.yml false(unreach-call) 25.64 16.21 None svcomp/pthread-wmm/mix002_tso.opt.yml false(unreach-call) 21.10 12.64 None svcomp/pthread-wmm/mix003_power.oepc.yml false(unreach-call) 24.57 15.24 None svcomp/pthread-wmm/mix003_power.opt.yml TIMEOUT 900.58 877.77 None svcomp/pthread-wmm/mix003_pso.oepc.yml false(unreach-call) 24.36 15.20 None svcomp/pthread-wmm/mix003_pso.opt.yml false(unreach-call) 19.84 12.11 None svcomp/pthread-wmm/mix003_rmo.oepc.yml false(unreach-call) 25.23 15.80 None svcomp/pthread-wmm/mix003_rmo.opt.0.1.yml false(unreach-call) 20.29 12.71 None svcomp/pthread-wmm/mix003_rmo.opt.0.yml false(unreach-call) 20.00 12.12 None svcomp/pthread-wmm/mix003_rmo.opt.yml false(unreach-call) 20.23 12.40 None svcomp/pthread-wmm/mix003_tso.oepc.yml false(unreach-call) 24.91 15.34 None svcomp/pthread-wmm/mix003_tso.opt.yml false(unreach-call) 20.29 12.21 None svcomp/pthread-wmm/mix004_power.oepc.yml false(unreach-call) 29.28 18.19 None svcomp/pthread-wmm/mix004_power.opt.yml TIMEOUT 900.66 855.69 None svcomp/pthread-wmm/mix004_pso.oepc.yml false(unreach-call) 28.13 17.21 None svcomp/pthread-wmm/mix004_pso.opt.yml false(unreach-call) 37.58 21.95 None svcomp/pthread-wmm/mix004_rmo.oepc.yml false(unreach-call) 28.71 17.72 None svcomp/pthread-wmm/mix004_rmo.opt.yml false(unreach-call) 77.16 53.49 None svcomp/pthread-wmm/mix004_tso.oepc.yml false(unreach-call) 28.12 17.26 None svcomp/pthread-wmm/mix004_tso.opt.yml false(unreach-call) 21.77 13.39 None svcomp/pthread-wmm/mix005_power.oepc.yml false(unreach-call) 37.65 21.85 None svcomp/pthread-wmm/mix005_power.opt.yml false(unreach-call) 149.25 121.45 None svcomp/pthread-wmm/mix005_pso.oepc.yml false(unreach-call) 33.55 20.43 None svcomp/pthread-wmm/mix005_pso.opt.yml TIMEOUT 900.57 867.51 None svcomp/pthread-wmm/mix005_rmo.oepc.yml false(unreach-call) 24.57 14.83 None svcomp/pthread-wmm/mix005_rmo.opt.yml false(unreach-call) 40.03 23.94 None svcomp/pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 21.74 13.69 None svcomp/pthread-wmm/mix005_tso.opt.yml TIMEOUT 900.58 875.80 None svcomp/pthread-wmm/mix006_power.oepc.yml false(unreach-call) 19.18 11.39 None svcomp/pthread-wmm/mix006_power.opt.yml false(unreach-call) 21.56 12.77 None svcomp/pthread-wmm/mix006_pso.oepc.yml false(unreach-call) 27.32 16.58 None svcomp/pthread-wmm/mix006_pso.opt.yml false(unreach-call) 20.73 12.46 None svcomp/pthread-wmm/mix006_rmo.oepc.yml false(unreach-call) 74.31 50.72 None svcomp/pthread-wmm/mix006_rmo.opt.yml false(unreach-call) 19.58 11.66 None svcomp/pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 243.02 203.20 None svcomp/pthread-wmm/mix006_tso.opt.yml false(unreach-call) 20.23 12.16 None svcomp/pthread-wmm/mix007_power.oepc.yml false(unreach-call) 23.15 14.33 None svcomp/pthread-wmm/mix007_power.opt.yml false(unreach-call) 20.74 12.45 None svcomp/pthread-wmm/mix007_pso.oepc.yml false(unreach-call) 23.10 14.29 None svcomp/pthread-wmm/mix007_pso.opt.yml false(unreach-call) 21.24 12.90 None svcomp/pthread-wmm/mix007_rmo.oepc.yml false(unreach-call) 23.71 14.33 None svcomp/pthread-wmm/mix007_rmo.opt.yml false(unreach-call) 22.08 13.12 None svcomp/pthread-wmm/mix007_tso.oepc.yml false(unreach-call) 22.84 13.98 None svcomp/pthread-wmm/mix007_tso.opt.yml false(unreach-call) 21.89 13.04 None svcomp/pthread-wmm/mix008_power.oepc.yml false(unreach-call) 28.13 17.14 None svcomp/pthread-wmm/mix008_power.opt.yml false(unreach-call) 24.48 14.97 None svcomp/pthread-wmm/mix008_pso.oepc.yml false(unreach-call) 28.40 17.27 None svcomp/pthread-wmm/mix008_pso.opt.yml false(unreach-call) 24.88 15.04 None svcomp/pthread-wmm/mix008_rmo.oepc.yml false(unreach-call) 30.86 19.18 None svcomp/pthread-wmm/mix008_rmo.opt.yml false(unreach-call) 24.77 14.81 None svcomp/pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 28.46 16.41 None svcomp/pthread-wmm/mix008_tso.opt.yml false(unreach-call) 23.51 14.35 None svcomp/pthread-wmm/mix009_power.oepc.yml false(unreach-call) 19.29 11.39 None svcomp/pthread-wmm/mix009_power.opt.yml false(unreach-call) 18.32 11.03 None svcomp/pthread-wmm/mix009_pso.oepc.yml false(unreach-call) 18.87 11.47 None svcomp/pthread-wmm/mix009_pso.opt.yml false(unreach-call) 18.89 11.41 None svcomp/pthread-wmm/mix009_rmo.oepc.yml false(unreach-call) 18.36 11.08 None svcomp/pthread-wmm/mix009_rmo.opt.yml false(unreach-call) 18.77 11.36 None svcomp/pthread-wmm/mix009_tso.oepc.yml false(unreach-call) 18.53 11.23 None svcomp/pthread-wmm/mix009_tso.opt.yml false(unreach-call) 18.53 11.09 None svcomp/pthread-wmm/mix010_power.oepc.yml false(unreach-call) 25.03 15.50 None svcomp/pthread-wmm/mix010_power.opt.yml TIMEOUT 900.59 866.11 None svcomp/pthread-wmm/mix010_pso.oepc.yml false(unreach-call) 25.74 15.74 None svcomp/pthread-wmm/mix010_pso.opt.yml TIMEOUT 900.64 862.11 None svcomp/pthread-wmm/mix010_rmo.oepc.yml false(unreach-call) 24.40 15.24 None svcomp/pthread-wmm/mix010_rmo.opt.yml false(unreach-call) 35.87 21.14 None svcomp/pthread-wmm/mix010_tso.oepc.yml false(unreach-call) 24.51 15.31 None svcomp/pthread-wmm/mix010_tso.opt.yml false(unreach-call) 34.17 20.63 None svcomp/pthread-wmm/mix011_power.oepc.yml false(unreach-call) 24.66 15.34 None svcomp/pthread-wmm/mix011_power.opt.yml TIMEOUT 900.58 874.36 None svcomp/pthread-wmm/mix011_pso.oepc.yml false(unreach-call) 23.26 14.86 None svcomp/pthread-wmm/mix011_pso.opt.yml false(unreach-call) 175.93 145.53 None svcomp/pthread-wmm/mix011_rmo.oepc.yml false(unreach-call) 25.01 15.54 None svcomp/pthread-wmm/mix011_rmo.opt.yml false(unreach-call) 21.09 12.34 None svcomp/pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 18.88 11.29 None svcomp/pthread-wmm/mix011_tso.opt.yml false(unreach-call) 33.51 20.02 None svcomp/pthread-wmm/mix012_power.oepc.yml false(unreach-call) 19.62 12.03 None svcomp/pthread-wmm/mix012_power.opt.yml false(unreach-call) 19.88 12.30 None svcomp/pthread-wmm/mix012_pso.oepc.yml false(unreach-call) 18.01 11.08 None svcomp/pthread-wmm/mix012_pso.opt.yml false(unreach-call) 17.27 9.83 None svcomp/pthread-wmm/mix012_rmo.oepc.yml false(unreach-call) 19.63 12.02 None svcomp/pthread-wmm/mix012_rmo.opt.yml false(unreach-call) 19.67 12.03 None svcomp/pthread-wmm/mix012_tso.oepc.yml false(unreach-call) 18.60 11.07 None svcomp/pthread-wmm/mix012_tso.opt.yml false(unreach-call) 18.38 10.79 None svcomp/pthread-wmm/mix013_power.oepc.yml false(unreach-call) 30.78 18.85 None svcomp/pthread-wmm/mix013_power.opt.yml false(unreach-call) 23.01 14.19 None svcomp/pthread-wmm/mix013_pso.oepc.yml false(unreach-call) 29.47 18.33 None svcomp/pthread-wmm/mix013_pso.opt.yml false(unreach-call) 23.29 14.37 None svcomp/pthread-wmm/mix013_rmo.oepc.yml false(unreach-call) 30.15 18.61 None svcomp/pthread-wmm/mix013_rmo.opt.yml false(unreach-call) 24.52 14.42 None svcomp/pthread-wmm/mix013_tso.oepc.yml false(unreach-call) 30.90 18.85 None svcomp/pthread-wmm/mix013_tso.opt.yml false(unreach-call) 23.29 14.26 None svcomp/pthread-wmm/mix014_power.oepc.yml false(unreach-call) 29.25 18.28 None svcomp/pthread-wmm/mix014_power.opt.yml false(unreach-call) 24.04 14.93 None svcomp/pthread-wmm/mix014_pso.oepc.yml false(unreach-call) 30.21 19.21 None svcomp/pthread-wmm/mix014_pso.opt.yml false(unreach-call) 23.99 14.65 None svcomp/pthread-wmm/mix014_rmo.oepc.yml false(unreach-call) 28.60 18.00 None svcomp/pthread-wmm/mix014_rmo.opt.yml false(unreach-call) 22.52 13.35 None svcomp/pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 131.01 93.47 None svcomp/pthread-wmm/mix014_tso.opt.yml false(unreach-call) 23.10 13.78 None svcomp/pthread-wmm/mix015_power.oepc.yml false(unreach-call) 23.83 14.74 None svcomp/pthread-wmm/mix015_power.opt.yml false(unreach-call) 21.73 12.86 None svcomp/pthread-wmm/mix015_pso.oepc.yml false(unreach-call) 22.72 13.70 None svcomp/pthread-wmm/mix015_pso.opt.yml false(unreach-call) 19.62 12.09 None svcomp/pthread-wmm/mix015_rmo.oepc.yml false(unreach-call) 23.28 14.73 None svcomp/pthread-wmm/mix015_rmo.opt.yml false(unreach-call) 20.53 12.32 None svcomp/pthread-wmm/mix015_tso.oepc.yml false(unreach-call) 24.65 14.88 None svcomp/pthread-wmm/mix015_tso.opt.yml false(unreach-call) 20.52 12.18 None svcomp/pthread-wmm/mix016_power.oepc.yml false(unreach-call) 22.44 14.53 None svcomp/pthread-wmm/mix016_power.opt.yml false(unreach-call) 18.56 11.68 None svcomp/pthread-wmm/mix016_pso.oepc.yml false(unreach-call) 24.25 15.03 None svcomp/pthread-wmm/mix016_pso.opt.yml false(unreach-call) 733.83 696.86 None svcomp/pthread-wmm/mix016_rmo.oepc.yml false(unreach-call) 24.42 15.44 None svcomp/pthread-wmm/mix016_rmo.opt.yml false(unreach-call) 30.15 18.00 None svcomp/pthread-wmm/mix016_tso.oepc.yml false(unreach-call) 23.99 15.24 None svcomp/pthread-wmm/mix016_tso.opt.yml false(unreach-call) 809.62 770.27 None svcomp/pthread-wmm/mix017_power.oepc.yml false(unreach-call) 29.15 17.78 None svcomp/pthread-wmm/mix017_power.opt.yml false(unreach-call) 25.55 15.49 None svcomp/pthread-wmm/mix017_pso.oepc.yml false(unreach-call) 27.63 16.78 None svcomp/pthread-wmm/mix017_pso.opt.yml false(unreach-call) 22.83 13.95 None svcomp/pthread-wmm/mix017_rmo.oepc.yml false(unreach-call) 36.39 22.47 None svcomp/pthread-wmm/mix017_rmo.opt.yml false(unreach-call) 25.15 15.33 None svcomp/pthread-wmm/mix017_tso.oepc.yml false(unreach-call) 35.43 22.24 None svcomp/pthread-wmm/mix017_tso.opt.yml false(unreach-call) 22.85 13.69 None svcomp/pthread-wmm/mix018_power.oepc.yml false(unreach-call) 32.67 19.72 None svcomp/pthread-wmm/mix018_power.opt.yml false(unreach-call) 57.64 32.41 None svcomp/pthread-wmm/mix018_pso.oepc.yml false(unreach-call) 33.99 20.25 None svcomp/pthread-wmm/mix018_pso.opt.yml false(unreach-call) 56.05 32.49 None svcomp/pthread-wmm/mix018_rmo.oepc.yml false(unreach-call) 27.52 16.98 None svcomp/pthread-wmm/mix018_rmo.opt.yml false(unreach-call) 32.96 19.84 None svcomp/pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 32.71 19.91 None svcomp/pthread-wmm/mix018_tso.opt.yml TIMEOUT 900.59 870.44 None svcomp/pthread-wmm/mix019_power.oepc.yml false(unreach-call) 27.93 18.55 None svcomp/pthread-wmm/mix019_power.opt.yml false(unreach-call) 21.32 12.69 None svcomp/pthread-wmm/mix019_pso.oepc.yml false(unreach-call) 26.87 17.16 None svcomp/pthread-wmm/mix019_pso.opt.yml false(unreach-call) 20.51 12.23 None svcomp/pthread-wmm/mix019_rmo.oepc.yml false(unreach-call) 19.82 11.94 None svcomp/pthread-wmm/mix019_rmo.opt.yml false(unreach-call) 20.73 12.39 None svcomp/pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 25.54 15.47 None svcomp/pthread-wmm/mix019_tso.opt.yml false(unreach-call) 21.45 12.61 None svcomp/pthread-wmm/mix020_power.oepc.yml false(unreach-call) 30.69 18.58 None svcomp/pthread-wmm/mix020_power.opt.yml false(unreach-call) 21.58 12.50 None svcomp/pthread-wmm/mix020_pso.oepc.yml false(unreach-call) 30.86 19.16 None svcomp/pthread-wmm/mix020_pso.opt.yml false(unreach-call) 21.65 12.36 None svcomp/pthread-wmm/mix020_rmo.oepc.yml false(unreach-call) 35.91 21.90 None svcomp/pthread-wmm/mix020_rmo.opt.yml false(unreach-call) 21.94 12.64 None svcomp/pthread-wmm/mix020_tso.oepc.yml false(unreach-call) 31.54 20.05 None svcomp/pthread-wmm/mix020_tso.opt.yml false(unreach-call) 20.61 12.12 None svcomp/pthread-wmm/mix021_power.oepc.yml false(unreach-call) 28.27 17.95 None svcomp/pthread-wmm/mix021_power.opt.yml false(unreach-call) 21.99 13.04 None svcomp/pthread-wmm/mix021_pso.oepc.yml false(unreach-call) 31.71 19.78 None svcomp/pthread-wmm/mix021_pso.opt.yml false(unreach-call) 23.41 14.15 None svcomp/pthread-wmm/mix021_rmo.oepc.yml false(unreach-call) 28.56 17.99 None svcomp/pthread-wmm/mix021_rmo.opt.yml false(unreach-call) 21.09 12.73 None svcomp/pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 29.29 17.73 None svcomp/pthread-wmm/mix021_tso.opt.yml false(unreach-call) 24.33 14.50 None svcomp/pthread-wmm/mix022_power.oepc.yml false(unreach-call) 18.79 11.40 None svcomp/pthread-wmm/mix022_power.opt.yml false(unreach-call) 18.29 11.26 None svcomp/pthread-wmm/mix022_pso.oepc.yml false(unreach-call) 19.46 11.41 None svcomp/pthread-wmm/mix022_pso.opt.yml false(unreach-call) 18.95 11.35 None svcomp/pthread-wmm/mix022_rmo.oepc.yml false(unreach-call) 19.34 11.49 None svcomp/pthread-wmm/mix022_rmo.opt.yml false(unreach-call) 19.40 11.79 None svcomp/pthread-wmm/mix022_tso.oepc.yml false(unreach-call) 454.59 425.49 None svcomp/pthread-wmm/mix022_tso.opt.yml false(unreach-call) 25.81 16.01 None svcomp/pthread-wmm/mix023_power.oepc.yml false(unreach-call) 49.80 29.14 None svcomp/pthread-wmm/mix023_power.opt.yml false(unreach-call) 21.13 12.36 None svcomp/pthread-wmm/mix023_pso.oepc.yml false(unreach-call) 37.41 22.62 None svcomp/pthread-wmm/mix023_pso.opt.yml false(unreach-call) 19.95 12.08 None svcomp/pthread-wmm/mix023_rmo.oepc.yml false(unreach-call) 30.07 18.67 None svcomp/pthread-wmm/mix023_rmo.opt.yml false(unreach-call) 20.71 12.61 None svcomp/pthread-wmm/mix023_tso.oepc.yml false(unreach-call) 32.08 18.74 None svcomp/pthread-wmm/mix023_tso.opt.yml false(unreach-call) 111.91 78.79 None svcomp/pthread-wmm/mix024_power.oepc.yml false(unreach-call) 19.73 11.77 None svcomp/pthread-wmm/mix024_power.opt.yml false(unreach-call) 19.54 11.99 None svcomp/pthread-wmm/mix024_pso.oepc.yml false(unreach-call) 19.19 11.63 None svcomp/pthread-wmm/mix024_pso.opt.yml false(unreach-call) 27.68 17.36 None svcomp/pthread-wmm/mix024_rmo.oepc.yml false(unreach-call) 19.96 11.83 None svcomp/pthread-wmm/mix024_rmo.opt.yml false(unreach-call) 19.76 12.19 None svcomp/pthread-wmm/mix024_tso.oepc.yml false(unreach-call) 18.67 11.30 None svcomp/pthread-wmm/mix024_tso.opt.yml false(unreach-call) 19.74 11.87 None svcomp/pthread-wmm/mix025_power.oepc.yml false(unreach-call) 24.31 15.17 None svcomp/pthread-wmm/mix025_power.opt.yml false(unreach-call) 23.92 15.01 None svcomp/pthread-wmm/mix025_pso.oepc.yml false(unreach-call) 24.74 15.23 None svcomp/pthread-wmm/mix025_pso.opt.yml false(unreach-call) 27.14 17.09 None svcomp/pthread-wmm/mix025_rmo.oepc.yml false(unreach-call) 25.48 15.92 None svcomp/pthread-wmm/mix025_rmo.opt.yml false(unreach-call) 25.81 15.68 None svcomp/pthread-wmm/mix025_tso.oepc.yml false(unreach-call) 24.45 14.95 None svcomp/pthread-wmm/mix025_tso.opt.yml false(unreach-call) 25.61 15.54 None svcomp/pthread-wmm/mix026_power.oepc.yml false(unreach-call) 27.69 17.01 None svcomp/pthread-wmm/mix026_power.opt.yml false(unreach-call) 21.23 12.97 None svcomp/pthread-wmm/mix026_pso.oepc.yml false(unreach-call) 27.86 17.42 None svcomp/pthread-wmm/mix026_pso.opt.yml false(unreach-call) 27.66 17.03 None svcomp/pthread-wmm/mix026_rmo.oepc.yml false(unreach-call) 27.36 16.73 None svcomp/pthread-wmm/mix026_rmo.opt.yml false(unreach-call) 38.80 23.68 None svcomp/pthread-wmm/mix026_tso.oepc.yml false(unreach-call) 28.24 17.12 None svcomp/pthread-wmm/mix026_tso.opt.yml false(unreach-call) 22.47 13.33 None svcomp/pthread-wmm/mix027_power.oepc.yml false(unreach-call) 27.37 16.85 None svcomp/pthread-wmm/mix027_power.opt.yml false(unreach-call) 21.91 13.00 None svcomp/pthread-wmm/mix027_pso.oepc.yml false(unreach-call) 27.65 16.81 None svcomp/pthread-wmm/mix027_pso.opt.yml false(unreach-call) 28.12 17.25 None svcomp/pthread-wmm/mix027_rmo.oepc.yml false(unreach-call) 29.82 18.70 None svcomp/pthread-wmm/mix027_rmo.opt.yml false(unreach-call) 19.37 11.70 None svcomp/pthread-wmm/mix027_tso.oepc.yml false(unreach-call) 30.63 18.18 None svcomp/pthread-wmm/mix027_tso.opt.yml false(unreach-call) 30.46 18.71 None svcomp/pthread-wmm/mix028_power.oepc.yml false(unreach-call) 23.76 14.59 None svcomp/pthread-wmm/mix028_power.opt.yml false(unreach-call) 28.70 17.46 None svcomp/pthread-wmm/mix028_pso.oepc.yml false(unreach-call) 24.72 15.34 None svcomp/pthread-wmm/mix028_pso.opt.yml false(unreach-call) 30.85 18.44 None svcomp/pthread-wmm/mix028_rmo.oepc.yml false(unreach-call) 23.44 14.29 None svcomp/pthread-wmm/mix028_rmo.opt.yml false(unreach-call) 29.50 17.73 None svcomp/pthread-wmm/mix028_tso.oepc.yml false(unreach-call) 18.98 11.16 None svcomp/pthread-wmm/mix028_tso.opt.yml false(unreach-call) 28.70 17.37 None svcomp/pthread-wmm/mix029_power.oepc.yml false(unreach-call) 28.45 17.02 None svcomp/pthread-wmm/mix029_power.opt.yml false(unreach-call) 28.78 17.21 None svcomp/pthread-wmm/mix029_pso.oepc.yml false(unreach-call) 26.87 16.67 None svcomp/pthread-wmm/mix029_pso.opt.yml false(unreach-call) 22.46 13.29 None svcomp/pthread-wmm/mix029_rmo.oepc.yml false(unreach-call) 27.63 16.83 None svcomp/pthread-wmm/mix029_rmo.opt.yml false(unreach-call) 28.02 16.96 None svcomp/pthread-wmm/mix029_tso.oepc.yml false(unreach-call) 28.19 17.18 None svcomp/pthread-wmm/mix029_tso.opt.yml false(unreach-call) 32.92 19.58 None svcomp/pthread-wmm/mix030_power.oepc.yml false(unreach-call) 28.02 16.94 None svcomp/pthread-wmm/mix030_power.opt.yml false(unreach-call) 49.45 27.93 None svcomp/pthread-wmm/mix030_pso.oepc.yml false(unreach-call) 30.28 18.08 None svcomp/pthread-wmm/mix030_pso.opt.yml false(unreach-call) 52.96 29.59 None svcomp/pthread-wmm/mix030_rmo.oepc.yml false(unreach-call) 27.84 17.11 None svcomp/pthread-wmm/mix030_rmo.opt.yml false(unreach-call) 52.64 29.91 None svcomp/pthread-wmm/mix030_tso.oepc.yml false(unreach-call) 132.50 99.12 None svcomp/pthread-wmm/mix030_tso.opt.yml false(unreach-call) 23.21 14.32 None svcomp/pthread-wmm/mix031_power.oepc.yml false(unreach-call) 18.04 10.84 None svcomp/pthread-wmm/mix031_power.opt.yml false(unreach-call) 18.10 11.05 None svcomp/pthread-wmm/mix031_pso.oepc.yml false(unreach-call) 17.64 10.81 None svcomp/pthread-wmm/mix031_pso.opt.yml false(unreach-call) 18.35 11.10 None svcomp/pthread-wmm/mix031_rmo.oepc.yml false(unreach-call) 16.88 10.30 None svcomp/pthread-wmm/mix031_rmo.opt.yml false(unreach-call) 17.62 10.71 None svcomp/pthread-wmm/mix031_tso.oepc.yml false(unreach-call) 17.83 10.95 None svcomp/pthread-wmm/mix031_tso.opt.yml false(unreach-call) 16.75 10.17 None svcomp/pthread-wmm/mix032_power.oepc.yml false(unreach-call) 25.53 15.78 None svcomp/pthread-wmm/mix032_power.opt.yml false(unreach-call) 17.08 10.25 None svcomp/pthread-wmm/mix032_pso.oepc.yml false(unreach-call) 19.71 12.32 None svcomp/pthread-wmm/mix032_pso.opt.yml false(unreach-call) 17.60 10.98 None svcomp/pthread-wmm/mix032_rmo.oepc.yml false(unreach-call) 19.86 12.42 None svcomp/pthread-wmm/mix032_rmo.opt.yml false(unreach-call) 16.53 9.86 None svcomp/pthread-wmm/mix032_tso.oepc.yml false(unreach-call) 21.23 12.84 None svcomp/pthread-wmm/mix032_tso.opt.yml false(unreach-call) 16.89 10.00 None svcomp/pthread-wmm/mix033_power.oepc.yml false(unreach-call) 25.04 15.50 None svcomp/pthread-wmm/mix033_power.opt.yml false(unreach-call) 17.55 10.82 None svcomp/pthread-wmm/mix033_pso.oepc.yml false(unreach-call) 20.68 12.52 None svcomp/pthread-wmm/mix033_pso.opt.yml false(unreach-call) 18.40 11.20 None svcomp/pthread-wmm/mix033_rmo.oepc.yml false(unreach-call) 25.03 15.21 None svcomp/pthread-wmm/mix033_rmo.opt.yml false(unreach-call) 20.35 12.64 None svcomp/pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 28.31 17.35 None svcomp/pthread-wmm/mix033_tso.opt.yml false(unreach-call) 19.94 12.51 None svcomp/pthread-wmm/mix034_power.oepc.yml false(unreach-call) 18.83 11.43 None svcomp/pthread-wmm/mix034_power.opt.yml false(unreach-call) 19.50 11.63 None svcomp/pthread-wmm/mix034_pso.oepc.yml false(unreach-call) 19.52 12.00 None svcomp/pthread-wmm/mix034_pso.opt.yml false(unreach-call) 20.11 12.26 None svcomp/pthread-wmm/mix034_rmo.oepc.yml false(unreach-call) 19.38 11.58 None svcomp/pthread-wmm/mix034_rmo.opt.yml false(unreach-call) 18.77 11.30 None svcomp/pthread-wmm/mix034_tso.oepc.yml false(unreach-call) 19.21 11.74 None svcomp/pthread-wmm/mix034_tso.opt.yml false(unreach-call) 20.19 12.53 None svcomp/pthread-wmm/mix035_power.oepc.yml false(unreach-call) 24.67 15.13 None svcomp/pthread-wmm/mix035_power.opt.yml false(unreach-call) 26.46 16.81 None svcomp/pthread-wmm/mix035_pso.oepc.yml false(unreach-call) 23.59 14.55 None svcomp/pthread-wmm/mix035_pso.opt.yml false(unreach-call) 16.73 10.14 None svcomp/pthread-wmm/mix035_rmo.oepc.yml false(unreach-call) 23.91 14.64 None svcomp/pthread-wmm/mix035_rmo.opt.yml false(unreach-call) 19.14 11.97 None svcomp/pthread-wmm/mix035_tso.oepc.yml false(unreach-call) 23.81 14.30 None svcomp/pthread-wmm/mix035_tso.opt.yml false(unreach-call) 18.67 11.07 None svcomp/pthread-wmm/mix036_power.oepc.yml false(unreach-call) 36.66 23.26 None svcomp/pthread-wmm/mix036_power.opt.yml false(unreach-call) 29.76 18.26 None svcomp/pthread-wmm/mix036_pso.oepc.yml false(unreach-call) 38.33 23.14 None svcomp/pthread-wmm/mix036_pso.opt.yml false(unreach-call) 19.67 11.86 None svcomp/pthread-wmm/mix036_rmo.oepc.yml false(unreach-call) 41.28 24.76 None svcomp/pthread-wmm/mix036_rmo.opt.yml false(unreach-call) 28.19 17.57 None svcomp/pthread-wmm/mix036_tso.oepc.yml false(unreach-call) 37.69 23.10 None svcomp/pthread-wmm/mix036_tso.opt.yml false(unreach-call) 20.30 11.83 None svcomp/pthread-wmm/mix037_power.oepc.yml false(unreach-call) 27.69 17.28 None svcomp/pthread-wmm/mix037_power.opt.yml false(unreach-call) 24.20 15.19 None svcomp/pthread-wmm/mix037_pso.oepc.yml false(unreach-call) 26.78 16.65 None svcomp/pthread-wmm/mix037_pso.opt.yml false(unreach-call) 24.56 15.20 None svcomp/pthread-wmm/mix037_rmo.oepc.yml false(unreach-call) 29.37 17.75 None svcomp/pthread-wmm/mix037_rmo.opt.yml false(unreach-call) 19.92 11.89 None svcomp/pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 34.56 20.48 None svcomp/pthread-wmm/mix037_tso.opt.yml false(unreach-call) 24.14 14.66 None svcomp/pthread-wmm/mix038_power.oepc.yml false(unreach-call) 23.93 14.56 None svcomp/pthread-wmm/mix038_power.opt.yml false(unreach-call) 20.58 13.03 None svcomp/pthread-wmm/mix038_pso.oepc.yml false(unreach-call) 23.67 14.94 None svcomp/pthread-wmm/mix038_pso.opt.yml false(unreach-call) 21.72 13.29 None svcomp/pthread-wmm/mix038_rmo.oepc.yml false(unreach-call) 24.91 15.16 None svcomp/pthread-wmm/mix038_rmo.opt.yml false(unreach-call) 19.10 12.25 None svcomp/pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 19.74 11.90 None svcomp/pthread-wmm/mix038_tso.opt.yml false(unreach-call) 21.60 13.27 None svcomp/pthread-wmm/mix039_power.oepc.yml false(unreach-call) 28.37 17.11 None svcomp/pthread-wmm/mix039_power.opt.yml false(unreach-call) 21.17 13.08 None svcomp/pthread-wmm/mix039_pso.oepc.yml false(unreach-call) 27.25 17.09 None svcomp/pthread-wmm/mix039_pso.opt.yml false(unreach-call) 22.71 13.71 None svcomp/pthread-wmm/mix039_rmo.oepc.yml false(unreach-call) 28.18 17.83 None svcomp/pthread-wmm/mix039_rmo.opt.yml false(unreach-call) 24.75 14.79 None svcomp/pthread-wmm/mix039_tso.oepc.yml false(unreach-call) 28.40 17.71 None svcomp/pthread-wmm/mix039_tso.opt.yml false(unreach-call) 23.20 14.27 None svcomp/pthread-wmm/mix040_power.oepc.yml false(unreach-call) 22.29 13.59 None svcomp/pthread-wmm/mix040_power.opt.yml false(unreach-call) 21.59 13.01 None svcomp/pthread-wmm/mix040_pso.oepc.yml false(unreach-call) 23.48 14.21 None svcomp/pthread-wmm/mix040_pso.opt.yml false(unreach-call) 21.78 13.29 None svcomp/pthread-wmm/mix040_rmo.oepc.yml false(unreach-call) 23.95 14.45 None svcomp/pthread-wmm/mix040_rmo.opt.yml false(unreach-call) 22.08 13.36 None svcomp/pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 17.92 10.58 None svcomp/pthread-wmm/mix040_tso.opt.yml false(unreach-call) 21.62 13.04 None svcomp/pthread-wmm/mix041_power.oepc.yml false(unreach-call) 16.99 9.93 None svcomp/pthread-wmm/mix041_power.opt.yml false(unreach-call) 15.79 9.35 None svcomp/pthread-wmm/mix041_pso.oepc.yml false(unreach-call) 17.05 10.06 None svcomp/pthread-wmm/mix041_pso.opt.yml false(unreach-call) 14.90 8.76 None svcomp/pthread-wmm/mix041_rmo.oepc.yml false(unreach-call) 16.35 9.81 None svcomp/pthread-wmm/mix041_rmo.opt.yml false(unreach-call) 16.03 9.29 None svcomp/pthread-wmm/mix041_tso.oepc.yml false(unreach-call) 15.88 9.17 None svcomp/pthread-wmm/mix041_tso.opt.yml false(unreach-call) 15.99 9.21 None svcomp/pthread-wmm/mix042_power.oepc.yml false(unreach-call) 27.54 16.84 None svcomp/pthread-wmm/mix042_power.opt.yml false(unreach-call) 17.85 10.58 None svcomp/pthread-wmm/mix042_pso.oepc.yml false(unreach-call) 19.95 12.14 None svcomp/pthread-wmm/mix042_pso.opt.yml false(unreach-call) 18.90 11.37 None svcomp/pthread-wmm/mix042_rmo.oepc.yml false(unreach-call) 27.64 17.05 None svcomp/pthread-wmm/mix042_rmo.opt.yml false(unreach-call) 18.23 10.96 None svcomp/pthread-wmm/mix042_tso.oepc.yml false(unreach-call) 26.73 16.94 None svcomp/pthread-wmm/mix042_tso.opt.yml false(unreach-call) 18.54 10.95 None svcomp/pthread-wmm/mix043_power.oepc.yml false(unreach-call) 22.93 13.94 None svcomp/pthread-wmm/mix043_power.opt.yml false(unreach-call) 19.68 11.58 None svcomp/pthread-wmm/mix043_pso.oepc.yml false(unreach-call) 33.29 20.78 None svcomp/pthread-wmm/mix043_pso.opt.yml false(unreach-call) 19.92 11.78 None svcomp/pthread-wmm/mix043_rmo.oepc.yml false(unreach-call) 22.46 13.42 None svcomp/pthread-wmm/mix043_rmo.opt.yml false(unreach-call) 20.16 12.39 None svcomp/pthread-wmm/mix043_tso.oepc.yml false(unreach-call) 21.79 13.05 None svcomp/pthread-wmm/mix043_tso.opt.yml false(unreach-call) 18.55 10.82 None svcomp/pthread-wmm/mix044_power.oepc.yml false(unreach-call) 27.35 16.99 None svcomp/pthread-wmm/mix044_power.opt.yml false(unreach-call) 25.75 15.85 None svcomp/pthread-wmm/mix044_pso.oepc.yml false(unreach-call) 28.75 17.43 None svcomp/pthread-wmm/mix044_pso.opt.yml false(unreach-call) 18.13 10.53 None svcomp/pthread-wmm/mix044_rmo.oepc.yml false(unreach-call) 27.36 16.71 None svcomp/pthread-wmm/mix044_rmo.opt.yml false(unreach-call) 18.68 10.92 None svcomp/pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 35.56 20.46 None svcomp/pthread-wmm/mix044_tso.opt.yml false(unreach-call) 18.59 10.90 None svcomp/pthread-wmm/mix045_power.oepc.yml false(unreach-call) 25.08 15.44 None svcomp/pthread-wmm/mix045_power.opt.yml false(unreach-call) 18.41 11.32 None svcomp/pthread-wmm/mix045_pso.oepc.yml false(unreach-call) 25.97 15.49 None svcomp/pthread-wmm/mix045_pso.opt.yml false(unreach-call) 24.45 15.25 None svcomp/pthread-wmm/mix045_rmo.oepc.yml false(unreach-call) 25.16 15.50 None svcomp/pthread-wmm/mix045_rmo.opt.yml false(unreach-call) 23.48 14.31 None svcomp/pthread-wmm/mix045_tso.oepc.yml false(unreach-call) 23.30 14.98 None svcomp/pthread-wmm/mix045_tso.opt.yml false(unreach-call) 24.18 14.74 None svcomp/pthread-wmm/mix046_power.oepc.yml false(unreach-call) 44.37 25.72 None svcomp/pthread-wmm/mix046_power.opt.yml false(unreach-call) 19.04 10.97 None svcomp/pthread-wmm/mix046_pso.oepc.yml false(unreach-call) 22.20 13.64 None svcomp/pthread-wmm/mix046_pso.opt.yml false(unreach-call) 18.88 11.01 None svcomp/pthread-wmm/mix046_rmo.oepc.yml false(unreach-call) 23.33 14.12 None svcomp/pthread-wmm/mix046_rmo.opt.yml false(unreach-call) 18.09 10.56 None svcomp/pthread-wmm/mix046_tso.oepc.yml false(unreach-call) 43.79 25.60 None svcomp/pthread-wmm/mix046_tso.opt.yml false(unreach-call) 18.66 10.98 None svcomp/pthread-wmm/mix047_power.oepc.yml false(unreach-call) 29.44 18.48 None svcomp/pthread-wmm/mix047_power.opt.yml false(unreach-call) 28.19 17.24 None svcomp/pthread-wmm/mix047_pso.oepc.yml false(unreach-call) 26.06 16.01 None svcomp/pthread-wmm/mix047_pso.opt.yml false(unreach-call) 26.07 15.80 None svcomp/pthread-wmm/mix047_rmo.oepc.yml false(unreach-call) 27.49 16.65 None svcomp/pthread-wmm/mix047_rmo.opt.yml false(unreach-call) 22.66 13.67 None svcomp/pthread-wmm/mix047_tso.oepc.yml false(unreach-call) 22.49 13.53 None svcomp/pthread-wmm/mix047_tso.opt.yml false(unreach-call) 28.25 17.41 None svcomp/pthread-wmm/mix048_power.oepc.yml false(unreach-call) 14.91 8.84 None svcomp/pthread-wmm/mix048_power.opt.yml false(unreach-call) 15.86 9.23 None svcomp/pthread-wmm/mix048_pso.oepc.yml false(unreach-call) 15.47 9.21 None svcomp/pthread-wmm/mix048_pso.opt.yml false(unreach-call) 15.66 9.27 None svcomp/pthread-wmm/mix048_rmo.oepc.yml false(unreach-call) 15.89 9.31 None svcomp/pthread-wmm/mix048_rmo.opt.yml false(unreach-call) 15.40 8.97 None svcomp/pthread-wmm/mix048_tso.oepc.yml false(unreach-call) 16.31 9.55 None svcomp/pthread-wmm/mix048_tso.opt.yml false(unreach-call) 16.48 9.70 None svcomp/pthread-wmm/mix049_power.oepc.yml false(unreach-call) 25.05 15.39 None svcomp/pthread-wmm/mix049_power.opt.yml false(unreach-call) 24.70 14.78 None svcomp/pthread-wmm/mix049_pso.oepc.yml false(unreach-call) 24.92 15.36 None svcomp/pthread-wmm/mix049_pso.opt.yml false(unreach-call) 24.75 15.57 None svcomp/pthread-wmm/mix049_rmo.oepc.yml false(unreach-call) 23.24 14.00 None svcomp/pthread-wmm/mix049_rmo.opt.yml false(unreach-call) 22.99 14.22 None svcomp/pthread-wmm/mix049_tso.oepc.yml false(unreach-call) 25.06 15.18 None svcomp/pthread-wmm/mix049_tso.opt.yml false(unreach-call) 23.84 14.80 None svcomp/pthread-wmm/mix050_power.oepc.yml false(unreach-call) 29.79 17.70 None svcomp/pthread-wmm/mix050_power.opt.yml false(unreach-call) 21.84 13.01 None svcomp/pthread-wmm/mix050_pso.oepc.yml false(unreach-call) 22.01 12.97 None svcomp/pthread-wmm/mix050_pso.opt.yml false(unreach-call) 20.08 12.33 None svcomp/pthread-wmm/mix050_rmo.oepc.yml false(unreach-call) 21.60 12.86 None svcomp/pthread-wmm/mix050_rmo.opt.yml false(unreach-call) 28.85 17.47 None svcomp/pthread-wmm/mix050_tso.oepc.yml false(unreach-call) 29.76 17.66 None svcomp/pthread-wmm/mix050_tso.opt.yml false(unreach-call) 21.74 12.90 None svcomp/pthread-wmm/mix051_power.oepc.yml false(unreach-call) 30.15 18.54 None svcomp/pthread-wmm/mix051_power.opt.yml false(unreach-call) 20.89 12.54 None svcomp/pthread-wmm/mix051_pso.oepc.yml false(unreach-call) 29.64 18.58 None svcomp/pthread-wmm/mix051_pso.opt.yml false(unreach-call) 19.55 11.53 None svcomp/pthread-wmm/mix051_rmo.oepc.yml false(unreach-call) 25.75 15.69 None svcomp/pthread-wmm/mix051_rmo.opt.yml false(unreach-call) 18.66 11.39 None svcomp/pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 32.08 18.78 None svcomp/pthread-wmm/mix051_tso.opt.yml false(unreach-call) 19.50 11.56 None svcomp/pthread-wmm/mix052_power.oepc.yml false(unreach-call) 26.09 15.70 None svcomp/pthread-wmm/mix052_power.opt.yml false(unreach-call) 28.93 17.64 None svcomp/pthread-wmm/mix052_pso.oepc.yml false(unreach-call) 35.44 20.98 None svcomp/pthread-wmm/mix052_pso.opt.yml false(unreach-call) 20.04 12.33 None svcomp/pthread-wmm/mix052_rmo.oepc.yml false(unreach-call) 23.38 14.89 None svcomp/pthread-wmm/mix052_rmo.opt.yml false(unreach-call) 20.68 12.47 None svcomp/pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 30.20 17.74 None svcomp/pthread-wmm/mix052_tso.opt.yml false(unreach-call) 19.50 11.95 None svcomp/pthread-wmm/mix053_power.oepc.yml false(unreach-call) 28.94 17.08 None svcomp/pthread-wmm/mix053_power.opt.yml false(unreach-call) 21.04 12.44 None svcomp/pthread-wmm/mix053_pso.oepc.yml false(unreach-call) 29.49 17.87 None svcomp/pthread-wmm/mix053_pso.opt.yml false(unreach-call) 20.48 12.24 None svcomp/pthread-wmm/mix053_rmo.oepc.yml false(unreach-call) 28.79 17.03 None svcomp/pthread-wmm/mix053_rmo.opt.yml false(unreach-call) 19.71 11.96 None svcomp/pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 28.93 17.19 None svcomp/pthread-wmm/mix053_tso.opt.yml false(unreach-call) 20.66 12.36 None svcomp/pthread-wmm/mix054_power.oepc.yml false(unreach-call) 15.92 9.41 None svcomp/pthread-wmm/mix054_power.opt.yml false(unreach-call) 15.43 9.12 None svcomp/pthread-wmm/mix054_pso.oepc.yml false(unreach-call) 14.41 8.71 None svcomp/pthread-wmm/mix054_pso.opt.yml false(unreach-call) 24.78 14.62 None svcomp/pthread-wmm/mix054_rmo.oepc.yml false(unreach-call) 16.14 9.56 None svcomp/pthread-wmm/mix054_rmo.opt.yml false(unreach-call) 24.00 14.55 None svcomp/pthread-wmm/mix054_tso.oepc.yml false(unreach-call) 15.89 9.31 None svcomp/pthread-wmm/mix054_tso.opt.yml false(unreach-call) 15.84 9.23 None svcomp/pthread-wmm/mix055_power.oepc.yml false(unreach-call) 25.61 16.04 None svcomp/pthread-wmm/mix055_power.opt.yml false(unreach-call) 34.55 20.46 None svcomp/pthread-wmm/mix055_pso.oepc.yml false(unreach-call) 27.92 16.48 None svcomp/pthread-wmm/mix055_pso.opt.yml false(unreach-call) 29.15 17.40 None svcomp/pthread-wmm/mix055_rmo.oepc.yml false(unreach-call) 29.01 16.93 None svcomp/pthread-wmm/mix055_rmo.opt.yml false(unreach-call) 29.69 17.57 None svcomp/pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 34.58 20.91 None svcomp/pthread-wmm/mix055_tso.opt.yml false(unreach-call) 24.96 15.05 None svcomp/pthread-wmm/mix056_power.oepc.yml false(unreach-call) 23.55 14.22 None svcomp/pthread-wmm/mix056_power.opt.yml false(unreach-call) 24.79 15.40 None svcomp/pthread-wmm/mix056_pso.oepc.yml false(unreach-call) 27.58 17.49 None svcomp/pthread-wmm/mix056_pso.opt.yml false(unreach-call) 26.95 15.95 None svcomp/pthread-wmm/mix056_rmo.oepc.yml false(unreach-call) 23.94 14.28 None svcomp/pthread-wmm/mix056_rmo.opt.yml false(unreach-call) 24.59 15.05 None svcomp/pthread-wmm/mix056_tso.oepc.yml false(unreach-call) 21.56 12.97 None svcomp/pthread-wmm/mix056_tso.opt.yml false(unreach-call) 26.17 15.92 None svcomp/pthread-wmm/mix057_power.oepc.yml false(unreach-call) 28.31 17.45 None svcomp/pthread-wmm/mix057_power.opt.yml false(unreach-call) 47.85 31.20 None svcomp/pthread-wmm/mix057_pso.oepc.yml false(unreach-call) 24.43 14.10 None svcomp/pthread-wmm/mix057_pso.opt.yml false(unreach-call) 46.40 30.94 None svcomp/pthread-wmm/mix057_rmo.oepc.yml false(unreach-call) 29.06 17.47 None svcomp/pthread-wmm/mix057_rmo.opt.yml false(unreach-call) 24.46 15.24 None svcomp/pthread-wmm/mix057_tso.oepc.yml false(unreach-call) 45.54 29.17 None svcomp/pthread-wmm/mix057_tso.opt.yml false(unreach-call) 45.98 30.39 None svcomp/pthread-wmm/podwr000_power.oepc.yml false(unreach-call) 15.58 9.07 None svcomp/pthread-wmm/podwr000_power.opt.yml false(unreach-call) 15.20 8.95 None svcomp/pthread-wmm/podwr000_pso.oepc.yml false(unreach-call) 15.81 9.24 None svcomp/pthread-wmm/podwr000_pso.opt.yml false(unreach-call) 15.41 9.15 None svcomp/pthread-wmm/podwr000_rmo.oepc.yml false(unreach-call) 16.13 9.32 None svcomp/pthread-wmm/podwr000_rmo.opt.yml false(unreach-call) 15.12 8.92 None svcomp/pthread-wmm/podwr000_tso.oepc.yml false(unreach-call) 16.18 9.35 None svcomp/pthread-wmm/podwr000_tso.opt.yml false(unreach-call) 15.78 9.17 None svcomp/pthread-wmm/podwr001_power.oepc.yml false(unreach-call) 24.31 14.89 None svcomp/pthread-wmm/podwr001_power.opt.yml false(unreach-call) 25.27 15.14 None svcomp/pthread-wmm/podwr001_pso.oepc.yml false(unreach-call) 24.71 14.92 None svcomp/pthread-wmm/podwr001_pso.opt.yml false(unreach-call) 22.44 14.05 None svcomp/pthread-wmm/podwr001_rmo.oepc.yml false(unreach-call) 24.34 15.23 None svcomp/pthread-wmm/podwr001_rmo.opt.yml false(unreach-call) 23.57 14.58 None svcomp/pthread-wmm/podwr001_tso.oepc.yml false(unreach-call) 24.26 14.83 None svcomp/pthread-wmm/podwr001_tso.opt.yml false(unreach-call) 25.27 15.45 None svcomp/pthread-wmm/rfi000_power.oepc.yml false(unreach-call) 41.46 23.80 None svcomp/pthread-wmm/rfi000_power.opt.yml false(unreach-call) 17.01 10.54 None svcomp/pthread-wmm/rfi000_pso.oepc.yml false(unreach-call) 99.77 73.76 None svcomp/pthread-wmm/rfi000_pso.opt.yml false(unreach-call) 32.34 18.89 None svcomp/pthread-wmm/rfi000_rmo.oepc.yml false(unreach-call) 39.03 22.86 None svcomp/pthread-wmm/rfi000_rmo.opt.yml false(unreach-call) 32.48 18.78 None svcomp/pthread-wmm/rfi000_tso.oepc.yml TIMEOUT 900.67 866.81 None svcomp/pthread-wmm/rfi000_tso.opt.yml TIMEOUT 900.57 874.28 None svcomp/pthread-wmm/rfi001_power.oepc.yml false(unreach-call) 19.45 12.12 None svcomp/pthread-wmm/rfi001_power.opt.yml false(unreach-call) 15.84 9.35 None svcomp/pthread-wmm/rfi001_pso.oepc.yml false(unreach-call) 19.53 12.10 None svcomp/pthread-wmm/rfi001_pso.opt.yml false(unreach-call) 21.25 13.42 None svcomp/pthread-wmm/rfi001_rmo.oepc.yml false(unreach-call) 19.18 11.80 None svcomp/pthread-wmm/rfi001_rmo.opt.yml false(unreach-call) 20.98 12.61 None svcomp/pthread-wmm/rfi001_tso.oepc.yml false(unreach-call) 15.89 9.28 None svcomp/pthread-wmm/rfi001_tso.opt.yml false(unreach-call) 21.37 13.53 None svcomp/pthread-wmm/rfi002_power.oepc.yml true 40.77 24.87 None svcomp/pthread-wmm/rfi002_power.opt.yml true 126.11 95.23 None svcomp/pthread-wmm/rfi002_pso.oepc.yml TIMEOUT 900.56 871.58 None svcomp/pthread-wmm/rfi002_pso.opt.yml true 58.10 36.36 None svcomp/pthread-wmm/rfi002_rmo.oepc.yml true 40.46 24.59 None svcomp/pthread-wmm/rfi002_rmo.opt.yml TIMEOUT 900.58 871.32 None svcomp/pthread-wmm/rfi002_tso.oepc.yml true 42.96 24.98 None svcomp/pthread-wmm/rfi002_tso.opt.yml TIMEOUT 900.57 864.17 None svcomp/pthread-wmm/rfi003_power.oepc.yml false(unreach-call) 19.14 11.99 None svcomp/pthread-wmm/rfi003_power.opt.yml false(unreach-call) 20.47 12.44 None svcomp/pthread-wmm/rfi003_pso.oepc.yml false(unreach-call) 20.05 12.28 None svcomp/pthread-wmm/rfi003_pso.opt.yml false(unreach-call) 19.73 12.35 None svcomp/pthread-wmm/rfi003_rmo.oepc.yml false(unreach-call) 18.91 11.90 None svcomp/pthread-wmm/rfi003_rmo.opt.yml false(unreach-call) 19.44 12.42 None svcomp/pthread-wmm/rfi003_tso.oepc.yml TIMEOUT 900.68 868.85 None svcomp/pthread-wmm/rfi003_tso.opt.yml true 269.25 231.56 None svcomp/pthread-wmm/rfi004_power.oepc.yml false(unreach-call) 19.55 11.81 None svcomp/pthread-wmm/rfi004_power.opt.yml false(unreach-call) 19.25 11.88 None svcomp/pthread-wmm/rfi004_pso.oepc.yml false(unreach-call) 19.24 11.63 None svcomp/pthread-wmm/rfi004_pso.opt.yml false(unreach-call) 18.94 11.62 None svcomp/pthread-wmm/rfi004_rmo.oepc.yml false(unreach-call) 19.52 12.08 None svcomp/pthread-wmm/rfi004_rmo.opt.yml false(unreach-call) 18.58 11.68 None svcomp/pthread-wmm/rfi004_tso.oepc.yml false(unreach-call) 18.80 11.71 None svcomp/pthread-wmm/rfi004_tso.opt.yml false(unreach-call) 19.53 12.10 None svcomp/pthread-wmm/rfi005_power.oepc.yml false(unreach-call) 16.93 9.42 None svcomp/pthread-wmm/rfi005_power.opt.yml false(unreach-call) 15.63 8.88 None svcomp/pthread-wmm/rfi005_pso.oepc.yml false(unreach-call) 16.75 9.27 None svcomp/pthread-wmm/rfi005_pso.opt.yml false(unreach-call) 15.94 8.84 None svcomp/pthread-wmm/rfi005_rmo.oepc.yml false(unreach-call) 15.71 9.07 None svcomp/pthread-wmm/rfi005_rmo.opt.yml false(unreach-call) 16.27 9.14 None svcomp/pthread-wmm/rfi005_tso.oepc.yml false(unreach-call) 15.59 8.94 None svcomp/pthread-wmm/rfi005_tso.opt.yml false(unreach-call) 16.27 9.13 None svcomp/pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 42.37 24.38 None svcomp/pthread-wmm/rfi006_power.opt.yml false(unreach-call) 27.55 16.76 None svcomp/pthread-wmm/rfi006_pso.oepc.yml false(unreach-call) 32.39 19.63 None svcomp/pthread-wmm/rfi006_pso.opt.yml false(unreach-call) 23.20 14.09 None svcomp/pthread-wmm/rfi006_rmo.oepc.yml false(unreach-call) 18.46 10.66 None svcomp/pthread-wmm/rfi006_rmo.opt.yml false(unreach-call) 26.73 16.12 None svcomp/pthread-wmm/rfi006_tso.oepc.yml ERROR: EXCEPTION 433.17 395.32 None svcomp/pthread-wmm/rfi006_tso.opt.yml false(unreach-call) 33.97 20.84 None svcomp/pthread-wmm/rfi007_power.oepc.yml false(unreach-call) 18.77 11.50 None svcomp/pthread-wmm/rfi007_power.opt.yml false(unreach-call) 19.25 11.88 None svcomp/pthread-wmm/rfi007_pso.oepc.yml false(unreach-call) 18.29 10.97 None svcomp/pthread-wmm/rfi007_pso.opt.yml false(unreach-call) 18.37 11.45 None svcomp/pthread-wmm/rfi007_rmo.oepc.yml false(unreach-call) 19.34 11.81 None svcomp/pthread-wmm/rfi007_rmo.opt.yml false(unreach-call) 18.87 11.58 None svcomp/pthread-wmm/rfi007_tso.oepc.yml false(unreach-call) 307.50 274.06 None svcomp/pthread-wmm/rfi007_tso.opt.yml false(unreach-call) 69.87 45.46 None svcomp/pthread-wmm/rfi008_power.oepc.yml false(unreach-call) 28.84 17.06 None svcomp/pthread-wmm/rfi008_power.opt.yml false(unreach-call) 596.31 558.11 None svcomp/pthread-wmm/rfi008_pso.oepc.yml false(unreach-call) 637.10 599.79 None svcomp/pthread-wmm/rfi008_pso.opt.yml false(unreach-call) 273.27 240.13 None svcomp/pthread-wmm/rfi008_rmo.oepc.yml TIMEOUT 900.62 878.59 None svcomp/pthread-wmm/rfi008_rmo.opt.yml TIMEOUT 900.59 872.74 None svcomp/pthread-wmm/rfi008_tso.oepc.yml TIMEOUT 900.55 877.07 None svcomp/pthread-wmm/rfi008_tso.opt.yml false(unreach-call) 624.99 587.23 None svcomp/pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 27.93 16.79 None svcomp/pthread-wmm/rfi009_power.opt.yml false(unreach-call) 21.01 13.02 None svcomp/pthread-wmm/rfi009_pso.oepc.yml false(unreach-call) 20.38 12.48 None svcomp/pthread-wmm/rfi009_pso.opt.yml false(unreach-call) 21.46 12.93 None svcomp/pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 30.12 19.04 None svcomp/pthread-wmm/rfi009_rmo.opt.yml false(unreach-call) 36.44 22.09 None svcomp/pthread-wmm/rfi009_tso.oepc.yml TIMEOUT 900.62 868.75 None svcomp/pthread-wmm/rfi009_tso.opt.yml false(unreach-call) 21.59 13.18 None svcomp/pthread-wmm/rfi010_power.oepc.yml false(unreach-call) 34.40 20.38 None svcomp/pthread-wmm/rfi010_power.opt.yml TIMEOUT 900.58 867.31 None svcomp/pthread-wmm/rfi010_pso.oepc.yml TIMEOUT 900.64 872.60 None svcomp/pthread-wmm/rfi010_pso.opt.yml TIMEOUT 900.81 861.61 None svcomp/pthread-wmm/rfi010_rmo.oepc.yml false(unreach-call) 229.56 190.40 None svcomp/pthread-wmm/rfi010_rmo.opt.yml TIMEOUT 900.86 866.58 None svcomp/pthread-wmm/rfi010_tso.oepc.yml TIMEOUT 900.62 871.79 None svcomp/pthread-wmm/rfi010_tso.opt.yml TIMEOUT 900.79 863.14 None svcomp/pthread-wmm/safe000_power.oepc.yml false(unreach-call) 28.36 17.28 None svcomp/pthread-wmm/safe000_power.opt.yml false(unreach-call) 22.26 13.54 None svcomp/pthread-wmm/safe000_pso.oepc.yml true 15.73 10.18 None svcomp/pthread-wmm/safe000_pso.opt.yml true 15.71 10.12 None svcomp/pthread-wmm/safe000_rmo.oepc.yml false(unreach-call) 32.76 20.58 None svcomp/pthread-wmm/safe000_rmo.opt.yml false(unreach-call) 99.26 72.29 None svcomp/pthread-wmm/safe000_tso.oepc.yml true 15.44 10.06 None svcomp/pthread-wmm/safe000_tso.opt.yml true 15.36 10.02 None svcomp/pthread-wmm/safe001_power.oepc.yml false(unreach-call) 27.20 16.31 None svcomp/pthread-wmm/safe001_power.opt.yml false(unreach-call) 19.39 11.80 None svcomp/pthread-wmm/safe001_pso.oepc.yml false(unreach-call) 19.46 11.85 None svcomp/pthread-wmm/safe001_pso.opt.yml false(unreach-call) 22.54 13.84 None svcomp/pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 22.44 12.93 None svcomp/pthread-wmm/safe001_rmo.opt.yml false(unreach-call) 22.51 13.83 None svcomp/pthread-wmm/safe001_tso.oepc.yml true 16.50 11.03 None svcomp/pthread-wmm/safe001_tso.opt.yml true 15.78 10.35 None svcomp/pthread-wmm/safe002_power.oepc.yml false(unreach-call) 135.05 117.53 None svcomp/pthread-wmm/safe002_power.opt.yml false(unreach-call) 19.39 12.05 None svcomp/pthread-wmm/safe002_pso.oepc.yml false(unreach-call) 18.76 11.56 None svcomp/pthread-wmm/safe002_pso.opt.yml false(unreach-call) 19.23 12.15 None svcomp/pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 154.85 124.09 None svcomp/pthread-wmm/safe002_rmo.opt.yml false(unreach-call) 20.88 12.29 None svcomp/pthread-wmm/safe002_tso.oepc.yml true 16.11 10.55 None svcomp/pthread-wmm/safe002_tso.opt.yml true 15.63 10.51 None svcomp/pthread-wmm/safe003_power.oepc.yml false(unreach-call) 37.49 23.22 None svcomp/pthread-wmm/safe003_power.opt.yml false(unreach-call) 23.55 14.10 None svcomp/pthread-wmm/safe003_pso.oepc.yml false(unreach-call) 46.52 29.00 None svcomp/pthread-wmm/safe003_pso.opt.yml false(unreach-call) 39.07 23.76 None svcomp/pthread-wmm/safe003_rmo.oepc.yml false(unreach-call) 38.68 22.61 None svcomp/pthread-wmm/safe003_rmo.opt.yml TIMEOUT 900.72 869.56 None svcomp/pthread-wmm/safe003_tso.oepc.yml true 14.79 9.59 None svcomp/pthread-wmm/safe003_tso.opt.yml true 14.52 9.29 None svcomp/pthread-wmm/safe004_power.oepc.yml false(unreach-call) 86.08 55.86 None svcomp/pthread-wmm/safe004_power.opt.yml false(unreach-call) 24.11 14.97 None svcomp/pthread-wmm/safe004_pso.oepc.yml false(unreach-call) 42.68 25.34 None svcomp/pthread-wmm/safe004_pso.opt.yml false(unreach-call) 27.73 17.13 None svcomp/pthread-wmm/safe004_rmo.oepc.yml false(unreach-call) 194.21 157.32 None svcomp/pthread-wmm/safe004_rmo.opt.yml false(unreach-call) 23.88 14.78 None svcomp/pthread-wmm/safe004_tso.oepc.yml true 15.41 9.87 None svcomp/pthread-wmm/safe004_tso.opt.yml true 15.47 10.06 None svcomp/pthread-wmm/safe005_power.oepc.yml false(unreach-call) 23.89 15.09 None svcomp/pthread-wmm/safe005_power.opt.yml false(unreach-call) 24.39 15.22 None svcomp/pthread-wmm/safe005_pso.oepc.yml false(unreach-call) 25.14 16.24 None svcomp/pthread-wmm/safe005_pso.opt.yml false(unreach-call) 24.72 15.25 None svcomp/pthread-wmm/safe005_rmo.oepc.yml false(unreach-call) 27.95 17.67 None svcomp/pthread-wmm/safe005_rmo.opt.yml false(unreach-call) 24.17 15.32 None svcomp/pthread-wmm/safe005_tso.oepc.yml true 15.66 9.79 None svcomp/pthread-wmm/safe005_tso.opt.yml true 15.22 9.92 None svcomp/pthread-wmm/safe006_power.oepc.yml false(unreach-call) 16.15 9.34 None svcomp/pthread-wmm/safe006_power.opt.yml false(unreach-call) 19.57 11.55 None svcomp/pthread-wmm/safe006_pso.oepc.yml true 11.81 7.50 None svcomp/pthread-wmm/safe006_pso.opt.yml true 12.52 7.68 None svcomp/pthread-wmm/safe006_rmo.oepc.yml false(unreach-call) 15.54 9.08 None svcomp/pthread-wmm/safe006_rmo.opt.yml false(unreach-call) 15.51 8.96 None svcomp/pthread-wmm/safe006_tso.oepc.yml true 11.64 7.38 None svcomp/pthread-wmm/safe006_tso.opt.yml true 12.25 7.61 None svcomp/pthread-wmm/safe007_power.oepc.yml false(unreach-call) 21.08 13.31 None svcomp/pthread-wmm/safe007_power.opt.yml false(unreach-call) 23.49 14.39 None svcomp/pthread-wmm/safe007_pso.oepc.yml true 13.90 8.90 None svcomp/pthread-wmm/safe007_pso.opt.yml true 14.55 9.26 None svcomp/pthread-wmm/safe007_rmo.oepc.yml false(unreach-call) 19.34 11.79 None svcomp/pthread-wmm/safe007_rmo.opt.yml false(unreach-call) 20.50 12.53 None svcomp/pthread-wmm/safe007_tso.oepc.yml true 14.25 9.05 None svcomp/pthread-wmm/safe007_tso.opt.yml true 13.93 8.84 None svcomp/pthread-wmm/safe008_power.oepc.yml false(unreach-call) 27.69 17.88 None svcomp/pthread-wmm/safe008_power.opt.yml false(unreach-call) 23.42 13.84 None svcomp/pthread-wmm/safe008_pso.oepc.yml false(unreach-call) 26.50 16.83 None svcomp/pthread-wmm/safe008_pso.opt.yml false(unreach-call) 25.47 16.48 None svcomp/pthread-wmm/safe008_rmo.oepc.yml false(unreach-call) 31.80 19.57 None svcomp/pthread-wmm/safe008_rmo.opt.yml false(unreach-call) 27.82 17.23 None svcomp/pthread-wmm/safe008_tso.oepc.yml true 15.55 10.00 None svcomp/pthread-wmm/safe008_tso.opt.yml true 14.83 9.62 None svcomp/pthread-wmm/safe009_power.oepc.yml false(unreach-call) 20.56 11.58 None svcomp/pthread-wmm/safe009_power.opt.yml false(unreach-call) 22.78 13.02 None svcomp/pthread-wmm/safe009_pso.oepc.yml true 15.35 9.66 None svcomp/pthread-wmm/safe009_pso.opt.yml true 15.89 10.20 None svcomp/pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 19.68 11.44 None svcomp/pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 19.45 11.44 None svcomp/pthread-wmm/safe009_tso.oepc.yml true 15.70 10.06 None svcomp/pthread-wmm/safe009_tso.opt.yml true 15.49 9.81 None svcomp/pthread-wmm/safe010_power.oepc.yml false(unreach-call) 17.10 10.12 None svcomp/pthread-wmm/safe010_power.opt.yml false(unreach-call) 23.66 14.89 None svcomp/pthread-wmm/safe010_pso.oepc.yml false(unreach-call) 16.04 9.71 None svcomp/pthread-wmm/safe010_pso.opt.yml false(unreach-call) 17.37 10.29 None svcomp/pthread-wmm/safe010_rmo.oepc.yml false(unreach-call) 16.21 9.70 None svcomp/pthread-wmm/safe010_rmo.opt.yml false(unreach-call) 16.63 9.93 None svcomp/pthread-wmm/safe010_tso.oepc.yml true 12.33 7.97 None svcomp/pthread-wmm/safe010_tso.opt.yml true 12.09 7.62 None svcomp/pthread-wmm/safe011_power.oepc.yml false(unreach-call) 23.30 14.57 None svcomp/pthread-wmm/safe011_power.opt.yml false(unreach-call) 19.66 12.01 None svcomp/pthread-wmm/safe011_pso.oepc.yml false(unreach-call) 33.45 21.68 None svcomp/pthread-wmm/safe011_pso.opt.yml false(unreach-call) 19.67 12.00 None svcomp/pthread-wmm/safe011_rmo.oepc.yml false(unreach-call) 23.28 14.25 None svcomp/pthread-wmm/safe011_rmo.opt.yml false(unreach-call) 37.99 24.60 None svcomp/pthread-wmm/safe011_tso.oepc.yml true 14.26 8.95 None svcomp/pthread-wmm/safe011_tso.opt.yml true 15.24 9.47 None svcomp/pthread-wmm/safe012_power.oepc.yml false(unreach-call) 20.19 11.97 None svcomp/pthread-wmm/safe012_power.opt.yml false(unreach-call) 21.54 12.79 None svcomp/pthread-wmm/safe012_pso.oepc.yml false(unreach-call) 24.85 16.25 None svcomp/pthread-wmm/safe012_pso.opt.yml false(unreach-call) 27.73 17.99 None svcomp/pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 18.90 11.22 None svcomp/pthread-wmm/safe012_rmo.opt.yml false(unreach-call) 27.89 17.53 None svcomp/pthread-wmm/safe012_tso.oepc.yml true 15.22 9.79 None svcomp/pthread-wmm/safe012_tso.opt.yml true 15.11 9.73 None svcomp/pthread-wmm/safe013_power.oepc.yml false(unreach-call) 19.36 11.71 None svcomp/pthread-wmm/safe013_power.opt.yml false(unreach-call) 19.27 11.75 None svcomp/pthread-wmm/safe013_pso.oepc.yml false(unreach-call) 20.22 12.00 None svcomp/pthread-wmm/safe013_pso.opt.yml false(unreach-call) 19.74 11.96 None svcomp/pthread-wmm/safe013_rmo.oepc.yml false(unreach-call) 18.58 11.61 None svcomp/pthread-wmm/safe013_rmo.opt.yml false(unreach-call) 18.40 11.36 None svcomp/pthread-wmm/safe013_tso.oepc.yml true 15.24 9.51 None svcomp/pthread-wmm/safe013_tso.opt.yml true 14.69 9.44 None svcomp/pthread-wmm/safe014_power.oepc.yml false(unreach-call) 21.84 12.54 None svcomp/pthread-wmm/safe014_power.opt.yml false(unreach-call) 25.78 16.34 None svcomp/pthread-wmm/safe014_pso.oepc.yml true 16.19 10.71 None svcomp/pthread-wmm/safe014_pso.opt.yml true 15.85 10.46 None svcomp/pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 22.77 14.39 None svcomp/pthread-wmm/safe014_rmo.opt.yml TIMEOUT 900.61 868.38 None svcomp/pthread-wmm/safe014_tso.oepc.yml true 16.55 10.95 None svcomp/pthread-wmm/safe014_tso.opt.yml true 15.98 10.68 None svcomp/pthread-wmm/safe015_power.oepc.yml false(unreach-call) 19.45 10.64 None svcomp/pthread-wmm/safe015_power.opt.yml false(unreach-call) 25.25 15.14 None svcomp/pthread-wmm/safe015_pso.oepc.yml true 16.88 11.30 None svcomp/pthread-wmm/safe015_pso.opt.yml true 16.98 11.08 None svcomp/pthread-wmm/safe015_rmo.oepc.yml false(unreach-call) 20.94 12.14 None svcomp/pthread-wmm/safe015_rmo.opt.yml false(unreach-call) 22.21 13.59 None svcomp/pthread-wmm/safe015_tso.oepc.yml true 17.05 11.16 None svcomp/pthread-wmm/safe015_tso.opt.yml true 17.04 10.82 None svcomp/pthread-wmm/safe016_power.oepc.yml false(unreach-call) 22.75 13.25 None svcomp/pthread-wmm/safe016_power.opt.yml false(unreach-call) 22.70 13.10 None svcomp/pthread-wmm/safe016_pso.oepc.yml true 17.10 10.92 None svcomp/pthread-wmm/safe016_pso.opt.yml true 18.31 11.39 None svcomp/pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 31.93 19.07 None svcomp/pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 65.89 39.20 None svcomp/pthread-wmm/safe016_tso.oepc.yml true 17.90 11.28 None svcomp/pthread-wmm/safe016_tso.opt.yml true 17.44 11.05 None svcomp/pthread-wmm/safe017_power.oepc.yml false(unreach-call) 37.47 21.65 None svcomp/pthread-wmm/safe017_power.opt.yml false(unreach-call) 28.02 17.65 None svcomp/pthread-wmm/safe017_pso.oepc.yml false(unreach-call) 27.16 16.99 None svcomp/pthread-wmm/safe017_pso.opt.yml false(unreach-call) 28.09 17.62 None svcomp/pthread-wmm/safe017_rmo.oepc.yml false(unreach-call) 24.37 15.04 None svcomp/pthread-wmm/safe017_rmo.opt.yml false(unreach-call) 27.64 17.30 None svcomp/pthread-wmm/safe017_tso.oepc.yml true 14.38 9.23 None svcomp/pthread-wmm/safe017_tso.opt.yml true 15.88 9.63 None svcomp/pthread-wmm/safe018_power.oepc.yml false(unreach-call) 19.93 11.62 None svcomp/pthread-wmm/safe018_power.opt.yml false(unreach-call) 25.53 15.44 None svcomp/pthread-wmm/safe018_pso.oepc.yml true 15.62 9.99 None svcomp/pthread-wmm/safe018_pso.opt.yml true 15.76 10.06 None svcomp/pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 17.03 9.99 None svcomp/pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 19.44 11.70 None svcomp/pthread-wmm/safe018_tso.oepc.yml true 15.70 10.07 None svcomp/pthread-wmm/safe018_tso.opt.yml true 15.65 10.02 None svcomp/pthread-wmm/safe019_power.oepc.yml false(unreach-call) 30.03 17.51 None svcomp/pthread-wmm/safe019_power.opt.yml false(unreach-call) 30.01 18.53 None svcomp/pthread-wmm/safe019_pso.oepc.yml true 17.68 11.16 None svcomp/pthread-wmm/safe019_pso.opt.yml true 18.35 11.46 None svcomp/pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 38.92 23.59 None svcomp/pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 25.24 15.31 None svcomp/pthread-wmm/safe019_tso.oepc.yml true 16.74 10.78 None svcomp/pthread-wmm/safe019_tso.opt.yml true 18.01 11.10 None svcomp/pthread-wmm/safe020_power.oepc.yml false(unreach-call) 23.43 13.80 None svcomp/pthread-wmm/safe020_power.opt.yml false(unreach-call) 22.89 13.56 None svcomp/pthread-wmm/safe020_pso.oepc.yml true 14.73 9.44 None svcomp/pthread-wmm/safe020_pso.opt.yml true 14.55 9.27 None svcomp/pthread-wmm/safe020_rmo.oepc.yml false(unreach-call) 19.20 11.50 None svcomp/pthread-wmm/safe020_rmo.opt.yml false(unreach-call) 21.89 12.96 None svcomp/pthread-wmm/safe020_tso.oepc.yml true 14.80 9.32 None svcomp/pthread-wmm/safe020_tso.opt.yml true 15.54 9.65 None svcomp/pthread-wmm/safe021_power.oepc.yml false(unreach-call) 18.76 11.67 None svcomp/pthread-wmm/safe021_power.opt.yml false(unreach-call) 19.72 12.14 None svcomp/pthread-wmm/safe021_pso.oepc.yml false(unreach-call) 27.57 17.46 None svcomp/pthread-wmm/safe021_pso.opt.yml false(unreach-call) 20.30 12.58 None svcomp/pthread-wmm/safe021_rmo.oepc.yml false(unreach-call) 30.25 18.22 None svcomp/pthread-wmm/safe021_rmo.opt.yml false(unreach-call) 22.81 13.43 None svcomp/pthread-wmm/safe021_tso.oepc.yml true 14.95 9.43 None svcomp/pthread-wmm/safe021_tso.opt.yml true 15.00 9.53 None svcomp/pthread-wmm/safe022_power.oepc.yml false(unreach-call) 16.13 9.65 None svcomp/pthread-wmm/safe022_power.opt.yml false(unreach-call) 15.55 9.49 None svcomp/pthread-wmm/safe022_pso.oepc.yml false(unreach-call) 15.80 9.38 None svcomp/pthread-wmm/safe022_pso.opt.yml false(unreach-call) 16.26 9.76 None svcomp/pthread-wmm/safe022_rmo.oepc.yml false(unreach-call) 16.88 10.23 None svcomp/pthread-wmm/safe022_rmo.opt.yml false(unreach-call) 16.71 10.05 None svcomp/pthread-wmm/safe022_tso.oepc.yml true 12.45 7.67 None svcomp/pthread-wmm/safe022_tso.opt.yml true 12.38 7.82 None svcomp/pthread-wmm/safe023_power.oepc.yml TIMEOUT 900.59 873.39 None svcomp/pthread-wmm/safe023_power.opt.yml TIMEOUT 900.56 871.85 None svcomp/pthread-wmm/safe023_pso.oepc.yml false(unreach-call) 41.60 26.63 None svcomp/pthread-wmm/safe023_pso.opt.yml false(unreach-call) 305.48 256.62 None svcomp/pthread-wmm/safe023_rmo.oepc.yml TIMEOUT 900.57 876.35 None svcomp/pthread-wmm/safe023_rmo.opt.yml false(unreach-call) 27.15 16.52 None svcomp/pthread-wmm/safe023_tso.oepc.yml true 16.06 10.35 None svcomp/pthread-wmm/safe023_tso.opt.yml true 16.08 10.62 None svcomp/pthread-wmm/safe024_power.oepc.yml false(unreach-call) 18.51 11.46 None svcomp/pthread-wmm/safe024_power.opt.yml false(unreach-call) 19.14 11.77 None svcomp/pthread-wmm/safe024_pso.oepc.yml false(unreach-call) 22.61 13.99 None svcomp/pthread-wmm/safe024_pso.opt.yml false(unreach-call) 23.47 14.22 None svcomp/pthread-wmm/safe024_rmo.oepc.yml false(unreach-call) 19.13 11.62 None svcomp/pthread-wmm/safe024_rmo.opt.yml false(unreach-call) 23.30 14.60 None svcomp/pthread-wmm/safe024_tso.oepc.yml true 14.28 8.98 None svcomp/pthread-wmm/safe024_tso.opt.yml true 14.36 9.40 None svcomp/pthread-wmm/safe025_power.oepc.yml false(unreach-call) 19.57 10.71 None svcomp/pthread-wmm/safe025_power.opt.yml false(unreach-call) 20.21 11.11 None svcomp/pthread-wmm/safe025_pso.oepc.yml true 16.83 10.99 None svcomp/pthread-wmm/safe025_pso.opt.yml true 16.42 10.75 None svcomp/pthread-wmm/safe025_rmo.oepc.yml false(unreach-call) 21.74 12.34 None svcomp/pthread-wmm/safe025_rmo.opt.yml false(unreach-call) 20.89 11.67 None svcomp/pthread-wmm/safe025_tso.oepc.yml true 16.91 10.99 None svcomp/pthread-wmm/safe025_tso.opt.yml true 16.84 11.24 None svcomp/pthread-wmm/safe026_power.oepc.yml false(unreach-call) 24.74 15.42 None svcomp/pthread-wmm/safe026_power.opt.yml false(unreach-call) 25.23 15.53 None svcomp/pthread-wmm/safe026_pso.oepc.yml false(unreach-call) 25.52 15.34 None svcomp/pthread-wmm/safe026_pso.opt.yml false(unreach-call) 25.98 16.21 None svcomp/pthread-wmm/safe026_rmo.oepc.yml false(unreach-call) 23.16 14.28 None svcomp/pthread-wmm/safe026_rmo.opt.yml false(unreach-call) 24.68 15.13 None svcomp/pthread-wmm/safe026_tso.oepc.yml true 14.64 9.25 None svcomp/pthread-wmm/safe026_tso.opt.yml true 14.42 9.07 None svcomp/pthread-wmm/safe027_power.oepc.yml false(unreach-call) 37.41 23.03 None svcomp/pthread-wmm/safe027_power.opt.yml false(unreach-call) 24.16 14.44 None svcomp/pthread-wmm/safe027_pso.oepc.yml true 17.68 11.53 None svcomp/pthread-wmm/safe027_pso.opt.yml true 17.86 11.43 None svcomp/pthread-wmm/safe027_rmo.oepc.yml false(unreach-call) 22.84 13.79 None svcomp/pthread-wmm/safe027_rmo.opt.yml false(unreach-call) 19.56 10.94 None svcomp/pthread-wmm/safe027_tso.oepc.yml true 18.45 11.46 None svcomp/pthread-wmm/safe027_tso.opt.yml true 17.94 11.52 None svcomp/pthread-wmm/safe028_power.oepc.yml false(unreach-call) 22.55 13.40 None svcomp/pthread-wmm/safe028_power.opt.yml false(unreach-call) 23.61 13.92 None svcomp/pthread-wmm/safe028_pso.oepc.yml true 14.66 9.36 None svcomp/pthread-wmm/safe028_pso.opt.yml true 15.73 9.67 None svcomp/pthread-wmm/safe028_rmo.oepc.yml false(unreach-call) 19.47 11.65 None svcomp/pthread-wmm/safe028_rmo.opt.yml false(unreach-call) 19.54 11.48 None svcomp/pthread-wmm/safe028_tso.oepc.yml true 15.26 9.63 None svcomp/pthread-wmm/safe028_tso.opt.yml true 15.03 9.47 None svcomp/pthread-wmm/safe029_power.oepc.yml false(unreach-call) 19.56 11.71 None svcomp/pthread-wmm/safe029_power.opt.yml false(unreach-call) 18.84 11.01 None svcomp/pthread-wmm/safe029_pso.oepc.yml false(unreach-call) 24.75 15.20 None svcomp/pthread-wmm/safe029_pso.opt.yml false(unreach-call) 17.50 10.38 None svcomp/pthread-wmm/safe029_rmo.oepc.yml false(unreach-call) 20.25 11.99 None svcomp/pthread-wmm/safe029_rmo.opt.yml false(unreach-call) 20.19 12.14 None svcomp/pthread-wmm/safe029_tso.oepc.yml true 11.73 7.10 None svcomp/pthread-wmm/safe029_tso.opt.yml true 11.57 7.00 None svcomp/pthread-wmm/safe030_power.oepc.yml false(unreach-call) 41.55 26.42 None svcomp/pthread-wmm/safe030_power.opt.yml false(unreach-call) 16.96 10.11 None svcomp/pthread-wmm/safe030_pso.oepc.yml false(unreach-call) 37.08 22.16 None svcomp/pthread-wmm/safe030_pso.opt.yml false(unreach-call) 17.11 10.27 None svcomp/pthread-wmm/safe030_rmo.oepc.yml false(unreach-call) 37.41 22.63 None svcomp/pthread-wmm/safe030_rmo.opt.yml false(unreach-call) 24.97 14.73 None svcomp/pthread-wmm/safe030_tso.oepc.yml true 14.16 8.76 None svcomp/pthread-wmm/safe030_tso.opt.yml true 14.69 8.96 None svcomp/pthread-wmm/safe031_power.oepc.yml false(unreach-call) 18.61 10.99 None svcomp/pthread-wmm/safe031_power.opt.yml false(unreach-call) 25.12 14.90 None svcomp/pthread-wmm/safe031_pso.oepc.yml false(unreach-call) 18.66 10.99 None svcomp/pthread-wmm/safe031_pso.opt.yml false(unreach-call) 31.01 18.13 None svcomp/pthread-wmm/safe031_rmo.oepc.yml false(unreach-call) 18.65 10.91 None svcomp/pthread-wmm/safe031_rmo.opt.yml false(unreach-call) 26.61 16.07 None svcomp/pthread-wmm/safe031_tso.oepc.yml true 13.86 8.60 None svcomp/pthread-wmm/safe031_tso.opt.yml true 14.26 8.70 None svcomp/pthread-wmm/safe032_power.oepc.yml TIMEOUT 900.56 862.57 None svcomp/pthread-wmm/safe032_power.opt.yml TIMEOUT 900.47 848.99 None svcomp/pthread-wmm/safe032_pso.oepc.yml TIMEOUT 900.60 867.58 None svcomp/pthread-wmm/safe032_pso.opt.yml false(unreach-call) 431.35 390.54 None svcomp/pthread-wmm/safe032_rmo.oepc.yml TIMEOUT 900.62 861.18 None svcomp/pthread-wmm/safe032_rmo.opt.yml TIMEOUT 900.58 859.34 None svcomp/pthread-wmm/safe032_tso.oepc.yml true 15.29 9.74 None svcomp/pthread-wmm/safe032_tso.opt.yml true 15.02 9.61 None svcomp/pthread-wmm/safe033_power.oepc.yml false(unreach-call) 17.20 10.33 None svcomp/pthread-wmm/safe033_power.opt.yml false(unreach-call) 16.24 10.25 None svcomp/pthread-wmm/safe033_pso.oepc.yml false(unreach-call) 16.58 10.30 None svcomp/pthread-wmm/safe033_pso.opt.yml false(unreach-call) 16.96 10.45 None svcomp/pthread-wmm/safe033_rmo.oepc.yml false(unreach-call) 16.71 10.24 None svcomp/pthread-wmm/safe033_rmo.opt.yml false(unreach-call) 16.87 10.28 None svcomp/pthread-wmm/safe033_tso.oepc.yml true 11.36 6.94 None svcomp/pthread-wmm/safe033_tso.opt.yml true 11.43 7.03 None svcomp/pthread-wmm/safe034_power.oepc.yml false(unreach-call) 19.09 11.75 None svcomp/pthread-wmm/safe034_power.opt.yml false(unreach-call) 18.90 11.82 None svcomp/pthread-wmm/safe034_pso.oepc.yml false(unreach-call) 18.80 11.68 None svcomp/pthread-wmm/safe034_pso.opt.yml false(unreach-call) 19.53 11.94 None svcomp/pthread-wmm/safe034_rmo.oepc.yml false(unreach-call) 20.12 12.06 None svcomp/pthread-wmm/safe034_rmo.opt.yml false(unreach-call) 19.15 11.85 None svcomp/pthread-wmm/safe034_tso.oepc.yml true 13.65 8.48 None svcomp/pthread-wmm/safe034_tso.opt.yml true 13.92 8.47 None svcomp/pthread-wmm/safe035_power.oepc.yml TIMEOUT 900.63 863.84 None svcomp/pthread-wmm/safe035_power.opt.yml TIMEOUT 900.59 861.67 None svcomp/pthread-wmm/safe035_pso.oepc.yml true 15.88 10.10 None svcomp/pthread-wmm/safe035_pso.opt.yml true 15.65 10.05 None svcomp/pthread-wmm/safe035_rmo.oepc.yml true 15.55 10.15 None svcomp/pthread-wmm/safe035_rmo.opt.yml true 16.16 10.29 None svcomp/pthread-wmm/safe035_tso.oepc.yml true 15.57 10.16 None svcomp/pthread-wmm/safe035_tso.opt.yml true 15.70 10.20 None svcomp/pthread-wmm/safe036_power.oepc.yml true 11.93 7.18 None svcomp/pthread-wmm/safe036_power.opt.yml true 11.74 7.19 None svcomp/pthread-wmm/safe036_pso.oepc.yml true 11.67 7.16 None svcomp/pthread-wmm/safe036_pso.opt.yml true 11.86 7.20 None svcomp/pthread-wmm/safe036_rmo.oepc.yml true 11.68 7.26 None svcomp/pthread-wmm/safe036_rmo.opt.yml true 11.87 7.21 None svcomp/pthread-wmm/safe036_tso.oepc.yml true 12.12 7.36 None svcomp/pthread-wmm/safe036_tso.opt.yml true 11.43 7.03 None svcomp/pthread-wmm/safe037_power.oepc.yml true 13.92 8.69 None svcomp/pthread-wmm/safe037_power.opt.yml true 14.76 9.14 None svcomp/pthread-wmm/safe037_pso.oepc.yml true 13.90 8.68 None svcomp/pthread-wmm/safe037_pso.opt.yml true 13.71 8.68 None svcomp/pthread-wmm/safe037_rmo.oepc.yml true 13.54 8.46 None svcomp/pthread-wmm/safe037_rmo.opt.yml true 13.99 8.74 None svcomp/pthread-wmm/safe037_tso.oepc.yml true 13.97 8.68 None svcomp/pthread-wmm/safe037_tso.opt.yml true 13.57 8.57 None svcomp/pthread-wmm/thin000_power.oepc.yml false(unreach-call) 16.69 9.52 None svcomp/pthread-wmm/thin000_power.opt.yml false(unreach-call) 20.87 12.26 None svcomp/pthread-wmm/thin000_pso.oepc.yml true 12.34 7.72 None svcomp/pthread-wmm/thin000_pso.opt.yml true 12.55 7.66 None svcomp/pthread-wmm/thin000_rmo.oepc.yml false(unreach-call) 15.52 9.04 None svcomp/pthread-wmm/thin000_rmo.opt.yml false(unreach-call) 15.20 8.86 None svcomp/pthread-wmm/thin000_tso.oepc.yml true 12.34 7.68 None svcomp/pthread-wmm/thin000_tso.opt.yml true 12.58 7.67 None svcomp/pthread-wmm/thin001_power.oepc.yml false(unreach-call) 21.26 12.60 None svcomp/pthread-wmm/thin001_power.opt.yml false(unreach-call) 23.79 14.51 None svcomp/pthread-wmm/thin001_pso.oepc.yml true 14.54 9.23 None svcomp/pthread-wmm/thin001_pso.opt.yml true 14.37 9.35 None svcomp/pthread-wmm/thin001_rmo.oepc.yml false(unreach-call) 20.05 12.21 None svcomp/pthread-wmm/thin001_rmo.opt.yml false(unreach-call) 20.08 12.38 None svcomp/pthread-wmm/thin001_tso.oepc.yml true 14.13 9.11 None svcomp/pthread-wmm/thin001_tso.opt.yml true 14.37 9.31 None svcomp/pthread-wmm/thin002_power.oepc.yml false(unreach-call) 25.70 15.49 None svcomp/pthread-wmm/thin002_power.opt.yml false(unreach-call) 21.53 12.32 None svcomp/pthread-wmm/thin002_pso.oepc.yml true 16.44 11.02 None svcomp/pthread-wmm/thin002_pso.opt.yml true 16.28 10.58 None svcomp/pthread-wmm/thin002_rmo.oepc.yml false(unreach-call) 20.85 12.41 None svcomp/pthread-wmm/thin002_rmo.opt.yml false(unreach-call) 21.30 12.55 None svcomp/pthread-wmm/thin002_tso.oepc.yml true 16.27 10.54 None svcomp/pthread-wmm/thin002_tso.opt.yml true 16.07 10.75 None svcomp/pthread-lit/fk2012.yml TIMEOUT 906.16 615.30 None svcomp/pthread-lit/fkp2013-1.yml TIMEOUT 901.69 761.85 None svcomp/pthread-lit/fkp2013-2.yml TIMEOUT 904.58 764.04 None svcomp/pthread-lit/fkp2013_variant-1.yml TIMEOUT 913.17 759.75 None svcomp/pthread-lit/fkp2013_variant-2.yml false(unreach-call) 15.04 8.88 None svcomp/pthread-lit/fkp2014.yml TIMEOUT 900.73 778.86 None svcomp/pthread-lit/qw2004-1.yml true 12.41 8.08 None svcomp/pthread-lit/qw2004-2.yml false(unreach-call) 11.87 7.38 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 904.00 674.43 None svcomp/pthread-lit/sssc12.yml OUT OF MEMORY 692.55 436.69 None svcomp/pthread-lit/sssc12_variant.yml OUT OF MEMORY 741.20 465.68 None svcomp/ldv-races/race-1_1-join.yml true 14.31 8.46 None svcomp/ldv-races/race-1_2-join.yml false(unreach-call) 14.45 8.34 None svcomp/ldv-races/race-1_3-join.yml false(unreach-call) 14.02 8.28 None svcomp/ldv-races/race-2_1-container_of.yml TIMEOUT 904.34 877.23 None svcomp/ldv-races/race-2_2-container_of.yml TIMEOUT 901.18 846.53 None svcomp/ldv-races/race-2_3-container_of.yml false(unreach-call) 26.03 15.45 None svcomp/ldv-races/race-2_4-container_of.yml false(unreach-call) 26.03 15.18 None svcomp/ldv-races/race-2_5-container_of.yml false(unreach-call) 23.52 14.16 None svcomp/ldv-races/race-3_1-container_of-global.yml TIMEOUT 901.89 885.81 None svcomp/ldv-races/race-3_2-container_of-global.yml TIMEOUT 905.74 883.05 None svcomp/ldv-races/race-4_1-thread_local_vars.yml true 32.75 19.25 None svcomp/ldv-races/race-4_2-thread_local_vars.yml false(unreach-call) 49.62 31.06 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml unknown 12.25 6.72 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml unknown 12.66 6.95 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 679.94 463.15 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 909.36 661.08 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 713.55 482.56 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 901.58 689.88 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml TIMEOUT 921.28 708.29 None svcomp/pthread-complex/bounded_buffer.yml TIMEOUT 900.90 812.67 None svcomp/pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 718.00 448.38 None svcomp/pthread-complex/safestack_relacy.yml TIMEOUT 906.45 706.06 None svcomp/pthread-complex/workstealqueue_mutex-1.yml TIMEOUT 904.81 841.30 None svcomp/pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 901.23 839.44 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 11.31 6.78 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 11.60 6.96 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 11.82 7.01 None svcomp/pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 11.53 6.49 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 12.31 7.18 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 12.13 7.29 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 11.21 7.01 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 12.16 7.01 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 11.55 7.05 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 12.03 6.77 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 12.25 7.30 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 13.89 7.48 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 11.91 6.99 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 12.34 7.30 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 11.59 6.57 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 11.61 7.00 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 11.29 6.50 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 11.09 6.70 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 11.15 6.38 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 14.71 8.37 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 12.45 7.41 None svcomp/pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 901.35 809.87 None svcomp/pthread-C-DAC/pthread-demo-datarace-2.yml TIMEOUT 905.79 673.41 None svcomp/pthread-C-DAC/pthread-finding-k-matches.yml unknown 6.76 3.84 None svcomp/pthread-C-DAC/pthread-numerical-integration.yml unknown 6.38 3.65 None svcomp/pthread-divine/barrier_2t.yml TIMEOUT 902.17 862.11 None svcomp/pthread-divine/barrier_3t.yml TIMEOUT 922.33 647.33 None svcomp/pthread-divine/condvar.yml true 12.30 8.15 None svcomp/pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 8.80 5.26 None svcomp/pthread-divine/divinefifo-bug_1w1r.yml TIMEOUT 905.76 862.53 None svcomp/pthread-divine/divinefifo_1w1r.yml TIMEOUT 901.13 857.30 None svcomp/pthread-divine/one_time_barrier_2t.yml TIMEOUT 901.50 860.26 None svcomp/pthread-divine/one_time_barrier_3t.yml TIMEOUT 912.08 754.22 None svcomp/pthread-divine/one_time_barrier_twice_2t.yml TIMEOUT 905.74 851.37 None svcomp/pthread-divine/one_time_barrier_twice_3t.yml TIMEOUT 918.41 677.94 None svcomp/pthread-divine/ring_1w1r-1.yml false(unreach-call) 11.60 7.06 None svcomp/pthread-divine/ring_1w1r-2.yml ERROR: EXCEPTION 133.86 113.71 None svcomp/pthread-divine/ring_2w1r-1.yml TIMEOUT 901.06 842.61 None svcomp/pthread-divine/ring_2w1r-2.yml TIMEOUT 900.96 842.57 None svcomp/pthread-divine/tls_basic.yml unknown 5.99 3.45 None svcomp/pthread-divine/tls_destructor_worker.yml unknown 6.23 3.53 None svcomp/pthread-nondet/nondet-array-1.yml false(unreach-call) 179.30 152.29 None svcomp/pthread-nondet/nondet-array-2.yml TIMEOUT 900.85 849.22 None svcomp/pthread-nondet/nondet-loop-bound-1.yml TIMEOUT 906.20 804.72 None svcomp/pthread-nondet/nondet-loop-bound-2.yml TIMEOUT 902.28 713.90 None svcomp/pthread-nondet/nondet-loop-bound-variant-1.yml TIMEOUT 910.78 631.94 None svcomp/pthread-nondet/nondet-loop-bound-variant-2.yml TIMEOUT 901.49 630.90 None concurrent/pthreads/NonAtomicIncrement_2Threads.c true 27.26 19.65 None concurrent/pthreads/distributed_search2.c true 601.84 563.63 None concurrent/pthreads/distributed_search3.c ERROR: EXCEPTION 129.23 111.28 None concurrent/pthreads/distributed_search4.c TIMEOUT 904.40 874.58 None concurrent/pthreads/forkFork.c TIMEOUT 900.64 880.63 None concurrent/pthreads/forkJoinNotMod.c false(unreach-call) 18.64 12.71 None concurrent/pthreads/forkMultipleTimes.c TIMEOUT 901.16 887.66 None concurrent/pthreads/globalVariableMultipleThreads.c false(unreach-call) 83.54 73.40 None concurrent/pthreads/multipleForkSameIdDifferentReturnType.c false(unreach-call) 16.19 11.06 None concurrent/pthreads/predecessorInAtomicBlockBug.c false(unreach-call) 7.29 4.78 None concurrent/pthreads/regression unknown 7.57 4.00 None ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 145515.02 19628.10 - Statistics: 2186 Files correct: 1852 correct true: 330 correct false: 1522 incorrect: 1 incorrect true: 1 incorrect false: 0 unknown: 319 Score: 2150 (max: 2688)