Tool DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-12-01 10:24:45 CET
Run set sv-comp18
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
pthread/bigshot_p_false-unreach-call.i false(unreach-call) 6.4  620 61  
pthread/fib_bench_false-unreach-call.i true 47    78 640  
pthread/fib_bench_longer_false-unreach-call.i true 120    100 1400  
pthread/fib_bench_longest_false-unreach-call.i timeout 900    630 11000  
pthread/lazy01_false-unreach-call.i witness invalid (false(unreach-call)) 16    280 240  
pthread/queue_false-unreach-call.i unknown 130    170 1600  
pthread/queue_longer_false-unreach-call.i unknown 850    2500 11000  
pthread/queue_longest_false-unreach-call.i unknown 850    2500 12000  
pthread/reorder_2_false-unreach-call.i unknown 330    15000 4500  
pthread/reorder_5_false-unreach-call.i unknown 480    15000 5500  
pthread/sigma_false-unreach-call.i timeout 900    680 13000  
pthread/singleton_false-unreach-call.i timeout 900    940 10000  
pthread/stack_false-unreach-call.i true 500    15000 5900  
pthread/stack_longer_false-unreach-call.i unknown 480    1500 5900  
pthread/stack_longest_false-unreach-call.i unknown 480    1500 6200  
pthread/stateful01_false-unreach-call.i false(unreach-call) 8.0  50 88  
pthread/twostage_3_false-unreach-call.i unknown 900    1100 12000  
pthread/bigshot_s2_true-unreach-call.i true 290    5200 4400  
pthread/bigshot_s_true-unreach-call.i true 290    5200 4000  
pthread/fib_bench_longer_true-unreach-call.i true 120    100 1600  
pthread/fib_bench_longest_true-unreach-call.i timeout 900    630 11000  
pthread/fib_bench_true-unreach-call.i true 47    78 540  
pthread/indexer_true-unreach-call.i unknown 75    160 900  
pthread/queue_ok_longer_true-unreach-call.i unknown 900    180 11000  
pthread/queue_ok_longest_true-unreach-call.i unknown 900    180 12000  
pthread/queue_ok_true-unreach-call.i unknown 900    180 11000  
pthread/singleton_with-uninit-problems_true-unreach-call.i timeout 900    930 11000  
pthread/stack_longer_true-unreach-call.i unknown 470    1400 6200  
pthread/stack_longest_true-unreach-call.i unknown 470    1400 5700  
pthread/stack_true-unreach-call.i true 470    15000 5600  
pthread/stateful01_true-unreach-call.i true 240    1100 2800  
pthread/sync01_true-unreach-call.i unknown 900    15000 13000  
pthread-atomic/qrcu_false-unreach-call.i unknown 67    110 790  
pthread-atomic/read_write_lock_false-unreach-call.i true 160    79 2300  
pthread-atomic/dekker_true-unreach-call.i true 140    190 1800  
pthread-atomic/gcd_true-unreach-call_true-termination.i unknown 890    450 11000  
pthread-atomic/lamport_true-unreach-call.i true 110    160 1500  
pthread-atomic/peterson_true-unreach-call.i true 100    150 1300  
pthread-atomic/qrcu_true-unreach-call.i unknown 67    110 810  
pthread-atomic/read_write_lock_true-unreach-call.i true 160    79 1800  
pthread-atomic/scull_true-unreach-call.i unknown 10    35 140  
pthread-atomic/szymanski_true-unreach-call.i timeout 900    990 11000  
pthread-atomic/time_var_mutex_true-unreach-call.i unknown 3.3  49 39  
pthread-ext/25_stack_longer_false-unreach-call.i false(unreach-call) .68 76 8.1
pthread-ext/25_stack_longest_false-unreach-call.i false(unreach-call) .69 76 8.3
pthread-ext/26_stack_cas_longer_false-unreach-call.i false(unreach-call) .69 76 8.3
pthread-ext/26_stack_cas_longest_false-unreach-call.i false(unreach-call) .69 76 8.3
pthread-ext/27_Boop_simple_vf_false-unreach-call.i false(unreach-call) 39    1900 480  
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i false(unreach-call) .96 130 12  
pthread-ext/32_pthread5_vs_false-unreach-call.i true 350    14000 4000  
pthread-ext/40_barrier_vf_false-unreach-call.i true 260    14000 3300  
pthread-ext/01_inc_true-unreach-call.i timeout 900    450 13000  
pthread-ext/02_inc_cas_true-unreach-call.i timeout 900    900 12000  
pthread-ext/03_incdec_true-unreach-call.i true 370    15000 4500  
pthread-ext/04_incdec_cas_true-unreach-call.i timeout 900    15000 11000  
pthread-ext/05_tas_true-unreach-call.i timeout 900    860 11000  
pthread-ext/06_ticket_true-unreach-call.i timeout 900    410 10000  
pthread-ext/07_rand_true-unreach-call.i timeout 900    14000 12000  
pthread-ext/08_rand_cas_true-unreach-call.i timeout 900    15000 12000  
pthread-ext/09_fmaxsym_true-unreach-call.i true 400    15000 5200  
pthread-ext/10_fmaxsym_cas_true-unreach-call.i true 540    15000 6300  
pthread-ext/11_fmaxsymopt_true-unreach-call.i true 530    15000 6500  
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i true 600    15000 6300  
pthread-ext/13_unverif_true-unreach-call.i timeout 900    360 10000  
pthread-ext/14_spin2003_true-unreach-call.i timeout 900    510 11000  
pthread-ext/15_dekker_true-unreach-call.i true 130    100 1500  
pthread-ext/16_peterson_true-unreach-call.i true 1.0  76 12  
pthread-ext/17_szymanski_true-unreach-call.i timeout 900    980 12000  
pthread-ext/18_read_write_lock_true-unreach-call.i true .99 49 12  
pthread-ext/19_time_var_mutex_true-unreach-call.i true 1.0  50 14  
pthread-ext/20_lamport_true-unreach-call.i true 11    160 130  
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i unknown 49    76 570  
pthread-ext/25_stack_longer_true-unreach-call.i timeout 900    900 11000  
pthread-ext/25_stack_longest_true-unreach-call.i timeout 900    980 11000  
pthread-ext/25_stack_true-unreach-call.i timeout 900    910 11000  
pthread-ext/26_stack_cas_longer_true-unreach-call.i timeout 900    830 11000  
pthread-ext/26_stack_cas_longest_true-unreach-call.i unknown 900    930 10000  
pthread-ext/26_stack_cas_true-unreach-call.i timeout 900    840 12000  
pthread-ext/29_conditionals_vs_true-unreach-call.i true 340    14000 3700  
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i unknown 900    1500 14000  
pthread-ext/31_simple_loop5_vs_true-unreach-call.i timeout 900    800 13000  
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i unknown 900    1400 11000  
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i unknown 900    1400 12000  
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i unknown 900    1100 11000  
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i timeout 900    730 13000  
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i timeout 900    700 12000  
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i timeout 900    15000 13000  
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i timeout 900    14000 12000  
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i timeout 900    620 12000  
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 true 560    15000 6600  
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i timeout 900    15000 12000  
pthread-ext/45_monabsex1_vs_true-unreach-call.i timeout 900    450 9900  
pthread-ext/46_monabsex2_vs_true-unreach-call.i timeout 900    390 13000  
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i timeout 900    840 11000  
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i timeout 900    530 10000  
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 3.2  70 48  
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 3.5  58 45  
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 3.2  70 41  
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 3.5  59 43  
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 3.1  70 43  
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 3.5  59 41  
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 3.2  70 39  
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 3.5  57 38  
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 140    1400 1700  
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 82    290 1100  
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 140    1400 1800  
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 83    290 1100  
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 140    1400 1800  
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 83    290 990  
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 140    1400 1500  
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 83    290 1000  
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 94    230 1300  
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 88    300 1100  
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 93    230 1300  
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 88    300 1200  
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 93    230 1400  
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 88    300 1000  
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 94    230 1400  
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 88    300 1000  
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 82    220 1100  
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 77    270 1100  
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 83    220 1100  
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 77    280 890  
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 83    220 1000  
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 77    270 1100  
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 77    270 900  
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 77    280 950  
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 83    220 1100  
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 77    280 1100  
pthread-wmm/mix004_power.oepc_false-unreach-call.i timeout 900    3600 13000  
pthread-wmm/mix004_power.opt_false-unreach-call.i timeout 900    3800 13000  
pthread-wmm/mix004_pso.oepc_false-unreach-call.i timeout 900    3600 13000  
pthread-wmm/mix004_pso.opt_false-unreach-call.i timeout 900    3800 11000  
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i timeout 900    3600 13000  
pthread-wmm/mix004_rmo.opt_false-unreach-call.i timeout 900    3800 11000  
pthread-wmm/mix004_tso.oepc_false-unreach-call.i timeout 900    3600 10000  
pthread-wmm/mix004_tso.opt_false-unreach-call.i timeout 900    3800 11000  
pthread-wmm/mix005_power.oepc_false-unreach-call.i timeout 900    3600 11000  
pthread-wmm/mix005_power.opt_false-unreach-call.i timeout 900    3800 12000  
pthread-wmm/mix005_pso.oepc_false-unreach-call.i timeout 900    3600 12000  
pthread-wmm/mix005_pso.opt_false-unreach-call.i timeout 900    3800 10000  
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i timeout 900    3600 12000  
pthread-wmm/mix005_rmo.opt_false-unreach-call.i timeout 900    3800 11000  
pthread-wmm/mix005_tso.oepc_false-unreach-call.i timeout 900    390 12000  
pthread-wmm/mix005_tso.opt_false-unreach-call.i timeout 900    3800 11000  
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 92    230 990  
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 97    380 1100  
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 93    220 1100  
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 97    380 1200  
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 92    230 910  
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 97    370 1400  
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 490    1100 7000  
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 97    380 1100  
pthread-wmm/mix007_power.oepc_false-unreach-call.i timeout 900    4500 12000  
pthread-wmm/mix007_power.opt_false-unreach-call.i timeout 900    4000 11000  
pthread-wmm/mix007_pso.oepc_false-unreach-call.i timeout 900    4400 13000  
pthread-wmm/mix007_pso.opt_false-unreach-call.i timeout 900    4000 10000  
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i timeout 900    4400 12000  
pthread-wmm/mix007_rmo.opt_false-unreach-call.i timeout 900    4000 12000  
pthread-wmm/mix007_tso.oepc_false-unreach-call.i timeout 900    4400 12000  
pthread-wmm/mix007_tso.opt_false-unreach-call.i timeout 900    4000 10000  
pthread-wmm/mix008_power.oepc_false-unreach-call.i timeout 900    4400 10000  
pthread-wmm/mix008_power.opt_false-unreach-call.i timeout 900    4000 11000  
pthread-wmm/mix008_pso.oepc_false-unreach-call.i timeout 900    4400 10000  
pthread-wmm/mix008_pso.opt_false-unreach-call.i timeout 900    4000 12000  
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i timeout 900    4400 12000  
pthread-wmm/mix008_rmo.opt_false-unreach-call.i timeout 900    4000 10000  
pthread-wmm/mix008_tso.oepc_false-unreach-call.i timeout 900    3100 11000  
pthread-wmm/mix008_tso.opt_false-unreach-call.i timeout 900    4000 13000  
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 2.3  57 35  
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 3.6  58 44  
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 2.3  56 29  
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 3.6  58 43  
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 2.4  57 27  
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 3.6  57 47  
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 2.3  56 27  
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 3.6  58 39  
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 86    230 1200  
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 81    280 1100  
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 86    230 1100  
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 80    280 1100  
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 86    220 1000  
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 81    280 1000  
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 86    230 1300  
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 80    280 1200  
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 85    230 1200  
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 80    280 1000  
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 86    220 1100  
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 80    280 1000  
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 86    220 1100  
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 80    280 1100  
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 140    99 1700  
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 80    280 1000  
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 2.2  57 27  
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 2.2  57 28  
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 2.2  56 28  
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 3.4  59 48  
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2  57 31  
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 2.2  57 30  
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 2.2  57 31  
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 3.4  59 50  
pthread-wmm/mix013_power.oepc_false-unreach-call.i timeout 900    3800 11000  
pthread-wmm/mix013_power.opt_false-unreach-call.i timeout 900    3500 11000  
pthread-wmm/mix013_pso.oepc_false-unreach-call.i timeout 900    3800 11000  
pthread-wmm/mix013_pso.opt_false-unreach-call.i timeout 900    3500 12000  
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i timeout 900    3800 10000  
pthread-wmm/mix013_rmo.opt_false-unreach-call.i timeout 900    3500 8900  
pthread-wmm/mix013_tso.oepc_false-unreach-call.i timeout 900    3800 11000  
pthread-wmm/mix013_tso.opt_false-unreach-call.i timeout 900    3500 10000  
pthread-wmm/mix014_power.oepc_false-unreach-call.i timeout 900    3800 14000  
pthread-wmm/mix014_power.opt_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix014_pso.oepc_false-unreach-call.i timeout 900    3800 11000  
pthread-wmm/mix014_pso.opt_false-unreach-call.i timeout 900    3700 14000  
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i timeout 900    3800 11000  
pthread-wmm/mix014_rmo.opt_false-unreach-call.i timeout 900    3700 9800  
pthread-wmm/mix014_tso.oepc_false-unreach-call.i timeout 900    4100 12000  
pthread-wmm/mix014_tso.opt_false-unreach-call.i timeout 900    3700 10000  
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 92    220 1300  
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 90    300 1100  
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 92    220 1100  
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 90    300 1100  
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 92    220 1200  
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 90    300 980  
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 91    220 1100  
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 90    300 1100  
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 81    220 960  
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 95    330 1300  
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 81    220 1100  
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 78    280 980  
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 82    210 1100  
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 95    320 1500  
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 81    220 940  
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 78    280 1100  
pthread-wmm/mix017_power.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix017_power.opt_false-unreach-call.i timeout 900    4300 11000  
pthread-wmm/mix017_pso.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix017_pso.opt_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix017_rmo.opt_false-unreach-call.i timeout 900    4300 12000  
pthread-wmm/mix017_tso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix017_tso.opt_false-unreach-call.i timeout 900    3700 10000  
pthread-wmm/mix018_power.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix018_power.opt_false-unreach-call.i timeout 900    3800 11000  
pthread-wmm/mix018_pso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix018_pso.opt_false-unreach-call.i timeout 900    3800 12000  
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix018_rmo.opt_false-unreach-call.i timeout 900    3800 10000  
pthread-wmm/mix018_tso.oepc_false-unreach-call.i timeout 900    400 11000  
pthread-wmm/mix018_tso.opt_false-unreach-call.i timeout 900    3700 8900  
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 81    210 930  
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 78    280 990  
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 80    220 980  
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 78    270 950  
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 81    210 980  
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 78    270 1100  
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 130    95 1600  
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 78    280 950  
pthread-wmm/mix020_power.oepc_false-unreach-call.i timeout 900    3700 13000  
pthread-wmm/mix020_power.opt_false-unreach-call.i timeout 900    3800 10000  
pthread-wmm/mix020_pso.oepc_false-unreach-call.i timeout 900    3700 14000  
pthread-wmm/mix020_pso.opt_false-unreach-call.i timeout 900    3800 12000  
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix020_rmo.opt_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix020_tso.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix020_tso.opt_false-unreach-call.i timeout 900    3700 9800  
pthread-wmm/mix021_power.oepc_false-unreach-call.i timeout 900    3700 10000  
pthread-wmm/mix021_power.opt_false-unreach-call.i timeout 900    3800 12000  
pthread-wmm/mix021_pso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix021_pso.opt_false-unreach-call.i timeout 900    3800 14000  
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i timeout 900    3700 13000  
pthread-wmm/mix021_rmo.opt_false-unreach-call.i timeout 900    3700 13000  
pthread-wmm/mix021_tso.oepc_false-unreach-call.i timeout 900    420 11000  
pthread-wmm/mix021_tso.opt_false-unreach-call.i timeout 900    3700 13000  
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 2.4  56 27  
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 2.4  56 31  
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 2.4  56 31  
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 2.4  57 34  
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 2.4  56 31  
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 2.4  56 32  
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 5.0  59 62  
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 5.0  59 68  
pthread-wmm/mix023_power.oepc_false-unreach-call.i timeout 900    4500 12000  
pthread-wmm/mix023_power.opt_false-unreach-call.i timeout 900    4200 11000  
pthread-wmm/mix023_pso.oepc_false-unreach-call.i timeout 900    4500 10000  
pthread-wmm/mix023_pso.opt_false-unreach-call.i timeout 900    4200 13000  
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i timeout 900    4500 12000  
pthread-wmm/mix023_rmo.opt_false-unreach-call.i timeout 900    4200 13000  
pthread-wmm/mix023_tso.oepc_false-unreach-call.i timeout 900    560 12000  
pthread-wmm/mix023_tso.opt_false-unreach-call.i timeout 900    550 11000  
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 110    300 1400  
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 120    340 1600  
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 110    300 1500  
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 120    340 1500  
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 110    300 1400  
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 120    340 1500  
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 110    300 1500  
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 110    300 1400  
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 98    290 1400  
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 98    280 1300  
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 98    290 1300  
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 110    330 1600  
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 98    290 1100  
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 110    340 1600  
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 98    290 1400  
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 97    290 1400  
pthread-wmm/mix026_power.oepc_false-unreach-call.i timeout 900    4500 13000  
pthread-wmm/mix026_power.opt_false-unreach-call.i timeout 900    4600 11000  
pthread-wmm/mix026_pso.oepc_false-unreach-call.i timeout 900    4500 13000  
pthread-wmm/mix026_pso.opt_false-unreach-call.i timeout 900    4000 11000  
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i timeout 900    4500 13000  
pthread-wmm/mix026_rmo.opt_false-unreach-call.i timeout 900    4000 11000  
pthread-wmm/mix026_tso.oepc_false-unreach-call.i timeout 900    4500 11000  
pthread-wmm/mix026_tso.opt_false-unreach-call.i timeout 900    4600 12000  
pthread-wmm/mix027_power.oepc_false-unreach-call.i timeout 900    4500 11000  
pthread-wmm/mix027_power.opt_false-unreach-call.i timeout 900    4000 11000  
pthread-wmm/mix027_pso.oepc_false-unreach-call.i timeout 900    4500 8900  
pthread-wmm/mix027_pso.opt_false-unreach-call.i timeout 900    4000 12000  
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i timeout 900    4500 13000  
pthread-wmm/mix027_rmo.opt_false-unreach-call.i timeout 900    4000 13000  
pthread-wmm/mix027_tso.oepc_false-unreach-call.i timeout 900    400 11000  
pthread-wmm/mix027_tso.opt_false-unreach-call.i timeout 900    400 11000  
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 98    280 1100  
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 150    100 1900  
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 97    290 1200  
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 150    100 1800  
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 98    280 1100  
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 150    100 1800  
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 110    95 1200  
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 110    95 1500  
pthread-wmm/mix029_power.oepc_false-unreach-call.i timeout 900    4500 13000  
pthread-wmm/mix029_power.opt_false-unreach-call.i timeout 900    410 12000  
pthread-wmm/mix029_pso.oepc_false-unreach-call.i timeout 900    4500 11000  
pthread-wmm/mix029_pso.opt_false-unreach-call.i timeout 900    410 13000  
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i timeout 900    4500 11000  
pthread-wmm/mix029_rmo.opt_false-unreach-call.i timeout 900    410 11000  
pthread-wmm/mix029_tso.oepc_false-unreach-call.i timeout 900    4500 11000  
pthread-wmm/mix029_tso.opt_false-unreach-call.i timeout 900    4500 12000  
pthread-wmm/mix030_power.oepc_false-unreach-call.i timeout 900    4500 9700  
pthread-wmm/mix030_power.opt_false-unreach-call.i timeout 900    410 11000  
pthread-wmm/mix030_pso.oepc_false-unreach-call.i timeout 900    4500 11000  
pthread-wmm/mix030_pso.opt_false-unreach-call.i timeout 900    420 11000  
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i timeout 900    4500 9800  
pthread-wmm/mix030_rmo.opt_false-unreach-call.i timeout 900    410 11000  
pthread-wmm/mix030_tso.oepc_false-unreach-call.i timeout 900    520 12000  
pthread-wmm/mix030_tso.opt_false-unreach-call.i timeout 900    520 12000  
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 2.4  57 27  
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 2.8  53 38  
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 2.4  57 32  
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 2.8  53 33  
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 2.4  57 31  
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 2.8  53 34  
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 2.4  56 30  
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) 2.8  54 36  
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 88    230 1200  
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 59    260 810  
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 88    230 1200  
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 59    260 730  
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 89    220 970  
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 59    260 680  
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 89    220 1100  
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 59    260 720  
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 88    220 1000  
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 59    260 820  
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 88    220 1000  
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 59    260 810  
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 88    230 1100  
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 59    260 730  
pthread-wmm/mix033_tso.oepc_false-unreach-call.i false(unreach-call) 150    100 1800  
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 59    260 670  
pthread-wmm/mix034_power.oepc_false-unreach-call.i false(unreach-call) 2.3  58 27  
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) 2.3  57 27  
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) 2.3  58 27  
pthread-wmm/mix034_pso.opt_false-unreach-call.i false(unreach-call) 2.6  53 37  
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) 2.3  57 27  
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) 2.3  58 32  
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) 2.3  57 28  
pthread-wmm/mix034_tso.opt_false-unreach-call.i false(unreach-call) 2.6  53 31  
pthread-wmm/mix035_power.oepc_false-unreach-call.i false(unreach-call) 84    220 1100  
pthread-wmm/mix035_power.opt_false-unreach-call.i false(unreach-call) 99    340 1200  
pthread-wmm/mix035_pso.oepc_false-unreach-call.i false(unreach-call) 83    220 960  
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 56    260 720  
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i false(unreach-call) 83    220 910  
pthread-wmm/mix035_rmo.opt_false-unreach-call.i false(unreach-call) 98    340 1200  
pthread-wmm/mix035_tso.oepc_false-unreach-call.i false(unreach-call) 84    210 1200  
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 56    260 650  
pthread-wmm/mix036_power.oepc_false-unreach-call.i timeout 900    3700 14000  
pthread-wmm/mix036_power.opt_false-unreach-call.i timeout 900    4200 12000  
pthread-wmm/mix036_pso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix036_pso.opt_false-unreach-call.i timeout 900    5400 9800  
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i timeout 900    3700 13000  
pthread-wmm/mix036_rmo.opt_false-unreach-call.i timeout 900    4200 12000  
pthread-wmm/mix036_tso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix036_tso.opt_false-unreach-call.i timeout 900    5400 13000  
pthread-wmm/mix037_power.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix037_power.opt_false-unreach-call.i timeout 900    5500 11000  
pthread-wmm/mix037_pso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix037_pso.opt_false-unreach-call.i timeout 900    5400 13000  
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i timeout 900    3700 13000  
pthread-wmm/mix037_rmo.opt_false-unreach-call.i timeout 900    5500 11000  
pthread-wmm/mix037_tso.oepc_false-unreach-call.i timeout 900    390 12000  
pthread-wmm/mix037_tso.opt_false-unreach-call.i timeout 900    5400 13000  
pthread-wmm/mix038_power.oepc_false-unreach-call.i false(unreach-call) 83    220 1000  
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 56    260 740  
pthread-wmm/mix038_pso.oepc_false-unreach-call.i false(unreach-call) 83    220 960  
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 55    260 780  
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i false(unreach-call) 83    220 1000  
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 56    260 710  
pthread-wmm/mix038_tso.oepc_false-unreach-call.i false(unreach-call) 140    96 1600  
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 55    260 660  
pthread-wmm/mix039_power.oepc_false-unreach-call.i timeout 900    3700 13000  
pthread-wmm/mix039_power.opt_false-unreach-call.i timeout 900    5400 9900  
pthread-wmm/mix039_pso.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix039_pso.opt_false-unreach-call.i timeout 900    5500 11000  
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix039_rmo.opt_false-unreach-call.i timeout 900    5500 11000  
pthread-wmm/mix039_tso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix039_tso.opt_false-unreach-call.i timeout 900    5400 12000  
pthread-wmm/mix040_power.oepc_false-unreach-call.i timeout 900    3700 9800  
pthread-wmm/mix040_power.opt_false-unreach-call.i timeout 900    5500 12000  
pthread-wmm/mix040_pso.oepc_false-unreach-call.i timeout 900    3700 10000  
pthread-wmm/mix040_pso.opt_false-unreach-call.i timeout 900    5500 11000  
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix040_rmo.opt_false-unreach-call.i timeout 900    5500 12000  
pthread-wmm/mix040_tso.oepc_false-unreach-call.i timeout 900    410 9900  
pthread-wmm/mix040_tso.opt_false-unreach-call.i timeout 900    5500 11000  
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) 2.3  56 28  
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) 3.3  61 42  
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) 2.3  56 27  
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) 3.3  61 46  
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) 2.3  56 24  
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) 3.3  62 38  
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) 3.3  60 45  
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) 3.4  61 41  
pthread-wmm/mix042_power.oepc_false-unreach-call.i false(unreach-call) 83    210 940  
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 64    63 790  
pthread-wmm/mix042_pso.oepc_false-unreach-call.i false(unreach-call) 83    220 1000  
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 65    63 890  
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i false(unreach-call) 83    220 1400  
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 64    63 800  
pthread-wmm/mix042_tso.oepc_false-unreach-call.i false(unreach-call) 83    220 1100  
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 63    63 780  
pthread-wmm/mix043_power.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix043_power.opt_false-unreach-call.i timeout 900    430 12000  
pthread-wmm/mix043_pso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix043_pso.opt_false-unreach-call.i timeout 900    430 11000  
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix043_rmo.opt_false-unreach-call.i timeout 900    430 12000  
pthread-wmm/mix043_tso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix043_tso.opt_false-unreach-call.i timeout 900    430 11000  
pthread-wmm/mix044_power.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix044_power.opt_false-unreach-call.i timeout 900    430 10000  
pthread-wmm/mix044_pso.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix044_pso.opt_false-unreach-call.i timeout 900    430 11000  
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i timeout 900    3700 13000  
pthread-wmm/mix044_rmo.opt_false-unreach-call.i timeout 900    430 13000  
pthread-wmm/mix044_tso.oepc_false-unreach-call.i timeout 900    400 9700  
pthread-wmm/mix044_tso.opt_false-unreach-call.i timeout 900    430 11000  
pthread-wmm/mix045_power.oepc_false-unreach-call.i false(unreach-call) 82    220 1000  
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 63    63 730  
pthread-wmm/mix045_pso.oepc_false-unreach-call.i false(unreach-call) 82    220 930  
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 63    63 800  
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i false(unreach-call) 83    210 1100  
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 64    63 810  
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 63    63 860  
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 63    63 790  
pthread-wmm/mix046_power.oepc_false-unreach-call.i timeout 900    3700 9800  
pthread-wmm/mix046_power.opt_false-unreach-call.i timeout 900    430 9800  
pthread-wmm/mix046_pso.oepc_false-unreach-call.i timeout 900    3700 10000  
pthread-wmm/mix046_pso.opt_false-unreach-call.i timeout 900    430 11000  
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix046_rmo.opt_false-unreach-call.i timeout 900    430 10000  
pthread-wmm/mix046_tso.oepc_false-unreach-call.i timeout 900    3700 10000  
pthread-wmm/mix046_tso.opt_false-unreach-call.i timeout 900    430 11000  
pthread-wmm/mix047_power.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix047_power.opt_false-unreach-call.i timeout 900    430 12000  
pthread-wmm/mix047_pso.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix047_pso.opt_false-unreach-call.i timeout 900    440 12000  
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix047_rmo.opt_false-unreach-call.i timeout 900    440 11000  
pthread-wmm/mix047_tso.oepc_false-unreach-call.i timeout 900    440 11000  
pthread-wmm/mix047_tso.opt_false-unreach-call.i timeout 900    440 11000  
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) 2.1  57 28  
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) 2.1  57 26  
pthread-wmm/mix048_pso.oepc_false-unreach-call.i false(unreach-call) 2.2  57 26  
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) 2.2  57 27  
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2  57 29  
pthread-wmm/mix048_rmo.opt_false-unreach-call.i false(unreach-call) 2.2  57 29  
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) 2.2  57 24  
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) 2.1  57 29  
pthread-wmm/mix049_power.oepc_false-unreach-call.i false(unreach-call) 79    210 1100  
pthread-wmm/mix049_power.opt_false-unreach-call.i false(unreach-call) 79    220 1100  
pthread-wmm/mix049_pso.oepc_false-unreach-call.i false(unreach-call) 79    220 1100  
pthread-wmm/mix049_pso.opt_false-unreach-call.i false(unreach-call) 79    220 1000  
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i false(unreach-call) 79    210 1100  
pthread-wmm/mix049_rmo.opt_false-unreach-call.i false(unreach-call) 78    220 860  
pthread-wmm/mix049_tso.oepc_false-unreach-call.i false(unreach-call) 79    220 910  
pthread-wmm/mix049_tso.opt_false-unreach-call.i false(unreach-call) 78    220 910  
pthread-wmm/mix050_power.oepc_false-unreach-call.i timeout 900    3700 13000  
pthread-wmm/mix050_power.opt_false-unreach-call.i timeout 900    3700 9800  
pthread-wmm/mix050_pso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix050_pso.opt_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix050_rmo.opt_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix050_tso.oepc_false-unreach-call.i timeout 900    3700 13000  
pthread-wmm/mix050_tso.opt_false-unreach-call.i timeout 900    3700 13000  
pthread-wmm/mix051_power.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix051_power.opt_false-unreach-call.i timeout 900    3700 14000  
pthread-wmm/mix051_pso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix051_pso.opt_false-unreach-call.i timeout 900    5600 12000  
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i timeout 900    3700 10000  
pthread-wmm/mix051_rmo.opt_false-unreach-call.i timeout 900    5700 10000  
pthread-wmm/mix051_tso.oepc_false-unreach-call.i timeout 900    400 11000  
pthread-wmm/mix051_tso.opt_false-unreach-call.i timeout 900    5600 12000  
pthread-wmm/mix052_power.oepc_false-unreach-call.i false(unreach-call) 78    210 910  
pthread-wmm/mix052_power.opt_false-unreach-call.i false(unreach-call) 77    220 1000  
pthread-wmm/mix052_pso.oepc_false-unreach-call.i false(unreach-call) 78    210 970  
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 51    260 730  
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i false(unreach-call) 78    220 980  
pthread-wmm/mix052_rmo.opt_false-unreach-call.i false(unreach-call) 51    260 640  
pthread-wmm/mix052_tso.oepc_false-unreach-call.i false(unreach-call) 130    94 1600  
pthread-wmm/mix052_tso.opt_false-unreach-call.i false(unreach-call) 51    260 640  
pthread-wmm/mix053_power.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix053_power.opt_false-unreach-call.i timeout 900    5700 11000  
pthread-wmm/mix053_pso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix053_pso.opt_false-unreach-call.i timeout 900    5700 11000  
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix053_rmo.opt_false-unreach-call.i timeout 900    5700 11000  
pthread-wmm/mix053_tso.oepc_false-unreach-call.i timeout 900    420 10000  
pthread-wmm/mix053_tso.opt_false-unreach-call.i timeout 900    5700 11000  
pthread-wmm/mix054_power.oepc_false-unreach-call.i false(unreach-call) 2.1  57 26  
pthread-wmm/mix054_power.opt_false-unreach-call.i false(unreach-call) 2.2  58 25  
pthread-wmm/mix054_pso.oepc_false-unreach-call.i false(unreach-call) 2.2  57 27  
pthread-wmm/mix054_pso.opt_false-unreach-call.i false(unreach-call) 3.1  61 37  
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1  56 24  
pthread-wmm/mix054_rmo.opt_false-unreach-call.i false(unreach-call) 3.1  61 39  
pthread-wmm/mix054_tso.oepc_false-unreach-call.i false(unreach-call) 3.1  61 37  
pthread-wmm/mix054_tso.opt_false-unreach-call.i false(unreach-call) 3.1  61 38  
pthread-wmm/mix055_power.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix055_power.opt_false-unreach-call.i timeout 900    440 11000  
pthread-wmm/mix055_pso.oepc_false-unreach-call.i timeout 900    3700 13000  
pthread-wmm/mix055_pso.opt_false-unreach-call.i timeout 900    440 9900  
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix055_rmo.opt_false-unreach-call.i timeout 900    440 10000  
pthread-wmm/mix055_tso.oepc_false-unreach-call.i timeout 900    410 13000  
pthread-wmm/mix055_tso.opt_false-unreach-call.i timeout 900    440 12000  
pthread-wmm/mix056_power.oepc_false-unreach-call.i false(unreach-call) 77    220 890  
pthread-wmm/mix056_power.opt_false-unreach-call.i false(unreach-call) 59    62 850  
pthread-wmm/mix056_pso.oepc_false-unreach-call.i false(unreach-call) 78    220 990  
pthread-wmm/mix056_pso.opt_false-unreach-call.i false(unreach-call) 59    62 810  
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i false(unreach-call) 78    220 950  
pthread-wmm/mix056_rmo.opt_false-unreach-call.i false(unreach-call) 58    62 710  
pthread-wmm/mix056_tso.oepc_false-unreach-call.i false(unreach-call) 59    62 770  
pthread-wmm/mix056_tso.opt_false-unreach-call.i false(unreach-call) 59    62 810  
pthread-wmm/mix057_power.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix057_power.opt_false-unreach-call.i timeout 900    440 11000  
pthread-wmm/mix057_pso.oepc_false-unreach-call.i timeout 900    3700 11000  
pthread-wmm/mix057_pso.opt_false-unreach-call.i timeout 900    440 10000  
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i timeout 900    3700 12000  
pthread-wmm/mix057_rmo.opt_false-unreach-call.i timeout 900    440 11000  
pthread-wmm/mix057_tso.oepc_false-unreach-call.i timeout 900    440 12000  
pthread-wmm/mix057_tso.opt_false-unreach-call.i timeout 900    440 10000  
pthread-wmm/podwr000_power.oepc_false-unreach-call.i false(unreach-call) 2.1  57 27  
pthread-wmm/podwr000_power.opt_false-unreach-call.i false(unreach-call) 2.2  57 28  
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i false(unreach-call) 2.2  57 25  
pthread-wmm/podwr000_pso.opt_false-unreach-call.i false(unreach-call) 2.2  57 29  
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1  57 28  
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i false(unreach-call) 2.2  57 26  
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i false(unreach-call) 2.2  58 23  
pthread-wmm/podwr000_tso.opt_false-unreach-call.i false(unreach-call) 2.2  57 26  
pthread-wmm/podwr001_power.oepc_false-unreach-call.i false(unreach-call) 78    220 1100  
pthread-wmm/podwr001_power.opt_false-unreach-call.i false(unreach-call) 78    220 1100  
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i false(unreach-call) 79    210 940  
pthread-wmm/podwr001_pso.opt_false-unreach-call.i false(unreach-call) 78    220 960  
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i false(unreach-call) 79    210 920  
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i false(unreach-call) 78    220 1100  
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i false(unreach-call) 79    220 1100  
pthread-wmm/podwr001_tso.opt_false-unreach-call.i false(unreach-call) 79    220 1000  
pthread-wmm/rfi000_power.oepc_false-unreach-call.i false(unreach-call) 5.6  120 73  
pthread-wmm/rfi000_power.opt_false-unreach-call.i false(unreach-call) 5.9  61 86  
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i false(unreach-call) 5.6  120 70  
pthread-wmm/rfi000_pso.opt_false-unreach-call.i false(unreach-call) 5.9  61 73  
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i false(unreach-call) 5.6  120 71  
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i false(unreach-call) 5.9  61 64  
pthread-wmm/rfi001_power.oepc_false-unreach-call.i false(unreach-call) 2.3  57 27  
pthread-wmm/rfi001_power.opt_false-unreach-call.i false(unreach-call) 3.4  61 45  
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i false(unreach-call) 2.3  58 28  
pthread-wmm/rfi001_pso.opt_false-unreach-call.i false(unreach-call) 3.3  61 37  
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i false(unreach-call) 2.3  56 29  
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i false(unreach-call) 3.3  62 52  
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i false(unreach-call) 3.3  62 42  
pthread-wmm/rfi001_tso.opt_false-unreach-call.i false(unreach-call) 3.3  62 40  
pthread-wmm/rfi003_power.oepc_false-unreach-call.i false(unreach-call) 4.4  53 47  
pthread-wmm/rfi003_power.opt_false-unreach-call.i false(unreach-call) 4.3  53 57  
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i false(unreach-call) 4.4  53 67  
pthread-wmm/rfi003_pso.opt_false-unreach-call.i false(unreach-call) 4.4  53 53  
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i false(unreach-call) 4.4  53 52  
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i false(unreach-call) 4.4  53 55  
pthread-wmm/rfi004_power.oepc_false-unreach-call.i false(unreach-call) 2.7  53 38  
pthread-wmm/rfi004_power.opt_false-unreach-call.i false(unreach-call) 2.7  53 32  
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i false(unreach-call) 2.7  53 34  
pthread-wmm/rfi004_pso.opt_false-unreach-call.i false(unreach-call) 2.7  53 34  
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i false(unreach-call) 2.7  53 33  
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i false(unreach-call) 2.7  53 30  
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i false(unreach-call) 2.7  53 35  
pthread-wmm/rfi004_tso.opt_false-unreach-call.i false(unreach-call) 2.7  53 40  
pthread-wmm/rfi005_power.oepc_false-unreach-call.i false(unreach-call) 1.5  60 22  
pthread-wmm/rfi005_power.opt_false-unreach-call.i false(unreach-call) 1.5  60 21  
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i false(unreach-call) 1.5  59 18  
pthread-wmm/rfi005_pso.opt_false-unreach-call.i false(unreach-call) 1.5  60 19  
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i false(unreach-call) 1.5  61 19  
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i false(unreach-call) 1.5  61 21  
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i false(unreach-call) 1.5  61 18  
pthread-wmm/rfi005_tso.opt_false-unreach-call.i false(unreach-call) 1.5  60 20  
pthread-wmm/rfi006_power.oepc_false-unreach-call.i false(unreach-call) 30    57 330  
pthread-wmm/rfi006_power.opt_false-unreach-call.i false(unreach-call) 34    240 490  
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i false(unreach-call) 220    170 2800  
pthread-wmm/rfi006_pso.opt_false-unreach-call.i false(unreach-call) 220    170 2700  
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i false(unreach-call) 30    57 360  
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i false(unreach-call) 30    57 330  
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i false(unreach-call) 220    170 3100  
pthread-wmm/rfi006_tso.opt_false-unreach-call.i false(unreach-call) 220    170 2700  
pthread-wmm/rfi007_power.oepc_false-unreach-call.i false(unreach-call) 2.5  56 35  
pthread-wmm/rfi007_power.opt_false-unreach-call.i false(unreach-call) 2.4  56 31  
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i false(unreach-call) 2.4  56 36  
pthread-wmm/rfi007_pso.opt_false-unreach-call.i false(unreach-call) 2.4  56 28  
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i false(unreach-call) 2.4  56 34  
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i false(unreach-call) 2.4  56 32  
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i false(unreach-call) 5.0  59 59  
pthread-wmm/rfi007_tso.opt_false-unreach-call.i false(unreach-call) 5.0  59 62  
pthread-wmm/rfi008_power.oepc_false-unreach-call.i false(unreach-call) 3.2  70 37  
pthread-wmm/rfi008_power.opt_false-unreach-call.i false(unreach-call) 3.5  58 41  
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i false(unreach-call) 3.2  70 42  
pthread-wmm/rfi008_pso.opt_false-unreach-call.i false(unreach-call) 3.5  59 42  
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i false(unreach-call) 3.2  70 40  
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i false(unreach-call) 3.5  58 46  
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i false(unreach-call) 3.2  70 34  
pthread-wmm/rfi008_tso.opt_false-unreach-call.i false(unreach-call) 3.5  59 48  
pthread-wmm/rfi009_power.oepc_false-unreach-call.i false(unreach-call) 24    57 340  
pthread-wmm/rfi009_power.opt_false-unreach-call.i false(unreach-call) 140    350 1800  
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i false(unreach-call) 150    340 1700  
pthread-wmm/rfi009_pso.opt_false-unreach-call.i false(unreach-call) 140    350 1800  
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i false(unreach-call) 24    57 280  
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i false(unreach-call) 150    350 1800  
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i false(unreach-call) 150    350 2000  
pthread-wmm/rfi009_tso.opt_false-unreach-call.i false(unreach-call) 150    350 1900  
pthread-wmm/rfi010_power.oepc_false-unreach-call.i false(unreach-call) 3.5  58 40  
pthread-wmm/rfi010_power.opt_false-unreach-call.i false(unreach-call) 3.5  58 43  
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i false(unreach-call) 3.5  59 43  
pthread-wmm/rfi010_pso.opt_false-unreach-call.i false(unreach-call) 3.5  58 51  
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i false(unreach-call) 3.4  58 45  
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i false(unreach-call) 3.5  58 42  
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i false(unreach-call) 3.5  58 45  
pthread-wmm/rfi010_tso.opt_false-unreach-call.i false(unreach-call) 3.5  59 44  
pthread-wmm/safe000_power.oepc_false-unreach-call.i false(unreach-call) 78    73 990  
pthread-wmm/safe000_power.opt_false-unreach-call.i false(unreach-call) 250    1300 3100  
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i false(unreach-call) 77    71 1000  
pthread-wmm/safe000_rmo.opt_false-unreach-call.i false(unreach-call) 77    71 960  
pthread-wmm/safe001_power.oepc_false-unreach-call.i false(unreach-call) 78    74 910  
pthread-wmm/safe001_power.opt_false-unreach-call.i false(unreach-call) 180    120 2300  
pthread-wmm/safe001_pso.oepc_false-unreach-call.i false(unreach-call) 180    120 2200  
pthread-wmm/safe001_pso.opt_false-unreach-call.i false(unreach-call) 180    120 2400  
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i false(unreach-call) 76    71 930  
pthread-wmm/safe001_rmo.opt_false-unreach-call.i false(unreach-call) 180    120 2400  
pthread-wmm/safe002_power.oepc_false-unreach-call.i false(unreach-call) 79    74 1200  
pthread-wmm/safe002_power.opt_false-unreach-call.i false(unreach-call) 130    340 1700  
pthread-wmm/safe002_pso.oepc_false-unreach-call.i false(unreach-call) 130    340 1500  
pthread-wmm/safe002_pso.opt_false-unreach-call.i false(unreach-call) 130    340 1500  
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i false(unreach-call) 77    71 990  
pthread-wmm/safe002_rmo.opt_false-unreach-call.i false(unreach-call) 130    340 1700  
pthread-wmm/safe003_power.oepc_false-unreach-call.i false(unreach-call) 200    1700 2600  
pthread-wmm/safe003_power.opt_false-unreach-call.i false(unreach-call) 300    1600 3800  
pthread-wmm/safe003_pso.oepc_false-unreach-call.i false(unreach-call) 200    1600 2500  
pthread-wmm/safe003_pso.opt_false-unreach-call.i false(unreach-call) 200    1600 2600  
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i false(unreach-call) 200    1700 2200  
pthread-wmm/safe003_rmo.opt_false-unreach-call.i false(unreach-call) 200    1700 2300  
pthread-wmm/safe004_power.oepc_false-unreach-call.i false(unreach-call) 200    1700 2300  
pthread-wmm/safe004_power.opt_false-unreach-call.i false(unreach-call) 210    140 2600  
pthread-wmm/safe004_pso.oepc_false-unreach-call.i false(unreach-call) 200    1700 2500  
pthread-wmm/safe004_pso.opt_false-unreach-call.i false(unreach-call) 210    130 2400  
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i false(unreach-call) 200    1600 2800  
pthread-wmm/safe004_rmo.opt_false-unreach-call.i false(unreach-call) 210    130 2400  
pthread-wmm/safe005_power.oepc_false-unreach-call.i false(unreach-call) 170    410 1900  
pthread-wmm/safe005_power.opt_false-unreach-call.i false(unreach-call) 170    410 2300  
pthread-wmm/safe005_pso.oepc_false-unreach-call.i false(unreach-call) 170    410 2400  
pthread-wmm/safe005_pso.opt_false-unreach-call.i false(unreach-call) 170    410 2400  
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i false(unreach-call) 170    410 2400  
pthread-wmm/safe005_rmo.opt_false-unreach-call.i false(unreach-call) 170    410 2100  
pthread-wmm/safe006_power.oepc_false-unreach-call.i false(unreach-call) 1.4  55 17  
pthread-wmm/safe006_power.opt_false-unreach-call.i false(unreach-call) 4.2  60 48  
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i false(unreach-call) 1.3  53 16  
pthread-wmm/safe006_rmo.opt_false-unreach-call.i false(unreach-call) 1.3  53 18  
pthread-wmm/safe007_power.oepc_false-unreach-call.i false(unreach-call) 16    55 170  
pthread-wmm/safe007_power.opt_false-unreach-call.i false(unreach-call) 97    450 1400  
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i false(unreach-call) 15    53 210  
pthread-wmm/safe007_rmo.opt_false-unreach-call.i false(unreach-call) 16    53 190  
pthread-wmm/safe008_power.oepc_false-unreach-call.i false(unreach-call) 60    62 710  
pthread-wmm/safe008_power.opt_false-unreach-call.i false(unreach-call) 180    800 2600  
pthread-wmm/safe008_pso.oepc_false-unreach-call.i false(unreach-call) 59    63 800  
pthread-wmm/safe008_pso.opt_false-unreach-call.i false(unreach-call) 59    62 840  
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i false(unreach-call) 60    62 720  
pthread-wmm/safe008_rmo.opt_false-unreach-call.i false(unreach-call) 59    63 790  
pthread-wmm/safe009_power.oepc_false-unreach-call.i false(unreach-call) 40    58 490  
pthread-wmm/safe009_power.opt_false-unreach-call.i false(unreach-call) 220    1100 2600  
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i false(unreach-call) 40    62 460  
pthread-wmm/safe009_rmo.opt_false-unreach-call.i false(unreach-call) 190    130 2500  
pthread-wmm/safe010_power.oepc_false-unreach-call.i false(unreach-call) 1.9  61 23  
pthread-wmm/safe010_power.opt_false-unreach-call.i false(unreach-call) 1.9  61 24  
pthread-wmm/safe010_pso.oepc_false-unreach-call.i false(unreach-call) 1.9  61 22  
pthread-wmm/safe010_pso.opt_false-unreach-call.i false(unreach-call) 1.8  61 23  
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9  61 23  
pthread-wmm/safe010_rmo.opt_false-unreach-call.i false(unreach-call) 1.9  61 23  
pthread-wmm/safe011_power.oepc_false-unreach-call.i false(unreach-call) 59    62 800  
pthread-wmm/safe011_power.opt_false-unreach-call.i false(unreach-call) 130    94 1500  
pthread-wmm/safe011_pso.oepc_false-unreach-call.i false(unreach-call) 60    62 650  
pthread-wmm/safe011_pso.opt_false-unreach-call.i false(unreach-call) 130    94 1500  
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i false(unreach-call) 59    63 860  
pthread-wmm/safe011_rmo.opt_false-unreach-call.i false(unreach-call) 59    62 710  
pthread-wmm/safe012_power.oepc_false-unreach-call.i false(unreach-call) 16    55 240  
pthread-wmm/safe012_power.opt_false-unreach-call.i false(unreach-call) 97    450 1200  
pthread-wmm/safe012_pso.oepc_false-unreach-call.i false(unreach-call) 93    310 1300  
pthread-wmm/safe012_pso.opt_false-unreach-call.i false(unreach-call) 93    310 1200  
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i false(unreach-call) 16    53 210  
pthread-wmm/safe012_rmo.opt_false-unreach-call.i false(unreach-call) 93    320 1300  
pthread-wmm/safe013_power.oepc_false-unreach-call.i false(unreach-call) 95    310 1200  
pthread-wmm/safe013_power.opt_false-unreach-call.i false(unreach-call) 94    320 1300  
pthread-wmm/safe013_pso.oepc_false-unreach-call.i false(unreach-call) 95    320 1100  
pthread-wmm/safe013_pso.opt_false-unreach-call.i false(unreach-call) 95    310 1000  
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i false(unreach-call) 95    320 1300  
pthread-wmm/safe013_rmo.opt_false-unreach-call.i false(unreach-call) 95    310 1200  
pthread-wmm/safe014_power.oepc_false-unreach-call.i false(unreach-call) 27    55 350  
pthread-wmm/safe014_power.opt_false-unreach-call.i false(unreach-call) 33    360 420  
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i false(unreach-call) 27    53 330  
pthread-wmm/safe014_rmo.opt_false-unreach-call.i false(unreach-call) 300    1300 3700  
pthread-wmm/safe015_power.oepc_false-unreach-call.i false(unreach-call) 40    490 480  
pthread-wmm/safe015_power.opt_false-unreach-call.i false(unreach-call) 310    1400 4400  
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i false(unreach-call) 310    1400 3700  
pthread-wmm/safe015_rmo.opt_false-unreach-call.i false(unreach-call) 310    1400 3600  
pthread-wmm/safe016_power.oepc_false-unreach-call.i timeout 900    420 13000  
pthread-wmm/safe016_power.opt_false-unreach-call.i timeout 900    500 12000  
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i timeout 900    410 13000  
pthread-wmm/safe016_rmo.opt_false-unreach-call.i timeout 900    490 12000  
pthread-wmm/safe017_power.oepc_false-unreach-call.i false(unreach-call) 72    66 870  
pthread-wmm/safe017_power.opt_false-unreach-call.i false(unreach-call) 71    66 870  
pthread-wmm/safe017_pso.oepc_false-unreach-call.i false(unreach-call) 72    66 1000  
pthread-wmm/safe017_pso.opt_false-unreach-call.i false(unreach-call) 72    66 920  
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i false(unreach-call) 71    66 900  
pthread-wmm/safe017_rmo.opt_false-unreach-call.i false(unreach-call) 71    66 1100  
pthread-wmm/safe018_power.oepc_false-unreach-call.i false(unreach-call) 14    56 190  
pthread-wmm/safe018_power.opt_false-unreach-call.i false(unreach-call) 160    880 2300  
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i false(unreach-call) 14    53 180  
pthread-wmm/safe018_rmo.opt_false-unreach-call.i false(unreach-call) 170    800 2000  
pthread-wmm/safe019_power.oepc_false-unreach-call.i timeout 900    410 11000  
pthread-wmm/safe019_power.opt_false-unreach-call.i timeout 900    4900 10000  
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i timeout 900    400 12000  
pthread-wmm/safe019_rmo.opt_false-unreach-call.i timeout 900    480 12000  
pthread-wmm/safe020_power.oepc_false-unreach-call.i false(unreach-call) 170    900 2300  
pthread-wmm/safe020_power.opt_false-unreach-call.i false(unreach-call) 170    900 2300  
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i false(unreach-call) 170    820 2200  
pthread-wmm/safe020_rmo.opt_false-unreach-call.i false(unreach-call) 170    820 2600  
pthread-wmm/safe021_power.oepc_false-unreach-call.i false(unreach-call) 78    220 870  
pthread-wmm/safe021_power.opt_false-unreach-call.i false(unreach-call) 130    94 1600  
pthread-wmm/safe021_pso.oepc_false-unreach-call.i false(unreach-call) 78    210 1100  
pthread-wmm/safe021_pso.opt_false-unreach-call.i false(unreach-call) 130    94 1600  
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i false(unreach-call) 78    210 1100  
pthread-wmm/safe021_rmo.opt_false-unreach-call.i false(unreach-call) 79    210 910  
pthread-wmm/safe022_power.oepc_false-unreach-call.i false(unreach-call) 2.2  56 27  
pthread-wmm/safe022_power.opt_false-unreach-call.i false(unreach-call) 2.1  56 28  
pthread-wmm/safe022_pso.oepc_false-unreach-call.i false(unreach-call) 2.2  56 31  
pthread-wmm/safe022_pso.opt_false-unreach-call.i false(unreach-call) 2.2  57 27  
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2  56 21  
pthread-wmm/safe022_rmo.opt_false-unreach-call.i false(unreach-call) 2.2  56 27  
pthread-wmm/safe023_power.oepc_false-unreach-call.i false(unreach-call) 690    4100 8600  
pthread-wmm/safe023_power.opt_false-unreach-call.i false(unreach-call) 690    4000 7500  
pthread-wmm/safe023_pso.oepc_false-unreach-call.i false(unreach-call) 690    4000 9200  
pthread-wmm/safe023_pso.opt_false-unreach-call.i false(unreach-call) 690    4000 8700  
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i false(unreach-call) 690    4000 9700  
pthread-wmm/safe023_rmo.opt_false-unreach-call.i false(unreach-call) 690    4100 8100  
pthread-wmm/safe024_power.oepc_false-unreach-call.i false(unreach-call) 96    310 1100  
pthread-wmm/safe024_power.opt_false-unreach-call.i false(unreach-call) 95    320 1200  
pthread-wmm/safe024_pso.oepc_false-unreach-call.i false(unreach-call) 95    320 1200  
pthread-wmm/safe024_pso.opt_false-unreach-call.i false(unreach-call) 96    310 1400  
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i false(unreach-call) 95    320 1100  
pthread-wmm/safe024_rmo.opt_false-unreach-call.i false(unreach-call) 95    320 1100  
pthread-wmm/safe025_power.oepc_false-unreach-call.i false(unreach-call) 41    490 530  
pthread-wmm/safe025_power.opt_false-unreach-call.i false(unreach-call) 41    490 450  
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i false(unreach-call) 310    1400 3900  
pthread-wmm/safe025_rmo.opt_false-unreach-call.i false(unreach-call) 310    1400 3300  
pthread-wmm/safe026_power.oepc_false-unreach-call.i false(unreach-call) 93    220 1100  
pthread-wmm/safe026_power.opt_false-unreach-call.i false(unreach-call) 93    220 1200  
pthread-wmm/safe026_pso.oepc_false-unreach-call.i false(unreach-call) 93    220 1200  
pthread-wmm/safe026_pso.opt_false-unreach-call.i false(unreach-call) 94    220 1100  
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i false(unreach-call) 93    220 1000  
pthread-wmm/safe026_rmo.opt_false-unreach-call.i false(unreach-call) 93    220 1400  
pthread-wmm/safe027_power.oepc_false-unreach-call.i false(unreach-call) 590    300 6900  
pthread-wmm/safe027_power.opt_false-unreach-call.i timeout 900    4900 11000  
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i false(unreach-call) 580    280 7100  
pthread-wmm/safe027_rmo.opt_false-unreach-call.i false(unreach-call) 580    280 6900  
pthread-wmm/safe028_power.oepc_false-unreach-call.i false(unreach-call) 170    900 2100  
pthread-wmm/safe028_power.opt_false-unreach-call.i false(unreach-call) 170    890 2100  
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i false(unreach-call) 170    820 2700  
pthread-wmm/safe028_rmo.opt_false-unreach-call.i false(unreach-call) 170    820 2200  
pthread-wmm/safe029_power.oepc_false-unreach-call.i false(unreach-call) 1.9  61 23  
pthread-wmm/safe029_power.opt_false-unreach-call.i false(unreach-call) 3.1  62 38  
pthread-wmm/safe029_pso.oepc_false-unreach-call.i false(unreach-call) 1.9  60 27  
pthread-wmm/safe029_pso.opt_false-unreach-call.i false(unreach-call) 3.1  61 35  
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9  61 24  
pthread-wmm/safe029_rmo.opt_false-unreach-call.i false(unreach-call) 3.1  62 40  
pthread-wmm/safe030_power.oepc_false-unreach-call.i false(unreach-call) 58    62 690  
pthread-wmm/safe030_power.opt_false-unreach-call.i false(unreach-call) 58    62 720  
pthread-wmm/safe030_pso.oepc_false-unreach-call.i false(unreach-call) 59    62 700  
pthread-wmm/safe030_pso.opt_false-unreach-call.i false(unreach-call) 59    62 690  
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i false(unreach-call) 59    63 740  
pthread-wmm/safe030_rmo.opt_false-unreach-call.i false(unreach-call) 59    62 810  
pthread-wmm/safe031_power.oepc_false-unreach-call.i false(unreach-call) 94    320 1100  
pthread-wmm/safe031_power.opt_false-unreach-call.i false(unreach-call) 62    62 760  
pthread-wmm/safe031_pso.oepc_false-unreach-call.i false(unreach-call) 94    310 1300  
pthread-wmm/safe031_pso.opt_false-unreach-call.i false(unreach-call) 63    62 790  
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i false(unreach-call) 94    310 1200  
pthread-wmm/safe031_rmo.opt_false-unreach-call.i false(unreach-call) 63    63 770  
pthread-wmm/safe032_power.oepc_false-unreach-call.i false(unreach-call) 380    1700 4700  
pthread-wmm/safe032_power.opt_false-unreach-call.i false(unreach-call) 380    1700 4900  
pthread-wmm/safe032_pso.oepc_false-unreach-call.i false(unreach-call) 380    1700 4700  
pthread-wmm/safe032_pso.opt_false-unreach-call.i false(unreach-call) 380    1700 5100  
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i false(unreach-call) 380    1700 4600  
pthread-wmm/safe032_rmo.opt_false-unreach-call.i false(unreach-call) 380    1700 4400  
pthread-wmm/safe033_power.oepc_false-unreach-call.i false(unreach-call) 2.5  53 31  
pthread-wmm/safe033_power.opt_false-unreach-call.i false(unreach-call) 2.5  53 31  
pthread-wmm/safe033_pso.oepc_false-unreach-call.i false(unreach-call) 2.5  53 37  
pthread-wmm/safe033_pso.opt_false-unreach-call.i false(unreach-call) 2.5  53 31  
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i false(unreach-call) 2.5  53 31  
pthread-wmm/safe033_rmo.opt_false-unreach-call.i false(unreach-call) 2.5  53 32  
pthread-wmm/safe034_power.oepc_false-unreach-call.i false(unreach-call) 53    270 650  
pthread-wmm/safe034_power.opt_false-unreach-call.i false(unreach-call) 53    270 700  
pthread-wmm/safe034_pso.oepc_false-unreach-call.i false(unreach-call) 53    270 700  
pthread-wmm/safe034_pso.opt_false-unreach-call.i false(unreach-call) 53    270 600  
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i false(unreach-call) 53    270 720  
pthread-wmm/safe034_rmo.opt_false-unreach-call.i false(unreach-call) 53    270 570  
pthread-wmm/thin000_power.oepc_false-unreach-call.i false(unreach-call) 1.4  55 18  
pthread-wmm/thin000_power.opt_false-unreach-call.i false(unreach-call) 4.1  60 54  
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i false(unreach-call) 1.3  53 17  
pthread-wmm/thin000_rmo.opt_false-unreach-call.i false(unreach-call) 1.3  53 18  
pthread-wmm/thin001_power.oepc_false-unreach-call.i false(unreach-call) 16    56 210  
pthread-wmm/thin001_power.opt_false-unreach-call.i false(unreach-call) 97    440 1300  
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i false(unreach-call) 16    53 210  
pthread-wmm/thin001_rmo.opt_false-unreach-call.i false(unreach-call) 16    53 190  
pthread-wmm/thin002_power.oepc_false-unreach-call.i false(unreach-call) 370    190 5000  
pthread-wmm/thin002_power.opt_false-unreach-call.i timeout 900    5600 12000  
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i false(unreach-call) 370    180 4400  
pthread-wmm/thin002_rmo.opt_false-unreach-call.i false(unreach-call) 370    180 5600  
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i true 110    490 1400  
pthread-wmm/rfi000_tso.opt_true-unreach-call.i true 110    490 1300  
pthread-wmm/rfi002_power.oepc_true-unreach-call.i true 190    270 2400  
pthread-wmm/rfi002_power.opt_true-unreach-call.i true 190    270 2300  
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i true 190    270 2300  
pthread-wmm/rfi002_pso.opt_true-unreach-call.i true 180    270 2400  
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i true 190    270 2100  
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i true 190    270 2200  
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i true 270    420 3200  
pthread-wmm/rfi002_tso.opt_true-unreach-call.i true 270    420 3200  
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i true 200    630 2700  
pthread-wmm/rfi003_tso.opt_true-unreach-call.i true 200    630 2800  
pthread-wmm/safe000_pso.oepc_true-unreach-call.i true 690    140 8700  
pthread-wmm/safe000_pso.opt_true-unreach-call.i true 690    140 9200  
pthread-wmm/safe000_tso.oepc_true-unreach-call.i true 690    140 10000  
pthread-wmm/safe000_tso.opt_true-unreach-call.i true 690    140 9800  
pthread-wmm/safe001_tso.oepc_true-unreach-call.i true 690    140 9200  
pthread-wmm/safe001_tso.opt_true-unreach-call.i true 690    140 9000  
pthread-wmm/safe002_tso.oepc_true-unreach-call.i true 700    140 8300  
pthread-wmm/safe002_tso.opt_true-unreach-call.i true 690    140 8600  
pthread-wmm/safe003_tso.oepc_true-unreach-call.i timeout 900    180 13000  
pthread-wmm/safe003_tso.opt_true-unreach-call.i timeout 900    180 13000  
pthread-wmm/safe004_tso.oepc_true-unreach-call.i true 890    180 10000  
pthread-wmm/safe004_tso.opt_true-unreach-call.i true 900    180 12000  
pthread-wmm/safe005_tso.oepc_true-unreach-call.i timeout 900    190 14000  
pthread-wmm/safe005_tso.opt_true-unreach-call.i unknown 900    190 10000  
pthread-wmm/safe006_pso.oepc_true-unreach-call.i true 12    50 170  
pthread-wmm/safe006_pso.opt_true-unreach-call.i true 12    50 160  
pthread-wmm/safe006_tso.oepc_true-unreach-call.i true 12    50 150  
pthread-wmm/safe006_tso.opt_true-unreach-call.i true 12    50 170  
pthread-wmm/safe007_pso.oepc_true-unreach-call.i true 460    100 5400  
pthread-wmm/safe007_pso.opt_true-unreach-call.i true 460    100 6600  
pthread-wmm/safe007_tso.oepc_true-unreach-call.i true 460    100 6700  
pthread-wmm/safe007_tso.opt_true-unreach-call.i true 460    100 6400  
pthread-wmm/safe008_tso.oepc_true-unreach-call.i true 450    100 5800  
pthread-wmm/safe008_tso.opt_true-unreach-call.i true 450    100 6400  
pthread-wmm/safe009_pso.oepc_true-unreach-call.i true 530    120 7300  
pthread-wmm/safe009_pso.opt_true-unreach-call.i true 530    120 6600  
pthread-wmm/safe009_tso.oepc_true-unreach-call.i true 530    120 6400  
pthread-wmm/safe009_tso.opt_true-unreach-call.i true 530    120 8200  
pthread-wmm/safe010_tso.oepc_true-unreach-call.i true 12    51 180  
pthread-wmm/safe010_tso.opt_true-unreach-call.i true 12    51 150  
pthread-wmm/safe011_tso.oepc_true-unreach-call.i true 450    100 5600  
pthread-wmm/safe011_tso.opt_true-unreach-call.i true 450    100 5600  
pthread-wmm/safe012_tso.oepc_true-unreach-call.i true 460    100 6200  
pthread-wmm/safe012_tso.opt_true-unreach-call.i true 460    100 5700  
pthread-wmm/safe013_tso.oepc_true-unreach-call.i true 480    100 5700  
pthread-wmm/safe013_tso.opt_true-unreach-call.i true 480    100 6500  
pthread-wmm/safe014_pso.oepc_true-unreach-call.i true 760    140 12000  
pthread-wmm/safe014_pso.opt_true-unreach-call.i true 760    140 10000  
pthread-wmm/safe014_tso.oepc_true-unreach-call.i true 760    140 9900  
pthread-wmm/safe014_tso.opt_true-unreach-call.i true 760    140 10000  
pthread-wmm/safe015_pso.oepc_true-unreach-call.i true 800    160 11000  
pthread-wmm/safe015_pso.opt_true-unreach-call.i true 800    160 12000  
pthread-wmm/safe015_tso.oepc_true-unreach-call.i true 800    160 11000  
pthread-wmm/safe015_tso.opt_true-unreach-call.i true 800    160 10000  
pthread-wmm/safe016_pso.oepc_true-unreach-call.i timeout 900    530 12000  
pthread-wmm/safe016_pso.opt_true-unreach-call.i timeout 900    530 12000  
pthread-wmm/safe016_tso.oepc_true-unreach-call.i timeout 900    530 11000  
pthread-wmm/safe016_tso.opt_true-unreach-call.i timeout 900    530 10000  
pthread-wmm/safe017_tso.oepc_true-unreach-call.i true 510    110 6500  
pthread-wmm/safe017_tso.opt_true-unreach-call.i true 510    110 6600  
pthread-wmm/safe018_pso.oepc_true-unreach-call.i true 440    100 5300  
pthread-wmm/safe018_pso.opt_true-unreach-call.i true 450    100 6400  
pthread-wmm/safe018_tso.oepc_true-unreach-call.i true 440    100 5600  
pthread-wmm/safe018_tso.opt_true-unreach-call.i true 450    100 6300  
pthread-wmm/safe019_pso.oepc_true-unreach-call.i timeout 900    470 11000  
pthread-wmm/safe019_pso.opt_true-unreach-call.i timeout 900    470 11000  
pthread-wmm/safe019_tso.oepc_true-unreach-call.i timeout 900    470 11000  
pthread-wmm/safe019_tso.opt_true-unreach-call.i timeout 900    470 13000  
pthread-wmm/safe020_pso.oepc_true-unreach-call.i true 470    100 5400  
pthread-wmm/safe020_pso.opt_true-unreach-call.i true 470    100 5400  
pthread-wmm/safe020_tso.oepc_true-unreach-call.i true 470    110 5600  
pthread-wmm/safe020_tso.opt_true-unreach-call.i true 470    100 5700  
pthread-wmm/safe021_tso.oepc_true-unreach-call.i true 450    100 5600  
pthread-wmm/safe021_tso.opt_true-unreach-call.i true 450    100 5800  
pthread-wmm/safe022_tso.oepc_true-unreach-call.i true 12    51 160  
pthread-wmm/safe022_tso.opt_true-unreach-call.i true 12    51 180  
pthread-wmm/safe023_tso.oepc_true-unreach-call.i true 890    170 12000  
pthread-wmm/safe023_tso.opt_true-unreach-call.i true 890    170 10000  
pthread-wmm/safe024_tso.oepc_true-unreach-call.i true 490    100 6500  
pthread-wmm/safe024_tso.opt_true-unreach-call.i true 490    100 6800  
pthread-wmm/safe025_pso.oepc_true-unreach-call.i true 800    160 11000  
pthread-wmm/safe025_pso.opt_true-unreach-call.i true 800    160 9600  
pthread-wmm/safe025_tso.oepc_true-unreach-call.i true 800    160 12000  
pthread-wmm/safe025_tso.opt_true-unreach-call.i true 800    160 11000  
pthread-wmm/safe026_tso.oepc_true-unreach-call.i true 520    110 7900  
pthread-wmm/safe026_tso.opt_true-unreach-call.i true 520    110 7300  
pthread-wmm/safe027_pso.oepc_true-unreach-call.i timeout 900    370 11000  
pthread-wmm/safe027_pso.opt_true-unreach-call.i timeout 900    370 13000  
pthread-wmm/safe027_tso.oepc_true-unreach-call.i timeout 900    370 11000  
pthread-wmm/safe027_tso.opt_true-unreach-call.i timeout 900    370 11000  
pthread-wmm/safe028_pso.oepc_true-unreach-call.i true 470    100 5600  
pthread-wmm/safe028_pso.opt_true-unreach-call.i true 470    100 6100  
pthread-wmm/safe028_tso.oepc_true-unreach-call.i true 470    100 6100  
pthread-wmm/safe028_tso.opt_true-unreach-call.i true 470    100 7100  
pthread-wmm/safe029_tso.oepc_true-unreach-call.i true 12    51 170  
pthread-wmm/safe029_tso.opt_true-unreach-call.i true 12    51 150  
pthread-wmm/safe030_tso.oepc_true-unreach-call.i true 450    100 6400  
pthread-wmm/safe030_tso.opt_true-unreach-call.i true 450    100 7000  
pthread-wmm/safe031_tso.oepc_true-unreach-call.i true 480    100 5800  
pthread-wmm/safe031_tso.opt_true-unreach-call.i true 480    100 5800  
pthread-wmm/safe032_tso.oepc_true-unreach-call.i true 840    160 12000  
pthread-wmm/safe032_tso.opt_true-unreach-call.i true 840    160 13000  
pthread-wmm/safe033_tso.oepc_true-unreach-call.i true 13    50 150  
pthread-wmm/safe033_tso.opt_true-unreach-call.i true 13    50 180  
pthread-wmm/safe034_tso.oepc_true-unreach-call.i true 500    110 6900  
pthread-wmm/safe034_tso.opt_true-unreach-call.i true 500    110 5800  
pthread-wmm/safe035_power.oepc_true-unreach-call.i timeout 900    1400 10000  
pthread-wmm/safe035_power.opt_true-unreach-call.i timeout 900    1400 13000  
pthread-wmm/safe035_pso.oepc_true-unreach-call.i timeout 900    170 11000  
pthread-wmm/safe035_pso.opt_true-unreach-call.i timeout 900    170 11000  
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i timeout 900    170 11000  
pthread-wmm/safe035_rmo.opt_true-unreach-call.i timeout 900    170 11000  
pthread-wmm/safe035_tso.oepc_true-unreach-call.i timeout 900    170 11000  
pthread-wmm/safe035_tso.opt_true-unreach-call.i timeout 900    170 13000  
pthread-wmm/safe036_power.oepc_true-unreach-call.i true 14    50 220  
pthread-wmm/safe036_power.opt_true-unreach-call.i true 14    50 200  
pthread-wmm/safe036_pso.oepc_true-unreach-call.i true 14    50 170  
pthread-wmm/safe036_pso.opt_true-unreach-call.i true 14    50 160  
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i true 14    50 180  
pthread-wmm/safe036_rmo.opt_true-unreach-call.i true 14    50 180  
pthread-wmm/safe036_tso.oepc_true-unreach-call.i true 14    50 210  
pthread-wmm/safe036_tso.opt_true-unreach-call.i true 14    50 170  
pthread-wmm/safe037_power.oepc_true-unreach-call.i true 540    110 6500  
pthread-wmm/safe037_power.opt_true-unreach-call.i true 540    110 7800  
pthread-wmm/safe037_pso.oepc_true-unreach-call.i true 540    110 6900  
pthread-wmm/safe037_pso.opt_true-unreach-call.i true 540    110 7700  
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i true 540    110 7200  
pthread-wmm/safe037_rmo.opt_true-unreach-call.i true 540    110 7500  
pthread-wmm/safe037_tso.oepc_true-unreach-call.i true 540    110 6400  
pthread-wmm/safe037_tso.opt_true-unreach-call.i true 540    110 6600  
pthread-wmm/thin000_pso.oepc_true-unreach-call.i true 12    50 140  
pthread-wmm/thin000_pso.opt_true-unreach-call.i true 12    50 150  
pthread-wmm/thin000_tso.oepc_true-unreach-call.i true 12    50 170  
pthread-wmm/thin000_tso.opt_true-unreach-call.i true 12    50 170  
pthread-wmm/thin001_pso.oepc_true-unreach-call.i true 460    100 5100  
pthread-wmm/thin001_pso.opt_true-unreach-call.i true 460    100 6000  
pthread-wmm/thin001_tso.oepc_true-unreach-call.i true 460    100 6700  
pthread-wmm/thin001_tso.opt_true-unreach-call.i true 460    100 5900  
pthread-wmm/thin002_pso.oepc_true-unreach-call.i timeout 900    370 11000  
pthread-wmm/thin002_pso.opt_true-unreach-call.i timeout 900    370 12000  
pthread-wmm/thin002_tso.oepc_true-unreach-call.i timeout 900    370 11000  
pthread-wmm/thin002_tso.opt_true-unreach-call.i timeout 900    360 12000  
pthread-lit/fkp2013_false-unreach-call.i timeout 900    520 14000  
pthread-lit/fkp2013_variant_false-unreach-call.i false(unreach-call) .78 78 10  
pthread-lit/qw2004_false-unreach-call.i false(unreach-call) .57 49 6.4
pthread-lit/fk2012_true-unreach-call.i true 440    15000 5300  
pthread-lit/fkp2013_true-unreach-call.i timeout 900    520 13000  
pthread-lit/fkp2013_variant_true-unreach-call.i false(unreach-call) 1.9  79 22  
pthread-lit/fkp2014_true-unreach-call.i timeout 900    550 11000  
pthread-lit/qw2004_true-unreach-call.i true 2.0  49 23  
pthread-lit/qw2004_variant_true-unreach-call.i timeout 900    480 12000  
pthread-lit/sssc12_true-unreach-call.i true 670    15000 8200  
pthread-lit/sssc12_variant_true-unreach-call.i true 630    15000 9000  
ldv-races/race-1_1-join_true-unreach-call.i unknown 2.1  50 27  
ldv-races/race-2_1-container_of_true-unreach-call.i false(unreach-call) 7.1  490 56  
ldv-races/race-3_1-container_of-global_true-unreach-call.i false(unreach-call) 7.1  490 52  
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i unknown 900    5500 9900  
ldv-races/race-1_2-join_false-unreach-call.i unknown 2.1  50 25  
ldv-races/race-1_3-join_false-unreach-call.i unknown 2.1  50 24  
ldv-races/race-2_2-container_of_false-unreach-call.i true 80    1500 920  
ldv-races/race-2_3-container_of_false-unreach-call.i witness invalid (false(unreach-call)) 6.0  490 56  
ldv-races/race-2_4-container_of_false-unreach-call.i witness invalid (false(unreach-call)) 5.4  490 46  
ldv-races/race-2_5-container_of_false-unreach-call.i witness invalid (false(unreach-call)) 8.9  500 100  
ldv-races/race-3_2-container_of-global_false-unreach-call.i witness invalid (false(unreach-call)) 7.4  490 64  
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i unknown 900    6200 11000  
pthread-complex/bounded_buffer_false-unreach-call.i true 460    15000 5300  
pthread-complex/elimination_backoff_stack_false-unreach-call.i unknown 890    2400 9800  
pthread-complex/safestack_relacy_false-unreach-call.i unknown 900    15000 10000  
pthread-complex/workstealqueue_mutex_false-unreach-call.i unknown 900    1100 12000  
pthread-complex/workstealqueue_mutex_true-unreach-call.i unknown 900    1100 11000  
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i true 66    230 830  
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i unknown 900    2000 13000  
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i unknown 900    2000 9900  
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i unknown 900    1700 11000  
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i unknown 900    1700 10000  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i true 430    1800 5400  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i true 350    1600 4400  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i true 150    610 1800  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i true 120    140 1300  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i true 460    1600 5900  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i true 100    580 1500  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i true 320    1300 4600  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i true 170    880 2000  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i true 61    290 750  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i true 47    360 530  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i true 39    230 470  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i true 250    1500 3400  
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i unknown 900    3000 9000  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i false(unreach-call) 17    720 240  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i false(unreach-call) 26    1500 320  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i false(unreach-call) 13    670 160  
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i true 220    15000 2900  
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i true 6.2  490 80  
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i unknown 900    4600 8700  
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i timeout 900    640 10000  
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 1047 400000 1400000 5100000
    correct results 157 59000 220000 770000
        correct true 157 59000 220000 770000
        correct false 0
    correct-unconfimed results 533 43000 160000 540000
        correct-unconfirmed true 0
        correct-unconfirmed false 533 43000 160000 540000
    incorrect results 11 2000 61000 24000
        incorrect true 8 2000 60000 24000
        incorrect false 3 16 1100 130
Run set sv-comp18