BENCHMARK INFORMATION benchmark definition: ../benchexec/student-concurrency-pn.xml name: student-concurrency-pn run sets: Automizer SVCOMP 2020, Automizer PN date: Sun, 2020-10-11 12:44:11 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.58 8.17 None svcomp/pthread/bigshot_s.yml UNKNOWN: OverapproxCex 13.56 7.51 None svcomp/pthread/bigshot_s2.yml UNKNOWN: OverapproxCex 12.62 7.05 None svcomp/pthread/fib_bench-1.yml TIMEOUT 902.13 888.42 None svcomp/pthread/fib_bench-2.yml TIMEOUT 901.70 881.29 None svcomp/pthread/fib_bench_longer-1.yml TIMEOUT 901.89 879.09 None svcomp/pthread/fib_bench_longer-2.yml TIMEOUT 901.61 874.71 None svcomp/pthread/fib_bench_longest-1.yml TIMEOUT 901.57 875.32 None svcomp/pthread/fib_bench_longest-2.yml TIMEOUT 901.55 874.79 None svcomp/pthread/indexer.yml TIMEOUT 905.78 881.60 None svcomp/pthread/lazy01.yml false(unreach-call) 15.21 8.60 None svcomp/pthread/queue.yml TIMEOUT 901.40 810.49 None svcomp/pthread/queue_longer.yml TIMEOUT (ERROR: EXCEPTION) 900.84 792.19 None svcomp/pthread/queue_longest.yml TIMEOUT 901.23 793.81 None svcomp/pthread/queue_ok.yml TIMEOUT 905.94 856.85 None svcomp/pthread/queue_ok_longer.yml TIMEOUT 905.85 864.09 None svcomp/pthread/queue_ok_longest.yml TIMEOUT 906.12 873.21 None svcomp/pthread/reorder_2.yml ERROR: EXCEPTION 7.11 3.94 None svcomp/pthread/reorder_5.yml ERROR: EXCEPTION 7.40 4.09 None svcomp/pthread/sigma.yml TIMEOUT 903.16 739.54 None svcomp/pthread/singleton.yml false(unreach-call) 54.17 31.39 None svcomp/pthread/singleton_with-uninit-problems.yml true 13.47 7.58 None svcomp/pthread/stack-1.yml true 743.46 702.39 None svcomp/pthread/stack-2.yml false(unreach-call) 23.62 14.00 None svcomp/pthread/stack_longer-1.yml false(unreach-call) 21.61 12.60 None svcomp/pthread/stack_longer-2.yml ERROR: EXCEPTION 32.24 20.37 None svcomp/pthread/stack_longest-1.yml false(unreach-call) 22.73 13.15 None svcomp/pthread/stack_longest-2.yml ERROR: EXCEPTION 32.14 19.79 None svcomp/pthread/stateful01-1.yml false(unreach-call) 14.36 7.94 None svcomp/pthread/stateful01-2.yml true 14.05 7.99 None svcomp/pthread/sync01.yml true 16.24 9.33 None svcomp/pthread/triangular-1.yml true 66.77 49.57 None svcomp/pthread/triangular-2.yml false(unreach-call) 53.22 40.02 None svcomp/pthread/triangular-longer-1.yml true 300.08 274.60 None svcomp/pthread/triangular-longer-2.yml false(unreach-call) 269.12 236.66 None svcomp/pthread/triangular-longest-1.yml TIMEOUT 900.78 851.19 None svcomp/pthread/triangular-longest-2.yml TIMEOUT 900.92 854.05 None svcomp/pthread/twostage_3.yml ERROR: EXCEPTION 7.06 3.90 None svcomp/pthread-atomic/dekker.yml true 12.23 6.84 None svcomp/pthread-atomic/gcd-2.yml TIMEOUT 905.72 899.90 None svcomp/pthread-atomic/lamport.yml true 12.78 7.14 None svcomp/pthread-atomic/peterson.yml true 10.84 6.16 None svcomp/pthread-atomic/qrcu-1.yml true 32.40 18.43 None svcomp/pthread-atomic/qrcu-2.yml false(unreach-call) 21.40 12.31 None svcomp/pthread-atomic/read_write_lock-1.yml true 16.02 8.76 None svcomp/pthread-atomic/read_write_lock-2.yml false(unreach-call) 16.45 8.91 None svcomp/pthread-atomic/scull.yml true 40.31 24.29 None svcomp/pthread-atomic/szymanski.yml true 11.55 6.44 None svcomp/pthread-atomic/time_var_mutex.yml true 14.16 8.21 None svcomp/pthread-ext/01_inc.yml TIMEOUT 901.10 659.61 None svcomp/pthread-ext/02_inc_cas.yml TIMEOUT 901.30 780.74 None svcomp/pthread-ext/03_incdec.yml TIMEOUT 901.82 836.76 None svcomp/pthread-ext/04_incdec_cas.yml TIMEOUT 901.39 635.79 None svcomp/pthread-ext/05_tas.yml TIMEOUT 922.26 793.29 None svcomp/pthread-ext/06_ticket.yml TIMEOUT 901.43 886.54 None svcomp/pthread-ext/07_rand.yml TIMEOUT 902.17 787.68 None svcomp/pthread-ext/08_rand_cas.yml TIMEOUT 901.16 695.49 None svcomp/pthread-ext/09_fmaxsym.yml TIMEOUT 900.93 631.93 None svcomp/pthread-ext/10_fmaxsym_cas.yml TIMEOUT 922.30 703.36 None svcomp/pthread-ext/11_fmaxsymopt.yml TIMEOUT 901.06 616.76 None svcomp/pthread-ext/12_fmaxsymopt_cas.yml TIMEOUT 922.35 687.59 None svcomp/pthread-ext/13_unverif.yml TIMEOUT 901.93 722.51 None svcomp/pthread-ext/14_spin2003.yml TIMEOUT 900.87 852.34 None svcomp/pthread-ext/15_dekker.yml true 11.10 6.28 None svcomp/pthread-ext/16_peterson.yml true 11.16 6.34 None svcomp/pthread-ext/17_szymanski.yml true 12.52 6.97 None svcomp/pthread-ext/18_read_write_lock.yml true 11.10 6.30 None svcomp/pthread-ext/19_time_var_mutex.yml true 14.31 8.06 None svcomp/pthread-ext/20_lamport.yml true 12.24 6.91 None svcomp/pthread-ext/23_lu-fig2.fixed.yml true 11.76 6.65 None svcomp/pthread-ext/25_stack.yml TIMEOUT 902.82 792.83 None svcomp/pthread-ext/25_stack_longer-1.yml false(unreach-call) 20.44 12.61 None svcomp/pthread-ext/25_stack_longer-2.yml TIMEOUT 911.08 800.35 None svcomp/pthread-ext/25_stack_longest-1.yml TIMEOUT 910.65 812.24 None svcomp/pthread-ext/25_stack_longest-2.yml false(unreach-call) 19.81 12.62 None svcomp/pthread-ext/26_stack_cas.yml TIMEOUT 901.12 824.40 None svcomp/pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 901.17 822.37 None svcomp/pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 902.53 822.99 None svcomp/pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 901.11 825.13 None svcomp/pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 901.21 810.27 None svcomp/pthread-ext/27_Boop_simple_vf.yml OUT OF MEMORY 760.75 540.31 None svcomp/pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 32.75 26.96 None svcomp/pthread-ext/29_conditionals_vs.yml TIMEOUT 901.32 821.65 None svcomp/pthread-ext/30_Function_Pointer3_vs.yml TIMEOUT 903.57 603.27 None svcomp/pthread-ext/31_simple_loop5_vs.yml TIMEOUT 901.03 845.00 None svcomp/pthread-ext/32_pthread5_vs.yml TIMEOUT 901.25 801.10 None svcomp/pthread-ext/33_double_lock_p1_vs.yml TIMEOUT 900.75 704.87 None svcomp/pthread-ext/34_double_lock_p2_vs.yml TIMEOUT 901.51 594.26 None svcomp/pthread-ext/35_double_lock_p3_vs.yml TIMEOUT 901.33 829.18 None svcomp/pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 912.30 783.50 None svcomp/pthread-ext/37_stack_lock_p0_vs_concur.yml TIMEOUT 906.11 788.76 None svcomp/pthread-ext/38_rand_cas_vs_concur.yml TIMEOUT 902.82 763.02 None svcomp/pthread-ext/39_rand_lock_p0_vs.yml TIMEOUT 900.99 766.39 None svcomp/pthread-ext/40_barrier_vf.yml TIMEOUT 901.74 808.35 None svcomp/pthread-ext/41_FreeBSD_abd_kbd_sliced.yml TIMEOUT 901.10 832.42 None svcomp/pthread-ext/42_FreeBSD_rdma_addr_sliced.yml TIMEOUT 902.26 821.03 None svcomp/pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: TYPE ERROR 6.61 3.68 None svcomp/pthread-ext/44_Solaris_space_map_sliced.yml TIMEOUT 900.50 796.39 None svcomp/pthread-ext/45_monabsex1_vs.yml TIMEOUT 921.52 790.46 None svcomp/pthread-ext/46_monabsex2_vs.yml TIMEOUT 906.00 834.53 None svcomp/pthread-ext/47_ticket_lock_hc_backoff_vs.yml TIMEOUT 901.31 763.15 None svcomp/pthread-ext/48_ticket_lock_low_contention_vs.yml TIMEOUT 900.46 775.37 None svcomp/pthread-wmm/mix000_power.oepc.yml false(unreach-call) 23.26 12.53 None svcomp/pthread-wmm/mix000_power.opt.yml false(unreach-call) 24.01 13.08 None svcomp/pthread-wmm/mix000_pso.oepc.yml false(unreach-call) 22.92 12.42 None svcomp/pthread-wmm/mix000_pso.opt.yml false(unreach-call) 23.76 12.67 None svcomp/pthread-wmm/mix000_rmo.oepc.yml false(unreach-call) 22.75 12.59 None svcomp/pthread-wmm/mix000_rmo.opt.yml false(unreach-call) 23.11 12.42 None svcomp/pthread-wmm/mix000_tso.oepc.yml false(unreach-call) 23.12 12.58 None svcomp/pthread-wmm/mix000_tso.opt.yml false(unreach-call) 22.04 12.29 None svcomp/pthread-wmm/mix001_power.oepc.yml false(unreach-call) 25.67 13.82 None svcomp/pthread-wmm/mix001_power.opt.yml false(unreach-call) 27.75 15.44 None svcomp/pthread-wmm/mix001_pso.oepc.yml false(unreach-call) 25.88 13.98 None svcomp/pthread-wmm/mix001_pso.opt.yml false(unreach-call) 24.47 13.35 None svcomp/pthread-wmm/mix001_rmo.oepc.yml false(unreach-call) 25.45 13.68 None svcomp/pthread-wmm/mix001_rmo.opt.yml false(unreach-call) 26.31 14.21 None svcomp/pthread-wmm/mix001_tso.oepc.yml false(unreach-call) 25.51 13.95 None svcomp/pthread-wmm/mix001_tso.opt.yml false(unreach-call) 28.52 15.80 None svcomp/pthread-wmm/mix002_power.oepc.yml false(unreach-call) 23.93 12.99 None svcomp/pthread-wmm/mix002_power.opt.yml false(unreach-call) 27.57 14.89 None svcomp/pthread-wmm/mix002_pso.oepc.yml false(unreach-call) 25.42 13.80 None svcomp/pthread-wmm/mix002_pso.opt.yml false(unreach-call) 27.77 14.91 None svcomp/pthread-wmm/mix002_rmo.oepc.yml false(unreach-call) 24.03 12.94 None svcomp/pthread-wmm/mix002_rmo.opt.yml false(unreach-call) 28.41 15.22 None svcomp/pthread-wmm/mix002_tso.oepc.yml false(unreach-call) 23.64 13.05 None svcomp/pthread-wmm/mix002_tso.opt.yml false(unreach-call) 26.31 14.29 None svcomp/pthread-wmm/mix003_power.oepc.yml false(unreach-call) 25.95 14.15 None svcomp/pthread-wmm/mix003_power.opt.yml false(unreach-call) 25.15 13.75 None svcomp/pthread-wmm/mix003_pso.oepc.yml false(unreach-call) 25.10 13.59 None svcomp/pthread-wmm/mix003_pso.opt.yml false(unreach-call) 27.11 14.42 None svcomp/pthread-wmm/mix003_rmo.oepc.yml false(unreach-call) 27.40 14.86 None svcomp/pthread-wmm/mix003_rmo.opt.0.1.yml false(unreach-call) 24.81 13.63 None svcomp/pthread-wmm/mix003_rmo.opt.0.yml false(unreach-call) 27.75 15.28 None svcomp/pthread-wmm/mix003_rmo.opt.yml false(unreach-call) 26.58 14.20 None svcomp/pthread-wmm/mix003_tso.oepc.yml false(unreach-call) 23.59 12.86 None svcomp/pthread-wmm/mix003_tso.opt.yml false(unreach-call) 28.46 15.67 None svcomp/pthread-wmm/mix004_power.oepc.yml false(unreach-call) 27.00 14.57 None svcomp/pthread-wmm/mix004_power.opt.yml false(unreach-call) 29.29 15.76 None svcomp/pthread-wmm/mix004_pso.oepc.yml false(unreach-call) 26.49 13.95 None svcomp/pthread-wmm/mix004_pso.opt.yml false(unreach-call) 31.17 16.52 None svcomp/pthread-wmm/mix004_rmo.oepc.yml false(unreach-call) 27.56 14.74 None svcomp/pthread-wmm/mix004_rmo.opt.yml false(unreach-call) 28.02 14.95 None svcomp/pthread-wmm/mix004_tso.oepc.yml false(unreach-call) 26.88 14.52 None svcomp/pthread-wmm/mix004_tso.opt.yml false(unreach-call) 29.28 15.79 None svcomp/pthread-wmm/mix005_power.oepc.yml false(unreach-call) 32.60 17.62 None svcomp/pthread-wmm/mix005_power.opt.yml false(unreach-call) 27.65 14.78 None svcomp/pthread-wmm/mix005_pso.oepc.yml false(unreach-call) 32.59 17.64 None svcomp/pthread-wmm/mix005_pso.opt.yml false(unreach-call) 28.30 15.71 None svcomp/pthread-wmm/mix005_rmo.oepc.yml false(unreach-call) 32.36 17.40 None svcomp/pthread-wmm/mix005_rmo.opt.yml false(unreach-call) 26.70 14.48 None svcomp/pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 42.48 22.79 None svcomp/pthread-wmm/mix005_tso.opt.yml false(unreach-call) 28.39 15.22 None svcomp/pthread-wmm/mix006_power.oepc.yml false(unreach-call) 24.24 13.11 None svcomp/pthread-wmm/mix006_power.opt.yml false(unreach-call) 26.81 14.35 None svcomp/pthread-wmm/mix006_pso.oepc.yml false(unreach-call) 27.98 15.04 None svcomp/pthread-wmm/mix006_pso.opt.yml false(unreach-call) 24.24 13.16 None svcomp/pthread-wmm/mix006_rmo.oepc.yml false(unreach-call) 24.20 13.16 None svcomp/pthread-wmm/mix006_rmo.opt.yml false(unreach-call) 24.96 13.48 None svcomp/pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 44.48 25.91 None svcomp/pthread-wmm/mix006_tso.opt.yml false(unreach-call) 26.33 14.06 None svcomp/pthread-wmm/mix007_power.oepc.yml false(unreach-call) 34.62 18.54 None svcomp/pthread-wmm/mix007_power.opt.yml false(unreach-call) 28.35 15.46 None svcomp/pthread-wmm/mix007_pso.oepc.yml false(unreach-call) 32.00 17.30 None svcomp/pthread-wmm/mix007_pso.opt.yml false(unreach-call) 29.28 15.82 None svcomp/pthread-wmm/mix007_rmo.oepc.yml false(unreach-call) 31.40 16.83 None svcomp/pthread-wmm/mix007_rmo.opt.yml false(unreach-call) 26.88 14.66 None svcomp/pthread-wmm/mix007_tso.oepc.yml false(unreach-call) 31.91 17.14 None svcomp/pthread-wmm/mix007_tso.opt.yml false(unreach-call) 28.65 15.34 None svcomp/pthread-wmm/mix008_power.oepc.yml false(unreach-call) 36.10 19.27 None svcomp/pthread-wmm/mix008_power.opt.yml false(unreach-call) 29.18 15.40 None svcomp/pthread-wmm/mix008_pso.oepc.yml false(unreach-call) 30.19 16.28 None svcomp/pthread-wmm/mix008_pso.opt.yml false(unreach-call) 32.43 17.61 None svcomp/pthread-wmm/mix008_rmo.oepc.yml false(unreach-call) 29.26 15.70 None svcomp/pthread-wmm/mix008_rmo.opt.yml false(unreach-call) 34.99 19.15 None svcomp/pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 54.05 29.95 None svcomp/pthread-wmm/mix008_tso.opt.yml false(unreach-call) 31.12 16.76 None svcomp/pthread-wmm/mix009_power.oepc.yml false(unreach-call) 21.09 11.33 None svcomp/pthread-wmm/mix009_power.opt.yml false(unreach-call) 23.71 12.87 None svcomp/pthread-wmm/mix009_pso.oepc.yml false(unreach-call) 20.08 11.10 None svcomp/pthread-wmm/mix009_pso.opt.yml false(unreach-call) 24.05 12.93 None svcomp/pthread-wmm/mix009_rmo.oepc.yml false(unreach-call) 21.06 11.76 None svcomp/pthread-wmm/mix009_rmo.opt.yml false(unreach-call) 22.29 12.10 None svcomp/pthread-wmm/mix009_tso.oepc.yml false(unreach-call) 22.74 12.10 None svcomp/pthread-wmm/mix009_tso.opt.yml false(unreach-call) 24.06 12.91 None svcomp/pthread-wmm/mix010_power.oepc.yml false(unreach-call) 26.21 13.96 None svcomp/pthread-wmm/mix010_power.opt.yml false(unreach-call) 25.13 13.95 None svcomp/pthread-wmm/mix010_pso.oepc.yml false(unreach-call) 29.31 15.94 None svcomp/pthread-wmm/mix010_pso.opt.yml false(unreach-call) 27.69 14.57 None svcomp/pthread-wmm/mix010_rmo.oepc.yml false(unreach-call) 27.53 14.73 None svcomp/pthread-wmm/mix010_rmo.opt.yml false(unreach-call) 25.59 13.61 None svcomp/pthread-wmm/mix010_tso.oepc.yml false(unreach-call) 25.70 13.96 None svcomp/pthread-wmm/mix010_tso.opt.yml false(unreach-call) 26.73 14.28 None svcomp/pthread-wmm/mix011_power.oepc.yml false(unreach-call) 23.41 12.93 None svcomp/pthread-wmm/mix011_power.opt.yml false(unreach-call) 23.28 12.74 None svcomp/pthread-wmm/mix011_pso.oepc.yml false(unreach-call) 26.70 14.65 None svcomp/pthread-wmm/mix011_pso.opt.yml false(unreach-call) 25.65 13.85 None svcomp/pthread-wmm/mix011_rmo.oepc.yml false(unreach-call) 24.77 13.41 None svcomp/pthread-wmm/mix011_rmo.opt.yml false(unreach-call) 22.86 12.76 None svcomp/pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 34.12 19.46 None svcomp/pthread-wmm/mix011_tso.opt.yml false(unreach-call) 24.72 13.56 None svcomp/pthread-wmm/mix012_power.oepc.yml false(unreach-call) 22.38 12.06 None svcomp/pthread-wmm/mix012_power.opt.yml false(unreach-call) 20.08 10.98 None svcomp/pthread-wmm/mix012_pso.oepc.yml false(unreach-call) 22.45 12.33 None svcomp/pthread-wmm/mix012_pso.opt.yml false(unreach-call) 23.26 12.80 None svcomp/pthread-wmm/mix012_rmo.oepc.yml false(unreach-call) 20.16 11.16 None svcomp/pthread-wmm/mix012_rmo.opt.yml false(unreach-call) 22.28 12.15 None svcomp/pthread-wmm/mix012_tso.oepc.yml false(unreach-call) 21.62 11.89 None svcomp/pthread-wmm/mix012_tso.opt.yml false(unreach-call) 23.66 12.85 None svcomp/pthread-wmm/mix013_power.oepc.yml false(unreach-call) 28.08 15.14 None svcomp/pthread-wmm/mix013_power.opt.yml false(unreach-call) 29.65 16.01 None svcomp/pthread-wmm/mix013_pso.oepc.yml false(unreach-call) 30.05 16.27 None svcomp/pthread-wmm/mix013_pso.opt.yml false(unreach-call) 29.88 16.17 None svcomp/pthread-wmm/mix013_rmo.oepc.yml false(unreach-call) 29.09 15.55 None svcomp/pthread-wmm/mix013_rmo.opt.yml false(unreach-call) 36.50 20.22 None svcomp/pthread-wmm/mix013_tso.oepc.yml false(unreach-call) 29.64 16.06 None svcomp/pthread-wmm/mix013_tso.opt.yml false(unreach-call) 28.65 15.47 None svcomp/pthread-wmm/mix014_power.oepc.yml false(unreach-call) 30.62 16.32 None svcomp/pthread-wmm/mix014_power.opt.yml false(unreach-call) 28.65 15.73 None svcomp/pthread-wmm/mix014_pso.oepc.yml false(unreach-call) 32.83 17.65 None svcomp/pthread-wmm/mix014_pso.opt.yml false(unreach-call) 28.01 15.01 None svcomp/pthread-wmm/mix014_rmo.oepc.yml false(unreach-call) 29.24 15.75 None svcomp/pthread-wmm/mix014_rmo.opt.yml false(unreach-call) 30.23 16.09 None svcomp/pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 53.21 31.33 None svcomp/pthread-wmm/mix014_tso.opt.yml false(unreach-call) 28.27 15.03 None svcomp/pthread-wmm/mix015_power.oepc.yml false(unreach-call) 23.38 12.82 None svcomp/pthread-wmm/mix015_power.opt.yml false(unreach-call) 28.41 15.64 None svcomp/pthread-wmm/mix015_pso.oepc.yml false(unreach-call) 25.26 13.61 None svcomp/pthread-wmm/mix015_pso.opt.yml false(unreach-call) 27.47 15.32 None svcomp/pthread-wmm/mix015_rmo.oepc.yml false(unreach-call) 24.70 13.47 None svcomp/pthread-wmm/mix015_rmo.opt.yml false(unreach-call) 26.42 14.25 None svcomp/pthread-wmm/mix015_tso.oepc.yml false(unreach-call) 26.34 14.14 None svcomp/pthread-wmm/mix015_tso.opt.yml false(unreach-call) 26.81 14.45 None svcomp/pthread-wmm/mix016_power.oepc.yml false(unreach-call) 24.55 13.26 None svcomp/pthread-wmm/mix016_power.opt.yml false(unreach-call) 22.46 12.24 None svcomp/pthread-wmm/mix016_pso.oepc.yml false(unreach-call) 25.76 13.93 None svcomp/pthread-wmm/mix016_pso.opt.yml false(unreach-call) 22.80 12.78 None svcomp/pthread-wmm/mix016_rmo.oepc.yml false(unreach-call) 26.84 14.42 None svcomp/pthread-wmm/mix016_rmo.opt.yml false(unreach-call) 23.70 12.82 None svcomp/pthread-wmm/mix016_tso.oepc.yml false(unreach-call) 26.08 14.17 None svcomp/pthread-wmm/mix016_tso.opt.yml false(unreach-call) 25.10 13.85 None svcomp/pthread-wmm/mix017_power.oepc.yml false(unreach-call) 24.48 13.24 None svcomp/pthread-wmm/mix017_power.opt.yml false(unreach-call) 29.27 15.59 None svcomp/pthread-wmm/mix017_pso.oepc.yml false(unreach-call) 27.28 14.49 None svcomp/pthread-wmm/mix017_pso.opt.yml false(unreach-call) 24.88 13.57 None svcomp/pthread-wmm/mix017_rmo.oepc.yml false(unreach-call) 28.94 15.36 None svcomp/pthread-wmm/mix017_rmo.opt.yml false(unreach-call) 34.19 19.06 None svcomp/pthread-wmm/mix017_tso.oepc.yml false(unreach-call) 29.14 15.68 None svcomp/pthread-wmm/mix017_tso.opt.yml false(unreach-call) 26.31 14.12 None svcomp/pthread-wmm/mix018_power.oepc.yml false(unreach-call) 24.53 13.25 None svcomp/pthread-wmm/mix018_power.opt.yml false(unreach-call) 32.35 17.00 None svcomp/pthread-wmm/mix018_pso.oepc.yml false(unreach-call) 28.11 14.99 None svcomp/pthread-wmm/mix018_pso.opt.yml false(unreach-call) 31.54 17.17 None svcomp/pthread-wmm/mix018_rmo.oepc.yml false(unreach-call) 26.63 14.40 None svcomp/pthread-wmm/mix018_rmo.opt.yml false(unreach-call) 29.14 16.05 None svcomp/pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 39.07 23.50 None svcomp/pthread-wmm/mix018_tso.opt.yml false(unreach-call) 31.97 17.20 None svcomp/pthread-wmm/mix019_power.oepc.yml false(unreach-call) 25.49 13.87 None svcomp/pthread-wmm/mix019_power.opt.yml false(unreach-call) 29.21 15.69 None svcomp/pthread-wmm/mix019_pso.oepc.yml false(unreach-call) 26.19 14.07 None svcomp/pthread-wmm/mix019_pso.opt.yml false(unreach-call) 24.97 13.64 None svcomp/pthread-wmm/mix019_rmo.oepc.yml false(unreach-call) 26.93 14.47 None svcomp/pthread-wmm/mix019_rmo.opt.yml false(unreach-call) 24.74 13.45 None svcomp/pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 31.07 17.70 None svcomp/pthread-wmm/mix019_tso.opt.yml false(unreach-call) 24.13 13.22 None svcomp/pthread-wmm/mix020_power.oepc.yml false(unreach-call) 27.22 14.98 None svcomp/pthread-wmm/mix020_power.opt.yml false(unreach-call) 30.25 16.15 None svcomp/pthread-wmm/mix020_pso.oepc.yml false(unreach-call) 26.47 14.21 None svcomp/pthread-wmm/mix020_pso.opt.yml false(unreach-call) 31.45 16.61 None svcomp/pthread-wmm/mix020_rmo.oepc.yml false(unreach-call) 26.00 14.02 None svcomp/pthread-wmm/mix020_rmo.opt.yml false(unreach-call) 27.75 14.87 None svcomp/pthread-wmm/mix020_tso.oepc.yml false(unreach-call) 28.67 15.48 None svcomp/pthread-wmm/mix020_tso.opt.yml false(unreach-call) 28.68 15.50 None svcomp/pthread-wmm/mix021_power.oepc.yml false(unreach-call) 30.82 16.78 None svcomp/pthread-wmm/mix021_power.opt.yml false(unreach-call) 28.08 15.40 None svcomp/pthread-wmm/mix021_pso.oepc.yml false(unreach-call) 31.64 16.67 None svcomp/pthread-wmm/mix021_pso.opt.yml false(unreach-call) 28.67 15.81 None svcomp/pthread-wmm/mix021_rmo.oepc.yml false(unreach-call) 29.42 15.79 None svcomp/pthread-wmm/mix021_rmo.opt.yml false(unreach-call) 28.53 15.56 None svcomp/pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 44.75 25.65 None svcomp/pthread-wmm/mix021_tso.opt.yml false(unreach-call) 27.64 15.03 None svcomp/pthread-wmm/mix022_power.oepc.yml false(unreach-call) 22.34 11.88 None svcomp/pthread-wmm/mix022_power.opt.yml false(unreach-call) 21.94 11.88 None svcomp/pthread-wmm/mix022_pso.oepc.yml false(unreach-call) 21.91 11.89 None svcomp/pthread-wmm/mix022_pso.opt.yml false(unreach-call) 21.08 11.50 None svcomp/pthread-wmm/mix022_rmo.oepc.yml false(unreach-call) 22.34 12.15 None svcomp/pthread-wmm/mix022_rmo.opt.yml false(unreach-call) 22.19 11.93 None svcomp/pthread-wmm/mix022_tso.oepc.yml false(unreach-call) 25.04 13.63 None svcomp/pthread-wmm/mix022_tso.opt.yml false(unreach-call) 24.48 12.97 None svcomp/pthread-wmm/mix023_power.oepc.yml false(unreach-call) 33.23 18.19 None svcomp/pthread-wmm/mix023_power.opt.yml false(unreach-call) 24.72 13.72 None svcomp/pthread-wmm/mix023_pso.oepc.yml false(unreach-call) 33.31 18.18 None svcomp/pthread-wmm/mix023_pso.opt.yml false(unreach-call) 26.90 14.48 None svcomp/pthread-wmm/mix023_rmo.oepc.yml false(unreach-call) 33.08 17.64 None svcomp/pthread-wmm/mix023_rmo.opt.yml false(unreach-call) 27.44 14.84 None svcomp/pthread-wmm/mix023_tso.oepc.yml false(unreach-call) 86.46 61.12 None svcomp/pthread-wmm/mix023_tso.opt.yml false(unreach-call) 82.15 56.32 None svcomp/pthread-wmm/mix024_power.oepc.yml false(unreach-call) 26.34 14.52 None svcomp/pthread-wmm/mix024_power.opt.yml false(unreach-call) 28.87 15.36 None svcomp/pthread-wmm/mix024_pso.oepc.yml false(unreach-call) 25.85 13.91 None svcomp/pthread-wmm/mix024_pso.opt.yml false(unreach-call) 24.46 13.21 None svcomp/pthread-wmm/mix024_rmo.oepc.yml false(unreach-call) 25.39 13.68 None svcomp/pthread-wmm/mix024_rmo.opt.yml false(unreach-call) 26.65 14.21 None svcomp/pthread-wmm/mix024_tso.oepc.yml false(unreach-call) 26.15 13.92 None svcomp/pthread-wmm/mix024_tso.opt.yml false(unreach-call) 29.50 16.45 None svcomp/pthread-wmm/mix025_power.oepc.yml false(unreach-call) 25.78 13.68 None svcomp/pthread-wmm/mix025_power.opt.yml false(unreach-call) 24.88 13.54 None svcomp/pthread-wmm/mix025_pso.oepc.yml false(unreach-call) 27.63 15.00 None svcomp/pthread-wmm/mix025_pso.opt.yml false(unreach-call) 25.92 13.93 None svcomp/pthread-wmm/mix025_rmo.oepc.yml false(unreach-call) 24.70 13.49 None svcomp/pthread-wmm/mix025_rmo.opt.yml false(unreach-call) 25.09 13.60 None svcomp/pthread-wmm/mix025_tso.oepc.yml false(unreach-call) 24.73 13.63 None svcomp/pthread-wmm/mix025_tso.opt.yml false(unreach-call) 26.30 14.21 None svcomp/pthread-wmm/mix026_power.oepc.yml false(unreach-call) 28.75 15.44 None svcomp/pthread-wmm/mix026_power.opt.yml false(unreach-call) 29.55 15.85 None svcomp/pthread-wmm/mix026_pso.oepc.yml false(unreach-call) 26.32 14.21 None svcomp/pthread-wmm/mix026_pso.opt.yml false(unreach-call) 29.58 16.07 None svcomp/pthread-wmm/mix026_rmo.oepc.yml false(unreach-call) 26.07 13.89 None svcomp/pthread-wmm/mix026_rmo.opt.yml false(unreach-call) 28.62 15.42 None svcomp/pthread-wmm/mix026_tso.oepc.yml false(unreach-call) 25.73 13.94 None svcomp/pthread-wmm/mix026_tso.opt.yml false(unreach-call) 28.53 15.34 None svcomp/pthread-wmm/mix027_power.oepc.yml false(unreach-call) 33.32 17.84 None svcomp/pthread-wmm/mix027_power.opt.yml false(unreach-call) 29.27 15.97 None svcomp/pthread-wmm/mix027_pso.oepc.yml false(unreach-call) 31.71 16.82 None svcomp/pthread-wmm/mix027_pso.opt.yml false(unreach-call) 25.66 13.99 None svcomp/pthread-wmm/mix027_rmo.oepc.yml false(unreach-call) 31.27 16.87 None svcomp/pthread-wmm/mix027_rmo.opt.yml false(unreach-call) 27.56 14.82 None svcomp/pthread-wmm/mix027_tso.oepc.yml false(unreach-call) 45.99 27.01 None svcomp/pthread-wmm/mix027_tso.opt.yml false(unreach-call) 45.65 26.48 None svcomp/pthread-wmm/mix028_power.oepc.yml false(unreach-call) 22.56 12.36 None svcomp/pthread-wmm/mix028_power.opt.yml false(unreach-call) 32.88 19.82 None svcomp/pthread-wmm/mix028_pso.oepc.yml false(unreach-call) 25.56 14.03 None svcomp/pthread-wmm/mix028_pso.opt.yml false(unreach-call) 35.72 20.72 None svcomp/pthread-wmm/mix028_rmo.oepc.yml false(unreach-call) 27.70 15.19 None svcomp/pthread-wmm/mix028_rmo.opt.yml false(unreach-call) 32.46 19.42 None svcomp/pthread-wmm/mix028_tso.oepc.yml false(unreach-call) 25.18 13.75 None svcomp/pthread-wmm/mix028_tso.opt.yml false(unreach-call) 26.45 14.00 None svcomp/pthread-wmm/mix029_power.oepc.yml false(unreach-call) 32.37 17.45 None svcomp/pthread-wmm/mix029_power.opt.yml false(unreach-call) 38.64 22.58 None svcomp/pthread-wmm/mix029_pso.oepc.yml false(unreach-call) 31.20 16.92 None svcomp/pthread-wmm/mix029_pso.opt.yml false(unreach-call) 41.71 24.34 None svcomp/pthread-wmm/mix029_rmo.oepc.yml false(unreach-call) 32.87 17.47 None svcomp/pthread-wmm/mix029_rmo.opt.yml false(unreach-call) 38.13 21.58 None svcomp/pthread-wmm/mix029_tso.oepc.yml false(unreach-call) 33.45 18.11 None svcomp/pthread-wmm/mix029_tso.opt.yml false(unreach-call) 32.45 17.52 None svcomp/pthread-wmm/mix030_power.oepc.yml false(unreach-call) 30.11 15.99 None svcomp/pthread-wmm/mix030_power.opt.yml false(unreach-call) 40.21 22.59 None svcomp/pthread-wmm/mix030_pso.oepc.yml false(unreach-call) 29.32 15.91 None svcomp/pthread-wmm/mix030_pso.opt.yml false(unreach-call) 45.03 26.09 None svcomp/pthread-wmm/mix030_rmo.oepc.yml false(unreach-call) 28.39 15.44 None svcomp/pthread-wmm/mix030_rmo.opt.yml false(unreach-call) 43.69 24.54 None svcomp/pthread-wmm/mix030_tso.oepc.yml false(unreach-call) 38.49 22.62 None svcomp/pthread-wmm/mix030_tso.opt.yml false(unreach-call) 41.00 23.12 None svcomp/pthread-wmm/mix031_power.oepc.yml false(unreach-call) 21.50 11.83 None svcomp/pthread-wmm/mix031_power.opt.yml false(unreach-call) 21.09 11.58 None svcomp/pthread-wmm/mix031_pso.oepc.yml false(unreach-call) 21.88 11.82 None svcomp/pthread-wmm/mix031_pso.opt.yml false(unreach-call) 22.22 12.07 None svcomp/pthread-wmm/mix031_rmo.oepc.yml false(unreach-call) 20.49 11.13 None svcomp/pthread-wmm/mix031_rmo.opt.yml false(unreach-call) 22.17 12.11 None svcomp/pthread-wmm/mix031_tso.oepc.yml false(unreach-call) 21.67 11.84 None svcomp/pthread-wmm/mix031_tso.opt.yml false(unreach-call) 22.57 12.14 None svcomp/pthread-wmm/mix032_power.oepc.yml false(unreach-call) 22.60 12.26 None svcomp/pthread-wmm/mix032_power.opt.yml false(unreach-call) 22.73 12.33 None svcomp/pthread-wmm/mix032_pso.oepc.yml false(unreach-call) 23.28 12.56 None svcomp/pthread-wmm/mix032_pso.opt.yml false(unreach-call) 21.11 11.68 None svcomp/pthread-wmm/mix032_rmo.oepc.yml false(unreach-call) 23.95 12.81 None svcomp/pthread-wmm/mix032_rmo.opt.yml false(unreach-call) 22.58 12.33 None svcomp/pthread-wmm/mix032_tso.oepc.yml false(unreach-call) 22.34 12.14 None svcomp/pthread-wmm/mix032_tso.opt.yml false(unreach-call) 22.30 12.13 None svcomp/pthread-wmm/mix033_power.oepc.yml false(unreach-call) 25.51 13.83 None svcomp/pthread-wmm/mix033_power.opt.yml false(unreach-call) 22.25 12.32 None svcomp/pthread-wmm/mix033_pso.oepc.yml false(unreach-call) 25.04 13.37 None svcomp/pthread-wmm/mix033_pso.opt.yml false(unreach-call) 22.67 12.32 None svcomp/pthread-wmm/mix033_rmo.oepc.yml false(unreach-call) 26.05 14.19 None svcomp/pthread-wmm/mix033_rmo.opt.yml false(unreach-call) 23.61 12.76 None svcomp/pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 36.64 21.60 None svcomp/pthread-wmm/mix033_tso.opt.yml false(unreach-call) 23.06 12.32 None svcomp/pthread-wmm/mix034_power.oepc.yml false(unreach-call) 21.60 11.69 None svcomp/pthread-wmm/mix034_power.opt.yml false(unreach-call) 20.26 10.97 None svcomp/pthread-wmm/mix034_pso.oepc.yml false(unreach-call) 20.71 11.16 None svcomp/pthread-wmm/mix034_pso.opt.yml false(unreach-call) 21.06 11.45 None svcomp/pthread-wmm/mix034_rmo.oepc.yml false(unreach-call) 20.52 11.23 None svcomp/pthread-wmm/mix034_rmo.opt.yml false(unreach-call) 20.35 11.08 None svcomp/pthread-wmm/mix034_tso.oepc.yml false(unreach-call) 20.58 11.38 None svcomp/pthread-wmm/mix034_tso.opt.yml false(unreach-call) 19.14 10.60 None svcomp/pthread-wmm/mix035_power.oepc.yml false(unreach-call) 24.45 13.46 None svcomp/pthread-wmm/mix035_power.opt.yml false(unreach-call) 21.79 11.86 None svcomp/pthread-wmm/mix035_pso.oepc.yml false(unreach-call) 24.89 13.36 None svcomp/pthread-wmm/mix035_pso.opt.yml false(unreach-call) 21.83 11.95 None svcomp/pthread-wmm/mix035_rmo.oepc.yml false(unreach-call) 24.61 13.38 None svcomp/pthread-wmm/mix035_rmo.opt.yml false(unreach-call) 22.63 12.34 None svcomp/pthread-wmm/mix035_tso.oepc.yml false(unreach-call) 22.55 12.33 None svcomp/pthread-wmm/mix035_tso.opt.yml false(unreach-call) 21.28 11.52 None svcomp/pthread-wmm/mix036_power.oepc.yml false(unreach-call) 27.67 14.95 None svcomp/pthread-wmm/mix036_power.opt.yml false(unreach-call) 26.47 14.20 None svcomp/pthread-wmm/mix036_pso.oepc.yml false(unreach-call) 29.07 15.56 None svcomp/pthread-wmm/mix036_pso.opt.yml false(unreach-call) 26.24 14.12 None svcomp/pthread-wmm/mix036_rmo.oepc.yml false(unreach-call) 28.45 15.55 None svcomp/pthread-wmm/mix036_rmo.opt.yml false(unreach-call) 23.39 13.14 None svcomp/pthread-wmm/mix036_tso.oepc.yml false(unreach-call) 28.00 15.38 None svcomp/pthread-wmm/mix036_tso.opt.yml false(unreach-call) 24.92 13.47 None svcomp/pthread-wmm/mix037_power.oepc.yml false(unreach-call) 32.15 17.35 None svcomp/pthread-wmm/mix037_power.opt.yml false(unreach-call) 23.91 13.33 None svcomp/pthread-wmm/mix037_pso.oepc.yml false(unreach-call) 30.92 16.71 None svcomp/pthread-wmm/mix037_pso.opt.yml false(unreach-call) 24.50 13.09 None svcomp/pthread-wmm/mix037_rmo.oepc.yml false(unreach-call) 32.08 17.20 None svcomp/pthread-wmm/mix037_rmo.opt.yml false(unreach-call) 23.90 13.27 None svcomp/pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 43.08 24.94 None svcomp/pthread-wmm/mix037_tso.opt.yml false(unreach-call) 24.76 13.45 None svcomp/pthread-wmm/mix038_power.oepc.yml false(unreach-call) 26.17 14.26 None svcomp/pthread-wmm/mix038_power.opt.yml false(unreach-call) 21.97 11.81 None svcomp/pthread-wmm/mix038_pso.oepc.yml false(unreach-call) 25.40 13.75 None svcomp/pthread-wmm/mix038_pso.opt.yml false(unreach-call) 24.79 13.46 None svcomp/pthread-wmm/mix038_rmo.oepc.yml false(unreach-call) 25.80 13.69 None svcomp/pthread-wmm/mix038_rmo.opt.yml false(unreach-call) 25.54 13.58 None svcomp/pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 32.33 18.96 None svcomp/pthread-wmm/mix038_tso.opt.yml false(unreach-call) 22.63 12.54 None svcomp/pthread-wmm/mix039_power.oepc.yml false(unreach-call) 32.07 17.24 None svcomp/pthread-wmm/mix039_power.opt.yml false(unreach-call) 25.62 13.58 None svcomp/pthread-wmm/mix039_pso.oepc.yml false(unreach-call) 34.14 18.27 None svcomp/pthread-wmm/mix039_pso.opt.yml false(unreach-call) 25.01 13.58 None svcomp/pthread-wmm/mix039_rmo.oepc.yml false(unreach-call) 32.84 17.85 None svcomp/pthread-wmm/mix039_rmo.opt.yml false(unreach-call) 24.07 13.23 None svcomp/pthread-wmm/mix039_tso.oepc.yml false(unreach-call) 29.69 15.82 None svcomp/pthread-wmm/mix039_tso.opt.yml false(unreach-call) 24.90 13.34 None svcomp/pthread-wmm/mix040_power.oepc.yml false(unreach-call) 36.50 20.43 None svcomp/pthread-wmm/mix040_power.opt.yml false(unreach-call) 25.50 13.88 None svcomp/pthread-wmm/mix040_pso.oepc.yml false(unreach-call) 31.77 16.83 None svcomp/pthread-wmm/mix040_pso.opt.yml false(unreach-call) 25.54 13.57 None svcomp/pthread-wmm/mix040_rmo.oepc.yml false(unreach-call) 31.70 17.01 None svcomp/pthread-wmm/mix040_rmo.opt.yml false(unreach-call) 25.24 13.53 None svcomp/pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 37.88 21.23 None svcomp/pthread-wmm/mix040_tso.opt.yml false(unreach-call) 25.76 14.02 None svcomp/pthread-wmm/mix041_power.oepc.yml false(unreach-call) 22.63 12.12 None svcomp/pthread-wmm/mix041_power.opt.yml false(unreach-call) 27.14 16.72 None svcomp/pthread-wmm/mix041_pso.oepc.yml false(unreach-call) 21.54 11.73 None svcomp/pthread-wmm/mix041_pso.opt.yml false(unreach-call) 28.64 16.90 None svcomp/pthread-wmm/mix041_rmo.oepc.yml false(unreach-call) 22.79 12.18 None svcomp/pthread-wmm/mix041_rmo.opt.yml false(unreach-call) 27.77 16.64 None svcomp/pthread-wmm/mix041_tso.oepc.yml false(unreach-call) 26.50 16.12 None svcomp/pthread-wmm/mix041_tso.opt.yml false(unreach-call) 29.93 17.62 None svcomp/pthread-wmm/mix042_power.oepc.yml false(unreach-call) 23.60 12.81 None svcomp/pthread-wmm/mix042_power.opt.yml false(unreach-call) 26.90 15.39 None svcomp/pthread-wmm/mix042_pso.oepc.yml false(unreach-call) 25.20 13.59 None svcomp/pthread-wmm/mix042_pso.opt.yml false(unreach-call) 29.13 16.09 None svcomp/pthread-wmm/mix042_rmo.oepc.yml false(unreach-call) 24.96 13.35 None svcomp/pthread-wmm/mix042_rmo.opt.yml false(unreach-call) 26.09 14.89 None svcomp/pthread-wmm/mix042_tso.oepc.yml false(unreach-call) 24.23 13.12 None svcomp/pthread-wmm/mix042_tso.opt.yml false(unreach-call) 27.22 15.53 None svcomp/pthread-wmm/mix043_power.oepc.yml false(unreach-call) 31.14 16.90 None svcomp/pthread-wmm/mix043_power.opt.yml false(unreach-call) 33.08 18.32 None svcomp/pthread-wmm/mix043_pso.oepc.yml false(unreach-call) 31.41 17.24 None svcomp/pthread-wmm/mix043_pso.opt.yml false(unreach-call) 32.23 17.69 None svcomp/pthread-wmm/mix043_rmo.oepc.yml false(unreach-call) 30.75 16.79 None svcomp/pthread-wmm/mix043_rmo.opt.yml false(unreach-call) 31.21 17.69 None svcomp/pthread-wmm/mix043_tso.oepc.yml false(unreach-call) 33.15 17.84 None svcomp/pthread-wmm/mix043_tso.opt.yml false(unreach-call) 31.72 17.88 None svcomp/pthread-wmm/mix044_power.oepc.yml false(unreach-call) 30.96 16.50 None svcomp/pthread-wmm/mix044_power.opt.yml false(unreach-call) 36.19 21.25 None svcomp/pthread-wmm/mix044_pso.oepc.yml false(unreach-call) 33.10 18.47 None svcomp/pthread-wmm/mix044_pso.opt.yml false(unreach-call) 34.22 19.89 None svcomp/pthread-wmm/mix044_rmo.oepc.yml false(unreach-call) 30.51 16.28 None svcomp/pthread-wmm/mix044_rmo.opt.yml false(unreach-call) 36.30 21.52 None svcomp/pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 44.81 25.37 None svcomp/pthread-wmm/mix044_tso.opt.yml false(unreach-call) 35.88 21.75 None svcomp/pthread-wmm/mix045_power.oepc.yml false(unreach-call) 24.27 13.04 None svcomp/pthread-wmm/mix045_power.opt.yml false(unreach-call) 31.03 18.30 None svcomp/pthread-wmm/mix045_pso.oepc.yml false(unreach-call) 25.82 13.92 None svcomp/pthread-wmm/mix045_pso.opt.yml false(unreach-call) 29.66 17.56 None svcomp/pthread-wmm/mix045_rmo.oepc.yml false(unreach-call) 24.26 13.20 None svcomp/pthread-wmm/mix045_rmo.opt.yml false(unreach-call) 31.49 18.47 None svcomp/pthread-wmm/mix045_tso.oepc.yml false(unreach-call) 30.20 18.10 None svcomp/pthread-wmm/mix045_tso.opt.yml false(unreach-call) 33.39 19.72 None svcomp/pthread-wmm/mix046_power.oepc.yml false(unreach-call) 35.52 18.73 None svcomp/pthread-wmm/mix046_power.opt.yml false(unreach-call) 41.37 23.61 None svcomp/pthread-wmm/mix046_pso.oepc.yml false(unreach-call) 28.36 15.31 None svcomp/pthread-wmm/mix046_pso.opt.yml false(unreach-call) 38.79 21.99 None svcomp/pthread-wmm/mix046_rmo.oepc.yml false(unreach-call) 28.78 15.52 None svcomp/pthread-wmm/mix046_rmo.opt.yml false(unreach-call) 36.13 21.74 None svcomp/pthread-wmm/mix046_tso.oepc.yml false(unreach-call) 32.03 16.99 None svcomp/pthread-wmm/mix046_tso.opt.yml false(unreach-call) 35.39 20.50 None svcomp/pthread-wmm/mix047_power.oepc.yml false(unreach-call) 31.13 16.92 None svcomp/pthread-wmm/mix047_power.opt.yml false(unreach-call) 33.01 17.45 None svcomp/pthread-wmm/mix047_pso.oepc.yml false(unreach-call) 33.50 18.22 None svcomp/pthread-wmm/mix047_pso.opt.yml false(unreach-call) 31.03 17.02 None svcomp/pthread-wmm/mix047_rmo.oepc.yml false(unreach-call) 30.65 16.30 None svcomp/pthread-wmm/mix047_rmo.opt.yml false(unreach-call) 32.24 17.14 None svcomp/pthread-wmm/mix047_tso.oepc.yml false(unreach-call) 31.24 16.69 None svcomp/pthread-wmm/mix047_tso.opt.yml false(unreach-call) 32.12 17.41 None svcomp/pthread-wmm/mix048_power.oepc.yml false(unreach-call) 20.86 11.36 None svcomp/pthread-wmm/mix048_power.opt.yml false(unreach-call) 21.29 11.47 None svcomp/pthread-wmm/mix048_pso.oepc.yml false(unreach-call) 20.29 11.12 None svcomp/pthread-wmm/mix048_pso.opt.yml false(unreach-call) 20.59 11.07 None svcomp/pthread-wmm/mix048_rmo.oepc.yml false(unreach-call) 21.15 11.50 None svcomp/pthread-wmm/mix048_rmo.opt.yml false(unreach-call) 20.58 11.11 None svcomp/pthread-wmm/mix048_tso.oepc.yml false(unreach-call) 20.97 11.26 None svcomp/pthread-wmm/mix048_tso.opt.yml false(unreach-call) 18.96 10.24 None svcomp/pthread-wmm/mix049_power.oepc.yml false(unreach-call) 23.92 13.19 None svcomp/pthread-wmm/mix049_power.opt.yml false(unreach-call) 24.45 13.29 None svcomp/pthread-wmm/mix049_pso.oepc.yml false(unreach-call) 24.29 13.19 None svcomp/pthread-wmm/mix049_pso.opt.yml false(unreach-call) 24.47 13.30 None svcomp/pthread-wmm/mix049_rmo.oepc.yml false(unreach-call) 24.51 13.38 None svcomp/pthread-wmm/mix049_rmo.opt.yml false(unreach-call) 23.59 12.95 None svcomp/pthread-wmm/mix049_tso.oepc.yml false(unreach-call) 23.47 12.66 None svcomp/pthread-wmm/mix049_tso.opt.yml false(unreach-call) 25.22 13.53 None svcomp/pthread-wmm/mix050_power.oepc.yml false(unreach-call) 29.55 16.14 None svcomp/pthread-wmm/mix050_power.opt.yml false(unreach-call) 29.21 15.70 None svcomp/pthread-wmm/mix050_pso.oepc.yml false(unreach-call) 29.53 15.61 None svcomp/pthread-wmm/mix050_pso.opt.yml false(unreach-call) 30.16 16.11 None svcomp/pthread-wmm/mix050_rmo.oepc.yml false(unreach-call) 28.08 15.48 None svcomp/pthread-wmm/mix050_rmo.opt.yml false(unreach-call) 27.84 14.87 None svcomp/pthread-wmm/mix050_tso.oepc.yml false(unreach-call) 28.74 15.63 None svcomp/pthread-wmm/mix050_tso.opt.yml false(unreach-call) 29.90 15.93 None svcomp/pthread-wmm/mix051_power.oepc.yml false(unreach-call) 28.02 14.93 None svcomp/pthread-wmm/mix051_power.opt.yml false(unreach-call) 28.53 15.39 None svcomp/pthread-wmm/mix051_pso.oepc.yml false(unreach-call) 28.57 15.54 None svcomp/pthread-wmm/mix051_pso.opt.yml false(unreach-call) 22.31 12.11 None svcomp/pthread-wmm/mix051_rmo.oepc.yml false(unreach-call) 28.21 15.31 None svcomp/pthread-wmm/mix051_rmo.opt.yml false(unreach-call) 23.84 12.90 None svcomp/pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 39.99 22.41 None svcomp/pthread-wmm/mix051_tso.opt.yml false(unreach-call) 21.75 12.27 None svcomp/pthread-wmm/mix052_power.oepc.yml false(unreach-call) 23.98 13.11 None svcomp/pthread-wmm/mix052_power.opt.yml false(unreach-call) 23.26 12.85 None svcomp/pthread-wmm/mix052_pso.oepc.yml false(unreach-call) 24.17 12.99 None svcomp/pthread-wmm/mix052_pso.opt.yml false(unreach-call) 22.86 12.39 None svcomp/pthread-wmm/mix052_rmo.oepc.yml false(unreach-call) 24.66 13.22 None svcomp/pthread-wmm/mix052_rmo.opt.yml false(unreach-call) 21.73 11.69 None svcomp/pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 30.72 16.89 None svcomp/pthread-wmm/mix052_tso.opt.yml false(unreach-call) 22.56 12.19 None svcomp/pthread-wmm/mix053_power.oepc.yml false(unreach-call) 30.44 16.21 None svcomp/pthread-wmm/mix053_power.opt.yml false(unreach-call) 24.91 13.27 None svcomp/pthread-wmm/mix053_pso.oepc.yml false(unreach-call) 30.41 16.24 None svcomp/pthread-wmm/mix053_pso.opt.yml false(unreach-call) 24.04 13.02 None svcomp/pthread-wmm/mix053_rmo.oepc.yml false(unreach-call) 29.36 15.91 None svcomp/pthread-wmm/mix053_rmo.opt.yml false(unreach-call) 24.15 13.06 None svcomp/pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 45.33 25.93 None svcomp/pthread-wmm/mix053_tso.opt.yml false(unreach-call) 24.09 12.99 None svcomp/pthread-wmm/mix054_power.oepc.yml false(unreach-call) 21.40 11.66 None svcomp/pthread-wmm/mix054_power.opt.yml false(unreach-call) 21.22 11.63 None svcomp/pthread-wmm/mix054_pso.oepc.yml false(unreach-call) 21.23 11.42 None svcomp/pthread-wmm/mix054_pso.opt.yml false(unreach-call) 26.25 15.63 None svcomp/pthread-wmm/mix054_rmo.oepc.yml false(unreach-call) 22.13 11.84 None svcomp/pthread-wmm/mix054_rmo.opt.yml false(unreach-call) 28.20 16.17 None svcomp/pthread-wmm/mix054_tso.oepc.yml false(unreach-call) 29.65 17.11 None svcomp/pthread-wmm/mix054_tso.opt.yml false(unreach-call) 26.25 15.03 None svcomp/pthread-wmm/mix055_power.oepc.yml false(unreach-call) 33.05 17.62 None svcomp/pthread-wmm/mix055_power.opt.yml false(unreach-call) 31.43 17.73 None svcomp/pthread-wmm/mix055_pso.oepc.yml false(unreach-call) 31.03 16.47 None svcomp/pthread-wmm/mix055_pso.opt.yml false(unreach-call) 30.92 17.29 None svcomp/pthread-wmm/mix055_rmo.oepc.yml false(unreach-call) 33.90 18.50 None svcomp/pthread-wmm/mix055_rmo.opt.yml false(unreach-call) 31.44 17.32 None svcomp/pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 43.40 24.30 None svcomp/pthread-wmm/mix055_tso.opt.yml false(unreach-call) 33.05 18.59 None svcomp/pthread-wmm/mix056_power.oepc.yml false(unreach-call) 21.46 11.63 None svcomp/pthread-wmm/mix056_power.opt.yml false(unreach-call) 26.72 14.41 None svcomp/pthread-wmm/mix056_pso.oepc.yml false(unreach-call) 19.05 10.45 None svcomp/pthread-wmm/mix056_pso.opt.yml false(unreach-call) 27.69 15.15 None svcomp/pthread-wmm/mix056_rmo.oepc.yml false(unreach-call) 22.94 12.16 None svcomp/pthread-wmm/mix056_rmo.opt.yml false(unreach-call) 27.79 14.81 None svcomp/pthread-wmm/mix056_tso.oepc.yml false(unreach-call) 28.08 15.04 None svcomp/pthread-wmm/mix056_tso.opt.yml false(unreach-call) 27.07 14.69 None svcomp/pthread-wmm/mix057_power.oepc.yml false(unreach-call) 33.03 17.84 None svcomp/pthread-wmm/mix057_power.opt.yml false(unreach-call) 40.18 23.89 None svcomp/pthread-wmm/mix057_pso.oepc.yml false(unreach-call) 34.50 19.19 None svcomp/pthread-wmm/mix057_pso.opt.yml false(unreach-call) 37.67 22.84 None svcomp/pthread-wmm/mix057_rmo.oepc.yml false(unreach-call) 30.87 16.62 None svcomp/pthread-wmm/mix057_rmo.opt.yml false(unreach-call) 38.34 23.18 None svcomp/pthread-wmm/mix057_tso.oepc.yml false(unreach-call) 37.98 22.61 None svcomp/pthread-wmm/mix057_tso.opt.yml false(unreach-call) 41.15 24.07 None svcomp/pthread-wmm/podwr000_power.oepc.yml false(unreach-call) 21.16 11.43 None svcomp/pthread-wmm/podwr000_power.opt.yml false(unreach-call) 19.78 10.88 None svcomp/pthread-wmm/podwr000_pso.oepc.yml false(unreach-call) 20.10 11.05 None svcomp/pthread-wmm/podwr000_pso.opt.yml false(unreach-call) 21.29 11.49 None svcomp/pthread-wmm/podwr000_rmo.oepc.yml false(unreach-call) 20.91 11.39 None svcomp/pthread-wmm/podwr000_rmo.opt.yml false(unreach-call) 20.92 11.35 None svcomp/pthread-wmm/podwr000_tso.oepc.yml false(unreach-call) 19.98 10.89 None svcomp/pthread-wmm/podwr000_tso.opt.yml false(unreach-call) 21.07 11.40 None svcomp/pthread-wmm/podwr001_power.oepc.yml false(unreach-call) 24.40 13.53 None svcomp/pthread-wmm/podwr001_power.opt.yml false(unreach-call) 23.65 12.92 None svcomp/pthread-wmm/podwr001_pso.oepc.yml false(unreach-call) 24.02 13.29 None svcomp/pthread-wmm/podwr001_pso.opt.yml false(unreach-call) 23.50 12.75 None svcomp/pthread-wmm/podwr001_rmo.oepc.yml false(unreach-call) 23.64 13.01 None svcomp/pthread-wmm/podwr001_rmo.opt.yml false(unreach-call) 24.26 13.36 None svcomp/pthread-wmm/podwr001_tso.oepc.yml false(unreach-call) 23.57 13.14 None svcomp/pthread-wmm/podwr001_tso.opt.yml false(unreach-call) 23.72 13.24 None svcomp/pthread-wmm/rfi000_power.oepc.yml false(unreach-call) 30.51 16.37 None svcomp/pthread-wmm/rfi000_power.opt.yml false(unreach-call) 31.20 18.90 None svcomp/pthread-wmm/rfi000_pso.oepc.yml false(unreach-call) 28.69 15.42 None svcomp/pthread-wmm/rfi000_pso.opt.yml false(unreach-call) 30.31 18.59 None svcomp/pthread-wmm/rfi000_rmo.oepc.yml false(unreach-call) 31.66 17.37 None svcomp/pthread-wmm/rfi000_rmo.opt.yml false(unreach-call) 30.98 18.85 None svcomp/pthread-wmm/rfi000_tso.oepc.yml true 40.23 23.07 None svcomp/pthread-wmm/rfi000_tso.opt.yml true 43.72 25.31 None svcomp/pthread-wmm/rfi001_power.oepc.yml false(unreach-call) 22.13 11.91 None svcomp/pthread-wmm/rfi001_power.opt.yml false(unreach-call) 22.81 13.08 None svcomp/pthread-wmm/rfi001_pso.oepc.yml false(unreach-call) 21.91 12.04 None svcomp/pthread-wmm/rfi001_pso.opt.yml false(unreach-call) 24.44 13.93 None svcomp/pthread-wmm/rfi001_rmo.oepc.yml false(unreach-call) 21.48 11.67 None svcomp/pthread-wmm/rfi001_rmo.opt.yml false(unreach-call) 23.93 14.11 None svcomp/pthread-wmm/rfi001_tso.oepc.yml false(unreach-call) 23.11 13.29 None svcomp/pthread-wmm/rfi001_tso.opt.yml false(unreach-call) 25.12 14.25 None svcomp/pthread-wmm/rfi002_power.oepc.yml true 42.53 23.22 None svcomp/pthread-wmm/rfi002_power.opt.yml true 42.99 23.62 None svcomp/pthread-wmm/rfi002_pso.oepc.yml true 44.23 24.47 None svcomp/pthread-wmm/rfi002_pso.opt.yml true 49.26 27.62 None svcomp/pthread-wmm/rfi002_rmo.oepc.yml true 46.45 25.42 None svcomp/pthread-wmm/rfi002_rmo.opt.yml true 42.04 22.90 None svcomp/pthread-wmm/rfi002_tso.oepc.yml true 64.40 37.61 None svcomp/pthread-wmm/rfi002_tso.opt.yml true 50.87 28.82 None svcomp/pthread-wmm/rfi003_power.oepc.yml false(unreach-call) 20.52 11.37 None svcomp/pthread-wmm/rfi003_power.opt.yml false(unreach-call) 20.95 11.27 None svcomp/pthread-wmm/rfi003_pso.oepc.yml false(unreach-call) 20.95 11.34 None svcomp/pthread-wmm/rfi003_pso.opt.yml false(unreach-call) 18.99 10.46 None svcomp/pthread-wmm/rfi003_rmo.oepc.yml false(unreach-call) 20.42 11.23 None svcomp/pthread-wmm/rfi003_rmo.opt.yml false(unreach-call) 21.35 11.53 None svcomp/pthread-wmm/rfi003_tso.oepc.yml true 38.08 22.56 None svcomp/pthread-wmm/rfi003_tso.opt.yml true 39.73 24.57 None svcomp/pthread-wmm/rfi004_power.oepc.yml false(unreach-call) 20.77 11.25 None svcomp/pthread-wmm/rfi004_power.opt.yml false(unreach-call) 20.38 11.40 None svcomp/pthread-wmm/rfi004_pso.oepc.yml false(unreach-call) 21.00 11.62 None svcomp/pthread-wmm/rfi004_pso.opt.yml false(unreach-call) 21.83 11.84 None svcomp/pthread-wmm/rfi004_rmo.oepc.yml false(unreach-call) 20.78 11.60 None svcomp/pthread-wmm/rfi004_rmo.opt.yml false(unreach-call) 20.92 11.37 None svcomp/pthread-wmm/rfi004_tso.oepc.yml false(unreach-call) 21.04 11.43 None svcomp/pthread-wmm/rfi004_tso.opt.yml false(unreach-call) 22.50 12.15 None svcomp/pthread-wmm/rfi005_power.oepc.yml false(unreach-call) 40.20 22.80 None svcomp/pthread-wmm/rfi005_power.opt.yml false(unreach-call) 36.74 21.76 None svcomp/pthread-wmm/rfi005_pso.oepc.yml false(unreach-call) 39.02 22.57 None svcomp/pthread-wmm/rfi005_pso.opt.yml false(unreach-call) 39.66 22.68 None svcomp/pthread-wmm/rfi005_rmo.oepc.yml false(unreach-call) 35.06 20.66 None svcomp/pthread-wmm/rfi005_rmo.opt.yml false(unreach-call) 35.30 21.26 None svcomp/pthread-wmm/rfi005_tso.oepc.yml false(unreach-call) 41.09 23.22 None svcomp/pthread-wmm/rfi005_tso.opt.yml false(unreach-call) 46.01 24.92 None svcomp/pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 40.66 24.04 None svcomp/pthread-wmm/rfi006_power.opt.yml false(unreach-call) 39.80 23.98 None svcomp/pthread-wmm/rfi006_pso.oepc.yml false(unreach-call) 32.80 18.19 None svcomp/pthread-wmm/rfi006_pso.opt.yml false(unreach-call) 30.16 16.92 None svcomp/pthread-wmm/rfi006_rmo.oepc.yml false(unreach-call) 27.00 16.07 None svcomp/pthread-wmm/rfi006_rmo.opt.yml false(unreach-call) 33.06 19.46 None svcomp/pthread-wmm/rfi006_tso.oepc.yml false(unreach-call) 33.17 18.31 None svcomp/pthread-wmm/rfi006_tso.opt.yml false(unreach-call) 34.13 19.44 None svcomp/pthread-wmm/rfi007_power.oepc.yml false(unreach-call) 21.91 11.84 None svcomp/pthread-wmm/rfi007_power.opt.yml false(unreach-call) 20.76 11.22 None svcomp/pthread-wmm/rfi007_pso.oepc.yml false(unreach-call) 22.61 12.17 None svcomp/pthread-wmm/rfi007_pso.opt.yml false(unreach-call) 22.31 12.13 None svcomp/pthread-wmm/rfi007_rmo.oepc.yml false(unreach-call) 22.70 12.24 None svcomp/pthread-wmm/rfi007_rmo.opt.yml false(unreach-call) 20.39 11.10 None svcomp/pthread-wmm/rfi007_tso.oepc.yml false(unreach-call) 30.24 16.85 None svcomp/pthread-wmm/rfi007_tso.opt.yml false(unreach-call) 28.77 16.14 None svcomp/pthread-wmm/rfi008_power.oepc.yml false(unreach-call) 25.95 13.80 None svcomp/pthread-wmm/rfi008_power.opt.yml false(unreach-call) 25.77 13.60 None svcomp/pthread-wmm/rfi008_pso.oepc.yml false(unreach-call) 24.29 13.21 None svcomp/pthread-wmm/rfi008_pso.opt.yml false(unreach-call) 24.57 13.20 None svcomp/pthread-wmm/rfi008_rmo.oepc.yml false(unreach-call) 23.38 12.50 None svcomp/pthread-wmm/rfi008_rmo.opt.yml false(unreach-call) 23.81 12.92 None svcomp/pthread-wmm/rfi008_tso.oepc.yml false(unreach-call) 25.25 13.61 None svcomp/pthread-wmm/rfi008_tso.opt.yml false(unreach-call) 24.62 13.29 None svcomp/pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 35.02 21.15 None svcomp/pthread-wmm/rfi009_power.opt.yml false(unreach-call) 27.03 14.64 None svcomp/pthread-wmm/rfi009_pso.oepc.yml false(unreach-call) 26.60 14.25 None svcomp/pthread-wmm/rfi009_pso.opt.yml false(unreach-call) 23.19 12.97 None svcomp/pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 41.03 24.29 None svcomp/pthread-wmm/rfi009_rmo.opt.yml false(unreach-call) 26.06 14.34 None svcomp/pthread-wmm/rfi009_tso.oepc.yml false(unreach-call) 26.31 14.37 None svcomp/pthread-wmm/rfi009_tso.opt.yml false(unreach-call) 26.91 14.40 None svcomp/pthread-wmm/rfi010_power.oepc.yml false(unreach-call) 22.71 12.38 None svcomp/pthread-wmm/rfi010_power.opt.yml false(unreach-call) 21.83 11.91 None svcomp/pthread-wmm/rfi010_pso.oepc.yml false(unreach-call) 21.76 12.17 None svcomp/pthread-wmm/rfi010_pso.opt.yml false(unreach-call) 23.01 12.36 None svcomp/pthread-wmm/rfi010_rmo.oepc.yml false(unreach-call) 22.55 12.26 None svcomp/pthread-wmm/rfi010_rmo.opt.yml false(unreach-call) 23.49 12.50 None svcomp/pthread-wmm/rfi010_tso.oepc.yml false(unreach-call) 20.54 11.22 None svcomp/pthread-wmm/rfi010_tso.opt.yml false(unreach-call) 22.65 12.29 None svcomp/pthread-wmm/safe000_power.oepc.yml false(unreach-call) 51.99 31.65 None svcomp/pthread-wmm/safe000_power.opt.yml false(unreach-call) 39.66 24.05 None svcomp/pthread-wmm/safe000_pso.oepc.yml true 13.07 7.33 None svcomp/pthread-wmm/safe000_pso.opt.yml true 13.28 7.39 None svcomp/pthread-wmm/safe000_rmo.oepc.yml false(unreach-call) 42.29 25.16 None svcomp/pthread-wmm/safe000_rmo.opt.yml false(unreach-call) 48.95 28.34 None svcomp/pthread-wmm/safe000_tso.oepc.yml true 13.23 7.32 None svcomp/pthread-wmm/safe000_tso.opt.yml true 13.14 7.26 None svcomp/pthread-wmm/safe001_power.oepc.yml false(unreach-call) 71.61 45.51 None svcomp/pthread-wmm/safe001_power.opt.yml false(unreach-call) 27.93 15.84 None svcomp/pthread-wmm/safe001_pso.oepc.yml false(unreach-call) 28.57 16.59 None svcomp/pthread-wmm/safe001_pso.opt.yml false(unreach-call) 29.77 16.69 None svcomp/pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 54.09 31.97 None svcomp/pthread-wmm/safe001_rmo.opt.yml false(unreach-call) 27.09 15.18 None svcomp/pthread-wmm/safe001_tso.oepc.yml true 14.74 8.06 None svcomp/pthread-wmm/safe001_tso.opt.yml true 13.73 7.58 None svcomp/pthread-wmm/safe002_power.oepc.yml false(unreach-call) 49.24 30.48 None svcomp/pthread-wmm/safe002_power.opt.yml false(unreach-call) 23.68 12.81 None svcomp/pthread-wmm/safe002_pso.oepc.yml false(unreach-call) 27.30 14.54 None svcomp/pthread-wmm/safe002_pso.opt.yml false(unreach-call) 24.17 13.10 None svcomp/pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 43.21 26.06 None svcomp/pthread-wmm/safe002_rmo.opt.yml false(unreach-call) 24.24 12.99 None svcomp/pthread-wmm/safe002_tso.oepc.yml true 13.65 7.64 None svcomp/pthread-wmm/safe002_tso.opt.yml true 14.32 8.18 None svcomp/pthread-wmm/safe003_power.oepc.yml false(unreach-call) 52.52 30.66 None svcomp/pthread-wmm/safe003_power.opt.yml false(unreach-call) 37.64 22.72 None svcomp/pthread-wmm/safe003_pso.oepc.yml false(unreach-call) 52.38 31.50 None svcomp/pthread-wmm/safe003_pso.opt.yml false(unreach-call) 54.46 31.58 None svcomp/pthread-wmm/safe003_rmo.oepc.yml false(unreach-call) 57.04 33.82 None svcomp/pthread-wmm/safe003_rmo.opt.yml false(unreach-call) 55.18 32.45 None svcomp/pthread-wmm/safe003_tso.oepc.yml true 12.56 7.10 None svcomp/pthread-wmm/safe003_tso.opt.yml true 13.26 7.25 None svcomp/pthread-wmm/safe004_power.oepc.yml false(unreach-call) 41.94 23.86 None svcomp/pthread-wmm/safe004_power.opt.yml false(unreach-call) 26.83 15.00 None svcomp/pthread-wmm/safe004_pso.oepc.yml false(unreach-call) 35.98 19.53 None svcomp/pthread-wmm/safe004_pso.opt.yml false(unreach-call) 29.26 15.93 None svcomp/pthread-wmm/safe004_rmo.oepc.yml false(unreach-call) 41.37 22.98 None svcomp/pthread-wmm/safe004_rmo.opt.yml false(unreach-call) 27.77 15.88 None svcomp/pthread-wmm/safe004_tso.oepc.yml true 14.70 8.00 None svcomp/pthread-wmm/safe004_tso.opt.yml true 13.44 7.38 None svcomp/pthread-wmm/safe005_power.oepc.yml false(unreach-call) 24.65 13.46 None svcomp/pthread-wmm/safe005_power.opt.yml false(unreach-call) 24.66 13.32 None svcomp/pthread-wmm/safe005_pso.oepc.yml false(unreach-call) 24.77 13.38 None svcomp/pthread-wmm/safe005_pso.opt.yml false(unreach-call) 22.76 12.31 None svcomp/pthread-wmm/safe005_rmo.oepc.yml false(unreach-call) 25.94 13.96 None svcomp/pthread-wmm/safe005_rmo.opt.yml false(unreach-call) 23.68 13.00 None svcomp/pthread-wmm/safe005_tso.oepc.yml true 14.22 7.83 None svcomp/pthread-wmm/safe005_tso.opt.yml true 13.53 7.54 None svcomp/pthread-wmm/safe006_power.oepc.yml false(unreach-call) 30.73 19.43 None svcomp/pthread-wmm/safe006_power.opt.yml false(unreach-call) 33.62 21.13 None svcomp/pthread-wmm/safe006_pso.oepc.yml true 11.53 6.59 None svcomp/pthread-wmm/safe006_pso.opt.yml true 11.54 6.51 None svcomp/pthread-wmm/safe006_rmo.oepc.yml false(unreach-call) 29.02 16.23 None svcomp/pthread-wmm/safe006_rmo.opt.yml false(unreach-call) 25.94 14.89 None svcomp/pthread-wmm/safe006_tso.oepc.yml true 11.80 6.61 None svcomp/pthread-wmm/safe006_tso.opt.yml true 12.11 6.66 None svcomp/pthread-wmm/safe007_power.oepc.yml false(unreach-call) 37.11 22.63 None svcomp/pthread-wmm/safe007_power.opt.yml false(unreach-call) 41.73 24.74 None svcomp/pthread-wmm/safe007_pso.oepc.yml true 13.41 7.49 None svcomp/pthread-wmm/safe007_pso.opt.yml true 13.32 7.36 None svcomp/pthread-wmm/safe007_rmo.oepc.yml false(unreach-call) 25.11 14.59 None svcomp/pthread-wmm/safe007_rmo.opt.yml false(unreach-call) 26.19 15.01 None svcomp/pthread-wmm/safe007_tso.oepc.yml true 12.23 6.84 None svcomp/pthread-wmm/safe007_tso.opt.yml true 13.20 7.44 None svcomp/pthread-wmm/safe008_power.oepc.yml false(unreach-call) 31.99 18.31 None svcomp/pthread-wmm/safe008_power.opt.yml false(unreach-call) 35.66 21.83 None svcomp/pthread-wmm/safe008_pso.oepc.yml false(unreach-call) 33.97 18.49 None svcomp/pthread-wmm/safe008_pso.opt.yml false(unreach-call) 31.40 17.76 None svcomp/pthread-wmm/safe008_rmo.oepc.yml false(unreach-call) 30.11 17.49 None svcomp/pthread-wmm/safe008_rmo.opt.yml false(unreach-call) 31.85 18.32 None svcomp/pthread-wmm/safe008_tso.oepc.yml true 14.09 7.81 None svcomp/pthread-wmm/safe008_tso.opt.yml true 14.06 7.85 None svcomp/pthread-wmm/safe009_power.oepc.yml false(unreach-call) 64.29 40.67 None svcomp/pthread-wmm/safe009_power.opt.yml false(unreach-call) 39.97 24.18 None svcomp/pthread-wmm/safe009_pso.oepc.yml true 13.58 7.41 None svcomp/pthread-wmm/safe009_pso.opt.yml true 12.91 7.21 None svcomp/pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 35.49 21.66 None svcomp/pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 29.87 17.10 None svcomp/pthread-wmm/safe009_tso.oepc.yml true 13.89 7.73 None svcomp/pthread-wmm/safe009_tso.opt.yml true 12.70 7.14 None svcomp/pthread-wmm/safe010_power.oepc.yml false(unreach-call) 28.09 16.64 None svcomp/pthread-wmm/safe010_power.opt.yml false(unreach-call) 28.64 16.46 None svcomp/pthread-wmm/safe010_pso.oepc.yml false(unreach-call) 26.14 15.38 None svcomp/pthread-wmm/safe010_pso.opt.yml false(unreach-call) 26.75 15.82 None svcomp/pthread-wmm/safe010_rmo.oepc.yml false(unreach-call) 26.15 15.92 None svcomp/pthread-wmm/safe010_rmo.opt.yml false(unreach-call) 26.07 15.50 None svcomp/pthread-wmm/safe010_tso.oepc.yml true 12.80 7.16 None svcomp/pthread-wmm/safe010_tso.opt.yml true 12.52 7.03 None svcomp/pthread-wmm/safe011_power.oepc.yml false(unreach-call) 35.53 20.02 None svcomp/pthread-wmm/safe011_power.opt.yml false(unreach-call) 27.61 14.79 None svcomp/pthread-wmm/safe011_pso.oepc.yml false(unreach-call) 37.47 20.92 None svcomp/pthread-wmm/safe011_pso.opt.yml false(unreach-call) 26.01 14.28 None svcomp/pthread-wmm/safe011_rmo.oepc.yml false(unreach-call) 36.55 21.24 None svcomp/pthread-wmm/safe011_rmo.opt.yml false(unreach-call) 34.80 19.66 None svcomp/pthread-wmm/safe011_tso.oepc.yml true 13.95 7.80 None svcomp/pthread-wmm/safe011_tso.opt.yml true 14.13 7.93 None svcomp/pthread-wmm/safe012_power.oepc.yml false(unreach-call) 33.95 21.29 None svcomp/pthread-wmm/safe012_power.opt.yml false(unreach-call) 40.06 24.52 None svcomp/pthread-wmm/safe012_pso.oepc.yml false(unreach-call) 21.71 11.95 None svcomp/pthread-wmm/safe012_pso.opt.yml false(unreach-call) 25.68 13.76 None svcomp/pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 25.87 15.11 None svcomp/pthread-wmm/safe012_rmo.opt.yml false(unreach-call) 23.79 13.02 None svcomp/pthread-wmm/safe012_tso.oepc.yml true 13.93 7.65 None svcomp/pthread-wmm/safe012_tso.opt.yml true 12.99 7.33 None svcomp/pthread-wmm/safe013_power.oepc.yml false(unreach-call) 25.25 13.70 None svcomp/pthread-wmm/safe013_power.opt.yml false(unreach-call) 25.78 14.12 None svcomp/pthread-wmm/safe013_pso.oepc.yml false(unreach-call) 24.59 13.21 None svcomp/pthread-wmm/safe013_pso.opt.yml false(unreach-call) 23.90 12.81 None svcomp/pthread-wmm/safe013_rmo.oepc.yml false(unreach-call) 25.09 13.45 None svcomp/pthread-wmm/safe013_rmo.opt.yml false(unreach-call) 24.58 13.65 None svcomp/pthread-wmm/safe013_tso.oepc.yml true 13.67 7.64 None svcomp/pthread-wmm/safe013_tso.opt.yml true 14.19 7.86 None svcomp/pthread-wmm/safe014_power.oepc.yml false(unreach-call) 29.73 18.74 None svcomp/pthread-wmm/safe014_power.opt.yml false(unreach-call) 39.86 24.11 None svcomp/pthread-wmm/safe014_pso.oepc.yml true 13.98 7.76 None svcomp/pthread-wmm/safe014_pso.opt.yml true 13.44 7.49 None svcomp/pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 28.63 16.84 None svcomp/pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 53.36 34.48 None svcomp/pthread-wmm/safe014_tso.oepc.yml true 14.13 7.79 None svcomp/pthread-wmm/safe014_tso.opt.yml true 13.29 7.30 None svcomp/pthread-wmm/safe015_power.oepc.yml false(unreach-call) 49.50 29.67 None svcomp/pthread-wmm/safe015_power.opt.yml false(unreach-call) 66.76 41.02 None svcomp/pthread-wmm/safe015_pso.oepc.yml true 13.38 7.37 None svcomp/pthread-wmm/safe015_pso.opt.yml true 14.38 8.01 None svcomp/pthread-wmm/safe015_rmo.oepc.yml false(unreach-call) 59.14 33.43 None svcomp/pthread-wmm/safe015_rmo.opt.yml false(unreach-call) 48.60 28.11 None svcomp/pthread-wmm/safe015_tso.oepc.yml true 14.09 7.77 None svcomp/pthread-wmm/safe015_tso.opt.yml true 14.19 7.85 None svcomp/pthread-wmm/safe016_power.oepc.yml false(unreach-call) 68.20 42.04 None svcomp/pthread-wmm/safe016_power.opt.yml false(unreach-call) 53.89 35.95 None svcomp/pthread-wmm/safe016_pso.oepc.yml true 15.75 8.67 None svcomp/pthread-wmm/safe016_pso.opt.yml true 16.01 8.78 None svcomp/pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 49.44 31.18 None svcomp/pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 56.07 36.64 None svcomp/pthread-wmm/safe016_tso.oepc.yml true 15.13 8.23 None svcomp/pthread-wmm/safe016_tso.opt.yml true 16.17 8.85 None svcomp/pthread-wmm/safe017_power.oepc.yml false(unreach-call) 36.91 21.46 None svcomp/pthread-wmm/safe017_power.opt.yml false(unreach-call) 34.98 21.05 None svcomp/pthread-wmm/safe017_pso.oepc.yml false(unreach-call) 33.74 19.58 None svcomp/pthread-wmm/safe017_pso.opt.yml false(unreach-call) 35.41 20.59 None svcomp/pthread-wmm/safe017_rmo.oepc.yml false(unreach-call) 35.07 20.99 None svcomp/pthread-wmm/safe017_rmo.opt.yml false(unreach-call) 36.24 21.81 None svcomp/pthread-wmm/safe017_tso.oepc.yml true 14.16 7.91 None svcomp/pthread-wmm/safe017_tso.opt.yml true 13.07 7.22 None svcomp/pthread-wmm/safe018_power.oepc.yml false(unreach-call) 34.99 22.16 None svcomp/pthread-wmm/safe018_power.opt.yml false(unreach-call) 41.61 24.50 None svcomp/pthread-wmm/safe018_pso.oepc.yml true 13.84 7.64 None svcomp/pthread-wmm/safe018_pso.opt.yml true 13.08 7.13 None svcomp/pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 28.86 16.92 None svcomp/pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 26.98 15.56 None svcomp/pthread-wmm/safe018_tso.oepc.yml true 13.21 7.22 None svcomp/pthread-wmm/safe018_tso.opt.yml true 14.02 7.70 None svcomp/pthread-wmm/safe019_power.oepc.yml false(unreach-call) 50.54 30.68 None svcomp/pthread-wmm/safe019_power.opt.yml false(unreach-call) 63.18 39.22 None svcomp/pthread-wmm/safe019_pso.oepc.yml true 15.88 8.87 None svcomp/pthread-wmm/safe019_pso.opt.yml true 16.18 8.86 None svcomp/pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 40.71 23.60 None svcomp/pthread-wmm/safe019_rmo.opt.yml false(unreach-call) 66.38 41.24 None svcomp/pthread-wmm/safe019_tso.oepc.yml true 16.17 8.95 None svcomp/pthread-wmm/safe019_tso.opt.yml true 16.80 9.06 None svcomp/pthread-wmm/safe020_power.oepc.yml false(unreach-call) 47.87 28.36 None svcomp/pthread-wmm/safe020_power.opt.yml false(unreach-call) 55.44 33.59 None svcomp/pthread-wmm/safe020_pso.oepc.yml true 14.51 8.11 None svcomp/pthread-wmm/safe020_pso.opt.yml true 14.64 8.24 None svcomp/pthread-wmm/safe020_rmo.oepc.yml false(unreach-call) 35.52 20.60 None svcomp/pthread-wmm/safe020_rmo.opt.yml false(unreach-call) 39.11 21.72 None svcomp/pthread-wmm/safe020_tso.oepc.yml true 14.19 7.80 None svcomp/pthread-wmm/safe020_tso.opt.yml true 14.10 7.87 None svcomp/pthread-wmm/safe021_power.oepc.yml false(unreach-call) 22.85 12.37 None svcomp/pthread-wmm/safe021_power.opt.yml false(unreach-call) 29.11 16.96 None svcomp/pthread-wmm/safe021_pso.oepc.yml false(unreach-call) 23.60 13.12 None svcomp/pthread-wmm/safe021_pso.opt.yml false(unreach-call) 29.17 16.29 None svcomp/pthread-wmm/safe021_rmo.oepc.yml false(unreach-call) 25.22 13.64 None svcomp/pthread-wmm/safe021_rmo.opt.yml false(unreach-call) 23.96 13.12 None svcomp/pthread-wmm/safe021_tso.oepc.yml true 13.40 7.49 None svcomp/pthread-wmm/safe021_tso.opt.yml true 12.80 7.08 None svcomp/pthread-wmm/safe022_power.oepc.yml false(unreach-call) 20.79 11.30 None svcomp/pthread-wmm/safe022_power.opt.yml false(unreach-call) 18.74 10.39 None svcomp/pthread-wmm/safe022_pso.oepc.yml false(unreach-call) 19.89 11.10 None svcomp/pthread-wmm/safe022_pso.opt.yml false(unreach-call) 20.37 11.18 None svcomp/pthread-wmm/safe022_rmo.oepc.yml false(unreach-call) 21.24 11.39 None svcomp/pthread-wmm/safe022_rmo.opt.yml false(unreach-call) 20.50 11.07 None svcomp/pthread-wmm/safe022_tso.oepc.yml true 12.39 6.95 None svcomp/pthread-wmm/safe022_tso.opt.yml true 11.37 6.42 None svcomp/pthread-wmm/safe023_power.oepc.yml false(unreach-call) 72.20 43.72 None svcomp/pthread-wmm/safe023_power.opt.yml false(unreach-call) 49.91 27.90 None svcomp/pthread-wmm/safe023_pso.oepc.yml false(unreach-call) 55.52 31.84 None svcomp/pthread-wmm/safe023_pso.opt.yml false(unreach-call) 75.87 46.92 None svcomp/pthread-wmm/safe023_rmo.oepc.yml false(unreach-call) 51.12 28.36 None svcomp/pthread-wmm/safe023_rmo.opt.yml false(unreach-call) 48.82 26.83 None svcomp/pthread-wmm/safe023_tso.oepc.yml true 13.07 7.28 None svcomp/pthread-wmm/safe023_tso.opt.yml true 12.96 7.31 None svcomp/pthread-wmm/safe024_power.oepc.yml false(unreach-call) 24.88 13.34 None svcomp/pthread-wmm/safe024_power.opt.yml false(unreach-call) 27.17 14.54 None svcomp/pthread-wmm/safe024_pso.oepc.yml false(unreach-call) 25.14 13.72 None svcomp/pthread-wmm/safe024_pso.opt.yml false(unreach-call) 25.81 13.83 None svcomp/pthread-wmm/safe024_rmo.oepc.yml false(unreach-call) 25.70 13.93 None svcomp/pthread-wmm/safe024_rmo.opt.yml false(unreach-call) 24.15 13.09 None svcomp/pthread-wmm/safe024_tso.oepc.yml true 13.85 7.65 None svcomp/pthread-wmm/safe024_tso.opt.yml true 13.97 7.72 None svcomp/pthread-wmm/safe025_power.oepc.yml false(unreach-call) 61.21 39.34 None svcomp/pthread-wmm/safe025_power.opt.yml false(unreach-call) 63.11 40.88 None svcomp/pthread-wmm/safe025_pso.oepc.yml true 14.20 7.94 None svcomp/pthread-wmm/safe025_pso.opt.yml true 13.67 7.65 None svcomp/pthread-wmm/safe025_rmo.oepc.yml false(unreach-call) 67.02 39.98 None svcomp/pthread-wmm/safe025_rmo.opt.yml false(unreach-call) 62.78 39.66 None svcomp/pthread-wmm/safe025_tso.oepc.yml true 13.99 7.80 None svcomp/pthread-wmm/safe025_tso.opt.yml true 14.25 7.76 None svcomp/pthread-wmm/safe026_power.oepc.yml false(unreach-call) 21.34 11.65 None svcomp/pthread-wmm/safe026_power.opt.yml false(unreach-call) 24.13 13.04 None svcomp/pthread-wmm/safe026_pso.oepc.yml false(unreach-call) 23.97 12.82 None svcomp/pthread-wmm/safe026_pso.opt.yml false(unreach-call) 22.53 12.19 None svcomp/pthread-wmm/safe026_rmo.oepc.yml false(unreach-call) 25.00 13.40 None svcomp/pthread-wmm/safe026_rmo.opt.yml false(unreach-call) 22.96 12.65 None svcomp/pthread-wmm/safe026_tso.oepc.yml true 12.55 7.00 None svcomp/pthread-wmm/safe026_tso.opt.yml true 13.47 7.50 None svcomp/pthread-wmm/safe027_power.oepc.yml false(unreach-call) 42.10 24.87 None svcomp/pthread-wmm/safe027_power.opt.yml false(unreach-call) 66.57 38.50 None svcomp/pthread-wmm/safe027_pso.oepc.yml true 15.44 8.34 None svcomp/pthread-wmm/safe027_pso.opt.yml true 15.37 8.46 None svcomp/pthread-wmm/safe027_rmo.oepc.yml false(unreach-call) 34.89 19.93 None svcomp/pthread-wmm/safe027_rmo.opt.yml false(unreach-call) 35.79 19.88 None svcomp/pthread-wmm/safe027_tso.oepc.yml true 15.57 8.49 None svcomp/pthread-wmm/safe027_tso.opt.yml true 15.37 8.42 None svcomp/pthread-wmm/safe028_power.oepc.yml false(unreach-call) 49.38 30.86 None svcomp/pthread-wmm/safe028_power.opt.yml false(unreach-call) 47.26 29.08 None svcomp/pthread-wmm/safe028_pso.oepc.yml true 13.61 7.54 None svcomp/pthread-wmm/safe028_pso.opt.yml true 13.94 7.79 None svcomp/pthread-wmm/safe028_rmo.oepc.yml false(unreach-call) 32.52 18.88 None svcomp/pthread-wmm/safe028_rmo.opt.yml false(unreach-call) 32.82 19.04 None svcomp/pthread-wmm/safe028_tso.oepc.yml true 13.85 7.65 None svcomp/pthread-wmm/safe028_tso.opt.yml true 14.21 7.89 None svcomp/pthread-wmm/safe029_power.oepc.yml false(unreach-call) 30.59 19.09 None svcomp/pthread-wmm/safe029_power.opt.yml false(unreach-call) 31.28 17.82 None svcomp/pthread-wmm/safe029_pso.oepc.yml false(unreach-call) 32.40 19.34 None svcomp/pthread-wmm/safe029_pso.opt.yml false(unreach-call) 31.25 18.38 None svcomp/pthread-wmm/safe029_rmo.oepc.yml false(unreach-call) 30.16 18.04 None svcomp/pthread-wmm/safe029_rmo.opt.yml false(unreach-call) 30.44 17.89 None svcomp/pthread-wmm/safe029_tso.oepc.yml true 11.70 6.62 None svcomp/pthread-wmm/safe029_tso.opt.yml true 11.59 6.56 None svcomp/pthread-wmm/safe030_power.oepc.yml false(unreach-call) 28.47 15.26 None svcomp/pthread-wmm/safe030_power.opt.yml false(unreach-call) 28.17 16.15 None svcomp/pthread-wmm/safe030_pso.oepc.yml false(unreach-call) 26.22 14.40 None svcomp/pthread-wmm/safe030_pso.opt.yml false(unreach-call) 29.88 16.97 None svcomp/pthread-wmm/safe030_rmo.oepc.yml false(unreach-call) 28.41 15.07 None svcomp/pthread-wmm/safe030_rmo.opt.yml false(unreach-call) 29.70 16.83 None svcomp/pthread-wmm/safe030_tso.oepc.yml true 12.63 7.07 None svcomp/pthread-wmm/safe030_tso.opt.yml true 12.93 7.29 None svcomp/pthread-wmm/safe031_power.oepc.yml false(unreach-call) 23.92 13.24 None svcomp/pthread-wmm/safe031_power.opt.yml false(unreach-call) 28.13 16.03 None svcomp/pthread-wmm/safe031_pso.oepc.yml false(unreach-call) 23.85 12.89 None svcomp/pthread-wmm/safe031_pso.opt.yml false(unreach-call) 27.21 15.65 None svcomp/pthread-wmm/safe031_rmo.oepc.yml false(unreach-call) 23.87 12.89 None svcomp/pthread-wmm/safe031_rmo.opt.yml false(unreach-call) 28.78 15.91 None svcomp/pthread-wmm/safe031_tso.oepc.yml true 13.80 7.67 None svcomp/pthread-wmm/safe031_tso.opt.yml true 13.61 7.64 None svcomp/pthread-wmm/safe032_power.oepc.yml false(unreach-call) 80.90 47.18 None svcomp/pthread-wmm/safe032_power.opt.yml false(unreach-call) 62.80 35.37 None svcomp/pthread-wmm/safe032_pso.oepc.yml false(unreach-call) 62.41 36.06 None svcomp/pthread-wmm/safe032_pso.opt.yml false(unreach-call) 68.57 38.73 None svcomp/pthread-wmm/safe032_rmo.oepc.yml false(unreach-call) 68.77 40.05 None svcomp/pthread-wmm/safe032_rmo.opt.yml false(unreach-call) 58.50 33.76 None svcomp/pthread-wmm/safe032_tso.oepc.yml true 13.38 7.38 None svcomp/pthread-wmm/safe032_tso.opt.yml true 13.59 7.53 None svcomp/pthread-wmm/safe033_power.oepc.yml false(unreach-call) 21.01 11.38 None svcomp/pthread-wmm/safe033_power.opt.yml false(unreach-call) 19.91 11.12 None svcomp/pthread-wmm/safe033_pso.oepc.yml false(unreach-call) 20.25 11.07 None svcomp/pthread-wmm/safe033_pso.opt.yml false(unreach-call) 20.75 11.16 None svcomp/pthread-wmm/safe033_rmo.oepc.yml false(unreach-call) 20.74 11.22 None svcomp/pthread-wmm/safe033_rmo.opt.yml false(unreach-call) 20.41 11.19 None svcomp/pthread-wmm/safe033_tso.oepc.yml true 12.26 6.88 None svcomp/pthread-wmm/safe033_tso.opt.yml true 12.52 7.03 None svcomp/pthread-wmm/safe034_power.oepc.yml false(unreach-call) 21.60 11.59 None svcomp/pthread-wmm/safe034_power.opt.yml false(unreach-call) 22.13 12.09 None svcomp/pthread-wmm/safe034_pso.oepc.yml false(unreach-call) 22.04 11.94 None svcomp/pthread-wmm/safe034_pso.opt.yml false(unreach-call) 22.79 12.39 None svcomp/pthread-wmm/safe034_rmo.oepc.yml false(unreach-call) 21.74 11.68 None svcomp/pthread-wmm/safe034_rmo.opt.yml false(unreach-call) 20.73 11.30 None svcomp/pthread-wmm/safe034_tso.oepc.yml true 13.44 7.51 None svcomp/pthread-wmm/safe034_tso.opt.yml true 12.51 7.03 None svcomp/pthread-wmm/safe035_power.oepc.yml true 52.77 29.88 None svcomp/pthread-wmm/safe035_power.opt.yml true 58.66 35.04 None svcomp/pthread-wmm/safe035_pso.oepc.yml true 14.22 8.01 None svcomp/pthread-wmm/safe035_pso.opt.yml true 13.73 7.67 None svcomp/pthread-wmm/safe035_rmo.oepc.yml true 13.62 7.59 None svcomp/pthread-wmm/safe035_rmo.opt.yml true 13.59 7.54 None svcomp/pthread-wmm/safe035_tso.oepc.yml true 13.27 7.26 None svcomp/pthread-wmm/safe035_tso.opt.yml true 13.54 7.55 None svcomp/pthread-wmm/safe036_power.oepc.yml true 12.31 6.94 None svcomp/pthread-wmm/safe036_power.opt.yml true 12.53 7.01 None svcomp/pthread-wmm/safe036_pso.oepc.yml true 12.00 6.76 None svcomp/pthread-wmm/safe036_pso.opt.yml true 11.33 6.46 None svcomp/pthread-wmm/safe036_rmo.oepc.yml true 12.24 6.81 None svcomp/pthread-wmm/safe036_rmo.opt.yml true 12.06 6.86 None svcomp/pthread-wmm/safe036_tso.oepc.yml true 12.52 7.07 None svcomp/pthread-wmm/safe036_tso.opt.yml true 12.19 7.03 None svcomp/pthread-wmm/safe037_power.oepc.yml true 12.42 6.93 None svcomp/pthread-wmm/safe037_power.opt.yml true 13.26 7.33 None svcomp/pthread-wmm/safe037_pso.oepc.yml true 13.14 7.34 None svcomp/pthread-wmm/safe037_pso.opt.yml true 13.03 7.29 None svcomp/pthread-wmm/safe037_rmo.oepc.yml true 13.56 7.46 None svcomp/pthread-wmm/safe037_rmo.opt.yml true 12.29 6.91 None svcomp/pthread-wmm/safe037_tso.oepc.yml true 13.68 7.60 None svcomp/pthread-wmm/safe037_tso.opt.yml true 13.31 7.35 None svcomp/pthread-wmm/thin000_power.oepc.yml false(unreach-call) 30.78 19.27 None svcomp/pthread-wmm/thin000_power.opt.yml false(unreach-call) 35.49 21.91 None svcomp/pthread-wmm/thin000_pso.oepc.yml true 11.93 6.71 None svcomp/pthread-wmm/thin000_pso.opt.yml true 10.80 6.14 None svcomp/pthread-wmm/thin000_rmo.oepc.yml false(unreach-call) 26.64 15.39 None svcomp/pthread-wmm/thin000_rmo.opt.yml false(unreach-call) 29.40 16.17 None svcomp/pthread-wmm/thin000_tso.oepc.yml true 12.14 6.78 None svcomp/pthread-wmm/thin000_tso.opt.yml true 11.89 6.71 None svcomp/pthread-wmm/thin001_power.oepc.yml false(unreach-call) 30.97 19.21 None svcomp/pthread-wmm/thin001_power.opt.yml false(unreach-call) 38.72 23.50 None svcomp/pthread-wmm/thin001_pso.oepc.yml true 13.42 7.45 None svcomp/pthread-wmm/thin001_pso.opt.yml true 13.79 7.59 None svcomp/pthread-wmm/thin001_rmo.oepc.yml false(unreach-call) 27.62 15.33 None svcomp/pthread-wmm/thin001_rmo.opt.yml false(unreach-call) 25.58 14.82 None svcomp/pthread-wmm/thin001_tso.oepc.yml true 13.00 7.14 None svcomp/pthread-wmm/thin001_tso.opt.yml true 13.06 7.30 None svcomp/pthread-wmm/thin002_power.oepc.yml false(unreach-call) 39.90 24.75 None svcomp/pthread-wmm/thin002_power.opt.yml false(unreach-call) 38.61 23.08 None svcomp/pthread-wmm/thin002_pso.oepc.yml true 15.83 8.59 None svcomp/pthread-wmm/thin002_pso.opt.yml true 15.54 8.35 None svcomp/pthread-wmm/thin002_rmo.oepc.yml false(unreach-call) 33.37 18.87 None svcomp/pthread-wmm/thin002_rmo.opt.yml false(unreach-call) 32.36 18.78 None svcomp/pthread-wmm/thin002_tso.oepc.yml true 15.16 8.29 None svcomp/pthread-wmm/thin002_tso.opt.yml true 15.05 8.35 None svcomp/pthread-lit/fk2012.yml TIMEOUT 901.14 821.93 None svcomp/pthread-lit/fkp2013-1.yml TIMEOUT 910.16 776.13 None svcomp/pthread-lit/fkp2013-2.yml TIMEOUT 905.47 775.19 None svcomp/pthread-lit/fkp2013_variant-1.yml TIMEOUT 901.28 800.08 None svcomp/pthread-lit/fkp2013_variant-2.yml false(unreach-call) 12.70 7.09 None svcomp/pthread-lit/fkp2014.yml TIMEOUT 901.25 809.56 None svcomp/pthread-lit/qw2004-1.yml true 13.55 7.77 None svcomp/pthread-lit/qw2004-2.yml false(unreach-call) 13.28 7.50 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 922.27 741.97 None svcomp/pthread-lit/sssc12.yml TIMEOUT 917.73 649.76 None svcomp/pthread-lit/sssc12_variant.yml TIMEOUT 901.15 810.73 None svcomp/ldv-races/race-1_1-join.yml true 14.24 8.02 None svcomp/ldv-races/race-1_2-join.yml false(unreach-call) 15.55 8.78 None svcomp/ldv-races/race-1_3-join.yml false(unreach-call) 16.12 8.94 None svcomp/ldv-races/race-2_1-container_of.yml true 159.15 121.80 None svcomp/ldv-races/race-2_2-container_of.yml false(unreach-call) 80.23 59.78 None svcomp/ldv-races/race-2_3-container_of.yml false(unreach-call) 66.60 55.64 None svcomp/ldv-races/race-2_4-container_of.yml false(unreach-call) 67.89 56.55 None svcomp/ldv-races/race-2_5-container_of.yml false(unreach-call) 47.13 35.82 None svcomp/ldv-races/race-3_1-container_of-global.yml true 114.38 89.10 None svcomp/ldv-races/race-3_2-container_of-global.yml false(unreach-call) 55.24 39.28 None svcomp/ldv-races/race-4_1-thread_local_vars.yml true 29.22 18.11 None svcomp/ldv-races/race-4_2-thread_local_vars.yml false(unreach-call) 30.62 19.45 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml unknown 13.40 7.36 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml unknown 10.30 5.90 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 630.35 429.31 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 901.26 720.27 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 680.96 454.61 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 901.12 825.67 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml TIMEOUT 901.60 834.42 None svcomp/pthread-complex/bounded_buffer.yml TIMEOUT 902.38 861.73 None svcomp/pthread-complex/elimination_backoff_stack.yml TIMEOUT 906.05 876.73 None svcomp/pthread-complex/safestack_relacy.yml TIMEOUT 902.19 639.87 None svcomp/pthread-complex/workstealqueue_mutex-1.yml TIMEOUT 900.74 872.44 None svcomp/pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 900.76 873.68 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 11.66 7.14 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 11.40 6.81 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 12.84 7.63 None svcomp/pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 11.53 7.00 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 11.85 7.10 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 11.91 7.12 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 12.06 6.75 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 12.24 7.33 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 11.15 6.96 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 13.05 7.59 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 11.51 6.99 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 13.05 7.74 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 11.95 7.13 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 11.52 7.06 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 15.03 8.43 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 13.83 7.96 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 12.39 7.47 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 11.35 6.96 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 12.57 7.51 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 11.79 7.00 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 12.39 7.58 None svcomp/pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 900.67 785.33 None svcomp/pthread-C-DAC/pthread-demo-datarace-2.yml TIMEOUT 900.30 808.01 None svcomp/pthread-C-DAC/pthread-finding-k-matches.yml unknown 6.96 3.90 None svcomp/pthread-C-DAC/pthread-numerical-integration.yml unknown 7.26 4.03 None svcomp/pthread-divine/barrier_2t.yml TIMEOUT 901.18 825.89 None svcomp/pthread-divine/barrier_3t.yml TIMEOUT 900.95 730.18 None svcomp/pthread-divine/condvar.yml true 16.67 9.40 None svcomp/pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 14.33 8.10 None svcomp/pthread-divine/divinefifo-bug_1w1r.yml ERROR: EXCEPTION 121.21 95.12 None svcomp/pthread-divine/divinefifo_1w1r.yml ERROR: EXCEPTION 67.03 46.73 None svcomp/pthread-divine/one_time_barrier_2t.yml TIMEOUT 902.08 862.42 None svcomp/pthread-divine/one_time_barrier_3t.yml TIMEOUT 901.31 795.00 None svcomp/pthread-divine/one_time_barrier_twice_2t.yml TIMEOUT 901.21 834.78 None svcomp/pthread-divine/one_time_barrier_twice_3t.yml TIMEOUT 901.07 841.62 None svcomp/pthread-divine/ring_1w1r-1.yml false(unreach-call) 15.10 8.53 None svcomp/pthread-divine/ring_1w1r-2.yml ERROR: EXCEPTION 16.42 9.14 None svcomp/pthread-divine/ring_2w1r-1.yml ERROR: EXCEPTION 29.84 17.41 None svcomp/pthread-divine/ring_2w1r-2.yml ERROR: EXCEPTION 22.44 12.57 None svcomp/pthread-divine/tls_basic.yml unknown 6.99 3.84 None svcomp/pthread-divine/tls_destructor_worker.yml unknown 6.55 3.66 None svcomp/pthread-nondet/nondet-array-1.yml TIMEOUT 901.28 814.02 None svcomp/pthread-nondet/nondet-array-2.yml TIMEOUT 902.45 816.12 None svcomp/pthread-nondet/nondet-loop-bound-1.yml TIMEOUT 905.75 793.39 None svcomp/pthread-nondet/nondet-loop-bound-2.yml TIMEOUT 901.22 793.86 None svcomp/pthread-nondet/nondet-loop-bound-variant-1.yml TIMEOUT 901.16 795.58 None svcomp/pthread-nondet/nondet-loop-bound-variant-2.yml TIMEOUT 921.41 775.69 None concurrent/pthreads/NonAtomicIncrement_2Threads.c true 40.09 28.49 None concurrent/pthreads/distributed_search2.c true 56.89 41.03 None concurrent/pthreads/distributed_search3.c TIMEOUT 900.79 858.54 None concurrent/pthreads/distributed_search4.c TIMEOUT 900.80 853.91 None concurrent/pthreads/forkFork.c true 20.24 12.56 None concurrent/pthreads/forkJoinNotMod.c false(unreach-call) 15.45 9.74 None concurrent/pthreads/forkMultipleTimes.c false(unreach-call) 56.14 40.03 None concurrent/pthreads/globalVariableMultipleThreads.c false(unreach-call) 21.76 12.49 None concurrent/pthreads/multipleForkSameIdDifferentReturnType.c false(unreach-call) 18.84 12.35 None concurrent/pthreads/predecessorInAtomicBlockBug.c false(unreach-call) 8.21 4.90 None concurrent/pthreads/regression unknown 7.44 3.92 None ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 93858.84 13226.82 - 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.38 7.09 None svcomp/pthread/bigshot_s.yml UNKNOWN: OverapproxCex 10.56 6.02 None svcomp/pthread/bigshot_s2.yml UNKNOWN: OverapproxCex 10.47 6.13 None svcomp/pthread/fib_bench-1.yml TIMEOUT 901.89 848.30 None svcomp/pthread/fib_bench-2.yml TIMEOUT 901.34 842.04 None svcomp/pthread/fib_bench_longer-1.yml TIMEOUT 901.51 850.28 None svcomp/pthread/fib_bench_longer-2.yml TIMEOUT 901.01 845.10 None svcomp/pthread/fib_bench_longest-1.yml TIMEOUT 902.41 844.22 None svcomp/pthread/fib_bench_longest-2.yml TIMEOUT 900.74 854.81 None svcomp/pthread/indexer.yml TIMEOUT 905.70 801.31 None svcomp/pthread/lazy01.yml false(unreach-call) 11.97 6.67 None svcomp/pthread/queue.yml TIMEOUT 900.60 806.60 None svcomp/pthread/queue_longer.yml TIMEOUT 908.90 807.93 None svcomp/pthread/queue_longest.yml TIMEOUT 915.72 805.48 None svcomp/pthread/queue_ok.yml TIMEOUT 905.94 828.00 None svcomp/pthread/queue_ok_longer.yml TIMEOUT 900.16 839.89 None svcomp/pthread/queue_ok_longest.yml TIMEOUT 906.45 825.95 None svcomp/pthread/reorder_2.yml ERROR: EXCEPTION 7.15 4.00 None svcomp/pthread/reorder_5.yml ERROR: EXCEPTION 7.41 4.00 None svcomp/pthread/sigma.yml TIMEOUT 901.99 730.43 None svcomp/pthread/singleton.yml false(unreach-call) 787.69 685.75 None svcomp/pthread/singleton_with-uninit-problems.yml true 9.22 5.34 None svcomp/pthread/stack-1.yml ERROR: EXCEPTION 65.64 48.03 None svcomp/pthread/stack-2.yml false(unreach-call) 69.61 51.19 None svcomp/pthread/stack_longer-1.yml false(unreach-call) 64.22 46.27 None svcomp/pthread/stack_longer-2.yml ERROR: EXCEPTION 333.79 298.69 None svcomp/pthread/stack_longest-1.yml false(unreach-call) 60.48 44.16 None svcomp/pthread/stack_longest-2.yml ERROR: EXCEPTION 333.87 297.16 None svcomp/pthread/stateful01-1.yml false(unreach-call) 8.78 5.11 None svcomp/pthread/stateful01-2.yml true 12.27 6.93 None svcomp/pthread/sync01.yml true 15.49 8.70 None svcomp/pthread/triangular-1.yml true 93.91 63.74 None svcomp/pthread/triangular-2.yml false(unreach-call) 77.11 50.91 None svcomp/pthread/triangular-longer-1.yml TIMEOUT 901.34 706.86 None svcomp/pthread/triangular-longer-2.yml TIMEOUT 901.24 801.09 None svcomp/pthread/triangular-longest-1.yml TIMEOUT 901.80 818.04 None svcomp/pthread/triangular-longest-2.yml TIMEOUT 901.30 832.73 None svcomp/pthread/twostage_3.yml ERROR: EXCEPTION 7.19 4.01 None svcomp/pthread-atomic/dekker.yml true 10.17 5.84 None svcomp/pthread-atomic/gcd-2.yml TIMEOUT 905.68 902.17 None svcomp/pthread-atomic/lamport.yml true 12.67 7.09 None svcomp/pthread-atomic/peterson.yml true 10.84 6.01 None svcomp/pthread-atomic/qrcu-1.yml true 72.98 48.55 None svcomp/pthread-atomic/qrcu-2.yml false(unreach-call) 12.21 6.88 None svcomp/pthread-atomic/read_write_lock-1.yml true 14.70 8.15 None svcomp/pthread-atomic/read_write_lock-2.yml false(unreach-call) 16.65 8.97 None svcomp/pthread-atomic/scull.yml true 19.63 10.79 None svcomp/pthread-atomic/szymanski.yml true 10.21 5.85 None svcomp/pthread-atomic/time_var_mutex.yml true 12.10 6.72 None svcomp/pthread-ext/01_inc.yml TIMEOUT 902.90 688.67 None svcomp/pthread-ext/02_inc_cas.yml TIMEOUT 905.43 617.16 None svcomp/pthread-ext/03_incdec.yml TIMEOUT 922.27 608.86 None svcomp/pthread-ext/04_incdec_cas.yml TIMEOUT 909.84 574.05 None svcomp/pthread-ext/05_tas.yml TIMEOUT 906.20 666.47 None svcomp/pthread-ext/06_ticket.yml TIMEOUT 907.29 659.17 None svcomp/pthread-ext/07_rand.yml TIMEOUT 904.26 608.18 None svcomp/pthread-ext/08_rand_cas.yml TIMEOUT 922.39 609.41 None svcomp/pthread-ext/09_fmaxsym.yml TIMEOUT 911.91 596.72 None svcomp/pthread-ext/10_fmaxsym_cas.yml TIMEOUT 908.71 577.14 None svcomp/pthread-ext/11_fmaxsymopt.yml TIMEOUT 903.22 611.89 None svcomp/pthread-ext/12_fmaxsymopt_cas.yml OUT OF MEMORY 741.08 441.74 None svcomp/pthread-ext/13_unverif.yml TIMEOUT 905.58 650.91 None svcomp/pthread-ext/14_spin2003.yml TIMEOUT 905.96 667.98 None svcomp/pthread-ext/15_dekker.yml true 10.03 5.61 None svcomp/pthread-ext/16_peterson.yml true 9.84 5.61 None svcomp/pthread-ext/17_szymanski.yml true 11.48 6.52 None svcomp/pthread-ext/18_read_write_lock.yml true 10.25 5.88 None svcomp/pthread-ext/19_time_var_mutex.yml true 11.75 6.43 None svcomp/pthread-ext/20_lamport.yml true 12.00 6.76 None svcomp/pthread-ext/23_lu-fig2.fixed.yml true 10.43 5.95 None svcomp/pthread-ext/25_stack.yml OUT OF MEMORY 699.39 429.97 None svcomp/pthread-ext/25_stack_longer-1.yml OUT OF MEMORY 681.01 430.00 None svcomp/pthread-ext/25_stack_longer-2.yml OUT OF MEMORY 730.11 443.47 None svcomp/pthread-ext/25_stack_longest-1.yml OUT OF MEMORY 750.21 455.39 None svcomp/pthread-ext/25_stack_longest-2.yml OUT OF MEMORY 738.33 436.88 None svcomp/pthread-ext/26_stack_cas.yml OUT OF MEMORY 768.35 452.96 None svcomp/pthread-ext/26_stack_cas_longer-1.yml OUT OF MEMORY 706.01 429.88 None svcomp/pthread-ext/26_stack_cas_longer-2.yml OUT OF MEMORY 742.21 450.34 None svcomp/pthread-ext/26_stack_cas_longest-1.yml OUT OF MEMORY 652.74 399.19 None svcomp/pthread-ext/26_stack_cas_longest-2.yml OUT OF MEMORY 809.30 477.77 None svcomp/pthread-ext/27_Boop_simple_vf.yml TIMEOUT 910.06 669.52 None svcomp/pthread-ext/28_buggy_simple_loop1_vf.yml false(unreach-call) 10.04 5.63 None svcomp/pthread-ext/29_conditionals_vs.yml TIMEOUT 900.98 835.92 None svcomp/pthread-ext/30_Function_Pointer3_vs.yml TIMEOUT 906.37 591.43 None svcomp/pthread-ext/31_simple_loop5_vs.yml TIMEOUT 922.29 620.08 None svcomp/pthread-ext/32_pthread5_vs.yml false(unreach-call) 236.57 180.74 None svcomp/pthread-ext/33_double_lock_p1_vs.yml TIMEOUT 905.97 645.98 None svcomp/pthread-ext/34_double_lock_p2_vs.yml TIMEOUT 907.33 652.74 None svcomp/pthread-ext/35_double_lock_p3_vs.yml TIMEOUT 917.99 640.65 None svcomp/pthread-ext/36_stack_cas_p0_vs_concur.yml OUT OF MEMORY 793.93 491.78 None svcomp/pthread-ext/37_stack_lock_p0_vs_concur.yml TIMEOUT 908.13 593.68 None svcomp/pthread-ext/38_rand_cas_vs_concur.yml TIMEOUT 900.63 815.13 None svcomp/pthread-ext/39_rand_lock_p0_vs.yml TIMEOUT 921.17 581.56 None svcomp/pthread-ext/40_barrier_vf.yml TIMEOUT 905.02 702.04 None svcomp/pthread-ext/41_FreeBSD_abd_kbd_sliced.yml TIMEOUT 922.40 623.89 None svcomp/pthread-ext/42_FreeBSD_rdma_addr_sliced.yml TIMEOUT 907.36 628.84 None svcomp/pthread-ext/43_NetBSD_sysmon_power_sliced.yml ERROR: TYPE ERROR 6.82 3.75 None svcomp/pthread-ext/44_Solaris_space_map_sliced.yml TIMEOUT 906.28 688.84 None svcomp/pthread-ext/45_monabsex1_vs.yml TIMEOUT 906.34 755.75 None svcomp/pthread-ext/46_monabsex2_vs.yml TIMEOUT 909.81 630.02 None svcomp/pthread-ext/47_ticket_lock_hc_backoff_vs.yml TIMEOUT 920.47 681.72 None svcomp/pthread-ext/48_ticket_lock_low_contention_vs.yml TIMEOUT 906.31 668.97 None svcomp/pthread-wmm/mix000_power.oepc.yml false(unreach-call) 23.06 12.87 None svcomp/pthread-wmm/mix000_power.opt.yml false(unreach-call) 20.24 10.94 None svcomp/pthread-wmm/mix000_pso.oepc.yml false(unreach-call) 22.74 13.12 None svcomp/pthread-wmm/mix000_pso.opt.yml false(unreach-call) 19.73 10.64 None svcomp/pthread-wmm/mix000_rmo.oepc.yml false(unreach-call) 24.77 14.07 None svcomp/pthread-wmm/mix000_rmo.opt.yml false(unreach-call) 19.54 10.49 None svcomp/pthread-wmm/mix000_tso.oepc.yml false(unreach-call) 23.16 13.23 None svcomp/pthread-wmm/mix000_tso.opt.yml false(unreach-call) 19.22 10.51 None svcomp/pthread-wmm/mix001_power.oepc.yml false(unreach-call) 29.06 16.22 None svcomp/pthread-wmm/mix001_power.opt.yml false(unreach-call) 25.71 14.78 None svcomp/pthread-wmm/mix001_pso.oepc.yml false(unreach-call) 27.81 15.18 None svcomp/pthread-wmm/mix001_pso.opt.yml false(unreach-call) 23.30 12.79 None svcomp/pthread-wmm/mix001_rmo.oepc.yml false(unreach-call) 24.48 13.24 None svcomp/pthread-wmm/mix001_rmo.opt.yml false(unreach-call) 23.52 12.65 None svcomp/pthread-wmm/mix001_tso.oepc.yml false(unreach-call) 30.28 17.28 None svcomp/pthread-wmm/mix001_tso.opt.yml false(unreach-call) 22.77 12.49 None svcomp/pthread-wmm/mix002_power.oepc.yml false(unreach-call) 26.14 14.60 None svcomp/pthread-wmm/mix002_power.opt.yml false(unreach-call) 23.85 12.68 None svcomp/pthread-wmm/mix002_pso.oepc.yml false(unreach-call) 31.18 18.37 None svcomp/pthread-wmm/mix002_pso.opt.yml false(unreach-call) 23.97 12.86 None svcomp/pthread-wmm/mix002_rmo.oepc.yml false(unreach-call) 35.23 20.94 None svcomp/pthread-wmm/mix002_rmo.opt.yml false(unreach-call) 23.67 12.74 None svcomp/pthread-wmm/mix002_tso.oepc.yml false(unreach-call) 27.33 15.72 None svcomp/pthread-wmm/mix002_tso.opt.yml false(unreach-call) 23.74 12.78 None svcomp/pthread-wmm/mix003_power.oepc.yml false(unreach-call) 24.76 14.10 None svcomp/pthread-wmm/mix003_power.opt.yml false(unreach-call) 26.05 14.75 None svcomp/pthread-wmm/mix003_pso.oepc.yml false(unreach-call) 24.71 13.59 None svcomp/pthread-wmm/mix003_pso.opt.yml false(unreach-call) 25.94 14.24 None svcomp/pthread-wmm/mix003_rmo.oepc.yml false(unreach-call) 24.41 13.36 None svcomp/pthread-wmm/mix003_rmo.opt.0.1.yml false(unreach-call) 26.31 14.65 None svcomp/pthread-wmm/mix003_rmo.opt.0.yml false(unreach-call) 27.17 15.10 None svcomp/pthread-wmm/mix003_rmo.opt.yml false(unreach-call) 25.24 14.06 None svcomp/pthread-wmm/mix003_tso.oepc.yml false(unreach-call) 24.68 14.07 None svcomp/pthread-wmm/mix003_tso.opt.yml false(unreach-call) 25.82 14.21 None svcomp/pthread-wmm/mix004_power.oepc.yml false(unreach-call) 30.29 16.82 None svcomp/pthread-wmm/mix004_power.opt.yml false(unreach-call) 31.55 18.00 None svcomp/pthread-wmm/mix004_pso.oepc.yml false(unreach-call) 31.34 17.28 None svcomp/pthread-wmm/mix004_pso.opt.yml false(unreach-call) 29.13 15.88 None svcomp/pthread-wmm/mix004_rmo.oepc.yml false(unreach-call) 31.33 17.35 None svcomp/pthread-wmm/mix004_rmo.opt.yml false(unreach-call) 28.97 16.24 None svcomp/pthread-wmm/mix004_tso.oepc.yml false(unreach-call) 30.51 16.88 None svcomp/pthread-wmm/mix004_tso.opt.yml false(unreach-call) 27.91 15.45 None svcomp/pthread-wmm/mix005_power.oepc.yml false(unreach-call) 32.15 18.00 None svcomp/pthread-wmm/mix005_power.opt.yml false(unreach-call) 32.09 18.00 None svcomp/pthread-wmm/mix005_pso.oepc.yml false(unreach-call) 31.91 17.29 None svcomp/pthread-wmm/mix005_pso.opt.yml false(unreach-call) 32.54 17.77 None svcomp/pthread-wmm/mix005_rmo.oepc.yml false(unreach-call) 33.38 18.73 None svcomp/pthread-wmm/mix005_rmo.opt.yml false(unreach-call) 41.16 23.84 None svcomp/pthread-wmm/mix005_tso.oepc.yml false(unreach-call) 75.85 49.12 None svcomp/pthread-wmm/mix005_tso.opt.yml false(unreach-call) 32.31 17.57 None svcomp/pthread-wmm/mix006_power.oepc.yml false(unreach-call) 29.41 16.51 None svcomp/pthread-wmm/mix006_power.opt.yml false(unreach-call) 21.09 11.45 None svcomp/pthread-wmm/mix006_pso.oepc.yml false(unreach-call) 23.36 12.94 None svcomp/pthread-wmm/mix006_pso.opt.yml false(unreach-call) 20.82 11.43 None svcomp/pthread-wmm/mix006_rmo.oepc.yml false(unreach-call) 24.29 13.57 None svcomp/pthread-wmm/mix006_rmo.opt.yml false(unreach-call) 22.49 12.09 None svcomp/pthread-wmm/mix006_tso.oepc.yml false(unreach-call) 44.70 25.38 None svcomp/pthread-wmm/mix006_tso.opt.yml false(unreach-call) 21.35 11.60 None svcomp/pthread-wmm/mix007_power.oepc.yml false(unreach-call) 28.74 15.99 None svcomp/pthread-wmm/mix007_power.opt.yml false(unreach-call) 33.12 18.14 None svcomp/pthread-wmm/mix007_pso.oepc.yml false(unreach-call) 29.49 16.15 None svcomp/pthread-wmm/mix007_pso.opt.yml false(unreach-call) 34.43 18.77 None svcomp/pthread-wmm/mix007_rmo.oepc.yml false(unreach-call) 33.18 18.92 None svcomp/pthread-wmm/mix007_rmo.opt.yml false(unreach-call) 34.07 18.66 None svcomp/pthread-wmm/mix007_tso.oepc.yml false(unreach-call) 32.61 18.52 None svcomp/pthread-wmm/mix007_tso.opt.yml false(unreach-call) 34.75 19.01 None svcomp/pthread-wmm/mix008_power.oepc.yml false(unreach-call) 37.47 21.59 None svcomp/pthread-wmm/mix008_power.opt.yml false(unreach-call) 35.02 19.44 None svcomp/pthread-wmm/mix008_pso.oepc.yml false(unreach-call) 36.66 20.92 None svcomp/pthread-wmm/mix008_pso.opt.yml false(unreach-call) 37.46 20.52 None svcomp/pthread-wmm/mix008_rmo.oepc.yml false(unreach-call) 39.66 23.70 None svcomp/pthread-wmm/mix008_rmo.opt.yml false(unreach-call) 29.14 15.52 None svcomp/pthread-wmm/mix008_tso.oepc.yml false(unreach-call) 47.96 26.27 None svcomp/pthread-wmm/mix008_tso.opt.yml false(unreach-call) 35.03 19.71 None svcomp/pthread-wmm/mix009_power.oepc.yml false(unreach-call) 20.72 11.07 None svcomp/pthread-wmm/mix009_power.opt.yml false(unreach-call) 19.67 10.61 None svcomp/pthread-wmm/mix009_pso.oepc.yml false(unreach-call) 19.48 10.83 None svcomp/pthread-wmm/mix009_pso.opt.yml false(unreach-call) 19.98 10.69 None svcomp/pthread-wmm/mix009_rmo.oepc.yml false(unreach-call) 20.30 10.91 None svcomp/pthread-wmm/mix009_rmo.opt.yml false(unreach-call) 19.95 10.85 None svcomp/pthread-wmm/mix009_tso.oepc.yml false(unreach-call) 19.82 11.37 None svcomp/pthread-wmm/mix009_tso.opt.yml false(unreach-call) 20.05 10.74 None svcomp/pthread-wmm/mix010_power.oepc.yml false(unreach-call) 23.55 12.76 None svcomp/pthread-wmm/mix010_power.opt.yml false(unreach-call) 26.34 14.45 None svcomp/pthread-wmm/mix010_pso.oepc.yml false(unreach-call) 25.31 13.98 None svcomp/pthread-wmm/mix010_pso.opt.yml false(unreach-call) 25.55 13.76 None svcomp/pthread-wmm/mix010_rmo.oepc.yml false(unreach-call) 23.96 13.54 None svcomp/pthread-wmm/mix010_rmo.opt.yml false(unreach-call) 25.69 13.84 None svcomp/pthread-wmm/mix010_tso.oepc.yml false(unreach-call) 23.92 13.26 None svcomp/pthread-wmm/mix010_tso.opt.yml false(unreach-call) 27.03 14.63 None svcomp/pthread-wmm/mix011_power.oepc.yml false(unreach-call) 26.06 14.53 None svcomp/pthread-wmm/mix011_power.opt.yml false(unreach-call) 22.86 12.49 None svcomp/pthread-wmm/mix011_pso.oepc.yml false(unreach-call) 25.90 14.35 None svcomp/pthread-wmm/mix011_pso.opt.yml false(unreach-call) 23.12 12.47 None svcomp/pthread-wmm/mix011_rmo.oepc.yml false(unreach-call) 25.66 14.16 None svcomp/pthread-wmm/mix011_rmo.opt.yml false(unreach-call) 22.36 12.36 None svcomp/pthread-wmm/mix011_tso.oepc.yml false(unreach-call) 25.85 14.09 None svcomp/pthread-wmm/mix011_tso.opt.yml false(unreach-call) 23.39 12.63 None svcomp/pthread-wmm/mix012_power.oepc.yml false(unreach-call) 18.04 9.78 None svcomp/pthread-wmm/mix012_power.opt.yml false(unreach-call) 20.92 11.47 None svcomp/pthread-wmm/mix012_pso.oepc.yml false(unreach-call) 20.88 11.46 None svcomp/pthread-wmm/mix012_pso.opt.yml false(unreach-call) 23.12 13.15 None svcomp/pthread-wmm/mix012_rmo.oepc.yml false(unreach-call) 21.80 11.74 None svcomp/pthread-wmm/mix012_rmo.opt.yml false(unreach-call) 18.48 10.16 None svcomp/pthread-wmm/mix012_tso.oepc.yml false(unreach-call) 16.99 9.40 None svcomp/pthread-wmm/mix012_tso.opt.yml false(unreach-call) 21.80 11.95 None svcomp/pthread-wmm/mix013_power.oepc.yml false(unreach-call) 26.18 14.21 None svcomp/pthread-wmm/mix013_power.opt.yml false(unreach-call) 27.22 14.76 None svcomp/pthread-wmm/mix013_pso.oepc.yml false(unreach-call) 44.41 25.22 None svcomp/pthread-wmm/mix013_pso.opt.yml false(unreach-call) 24.88 13.38 None svcomp/pthread-wmm/mix013_rmo.oepc.yml false(unreach-call) 25.34 13.58 None svcomp/pthread-wmm/mix013_rmo.opt.yml false(unreach-call) 24.76 13.30 None svcomp/pthread-wmm/mix013_tso.oepc.yml false(unreach-call) 25.12 13.51 None svcomp/pthread-wmm/mix013_tso.opt.yml false(unreach-call) 24.35 13.17 None svcomp/pthread-wmm/mix014_power.oepc.yml false(unreach-call) 31.69 17.41 None svcomp/pthread-wmm/mix014_power.opt.yml false(unreach-call) 25.09 13.49 None svcomp/pthread-wmm/mix014_pso.oepc.yml false(unreach-call) 37.90 21.87 None svcomp/pthread-wmm/mix014_pso.opt.yml false(unreach-call) 23.93 12.88 None svcomp/pthread-wmm/mix014_rmo.oepc.yml false(unreach-call) 31.43 17.03 None svcomp/pthread-wmm/mix014_rmo.opt.yml false(unreach-call) 23.89 12.78 None svcomp/pthread-wmm/mix014_tso.oepc.yml false(unreach-call) 42.87 22.92 None svcomp/pthread-wmm/mix014_tso.opt.yml false(unreach-call) 23.15 12.53 None svcomp/pthread-wmm/mix015_power.oepc.yml false(unreach-call) 24.19 13.14 None svcomp/pthread-wmm/mix015_power.opt.yml false(unreach-call) 21.84 11.91 None svcomp/pthread-wmm/mix015_pso.oepc.yml false(unreach-call) 24.89 13.51 None svcomp/pthread-wmm/mix015_pso.opt.yml false(unreach-call) 21.37 11.71 None svcomp/pthread-wmm/mix015_rmo.oepc.yml false(unreach-call) 24.77 13.30 None svcomp/pthread-wmm/mix015_rmo.opt.yml false(unreach-call) 22.74 12.26 None svcomp/pthread-wmm/mix015_tso.oepc.yml false(unreach-call) 24.63 13.69 None svcomp/pthread-wmm/mix015_tso.opt.yml false(unreach-call) 22.06 11.99 None svcomp/pthread-wmm/mix016_power.oepc.yml false(unreach-call) 25.32 13.83 None svcomp/pthread-wmm/mix016_power.opt.yml false(unreach-call) 19.93 11.01 None svcomp/pthread-wmm/mix016_pso.oepc.yml false(unreach-call) 22.85 12.54 None svcomp/pthread-wmm/mix016_pso.opt.yml false(unreach-call) 23.14 12.38 None svcomp/pthread-wmm/mix016_rmo.oepc.yml false(unreach-call) 23.76 13.10 None svcomp/pthread-wmm/mix016_rmo.opt.yml false(unreach-call) 20.18 10.93 None svcomp/pthread-wmm/mix016_tso.oepc.yml false(unreach-call) 27.82 15.47 None svcomp/pthread-wmm/mix016_tso.opt.yml false(unreach-call) 24.33 13.38 None svcomp/pthread-wmm/mix017_power.oepc.yml false(unreach-call) 42.60 24.61 None svcomp/pthread-wmm/mix017_power.opt.yml false(unreach-call) 22.38 12.07 None svcomp/pthread-wmm/mix017_pso.oepc.yml false(unreach-call) 30.31 17.38 None svcomp/pthread-wmm/mix017_pso.opt.yml false(unreach-call) 30.90 17.28 None svcomp/pthread-wmm/mix017_rmo.oepc.yml false(unreach-call) 30.11 16.53 None svcomp/pthread-wmm/mix017_rmo.opt.yml false(unreach-call) 22.35 12.08 None svcomp/pthread-wmm/mix017_tso.oepc.yml false(unreach-call) 30.60 17.09 None svcomp/pthread-wmm/mix017_tso.opt.yml false(unreach-call) 25.99 13.84 None svcomp/pthread-wmm/mix018_power.oepc.yml false(unreach-call) 31.50 17.80 None svcomp/pthread-wmm/mix018_power.opt.yml false(unreach-call) 30.10 16.04 None svcomp/pthread-wmm/mix018_pso.oepc.yml false(unreach-call) 31.70 17.68 None svcomp/pthread-wmm/mix018_pso.opt.yml false(unreach-call) 28.42 15.77 None svcomp/pthread-wmm/mix018_rmo.oepc.yml false(unreach-call) 29.61 16.21 None svcomp/pthread-wmm/mix018_rmo.opt.yml false(unreach-call) 31.56 18.00 None svcomp/pthread-wmm/mix018_tso.oepc.yml false(unreach-call) 79.78 54.48 None svcomp/pthread-wmm/mix018_tso.opt.yml false(unreach-call) 29.61 16.21 None svcomp/pthread-wmm/mix019_power.oepc.yml false(unreach-call) 26.06 14.77 None svcomp/pthread-wmm/mix019_power.opt.yml false(unreach-call) 22.38 12.07 None svcomp/pthread-wmm/mix019_pso.oepc.yml false(unreach-call) 26.87 15.68 None svcomp/pthread-wmm/mix019_pso.opt.yml false(unreach-call) 22.58 12.16 None svcomp/pthread-wmm/mix019_rmo.oepc.yml false(unreach-call) 27.14 15.52 None svcomp/pthread-wmm/mix019_rmo.opt.yml false(unreach-call) 22.33 11.96 None svcomp/pthread-wmm/mix019_tso.oepc.yml false(unreach-call) 32.22 18.13 None svcomp/pthread-wmm/mix019_tso.opt.yml false(unreach-call) 22.59 12.08 None svcomp/pthread-wmm/mix020_power.oepc.yml false(unreach-call) 34.79 19.42 None svcomp/pthread-wmm/mix020_power.opt.yml false(unreach-call) 28.09 15.31 None svcomp/pthread-wmm/mix020_pso.oepc.yml false(unreach-call) 32.90 17.90 None svcomp/pthread-wmm/mix020_pso.opt.yml false(unreach-call) 29.63 16.43 None svcomp/pthread-wmm/mix020_rmo.oepc.yml false(unreach-call) 38.14 21.57 None svcomp/pthread-wmm/mix020_rmo.opt.yml false(unreach-call) 28.70 16.02 None svcomp/pthread-wmm/mix020_tso.oepc.yml false(unreach-call) 33.85 18.14 None svcomp/pthread-wmm/mix020_tso.opt.yml false(unreach-call) 29.32 16.15 None svcomp/pthread-wmm/mix021_power.oepc.yml false(unreach-call) 34.86 19.02 None svcomp/pthread-wmm/mix021_power.opt.yml false(unreach-call) 32.01 17.30 None svcomp/pthread-wmm/mix021_pso.oepc.yml false(unreach-call) 32.56 18.37 None svcomp/pthread-wmm/mix021_pso.opt.yml false(unreach-call) 28.43 15.59 None svcomp/pthread-wmm/mix021_rmo.oepc.yml false(unreach-call) 33.34 18.52 None svcomp/pthread-wmm/mix021_rmo.opt.yml false(unreach-call) 30.38 16.60 None svcomp/pthread-wmm/mix021_tso.oepc.yml false(unreach-call) 56.43 36.59 None svcomp/pthread-wmm/mix021_tso.opt.yml false(unreach-call) 30.79 16.72 None svcomp/pthread-wmm/mix022_power.oepc.yml false(unreach-call) 18.97 10.56 None svcomp/pthread-wmm/mix022_power.opt.yml false(unreach-call) 18.74 10.21 None svcomp/pthread-wmm/mix022_pso.oepc.yml false(unreach-call) 19.36 10.54 None svcomp/pthread-wmm/mix022_pso.opt.yml false(unreach-call) 19.49 10.83 None svcomp/pthread-wmm/mix022_rmo.oepc.yml false(unreach-call) 19.03 10.60 None svcomp/pthread-wmm/mix022_rmo.opt.yml false(unreach-call) 19.74 10.83 None svcomp/pthread-wmm/mix022_tso.oepc.yml false(unreach-call) 21.39 12.24 None svcomp/pthread-wmm/mix022_tso.opt.yml false(unreach-call) 27.81 16.68 None svcomp/pthread-wmm/mix023_power.oepc.yml false(unreach-call) 29.93 16.77 None svcomp/pthread-wmm/mix023_power.opt.yml false(unreach-call) 26.94 14.65 None svcomp/pthread-wmm/mix023_pso.oepc.yml false(unreach-call) 35.45 19.50 None svcomp/pthread-wmm/mix023_pso.opt.yml false(unreach-call) 26.85 14.62 None svcomp/pthread-wmm/mix023_rmo.oepc.yml false(unreach-call) 37.33 21.34 None svcomp/pthread-wmm/mix023_rmo.opt.yml false(unreach-call) 26.69 14.29 None svcomp/pthread-wmm/mix023_tso.oepc.yml false(unreach-call) 43.04 23.39 None svcomp/pthread-wmm/mix023_tso.opt.yml false(unreach-call) 69.80 43.89 None svcomp/pthread-wmm/mix024_power.oepc.yml false(unreach-call) 25.25 13.91 None svcomp/pthread-wmm/mix024_power.opt.yml false(unreach-call) 21.98 11.87 None svcomp/pthread-wmm/mix024_pso.oepc.yml false(unreach-call) 25.02 14.02 None svcomp/pthread-wmm/mix024_pso.opt.yml false(unreach-call) 20.27 11.25 None svcomp/pthread-wmm/mix024_rmo.oepc.yml false(unreach-call) 22.52 12.91 None svcomp/pthread-wmm/mix024_rmo.opt.yml false(unreach-call) 21.21 11.56 None svcomp/pthread-wmm/mix024_tso.oepc.yml false(unreach-call) 25.13 14.00 None svcomp/pthread-wmm/mix024_tso.opt.yml false(unreach-call) 22.70 12.44 None svcomp/pthread-wmm/mix025_power.oepc.yml false(unreach-call) 25.50 13.71 None svcomp/pthread-wmm/mix025_power.opt.yml false(unreach-call) 25.69 14.51 None svcomp/pthread-wmm/mix025_pso.oepc.yml false(unreach-call) 22.99 12.63 None svcomp/pthread-wmm/mix025_pso.opt.yml false(unreach-call) 19.39 10.40 None svcomp/pthread-wmm/mix025_rmo.oepc.yml false(unreach-call) 25.67 14.50 None svcomp/pthread-wmm/mix025_rmo.opt.yml false(unreach-call) 20.47 11.12 None svcomp/pthread-wmm/mix025_tso.oepc.yml false(unreach-call) 22.61 12.59 None svcomp/pthread-wmm/mix025_tso.opt.yml false(unreach-call) 23.24 12.78 None svcomp/pthread-wmm/mix026_power.oepc.yml false(unreach-call) 35.47 20.81 None svcomp/pthread-wmm/mix026_power.opt.yml false(unreach-call) 51.25 33.84 None svcomp/pthread-wmm/mix026_pso.oepc.yml false(unreach-call) 34.47 18.63 None svcomp/pthread-wmm/mix026_pso.opt.yml false(unreach-call) 26.88 14.93 None svcomp/pthread-wmm/mix026_rmo.oepc.yml false(unreach-call) 38.18 22.38 None svcomp/pthread-wmm/mix026_rmo.opt.yml false(unreach-call) 22.65 12.44 None svcomp/pthread-wmm/mix026_tso.oepc.yml false(unreach-call) 33.87 18.24 None svcomp/pthread-wmm/mix026_tso.opt.yml false(unreach-call) 49.12 30.23 None svcomp/pthread-wmm/mix027_power.oepc.yml false(unreach-call) 28.84 16.21 None svcomp/pthread-wmm/mix027_power.opt.yml false(unreach-call) 30.07 16.57 None svcomp/pthread-wmm/mix027_pso.oepc.yml false(unreach-call) 33.99 19.06 None svcomp/pthread-wmm/mix027_pso.opt.yml false(unreach-call) 29.57 16.62 None svcomp/pthread-wmm/mix027_rmo.oepc.yml false(unreach-call) 118.24 88.77 None svcomp/pthread-wmm/mix027_rmo.opt.yml false(unreach-call) 29.53 16.23 None svcomp/pthread-wmm/mix027_tso.oepc.yml false(unreach-call) 58.84 38.30 None svcomp/pthread-wmm/mix027_tso.opt.yml false(unreach-call) 67.04 44.30 None svcomp/pthread-wmm/mix028_power.oepc.yml false(unreach-call) 26.35 14.50 None svcomp/pthread-wmm/mix028_power.opt.yml false(unreach-call) 26.90 15.02 None svcomp/pthread-wmm/mix028_pso.oepc.yml false(unreach-call) 23.64 13.04 None svcomp/pthread-wmm/mix028_pso.opt.yml false(unreach-call) 41.70 24.43 None svcomp/pthread-wmm/mix028_rmo.oepc.yml false(unreach-call) 25.74 14.43 None svcomp/pthread-wmm/mix028_rmo.opt.yml false(unreach-call) 44.34 27.25 None svcomp/pthread-wmm/mix028_tso.oepc.yml false(unreach-call) 26.70 14.49 None svcomp/pthread-wmm/mix028_tso.opt.yml false(unreach-call) 29.77 16.90 None svcomp/pthread-wmm/mix029_power.oepc.yml false(unreach-call) 37.22 21.43 None svcomp/pthread-wmm/mix029_power.opt.yml false(unreach-call) 54.76 33.71 None svcomp/pthread-wmm/mix029_pso.oepc.yml false(unreach-call) 38.28 21.48 None svcomp/pthread-wmm/mix029_pso.opt.yml false(unreach-call) 61.62 37.44 None svcomp/pthread-wmm/mix029_rmo.oepc.yml false(unreach-call) 32.58 17.75 None svcomp/pthread-wmm/mix029_rmo.opt.yml false(unreach-call) 60.34 38.50 None svcomp/pthread-wmm/mix029_tso.oepc.yml false(unreach-call) 36.15 21.21 None svcomp/pthread-wmm/mix029_tso.opt.yml false(unreach-call) 31.16 17.68 None svcomp/pthread-wmm/mix030_power.oepc.yml false(unreach-call) 36.47 21.47 None svcomp/pthread-wmm/mix030_power.opt.yml false(unreach-call) 68.38 45.04 None svcomp/pthread-wmm/mix030_pso.oepc.yml false(unreach-call) 35.98 20.89 None svcomp/pthread-wmm/mix030_pso.opt.yml false(unreach-call) 67.43 43.76 None svcomp/pthread-wmm/mix030_rmo.oepc.yml false(unreach-call) 36.18 21.16 None svcomp/pthread-wmm/mix030_rmo.opt.yml false(unreach-call) 65.24 42.65 None svcomp/pthread-wmm/mix030_tso.oepc.yml false(unreach-call) 31.85 17.36 None svcomp/pthread-wmm/mix030_tso.opt.yml false(unreach-call) 33.02 18.12 None svcomp/pthread-wmm/mix031_power.oepc.yml false(unreach-call) 20.07 11.20 None svcomp/pthread-wmm/mix031_power.opt.yml false(unreach-call) 20.08 11.18 None svcomp/pthread-wmm/mix031_pso.oepc.yml false(unreach-call) 20.73 11.22 None svcomp/pthread-wmm/mix031_pso.opt.yml false(unreach-call) 19.94 11.19 None svcomp/pthread-wmm/mix031_rmo.oepc.yml false(unreach-call) 20.58 11.48 None svcomp/pthread-wmm/mix031_rmo.opt.yml false(unreach-call) 20.14 11.07 None svcomp/pthread-wmm/mix031_tso.oepc.yml false(unreach-call) 20.06 11.28 None svcomp/pthread-wmm/mix031_tso.opt.yml false(unreach-call) 20.53 11.41 None svcomp/pthread-wmm/mix032_power.oepc.yml false(unreach-call) 24.02 13.42 None svcomp/pthread-wmm/mix032_power.opt.yml false(unreach-call) 22.19 12.15 None svcomp/pthread-wmm/mix032_pso.oepc.yml false(unreach-call) 20.20 10.99 None svcomp/pthread-wmm/mix032_pso.opt.yml false(unreach-call) 21.68 11.88 None svcomp/pthread-wmm/mix032_rmo.oepc.yml false(unreach-call) 21.56 11.93 None svcomp/pthread-wmm/mix032_rmo.opt.yml false(unreach-call) 23.88 13.07 None svcomp/pthread-wmm/mix032_tso.oepc.yml false(unreach-call) 22.33 12.06 None svcomp/pthread-wmm/mix032_tso.opt.yml false(unreach-call) 22.39 12.07 None svcomp/pthread-wmm/mix033_power.oepc.yml false(unreach-call) 22.75 12.70 None svcomp/pthread-wmm/mix033_power.opt.yml false(unreach-call) 23.13 12.27 None svcomp/pthread-wmm/mix033_pso.oepc.yml false(unreach-call) 24.79 13.91 None svcomp/pthread-wmm/mix033_pso.opt.yml false(unreach-call) 22.73 12.58 None svcomp/pthread-wmm/mix033_rmo.oepc.yml false(unreach-call) 25.95 14.40 None svcomp/pthread-wmm/mix033_rmo.opt.yml false(unreach-call) 22.84 12.74 None svcomp/pthread-wmm/mix033_tso.oepc.yml false(unreach-call) 26.11 14.14 None svcomp/pthread-wmm/mix033_tso.opt.yml false(unreach-call) 22.31 12.23 None svcomp/pthread-wmm/mix034_power.oepc.yml false(unreach-call) 18.88 10.32 None svcomp/pthread-wmm/mix034_power.opt.yml false(unreach-call) 19.73 10.85 None svcomp/pthread-wmm/mix034_pso.oepc.yml false(unreach-call) 19.19 10.45 None svcomp/pthread-wmm/mix034_pso.opt.yml false(unreach-call) 18.93 10.51 None svcomp/pthread-wmm/mix034_rmo.oepc.yml false(unreach-call) 19.56 10.87 None svcomp/pthread-wmm/mix034_rmo.opt.yml false(unreach-call) 20.15 11.09 None svcomp/pthread-wmm/mix034_tso.oepc.yml false(unreach-call) 20.26 11.00 None svcomp/pthread-wmm/mix034_tso.opt.yml false(unreach-call) 17.41 9.68 None svcomp/pthread-wmm/mix035_power.oepc.yml false(unreach-call) 27.09 15.23 None svcomp/pthread-wmm/mix035_power.opt.yml false(unreach-call) 19.82 10.83 None svcomp/pthread-wmm/mix035_pso.oepc.yml false(unreach-call) 23.34 12.95 None svcomp/pthread-wmm/mix035_pso.opt.yml false(unreach-call) 18.12 9.89 None svcomp/pthread-wmm/mix035_rmo.oepc.yml false(unreach-call) 22.43 12.44 None svcomp/pthread-wmm/mix035_rmo.opt.yml false(unreach-call) 20.71 11.06 None svcomp/pthread-wmm/mix035_tso.oepc.yml false(unreach-call) 23.88 13.12 None svcomp/pthread-wmm/mix035_tso.opt.yml false(unreach-call) 23.49 13.11 None svcomp/pthread-wmm/mix036_power.oepc.yml false(unreach-call) 46.04 26.44 None svcomp/pthread-wmm/mix036_power.opt.yml false(unreach-call) 28.79 15.96 None svcomp/pthread-wmm/mix036_pso.oepc.yml false(unreach-call) 32.33 17.37 None svcomp/pthread-wmm/mix036_pso.opt.yml false(unreach-call) 21.40 11.57 None svcomp/pthread-wmm/mix036_rmo.oepc.yml false(unreach-call) 43.95 25.36 None svcomp/pthread-wmm/mix036_rmo.opt.yml false(unreach-call) 27.79 15.50 None svcomp/pthread-wmm/mix036_tso.oepc.yml false(unreach-call) 39.45 22.81 None svcomp/pthread-wmm/mix036_tso.opt.yml false(unreach-call) 21.18 11.47 None svcomp/pthread-wmm/mix037_power.oepc.yml false(unreach-call) 30.27 16.69 None svcomp/pthread-wmm/mix037_power.opt.yml false(unreach-call) 23.14 12.30 None svcomp/pthread-wmm/mix037_pso.oepc.yml false(unreach-call) 34.93 19.19 None svcomp/pthread-wmm/mix037_pso.opt.yml false(unreach-call) 23.83 12.98 None svcomp/pthread-wmm/mix037_rmo.oepc.yml false(unreach-call) 33.88 18.61 None svcomp/pthread-wmm/mix037_rmo.opt.yml false(unreach-call) 23.57 12.61 None svcomp/pthread-wmm/mix037_tso.oepc.yml false(unreach-call) 46.68 26.97 None svcomp/pthread-wmm/mix037_tso.opt.yml false(unreach-call) 21.92 11.97 None svcomp/pthread-wmm/mix038_power.oepc.yml false(unreach-call) 24.93 13.82 None svcomp/pthread-wmm/mix038_power.opt.yml false(unreach-call) 22.22 12.30 None svcomp/pthread-wmm/mix038_pso.oepc.yml false(unreach-call) 24.47 13.37 None svcomp/pthread-wmm/mix038_pso.opt.yml false(unreach-call) 21.54 11.69 None svcomp/pthread-wmm/mix038_rmo.oepc.yml false(unreach-call) 25.78 13.93 None svcomp/pthread-wmm/mix038_rmo.opt.yml false(unreach-call) 21.82 12.06 None svcomp/pthread-wmm/mix038_tso.oepc.yml false(unreach-call) 31.03 17.69 None svcomp/pthread-wmm/mix038_tso.opt.yml false(unreach-call) 21.74 11.80 None svcomp/pthread-wmm/mix039_power.oepc.yml false(unreach-call) 31.76 17.30 None svcomp/pthread-wmm/mix039_power.opt.yml false(unreach-call) 25.10 13.74 None svcomp/pthread-wmm/mix039_pso.oepc.yml false(unreach-call) 32.29 17.36 None svcomp/pthread-wmm/mix039_pso.opt.yml false(unreach-call) 27.24 14.88 None svcomp/pthread-wmm/mix039_rmo.oepc.yml false(unreach-call) 32.61 17.68 None svcomp/pthread-wmm/mix039_rmo.opt.yml false(unreach-call) 26.87 14.87 None svcomp/pthread-wmm/mix039_tso.oepc.yml false(unreach-call) 32.71 17.83 None svcomp/pthread-wmm/mix039_tso.opt.yml false(unreach-call) 25.38 13.72 None svcomp/pthread-wmm/mix040_power.oepc.yml false(unreach-call) 31.75 17.45 None svcomp/pthread-wmm/mix040_power.opt.yml false(unreach-call) 26.04 14.08 None svcomp/pthread-wmm/mix040_pso.oepc.yml false(unreach-call) 36.58 21.08 None svcomp/pthread-wmm/mix040_pso.opt.yml false(unreach-call) 26.15 14.18 None svcomp/pthread-wmm/mix040_rmo.oepc.yml false(unreach-call) 33.29 19.00 None svcomp/pthread-wmm/mix040_rmo.opt.yml false(unreach-call) 26.68 14.49 None svcomp/pthread-wmm/mix040_tso.oepc.yml false(unreach-call) 69.48 46.08 None svcomp/pthread-wmm/mix040_tso.opt.yml false(unreach-call) 26.08 14.13 None svcomp/pthread-wmm/mix041_power.oepc.yml false(unreach-call) 19.23 10.63 None svcomp/pthread-wmm/mix041_power.opt.yml false(unreach-call) 20.06 11.12 None svcomp/pthread-wmm/mix041_pso.oepc.yml false(unreach-call) 19.97 11.00 None svcomp/pthread-wmm/mix041_pso.opt.yml false(unreach-call) 21.43 11.90 None svcomp/pthread-wmm/mix041_rmo.oepc.yml false(unreach-call) 19.17 10.77 None svcomp/pthread-wmm/mix041_rmo.opt.yml false(unreach-call) 20.60 11.43 None svcomp/pthread-wmm/mix041_tso.oepc.yml false(unreach-call) 25.72 14.62 None svcomp/pthread-wmm/mix041_tso.opt.yml false(unreach-call) 19.77 11.08 None svcomp/pthread-wmm/mix042_power.oepc.yml false(unreach-call) 24.52 13.33 None svcomp/pthread-wmm/mix042_power.opt.yml false(unreach-call) 22.84 12.66 None svcomp/pthread-wmm/mix042_pso.oepc.yml false(unreach-call) 25.14 13.99 None svcomp/pthread-wmm/mix042_pso.opt.yml false(unreach-call) 24.59 13.43 None svcomp/pthread-wmm/mix042_rmo.oepc.yml false(unreach-call) 22.91 12.83 None svcomp/pthread-wmm/mix042_rmo.opt.yml false(unreach-call) 23.79 13.16 None svcomp/pthread-wmm/mix042_tso.oepc.yml false(unreach-call) 24.61 13.44 None svcomp/pthread-wmm/mix042_tso.opt.yml false(unreach-call) 23.55 13.00 None svcomp/pthread-wmm/mix043_power.oepc.yml false(unreach-call) 29.49 15.95 None svcomp/pthread-wmm/mix043_power.opt.yml false(unreach-call) 37.71 21.58 None svcomp/pthread-wmm/mix043_pso.oepc.yml false(unreach-call) 34.67 19.27 None svcomp/pthread-wmm/mix043_pso.opt.yml false(unreach-call) 33.84 18.96 None svcomp/pthread-wmm/mix043_rmo.oepc.yml false(unreach-call) 41.96 24.68 None svcomp/pthread-wmm/mix043_rmo.opt.yml false(unreach-call) 30.30 16.50 None svcomp/pthread-wmm/mix043_tso.oepc.yml false(unreach-call) 35.90 19.75 None svcomp/pthread-wmm/mix043_tso.opt.yml false(unreach-call) 35.66 19.72 None svcomp/pthread-wmm/mix044_power.oepc.yml false(unreach-call) 31.15 16.80 None svcomp/pthread-wmm/mix044_power.opt.yml false(unreach-call) 34.24 18.59 None svcomp/pthread-wmm/mix044_pso.oepc.yml false(unreach-call) 27.62 15.16 None svcomp/pthread-wmm/mix044_pso.opt.yml false(unreach-call) 32.35 18.22 None svcomp/pthread-wmm/mix044_rmo.oepc.yml false(unreach-call) 30.14 16.68 None svcomp/pthread-wmm/mix044_rmo.opt.yml false(unreach-call) 33.90 18.51 None svcomp/pthread-wmm/mix044_tso.oepc.yml false(unreach-call) 109.18 80.33 None svcomp/pthread-wmm/mix044_tso.opt.yml false(unreach-call) 33.76 18.42 None svcomp/pthread-wmm/mix045_power.oepc.yml false(unreach-call) 23.22 12.97 None svcomp/pthread-wmm/mix045_power.opt.yml false(unreach-call) 45.39 27.11 None svcomp/pthread-wmm/mix045_pso.oepc.yml false(unreach-call) 21.58 11.72 None svcomp/pthread-wmm/mix045_pso.opt.yml false(unreach-call) 43.68 25.93 None svcomp/pthread-wmm/mix045_rmo.oepc.yml false(unreach-call) 24.99 14.08 None svcomp/pthread-wmm/mix045_rmo.opt.yml false(unreach-call) 43.46 26.65 None svcomp/pthread-wmm/mix045_tso.oepc.yml false(unreach-call) 40.78 23.50 None svcomp/pthread-wmm/mix045_tso.opt.yml false(unreach-call) 37.44 21.69 None svcomp/pthread-wmm/mix046_power.oepc.yml false(unreach-call) 32.23 17.54 None svcomp/pthread-wmm/mix046_power.opt.yml false(unreach-call) 51.83 32.13 None svcomp/pthread-wmm/mix046_pso.oepc.yml false(unreach-call) 31.88 17.61 None svcomp/pthread-wmm/mix046_pso.opt.yml false(unreach-call) 56.67 37.02 None svcomp/pthread-wmm/mix046_rmo.oepc.yml false(unreach-call) 30.14 16.55 None svcomp/pthread-wmm/mix046_rmo.opt.yml false(unreach-call) 55.91 33.60 None svcomp/pthread-wmm/mix046_tso.oepc.yml false(unreach-call) 33.02 17.96 None svcomp/pthread-wmm/mix046_tso.opt.yml false(unreach-call) 49.18 28.84 None svcomp/pthread-wmm/mix047_power.oepc.yml false(unreach-call) 30.26 16.84 None svcomp/pthread-wmm/mix047_power.opt.yml false(unreach-call) 64.68 42.00 None svcomp/pthread-wmm/mix047_pso.oepc.yml false(unreach-call) 33.10 18.20 None svcomp/pthread-wmm/mix047_pso.opt.yml false(unreach-call) 62.04 40.89 None svcomp/pthread-wmm/mix047_rmo.oepc.yml false(unreach-call) 31.74 17.74 None svcomp/pthread-wmm/mix047_rmo.opt.yml false(unreach-call) 64.40 41.90 None svcomp/pthread-wmm/mix047_tso.oepc.yml false(unreach-call) 63.82 40.89 None svcomp/pthread-wmm/mix047_tso.opt.yml false(unreach-call) 74.08 47.41 None svcomp/pthread-wmm/mix048_power.oepc.yml false(unreach-call) 18.25 9.94 None svcomp/pthread-wmm/mix048_power.opt.yml false(unreach-call) 18.22 10.17 None svcomp/pthread-wmm/mix048_pso.oepc.yml false(unreach-call) 18.38 10.28 None svcomp/pthread-wmm/mix048_pso.opt.yml false(unreach-call) 18.14 10.05 None svcomp/pthread-wmm/mix048_rmo.oepc.yml false(unreach-call) 18.87 10.34 None svcomp/pthread-wmm/mix048_rmo.opt.yml false(unreach-call) 19.82 11.24 None svcomp/pthread-wmm/mix048_tso.oepc.yml false(unreach-call) 18.24 9.99 None svcomp/pthread-wmm/mix048_tso.opt.yml false(unreach-call) 18.73 10.37 None svcomp/pthread-wmm/mix049_power.oepc.yml false(unreach-call) 22.02 12.47 None svcomp/pthread-wmm/mix049_power.opt.yml false(unreach-call) 19.98 11.04 None svcomp/pthread-wmm/mix049_pso.oepc.yml false(unreach-call) 22.50 12.16 None svcomp/pthread-wmm/mix049_pso.opt.yml false(unreach-call) 22.80 12.52 None svcomp/pthread-wmm/mix049_rmo.oepc.yml false(unreach-call) 21.92 12.16 None svcomp/pthread-wmm/mix049_rmo.opt.yml false(unreach-call) 22.12 12.17 None svcomp/pthread-wmm/mix049_tso.oepc.yml false(unreach-call) 20.65 11.48 None svcomp/pthread-wmm/mix049_tso.opt.yml false(unreach-call) 21.86 11.99 None svcomp/pthread-wmm/mix050_power.oepc.yml false(unreach-call) 27.60 15.49 None svcomp/pthread-wmm/mix050_power.opt.yml false(unreach-call) 33.19 19.00 None svcomp/pthread-wmm/mix050_pso.oepc.yml false(unreach-call) 27.72 15.47 None svcomp/pthread-wmm/mix050_pso.opt.yml false(unreach-call) 28.03 15.77 None svcomp/pthread-wmm/mix050_rmo.oepc.yml false(unreach-call) 27.30 15.41 None svcomp/pthread-wmm/mix050_rmo.opt.yml false(unreach-call) 25.65 14.21 None svcomp/pthread-wmm/mix050_tso.oepc.yml false(unreach-call) 26.98 15.10 None svcomp/pthread-wmm/mix050_tso.opt.yml false(unreach-call) 29.49 16.36 None svcomp/pthread-wmm/mix051_power.oepc.yml false(unreach-call) 29.49 16.65 None svcomp/pthread-wmm/mix051_power.opt.yml false(unreach-call) 32.33 18.51 None svcomp/pthread-wmm/mix051_pso.oepc.yml false(unreach-call) 29.30 16.22 None svcomp/pthread-wmm/mix051_pso.opt.yml false(unreach-call) 24.82 13.78 None svcomp/pthread-wmm/mix051_rmo.oepc.yml false(unreach-call) 55.77 37.03 None svcomp/pthread-wmm/mix051_rmo.opt.yml false(unreach-call) 24.80 13.63 None svcomp/pthread-wmm/mix051_tso.oepc.yml false(unreach-call) 39.34 22.53 None svcomp/pthread-wmm/mix051_tso.opt.yml false(unreach-call) 24.93 13.85 None svcomp/pthread-wmm/mix052_power.oepc.yml false(unreach-call) 24.04 13.50 None svcomp/pthread-wmm/mix052_power.opt.yml false(unreach-call) 24.75 13.97 None svcomp/pthread-wmm/mix052_pso.oepc.yml false(unreach-call) 23.16 12.74 None svcomp/pthread-wmm/mix052_pso.opt.yml false(unreach-call) 22.21 12.30 None svcomp/pthread-wmm/mix052_rmo.oepc.yml false(unreach-call) 23.33 12.96 None svcomp/pthread-wmm/mix052_rmo.opt.yml false(unreach-call) 19.76 11.05 None svcomp/pthread-wmm/mix052_tso.oepc.yml false(unreach-call) 42.27 26.14 None svcomp/pthread-wmm/mix052_tso.opt.yml false(unreach-call) 19.32 10.59 None svcomp/pthread-wmm/mix053_power.oepc.yml false(unreach-call) 34.86 20.17 None svcomp/pthread-wmm/mix053_power.opt.yml false(unreach-call) 27.31 14.78 None svcomp/pthread-wmm/mix053_pso.oepc.yml false(unreach-call) 34.75 20.41 None svcomp/pthread-wmm/mix053_pso.opt.yml false(unreach-call) 25.92 14.07 None svcomp/pthread-wmm/mix053_rmo.oepc.yml false(unreach-call) 38.68 22.46 None svcomp/pthread-wmm/mix053_rmo.opt.yml false(unreach-call) 25.59 13.77 None svcomp/pthread-wmm/mix053_tso.oepc.yml false(unreach-call) 50.41 30.09 None svcomp/pthread-wmm/mix053_tso.opt.yml false(unreach-call) 25.21 13.59 None svcomp/pthread-wmm/mix054_power.oepc.yml false(unreach-call) 18.73 10.34 None svcomp/pthread-wmm/mix054_power.opt.yml false(unreach-call) 19.33 10.86 None svcomp/pthread-wmm/mix054_pso.oepc.yml false(unreach-call) 19.13 10.66 None svcomp/pthread-wmm/mix054_pso.opt.yml false(unreach-call) 19.79 11.12 None svcomp/pthread-wmm/mix054_rmo.oepc.yml false(unreach-call) 18.30 10.02 None svcomp/pthread-wmm/mix054_rmo.opt.yml false(unreach-call) 24.99 14.55 None svcomp/pthread-wmm/mix054_tso.oepc.yml false(unreach-call) 25.53 14.45 None svcomp/pthread-wmm/mix054_tso.opt.yml false(unreach-call) 22.56 12.97 None svcomp/pthread-wmm/mix055_power.oepc.yml false(unreach-call) 34.48 19.66 None svcomp/pthread-wmm/mix055_power.opt.yml false(unreach-call) 39.18 22.71 None svcomp/pthread-wmm/mix055_pso.oepc.yml false(unreach-call) 45.87 26.77 None svcomp/pthread-wmm/mix055_pso.opt.yml false(unreach-call) 44.67 26.00 None svcomp/pthread-wmm/mix055_rmo.oepc.yml false(unreach-call) 35.55 20.93 None svcomp/pthread-wmm/mix055_rmo.opt.yml false(unreach-call) 42.50 25.09 None svcomp/pthread-wmm/mix055_tso.oepc.yml false(unreach-call) 83.43 57.77 None svcomp/pthread-wmm/mix055_tso.opt.yml false(unreach-call) 40.56 24.24 None svcomp/pthread-wmm/mix056_power.oepc.yml false(unreach-call) 22.81 12.84 None svcomp/pthread-wmm/mix056_power.opt.yml false(unreach-call) 52.86 33.08 None svcomp/pthread-wmm/mix056_pso.oepc.yml false(unreach-call) 24.18 13.57 None svcomp/pthread-wmm/mix056_pso.opt.yml false(unreach-call) 32.89 18.49 None svcomp/pthread-wmm/mix056_rmo.oepc.yml false(unreach-call) 24.93 13.98 None svcomp/pthread-wmm/mix056_rmo.opt.yml false(unreach-call) 41.10 24.49 None svcomp/pthread-wmm/mix056_tso.oepc.yml false(unreach-call) 50.07 29.95 None svcomp/pthread-wmm/mix056_tso.opt.yml false(unreach-call) 42.59 26.25 None svcomp/pthread-wmm/mix057_power.oepc.yml false(unreach-call) 42.99 24.58 None svcomp/pthread-wmm/mix057_power.opt.yml false(unreach-call) 99.35 70.93 None svcomp/pthread-wmm/mix057_pso.oepc.yml false(unreach-call) 31.96 18.06 None svcomp/pthread-wmm/mix057_pso.opt.yml false(unreach-call) 77.25 48.82 None svcomp/pthread-wmm/mix057_rmo.oepc.yml false(unreach-call) 34.99 19.12 None svcomp/pthread-wmm/mix057_rmo.opt.yml false(unreach-call) 70.73 46.55 None svcomp/pthread-wmm/mix057_tso.oepc.yml false(unreach-call) 72.00 45.59 None svcomp/pthread-wmm/mix057_tso.opt.yml false(unreach-call) 66.00 42.43 None svcomp/pthread-wmm/podwr000_power.oepc.yml false(unreach-call) 17.35 9.83 None svcomp/pthread-wmm/podwr000_power.opt.yml false(unreach-call) 19.04 10.75 None svcomp/pthread-wmm/podwr000_pso.oepc.yml false(unreach-call) 17.26 9.66 None svcomp/pthread-wmm/podwr000_pso.opt.yml false(unreach-call) 17.61 9.60 None svcomp/pthread-wmm/podwr000_rmo.oepc.yml false(unreach-call) 17.74 9.83 None svcomp/pthread-wmm/podwr000_rmo.opt.yml false(unreach-call) 18.59 10.36 None svcomp/pthread-wmm/podwr000_tso.oepc.yml false(unreach-call) 17.37 9.67 None svcomp/pthread-wmm/podwr000_tso.opt.yml false(unreach-call) 19.56 10.91 None svcomp/pthread-wmm/podwr001_power.oepc.yml false(unreach-call) 20.55 11.52 None svcomp/pthread-wmm/podwr001_power.opt.yml false(unreach-call) 22.26 12.40 None svcomp/pthread-wmm/podwr001_pso.oepc.yml false(unreach-call) 22.31 12.41 None svcomp/pthread-wmm/podwr001_pso.opt.yml false(unreach-call) 22.19 12.49 None svcomp/pthread-wmm/podwr001_rmo.oepc.yml false(unreach-call) 19.57 10.90 None svcomp/pthread-wmm/podwr001_rmo.opt.yml false(unreach-call) 21.88 11.95 None svcomp/pthread-wmm/podwr001_tso.oepc.yml false(unreach-call) 21.37 11.94 None svcomp/pthread-wmm/podwr001_tso.opt.yml false(unreach-call) 22.34 12.28 None svcomp/pthread-wmm/rfi000_power.oepc.yml false(unreach-call) 31.07 18.06 None svcomp/pthread-wmm/rfi000_power.opt.yml false(unreach-call) 24.33 14.15 None svcomp/pthread-wmm/rfi000_pso.oepc.yml false(unreach-call) 36.86 22.63 None svcomp/pthread-wmm/rfi000_pso.opt.yml false(unreach-call) 23.94 13.38 None svcomp/pthread-wmm/rfi000_rmo.oepc.yml false(unreach-call) 37.69 23.31 None svcomp/pthread-wmm/rfi000_rmo.opt.yml false(unreach-call) 24.02 13.48 None svcomp/pthread-wmm/rfi000_tso.oepc.yml true 55.71 35.24 None svcomp/pthread-wmm/rfi000_tso.opt.yml true 40.20 24.34 None svcomp/pthread-wmm/rfi001_power.oepc.yml false(unreach-call) 18.90 10.38 None svcomp/pthread-wmm/rfi001_power.opt.yml false(unreach-call) 20.18 11.07 None svcomp/pthread-wmm/rfi001_pso.oepc.yml false(unreach-call) 19.95 10.84 None svcomp/pthread-wmm/rfi001_pso.opt.yml false(unreach-call) 19.97 10.81 None svcomp/pthread-wmm/rfi001_rmo.oepc.yml false(unreach-call) 19.20 10.52 None svcomp/pthread-wmm/rfi001_rmo.opt.yml false(unreach-call) 23.07 12.92 None svcomp/pthread-wmm/rfi001_tso.oepc.yml false(unreach-call) 20.81 11.36 None svcomp/pthread-wmm/rfi001_tso.opt.yml false(unreach-call) 19.59 10.95 None svcomp/pthread-wmm/rfi002_power.oepc.yml true 81.30 57.02 None svcomp/pthread-wmm/rfi002_power.opt.yml true 60.94 39.16 None svcomp/pthread-wmm/rfi002_pso.oepc.yml true 67.37 45.29 None svcomp/pthread-wmm/rfi002_pso.opt.yml true 68.67 46.12 None svcomp/pthread-wmm/rfi002_rmo.oepc.yml true 88.87 62.92 None svcomp/pthread-wmm/rfi002_rmo.opt.yml true 85.32 61.29 None svcomp/pthread-wmm/rfi002_tso.oepc.yml true 55.01 35.60 None svcomp/pthread-wmm/rfi002_tso.opt.yml true 64.18 41.54 None svcomp/pthread-wmm/rfi003_power.oepc.yml false(unreach-call) 20.40 11.49 None svcomp/pthread-wmm/rfi003_power.opt.yml false(unreach-call) 21.14 11.73 None svcomp/pthread-wmm/rfi003_pso.oepc.yml false(unreach-call) 18.95 10.31 None svcomp/pthread-wmm/rfi003_pso.opt.yml false(unreach-call) 19.68 10.79 None svcomp/pthread-wmm/rfi003_rmo.oepc.yml false(unreach-call) 20.51 11.49 None svcomp/pthread-wmm/rfi003_rmo.opt.yml false(unreach-call) 20.24 11.40 None svcomp/pthread-wmm/rfi003_tso.oepc.yml true 50.55 33.12 None svcomp/pthread-wmm/rfi003_tso.opt.yml true 32.60 19.39 None svcomp/pthread-wmm/rfi004_power.oepc.yml false(unreach-call) 17.90 10.06 None svcomp/pthread-wmm/rfi004_power.opt.yml false(unreach-call) 19.01 10.38 None svcomp/pthread-wmm/rfi004_pso.oepc.yml false(unreach-call) 22.71 13.44 None svcomp/pthread-wmm/rfi004_pso.opt.yml false(unreach-call) 18.75 10.50 None svcomp/pthread-wmm/rfi004_rmo.oepc.yml false(unreach-call) 18.82 10.19 None svcomp/pthread-wmm/rfi004_rmo.opt.yml false(unreach-call) 19.28 10.65 None svcomp/pthread-wmm/rfi004_tso.oepc.yml false(unreach-call) 18.92 10.20 None svcomp/pthread-wmm/rfi004_tso.opt.yml false(unreach-call) 17.66 9.84 None svcomp/pthread-wmm/rfi005_power.oepc.yml false(unreach-call) 15.74 8.65 None svcomp/pthread-wmm/rfi005_power.opt.yml false(unreach-call) 15.55 8.39 None svcomp/pthread-wmm/rfi005_pso.oepc.yml false(unreach-call) 16.58 9.04 None svcomp/pthread-wmm/rfi005_pso.opt.yml false(unreach-call) 16.66 8.97 None svcomp/pthread-wmm/rfi005_rmo.oepc.yml false(unreach-call) 15.94 8.68 None svcomp/pthread-wmm/rfi005_rmo.opt.yml false(unreach-call) 15.97 8.83 None svcomp/pthread-wmm/rfi005_tso.oepc.yml false(unreach-call) 15.72 8.58 None svcomp/pthread-wmm/rfi005_tso.opt.yml false(unreach-call) 14.88 8.13 None svcomp/pthread-wmm/rfi006_power.oepc.yml false(unreach-call) 47.72 30.11 None svcomp/pthread-wmm/rfi006_power.opt.yml false(unreach-call) 56.75 36.78 None svcomp/pthread-wmm/rfi006_pso.oepc.yml false(unreach-call) 23.72 12.73 None svcomp/pthread-wmm/rfi006_pso.opt.yml false(unreach-call) 24.68 13.36 None svcomp/pthread-wmm/rfi006_rmo.oepc.yml false(unreach-call) 58.86 38.07 None svcomp/pthread-wmm/rfi006_rmo.opt.yml false(unreach-call) 49.70 31.90 None svcomp/pthread-wmm/rfi006_tso.oepc.yml false(unreach-call) 22.12 12.10 None svcomp/pthread-wmm/rfi006_tso.opt.yml false(unreach-call) 24.04 12.76 None svcomp/pthread-wmm/rfi007_power.oepc.yml false(unreach-call) 18.96 10.30 None svcomp/pthread-wmm/rfi007_power.opt.yml false(unreach-call) 18.37 10.10 None svcomp/pthread-wmm/rfi007_pso.oepc.yml false(unreach-call) 18.96 10.41 None svcomp/pthread-wmm/rfi007_pso.opt.yml false(unreach-call) 19.72 10.89 None svcomp/pthread-wmm/rfi007_rmo.oepc.yml false(unreach-call) 18.65 10.47 None svcomp/pthread-wmm/rfi007_rmo.opt.yml false(unreach-call) 19.53 10.84 None svcomp/pthread-wmm/rfi007_tso.oepc.yml false(unreach-call) 19.60 10.55 None svcomp/pthread-wmm/rfi007_tso.opt.yml false(unreach-call) 23.93 13.52 None svcomp/pthread-wmm/rfi008_power.oepc.yml false(unreach-call) 24.95 14.06 None svcomp/pthread-wmm/rfi008_power.opt.yml false(unreach-call) 18.73 10.05 None svcomp/pthread-wmm/rfi008_pso.oepc.yml false(unreach-call) 24.49 14.18 None svcomp/pthread-wmm/rfi008_pso.opt.yml false(unreach-call) 19.86 10.78 None svcomp/pthread-wmm/rfi008_rmo.oepc.yml false(unreach-call) 23.40 13.29 None svcomp/pthread-wmm/rfi008_rmo.opt.yml false(unreach-call) 19.30 10.48 None svcomp/pthread-wmm/rfi008_tso.oepc.yml false(unreach-call) 22.79 12.46 None svcomp/pthread-wmm/rfi008_tso.opt.yml false(unreach-call) 19.52 10.73 None svcomp/pthread-wmm/rfi009_power.oepc.yml false(unreach-call) 47.74 29.04 None svcomp/pthread-wmm/rfi009_power.opt.yml false(unreach-call) 26.28 15.32 None svcomp/pthread-wmm/rfi009_pso.oepc.yml false(unreach-call) 26.58 14.76 None svcomp/pthread-wmm/rfi009_pso.opt.yml false(unreach-call) 27.55 15.65 None svcomp/pthread-wmm/rfi009_rmo.oepc.yml false(unreach-call) 60.03 40.18 None svcomp/pthread-wmm/rfi009_rmo.opt.yml false(unreach-call) 36.07 21.29 None svcomp/pthread-wmm/rfi009_tso.oepc.yml false(unreach-call) 26.33 14.96 None svcomp/pthread-wmm/rfi009_tso.opt.yml false(unreach-call) 27.99 15.55 None svcomp/pthread-wmm/rfi010_power.oepc.yml false(unreach-call) 21.86 12.31 None svcomp/pthread-wmm/rfi010_power.opt.yml false(unreach-call) 23.40 12.73 None svcomp/pthread-wmm/rfi010_pso.oepc.yml false(unreach-call) 20.96 11.93 None svcomp/pthread-wmm/rfi010_pso.opt.yml false(unreach-call) 21.73 12.28 None svcomp/pthread-wmm/rfi010_rmo.oepc.yml false(unreach-call) 22.05 12.52 None svcomp/pthread-wmm/rfi010_rmo.opt.yml false(unreach-call) 23.19 12.83 None svcomp/pthread-wmm/rfi010_tso.oepc.yml false(unreach-call) 24.04 12.83 None svcomp/pthread-wmm/rfi010_tso.opt.yml false(unreach-call) 22.78 12.73 None svcomp/pthread-wmm/safe000_power.oepc.yml false(unreach-call) 65.63 41.81 None svcomp/pthread-wmm/safe000_power.opt.yml false(unreach-call) 67.45 44.47 None svcomp/pthread-wmm/safe000_pso.oepc.yml true 15.29 8.54 None svcomp/pthread-wmm/safe000_pso.opt.yml true 15.81 8.53 None svcomp/pthread-wmm/safe000_rmo.oepc.yml false(unreach-call) 69.33 44.43 None svcomp/pthread-wmm/safe000_rmo.opt.yml false(unreach-call) 65.93 43.92 None svcomp/pthread-wmm/safe000_tso.oepc.yml true 15.20 8.33 None svcomp/pthread-wmm/safe000_tso.opt.yml true 15.28 8.41 None svcomp/pthread-wmm/safe001_power.oepc.yml false(unreach-call) 69.72 42.12 None svcomp/pthread-wmm/safe001_power.opt.yml false(unreach-call) 29.27 16.72 None svcomp/pthread-wmm/safe001_pso.oepc.yml false(unreach-call) 28.47 15.92 None svcomp/pthread-wmm/safe001_pso.opt.yml false(unreach-call) 35.19 20.43 None svcomp/pthread-wmm/safe001_rmo.oepc.yml false(unreach-call) 108.35 77.82 None svcomp/pthread-wmm/safe001_rmo.opt.yml false(unreach-call) 27.78 16.12 None svcomp/pthread-wmm/safe001_tso.oepc.yml true 19.10 10.59 None svcomp/pthread-wmm/safe001_tso.opt.yml true 18.10 10.16 None svcomp/pthread-wmm/safe002_power.oepc.yml false(unreach-call) 67.10 41.88 None svcomp/pthread-wmm/safe002_power.opt.yml false(unreach-call) 20.72 11.52 None svcomp/pthread-wmm/safe002_pso.oepc.yml false(unreach-call) 26.60 15.07 None svcomp/pthread-wmm/safe002_pso.opt.yml false(unreach-call) 20.28 11.07 None svcomp/pthread-wmm/safe002_rmo.oepc.yml false(unreach-call) 59.61 38.65 None svcomp/pthread-wmm/safe002_rmo.opt.yml false(unreach-call) 22.22 12.04 None svcomp/pthread-wmm/safe002_tso.oepc.yml true 17.54 9.66 None svcomp/pthread-wmm/safe002_tso.opt.yml true 17.53 9.84 None svcomp/pthread-wmm/safe003_power.oepc.yml false(unreach-call) 46.47 27.34 None svcomp/pthread-wmm/safe003_power.opt.yml false(unreach-call) 103.88 75.39 None svcomp/pthread-wmm/safe003_pso.oepc.yml false(unreach-call) 50.71 30.89 None svcomp/pthread-wmm/safe003_pso.opt.yml false(unreach-call) 50.28 31.33 None svcomp/pthread-wmm/safe003_rmo.oepc.yml false(unreach-call) 52.42 32.17 None svcomp/pthread-wmm/safe003_rmo.opt.yml false(unreach-call) 49.63 29.59 None svcomp/pthread-wmm/safe003_tso.oepc.yml true 15.58 8.60 None svcomp/pthread-wmm/safe003_tso.opt.yml true 15.78 8.69 None svcomp/pthread-wmm/safe004_power.oepc.yml false(unreach-call) 57.21 35.62 None svcomp/pthread-wmm/safe004_power.opt.yml false(unreach-call) 31.36 17.96 None svcomp/pthread-wmm/safe004_pso.oepc.yml false(unreach-call) 75.11 49.10 None svcomp/pthread-wmm/safe004_pso.opt.yml false(unreach-call) 32.85 19.45 None svcomp/pthread-wmm/safe004_rmo.oepc.yml false(unreach-call) 44.49 26.30 None svcomp/pthread-wmm/safe004_rmo.opt.yml false(unreach-call) 31.67 18.67 None svcomp/pthread-wmm/safe004_tso.oepc.yml true 16.84 9.24 None svcomp/pthread-wmm/safe004_tso.opt.yml true 17.90 9.78 None svcomp/pthread-wmm/safe005_power.oepc.yml false(unreach-call) 25.22 14.62 None svcomp/pthread-wmm/safe005_power.opt.yml false(unreach-call) 27.24 15.55 None svcomp/pthread-wmm/safe005_pso.oepc.yml false(unreach-call) 24.63 13.73 None svcomp/pthread-wmm/safe005_pso.opt.yml false(unreach-call) 25.01 13.77 None svcomp/pthread-wmm/safe005_rmo.oepc.yml false(unreach-call) 27.35 15.18 None svcomp/pthread-wmm/safe005_rmo.opt.yml false(unreach-call) 24.21 13.30 None svcomp/pthread-wmm/safe005_tso.oepc.yml true 17.04 9.29 None svcomp/pthread-wmm/safe005_tso.opt.yml true 19.72 10.70 None svcomp/pthread-wmm/safe006_power.oepc.yml false(unreach-call) 30.73 18.66 None svcomp/pthread-wmm/safe006_power.opt.yml false(unreach-call) 30.11 18.17 None svcomp/pthread-wmm/safe006_pso.oepc.yml true 12.38 6.91 None svcomp/pthread-wmm/safe006_pso.opt.yml true 12.59 7.13 None svcomp/pthread-wmm/safe006_rmo.oepc.yml false(unreach-call) 27.54 16.93 None svcomp/pthread-wmm/safe006_rmo.opt.yml false(unreach-call) 28.02 16.90 None svcomp/pthread-wmm/safe006_tso.oepc.yml true 11.91 6.71 None svcomp/pthread-wmm/safe006_tso.opt.yml true 13.25 7.34 None svcomp/pthread-wmm/safe007_power.oepc.yml false(unreach-call) 38.29 22.67 None svcomp/pthread-wmm/safe007_power.opt.yml false(unreach-call) 57.08 38.46 None svcomp/pthread-wmm/safe007_pso.oepc.yml true 13.71 7.61 None svcomp/pthread-wmm/safe007_pso.opt.yml true 14.87 8.17 None svcomp/pthread-wmm/safe007_rmo.oepc.yml false(unreach-call) 35.53 22.03 None svcomp/pthread-wmm/safe007_rmo.opt.yml false(unreach-call) 38.57 23.56 None svcomp/pthread-wmm/safe007_tso.oepc.yml true 14.20 7.78 None svcomp/pthread-wmm/safe007_tso.opt.yml true 14.50 8.17 None svcomp/pthread-wmm/safe008_power.oepc.yml false(unreach-call) 29.83 17.44 None svcomp/pthread-wmm/safe008_power.opt.yml false(unreach-call) 51.97 32.22 None svcomp/pthread-wmm/safe008_pso.oepc.yml false(unreach-call) 29.78 17.64 None svcomp/pthread-wmm/safe008_pso.opt.yml false(unreach-call) 28.83 17.22 None svcomp/pthread-wmm/safe008_rmo.oepc.yml false(unreach-call) 29.30 17.00 None svcomp/pthread-wmm/safe008_rmo.opt.yml false(unreach-call) 33.50 19.57 None svcomp/pthread-wmm/safe008_tso.oepc.yml true 16.57 9.10 None svcomp/pthread-wmm/safe008_tso.opt.yml true 16.45 9.35 None svcomp/pthread-wmm/safe009_power.oepc.yml false(unreach-call) 66.66 44.65 None svcomp/pthread-wmm/safe009_power.opt.yml false(unreach-call) 36.41 20.34 None svcomp/pthread-wmm/safe009_pso.oepc.yml true 17.60 9.94 None svcomp/pthread-wmm/safe009_pso.opt.yml true 16.89 9.36 None svcomp/pthread-wmm/safe009_rmo.oepc.yml false(unreach-call) 54.92 36.43 None svcomp/pthread-wmm/safe009_rmo.opt.yml false(unreach-call) 51.87 33.71 None svcomp/pthread-wmm/safe009_tso.oepc.yml true 17.23 9.32 None svcomp/pthread-wmm/safe009_tso.opt.yml true 16.64 9.11 None svcomp/pthread-wmm/safe010_power.oepc.yml false(unreach-call) 19.94 11.02 None svcomp/pthread-wmm/safe010_power.opt.yml false(unreach-call) 22.80 12.83 None svcomp/pthread-wmm/safe010_pso.oepc.yml false(unreach-call) 21.85 12.21 None svcomp/pthread-wmm/safe010_pso.opt.yml false(unreach-call) 20.65 11.72 None svcomp/pthread-wmm/safe010_rmo.oepc.yml false(unreach-call) 22.14 12.60 None svcomp/pthread-wmm/safe010_rmo.opt.yml false(unreach-call) 20.51 11.53 None svcomp/pthread-wmm/safe010_tso.oepc.yml true 13.00 7.24 None svcomp/pthread-wmm/safe010_tso.opt.yml true 14.06 7.73 None svcomp/pthread-wmm/safe011_power.oepc.yml false(unreach-call) 57.25 35.71 None svcomp/pthread-wmm/safe011_power.opt.yml false(unreach-call) 30.54 17.09 None svcomp/pthread-wmm/safe011_pso.oepc.yml false(unreach-call) 51.04 31.51 None svcomp/pthread-wmm/safe011_pso.opt.yml false(unreach-call) 30.95 17.67 None svcomp/pthread-wmm/safe011_rmo.oepc.yml false(unreach-call) 50.48 31.22 None svcomp/pthread-wmm/safe011_rmo.opt.yml false(unreach-call) 42.37 26.04 None svcomp/pthread-wmm/safe011_tso.oepc.yml true 17.53 9.47 None svcomp/pthread-wmm/safe011_tso.opt.yml true 18.91 10.39 None svcomp/pthread-wmm/safe012_power.oepc.yml false(unreach-call) 38.00 22.96 None svcomp/pthread-wmm/safe012_power.opt.yml false(unreach-call) 32.24 18.98 None svcomp/pthread-wmm/safe012_pso.oepc.yml false(unreach-call) 21.04 11.45 None svcomp/pthread-wmm/safe012_pso.opt.yml false(unreach-call) 25.67 14.80 None svcomp/pthread-wmm/safe012_rmo.oepc.yml false(unreach-call) 35.04 21.73 None svcomp/pthread-wmm/safe012_rmo.opt.yml false(unreach-call) 26.38 15.28 None svcomp/pthread-wmm/safe012_tso.oepc.yml true 16.30 8.80 None svcomp/pthread-wmm/safe012_tso.opt.yml true 16.68 9.07 None svcomp/pthread-wmm/safe013_power.oepc.yml false(unreach-call) 21.60 11.64 None svcomp/pthread-wmm/safe013_power.opt.yml false(unreach-call) 21.17 11.44 None svcomp/pthread-wmm/safe013_pso.oepc.yml false(unreach-call) 21.03 11.61 None svcomp/pthread-wmm/safe013_pso.opt.yml false(unreach-call) 21.21 11.45 None svcomp/pthread-wmm/safe013_rmo.oepc.yml false(unreach-call) 20.73 11.50 None svcomp/pthread-wmm/safe013_rmo.opt.yml false(unreach-call) 21.12 11.35 None svcomp/pthread-wmm/safe013_tso.oepc.yml true 17.74 9.45 None svcomp/pthread-wmm/safe013_tso.opt.yml true 16.87 9.26 None svcomp/pthread-wmm/safe014_power.oepc.yml false(unreach-call) 38.74 23.30 None svcomp/pthread-wmm/safe014_power.opt.yml false(unreach-call) 56.03 36.41 None svcomp/pthread-wmm/safe014_pso.oepc.yml true 17.96 9.87 None svcomp/pthread-wmm/safe014_pso.opt.yml true 18.27 10.19 None svcomp/pthread-wmm/safe014_rmo.oepc.yml false(unreach-call) 35.84 20.91 None svcomp/pthread-wmm/safe014_rmo.opt.yml false(unreach-call) 58.69 37.68 None svcomp/pthread-wmm/safe014_tso.oepc.yml true 18.17 10.29 None svcomp/pthread-wmm/safe014_tso.opt.yml true 18.70 10.40 None svcomp/pthread-wmm/safe015_power.oepc.yml false(unreach-call) 19.04 10.27 None svcomp/pthread-wmm/safe015_power.opt.yml false(unreach-call) 55.58 33.89 None svcomp/pthread-wmm/safe015_pso.oepc.yml true 19.85 10.81 None svcomp/pthread-wmm/safe015_pso.opt.yml true 20.52 11.20 None svcomp/pthread-wmm/safe015_rmo.oepc.yml false(unreach-call) 87.32 61.07 None svcomp/pthread-wmm/safe015_rmo.opt.yml false(unreach-call) 53.85 33.91 None svcomp/pthread-wmm/safe015_tso.oepc.yml true 21.27 11.39 None svcomp/pthread-wmm/safe015_tso.opt.yml true 20.93 11.38 None svcomp/pthread-wmm/safe016_power.oepc.yml false(unreach-call) 97.86 70.26 None svcomp/pthread-wmm/safe016_power.opt.yml false(unreach-call) 144.13 105.86 None svcomp/pthread-wmm/safe016_pso.oepc.yml true 21.03 11.54 None svcomp/pthread-wmm/safe016_pso.opt.yml true 21.69 11.69 None svcomp/pthread-wmm/safe016_rmo.oepc.yml false(unreach-call) 131.66 98.40 None svcomp/pthread-wmm/safe016_rmo.opt.yml false(unreach-call) 101.01 70.36 None svcomp/pthread-wmm/safe016_tso.oepc.yml true 22.27 12.44 None svcomp/pthread-wmm/safe016_tso.opt.yml true 22.76 12.20 None svcomp/pthread-wmm/safe017_power.oepc.yml false(unreach-call) 55.05 35.50 None svcomp/pthread-wmm/safe017_power.opt.yml false(unreach-call) 42.58 25.34 None svcomp/pthread-wmm/safe017_pso.oepc.yml false(unreach-call) 35.56 20.22 None svcomp/pthread-wmm/safe017_pso.opt.yml false(unreach-call) 41.82 24.38 None svcomp/pthread-wmm/safe017_rmo.oepc.yml false(unreach-call) 40.27 23.37 None svcomp/pthread-wmm/safe017_rmo.opt.yml false(unreach-call) 48.45 28.75 None svcomp/pthread-wmm/safe017_tso.oepc.yml true 18.27 9.88 None svcomp/pthread-wmm/safe017_tso.opt.yml true 17.61 9.50 None svcomp/pthread-wmm/safe018_power.oepc.yml false(unreach-call) 36.81 21.91 None svcomp/pthread-wmm/safe018_power.opt.yml false(unreach-call) 52.56 34.14 None svcomp/pthread-wmm/safe018_pso.oepc.yml true 16.07 8.87 None svcomp/pthread-wmm/safe018_pso.opt.yml true 16.14 8.88 None svcomp/pthread-wmm/safe018_rmo.oepc.yml false(unreach-call) 27.97 16.49 None svcomp/pthread-wmm/safe018_rmo.opt.yml false(unreach-call) 51.64 34.39 None svcomp/pthread-wmm/safe018_tso.oepc.yml true 15.56 8.63 None svcomp/pthread-wmm/safe018_tso.opt.yml true 16.04 8.85 None svcomp/pthread-wmm/safe019_power.oepc.yml false(unreach-call) 54.25 32.95 None svcomp/pthread-wmm/safe019_power.opt.yml false(unreach-call) 266.76 226.16 None svcomp/pthread-wmm/safe019_pso.oepc.yml true 21.04 11.49 None svcomp/pthread-wmm/safe019_pso.opt.yml true 20.67 11.06 None svcomp/pthread-wmm/safe019_rmo.oepc.yml false(unreach-call) 70.67 47.82 None svcomp/pthread-wmm/safe019_rmo.opt.yml TIMEOUT 905.94 797.66 None svcomp/pthread-wmm/safe019_tso.oepc.yml true 19.97 10.88 None svcomp/pthread-wmm/safe019_tso.opt.yml true 20.55 11.18 None svcomp/pthread-wmm/safe020_power.oepc.yml false(unreach-call) 52.11 31.91 None svcomp/pthread-wmm/safe020_power.opt.yml false(unreach-call) 63.03 40.26 None svcomp/pthread-wmm/safe020_pso.oepc.yml true 16.62 9.23 None svcomp/pthread-wmm/safe020_pso.opt.yml true 16.02 8.81 None svcomp/pthread-wmm/safe020_rmo.oepc.yml false(unreach-call) 62.99 42.40 None svcomp/pthread-wmm/safe020_rmo.opt.yml false(unreach-call) 56.84 38.42 None svcomp/pthread-wmm/safe020_tso.oepc.yml true 17.02 9.29 None svcomp/pthread-wmm/safe020_tso.opt.yml true 17.37 9.37 None svcomp/pthread-wmm/safe021_power.oepc.yml false(unreach-call) 23.57 13.41 None svcomp/pthread-wmm/safe021_power.opt.yml false(unreach-call) 25.08 13.53 None svcomp/pthread-wmm/safe021_pso.oepc.yml false(unreach-call) 24.92 13.88 None svcomp/pthread-wmm/safe021_pso.opt.yml false(unreach-call) 27.78 15.25 None svcomp/pthread-wmm/safe021_rmo.oepc.yml false(unreach-call) 25.25 13.96 None svcomp/pthread-wmm/safe021_rmo.opt.yml false(unreach-call) 25.80 14.08 None svcomp/pthread-wmm/safe021_tso.oepc.yml true 15.04 8.51 None svcomp/pthread-wmm/safe021_tso.opt.yml true 15.43 8.54 None svcomp/pthread-wmm/safe022_power.oepc.yml false(unreach-call) 16.47 9.07 None svcomp/pthread-wmm/safe022_power.opt.yml false(unreach-call) 16.93 9.34 None svcomp/pthread-wmm/safe022_pso.oepc.yml false(unreach-call) 17.13 9.38 None svcomp/pthread-wmm/safe022_pso.opt.yml false(unreach-call) 17.21 9.41 None svcomp/pthread-wmm/safe022_rmo.oepc.yml false(unreach-call) 17.54 9.64 None svcomp/pthread-wmm/safe022_rmo.opt.yml false(unreach-call) 16.05 8.87 None svcomp/pthread-wmm/safe022_tso.oepc.yml true 13.62 7.62 None svcomp/pthread-wmm/safe022_tso.opt.yml true 13.32 7.36 None svcomp/pthread-wmm/safe023_power.oepc.yml false(unreach-call) 63.44 40.85 None svcomp/pthread-wmm/safe023_power.opt.yml false(unreach-call) 58.37 36.72 None svcomp/pthread-wmm/safe023_pso.oepc.yml false(unreach-call) 110.36 77.04 None svcomp/pthread-wmm/safe023_pso.opt.yml false(unreach-call) 65.93 44.69 None svcomp/pthread-wmm/safe023_rmo.oepc.yml false(unreach-call) 100.26 68.77 None svcomp/pthread-wmm/safe023_rmo.opt.yml false(unreach-call) 65.30 41.59 None svcomp/pthread-wmm/safe023_tso.oepc.yml true 17.48 9.83 None svcomp/pthread-wmm/safe023_tso.opt.yml true 17.64 9.84 None svcomp/pthread-wmm/safe024_power.oepc.yml false(unreach-call) 19.24 10.52 None svcomp/pthread-wmm/safe024_power.opt.yml false(unreach-call) 17.87 9.70 None svcomp/pthread-wmm/safe024_pso.oepc.yml false(unreach-call) 19.14 10.40 None svcomp/pthread-wmm/safe024_pso.opt.yml false(unreach-call) 18.18 10.14 None svcomp/pthread-wmm/safe024_rmo.oepc.yml false(unreach-call) 19.21 10.50 None svcomp/pthread-wmm/safe024_rmo.opt.yml false(unreach-call) 19.10 10.42 None svcomp/pthread-wmm/safe024_tso.oepc.yml true 14.54 8.14 None svcomp/pthread-wmm/safe024_tso.opt.yml true 15.33 8.59 None svcomp/pthread-wmm/safe025_power.oepc.yml false(unreach-call) 19.68 10.55 None svcomp/pthread-wmm/safe025_power.opt.yml false(unreach-call) 18.83 10.16 None svcomp/pthread-wmm/safe025_pso.oepc.yml true 18.50 10.21 None svcomp/pthread-wmm/safe025_pso.opt.yml true 18.48 10.07 None svcomp/pthread-wmm/safe025_rmo.oepc.yml false(unreach-call) 85.18 58.16 None svcomp/pthread-wmm/safe025_rmo.opt.yml false(unreach-call) 81.92 56.81 None svcomp/pthread-wmm/safe025_tso.oepc.yml true 18.82 10.55 None svcomp/pthread-wmm/safe025_tso.opt.yml true 18.90 10.33 None svcomp/pthread-wmm/safe026_power.oepc.yml false(unreach-call) 22.76 12.69 None svcomp/pthread-wmm/safe026_power.opt.yml false(unreach-call) 25.57 14.42 None svcomp/pthread-wmm/safe026_pso.oepc.yml false(unreach-call) 23.03 12.76 None svcomp/pthread-wmm/safe026_pso.opt.yml false(unreach-call) 23.87 13.36 None svcomp/pthread-wmm/safe026_rmo.oepc.yml false(unreach-call) 25.41 14.16 None svcomp/pthread-wmm/safe026_rmo.opt.yml false(unreach-call) 25.69 14.55 None svcomp/pthread-wmm/safe026_tso.oepc.yml true 15.98 8.79 None svcomp/pthread-wmm/safe026_tso.opt.yml true 16.87 9.20 None svcomp/pthread-wmm/safe027_power.oepc.yml false(unreach-call) 54.04 34.02 None svcomp/pthread-wmm/safe027_power.opt.yml false(unreach-call) 149.76 111.91 None svcomp/pthread-wmm/safe027_pso.oepc.yml true 19.46 10.59 None svcomp/pthread-wmm/safe027_pso.opt.yml true 19.18 10.50 None svcomp/pthread-wmm/safe027_rmo.oepc.yml false(unreach-call) 64.29 40.59 None svcomp/pthread-wmm/safe027_rmo.opt.yml false(unreach-call) 117.60 84.74 None svcomp/pthread-wmm/safe027_tso.oepc.yml true 19.06 10.37 None svcomp/pthread-wmm/safe027_tso.opt.yml true 20.14 10.95 None svcomp/pthread-wmm/safe028_power.oepc.yml false(unreach-call) 54.06 34.59 None svcomp/pthread-wmm/safe028_power.opt.yml false(unreach-call) 42.17 25.42 None svcomp/pthread-wmm/safe028_pso.oepc.yml true 14.98 8.37 None svcomp/pthread-wmm/safe028_pso.opt.yml true 14.87 8.30 None svcomp/pthread-wmm/safe028_rmo.oepc.yml false(unreach-call) 51.11 32.70 None svcomp/pthread-wmm/safe028_rmo.opt.yml false(unreach-call) 52.22 32.55 None svcomp/pthread-wmm/safe028_tso.oepc.yml true 16.12 8.88 None svcomp/pthread-wmm/safe028_tso.opt.yml true 15.81 8.73 None svcomp/pthread-wmm/safe029_power.oepc.yml false(unreach-call) 28.96 16.31 None svcomp/pthread-wmm/safe029_power.opt.yml false(unreach-call) 67.92 45.71 None svcomp/pthread-wmm/safe029_pso.oepc.yml false(unreach-call) 27.89 16.26 None svcomp/pthread-wmm/safe029_pso.opt.yml false(unreach-call) 34.14 21.13 None svcomp/pthread-wmm/safe029_rmo.oepc.yml false(unreach-call) 25.62 14.82 None svcomp/pthread-wmm/safe029_rmo.opt.yml false(unreach-call) 24.26 14.10 None svcomp/pthread-wmm/safe029_tso.oepc.yml true 13.89 7.66 None svcomp/pthread-wmm/safe029_tso.opt.yml true 13.41 7.48 None svcomp/pthread-wmm/safe030_power.oepc.yml false(unreach-call) 49.43 30.92 None svcomp/pthread-wmm/safe030_power.opt.yml false(unreach-call) 45.09 26.49 None svcomp/pthread-wmm/safe030_pso.oepc.yml false(unreach-call) 42.92 24.78 None svcomp/pthread-wmm/safe030_pso.opt.yml false(unreach-call) 41.69 24.51 None svcomp/pthread-wmm/safe030_rmo.oepc.yml false(unreach-call) 44.36 26.13 None svcomp/pthread-wmm/safe030_rmo.opt.yml false(unreach-call) 56.52 34.92 None svcomp/pthread-wmm/safe030_tso.oepc.yml true 19.21 10.26 None svcomp/pthread-wmm/safe030_tso.opt.yml true 18.15 9.87 None svcomp/pthread-wmm/safe031_power.oepc.yml false(unreach-call) 21.49 11.76 None svcomp/pthread-wmm/safe031_power.opt.yml false(unreach-call) 29.40 16.35 None svcomp/pthread-wmm/safe031_pso.oepc.yml false(unreach-call) 21.24 11.40 None svcomp/pthread-wmm/safe031_pso.opt.yml false(unreach-call) 37.38 21.45 None svcomp/pthread-wmm/safe031_rmo.oepc.yml false(unreach-call) 21.94 12.00 None svcomp/pthread-wmm/safe031_rmo.opt.yml false(unreach-call) 36.14 21.31 None svcomp/pthread-wmm/safe031_tso.oepc.yml true 18.52 10.00 None svcomp/pthread-wmm/safe031_tso.opt.yml true 18.73 10.11 None svcomp/pthread-wmm/safe032_power.oepc.yml false(unreach-call) 88.22 63.46 None svcomp/pthread-wmm/safe032_power.opt.yml false(unreach-call) 100.37 72.79 None svcomp/pthread-wmm/safe032_pso.oepc.yml false(unreach-call) 105.75 76.74 None svcomp/pthread-wmm/safe032_pso.opt.yml false(unreach-call) 80.63 54.42 None svcomp/pthread-wmm/safe032_rmo.oepc.yml false(unreach-call) 157.77 117.91 None svcomp/pthread-wmm/safe032_rmo.opt.yml false(unreach-call) 108.50 73.42 None svcomp/pthread-wmm/safe032_tso.oepc.yml true 18.84 10.27 None svcomp/pthread-wmm/safe032_tso.opt.yml true 17.49 9.59 None svcomp/pthread-wmm/safe033_power.oepc.yml false(unreach-call) 19.15 10.29 None svcomp/pthread-wmm/safe033_power.opt.yml false(unreach-call) 18.05 9.98 None svcomp/pthread-wmm/safe033_pso.oepc.yml false(unreach-call) 20.17 10.90 None svcomp/pthread-wmm/safe033_pso.opt.yml false(unreach-call) 18.60 10.23 None svcomp/pthread-wmm/safe033_rmo.oepc.yml false(unreach-call) 18.56 10.36 None svcomp/pthread-wmm/safe033_rmo.opt.yml false(unreach-call) 17.41 9.75 None svcomp/pthread-wmm/safe033_tso.oepc.yml true 13.81 7.71 None svcomp/pthread-wmm/safe033_tso.opt.yml true 13.29 7.44 None svcomp/pthread-wmm/safe034_power.oepc.yml false(unreach-call) 18.90 10.23 None svcomp/pthread-wmm/safe034_power.opt.yml false(unreach-call) 20.16 11.00 None svcomp/pthread-wmm/safe034_pso.oepc.yml false(unreach-call) 20.41 11.10 None svcomp/pthread-wmm/safe034_pso.opt.yml false(unreach-call) 22.13 11.85 None svcomp/pthread-wmm/safe034_rmo.oepc.yml false(unreach-call) 20.45 11.28 None svcomp/pthread-wmm/safe034_rmo.opt.yml false(unreach-call) 18.84 10.30 None svcomp/pthread-wmm/safe034_tso.oepc.yml true 16.71 9.21 None svcomp/pthread-wmm/safe034_tso.opt.yml true 17.14 9.29 None svcomp/pthread-wmm/safe035_power.oepc.yml true 144.50 107.95 None svcomp/pthread-wmm/safe035_power.opt.yml true 112.58 81.09 None svcomp/pthread-wmm/safe035_pso.oepc.yml true 17.05 9.24 None svcomp/pthread-wmm/safe035_pso.opt.yml true 15.82 8.76 None svcomp/pthread-wmm/safe035_rmo.oepc.yml true 16.51 9.16 None svcomp/pthread-wmm/safe035_rmo.opt.yml true 15.72 8.59 None svcomp/pthread-wmm/safe035_tso.oepc.yml true 16.57 9.09 None svcomp/pthread-wmm/safe035_tso.opt.yml true 16.48 9.20 None svcomp/pthread-wmm/safe036_power.oepc.yml true 12.79 7.22 None svcomp/pthread-wmm/safe036_power.opt.yml true 12.24 6.94 None svcomp/pthread-wmm/safe036_pso.oepc.yml true 13.47 7.32 None svcomp/pthread-wmm/safe036_pso.opt.yml true 12.74 7.13 None svcomp/pthread-wmm/safe036_rmo.oepc.yml true 13.31 7.50 None svcomp/pthread-wmm/safe036_rmo.opt.yml true 12.08 6.89 None svcomp/pthread-wmm/safe036_tso.oepc.yml true 13.30 7.32 None svcomp/pthread-wmm/safe036_tso.opt.yml true 13.10 7.37 None svcomp/pthread-wmm/safe037_power.oepc.yml true 15.21 8.37 None svcomp/pthread-wmm/safe037_power.opt.yml true 14.78 8.22 None svcomp/pthread-wmm/safe037_pso.oepc.yml true 15.96 8.72 None svcomp/pthread-wmm/safe037_pso.opt.yml true 15.24 8.54 None svcomp/pthread-wmm/safe037_rmo.oepc.yml true 15.51 8.54 None svcomp/pthread-wmm/safe037_rmo.opt.yml true 14.27 7.80 None svcomp/pthread-wmm/safe037_tso.oepc.yml true 15.35 8.49 None svcomp/pthread-wmm/safe037_tso.opt.yml true 15.74 8.63 None svcomp/pthread-wmm/thin000_power.oepc.yml false(unreach-call) 34.42 21.14 None svcomp/pthread-wmm/thin000_power.opt.yml false(unreach-call) 43.73 28.63 None svcomp/pthread-wmm/thin000_pso.oepc.yml true 12.63 7.12 None svcomp/pthread-wmm/thin000_pso.opt.yml true 12.84 7.15 None svcomp/pthread-wmm/thin000_rmo.oepc.yml false(unreach-call) 32.97 20.68 None svcomp/pthread-wmm/thin000_rmo.opt.yml false(unreach-call) 35.39 22.19 None svcomp/pthread-wmm/thin000_tso.oepc.yml true 13.39 7.59 None svcomp/pthread-wmm/thin000_tso.opt.yml true 12.74 7.26 None svcomp/pthread-wmm/thin001_power.oepc.yml false(unreach-call) 40.04 24.37 None svcomp/pthread-wmm/thin001_power.opt.yml false(unreach-call) 43.50 27.87 None svcomp/pthread-wmm/thin001_pso.oepc.yml true 14.42 8.02 None svcomp/pthread-wmm/thin001_pso.opt.yml true 14.53 7.89 None svcomp/pthread-wmm/thin001_rmo.oepc.yml false(unreach-call) 35.35 22.25 None svcomp/pthread-wmm/thin001_rmo.opt.yml false(unreach-call) 33.88 20.78 None svcomp/pthread-wmm/thin001_tso.oepc.yml true 14.16 7.77 None svcomp/pthread-wmm/thin001_tso.opt.yml true 13.53 7.54 None svcomp/pthread-wmm/thin002_power.oepc.yml false(unreach-call) 69.14 45.45 None svcomp/pthread-wmm/thin002_power.opt.yml false(unreach-call) 56.07 36.23 None svcomp/pthread-wmm/thin002_pso.oepc.yml true 15.29 8.29 None svcomp/pthread-wmm/thin002_pso.opt.yml true 14.47 7.98 None svcomp/pthread-wmm/thin002_rmo.oepc.yml false(unreach-call) 50.64 33.13 None svcomp/pthread-wmm/thin002_rmo.opt.yml false(unreach-call) 48.62 30.75 None svcomp/pthread-wmm/thin002_tso.oepc.yml true 15.04 8.32 None svcomp/pthread-wmm/thin002_tso.opt.yml true 15.58 8.78 None svcomp/pthread-lit/fk2012.yml OUT OF MEMORY 888.70 603.57 None svcomp/pthread-lit/fkp2013-1.yml TIMEOUT 901.90 757.24 None svcomp/pthread-lit/fkp2013-2.yml TIMEOUT 901.76 758.84 None svcomp/pthread-lit/fkp2013_variant-1.yml TIMEOUT 920.60 714.37 None svcomp/pthread-lit/fkp2013_variant-2.yml false(unreach-call) 12.56 7.02 None svcomp/pthread-lit/fkp2014.yml TIMEOUT 904.23 752.27 None svcomp/pthread-lit/qw2004-1.yml true 12.26 6.90 None svcomp/pthread-lit/qw2004-2.yml false(unreach-call) 12.63 7.01 None svcomp/pthread-lit/qw2004_variant.yml TIMEOUT 901.52 649.91 None svcomp/pthread-lit/sssc12.yml TIMEOUT 909.99 622.32 None svcomp/pthread-lit/sssc12_variant.yml OUT OF MEMORY 691.85 455.40 None svcomp/ldv-races/race-1_1-join.yml true 14.81 8.05 None svcomp/ldv-races/race-1_2-join.yml false(unreach-call) 13.63 7.52 None svcomp/ldv-races/race-1_3-join.yml false(unreach-call) 15.11 8.19 None svcomp/ldv-races/race-2_1-container_of.yml TIMEOUT 901.14 791.61 None svcomp/ldv-races/race-2_2-container_of.yml TIMEOUT 906.49 765.42 None svcomp/ldv-races/race-2_3-container_of.yml false(unreach-call) 27.30 15.07 None svcomp/ldv-races/race-2_4-container_of.yml false(unreach-call) 27.20 14.90 None svcomp/ldv-races/race-2_5-container_of.yml false(unreach-call) 25.64 14.41 None svcomp/ldv-races/race-3_1-container_of-global.yml TIMEOUT 905.75 800.72 None svcomp/ldv-races/race-3_2-container_of-global.yml TIMEOUT 900.37 794.89 None svcomp/ldv-races/race-4_1-thread_local_vars.yml true 38.65 22.66 None svcomp/ldv-races/race-4_2-thread_local_vars.yml false(unreach-call) 58.95 37.07 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml unknown 12.39 6.80 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml unknown 10.73 6.05 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml OUT OF MEMORY 665.23 458.40 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml TIMEOUT 921.21 651.30 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 743.11 511.40 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml OUT OF MEMORY 833.91 623.68 None svcomp/ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml TIMEOUT 905.50 737.29 None svcomp/pthread-complex/bounded_buffer.yml ERROR: EXCEPTION 262.42 184.15 None svcomp/pthread-complex/elimination_backoff_stack.yml TIMEOUT 906.93 766.47 None svcomp/pthread-complex/safestack_relacy.yml TIMEOUT 905.74 688.52 None svcomp/pthread-complex/workstealqueue_mutex-1.yml TIMEOUT 903.83 832.29 None svcomp/pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 901.35 828.78 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl.yml unknown 12.34 7.28 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram.yml unknown 12.50 7.24 None svcomp/pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram.yml unknown 12.16 7.24 None svcomp/pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 11.09 6.72 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 11.49 7.00 None svcomp/pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 12.93 7.62 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 11.99 7.06 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 12.30 7.37 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 12.30 7.17 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 12.21 7.33 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 11.87 7.29 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 12.59 7.31 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 15.25 8.55 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 12.58 7.40 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 14.25 8.16 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 12.83 7.33 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 11.89 7.12 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 12.28 7.37 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 12.78 7.43 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 11.76 7.21 None svcomp/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 13.63 7.86 None svcomp/pthread-C-DAC/pthread-demo-datarace-1.yml TIMEOUT 900.44 804.67 None svcomp/pthread-C-DAC/pthread-demo-datarace-2.yml TIMEOUT 901.13 814.55 None svcomp/pthread-C-DAC/pthread-finding-k-matches.yml unknown 6.82 3.77 None svcomp/pthread-C-DAC/pthread-numerical-integration.yml unknown 6.75 3.75 None svcomp/pthread-divine/barrier_2t.yml TIMEOUT 901.82 876.64 None svcomp/pthread-divine/barrier_3t.yml TIMEOUT 902.23 850.60 None svcomp/pthread-divine/condvar.yml true 12.85 7.62 None svcomp/pthread-divine/condvar_spurious_wakeup.yml false(unreach-call) 8.78 5.15 None svcomp/pthread-divine/divinefifo-bug_1w1r.yml TIMEOUT 906.37 832.65 None svcomp/pthread-divine/divinefifo_1w1r.yml TIMEOUT 905.35 822.48 None svcomp/pthread-divine/one_time_barrier_2t.yml TIMEOUT 901.71 880.58 None svcomp/pthread-divine/one_time_barrier_3t.yml TIMEOUT 905.89 826.43 None svcomp/pthread-divine/one_time_barrier_twice_2t.yml TIMEOUT 902.09 876.68 None svcomp/pthread-divine/one_time_barrier_twice_3t.yml TIMEOUT 906.00 869.55 None svcomp/pthread-divine/ring_1w1r-1.yml false(unreach-call) 10.56 6.00 None svcomp/pthread-divine/ring_1w1r-2.yml TIMEOUT 905.72 801.16 None svcomp/pthread-divine/ring_2w1r-1.yml TIMEOUT 905.90 802.90 None svcomp/pthread-divine/ring_2w1r-2.yml ERROR: EXCEPTION 135.06 104.37 None svcomp/pthread-divine/tls_basic.yml unknown 7.13 4.07 None svcomp/pthread-divine/tls_destructor_worker.yml unknown 7.51 4.22 None svcomp/pthread-nondet/nondet-array-1.yml false(unreach-call) 380.66 306.27 None svcomp/pthread-nondet/nondet-array-2.yml TIMEOUT 904.67 673.61 None svcomp/pthread-nondet/nondet-loop-bound-1.yml TIMEOUT 905.93 802.60 None svcomp/pthread-nondet/nondet-loop-bound-2.yml TIMEOUT 905.43 738.88 None svcomp/pthread-nondet/nondet-loop-bound-variant-1.yml TIMEOUT 922.39 607.50 None svcomp/pthread-nondet/nondet-loop-bound-variant-2.yml OUT OF MEMORY 864.21 562.50 None concurrent/pthreads/NonAtomicIncrement_2Threads.c true 126.61 91.71 None concurrent/pthreads/distributed_search2.c TIMEOUT 906.13 838.23 None concurrent/pthreads/distributed_search3.c TIMEOUT 900.73 857.33 None concurrent/pthreads/distributed_search4.c ERROR: EXCEPTION 701.07 649.99 None concurrent/pthreads/forkFork.c true 626.69 537.58 None concurrent/pthreads/forkJoinNotMod.c false(unreach-call) 13.41 7.91 None concurrent/pthreads/forkMultipleTimes.c false(unreach-call) 17.23 10.40 None concurrent/pthreads/globalVariableMultipleThreads.c false(unreach-call) 26.56 16.88 None concurrent/pthreads/multipleForkSameIdDifferentReturnType.c false(unreach-call) 14.53 8.76 None concurrent/pthreads/predecessorInAtomicBlockBug.c false(unreach-call) 7.73 4.62 None concurrent/pthreads/regression unknown 7.97 4.17 None ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 107011.69 13527.06 - Statistics: 2186 Files correct: 1894 correct true: 338 correct false: 1556 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 277 Score: 2232 (max: 2688)