Tool DepthK 3.1
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-05 09:36:33 CET
Run set sv-comp19_prop-reachsafety.ConcurrencySafety-Main
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
pthread/bigshot_p_false-unreach-call.i false(unreach-call) .24 35 2.8
pthread/fib_bench_false-unreach-call.i true 2.9  38 34  
pthread/fib_bench_longer_false-unreach-call.i true 3.7  38 48  
pthread/fib_bench_longest_false-unreach-call.i true 9.3  40 100  
pthread/lazy01_false-unreach-call.i witness invalid (false(unreach-call)) .42 35 5.4
pthread/queue_false-unreach-call.i true 10    170 150  
pthread/queue_longer_false-unreach-call.i unknown 900    1200 10000  
pthread/queue_longest_false-unreach-call.i unknown 900    1200 11000  
pthread/reorder_2_false-unreach-call.i false(unreach-call) 3.1  38 51  
pthread/reorder_5_false-unreach-call.i false(unreach-call) 13    65 170  
pthread/sigma_false-unreach-call.i unknown 900    260 12000  
pthread/singleton_false-unreach-call.i true 550    1000 6000  
pthread/stack_false-unreach-call.i true 13    70 190  
pthread/stack_longer_false-unreach-call.i unknown 900    710 11000  
pthread/stack_longest_false-unreach-call.i unknown 900    640 12000  
pthread/stateful01_false-unreach-call.i witness invalid (false(unreach-call)) .30 34 3.9
pthread/triangular-longer_false-unreach-call.i true 7.4  38 96  
pthread/triangular-longest_false-unreach-call.i true 27    45 390  
pthread/triangular_false-unreach-call.i true 2.7  37 41  
pthread/twostage_3_false-unreach-call.i true 9.7  120 110  
pthread/bigshot_s2_true-unreach-call.i true 1.2  44 13  
pthread/bigshot_s_true-unreach-call.i true 1.1  44 13  
pthread/fib_bench_longer_true-unreach-call.i true 3.7  37 45  
pthread/fib_bench_longest_true-unreach-call.i true 9.3  40 130  
pthread/fib_bench_true-unreach-call.i true 2.9  37 35  
pthread/indexer_true-unreach-call.i true .46 36 6.5
pthread/queue_ok_longer_true-unreach-call.i true 2.5  52 35  
pthread/queue_ok_longest_true-unreach-call.i true 2.8  51 31  
pthread/queue_ok_true-unreach-call.i true 5.1  90 65  
pthread/singleton_with-uninit-problems_true-unreach-call.i true 560    930 7000  
pthread/stack_longer_true-unreach-call.i unknown 900    720 13000  
pthread/stack_longest_true-unreach-call.i unknown 900    640 11000  
pthread/stack_true-unreach-call.i true 17    82 210  
pthread/stateful01_true-unreach-call.i true 1.3  36 14  
pthread/sync01_true-unreach-call.i true 5.2  120 75  
pthread/triangular-longer_true-unreach-call.i true 7.4  38 89  
pthread/triangular-longest_true-unreach-call.i true 27    45 390  
pthread/triangular_true-unreach-call.i true 2.7  37 33  
pthread-atomic/qrcu_false-unreach-call.i true 5.3  67 76  
pthread-atomic/read_write_lock_false-unreach-call.i true 2.1  35 27  
pthread-atomic/dekker_true-unreach-call.i unknown 43    40 550  
pthread-atomic/gcd_true-unreach-call_true-termination.i unknown 900    62 10000  
pthread-atomic/lamport_true-unreach-call.i unknown 900    1000 9200  
pthread-atomic/peterson_true-unreach-call.i true .56 35 7.5
pthread-atomic/qrcu_true-unreach-call.i true 5.3  66 62  
pthread-atomic/read_write_lock_true-unreach-call.i true 2.1  36 28  
pthread-atomic/scull_true-unreach-call.i true 18    80 220  
pthread-atomic/szymanski_true-unreach-call.i true .50 36 5.5
pthread-atomic/time_var_mutex_true-unreach-call.i true .89 36 11  
pthread-ext/25_stack_longer_false-unreach-call.i false(unreach-call) .14 34 1.8
pthread-ext/25_stack_longest_false-unreach-call.i false(unreach-call) .15 35 2.0
pthread-ext/26_stack_cas_longer_false-unreach-call.i false(unreach-call) .15 34 2.2
pthread-ext/26_stack_cas_longest_false-unreach-call.i false(unreach-call) .17 35 1.7
pthread-ext/27_Boop_simple_vf_false-unreach-call.i timeout 900    910 11000  
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i false(unreach-call) .14 34 1.9
pthread-ext/32_pthread5_vs_false-unreach-call.i timeout 900    8200 12000  
pthread-ext/40_barrier_vf_false-unreach-call.i timeout 900    8900 13000  
pthread-ext/01_inc_true-unreach-call.i timeout 900    1200 11000  
pthread-ext/02_inc_cas_true-unreach-call.i timeout 900    1500 13000  
pthread-ext/03_incdec_true-unreach-call.i unknown 900    11000 13000  
pthread-ext/04_incdec_cas_true-unreach-call.i unknown 900    5500 8300  
pthread-ext/05_tas_true-unreach-call.i unknown 900    1700 11000  
pthread-ext/06_ticket_true-unreach-call.i timeout 900    2700 13000  
pthread-ext/07_rand_true-unreach-call.i unknown 900    9800 10000  
pthread-ext/08_rand_cas_true-unreach-call.i unknown 900    2200 11000  
pthread-ext/09_fmaxsym_true-unreach-call.i unknown 900    6300 7400  
pthread-ext/10_fmaxsym_cas_true-unreach-call.i unknown 900    3700 11000  
pthread-ext/11_fmaxsymopt_true-unreach-call.i unknown 900    6300 10000  
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i unknown 900    5000 8000  
pthread-ext/13_unverif_true-unreach-call.i timeout 900    1000 9000  
pthread-ext/14_spin2003_true-unreach-call.i timeout 900    1100 11000  
pthread-ext/15_dekker_true-unreach-call.i unknown 27    39 410  
pthread-ext/16_peterson_true-unreach-call.i true .37 36 4.8
pthread-ext/17_szymanski_true-unreach-call.i true .45 35 5.7
pthread-ext/18_read_write_lock_true-unreach-call.i true .37 36 5.1
pthread-ext/19_time_var_mutex_true-unreach-call.i true .37 36 5.0
pthread-ext/20_lamport_true-unreach-call.i unknown 900    3300 11000  
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i true .37 35 4.4
pthread-ext/25_stack_longer_true-unreach-call.i unknown 900    1400 8700  
pthread-ext/25_stack_longest_true-unreach-call.i unknown 900    1600 11000  
pthread-ext/25_stack_true-unreach-call.i unknown 900    1600 10000  
pthread-ext/26_stack_cas_longer_true-unreach-call.i unknown 900    1300 9300  
pthread-ext/26_stack_cas_longest_true-unreach-call.i unknown 900    1400 8800  
pthread-ext/26_stack_cas_true-unreach-call.i unknown 900    1500 11000  
pthread-ext/29_conditionals_vs_true-unreach-call.i timeout 900    8700 12000  
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i timeout 900    3600 11000  
pthread-ext/31_simple_loop5_vs_true-unreach-call.i unknown 900    1800 7200  
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i timeout 900    2500 11000  
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i timeout 900    2500 11000  
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i timeout 900    1900 13000  
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i timeout 900    6400 11000  
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i unknown 900    1900 11000  
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i unknown 900    2300 9300  
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i unknown 900    10000 12000  
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i unknown 900    3800 11000  
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i unknown 900    1100 11000  
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i unknown 890    3800 11000  
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i unknown 900    3000 11000  
pthread-ext/45_monabsex1_vs_true-unreach-call.i timeout 900    980 12000  
pthread-ext/46_monabsex2_vs_true-unreach-call.i timeout 900    850 13000  
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i unknown 900    1400 11000  
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i timeout 900    660 13000  
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) .56 36 6.3
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) .55 36 8.1
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) .56 36 7.1
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) .56 36 7.5
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) .55 36 8.1
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) .56 36 6.5
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) .58 36 6.9
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) .56 36 6.5
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 2.6  44 38  
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 2.6  42 42  
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 2.6  44 30  
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 2.6  42 37  
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 2.6  44 38  
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 2.6  42 32  
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 2.6  44 36  
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 2.6  42 36  
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 2.4  41 34  
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 2.8  43 35  
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 2.4  41 32  
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 2.8  43 35  
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 2.4  41 33  
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 2.8  43 33  
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 2.4  41 32  
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 2.8  43 38  
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 2.1  40 25  
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 2.4  42 33  
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 2.2  39 29  
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 2.4  42 32  
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1  39 26  
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 2.4  42 33  
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 2.4  42 28  
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 2.4  42 28  
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 2.2  39 28  
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 2.4  42 36  
pthread-wmm/mix004_power.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix004_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix004_pso.opt_false-unreach-call.i false(unreach-call) 14    110 200  
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix004_rmo.opt_false-unreach-call.i false(unreach-call) 14    110 210  
pthread-wmm/mix004_tso.oepc_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix004_tso.opt_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix005_power.oepc_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix005_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 200  
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 15    110 190  
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix005_rmo.opt_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix005_tso.oepc_false-unreach-call.i false(unreach-call) 14    100 160  
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 2.2  41 29  
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 2.6  43 36  
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 2.2  41 31  
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 2.6  43 37  
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 2.3  41 31  
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 2.6  43 30  
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 4.4  61 59  
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 2.6  44 36  
pthread-wmm/mix007_power.oepc_false-unreach-call.i false(unreach-call) 14    110 220  
pthread-wmm/mix007_power.opt_false-unreach-call.i false(unreach-call) 15    120 200  
pthread-wmm/mix007_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 200  
pthread-wmm/mix007_pso.opt_false-unreach-call.i false(unreach-call) 15    120 210  
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 200  
pthread-wmm/mix007_rmo.opt_false-unreach-call.i false(unreach-call) 15    120 200  
pthread-wmm/mix007_tso.oepc_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix007_tso.opt_false-unreach-call.i false(unreach-call) 15    120 190  
pthread-wmm/mix008_power.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 15    110 220  
pthread-wmm/mix008_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix008_pso.opt_false-unreach-call.i false(unreach-call) 15    110 180  
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 200  
pthread-wmm/mix008_rmo.opt_false-unreach-call.i false(unreach-call) 15    110 230  
pthread-wmm/mix008_tso.oepc_false-unreach-call.i false(unreach-call) 27    210 380  
pthread-wmm/mix008_tso.opt_false-unreach-call.i false(unreach-call) 15    110 170  
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) .54 36 7.9
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) .58 35 7.4
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) .52 35 6.6
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) .59 36 7.0
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) .51 35 5.7
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) .58 36 8.5
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) .51 36 6.5
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) .58 36 7.2
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 2.2  40 26  
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 2.4  42 28  
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 2.2  40 24  
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 2.5  42 30  
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2  40 26  
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 2.4  42 28  
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 2.2  40 27  
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 2.4  43 39  
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 2.3  41 32  
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 2.5  42 34  
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 2.2  41 28  
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 2.5  43 31  
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2  41 27  
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 2.5  43 32  
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 2.3  39 27  
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 2.5  43 32  
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) .45 36 5.5
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) .45 35 7.5
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) .45 36 5.4
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) .51 36 6.2
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) .45 35 5.6
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) .45 35 6.1
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) .46 35 6.3
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) .51 36 6.2
pthread-wmm/mix013_power.oepc_false-unreach-call.i false(unreach-call) 14    110 200  
pthread-wmm/mix013_power.opt_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix013_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix013_pso.opt_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix013_tso.oepc_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix013_tso.opt_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix014_power.oepc_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix014_power.opt_false-unreach-call.i false(unreach-call) 15    120 220  
pthread-wmm/mix014_pso.oepc_false-unreach-call.i false(unreach-call) 15    110 170  
pthread-wmm/mix014_pso.opt_false-unreach-call.i false(unreach-call) 15    120 200  
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 15    120 180  
pthread-wmm/mix014_tso.oepc_false-unreach-call.i false(unreach-call) 24    190 330  
pthread-wmm/mix014_tso.opt_false-unreach-call.i false(unreach-call) 15    120 190  
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 2.3  41 31  
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 2.6  42 40  
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 2.3  40 30  
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 2.6  43 36  
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 2.3  40 29  
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 2.6  43 33  
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 2.3  41 29  
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 2.6  43 35  
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 2.0  39 27  
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 1.9  37 28  
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  39 24  
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 2.3  42 26  
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0  39 28  
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 1.9  37 24  
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 2.0  39 25  
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 2.3  42 35  
pthread-wmm/mix017_power.oepc_false-unreach-call.i false(unreach-call) 13    110 190  
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 12    96 160  
pthread-wmm/mix017_pso.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix017_pso.opt_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 160  
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 12    97 150  
pthread-wmm/mix017_tso.oepc_false-unreach-call.i false(unreach-call) 13    110 180  
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix018_power.oepc_false-unreach-call.i false(unreach-call) 13    110 210  
pthread-wmm/mix018_power.opt_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix018_pso.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix018_tso.oepc_false-unreach-call.i false(unreach-call) 14    100 200  
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 2.1  39 25  
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 2.3  41 31  
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 2.1  39 29  
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 2.3  42 36  
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1  39 27  
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 2.3  42 29  
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 2.1  39 25  
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 2.3  42 29  
pthread-wmm/mix020_power.oepc_false-unreach-call.i false(unreach-call) 13    110 140  
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix020_pso.oepc_false-unreach-call.i false(unreach-call) 13    110 180  
pthread-wmm/mix020_pso.opt_false-unreach-call.i false(unreach-call) 14    110 150  
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 180  
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 14    110 210  
pthread-wmm/mix020_tso.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix020_tso.opt_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix021_power.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix021_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix021_pso.opt_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 200  
pthread-wmm/mix021_rmo.opt_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix021_tso.oepc_false-unreach-call.i false(unreach-call) 14    100 180  
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) .48 35 5.7
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) .47 35 5.4
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) .47 35 6.4
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) .50 35 5.8
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) .47 36 5.9
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) .48 36 5.5
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) .57 36 6.8
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) .56 36 6.1
pthread-wmm/mix023_power.oepc_false-unreach-call.i false(unreach-call) 15    120 190  
pthread-wmm/mix023_power.opt_false-unreach-call.i false(unreach-call) 14    110 200  
pthread-wmm/mix023_pso.oepc_false-unreach-call.i false(unreach-call) 15    120 220  
pthread-wmm/mix023_pso.opt_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i false(unreach-call) 15    120 180  
pthread-wmm/mix023_rmo.opt_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix023_tso.oepc_false-unreach-call.i false(unreach-call) 26    200 300  
pthread-wmm/mix023_tso.opt_false-unreach-call.i false(unreach-call) 26    200 320  
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 2.4  41 37  
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 2.3  39 31  
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 2.4  41 26  
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 2.3  39 32  
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 2.4  41 30  
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 2.3  39 30  
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 2.4  41 30  
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 2.4  41 34  
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 2.1  40 29  
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 2.1  39 25  
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 2.1  39 29  
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 2.0  38 24  
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1  40 27  
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 2.0  38 27  
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 2.1  40 27  
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 2.1  40 25  
pthread-wmm/mix026_power.oepc_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix026_power.opt_false-unreach-call.i false(unreach-call) 13    97 160  
pthread-wmm/mix026_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 13    98 170  
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 13    98 160  
pthread-wmm/mix026_tso.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix026_tso.opt_false-unreach-call.i false(unreach-call) 13    97 170  
pthread-wmm/mix027_power.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 13    99 180  
pthread-wmm/mix027_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 13    99 140  
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 13    99 200  
pthread-wmm/mix027_tso.oepc_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix027_tso.opt_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 2.2  40 31  
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 2.2  39 26  
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 2.2  40 25  
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 2.2  39 29  
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2  40 31  
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 2.2  39 26  
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 2.5  42 29  
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 2.5  42 33  
pthread-wmm/mix029_power.oepc_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix029_power.opt_false-unreach-call.i false(unreach-call) 14    100 200  
pthread-wmm/mix029_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix029_pso.opt_false-unreach-call.i false(unreach-call) 14    100 170  
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 200  
pthread-wmm/mix029_rmo.opt_false-unreach-call.i false(unreach-call) 14    100 180  
pthread-wmm/mix029_tso.oepc_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix029_tso.opt_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix030_power.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix030_power.opt_false-unreach-call.i false(unreach-call) 14    100 180  
pthread-wmm/mix030_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix030_pso.opt_false-unreach-call.i false(unreach-call) 14    100 190  
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix030_rmo.opt_false-unreach-call.i false(unreach-call) 14    100 190  
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 15    110 200  
pthread-wmm/mix030_tso.opt_false-unreach-call.i false(unreach-call) 15    110 180  
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) .52 35 6.4
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) .50 35 6.0
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) .53 35 6.6
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) .50 35 7.3
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) .52 36 7.0
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) .52 35 6.7
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) .54 35 6.5
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) .50 36 6.1
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 2.2  40 29  
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 2.1  37 30  
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 2.2  40 27  
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 2.1  38 28  
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2  40 32  
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 2.1  38 32  
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 2.2  41 26  
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 2.1  38 26  
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 2.3  41 27  
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 2.1  38 28  
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 2.3  41 26  
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 2.1  38 23  
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 2.3  41 31  
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 2.1  38 24  
pthread-wmm/mix033_tso.oepc_false-unreach-call.i false(unreach-call) 2.3  39 29  
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 2.1  38 26  
pthread-wmm/mix034_power.oepc_false-unreach-call.i false(unreach-call) .48 35 5.4
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) .46 36 6.2
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) .48 36 5.4
pthread-wmm/mix034_pso.opt_false-unreach-call.i false(unreach-call) .44 35 5.4
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) .48 35 5.7
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) .46 36 6.0
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) .46 35 5.2
pthread-wmm/mix034_tso.opt_false-unreach-call.i false(unreach-call) .45 35 5.0
pthread-wmm/mix035_power.oepc_false-unreach-call.i false(unreach-call) 2.0  39 26  
pthread-wmm/mix035_power.opt_false-unreach-call.i false(unreach-call) 2.0  37 27  
pthread-wmm/mix035_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  39 30  
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 1.9  38 23  
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0  39 27  
pthread-wmm/mix035_rmo.opt_false-unreach-call.i false(unreach-call) 1.9  38 23  
pthread-wmm/mix035_tso.oepc_false-unreach-call.i false(unreach-call) 2.0  39 28  
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 1.9  37 23  
pthread-wmm/mix036_power.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix036_power.opt_false-unreach-call.i false(unreach-call) 12    96 180  
pthread-wmm/mix036_pso.oepc_false-unreach-call.i false(unreach-call) 13    110 190  
pthread-wmm/mix036_pso.opt_false-unreach-call.i false(unreach-call) 11    93 140  
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix036_rmo.opt_false-unreach-call.i false(unreach-call) 12    96 190  
pthread-wmm/mix036_tso.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix036_tso.opt_false-unreach-call.i false(unreach-call) 11    93 140  
pthread-wmm/mix037_power.oepc_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix037_power.opt_false-unreach-call.i false(unreach-call) 12    93 140  
pthread-wmm/mix037_pso.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix037_pso.opt_false-unreach-call.i false(unreach-call) 12    93 150  
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix037_rmo.opt_false-unreach-call.i false(unreach-call) 12    93 150  
pthread-wmm/mix037_tso.oepc_false-unreach-call.i false(unreach-call) 14    100 190  
pthread-wmm/mix037_tso.opt_false-unreach-call.i false(unreach-call) 12    93 150  
pthread-wmm/mix038_power.oepc_false-unreach-call.i false(unreach-call) 2.0  39 31  
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 1.9  37 23  
pthread-wmm/mix038_pso.oepc_false-unreach-call.i false(unreach-call) 2.1  39 26  
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 1.9  38 22  
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1  39 23  
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 1.9  38 23  
pthread-wmm/mix038_tso.oepc_false-unreach-call.i false(unreach-call) 2.1  38 28  
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 1.9  38 24  
pthread-wmm/mix039_power.oepc_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix039_power.opt_false-unreach-call.i false(unreach-call) 12    92 170  
pthread-wmm/mix039_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 200  
pthread-wmm/mix039_pso.opt_false-unreach-call.i false(unreach-call) 12    92 150  
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 160  
pthread-wmm/mix039_rmo.opt_false-unreach-call.i false(unreach-call) 12    92 150  
pthread-wmm/mix039_tso.oepc_false-unreach-call.i false(unreach-call) 13    110 160  
pthread-wmm/mix039_tso.opt_false-unreach-call.i false(unreach-call) 12    92 180  
pthread-wmm/mix040_power.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix040_power.opt_false-unreach-call.i false(unreach-call) 12    93 140  
pthread-wmm/mix040_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix040_pso.opt_false-unreach-call.i false(unreach-call) 12    93 150  
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix040_rmo.opt_false-unreach-call.i false(unreach-call) 12    93 140  
pthread-wmm/mix040_tso.oepc_false-unreach-call.i false(unreach-call) 14    100 170  
pthread-wmm/mix040_tso.opt_false-unreach-call.i false(unreach-call) 12    93 140  
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) .48 35 6.5
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) .49 35 6.0
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) .47 35 5.7
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) .48 35 6.1
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) .47 35 5.4
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) .50 35 6.0
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) .49 35 6.2
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) .49 35 7.1
pthread-wmm/mix042_power.oepc_false-unreach-call.i false(unreach-call) 2.1  39 30  
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 2.1  38 29  
pthread-wmm/mix042_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  40 25  
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 2.1  38 23  
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1  39 24  
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 2.0  38 26  
pthread-wmm/mix042_tso.oepc_false-unreach-call.i false(unreach-call) 2.1  40 26  
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 2.1  38 25  
pthread-wmm/mix043_power.oepc_false-unreach-call.i false(unreach-call) 13    110 160  
pthread-wmm/mix043_power.opt_false-unreach-call.i false(unreach-call) 12    95 150  
pthread-wmm/mix043_pso.oepc_false-unreach-call.i false(unreach-call) 13    110 180  
pthread-wmm/mix043_pso.opt_false-unreach-call.i false(unreach-call) 12    94 160  
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 160  
pthread-wmm/mix043_rmo.opt_false-unreach-call.i false(unreach-call) 12    95 150  
pthread-wmm/mix043_tso.oepc_false-unreach-call.i false(unreach-call) 13    110 160  
pthread-wmm/mix043_tso.opt_false-unreach-call.i false(unreach-call) 12    95 170  
pthread-wmm/mix044_power.oepc_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix044_power.opt_false-unreach-call.i false(unreach-call) 13    95 190  
pthread-wmm/mix044_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix044_pso.opt_false-unreach-call.i false(unreach-call) 13    95 160  
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix044_rmo.opt_false-unreach-call.i false(unreach-call) 13    95 160  
pthread-wmm/mix044_tso.oepc_false-unreach-call.i false(unreach-call) 14    100 180  
pthread-wmm/mix044_tso.opt_false-unreach-call.i false(unreach-call) 13    95 150  
pthread-wmm/mix045_power.oepc_false-unreach-call.i false(unreach-call) 2.1  40 27  
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 2.1  38 26  
pthread-wmm/mix045_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  39 27  
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 2.0  38 23  
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1  39 29  
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 2.1  38 27  
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 2.1  38 29  
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 2.1  38 30  
pthread-wmm/mix046_power.oepc_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix046_power.opt_false-unreach-call.i false(unreach-call) 13    95 160  
pthread-wmm/mix046_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 170  
pthread-wmm/mix046_pso.opt_false-unreach-call.i false(unreach-call) 13    95 160  
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 200  
pthread-wmm/mix046_rmo.opt_false-unreach-call.i false(unreach-call) 13    95 150  
pthread-wmm/mix046_tso.oepc_false-unreach-call.i false(unreach-call) 14    110 190  
pthread-wmm/mix046_tso.opt_false-unreach-call.i false(unreach-call) 13    95 150  
pthread-wmm/mix047_power.oepc_false-unreach-call.i false(unreach-call) 14    110 180  
pthread-wmm/mix047_power.opt_false-unreach-call.i false(unreach-call) 13    95 190  
pthread-wmm/mix047_pso.oepc_false-unreach-call.i false(unreach-call) 14    110 200  
pthread-wmm/mix047_pso.opt_false-unreach-call.i false(unreach-call) 13    96 150  
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i false(unreach-call) 14    110 160  
pthread-wmm/mix047_rmo.opt_false-unreach-call.i false(unreach-call) 13    95 190  
pthread-wmm/mix047_tso.oepc_false-unreach-call.i false(unreach-call) 13    96 160  
pthread-wmm/mix047_tso.opt_false-unreach-call.i false(unreach-call) 13    96 180  
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) .42 35 5.2
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) .45 35 5.4
pthread-wmm/mix048_pso.oepc_false-unreach-call.i false(unreach-call) .41 35 6.6
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) .43 36 5.1
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) .43 35 5.5
pthread-wmm/mix048_rmo.opt_false-unreach-call.i false(unreach-call) .42 35 5.0
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) .43 35 4.8
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) .43 35 5.3
pthread-wmm/mix049_power.oepc_false-unreach-call.i false(unreach-call) 1.8  41 22  
pthread-wmm/mix049_power.opt_false-unreach-call.i false(unreach-call) 1.8  41 25  
pthread-wmm/mix049_pso.oepc_false-unreach-call.i false(unreach-call) 1.8  41 24  
pthread-wmm/mix049_pso.opt_false-unreach-call.i false(unreach-call) 1.8  41 25  
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i false(unreach-call) 1.8  41 25  
pthread-wmm/mix049_rmo.opt_false-unreach-call.i false(unreach-call) 1.9  41 24  
pthread-wmm/mix049_tso.oepc_false-unreach-call.i false(unreach-call) 1.8  41 27  
pthread-wmm/mix049_tso.opt_false-unreach-call.i false(unreach-call) 1.9  41 25  
pthread-wmm/mix050_power.oepc_false-unreach-call.i false(unreach-call) 12    110 170  
pthread-wmm/mix050_power.opt_false-unreach-call.i false(unreach-call) 12    110 160  
pthread-wmm/mix050_pso.oepc_false-unreach-call.i false(unreach-call) 12    110 150  
pthread-wmm/mix050_pso.opt_false-unreach-call.i false(unreach-call) 12    110 170  
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i false(unreach-call) 12    110 160  
pthread-wmm/mix050_rmo.opt_false-unreach-call.i false(unreach-call) 12    110 160  
pthread-wmm/mix050_tso.oepc_false-unreach-call.i false(unreach-call) 11    110 160  
pthread-wmm/mix050_tso.opt_false-unreach-call.i false(unreach-call) 12    110 140  
pthread-wmm/mix051_power.oepc_false-unreach-call.i false(unreach-call) 13    110 160  
pthread-wmm/mix051_power.opt_false-unreach-call.i false(unreach-call) 13    110 160  
pthread-wmm/mix051_pso.oepc_false-unreach-call.i false(unreach-call) 13    110 150  
pthread-wmm/mix051_pso.opt_false-unreach-call.i false(unreach-call) 11    92 140  
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix051_rmo.opt_false-unreach-call.i false(unreach-call) 11    92 160  
pthread-wmm/mix051_tso.oepc_false-unreach-call.i false(unreach-call) 13    100 170  
pthread-wmm/mix051_tso.opt_false-unreach-call.i false(unreach-call) 11    92 130  
pthread-wmm/mix052_power.oepc_false-unreach-call.i false(unreach-call) 2.0  39 25  
pthread-wmm/mix052_power.opt_false-unreach-call.i false(unreach-call) 2.0  39 26  
pthread-wmm/mix052_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  39 27  
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 1.8  37 28  
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0  40 23  
pthread-wmm/mix052_rmo.opt_false-unreach-call.i false(unreach-call) 1.8  37 23  
pthread-wmm/mix052_tso.oepc_false-unreach-call.i false(unreach-call) 2.1  39 26  
pthread-wmm/mix052_tso.opt_false-unreach-call.i false(unreach-call) 1.8  37 23  
pthread-wmm/mix053_power.oepc_false-unreach-call.i false(unreach-call) 13    110 190  
pthread-wmm/mix053_power.opt_false-unreach-call.i false(unreach-call) 11    92 170  
pthread-wmm/mix053_pso.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix053_pso.opt_false-unreach-call.i false(unreach-call) 12    92 110  
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 180  
pthread-wmm/mix053_rmo.opt_false-unreach-call.i false(unreach-call) 11    92 160  
pthread-wmm/mix053_tso.oepc_false-unreach-call.i false(unreach-call) 13    100 180  
pthread-wmm/mix053_tso.opt_false-unreach-call.i false(unreach-call) 11    92 150  
pthread-wmm/mix054_power.oepc_false-unreach-call.i false(unreach-call) .44 35 5.6
pthread-wmm/mix054_power.opt_false-unreach-call.i false(unreach-call) .44 35 5.4
pthread-wmm/mix054_pso.oepc_false-unreach-call.i false(unreach-call) .44 36 5.4
pthread-wmm/mix054_pso.opt_false-unreach-call.i false(unreach-call) .45 35 6.0
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i false(unreach-call) .44 36 5.4
pthread-wmm/mix054_rmo.opt_false-unreach-call.i false(unreach-call) .46 35 5.3
pthread-wmm/mix054_tso.oepc_false-unreach-call.i false(unreach-call) .45 36 6.4
pthread-wmm/mix054_tso.opt_false-unreach-call.i false(unreach-call) .45 35 5.7
pthread-wmm/mix055_power.oepc_false-unreach-call.i false(unreach-call) 13    110 150  
pthread-wmm/mix055_power.opt_false-unreach-call.i false(unreach-call) 12    94 170  
pthread-wmm/mix055_pso.oepc_false-unreach-call.i false(unreach-call) 13    110 160  
pthread-wmm/mix055_pso.opt_false-unreach-call.i false(unreach-call) 12    94 150  
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 180  
pthread-wmm/mix055_rmo.opt_false-unreach-call.i false(unreach-call) 12    94 160  
pthread-wmm/mix055_tso.oepc_false-unreach-call.i false(unreach-call) 13    100 160  
pthread-wmm/mix055_tso.opt_false-unreach-call.i false(unreach-call) 12    94 140  
pthread-wmm/mix056_power.oepc_false-unreach-call.i false(unreach-call) 2.1  38 27  
pthread-wmm/mix056_power.opt_false-unreach-call.i false(unreach-call) 2.0  37 29  
pthread-wmm/mix056_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  39 26  
pthread-wmm/mix056_pso.opt_false-unreach-call.i false(unreach-call) 2.0  37 26  
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0  39 23  
pthread-wmm/mix056_rmo.opt_false-unreach-call.i false(unreach-call) 2.0  37 24  
pthread-wmm/mix056_tso.oepc_false-unreach-call.i false(unreach-call) 2.0  37 27  
pthread-wmm/mix056_tso.opt_false-unreach-call.i false(unreach-call) 2.0  37 27  
pthread-wmm/mix057_power.oepc_false-unreach-call.i false(unreach-call) 13    110 160  
pthread-wmm/mix057_power.opt_false-unreach-call.i false(unreach-call) 12    94 150  
pthread-wmm/mix057_pso.oepc_false-unreach-call.i false(unreach-call) 13    110 190  
pthread-wmm/mix057_pso.opt_false-unreach-call.i false(unreach-call) 12    94 160  
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i false(unreach-call) 13    110 170  
pthread-wmm/mix057_rmo.opt_false-unreach-call.i false(unreach-call) 12    94 180  
pthread-wmm/mix057_tso.oepc_false-unreach-call.i false(unreach-call) 12    94 180  
pthread-wmm/mix057_tso.opt_false-unreach-call.i false(unreach-call) 12    95 150  
pthread-wmm/podwr000_power.oepc_false-unreach-call.i false(unreach-call) .43 35 6.4
pthread-wmm/podwr000_power.opt_false-unreach-call.i false(unreach-call) .43 35 6.1
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i false(unreach-call) .43 35 5.2
pthread-wmm/podwr000_pso.opt_false-unreach-call.i false(unreach-call) .42 35 5.2
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i false(unreach-call) .42 36 5.7
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i false(unreach-call) .43 35 5.3
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i false(unreach-call) .43 35 5.3
pthread-wmm/podwr000_tso.opt_false-unreach-call.i false(unreach-call) .43 36 5.6
pthread-wmm/podwr001_power.oepc_false-unreach-call.i false(unreach-call) 1.8  41 25  
pthread-wmm/podwr001_power.opt_false-unreach-call.i false(unreach-call) 1.8  41 22  
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i false(unreach-call) 1.8  41 26  
pthread-wmm/podwr001_pso.opt_false-unreach-call.i false(unreach-call) 1.9  41 22  
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i false(unreach-call) 1.8  41 23  
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i false(unreach-call) 1.8  41 22  
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i false(unreach-call) 1.8  41 26  
pthread-wmm/podwr001_tso.opt_false-unreach-call.i false(unreach-call) 1.8  41 23  
pthread-wmm/rfi000_power.oepc_false-unreach-call.i false(unreach-call) .73 36 8.9
pthread-wmm/rfi000_power.opt_false-unreach-call.i false(unreach-call) .57 36 6.7
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i false(unreach-call) .71 37 8.7
pthread-wmm/rfi000_pso.opt_false-unreach-call.i false(unreach-call) .54 35 7.5
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i false(unreach-call) .69 36 8.6
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i false(unreach-call) .54 36 6.4
pthread-wmm/rfi001_power.oepc_false-unreach-call.i false(unreach-call) .47 35 7.0
pthread-wmm/rfi001_power.opt_false-unreach-call.i false(unreach-call) .49 35 7.2
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i false(unreach-call) .47 36 6.0
pthread-wmm/rfi001_pso.opt_false-unreach-call.i false(unreach-call) .50 36 7.3
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i false(unreach-call) .47 36 6.7
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i false(unreach-call) .52 36 6.6
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i false(unreach-call) .49 36 6.4
pthread-wmm/rfi001_tso.opt_false-unreach-call.i false(unreach-call) .51 36 5.6
pthread-wmm/rfi003_power.oepc_false-unreach-call.i false(unreach-call) .51 35 6.4
pthread-wmm/rfi003_power.opt_false-unreach-call.i false(unreach-call) .54 36 6.1
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i false(unreach-call) .55 35 6.3
pthread-wmm/rfi003_pso.opt_false-unreach-call.i false(unreach-call) .52 35 6.7
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i false(unreach-call) .52 35 6.5
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i false(unreach-call) .51 36 5.8
pthread-wmm/rfi004_power.oepc_false-unreach-call.i false(unreach-call) .46 35 6.2
pthread-wmm/rfi004_power.opt_false-unreach-call.i false(unreach-call) .48 35 5.0
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i false(unreach-call) .46 35 5.3
pthread-wmm/rfi004_pso.opt_false-unreach-call.i false(unreach-call) .47 35 5.4
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i false(unreach-call) .47 35 5.3
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i false(unreach-call) .48 35 5.5
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i false(unreach-call) .47 36 6.4
pthread-wmm/rfi004_tso.opt_false-unreach-call.i false(unreach-call) .49 35 4.8
pthread-wmm/rfi005_power.oepc_false-unreach-call.i false(unreach-call) .33 36 5.0
pthread-wmm/rfi005_power.opt_false-unreach-call.i false(unreach-call) .34 36 4.1
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i false(unreach-call) .34 36 4.6
pthread-wmm/rfi005_pso.opt_false-unreach-call.i false(unreach-call) .33 37 3.7
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i false(unreach-call) .33 37 4.0
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i false(unreach-call) .34 36 4.9
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i false(unreach-call) .33 36 3.8
pthread-wmm/rfi005_tso.opt_false-unreach-call.i false(unreach-call) .35 36 4.4
pthread-wmm/rfi006_power.oepc_false-unreach-call.i false(unreach-call) 2.0  36 25  
pthread-wmm/rfi006_power.opt_false-unreach-call.i false(unreach-call) 2.2  43 27  
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i false(unreach-call) 2.6  42 28  
pthread-wmm/rfi006_pso.opt_false-unreach-call.i false(unreach-call) 2.6  42 32  
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9  36 24  
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i false(unreach-call) 1.9  36 24  
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i false(unreach-call) 2.6  41 32  
pthread-wmm/rfi006_tso.opt_false-unreach-call.i false(unreach-call) 2.6  41 32  
pthread-wmm/rfi007_power.oepc_false-unreach-call.i false(unreach-call) .47 35 5.0
pthread-wmm/rfi007_power.opt_false-unreach-call.i false(unreach-call) .50 36 5.7
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i false(unreach-call) .47 35 6.7
pthread-wmm/rfi007_pso.opt_false-unreach-call.i false(unreach-call) .47 35 6.4
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i false(unreach-call) .48 35 7.5
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i false(unreach-call) .47 35 5.6
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i false(unreach-call) .57 36 6.8
pthread-wmm/rfi007_tso.opt_false-unreach-call.i false(unreach-call) .57 36 7.0
pthread-wmm/rfi008_power.oepc_false-unreach-call.i false(unreach-call) .58 36 7.2
pthread-wmm/rfi008_power.opt_false-unreach-call.i false(unreach-call) .56 36 7.2
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i false(unreach-call) .54 36 7.7
pthread-wmm/rfi008_pso.opt_false-unreach-call.i false(unreach-call) .56 36 6.8
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i false(unreach-call) .55 36 6.5
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i false(unreach-call) .56 36 7.7
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i false(unreach-call) .55 36 8.0
pthread-wmm/rfi008_tso.opt_false-unreach-call.i false(unreach-call) .56 36 6.8
pthread-wmm/rfi009_power.oepc_false-unreach-call.i false(unreach-call) 1.9  36 24  
pthread-wmm/rfi009_power.opt_false-unreach-call.i false(unreach-call) 2.3  41 30  
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i false(unreach-call) 2.3  41 30  
pthread-wmm/rfi009_pso.opt_false-unreach-call.i false(unreach-call) 2.3  41 29  
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i false(unreach-call) 1.8  35 26  
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i false(unreach-call) 2.3  40 25  
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i false(unreach-call) 2.3  40 31  
pthread-wmm/rfi009_tso.opt_false-unreach-call.i false(unreach-call) 2.3  41 33  
pthread-wmm/rfi010_power.oepc_false-unreach-call.i false(unreach-call) .54 36 5.9
pthread-wmm/rfi010_power.opt_false-unreach-call.i false(unreach-call) .53 36 6.5
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i false(unreach-call) .53 36 6.4
pthread-wmm/rfi010_pso.opt_false-unreach-call.i false(unreach-call) .54 36 6.1
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i false(unreach-call) .54 36 6.7
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i false(unreach-call) .53 36 7.2
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i false(unreach-call) .54 36 5.9
pthread-wmm/rfi010_tso.opt_false-unreach-call.i false(unreach-call) .56 35 6.6
pthread-wmm/safe000_power.oepc_false-unreach-call.i false(unreach-call) 2.4  38 30  
pthread-wmm/safe000_power.opt_false-unreach-call.i false(unreach-call) 2.7  45 38  
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i false(unreach-call) 2.3  37 32  
pthread-wmm/safe000_rmo.opt_false-unreach-call.i false(unreach-call) 2.3  37 29  
pthread-wmm/safe001_power.oepc_false-unreach-call.i false(unreach-call) 2.5  39 37  
pthread-wmm/safe001_power.opt_false-unreach-call.i false(unreach-call) 2.3  39 29  
pthread-wmm/safe001_pso.oepc_false-unreach-call.i false(unreach-call) 2.3  39 32  
pthread-wmm/safe001_pso.opt_false-unreach-call.i false(unreach-call) 2.3  39 29  
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i false(unreach-call) 2.3  37 30  
pthread-wmm/safe001_rmo.opt_false-unreach-call.i false(unreach-call) 2.3  39 28  
pthread-wmm/safe002_power.oepc_false-unreach-call.i false(unreach-call) 2.4  39 36  
pthread-wmm/safe002_power.opt_false-unreach-call.i false(unreach-call) 2.0  37 24  
pthread-wmm/safe002_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  38 26  
pthread-wmm/safe002_pso.opt_false-unreach-call.i false(unreach-call) 2.1  37 24  
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2  38 31  
pthread-wmm/safe002_rmo.opt_false-unreach-call.i false(unreach-call) 2.0  37 26  
pthread-wmm/safe003_power.oepc_false-unreach-call.i false(unreach-call) 2.8  48 37  
pthread-wmm/safe003_power.opt_false-unreach-call.i false(unreach-call) 2.7  45 41  
pthread-wmm/safe003_pso.oepc_false-unreach-call.i false(unreach-call) 2.7  48 36  
pthread-wmm/safe003_pso.opt_false-unreach-call.i false(unreach-call) 2.7  48 42  
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i false(unreach-call) 2.7  48 37  
pthread-wmm/safe003_rmo.opt_false-unreach-call.i false(unreach-call) 2.8  48 33  
pthread-wmm/safe004_power.oepc_false-unreach-call.i false(unreach-call) 2.8  49 37  
pthread-wmm/safe004_power.opt_false-unreach-call.i false(unreach-call) 2.3  39 27  
pthread-wmm/safe004_pso.oepc_false-unreach-call.i false(unreach-call) 2.9  49 34  
pthread-wmm/safe004_pso.opt_false-unreach-call.i false(unreach-call) 2.3  39 32  
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i false(unreach-call) 2.9  49 37  
pthread-wmm/safe004_rmo.opt_false-unreach-call.i false(unreach-call) 2.3  39 32  
pthread-wmm/safe005_power.oepc_false-unreach-call.i false(unreach-call) 2.2  39 26  
pthread-wmm/safe005_power.opt_false-unreach-call.i false(unreach-call) 2.2  38 33  
pthread-wmm/safe005_pso.oepc_false-unreach-call.i false(unreach-call) 2.2  39 29  
pthread-wmm/safe005_pso.opt_false-unreach-call.i false(unreach-call) 2.1  38 31  
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1  38 27  
pthread-wmm/safe005_rmo.opt_false-unreach-call.i false(unreach-call) 2.2  39 23  
pthread-wmm/safe006_power.oepc_false-unreach-call.i false(unreach-call) .40 36 4.5
pthread-wmm/safe006_power.opt_false-unreach-call.i false(unreach-call) .50 36 6.0
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i false(unreach-call) .38 36 4.8
pthread-wmm/safe006_rmo.opt_false-unreach-call.i false(unreach-call) .38 35 5.2
pthread-wmm/safe007_power.oepc_false-unreach-call.i false(unreach-call) 1.5  36 20  
pthread-wmm/safe007_power.opt_false-unreach-call.i false(unreach-call) 2.4  42 33  
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i false(unreach-call) 1.4  35 18  
pthread-wmm/safe007_rmo.opt_false-unreach-call.i false(unreach-call) 1.5  35 20  
pthread-wmm/safe008_power.oepc_false-unreach-call.i false(unreach-call) 2.0  37 23  
pthread-wmm/safe008_power.opt_false-unreach-call.i false(unreach-call) 2.5  43 30  
pthread-wmm/safe008_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  37 25  
pthread-wmm/safe008_pso.opt_false-unreach-call.i false(unreach-call) 2.0  37 26  
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9  37 26  
pthread-wmm/safe008_rmo.opt_false-unreach-call.i false(unreach-call) 2.0  37 27  
pthread-wmm/safe009_power.oepc_false-unreach-call.i false(unreach-call) 2.0  36 26  
pthread-wmm/safe009_power.opt_false-unreach-call.i false(unreach-call) 2.5  44 31  
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9  36 23  
pthread-wmm/safe009_rmo.opt_false-unreach-call.i false(unreach-call) 2.1  36 23  
pthread-wmm/safe010_power.oepc_false-unreach-call.i false(unreach-call) .43 36 6.0
pthread-wmm/safe010_power.opt_false-unreach-call.i false(unreach-call) .45 35 5.1
pthread-wmm/safe010_pso.oepc_false-unreach-call.i false(unreach-call) .44 36 5.3
pthread-wmm/safe010_pso.opt_false-unreach-call.i false(unreach-call) .43 35 5.3
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i false(unreach-call) .43 35 4.7
pthread-wmm/safe010_rmo.opt_false-unreach-call.i false(unreach-call) .43 36 5.2
pthread-wmm/safe011_power.oepc_false-unreach-call.i false(unreach-call) 2.0  37 23  
pthread-wmm/safe011_power.opt_false-unreach-call.i false(unreach-call) 2.1  39 28  
pthread-wmm/safe011_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  37 25  
pthread-wmm/safe011_pso.opt_false-unreach-call.i false(unreach-call) 2.1  39 29  
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9  37 27  
pthread-wmm/safe011_rmo.opt_false-unreach-call.i false(unreach-call) 2.0  38 23  
pthread-wmm/safe012_power.oepc_false-unreach-call.i false(unreach-call) 1.5  36 21  
pthread-wmm/safe012_power.opt_false-unreach-call.i false(unreach-call) 2.4  42 36  
pthread-wmm/safe012_pso.oepc_false-unreach-call.i false(unreach-call) 1.9  37 25  
pthread-wmm/safe012_pso.opt_false-unreach-call.i false(unreach-call) 1.9  36 22  
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i false(unreach-call) 1.4  36 17  
pthread-wmm/safe012_rmo.opt_false-unreach-call.i false(unreach-call) 1.9  36 27  
pthread-wmm/safe013_power.oepc_false-unreach-call.i false(unreach-call) 2.0  37 24  
pthread-wmm/safe013_power.opt_false-unreach-call.i false(unreach-call) 2.0  38 27  
pthread-wmm/safe013_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  38 25  
pthread-wmm/safe013_pso.opt_false-unreach-call.i false(unreach-call) 2.0  38 23  
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0  37 25  
pthread-wmm/safe013_rmo.opt_false-unreach-call.i false(unreach-call) 2.0  38 28  
pthread-wmm/safe014_power.oepc_false-unreach-call.i false(unreach-call) 1.7  36 21  
pthread-wmm/safe014_power.opt_false-unreach-call.i false(unreach-call) 1.9  38 26  
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i false(unreach-call) 1.6  36 18  
pthread-wmm/safe014_rmo.opt_false-unreach-call.i false(unreach-call) 2.7  40 42  
pthread-wmm/safe015_power.oepc_false-unreach-call.i false(unreach-call) 1.6  42 23  
pthread-wmm/safe015_power.opt_false-unreach-call.i false(unreach-call) 3.0  43 38  
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i false(unreach-call) 2.9  41 37  
pthread-wmm/safe015_rmo.opt_false-unreach-call.i false(unreach-call) 2.9  41 42  
pthread-wmm/safe016_power.oepc_false-unreach-call.i false(unreach-call) 12    68 140  
pthread-wmm/safe016_power.opt_false-unreach-call.i false(unreach-call) 17    92 250  
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i false(unreach-call) 11    60 150  
pthread-wmm/safe016_rmo.opt_false-unreach-call.i false(unreach-call) 16    82 220  
pthread-wmm/safe017_power.oepc_false-unreach-call.i false(unreach-call) 2.0  37 23  
pthread-wmm/safe017_power.opt_false-unreach-call.i false(unreach-call) 1.9  36 27  
pthread-wmm/safe017_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  37 25  
pthread-wmm/safe017_pso.opt_false-unreach-call.i false(unreach-call) 2.0  37 25  
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0  37 26  
pthread-wmm/safe017_rmo.opt_false-unreach-call.i false(unreach-call) 2.0  37 22  
pthread-wmm/safe018_power.oepc_false-unreach-call.i false(unreach-call) 1.5  36 18  
pthread-wmm/safe018_power.opt_false-unreach-call.i false(unreach-call) 2.5  46 28  
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i false(unreach-call) 1.4  35 16  
pthread-wmm/safe018_rmo.opt_false-unreach-call.i false(unreach-call) 2.2  37 27  
pthread-wmm/safe019_power.oepc_false-unreach-call.i false(unreach-call) 11    66 160  
pthread-wmm/safe019_power.opt_false-unreach-call.i false(unreach-call) 16    140 180  
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i false(unreach-call) 11    59 160  
pthread-wmm/safe019_rmo.opt_false-unreach-call.i false(unreach-call) 15    77 190  
pthread-wmm/safe020_power.oepc_false-unreach-call.i false(unreach-call) 2.7  47 31  
pthread-wmm/safe020_power.opt_false-unreach-call.i false(unreach-call) 2.7  47 37  
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i false(unreach-call) 2.3  38 30  
pthread-wmm/safe020_rmo.opt_false-unreach-call.i false(unreach-call) 2.3  38 29  
pthread-wmm/safe021_power.oepc_false-unreach-call.i false(unreach-call) 2.0  38 29  
pthread-wmm/safe021_power.opt_false-unreach-call.i false(unreach-call) 2.1  38 27  
pthread-wmm/safe021_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  39 25  
pthread-wmm/safe021_pso.opt_false-unreach-call.i false(unreach-call) 2.1  38 22  
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0  39 25  
pthread-wmm/safe021_rmo.opt_false-unreach-call.i false(unreach-call) 2.0  39 25  
pthread-wmm/safe022_power.oepc_false-unreach-call.i false(unreach-call) .43 35 6.0
pthread-wmm/safe022_power.opt_false-unreach-call.i false(unreach-call) .42 36 5.6
pthread-wmm/safe022_pso.oepc_false-unreach-call.i false(unreach-call) .42 36 5.4
pthread-wmm/safe022_pso.opt_false-unreach-call.i false(unreach-call) .41 35 4.7
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i false(unreach-call) .45 35 6.3
pthread-wmm/safe022_rmo.opt_false-unreach-call.i false(unreach-call) .42 36 5.7
pthread-wmm/safe023_power.oepc_false-unreach-call.i false(unreach-call) 3.2  52 38  
pthread-wmm/safe023_power.opt_false-unreach-call.i false(unreach-call) 3.2  52 40  
pthread-wmm/safe023_pso.oepc_false-unreach-call.i false(unreach-call) 3.2  52 41  
pthread-wmm/safe023_pso.opt_false-unreach-call.i false(unreach-call) 3.2  52 38  
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i false(unreach-call) 3.2  52 37  
pthread-wmm/safe023_rmo.opt_false-unreach-call.i false(unreach-call) 3.2  52 39  
pthread-wmm/safe024_power.oepc_false-unreach-call.i false(unreach-call) 1.9  37 25  
pthread-wmm/safe024_power.opt_false-unreach-call.i false(unreach-call) 2.0  37 24  
pthread-wmm/safe024_pso.oepc_false-unreach-call.i false(unreach-call) 1.9  38 25  
pthread-wmm/safe024_pso.opt_false-unreach-call.i false(unreach-call) 1.9  37 24  
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9  38 24  
pthread-wmm/safe024_rmo.opt_false-unreach-call.i false(unreach-call) 1.9  37 26  
pthread-wmm/safe025_power.oepc_false-unreach-call.i false(unreach-call) 1.5  43 22  
pthread-wmm/safe025_power.opt_false-unreach-call.i false(unreach-call) 1.5  42 17  
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i false(unreach-call) 2.9  43 39  
pthread-wmm/safe025_rmo.opt_false-unreach-call.i false(unreach-call) 2.8  43 35  
pthread-wmm/safe026_power.oepc_false-unreach-call.i false(unreach-call) 2.0  37 28  
pthread-wmm/safe026_power.opt_false-unreach-call.i false(unreach-call) 1.9  38 24  
pthread-wmm/safe026_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  38 28  
pthread-wmm/safe026_pso.opt_false-unreach-call.i false(unreach-call) 2.0  38 27  
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0  38 29  
pthread-wmm/safe026_rmo.opt_false-unreach-call.i false(unreach-call) 2.0  38 26  
pthread-wmm/safe027_power.oepc_false-unreach-call.i false(unreach-call) 10    63 120  
pthread-wmm/safe027_power.opt_false-unreach-call.i false(unreach-call) 16    130 190  
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i false(unreach-call) 9.8  57 140  
pthread-wmm/safe027_rmo.opt_false-unreach-call.i false(unreach-call) 9.7  56 120  
pthread-wmm/safe028_power.oepc_false-unreach-call.i false(unreach-call) 2.6  48 36  
pthread-wmm/safe028_power.opt_false-unreach-call.i false(unreach-call) 2.6  47 37  
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i false(unreach-call) 2.3  38 27  
pthread-wmm/safe028_rmo.opt_false-unreach-call.i false(unreach-call) 2.2  39 31  
pthread-wmm/safe029_power.oepc_false-unreach-call.i false(unreach-call) .44 36 5.4
pthread-wmm/safe029_power.opt_false-unreach-call.i false(unreach-call) .46 36 5.9
pthread-wmm/safe029_pso.oepc_false-unreach-call.i false(unreach-call) .44 35 5.8
pthread-wmm/safe029_pso.opt_false-unreach-call.i false(unreach-call) .46 35 6.4
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i false(unreach-call) .44 36 6.1
pthread-wmm/safe029_rmo.opt_false-unreach-call.i false(unreach-call) .45 35 5.5
pthread-wmm/safe030_power.oepc_false-unreach-call.i false(unreach-call) 2.1  38 24  
pthread-wmm/safe030_power.opt_false-unreach-call.i false(unreach-call) 2.0  38 31  
pthread-wmm/safe030_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  38 24  
pthread-wmm/safe030_pso.opt_false-unreach-call.i false(unreach-call) 2.0  37 28  
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0  38 28  
pthread-wmm/safe030_rmo.opt_false-unreach-call.i false(unreach-call) 2.1  37 27  
pthread-wmm/safe031_power.oepc_false-unreach-call.i false(unreach-call) 2.0  38 23  
pthread-wmm/safe031_power.opt_false-unreach-call.i false(unreach-call) 2.1  38 28  
pthread-wmm/safe031_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  37 25  
pthread-wmm/safe031_pso.opt_false-unreach-call.i false(unreach-call) 2.2  38 32  
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0  38 25  
pthread-wmm/safe031_rmo.opt_false-unreach-call.i false(unreach-call) 2.1  38 30  
pthread-wmm/safe032_power.oepc_false-unreach-call.i false(unreach-call) 3.4  53 37  
pthread-wmm/safe032_power.opt_false-unreach-call.i false(unreach-call) 3.4  52 51  
pthread-wmm/safe032_pso.oepc_false-unreach-call.i false(unreach-call) 3.4  53 46  
pthread-wmm/safe032_pso.opt_false-unreach-call.i false(unreach-call) 3.4  52 42  
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i false(unreach-call) 3.4  53 50  
pthread-wmm/safe032_rmo.opt_false-unreach-call.i false(unreach-call) 3.4  53 41  
pthread-wmm/safe033_power.oepc_false-unreach-call.i false(unreach-call) .44 35 6.4
pthread-wmm/safe033_power.opt_false-unreach-call.i false(unreach-call) .44 35 5.2
pthread-wmm/safe033_pso.oepc_false-unreach-call.i false(unreach-call) .43 35 5.3
pthread-wmm/safe033_pso.opt_false-unreach-call.i false(unreach-call) .44 35 6.7
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i false(unreach-call) .44 36 6.0
pthread-wmm/safe033_rmo.opt_false-unreach-call.i false(unreach-call) .43 35 5.8
pthread-wmm/safe034_power.oepc_false-unreach-call.i false(unreach-call) 2.0  38 25  
pthread-wmm/safe034_power.opt_false-unreach-call.i false(unreach-call) 2.0  38 24  
pthread-wmm/safe034_pso.oepc_false-unreach-call.i false(unreach-call) 2.0  38 31  
pthread-wmm/safe034_pso.opt_false-unreach-call.i false(unreach-call) 2.0  38 26  
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0  38 26  
pthread-wmm/safe034_rmo.opt_false-unreach-call.i false(unreach-call) 2.0  38 24  
pthread-wmm/thin000_power.oepc_false-unreach-call.i false(unreach-call) .37 36 4.1
pthread-wmm/thin000_power.opt_false-unreach-call.i false(unreach-call) .51 36 5.9
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i false(unreach-call) .38 35 5.6
pthread-wmm/thin000_rmo.opt_false-unreach-call.i false(unreach-call) .38 36 4.3
pthread-wmm/thin001_power.oepc_false-unreach-call.i false(unreach-call) 1.5  36 18  
pthread-wmm/thin001_power.opt_false-unreach-call.i false(unreach-call) 2.4  42 34  
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i false(unreach-call) 1.4  35 14  
pthread-wmm/thin001_rmo.opt_false-unreach-call.i false(unreach-call) 1.4  35 18  
pthread-wmm/thin002_power.oepc_false-unreach-call.i false(unreach-call) 9.3  52 130  
pthread-wmm/thin002_power.opt_false-unreach-call.i false(unreach-call) 15    110 210  
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i false(unreach-call) 8.7  48 120  
pthread-wmm/thin002_rmo.opt_false-unreach-call.i false(unreach-call) 8.7  49 110  
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i true 3.0  38 35  
pthread-wmm/rfi000_tso.opt_true-unreach-call.i true 2.9  38 34  
pthread-wmm/rfi002_power.oepc_true-unreach-call.i true 2.9  38 41  
pthread-wmm/rfi002_power.opt_true-unreach-call.i true 2.9  38 44  
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i true 2.9  38 36  
pthread-wmm/rfi002_pso.opt_true-unreach-call.i true 2.9  38 35  
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i true 2.9  38 35  
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i true 2.9  38 38  
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i true 3.8  39 54  
pthread-wmm/rfi002_tso.opt_true-unreach-call.i true 3.8  39 42  
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i true 3.2  38 42  
pthread-wmm/rfi003_tso.opt_true-unreach-call.i true 3.3  39 43  
pthread-wmm/safe000_pso.oepc_true-unreach-call.i true 4.4  36 65  
pthread-wmm/safe000_pso.opt_true-unreach-call.i true 4.4  36 62  
pthread-wmm/safe000_tso.oepc_true-unreach-call.i true 4.5  36 56  
pthread-wmm/safe000_tso.opt_true-unreach-call.i true 4.4  36 61  
pthread-wmm/safe001_tso.oepc_true-unreach-call.i true 4.5  36 61  
pthread-wmm/safe001_tso.opt_true-unreach-call.i true 4.6  37 54  
pthread-wmm/safe002_tso.oepc_true-unreach-call.i true 4.5  36 59  
pthread-wmm/safe002_tso.opt_true-unreach-call.i true 4.4  36 56  
pthread-wmm/safe003_tso.oepc_true-unreach-call.i true 4.6  36 64  
pthread-wmm/safe003_tso.opt_true-unreach-call.i true 4.6  36 60  
pthread-wmm/safe004_tso.oepc_true-unreach-call.i true 4.7  36 56  
pthread-wmm/safe004_tso.opt_true-unreach-call.i true 4.7  36 62  
pthread-wmm/safe005_tso.oepc_true-unreach-call.i true 4.8  36 54  
pthread-wmm/safe005_tso.opt_true-unreach-call.i true 4.8  36 61  
pthread-wmm/safe006_pso.oepc_true-unreach-call.i true .89 36 11  
pthread-wmm/safe006_pso.opt_true-unreach-call.i true .89 36 12  
pthread-wmm/safe006_tso.oepc_true-unreach-call.i true .89 35 11  
pthread-wmm/safe006_tso.opt_true-unreach-call.i true .89 36 11  
pthread-wmm/safe007_pso.oepc_true-unreach-call.i true 4.0  36 49  
pthread-wmm/safe007_pso.opt_true-unreach-call.i true 4.0  36 48  
pthread-wmm/safe007_tso.oepc_true-unreach-call.i true 4.0  36 50  
pthread-wmm/safe007_tso.opt_true-unreach-call.i true 3.9  37 55  
pthread-wmm/safe008_tso.oepc_true-unreach-call.i true 4.0  36 55  
pthread-wmm/safe008_tso.opt_true-unreach-call.i true 4.0  36 58  
pthread-wmm/safe009_pso.oepc_true-unreach-call.i true 4.1  36 54  
pthread-wmm/safe009_pso.opt_true-unreach-call.i true 4.1  36 46  
pthread-wmm/safe009_tso.oepc_true-unreach-call.i true 4.1  36 53  
pthread-wmm/safe009_tso.opt_true-unreach-call.i true 4.1  36 44  
pthread-wmm/safe010_tso.oepc_true-unreach-call.i true .91 36 11  
pthread-wmm/safe010_tso.opt_true-unreach-call.i true .89 36 12  
pthread-wmm/safe011_tso.oepc_true-unreach-call.i true 4.2  36 47  
pthread-wmm/safe011_tso.opt_true-unreach-call.i true 4.2  36 50  
pthread-wmm/safe012_tso.oepc_true-unreach-call.i true 4.0  36 56  
pthread-wmm/safe012_tso.opt_true-unreach-call.i true 4.0  36 48  
pthread-wmm/safe013_tso.oepc_true-unreach-call.i true 4.3  37 63  
pthread-wmm/safe013_tso.opt_true-unreach-call.i true 4.3  36 49  
pthread-wmm/safe014_pso.oepc_true-unreach-call.i true 4.4  36 61  
pthread-wmm/safe014_pso.opt_true-unreach-call.i true 4.3  37 58  
pthread-wmm/safe014_tso.oepc_true-unreach-call.i true 4.4  36 63  
pthread-wmm/safe014_tso.opt_true-unreach-call.i true 4.4  36 53  
pthread-wmm/safe015_pso.oepc_true-unreach-call.i true 4.7  36 54  
pthread-wmm/safe015_pso.opt_true-unreach-call.i true 4.7  36 61  
pthread-wmm/safe015_tso.oepc_true-unreach-call.i true 4.7  36 46  
pthread-wmm/safe015_tso.opt_true-unreach-call.i true 4.6  36 60  
pthread-wmm/safe016_pso.oepc_true-unreach-call.i true 27    45 300  
pthread-wmm/safe016_pso.opt_true-unreach-call.i true 28    44 330  
pthread-wmm/safe016_tso.oepc_true-unreach-call.i true 28    45 320  
pthread-wmm/safe016_tso.opt_true-unreach-call.i true 28    44 380  
pthread-wmm/safe017_tso.oepc_true-unreach-call.i true 4.1  36 50  
pthread-wmm/safe017_tso.opt_true-unreach-call.i true 4.0  36 50  
pthread-wmm/safe018_pso.oepc_true-unreach-call.i true 3.8  36 47  
pthread-wmm/safe018_pso.opt_true-unreach-call.i true 3.8  36 45  
pthread-wmm/safe018_tso.oepc_true-unreach-call.i true 3.8  36 53  
pthread-wmm/safe018_tso.opt_true-unreach-call.i true 3.8  37 45  
pthread-wmm/safe019_pso.oepc_true-unreach-call.i true 26    44 330  
pthread-wmm/safe019_pso.opt_true-unreach-call.i true 26    44 380  
pthread-wmm/safe019_tso.oepc_true-unreach-call.i true 27    43 330  
pthread-wmm/safe019_tso.opt_true-unreach-call.i true 26    43 320  
pthread-wmm/safe020_pso.oepc_true-unreach-call.i true 4.1  36 59  
pthread-wmm/safe020_pso.opt_true-unreach-call.i true 4.1  37 51  
pthread-wmm/safe020_tso.oepc_true-unreach-call.i true 4.1  36 50  
pthread-wmm/safe020_tso.opt_true-unreach-call.i true 4.1  36 46  
pthread-wmm/safe021_tso.oepc_true-unreach-call.i true 4.0  36 46  
pthread-wmm/safe021_tso.opt_true-unreach-call.i true 4.1  37 46  
pthread-wmm/safe022_tso.oepc_true-unreach-call.i true .87 36 12  
pthread-wmm/safe022_tso.opt_true-unreach-call.i true .91 36 11  
pthread-wmm/safe023_tso.oepc_true-unreach-call.i true 4.6  36 60  
pthread-wmm/safe023_tso.opt_true-unreach-call.i true 4.6  37 51  
pthread-wmm/safe024_tso.oepc_true-unreach-call.i true 4.2  36 52  
pthread-wmm/safe024_tso.opt_true-unreach-call.i true 4.2  36 58  
pthread-wmm/safe025_pso.oepc_true-unreach-call.i true 4.5  36 60  
pthread-wmm/safe025_pso.opt_true-unreach-call.i true 4.5  37 62  
pthread-wmm/safe025_tso.oepc_true-unreach-call.i true 4.5  37 54  
pthread-wmm/safe025_tso.opt_true-unreach-call.i true 4.6  36 68  
pthread-wmm/safe026_tso.oepc_true-unreach-call.i true 4.0  36 52  
pthread-wmm/safe026_tso.opt_true-unreach-call.i true 3.9  36 50  
pthread-wmm/safe027_pso.oepc_true-unreach-call.i true 26    43 370  
pthread-wmm/safe027_pso.opt_true-unreach-call.i true 26    43 370  
pthread-wmm/safe027_tso.oepc_true-unreach-call.i true 26    43 290  
pthread-wmm/safe027_tso.opt_true-unreach-call.i true 26    43 330  
pthread-wmm/safe028_pso.oepc_true-unreach-call.i true 4.0  36 45  
pthread-wmm/safe028_pso.opt_true-unreach-call.i true 4.0  36 56  
pthread-wmm/safe028_tso.oepc_true-unreach-call.i true 4.0  36 57  
pthread-wmm/safe028_tso.opt_true-unreach-call.i true 4.0  36 49  
pthread-wmm/safe029_tso.oepc_true-unreach-call.i true .93 36 12  
pthread-wmm/safe029_tso.opt_true-unreach-call.i true .92 35 12  
pthread-wmm/safe030_tso.oepc_true-unreach-call.i true 4.2  36 51  
pthread-wmm/safe030_tso.opt_true-unreach-call.i true 4.2  36 57  
pthread-wmm/safe031_tso.oepc_true-unreach-call.i true 4.4  37 54  
pthread-wmm/safe031_tso.opt_true-unreach-call.i true 4.3  36 57  
pthread-wmm/safe032_tso.oepc_true-unreach-call.i true 4.7  36 58  
pthread-wmm/safe032_tso.opt_true-unreach-call.i true 4.8  36 57  
pthread-wmm/safe033_tso.oepc_true-unreach-call.i true .95 36 11  
pthread-wmm/safe033_tso.opt_true-unreach-call.i true .95 36 13  
pthread-wmm/safe034_tso.oepc_true-unreach-call.i true 4.5  37 57  
pthread-wmm/safe034_tso.opt_true-unreach-call.i true 4.5  36 55  
pthread-wmm/safe035_power.oepc_true-unreach-call.i true 21    78 260  
pthread-wmm/safe035_power.opt_true-unreach-call.i true 21    77 310  
pthread-wmm/safe035_pso.oepc_true-unreach-call.i true 4.9  36 60  
pthread-wmm/safe035_pso.opt_true-unreach-call.i true 4.8  36 60  
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i true 5.1  36 60  
pthread-wmm/safe035_rmo.opt_true-unreach-call.i true 4.9  36 57  
pthread-wmm/safe035_tso.oepc_true-unreach-call.i true 4.9  36 68  
pthread-wmm/safe035_tso.opt_true-unreach-call.i true 4.9  36 63  
pthread-wmm/safe036_power.oepc_true-unreach-call.i true .96 36 12  
pthread-wmm/safe036_power.opt_true-unreach-call.i true .96 36 12  
pthread-wmm/safe036_pso.oepc_true-unreach-call.i true .96 36 12  
pthread-wmm/safe036_pso.opt_true-unreach-call.i true .96 36 13  
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i true .96 36 13  
pthread-wmm/safe036_rmo.opt_true-unreach-call.i true .97 36 13  
pthread-wmm/safe036_tso.oepc_true-unreach-call.i true .95 36 14  
pthread-wmm/safe036_tso.opt_true-unreach-call.i true .95 36 14  
pthread-wmm/safe037_power.oepc_true-unreach-call.i true 4.2  37 55  
pthread-wmm/safe037_power.opt_true-unreach-call.i true 4.1  37 59  
pthread-wmm/safe037_pso.oepc_true-unreach-call.i true 4.2  37 61  
pthread-wmm/safe037_pso.opt_true-unreach-call.i true 4.1  37 48  
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i true 4.1  36 57  
pthread-wmm/safe037_rmo.opt_true-unreach-call.i true 4.1  36 58  
pthread-wmm/safe037_tso.oepc_true-unreach-call.i true 4.1  37 62  
pthread-wmm/safe037_tso.opt_true-unreach-call.i true 4.1  36 49  
pthread-wmm/thin000_pso.oepc_true-unreach-call.i true .88 36 9.9
pthread-wmm/thin000_pso.opt_true-unreach-call.i true .89 36 12  
pthread-wmm/thin000_tso.oepc_true-unreach-call.i true .89 36 11  
pthread-wmm/thin000_tso.opt_true-unreach-call.i true .90 36 14  
pthread-wmm/thin001_pso.oepc_true-unreach-call.i true 3.9  36 61  
pthread-wmm/thin001_pso.opt_true-unreach-call.i true 4.0  36 47  
pthread-wmm/thin001_tso.oepc_true-unreach-call.i true 3.9  36 49  
pthread-wmm/thin001_tso.opt_true-unreach-call.i true 4.0  36 53  
pthread-wmm/thin002_pso.oepc_true-unreach-call.i true 27    43 340  
pthread-wmm/thin002_pso.opt_true-unreach-call.i true 27    44 340  
pthread-wmm/thin002_tso.oepc_true-unreach-call.i true 27    44 310  
pthread-wmm/thin002_tso.opt_true-unreach-call.i true 27    43 350  
pthread-lit/fkp2013_false-unreach-call.i timeout 900    950 11000  
pthread-lit/fkp2013_variant_false-unreach-call.i false(unreach-call) .17 35 1.8
pthread-lit/qw2004_false-unreach-call.i false(unreach-call) .15 34 1.7
pthread-lit/fk2012_true-unreach-call.i unknown 900    6400 7300  
pthread-lit/fkp2013_true-unreach-call.i timeout 900    950 12000  
pthread-lit/fkp2013_variant_true-unreach-call.i false(unreach-call) .43 35 5.3
pthread-lit/fkp2014_true-unreach-call.i timeout 900    830 11000  
pthread-lit/qw2004_true-unreach-call.i true .41 35 5.0
pthread-lit/qw2004_variant_true-unreach-call.i timeout 900    1600 11000  
pthread-lit/sssc12_true-unreach-call.i unknown 900    8600 11000  
pthread-lit/sssc12_variant_true-unreach-call.i unknown 900    6500 7700  
ldv-races/race-1_1-join_true-unreach-call.i false(unreach-call) .17 35 2.1
ldv-races/race-2_1-container_of_true-unreach-call.i true 3.4  39 43  
ldv-races/race-3_1-container_of-global_true-unreach-call.i true 3.3  38 45  
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i false(unreach-call) .20 36 2.4
ldv-races/race-1_2-join_false-unreach-call.i witness invalid (false(unreach-call)) .19 36 1.8
ldv-races/race-1_3-join_false-unreach-call.i witness invalid (false(unreach-call)) .18 35 2.1
ldv-races/race-2_2-container_of_false-unreach-call.i true 1.6  37 22  
ldv-races/race-2_3-container_of_false-unreach-call.i false(unreach-call) .61 36 6.9
ldv-races/race-2_4-container_of_false-unreach-call.i false(unreach-call) .57 36 8.1
ldv-races/race-2_5-container_of_false-unreach-call.i false(unreach-call) .74 36 9.0
ldv-races/race-3_2-container_of-global_false-unreach-call.i true 1.5  37 18  
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i witness invalid (false(unreach-call)) .25 36 2.2
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_false-unreach-call.cil.i unknown 130    610 1800  
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i witness invalid (false(unreach-call)) 35    800 460  
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i unknown 900    1900 10000  
ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i unknown 900    8100 11000  
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i witness invalid (false(unreach-call)) 26    720 290  
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i unknown 900    7300 4600  
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_true-unreach-call.cil.i unknown 140    610 1700  
pthread-complex/bounded_buffer_false-unreach-call.i unknown 900    5200 11000  
pthread-complex/elimination_backoff_stack_false-unreach-call.i unknown 900    1500 9000  
pthread-complex/safestack_relacy_false-unreach-call.i out of memory 43    15000 410  
pthread-complex/workstealqueue_mutex_false-unreach-call.i false(unreach-call) 340    8000 4400  
pthread-complex/workstealqueue_mutex_true-unreach-call.i out of memory 520    15000 7300  
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i true 2.7  59 31  
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i true 15    210 190  
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i true 15    210 190  
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i true 14    200 160  
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i true 14    210 200  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i true 3.0  76 35  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i true 2.5  77 30  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i true 2.3  68 26  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i true 2.0  62 22  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i true 2.7  72 29  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i true 1.9  63 19  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i true 2.4  73 30  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i true 2.3  76 26  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i true 2.0  66 24  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i true 1.7  63 18  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i true 1.7  61 23  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i true 2.1  70 23  
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i false(unreach-call) 3.5  61 40  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i unknown 280    110 3400  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i unknown 370    120 5000  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i unknown 320    110 4100  
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i true 380    720 5600  
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i unknown 900    1600 12000  
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i unknown 900    940 9300  
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i false(unreach-call) 15    51 200  
pthread-divine/condvar_spurious_wakeup_false-unreach-call.i true .56 39 6.1
pthread-divine/divinefifo-bug_1w1r_false-unreach-call.i unknown 900    5600 11000  
pthread-divine/one_time_barrier_2t_false-unreach-call.i unknown 900    13000 14000  
pthread-divine/one_time_barrier_3t_false-unreach-call.i unknown 900    9800 11000  
pthread-divine/ring_1w1r_false-unreach-call.i false(unreach-call) .17 35 1.8
pthread-divine/ring_2w1r_false-unreach-call.i true 120    260 1800  
pthread-divine/tls_destructor_worker_false-unreach-call.i false(unreach-call) .15 34 1.8
pthread-divine/barrier_2t_true-unreach-call.i unknown 900    11000 11000  
pthread-divine/barrier_3t_true-unreach-call.i unknown 900    12000 13000  
pthread-divine/condvar_true-unreach-call.i true .85 57 10  
pthread-divine/divinefifo_1w1r_true-unreach-call.i unknown 900    7200 8600  
pthread-divine/one_time_barrier_twice_2t_true-unreach-call.i unknown 900    1200 11000  
pthread-divine/one_time_barrier_twice_3t_true-unreach-call.i unknown 900    4500 10000  
pthread-divine/ring_1w1r_true-unreach-call.i true .93 39 13  
pthread-divine/ring_2w1r_true-unreach-call.i unknown 900    1100 10000  
pthread-divine/tls_basic_true-unreach-call.i false(unreach-call) .27 36 4.0
pthread-nondet/nondet-array_false-unreach-call.i timeout 900    760 12000  
pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i timeout 900    4400 12000  
pthread-nondet/nondet-loop-bound_false-unreach-call.i timeout 900    610 11000  
pthread-nondet/nondet-array_true-unreach-call.i timeout 900    760 13000  
pthread-nondet/nondet-loop-bound-variant_true-unreach-call.i timeout 900    4400 12000  
pthread-nondet/nondet-loop-bound_true-unreach-call.i timeout 900    610 12000  
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 1082 81000   380000 980000
    correct results 802 4500   41000 58000
        correct true 194 2100   10000 27000
        correct false 608 2400   31000 31000
    correct-unconfimed results 164 2000   23000 27000
        correct-unconfirmed true 0
        correct-unconfirmed false 164 2000   23000 27000
    incorrect results 20 770   2200 9100
        incorrect true 16 770   2100 9000
        incorrect false 4 1.1 140 14
Run set sv-comp19_prop-reachsafety.ConcurrencySafety-Main