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