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