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