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