Tool Lazy-CSeq 1.0-svcomp17
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-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-01-13 10:55:30 CET
Run set sv-comp17
Options --witness error-witness.graphml
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu wall energy mem validator uautomizer violation t<90s status cpu wall energy mem validator cpachecker correctness t<900s status cpu wall energy mem validator uautomizer correctness t<900s status cpu wall energy mem
pthread/bigshot_p_false-unreach-call.i false(unreach-call) 1 wit inspect .67 .68 7.6 51 .012  0    - - - -
pthread/fib_bench_false-unreach-call.i false(unreach-call) 1 wit inspect 2.8  2.9  34   65 .23   .25 - - - -
pthread/fib_bench_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 2.7  2.7  33   68 .25   .32 - - - -
pthread/fib_bench_longest_false-unreach-call.i false(unreach-call) 1 wit inspect 13    13    160   90 .28   0    - - - -
pthread/lazy01_false-unreach-call.i false(unreach-call) 1 wit inspect .66 .69 8.4 51 .0041 0    - - - -
pthread/queue_false-unreach-call.i false(unreach-call) 1 wit inspect 11    12    130   300 .0041 0    - - - -
pthread/queue_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 120    120    1500   9400 .12   0    - - - -
pthread/queue_longest_false-unreach-call.i out of memory 0 wit inspect 120    120    1300   15000 .0041 0    - - - -
pthread/reorder_2_false-unreach-call.i false(unreach-call) 1 wit inspect 2.2  2.2  30   60 .12   0    - - - -
pthread/reorder_5_false-unreach-call.i false(unreach-call) 1 wit inspect 5.7  5.7  76   120 .35   0    - - - -
pthread/sigma_false-unreach-call.i false(unreach-call) 1 wit inspect 6.6  6.7  91   220 .33   0    - - - -
pthread/singleton_false-unreach-call.i false(unreach-call) 1 wit inspect 3.4  3.5  39   69 .35   0    - - - -
pthread/stack_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  1.4  15   74 .0041 .32 - - - -
pthread/stack_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 140    140    1700   3900 .11   0    - - - -
pthread/stack_longest_false-unreach-call.i false(unreach-call) 1 wit inspect 190    190    2500   7400 .11   0    - - - -
pthread/stateful01_false-unreach-call.i false(unreach-call) 1 wit inspect .66 .69 8.2 51 .0041 0    - - - -
pthread/twostage_3_false-unreach-call.i false(unreach-call) 1 wit inspect 2.7  2.7  33   66 .16   0    - - - -
pthread/bigshot_s2_true-unreach-call.i true 2 wit inspect 3.6  3.7  44   65 .24   0    - - - -
pthread/bigshot_s_true-unreach-call.i true 2 wit inspect 3.6  3.7  41   67 .24   0    - - - -
pthread/fib_bench_longer_true-unreach-call.i true 2 wit inspect 4.3  4.4  61   68 .22   0    - - - -
pthread/fib_bench_longest_true-unreach-call.i true 2 wit inspect 17    17    200   110 .23   0    - - - -
pthread/fib_bench_true-unreach-call.i true 2 wit inspect 3.5  3.6  41   65 .22   0    - - - -
pthread/indexer_true-unreach-call.i true 2 wit inspect 320    320    3800   3300 1.2    0    - - - -
pthread/queue_ok_longer_true-unreach-call.i true 2 wit inspect 250    250    3400   6200 .51   0    - - - -
pthread/queue_ok_longest_true-unreach-call.i true 2 wit inspect 300    300    3300   11000 .51   0    - - - -
pthread/queue_ok_true-unreach-call.i true 2 wit inspect 96    96    1000   650 .51   .24 - - - -
pthread/singleton_with-uninit-problems_true-unreach-call.i true 2 wit inspect 4.3  4.4  51   68 .32   0    - - - -
pthread/stack_longer_true-unreach-call.i true 2 wit inspect 290    290    3200   4600 .59   0    - - - -
pthread/stack_longest_true-unreach-call.i true 2 wit inspect 520    520    7400   8700 .59   0    - - - -
pthread/stack_true-unreach-call.i true 2 wit inspect 38    38    330   270 .39   0    - - - -
pthread/stateful01_true-unreach-call.i true 2 wit inspect 3.4  3.5  47   63 .21   .29 - - - -
pthread/sync01_true-unreach-call.i true 2 wit inspect 4.1  4.1  51   67 .23   0    - - - -
pthread-atomic/qrcu_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   64 .0041 0    - - - -
pthread-atomic/read_write_lock_false-unreach-call.i false(unreach-call) 1 wit inspect .70 .71 8.7 52 .0041 0    - - - -
pthread-atomic/dekker_true-unreach-call.i true 2 wit inspect 3.9  4.0  53   58 .23   0    - - - -
pthread-atomic/gcd_true-unreach-call_true-termination.i true 2 wit inspect 480    480    5500   340 .23   0    - - - -
pthread-atomic/lamport_true-unreach-call.i true 2 wit inspect 5.5  5.6  67   62 .27   0    - - - -
pthread-atomic/peterson_true-unreach-call.i true 2 wit inspect 3.2  3.3  40   58 .21   0    - - - -
pthread-atomic/qrcu_true-unreach-call.i true 2 wit inspect 20    20    230   120 .34   0    - - - -
pthread-atomic/read_write_lock_true-unreach-call.i true 2 wit inspect 4.0  4.1  49   64 .25   0    - - - -
pthread-atomic/scull_true-unreach-call.i true 2 wit inspect 23    23    280   190 .42   0    - - - -
pthread-atomic/szymanski_true-unreach-call.i true 2 wit inspect 3.6  3.8  44   58 .22   0    - - - -
pthread-atomic/time_var_mutex_true-unreach-call.i true 2 wit inspect 3.8  3.9  45   62 .22   0    - - - -
pthread-ext/25_stack_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  1.6  18   180 .0041 0    - - - -
pthread-ext/25_stack_longest_false-unreach-call.i false(unreach-call) 1 wit inspect 3.1  3.1  33   460 .0041 0    - - - -
pthread-ext/26_stack_cas_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  1.6  19   180 .0041 .32 - - - -
pthread-ext/26_stack_cas_longest_false-unreach-call.i false(unreach-call) 1 wit inspect 3.1  3.1  31   450 .0041 0    - - - -
pthread-ext/27_Boop_simple_vf_false-unreach-call.i false(unreach-call) 1 wit inspect .71 .72 9.7 54 .0041 0    - - - -
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i false(unreach-call) 1 wit inspect .64 .68 8.7 51 .0041 0    - - - -
pthread-ext/32_pthread5_vs_false-unreach-call.i false(unreach-call) 1 wit inspect .72 .74 8.4 51 .0041 0    - - - -
pthread-ext/40_barrier_vf_false-unreach-call.i false(unreach-call) 1 wit inspect 1.8  1.9  22   51 .13   0    - - - -
pthread-ext/01_inc_true-unreach-call.i true 2 wit inspect 3.1  3.2  38   53 .21   0    - - - -
pthread-ext/02_inc_cas_true-unreach-call.i true 2 wit inspect 4.0  4.2  54   58 .28   0    - - - -
pthread-ext/03_incdec_true-unreach-call.i true 2 wit inspect 4.2  4.3  49   62 .26   0    - - - -
pthread-ext/04_incdec_cas_true-unreach-call.i true 2 wit inspect 7.2  7.2  96   75 .36   0    - - - -
pthread-ext/05_tas_true-unreach-call.i true 2 wit inspect 3.9  4.0  58   64 .33   0    - - - -
pthread-ext/06_ticket_true-unreach-call.i true 2 wit inspect 3.4  3.5  40   59 .25   0    - - - -
pthread-ext/07_rand_true-unreach-call.i true 2 wit inspect 4.3  4.4  54   65 .31   0    - - - -
pthread-ext/08_rand_cas_true-unreach-call.i true 2 wit inspect 5.5  5.6  65   71 .41   0    - - - -
pthread-ext/09_fmaxsym_true-unreach-call.i true 2 wit inspect 5.4  5.4  62   85 .37   0    - - - -
pthread-ext/10_fmaxsym_cas_true-unreach-call.i true 2 wit inspect 6.0  6.1  86   96 .72   0    - - - -
pthread-ext/11_fmaxsymopt_true-unreach-call.i true 2 wit inspect 4.5  4.6  69   76 .36   0    - - - -
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i true 2 wit inspect 5.1  5.2  71   81 .39   0    - - - -
pthread-ext/13_unverif_true-unreach-call.i true 2 wit inspect 2.9  3.1  37   55 .20   0    - - - -
pthread-ext/14_spin2003_true-unreach-call.i true 2 wit inspect 2.8  2.9  35   52 .20   0    - - - -
pthread-ext/15_dekker_true-unreach-call.i true 2 wit inspect 3.7  3.8  46   56 .22   0    - - - -
pthread-ext/16_peterson_true-unreach-call.i true 2 wit inspect 3.3  3.5  43   55 .22   0    - - - -
pthread-ext/17_szymanski_true-unreach-call.i true 2 wit inspect 3.7  3.8  51   57 .23   0    - - - -
pthread-ext/18_read_write_lock_true-unreach-call.i true 2 wit inspect 2.9  3.0  40   56 .19   0    - - - -
pthread-ext/19_time_var_mutex_true-unreach-call.i true 2 wit inspect 3.3  3.5  43   55 .21   0    - - - -
pthread-ext/20_lamport_true-unreach-call.i true 2 wit inspect 5.3  5.4  64   61 .25   0    - - - -
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i true 2 wit inspect 3.2  3.4  39   57 .21   0    - - - -
pthread-ext/25_stack_longer_true-unreach-call.i true 2 wit inspect 21    21    300   1200 .34   0    - - - -
pthread-ext/25_stack_longest_true-unreach-call.i true 2 wit inspect 54    54    530   3200 .34   0    - - - -
pthread-ext/25_stack_true-unreach-call.i true 2 wit inspect 7.6  7.8  110   160 .34   0    - - - -
pthread-ext/26_stack_cas_longer_true-unreach-call.i true 2 wit inspect 28    28    290   1300 .40   0    - - - -
pthread-ext/26_stack_cas_longest_true-unreach-call.i true 2 wit inspect 71    72    790   3600 .40   0    - - - -
pthread-ext/26_stack_cas_true-unreach-call.i true 2 wit inspect 9.5  9.6  110   180 .40   0    - - - -
pthread-ext/29_conditionals_vs_true-unreach-call.i true 2 wit inspect 3.0  3.2  33   55 .21   0    - - - -
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i true 2 wit inspect 3.3  3.5  42   57 .23   0    - - - -
pthread-ext/31_simple_loop5_vs_true-unreach-call.i true 2 wit inspect 3.2  3.3  40   56 .23   0    - - - -
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i true 2 wit inspect 3.7  3.9  57   60 .25   0    - - - -
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i true 2 wit inspect 3.7  3.9  48   61 .25   0    - - - -
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i true 2 wit inspect 3.4  3.6  42   58 .23   0    - - - -
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i true 2 wit inspect 5.4  5.6  74   150 .30   .24 - - - -
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i true 2 wit inspect 5.0  5.1  62   120 .26   0    - - - -
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i true 2 wit inspect 4.0  4.1  46   63 .32   0    - - - -
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i true 2 wit inspect 3.3  3.4  40   56 .24   0    - - - -
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i true 2 wit inspect 23    23    290   79 .55   .32 - - - -
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i true 2 wit inspect 20    20    240   83 .58   0    - - - -
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i true 2 wit inspect 150    150    2100   180 1.4    .32 - - - -
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i true 2 wit inspect 97    98    1200   130 .71   0    - - - -
pthread-ext/45_monabsex1_vs_true-unreach-call.i true 2 wit inspect 2.7  2.7  40   53 .20   .32 - - - -
pthread-ext/46_monabsex2_vs_true-unreach-call.i true 2 wit inspect 2.7  2.7  30   52 .20   0    - - - -
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i true 2 wit inspect 4.7  4.8  55   61 .36   0    - - - -
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i true 2 wit inspect 3.7  3.8  49   60 .26   .32 - - - -
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   57 .0041 0    - - - -
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   56 .0041 0    - - - -
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  17   57 .0041 0    - - - -
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   56 .0041 0    - - - -
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   56 .0041 0    - - - -
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  11   56 .0041 0    - - - -
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   57 .0041 0    - - - -
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   60 .0041 0    - - - -
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   59 .0041 0    - - - -
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   60 .0041 0    - - - -
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   60 .0041 0    - - - -
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  18   60 .0041 0    - - - -
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   59 .0041 0    - - - -
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   58 .0041 0    - - - -
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   58 .0041 0    - - - -
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   59 .0041 0    - - - -
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   60 .0041 .45 - - - -
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   57 .0041 0    - - - -
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  12   58 .0041 0    - - - -
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  17   58 .0041 0    - - - -
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  12   58 .0041 0    - - - -
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  17   58 .0041 0    - - - -
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   59 .0041 0    - - - -
pthread-wmm/mix004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   59 .0041 0    - - - -
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   59 .0041 0    - - - -
pthread-wmm/mix004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix004_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix004_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  18   59 .0041 0    - - - -
pthread-wmm/mix005_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   61 .0041 0    - - - -
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   59 .0041 0    - - - -
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   60 .0041 0    - - - -
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  15   57 .0041 0    - - - -
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   57 .0041 0    - - - -
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  1.6  20   65 .0041 0    - - - -
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  14   60 .0041 0    - - - -
pthread-wmm/mix007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix007_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix007_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix007_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   58 .0041 0    - - - -
pthread-wmm/mix007_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  18   59 .0041 0    - - - -
pthread-wmm/mix008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   59 .0041 0    - - - -
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   59 .0041 0    - - - -
pthread-wmm/mix008_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.7  1.7  23   66 .0041 0    - - - -
pthread-wmm/mix008_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .97 11   56 .0041 0    - - - -
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  12   56 .0041 0    - - - -
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  11   57 .0041 0    - - - -
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  12   56 .0041 0    - - - -
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  12   56 .0041 0    - - - -
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   56 .0041 0    - - - -
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  12   57 .0041 0    - - - -
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   56 .0041 0    - - - -
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   58 .0041 .32 - - - -
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   59 .0041 0    - - - -
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  16   58 .0041 0    - - - -
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  13   60 .0041 0    - - - -
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  15   58 .0041 0    - - - -
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .96 14   55 .0041 0    - - - -
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .96 12   55 .0041 0    - - - -
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .99 11   57 .0041 0    - - - -
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   56 .0041 0    - - - -
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .95 11   56 .0041 0    - - - -
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 12   55 .0041 0    - - - -
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .98 11   56 .0041 0    - - - -
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/mix013_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   61 .0041 0    - - - -
pthread-wmm/mix013_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix013_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix013_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  18   59 .0041 0    - - - -
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   59 .0041 0    - - - -
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix013_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  13   59 .0041 0    - - - -
pthread-wmm/mix013_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix014_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix014_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  18   59 .0041 0    - - - -
pthread-wmm/mix014_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   59 .0041 0    - - - -
pthread-wmm/mix014_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix014_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  1.6  24   65 .0041 0    - - - -
pthread-wmm/mix014_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   59 .0041 0    - - - -
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   58 .0041 0    - - - -
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  12   57 .0041 0    - - - -
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   56 .0041 0    - - - -
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   57 .0041 0    - - - -
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   57 .0041 0    - - - -
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   56 .0041 .32 - - - -
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   57 .0041 0    - - - -
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   60 .0041 0    - - - -
pthread-wmm/mix017_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   60 .0041 0    - - - -
pthread-wmm/mix017_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   59 .0041 0    - - - -
pthread-wmm/mix017_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  18   59 .0041 0    - - - -
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix017_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   58 .0041 0    - - - -
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix018_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix018_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix018_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   59 .0041 0    - - - -
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   59 .0041 0    - - - -
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   58 .0041 0    - - - -
pthread-wmm/mix018_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   61 .0041 0    - - - -
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   58 .0041 0    - - - -
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   57 .0041 0    - - - -
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   58 .0041 0    - - - -
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   56 .0041 0    - - - -
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   60 .0041 0    - - - -
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   56 .0041 0    - - - -
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   57 .0041 0    - - - -
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   58 .0041 0    - - - -
pthread-wmm/mix020_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   58 .0041 0    - - - -
pthread-wmm/mix020_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix020_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  16   58 .0041 0    - - - -
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 .24 - - - -
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix020_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 .32 - - - -
pthread-wmm/mix020_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix021_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix021_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   58 .0041 0    - - - -
pthread-wmm/mix021_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  18   59 .0041 0    - - - -
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix021_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix021_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .96 14   56 .0041 0    - - - -
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 1.0  12   56 .0041 0    - - - -
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .99 12   56 .0041 0    - - - -
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .99 11   56 .0041 0    - - - -
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .99 14   56 .0041 0    - - - -
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .98 12   56 .0041 0    - - - -
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   57 .0041 0    - - - -
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   56 .0041 0    - - - -
pthread-wmm/mix023_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   59 .0041 0    - - - -
pthread-wmm/mix023_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix023_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix023_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   61 .0041 0    - - - -
pthread-wmm/mix023_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix023_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.7  1.7  25   67 .0041 0    - - - -
pthread-wmm/mix023_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.7  1.7  19   67 .0041 0    - - - -
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  11   56 .0041 0    - - - -
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   60 .0041 0    - - - -
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   56 .0041 0    - - - -
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   62 .0041 0    - - - -
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 0    - - - -
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   59 .0041 0    - - - -
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 0    - - - -
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  12   56 .0041 0    - - - -
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  16   57 .0041 .33 - - - -
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  11   56 .0041 0    - - - -
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  12   56 .0041 0    - - - -
pthread-wmm/mix026_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  13   59 .0041 .24 - - - -
pthread-wmm/mix026_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   59 .0041 0    - - - -
pthread-wmm/mix026_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   63 .0041 0    - - - -
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   61 .0041 0    - - - -
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix026_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   59 .0041 0    - - - -
pthread-wmm/mix026_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix027_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   59 .0041 0    - - - -
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   59 .0041 .46 - - - -
pthread-wmm/mix027_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  17   59 .0041 0    - - - -
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   61 .0041 0    - - - -
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix027_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   59 .0041 0    - - - -
pthread-wmm/mix027_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   58 .0041 0    - - - -
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   57 .0041 0    - - - -
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   56 .0041 0    - - - -
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 0    - - - -
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   57 .0041 .32 - - - -
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  11   57 .0041 0    - - - -
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  17   58 .0041 0    - - - -
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix029_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix029_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   59 .0041 0    - - - -
pthread-wmm/mix029_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   58 .0041 0    - - - -
pthread-wmm/mix029_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   59 .0041 0    - - - -
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   59 .0041 0    - - - -
pthread-wmm/mix029_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   59 .0041 0    - - - -
pthread-wmm/mix029_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   61 .0041 .32 - - - -
pthread-wmm/mix029_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   59 .0041 0    - - - -
pthread-wmm/mix030_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   59 .0041 .32 - - - -
pthread-wmm/mix030_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   58 .0041 0    - - - -
pthread-wmm/mix030_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   59 .0041 0    - - - -
pthread-wmm/mix030_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   59 .0041 0    - - - -
pthread-wmm/mix030_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   61 .0041 .32 - - - -
pthread-wmm/mix030_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .97 .99 12   58 .0041 0    - - - -
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .96 11   56 .0041 0    - - - -
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  13   56 .0041 0    - - - -
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 12   56 .0041 0    - - - -
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  11   56 .0041 0    - - - -
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .99 11   56 .0041 0    - - - -
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .98 14   56 .0041 0    - - - -
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 13   56 .0041 0    - - - -
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  14   56 .0041 0    - - - -
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   56 .0041 0    - - - -
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   58 .0041 0    - - - -
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   56 .0041 0    - - - -
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/mix033_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/mix034_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 13   58 .0041 0    - - - -
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .99 11   56 .0041 0    - - - -
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  11   56 .0041 0    - - - -
pthread-wmm/mix034_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .90 .93 14   55 .0041 0    - - - -
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 14   56 .0041 0    - - - -
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .99 14   56 .0041 0    - - - -
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .96 1.0  12   56 .0041 0    - - - -
pthread-wmm/mix034_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 13   55 .0041 0    - - - -
pthread-wmm/mix035_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  16   57 .0041 0    - - - -
pthread-wmm/mix035_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/mix035_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   59 .0041 0    - - - -
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .97 .99 12   56 .0041 0    - - - -
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  16   57 .0041 0    - - - -
pthread-wmm/mix035_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/mix035_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   57 .0041 0    - - - -
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .99 12   56 .0041 0    - - - -
pthread-wmm/mix036_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix036_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   59 .0041 0    - - - -
pthread-wmm/mix036_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   59 .0041 0    - - - -
pthread-wmm/mix036_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   58 .0041 0    - - - -
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   59 .0041 0    - - - -
pthread-wmm/mix036_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   59 .0041 0    - - - -
pthread-wmm/mix036_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   59 .0041 0    - - - -
pthread-wmm/mix036_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix037_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  13   59 .0041 .24 - - - -
pthread-wmm/mix037_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix037_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   58 .0041 0    - - - -
pthread-wmm/mix037_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   58 .0041 0    - - - -
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix037_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix037_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix037_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix038_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   57 .0041 0    - - - -
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .99 12   56 .0041 0    - - - -
pthread-wmm/mix038_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   59 .0041 0    - - - -
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .97 .99 12   56 .0041 0    - - - -
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   57 .0041 0    - - - -
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  15   56 .0041 0    - - - -
pthread-wmm/mix038_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   57 .0041 0    - - - -
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  15   56 .0041 0    - - - -
pthread-wmm/mix039_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   61 .0041 0    - - - -
pthread-wmm/mix039_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   58 .0041 0    - - - -
pthread-wmm/mix039_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   61 .0041 0    - - - -
pthread-wmm/mix039_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   58 .0041 0    - - - -
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix039_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix039_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  15   59 .0041 .50 - - - -
pthread-wmm/mix039_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   58 .0041 .33 - - - -
pthread-wmm/mix040_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  18   59 .0041 0    - - - -
pthread-wmm/mix040_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   58 .0041 0    - - - -
pthread-wmm/mix040_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   59 .0041 0    - - - -
pthread-wmm/mix040_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   58 .0041 .32 - - - -
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   59 .0041 0    - - - -
pthread-wmm/mix040_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix040_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   59 .0041 0    - - - -
pthread-wmm/mix040_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   58 .0041 0    - - - -
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .97 1.0  12   55 .0041 0    - - - -
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 12   56 .0041 0    - - - -
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 13   56 .0041 0    - - - -
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .97 11   56 .0041 0    - - - -
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 15   56 .0041 0    - - - -
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 12   58 .0041 0    - - - -
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  13   56 .0041 0    - - - -
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .97 1.0  11   56 .0041 0    - - - -
pthread-wmm/mix042_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   57 .0041 0    - - - -
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  14   57 .0041 0    - - - -
pthread-wmm/mix042_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  15   57 .0041 0    - - - -
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   57 .0041 0    - - - -
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  14   56 .0041 0    - - - -
pthread-wmm/mix042_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  11   57 .0041 0    - - - -
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/mix043_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix043_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   59 .0041 .45 - - - -
pthread-wmm/mix043_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  17   63 .0041 0    - - - -
pthread-wmm/mix043_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   58 .0041 0    - - - -
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   58 .0041 0    - - - -
pthread-wmm/mix043_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   58 .0041 0    - - - -
pthread-wmm/mix043_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   58 .0041 0    - - - -
pthread-wmm/mix043_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix044_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   59 .0041 0    - - - -
pthread-wmm/mix044_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix044_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix044_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  17   58 .0041 0    - - - -
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   59 .0041 0    - - - -
pthread-wmm/mix044_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  12   59 .0041 .43 - - - -
pthread-wmm/mix044_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/mix044_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix045_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   56 .0041 0    - - - -
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   56 .0041 0    - - - -
pthread-wmm/mix045_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   56 .0041 0    - - - -
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   59 .0041 .32 - - - -
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  13   56 .0041 0    - - - -
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 .32 - - - -
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  13   58 .0041 0    - - - -
pthread-wmm/mix046_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   61 .0041 0    - - - -
pthread-wmm/mix046_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix046_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix046_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   60 .0041 0    - - - -
pthread-wmm/mix046_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix046_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  17   59 .0041 0    - - - -
pthread-wmm/mix046_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix047_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix047_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix047_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix047_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix047_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix047_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix047_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .97 13   55 .0041 0    - - - -
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .96 14   57 .0041 0    - - - -
pthread-wmm/mix048_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .98 11   55 .0041 0    - - - -
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .91 .95 13   55 .0041 0    - - - -
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .96 13   55 .0041 0    - - - -
pthread-wmm/mix048_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .96 11   55 .0041 0    - - - -
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .99 11   55 .0041 0    - - - -
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .97 12   55 .0041 0    - - - -
pthread-wmm/mix049_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/mix049_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/mix049_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 0    - - - -
pthread-wmm/mix049_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   56 .0041 0    - - - -
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/mix049_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   56 .0041 0    - - - -
pthread-wmm/mix049_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 0    - - - -
pthread-wmm/mix049_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   57 .0041 .32 - - - -
pthread-wmm/mix050_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix050_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix050_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   58 .0041 0    - - - -
pthread-wmm/mix050_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   58 .0041 0    - - - -
pthread-wmm/mix050_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 .32 - - - -
pthread-wmm/mix050_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  16   58 .0041 0    - - - -
pthread-wmm/mix050_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix051_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   59 .0041 0    - - - -
pthread-wmm/mix051_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/mix051_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix051_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  12   57 .0041 0    - - - -
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   58 .0041 0    - - - -
pthread-wmm/mix051_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 0    - - - -
pthread-wmm/mix051_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   59 .0041 0    - - - -
pthread-wmm/mix051_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 0    - - - -
pthread-wmm/mix052_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   57 .0041 .32 - - - -
pthread-wmm/mix052_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   57 .0041 0    - - - -
pthread-wmm/mix052_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   56 .0041 0    - - - -
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .97 13   57 .0041 0    - - - -
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/mix052_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  12   56 .0041 0    - - - -
pthread-wmm/mix052_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/mix052_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .98 13   57 .0041 0    - - - -
pthread-wmm/mix053_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix053_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   56 .0041 0    - - - -
pthread-wmm/mix053_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   59 .0041 0    - - - -
pthread-wmm/mix053_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 0    - - - -
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   59 .0041 0    - - - -
pthread-wmm/mix053_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  12   57 .0041 0    - - - -
pthread-wmm/mix053_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/mix053_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/mix054_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .97 11   55 .0041 0    - - - -
pthread-wmm/mix054_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .98 12   55 .0041 0    - - - -
pthread-wmm/mix054_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .98 11   55 .0041 0    - - - -
pthread-wmm/mix054_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 12   55 .0041 0    - - - -
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .97 13   55 .0041 0    - - - -
pthread-wmm/mix054_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .97 13   57 .0041 0    - - - -
pthread-wmm/mix054_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  11   55 .0041 .32 - - - -
pthread-wmm/mix054_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .98 11   55 .0041 0    - - - -
pthread-wmm/mix055_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   59 .0041 0    - - - -
pthread-wmm/mix055_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix055_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   59 .0041 0    - - - -
pthread-wmm/mix055_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   59 .0041 0    - - - -
pthread-wmm/mix055_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   58 .0041 0    - - - -
pthread-wmm/mix055_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   59 .0041 0    - - - -
pthread-wmm/mix055_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/mix056_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/mix056_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .99 14   56 .0041 0    - - - -
pthread-wmm/mix056_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   58 .0041 .32 - - - -
pthread-wmm/mix056_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  12   56 .0041 0    - - - -
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  12   56 .0041 0    - - - -
pthread-wmm/mix056_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/mix056_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  14   56 .0041 0    - - - -
pthread-wmm/mix056_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  12   56 .0041 0    - - - -
pthread-wmm/mix057_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/mix057_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   60 .0041 0    - - - -
pthread-wmm/mix057_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  16   59 .0041 0    - - - -
pthread-wmm/mix057_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   58 .0041 .32 - - - -
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   59 .0041 0    - - - -
pthread-wmm/mix057_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   58 .0041 0    - - - -
pthread-wmm/mix057_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   58 .0041 0    - - - -
pthread-wmm/mix057_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  11   58 .0041 0    - - - -
pthread-wmm/podwr000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .96 12   55 .0041 0    - - - -
pthread-wmm/podwr000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .98 12   58 .0041 .46 - - - -
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .98 12   55 .0041 0    - - - -
pthread-wmm/podwr000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .96 12   55 .0041 0    - - - -
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 11   55 .0041 0    - - - -
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .95 10   55 .0041 0    - - - -
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .91 .95 13   55 .0041 .33 - - - -
pthread-wmm/podwr000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .98 13   55 .0041 0    - - - -
pthread-wmm/podwr001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   57 .0041 .32 - - - -
pthread-wmm/podwr001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  16   56 .0041 0    - - - -
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   56 .0041 0    - - - -
pthread-wmm/podwr001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/podwr001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   58 .0041 0    - - - -
pthread-wmm/rfi000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   61 .0041 0    - - - -
pthread-wmm/rfi000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .98 11   55 .0041 0    - - - -
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   61 .0041 .24 - - - -
pthread-wmm/rfi000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .99 10   55 .0041 0    - - - -
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   61 .0041 0    - - - -
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 12   55 .0041 0    - - - -
pthread-wmm/rfi001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .96 13   55 .0041 0    - - - -
pthread-wmm/rfi001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .99 13   56 .0041 0    - - - -
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .98 14   56 .0041 .24 - - - -
pthread-wmm/rfi001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .97 1.0  14   56 .0041 0    - - - -
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .99 10   56 .0041 0    - - - -
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .97 1.0  11   58 .0041 0    - - - -
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .96 13   56 .0041 0    - - - -
pthread-wmm/rfi001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .98 15   56 .0041 0    - - - -
pthread-wmm/rfi003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .97 11   55 .0041 0    - - - -
pthread-wmm/rfi003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .95 11   55 .0041 0    - - - -
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .96 11   55 .0041 0    - - - -
pthread-wmm/rfi003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .98 11   55 .0041 0    - - - -
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .90 .94 10   55 .0041 0    - - - -
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .96 14   55 .0041 0    - - - -
pthread-wmm/rfi004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .98 11   55 .0041 0    - - - -
pthread-wmm/rfi004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .96 13   55 .0041 0    - - - -
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .98 10   55 .0041 0    - - - -
pthread-wmm/rfi004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .95 11   55 .0041 0    - - - -
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 13   56 .0041 .32 - - - -
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .98 12   55 .0041 0    - - - -
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .98 12   55 .0041 0    - - - -
pthread-wmm/rfi004_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .90 .94 14   55 .0041 0    - - - -
pthread-wmm/rfi005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   60 .0041 .32 - - - -
pthread-wmm/rfi005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   60 .0041 0    - - - -
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   60 .0041 0    - - - -
pthread-wmm/rfi005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   62 .0041 0    - - - -
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   60 .0041 0    - - - -
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   61 .0041 .24 - - - -
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   60 .0041 0    - - - -
pthread-wmm/rfi005_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   60 .0041 0    - - - -
pthread-wmm/rfi006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   58 .0041 0    - - - -
pthread-wmm/rfi006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   59 .0041 0    - - - -
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   59 .0041 0    - - - -
pthread-wmm/rfi006_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  14   59 .0041 0    - - - -
pthread-wmm/rfi006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/rfi007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .99 12   55 .0041 0    - - - -
pthread-wmm/rfi007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .99 10   55 .0041 0    - - - -
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .99 10   56 .0041 0    - - - -
pthread-wmm/rfi007_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .97 14   55 .0041 0    - - - -
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .96 10   56 .0041 0    - - - -
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .97 13   58 .0041 0    - - - -
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   57 .0041 0    - - - -
pthread-wmm/rfi007_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  12   56 .0041 0    - - - -
pthread-wmm/rfi008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   57 .0041 0    - - - -
pthread-wmm/rfi008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 .24 - - - -
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   57 .0041 0    - - - -
pthread-wmm/rfi008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   59 .0041 0    - - - -
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   58 .0041 0    - - - -
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  17   56 .0041 0    - - - -
pthread-wmm/rfi008_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/rfi009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   58 .0041 0    - - - -
pthread-wmm/rfi009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/rfi009_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  16   58 .0041 0    - - - -
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   60 .0041 0    - - - -
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  15   58 .0041 0    - - - -
pthread-wmm/rfi009_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  15   58 .0041 0    - - - -
pthread-wmm/rfi010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/rfi010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 .24 - - - -
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   56 .0041 0    - - - -
pthread-wmm/rfi010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   56 .0041 .32 - - - -
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   56 .0041 0    - - - -
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  12   56 .0041 0    - - - -
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  12   56 .0041 0    - - - -
pthread-wmm/rfi010_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   56 .0041 0    - - - -
pthread-wmm/safe000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  17   61 .0041 0    - - - -
pthread-wmm/safe000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  13   58 .0041 0    - - - -
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   61 .0041 0    - - - -
pthread-wmm/safe000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  18   61 .0041 0    - - - -
pthread-wmm/safe001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.4  18   61 .0041 0    - - - -
pthread-wmm/safe001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/safe001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/safe001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 0    - - - -
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  18   63 .0041 0    - - - -
pthread-wmm/safe001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/safe002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   61 .0041 0    - - - -
pthread-wmm/safe002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  11   56 .0041 0    - - - -
pthread-wmm/safe002_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  14   56 .0041 0    - - - -
pthread-wmm/safe002_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 .32 - - - -
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  17   62 .0041 0    - - - -
pthread-wmm/safe002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  13   56 .0041 0    - - - -
pthread-wmm/safe003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  15   61 .0041 0    - - - -
pthread-wmm/safe003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/safe003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   61 .0041 0    - - - -
pthread-wmm/safe003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  15   61 .0041 0    - - - -
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  15   62 .0041 0    - - - -
pthread-wmm/safe003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  14   62 .0041 0    - - - -
pthread-wmm/safe004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   62 .0041 0    - - - -
pthread-wmm/safe004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   61 .0041 0    - - - -
pthread-wmm/safe004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   61 .0041 0    - - - -
pthread-wmm/safe004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   56 .0041 0    - - - -
pthread-wmm/safe005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  13   56 .0041 0    - - - -
pthread-wmm/safe005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  14   56 .0041 0    - - - -
pthread-wmm/safe005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   56 .0041 0    - - - -
pthread-wmm/safe005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   56 .0041 0    - - - -
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  13   58 .0041 0    - - - -
pthread-wmm/safe005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   56 .0041 0    - - - -
pthread-wmm/safe006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .97 1.0  11   55 .0041 0    - - - -
pthread-wmm/safe006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   57 .0041 0    - - - -
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .91 .94 14   57 .0041 0    - - - -
pthread-wmm/safe006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .96 11   55 .0041 0    - - - -
pthread-wmm/safe007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   58 .0041 0    - - - -
pthread-wmm/safe007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  15   58 .0041 0    - - - -
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 0    - - - -
pthread-wmm/safe007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   57 .0041 0    - - - -
pthread-wmm/safe008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/safe008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/safe008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   57 .0041 .32 - - - -
pthread-wmm/safe008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   57 .0041 0    - - - -
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   57 .0041 0    - - - -
pthread-wmm/safe008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   56 .0041 0    - - - -
pthread-wmm/safe009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   61 .0041 0    - - - -
pthread-wmm/safe009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.2  18   58 .0041 0    - - - -
pthread-wmm/safe009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   58 .0041 0    - - - -
pthread-wmm/safe010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .97 12   55 .0041 .32 - - - -
pthread-wmm/safe010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .98 11   55 .0041 0    - - - -
pthread-wmm/safe010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .98 12   55 .0041 0    - - - -
pthread-wmm/safe010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .96 13   55 .0041 0    - - - -
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .95 12   55 .0041 0    - - - -
pthread-wmm/safe010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .96 12   57 .0041 0    - - - -
pthread-wmm/safe011_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   56 .0041 0    - - - -
pthread-wmm/safe011_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   58 .0041 0    - - - -
pthread-wmm/safe011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   57 .0041 0    - - - -
pthread-wmm/safe011_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   56 .0041 0    - - - -
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 .32 - - - -
pthread-wmm/safe011_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   56 .0041 0    - - - -
pthread-wmm/safe012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   58 .0041 .32 - - - -
pthread-wmm/safe012_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/safe012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   56 .0041 0    - - - -
pthread-wmm/safe012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  13   58 .0041 .32 - - - -
pthread-wmm/safe012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 .32 - - - -
pthread-wmm/safe013_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe013_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe013_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  13   56 .0041 0    - - - -
pthread-wmm/safe013_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  11   56 .0041 0    - - - -
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 .45 - - - -
pthread-wmm/safe013_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe014_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   58 .0041 .32 - - - -
pthread-wmm/safe014_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .97 .99 13   57 .0041 0    - - - -
pthread-wmm/safe014_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  17   63 .0041 0    - - - -
pthread-wmm/safe015_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  1.4  17   62 .0041 0    - - - -
pthread-wmm/safe015_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  1.4  16   62 .0041 0    - - - -
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  15   61 .0041 0    - - - -
pthread-wmm/safe015_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   62 .0041 0    - - - -
pthread-wmm/safe016_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   61 .0041 0    - - - -
pthread-wmm/safe016_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   62 .0041 .32 - - - -
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   59 .0041 0    - - - -
pthread-wmm/safe016_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  15   62 .0041 0    - - - -
pthread-wmm/safe017_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   56 .0041 0    - - - -
pthread-wmm/safe017_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   57 .0041 .39 - - - -
pthread-wmm/safe017_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  11   67 .0041 11    - - - -
pthread-wmm/safe017_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe017_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe018_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   58 .0041 0    - - - -
pthread-wmm/safe018_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  19   61 .0041 0    - - - -
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .98 .99 13   57 .0041 0    - - - -
pthread-wmm/safe018_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   58 .0041 0    - - - -
pthread-wmm/safe019_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  15   62 .0041 0    - - - -
pthread-wmm/safe019_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  17   62 .0041 0    - - - -
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   60 .0041 0    - - - -
pthread-wmm/safe019_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   62 .0041 0    - - - -
pthread-wmm/safe020_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  18   63 .0041 .43 - - - -
pthread-wmm/safe020_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   61 .0041 0    - - - -
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   58 .0041 0    - - - -
pthread-wmm/safe020_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   58 .0041 0    - - - -
pthread-wmm/safe021_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   57 .0041 0    - - - -
pthread-wmm/safe021_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  11   56 .0041 0    - - - -
pthread-wmm/safe021_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/safe021_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   57 .0041 .32 - - - -
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/safe021_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   56 .0041 0    - - - -
pthread-wmm/safe022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .96 12   55 .0041 0    - - - -
pthread-wmm/safe022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 1.0  12   55 .0041 0    - - - -
pthread-wmm/safe022_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .91 .94 12   55 .0041 0    - - - -
pthread-wmm/safe022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .91 .95 13   55 .0041 0    - - - -
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .97 13   55 .0041 0    - - - -
pthread-wmm/safe022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .99 10   55 .0041 0    - - - -
pthread-wmm/safe023_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   62 .0041 0    - - - -
pthread-wmm/safe023_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   61 .0041 0    - - - -
pthread-wmm/safe023_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  20   61 .0041 0    - - - -
pthread-wmm/safe023_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  18   61 .0041 0    - - - -
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   61 .0041 0    - - - -
pthread-wmm/safe023_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  15   61 .0041 0    - - - -
pthread-wmm/safe024_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe024_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  14   56 .0041 0    - - - -
pthread-wmm/safe024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   56 .0041 0    - - - -
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/safe024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  1.4  18   63 .0041 0    - - - -
pthread-wmm/safe025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  1.4  19   63 .0041 0    - - - -
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  15   62 .0041 0    - - - -
pthread-wmm/safe025_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  17   61 .0041 0    - - - -
pthread-wmm/safe026_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe026_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  14   56 .0041 0    - - - -
pthread-wmm/safe026_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe026_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  13   56 .0041 0    - - - -
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  15   56 .0041 0    - - - -
pthread-wmm/safe026_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe027_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   62 .0041 0    - - - -
pthread-wmm/safe027_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.4  17   62 .0041 0    - - - -
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   59 .0041 0    - - - -
pthread-wmm/safe027_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  13   59 .0041 0    - - - -
pthread-wmm/safe028_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   62 .0041 0    - - - -
pthread-wmm/safe028_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  19   61 .0041 0    - - - -
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  14   58 .0041 0    - - - -
pthread-wmm/safe028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  17   58 .0041 0    - - - -
pthread-wmm/safe029_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .91 .94 13   55 .0041 0    - - - -
pthread-wmm/safe029_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .91 .94 12   57 .0041 0    - - - -
pthread-wmm/safe029_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .91 .94 10   55 .0041 0    - - - -
pthread-wmm/safe029_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .98 11   55 .0041 0    - - - -
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .96 13   55 .0041 0    - - - -
pthread-wmm/safe029_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .91 .94 13   57 .0041 0    - - - -
pthread-wmm/safe030_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  14   56 .0041 0    - - - -
pthread-wmm/safe030_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .97 .99 12   57 .0041 0    - - - -
pthread-wmm/safe030_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   56 .0041 0    - - - -
pthread-wmm/safe030_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  12   57 .0041 0    - - - -
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.1  15   56 .0041 0    - - - -
pthread-wmm/safe030_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  13   57 .0041 0    - - - -
pthread-wmm/safe031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  12   58 .0041 0    - - - -
pthread-wmm/safe031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  12   56 .0041 0    - - - -
pthread-wmm/safe031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  12   58 .0041 0    - - - -
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  12   56 .0041 0    - - - -
pthread-wmm/safe031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   56 .0041 0    - - - -
pthread-wmm/safe032_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  15   63 .0041 0    - - - -
pthread-wmm/safe032_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   61 .0041 0    - - - -
pthread-wmm/safe032_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  16   61 .0041 0    - - - -
pthread-wmm/safe032_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  18   61 .0041 0    - - - -
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  18   61 .0041 0    - - - -
pthread-wmm/safe032_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  18   61 .0041 0    - - - -
pthread-wmm/safe033_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .89 .92 13   55 .0041 .32 - - - -
pthread-wmm/safe033_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .95 11   55 .0041 0    - - - -
pthread-wmm/safe033_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .91 .95 13   55 .0041 0    - - - -
pthread-wmm/safe033_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93 .96 11   55 .0041 0    - - - -
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .92 .95 13   55 .0041 0    - - - -
pthread-wmm/safe033_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .89 .93 11   55 .0041 0    - - - -
pthread-wmm/safe034_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .95 .97 15   57 .0041 0    - - - -
pthread-wmm/safe034_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  11   57 .0041 0    - - - -
pthread-wmm/safe034_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  12   57 .0041 0    - - - -
pthread-wmm/safe034_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  11   57 .0041 0    - - - -
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .98 12   57 .0041 0    - - - -
pthread-wmm/safe034_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96 .99 13   57 .0041 0    - - - -
pthread-wmm/thin000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  13   56 .0041 0    - - - -
pthread-wmm/thin000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  1.0  12   57 .0041 0    - - - -
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .97 12   55 .0041 0    - - - -
pthread-wmm/thin000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .91 .95 14   55 .0041 0    - - - -
pthread-wmm/thin001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  13   58 .0041 0    - - - -
pthread-wmm/thin001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .98 1.0  12   57 .0041 0    - - - -
pthread-wmm/thin001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .99 1.0  12   57 .0041 0    - - - -
pthread-wmm/thin002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  15   58 .0041 0    - - - -
pthread-wmm/thin002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.2  16   60 .0041 0    - - - -
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  14   58 .0041 0    - - - -
pthread-wmm/thin002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  1.1  16   58 .0041 0    - - - -
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i true 2 wit inspect 6.0  6.2  96   68 .29   .32 - - - -
pthread-wmm/rfi000_tso.opt_true-unreach-call.i true 2 wit inspect 6.1  6.2  84   67 .29   0    - - - -
pthread-wmm/rfi002_power.oepc_true-unreach-call.i true 2 wit inspect 6.2  6.4  86   66 .29   0    - - - -
pthread-wmm/rfi002_power.opt_true-unreach-call.i true 2 wit inspect 6.3  6.4  91   68 .29   .24 - - - -
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i true 2 wit inspect 6.3  6.5  82   66 .29   0    - - - -
pthread-wmm/rfi002_pso.opt_true-unreach-call.i true 2 wit inspect 6.3  6.5  89   66 .29   0    - - - -
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i true 2 wit inspect 6.3  6.4  76   68 .29   0    - - - -
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i true 2 wit inspect 6.2  6.4  81   66 .29   0    - - - -
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i true 2 wit inspect 7.5  7.6  91   70 .33   0    - - - -
pthread-wmm/rfi002_tso.opt_true-unreach-call.i true 2 wit inspect 7.5  7.5  96   70 .33   0    - - - -
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i true 2 wit inspect 6.3  6.5  76   68 .29   0    - - - -
pthread-wmm/rfi003_tso.opt_true-unreach-call.i true 2 wit inspect 6.3  6.4  76   68 .29   0    - - - -
pthread-wmm/safe000_pso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.9  52   62 .24   0    - - - -
pthread-wmm/safe000_pso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  52   62 .24   0    - - - -
pthread-wmm/safe000_tso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.9  52   61 .24   0    - - - -
pthread-wmm/safe000_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.8  52   62 .24   0    - - - -
pthread-wmm/safe001_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  45   60 .24   0    - - - -
pthread-wmm/safe001_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.9  50   60 .24   0    - - - -
pthread-wmm/safe002_tso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.9  48   61 .24   0    - - - -
pthread-wmm/safe002_tso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  44   61 .24   .32 - - - -
pthread-wmm/safe003_tso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.8  52   61 .24   0    - - - -
pthread-wmm/safe003_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.8  47   62 .24   0    - - - -
pthread-wmm/safe004_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  46   60 .24   0    - - - -
pthread-wmm/safe004_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.9  41   60 .24   0    - - - -
pthread-wmm/safe005_tso.oepc_true-unreach-call.i true 2 wit inspect 3.9  4.0  50   61 .24   0    - - - -
pthread-wmm/safe005_tso.opt_true-unreach-call.i true 2 wit inspect 3.9  4.0  48   60 .24   0    - - - -
pthread-wmm/safe006_pso.oepc_true-unreach-call.i true 2 wit inspect 3.3  3.4  42   56 .21   0    - - - -
pthread-wmm/safe006_pso.opt_true-unreach-call.i true 2 wit inspect 3.3  3.4  36   56 .21   0    - - - -
pthread-wmm/safe006_tso.oepc_true-unreach-call.i true 2 wit inspect 3.4  3.5  39   56 .21   0    - - - -
pthread-wmm/safe006_tso.opt_true-unreach-call.i true 2 wit inspect 3.3  3.5  47   57 .21   .45 - - - -
pthread-wmm/safe007_pso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.9  58   63 .24   0    - - - -
pthread-wmm/safe007_pso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  48   61 .24   .32 - - - -
pthread-wmm/safe007_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  48   62 .24   0    - - - -
pthread-wmm/safe007_tso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  44   61 .24   0    - - - -
pthread-wmm/safe008_tso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.9  51   62 .24   0    - - - -
pthread-wmm/safe008_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.9  48   60 .24   0    - - - -
pthread-wmm/safe009_pso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.8  45   61 .23   0    - - - -
pthread-wmm/safe009_pso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.8  47   60 .23   0    - - - -
pthread-wmm/safe009_tso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.8  44   61 .23   0    - - - -
pthread-wmm/safe009_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.8  46   60 .23   0    - - - -
pthread-wmm/safe010_tso.oepc_true-unreach-call.i true 2 wit inspect 3.3  3.5  40   57 .21   0    - - - -
pthread-wmm/safe010_tso.opt_true-unreach-call.i true 2 wit inspect 3.3  3.4  39   57 .21   0    - - - -
pthread-wmm/safe011_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  49   60 .23   0    - - - -
pthread-wmm/safe011_tso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  55   60 .23   0    - - - -
pthread-wmm/safe012_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  41   61 .24   0    - - - -
pthread-wmm/safe012_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.9  46   61 .24   0    - - - -
pthread-wmm/safe013_tso.oepc_true-unreach-call.i true 2 wit inspect 3.9  3.9  49   61 .24   0    - - - -
pthread-wmm/safe013_tso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  51   60 .24   0    - - - -
pthread-wmm/safe014_pso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.9  57   62 .24   0    - - - -
pthread-wmm/safe014_pso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  52   61 .24   .32 - - - -
pthread-wmm/safe014_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  41   62 .24   0    - - - -
pthread-wmm/safe014_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.9  54   61 .24   .32 - - - -
pthread-wmm/safe015_pso.oepc_true-unreach-call.i true 2 wit inspect 3.8  4.0  45   60 .24   0    - - - -
pthread-wmm/safe015_pso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  45   60 .24   0    - - - -
pthread-wmm/safe015_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  56   61 .24   0    - - - -
pthread-wmm/safe015_tso.opt_true-unreach-call.i true 2 wit inspect 3.9  4.0  46   60 .24   0    - - - -
pthread-wmm/safe016_pso.oepc_true-unreach-call.i true 2 wit inspect 4.4  4.6  54   63 .25   0    - - - -
pthread-wmm/safe016_pso.opt_true-unreach-call.i true 2 wit inspect 4.5  4.7  65   63 .25   0    - - - -
pthread-wmm/safe016_tso.oepc_true-unreach-call.i true 2 wit inspect 4.4  4.5  51   64 .25   0    - - - -
pthread-wmm/safe016_tso.opt_true-unreach-call.i true 2 wit inspect 4.5  4.7  55   65 .25   .32 - - - -
pthread-wmm/safe017_tso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.8  51   61 .23   0    - - - -
pthread-wmm/safe017_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.8  53   59 .23   0    - - - -
pthread-wmm/safe018_pso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  43   60 .24   0    - - - -
pthread-wmm/safe018_pso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  45   60 .24   .32 - - - -
pthread-wmm/safe018_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  46   64 .24   0    - - - -
pthread-wmm/safe018_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.8  52   60 .24   0    - - - -
pthread-wmm/safe019_pso.oepc_true-unreach-call.i true 2 wit inspect 4.3  4.5  47   64 .25   0    - - - -
pthread-wmm/safe019_pso.opt_true-unreach-call.i true 2 wit inspect 4.3  4.5  55   65 .25   0    - - - -
pthread-wmm/safe019_tso.oepc_true-unreach-call.i true 2 wit inspect 4.3  4.5  56   64 .25   0    - - - -
pthread-wmm/safe019_tso.opt_true-unreach-call.i true 2 wit inspect 4.3  4.5  54   65 .25   0    - - - -
pthread-wmm/safe020_pso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.9  45   60 .24   0    - - - -
pthread-wmm/safe020_pso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  52   60 .24   0    - - - -
pthread-wmm/safe020_tso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.9  44   60 .24   0    - - - -
pthread-wmm/safe020_tso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  43   60 .24   0    - - - -
pthread-wmm/safe021_tso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.8  46   62 .24   0    - - - -
pthread-wmm/safe021_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.8  52   61 .24   0    - - - -
pthread-wmm/safe022_tso.oepc_true-unreach-call.i true 2 wit inspect 3.3  3.5  44   56 .21   0    - - - -
pthread-wmm/safe022_tso.opt_true-unreach-call.i true 2 wit inspect 3.3  3.4  46   56 .21   0    - - - -
pthread-wmm/safe023_tso.oepc_true-unreach-call.i true 2 wit inspect 3.9  4.0  48   61 .24   0    - - - -
pthread-wmm/safe023_tso.opt_true-unreach-call.i true 2 wit inspect 3.8  4.0  55   61 .24   0    - - - -
pthread-wmm/safe024_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  53   63 .24   0    - - - -
pthread-wmm/safe024_tso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  41   62 .24   0    - - - -
pthread-wmm/safe025_pso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  45   60 .24   0    - - - -
pthread-wmm/safe025_pso.opt_true-unreach-call.i true 2 wit inspect 3.9  4.0  46   62 .24   0    - - - -
pthread-wmm/safe025_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  48   60 .24   0    - - - -
pthread-wmm/safe025_tso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  52   60 .24   0    - - - -
pthread-wmm/safe026_tso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.8  44   62 .23   .33 - - - -
pthread-wmm/safe026_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.8  46   60 .23   0    - - - -
pthread-wmm/safe027_pso.oepc_true-unreach-call.i true 2 wit inspect 4.4  4.6  53   65 .25   0    - - - -
pthread-wmm/safe027_pso.opt_true-unreach-call.i true 2 wit inspect 4.4  4.6  60   66 .25   0    - - - -
pthread-wmm/safe027_tso.oepc_true-unreach-call.i true 2 wit inspect 4.4  4.6  51   66 .25   0    - - - -
pthread-wmm/safe027_tso.opt_true-unreach-call.i true 2 wit inspect 4.4  4.6  51   65 .25   0    - - - -
pthread-wmm/safe028_pso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.9  50   62 .24   0    - - - -
pthread-wmm/safe028_pso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  40   62 .24   0    - - - -
pthread-wmm/safe028_tso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.8  48   63 .24   0    - - - -
pthread-wmm/safe028_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.9  56   60 .24   0    - - - -
pthread-wmm/safe029_tso.oepc_true-unreach-call.i true 2 wit inspect 3.3  3.5  35   56 .21   0    - - - -
pthread-wmm/safe029_tso.opt_true-unreach-call.i true 2 wit inspect 3.2  3.3  44   56 .21   0    - - - -
pthread-wmm/safe030_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  45   61 .23   0    - - - -
pthread-wmm/safe030_tso.opt_true-unreach-call.i true 2 wit inspect 3.7  3.8  45   60 .23   0    - - - -
pthread-wmm/safe031_tso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.8  52   60 .24   0    - - - -
pthread-wmm/safe031_tso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  48   60 .24   0    - - - -
pthread-wmm/safe032_tso.oepc_true-unreach-call.i true 2 wit inspect 3.9  4.0  49   61 .24   0    - - - -
pthread-wmm/safe032_tso.opt_true-unreach-call.i true 2 wit inspect 3.9  4.0  48   62 .24   0    - - - -
pthread-wmm/safe033_tso.oepc_true-unreach-call.i true 2 wit inspect 3.3  3.5  39   57 .21   0    - - - -
pthread-wmm/safe033_tso.opt_true-unreach-call.i true 2 wit inspect 3.3  3.5  39   57 .21   0    - - - -
pthread-wmm/safe034_tso.oepc_true-unreach-call.i true 2 wit inspect 3.9  4.0  50   60 .24   0    - - - -
pthread-wmm/safe034_tso.opt_true-unreach-call.i true 2 wit inspect 3.9  4.0  48   61 .24   0    - - - -
pthread-wmm/safe035_power.oepc_true-unreach-call.i true 2 wit inspect 7.6  7.7  91   76 .34   0    - - - -
pthread-wmm/safe035_power.opt_true-unreach-call.i true 2 wit inspect 7.6  7.7  98   76 .34   0    - - - -
pthread-wmm/safe035_pso.oepc_true-unreach-call.i true 2 wit inspect 3.9  4.0  45   60 .24   0    - - - -
pthread-wmm/safe035_pso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  53   62 .24   0    - - - -
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i true 2 wit inspect 3.9  4.0  50   63 .24   0    - - - -
pthread-wmm/safe035_rmo.opt_true-unreach-call.i true 2 wit inspect 3.9  4.0  58   62 .24   0    - - - -
pthread-wmm/safe035_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  49   61 .24   0    - - - -
pthread-wmm/safe035_tso.opt_true-unreach-call.i true 2 wit inspect 3.9  4.0  50   62 .24   0    - - - -
pthread-wmm/safe036_power.oepc_true-unreach-call.i true 2 wit inspect 3.4  3.5  36   56 .21   0    - - - -
pthread-wmm/safe036_power.opt_true-unreach-call.i true 2 wit inspect 3.4  3.5  41   58 .21   .32 - - - -
pthread-wmm/safe036_pso.oepc_true-unreach-call.i true 2 wit inspect 3.3  3.5  46   56 .21   0    - - - -
pthread-wmm/safe036_pso.opt_true-unreach-call.i true 2 wit inspect 3.4  3.5  45   56 .21   0    - - - -
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i true 2 wit inspect 3.4  3.5  43   57 .21   0    - - - -
pthread-wmm/safe036_rmo.opt_true-unreach-call.i true 2 wit inspect 3.4  3.5  41   57 .21   0    - - - -
pthread-wmm/safe036_tso.oepc_true-unreach-call.i true 2 wit inspect 3.4  3.5  41   58 .21   0    - - - -
pthread-wmm/safe036_tso.opt_true-unreach-call.i true 2 wit inspect 3.4  3.5  40   58 .21   0    - - - -
pthread-wmm/safe037_power.oepc_true-unreach-call.i true 2 wit inspect 3.9  4.0  46   61 .24   0    - - - -
pthread-wmm/safe037_power.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  55   61 .24   .32 - - - -
pthread-wmm/safe037_pso.oepc_true-unreach-call.i true 2 wit inspect 3.9  4.0  47   62 .24   .32 - - - -
pthread-wmm/safe037_pso.opt_true-unreach-call.i true 2 wit inspect 3.8  4.0  45   61 .24   0    - - - -
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i true 2 wit inspect 3.8  4.0  46   61 .24   0    - - - -
pthread-wmm/safe037_rmo.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  60   61 .24   0    - - - -
pthread-wmm/safe037_tso.oepc_true-unreach-call.i true 2 wit inspect 3.9  4.0  45   61 .24   0    - - - -
pthread-wmm/safe037_tso.opt_true-unreach-call.i true 2 wit inspect 3.8  4.0  42   62 .24   0    - - - -
pthread-wmm/thin000_pso.oepc_true-unreach-call.i true 2 wit inspect 3.3  3.4  47   56 .21   0    - - - -
pthread-wmm/thin000_pso.opt_true-unreach-call.i true 2 wit inspect 3.3  3.5  40   57 .21   0    - - - -
pthread-wmm/thin000_tso.oepc_true-unreach-call.i true 2 wit inspect 3.3  3.5  41   56 .21   0    - - - -
pthread-wmm/thin000_tso.opt_true-unreach-call.i true 2 wit inspect 3.3  3.5  36   56 .21   0    - - - -
pthread-wmm/thin001_pso.oepc_true-unreach-call.i true 2 wit inspect 3.7  3.8  44   63 .24   0    - - - -
pthread-wmm/thin001_pso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  51   61 .24   0    - - - -
pthread-wmm/thin001_tso.oepc_true-unreach-call.i true 2 wit inspect 3.8  3.9  52   63 .24   0    - - - -
pthread-wmm/thin001_tso.opt_true-unreach-call.i true 2 wit inspect 3.8  3.9  46   62 .24   0    - - - -
pthread-wmm/thin002_pso.oepc_true-unreach-call.i true 2 wit inspect 4.1  4.3  49   65 .26   0    - - - -
pthread-wmm/thin002_pso.opt_true-unreach-call.i true 2 wit inspect 4.2  4.4  54   66 .26   0    - - - -
pthread-wmm/thin002_tso.oepc_true-unreach-call.i true 2 wit inspect 4.2  4.4  52   64 .26   0    - - - -
pthread-wmm/thin002_tso.opt_true-unreach-call.i true 2 wit inspect 4.2  4.4  54   65 .26   0    - - - -
pthread-lit/fkp2013_false-unreach-call.i false(unreach-call) 1 wit inspect 2.0  2.0  25   84 .0041 0    - - - -
pthread-lit/fkp2013_variant_false-unreach-call.i false(unreach-call) 1 wit inspect .63 .67 7.3 50 .0041 0    - - - -
pthread-lit/qw2004_false-unreach-call.i false(unreach-call) 1 wit inspect .65 .68 9.4 51 .0041 0    - - - -
pthread-lit/fk2012_true-unreach-call.i true 2 wit inspect 4.9  5.0  53   65 .32   0    - - - -
pthread-lit/fkp2013_true-unreach-call.i true 2 wit inspect 6.6  6.6  78   82 .35   0    - - - -
pthread-lit/fkp2013_variant_true-unreach-call.i true 2 wit inspect 3.4  3.6  38   59 .24   .24 - - - -
pthread-lit/fkp2014_true-unreach-call.i true 2 wit inspect 3.3  3.5  45   59 .25   0    - - - -
pthread-lit/qw2004_true-unreach-call.i true 2 wit inspect 3.5  3.6  42   62 .22   0    - - - -
pthread-lit/qw2004_variant_true-unreach-call.i true 2 wit inspect 95    95    1300   150 .44   0    - - - -
pthread-lit/sssc12_true-unreach-call.i true 2 wit inspect 11    12    140   900 .26   0    - - - -
pthread-lit/sssc12_variant_true-unreach-call.i true 2 wit inspect 21    21    240   1700 .26   0    - - - -
ldv-races/race-1_1-join_true-unreach-call.i true 2 wit inspect 4.4  4.6  63   62 .27   0    - - - -
ldv-races/race-2_1-container_of_true-unreach-call.i true 2 wit inspect 17    17    190   280 .32   0    - - - -
ldv-races/race-3_1-container_of-global_true-unreach-call.i true 2 wit inspect 13    13    150   280 .32   0    - - - -
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i true 2 wit inspect 20    20    280   100 .48   0    - - - -
ldv-races/race-1_2-join_false-unreach-call.i false(unreach-call) 1 wit inspect .87 .89 8.7 52 .012  0    - - - -
ldv-races/race-1_3-join_false-unreach-call.i false(unreach-call) 1 wit inspect .80 .85 11   51 .012  0    - - - -
ldv-races/race-2_2-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  15   77 .012  0    - - - -
ldv-races/race-2_3-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  1.4  19   87 .012  0    - - - -
ldv-races/race-2_4-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  1.4  21   83 .012  0    - - - -
ldv-races/race-2_5-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  1.4  18   86 .012  0    - - - -
ldv-races/race-3_2-container_of-global_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  1.3  15   79 .012  0    - - - -
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  1.3  16   59 .012  0    - - - -
pthread-complex/bounded_buffer_false-unreach-call.i false(unreach-call) 1 wit inspect 43    43    400   580 .012  0    - - - -
pthread-complex/elimination_backoff_stack_false-unreach-call.i true -32 wit inspect 140    140    1400   1400 2.4    0    - - - -
pthread-complex/safestack_relacy_false-unreach-call.i true -32 wit inspect 260    260    2000   470 2.2    0    - - - -
pthread-complex/workstealqueue_mutex_false-unreach-call.i false(unreach-call) 1 wit inspect 31    31    330   460 .012  0    - - - -
pthread-complex/workstealqueue_mutex_true-unreach-call.i true 2 wit inspect 51    52    560   460 2.3    0    - - - -
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i true 2 wit inspect 9.8  9.9  120   81 .50   0    - - - -
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i true 2 wit inspect 11    12    160   88 .53   0    - - - -
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i true 2 wit inspect 11    11    140   87 .53   0    - - - -
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i true 2 wit inspect 11    11    140   83 .53   0    - - - -
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i true 2 wit inspect 11    11    140   84 .53   0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i true 2 wit inspect 13    13    140   91 .74   0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect 12    13    170   91 .70   0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i true 2 wit inspect 12    12    160   86 .69   0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect 12    12    160   83 .71   0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i true 2 wit inspect 13    13    150   90 .72   0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect 11    12    150   82 .64   0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i true 2 wit inspect 12    12    150   87 .68   0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i true 2 wit inspect 13    13    200   90 .70   0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i true 2 wit inspect 12    12    170   88 .71   0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i true 2 wit inspect 12    12    180   86 .66   0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect 12    12    160   88 .66   0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i true 2 wit inspect 13    13    160   90 .68   0    - - - -
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i false(unreach-call) 1 wit inspect 2.0  2.0  25   74 .012  0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i false(unreach-call) 1 wit inspect 2.5  2.5  34   85 .012  0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i false(unreach-call) 1 wit inspect 2.6  2.6  36   87 .012  0    - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i false(unreach-call) 1 wit inspect 2.5  2.5  31   83 .012  0    - - - -
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i true 2 wit inspect 9.5  9.6  100   120 .28   .32 - - - -
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i true 2 wit inspect 250    250    3800   2200 .77   0    - - - -
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i true 2 wit inspect 120    120    1100   2400 .67   0    - - - -
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i false(unreach-call) 1 wit inspect .94 .94 11   61 .012  0    - - - -
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu wall energy mem validator uautomizer violation t<90s status cpu wall energy mem validator cpachecker correctness t<900s status cpu wall energy mem validator uautomizer correctness t<900s status cpu wall energy mem
total 1047 1226 6400 6500 78000 150000 88   36   1047 1047 1047 1047
local summary 560
    correct results 1044 1290 5900 5900 73000 140000 83   36   0 0 0 0
        correct true 246 492 4500 4500 55000 68000 77   6.9 0 0 0 0
        correct false 798 798 1400 1400 18000 69000 5.9 29   0 0 0 0
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 2 -64 400 400 3400 1800 4.5 0   0 0 0 0
        incorrect true 2 -64 400 400 3400 1800 4.5 0   0 0 0 0
        incorrect false 0
score (1047 tasks, max score: 1293) 1226
Run set sv-comp17