Tool CBMC 5.8 CPAchecker 1.6.1-svn 26773
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.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-01 09:12:30 CET 2017-12-01 10:50:55 CET
Run set cbmc.sv-comp18 cpa-seq-validate-violation-witnesses-cbmc.sv-comp18-violation-witness
Options --graphml-witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cbmc.2017-12-01_0912.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -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
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy
pthread/bigshot_p_false-unreach-call.i error (6) 0 wit inspect .50 39 5.4 error (invalid witness file) 0 wit inspect .59 44
pthread/fib_bench_false-unreach-call.i false(unreach-call) 1 wit inspect 3.4  48 42   false(unreach-call) 1 wit inspect 17    570
pthread/fib_bench_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 5.3  47 71   false(unreach-call) 1 wit inspect 19    570
pthread/fib_bench_longest_false-unreach-call.i false(unreach-call) 0 wit inspect 300    160 4300   timeout 0 wit inspect 92    1300
pthread/lazy01_false-unreach-call.i false(unreach-call) 1 wit inspect .60 41 5.8 false(unreach-call) 1 wit inspect 8.2  300
pthread/queue_false-unreach-call.i false(unreach-call) 1 wit inspect 9.2  450 91   false(unreach-call) 1 wit inspect 7.9  320
pthread/queue_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 27    5000 240   false(unreach-call) 1 wit inspect 8.2  310
pthread/queue_longest_false-unreach-call.i false(unreach-call) 1 wit inspect 69    10000 480   false(unreach-call) 1 wit inspect 9.1  310
pthread/reorder_2_false-unreach-call.i error (6) 0 wit inspect .80 39 6.8 error (invalid witness file) 0 wit inspect .56 43
pthread/reorder_5_false-unreach-call.i error (6) 0 wit inspect .80 39 6.7 error (invalid witness file) 0 wit inspect .70 44
pthread/sigma_false-unreach-call.i error (42) 0 wit inspect 870    990 5300   error (invalid witness file) 0 wit inspect .41 43
pthread/singleton_false-unreach-call.i error (6) 0 wit inspect .54 38 4.5 error (invalid witness file) 0 wit inspect .59 43
pthread/stack_false-unreach-call.i false(unreach-call) 0 wit inspect .77 49 8.8 error 0 wit inspect 21    610
pthread/stack_longer_false-unreach-call.i false(unreach-call) 0 wit inspect 8.1  160 110   error 0 wit inspect 27    710
pthread/stack_longest_false-unreach-call.i false(unreach-call) 0 wit inspect 27    280 310   error 0 wit inspect 29    840
pthread/stateful01_false-unreach-call.i false(unreach-call) 1 wit inspect .68 41 6.2 false(unreach-call) 1 wit inspect 5.2  270
pthread/twostage_3_false-unreach-call.i error (6) 0 wit inspect .76 39 8.8 error (invalid witness file) 0 wit inspect .58 41
pthread/bigshot_s2_true-unreach-call.i error (6) 0 wit inspect .51 38 4.6 - wit inspect
pthread/bigshot_s_true-unreach-call.i error (6) 0 wit inspect .52 38 4.8 - wit inspect
pthread/fib_bench_longer_true-unreach-call.i true 2 wit inspect 20    54 250   - wit inspect
pthread/fib_bench_longest_true-unreach-call.i error (42) 0 wit inspect 870    190 11000   - wit inspect
pthread/fib_bench_true-unreach-call.i true 2 wit inspect 8.1  47 110   - wit inspect
pthread/indexer_true-unreach-call.i error (42) 0 wit inspect 870    4000 11000   - wit inspect
pthread/queue_ok_longer_true-unreach-call.i error (134) 0 wit inspect 61    13000 730   - wit inspect
pthread/queue_ok_longest_true-unreach-call.i error (134) 0 wit inspect 84    13000 900   - wit inspect
pthread/queue_ok_true-unreach-call.i error (134) 0 wit inspect 390    12000 4600   - wit inspect
pthread/singleton_with-uninit-problems_true-unreach-call.i error (6) 0 wit inspect .52 39 4.6 - wit inspect
pthread/stack_longer_true-unreach-call.i error (42) 0 wit inspect 870    980 5500   - wit inspect
pthread/stack_longest_true-unreach-call.i error (42) 0 wit inspect 870    1700 6600   - wit inspect
pthread/stack_true-unreach-call.i true 2 wit inspect 420    160 5300   - wit inspect
pthread/stateful01_true-unreach-call.i true 2 wit inspect 1.9  42 21   - wit inspect
pthread/sync01_true-unreach-call.i true 2 wit inspect 1.8  44 22   - wit inspect
pthread-atomic/qrcu_false-unreach-call.i false(unreach-call) 1 wit inspect .78 51 10   false(unreach-call) 1 wit inspect 40    2300
pthread-atomic/read_write_lock_false-unreach-call.i false(unreach-call) 1 wit inspect .63 39 6.0 false(unreach-call) 1 wit inspect 31    1500
pthread-atomic/dekker_true-unreach-call.i error (6) 0 wit inspect .48 37 5.0 - wit inspect
pthread-atomic/gcd_true-unreach-call_true-termination.i error (42) 0 wit inspect 870    160 11000   - wit inspect
pthread-atomic/lamport_true-unreach-call.i error (6) 0 wit inspect .49 37 4.3 - wit inspect
pthread-atomic/peterson_true-unreach-call.i error (6) 0 wit inspect .45 37 5.5 - wit inspect
pthread-atomic/qrcu_true-unreach-call.i error (42) 0 wit inspect 870    490 7200   - wit inspect
pthread-atomic/read_write_lock_true-unreach-call.i true 2 wit inspect 2.0  41 23   - wit inspect
pthread-atomic/scull_true-unreach-call.i true 2 wit inspect 4.3  61 49   - wit inspect
pthread-atomic/szymanski_true-unreach-call.i error (6) 0 wit inspect .47 37 5.1 - wit inspect
pthread-atomic/time_var_mutex_true-unreach-call.i error (6) 0 wit inspect .47 37 5.8 - wit inspect
pthread-ext/25_stack_longer_false-unreach-call.i false(unreach-call) 0 wit inspect 3.7  780 49   error 0 wit inspect 4.0  260
pthread-ext/25_stack_longest_false-unreach-call.i false(unreach-call) 0 wit inspect 9.0  2300 99   error 0 wit inspect 4.6  270
pthread-ext/26_stack_cas_longer_false-unreach-call.i false(unreach-call) 0 wit inspect 6.3  1700 69   error 0 wit inspect 5.1  260
pthread-ext/26_stack_cas_longest_false-unreach-call.i false(unreach-call) 0 wit inspect 17    4800 180   error 0 wit inspect 4.6  260
pthread-ext/27_Boop_simple_vf_false-unreach-call.i false(unreach-call) 0 wit inspect .57 37 5.0 error 0 wit inspect 2.7  260
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i false(unreach-call) 0 wit inspect .54 38 5.3 error 0 wit inspect 2.6  260
pthread-ext/32_pthread5_vs_false-unreach-call.i false(unreach-call) 0 wit inspect .72 41 6.7 error 0 wit inspect 4.2  270
pthread-ext/40_barrier_vf_false-unreach-call.i false(unreach-call) 0 wit inspect 1.9  50 22   error 0 wit inspect 3.9  260
pthread-ext/01_inc_true-unreach-call.i error (42) 0 wit inspect 870    310 7100   - wit inspect
pthread-ext/02_inc_cas_true-unreach-call.i error (42) 0 wit inspect 870    390 7000   - wit inspect
pthread-ext/03_incdec_true-unreach-call.i error (42) 0 wit inspect 870    440 6900   - wit inspect
pthread-ext/04_incdec_cas_true-unreach-call.i error (42) 0 wit inspect 870    1700 6100   - wit inspect
pthread-ext/05_tas_true-unreach-call.i error (42) 0 wit inspect 870    4800 11000   - wit inspect
pthread-ext/06_ticket_true-unreach-call.i error (42) 0 wit inspect 870    190 11000   - wit inspect
pthread-ext/07_rand_true-unreach-call.i error (42) 0 wit inspect 870    810 8100   - wit inspect
pthread-ext/08_rand_cas_true-unreach-call.i error (42) 0 wit inspect 870    4700 12000   - wit inspect
pthread-ext/09_fmaxsym_true-unreach-call.i error (42) 0 wit inspect 870    3900 10000   - wit inspect
pthread-ext/10_fmaxsym_cas_true-unreach-call.i error (42) 0 wit inspect 870    3200 12000   - wit inspect
pthread-ext/11_fmaxsymopt_true-unreach-call.i error (42) 0 wit inspect 870    510 6700   - wit inspect
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i error (42) 0 wit inspect 870    3700 11000   - wit inspect
pthread-ext/13_unverif_true-unreach-call.i error (42) 0 wit inspect 870    7400 5900   - wit inspect
pthread-ext/14_spin2003_true-unreach-call.i error (42) 0 wit inspect 870    220 11000   - wit inspect
pthread-ext/15_dekker_true-unreach-call.i error (42) 0 wit inspect 870    900 9900   - wit inspect
pthread-ext/16_peterson_true-unreach-call.i true 2 wit inspect 1.0  37 9.4 - wit inspect
pthread-ext/17_szymanski_true-unreach-call.i error (42) 0 wit inspect 870    890 11000   - wit inspect
pthread-ext/18_read_write_lock_true-unreach-call.i true 2 wit inspect .96 37 8.7 - wit inspect
pthread-ext/19_time_var_mutex_true-unreach-call.i true 2 wit inspect 1.0  37 9.6 - wit inspect
pthread-ext/20_lamport_true-unreach-call.i true 2 wit inspect 1.6  39 14   - wit inspect
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i true 2 wit inspect .98 37 11   - wit inspect
pthread-ext/25_stack_longer_true-unreach-call.i error (42) 0 wit inspect 870    4100 9000   - wit inspect
pthread-ext/25_stack_longest_true-unreach-call.i error (42) 0 wit inspect 870    4100 12000   - wit inspect
pthread-ext/25_stack_true-unreach-call.i error (42) 0 wit inspect 870    5400 13000   - wit inspect
pthread-ext/26_stack_cas_longer_true-unreach-call.i error (42) 0 wit inspect 870    3000 9300   - wit inspect
pthread-ext/26_stack_cas_longest_true-unreach-call.i error (42) 0 wit inspect 870    4800 9700   - wit inspect
pthread-ext/26_stack_cas_true-unreach-call.i error (42) 0 wit inspect 870    2900 9500   - wit inspect
pthread-ext/29_conditionals_vs_true-unreach-call.i error (42) 0 wit inspect 870    1400 5100   - wit inspect
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i error (42) 0 wit inspect 870    1900 6200   - wit inspect
pthread-ext/31_simple_loop5_vs_true-unreach-call.i error (42) 0 wit inspect 870    1600 4100   - wit inspect
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i error (42) 0 wit inspect 870    310 5700   - wit inspect
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i error (42) 0 wit inspect 870    320 8000   - wit inspect
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i error (42) 0 wit inspect 870    270 7800   - wit inspect
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i error (42) 0 wit inspect 870    4400 9700   - wit inspect
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i error (42) 0 wit inspect 870    10000 5800   - wit inspect
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i error (42) 0 wit inspect 880    9100 12000   - wit inspect
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i error (42) 0 wit inspect 870    2000 9100   - wit inspect
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i error (42) 0 wit inspect 870    4200 7300   - wit inspect
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i error (42) 0 wit inspect 880    2200 9600   - wit inspect
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i error (1) 0 wit inspect 870    1500 7600   - wit inspect
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i error (42) 0 wit inspect 870    3500 11000   - wit inspect
pthread-ext/45_monabsex1_vs_true-unreach-call.i error (42) 0 wit inspect 870    5900 5600   - wit inspect
pthread-ext/46_monabsex2_vs_true-unreach-call.i error (42) 0 wit inspect 870    4600 4400   - wit inspect
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i error (42) 0 wit inspect 870    2200 4000   - wit inspect
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i error (42) 0 wit inspect 870    250 12000   - wit inspect
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .77 43 7.2 false(unreach-call) 1 wit inspect 64    2000
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 41 6.2 false(unreach-call) 1 wit inspect 44    1700
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 43 6.9 false(unreach-call) 1 wit inspect 63    2100
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 41 6.5 false(unreach-call) 1 wit inspect 33    1700
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 44 8.2 false(unreach-call) 1 wit inspect 67    2100
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 41 6.3 false(unreach-call) 1 wit inspect 44    1700
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .77 43 9.1 false(unreach-call) 1 wit inspect 66    2000
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 41 6.5 false(unreach-call) 1 wit inspect 41    1700
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 47 6.9 timeout 0 wit inspect 92    2200
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .74 43 7.7 false(unreach-call) 1 wit inspect 90    2100
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .77 47 7.4 timeout 0 wit inspect 91    2200
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .74 43 9.6 timeout 0 wit inspect 92    2200
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .77 47 8.9 timeout 0 wit inspect 91    2200
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .75 43 8.0 false(unreach-call) 1 wit inspect 90    2200
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .76 47 8.0 timeout 0 wit inspect 92    2200
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .77 44 7.4 timeout 0 wit inspect 91    2200
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .76 45 7.5 timeout 0 wit inspect 91    2200
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .73 43 7.6 timeout 0 wit inspect 92    2200
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 45 7.4 timeout 0 wit inspect 91    2200
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .73 44 6.6 timeout 0 wit inspect 91    2200
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .77 44 8.0 timeout 0 wit inspect 92    2200
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .73 43 6.4 timeout 0 wit inspect 92    2200
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .73 44 6.5 timeout 0 wit inspect 91    2200
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .70 44 6.5 timeout 0 wit inspect 92    2200
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .71 43 6.9 false(unreach-call) 1 wit inspect 89    2200
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 8.4 false(unreach-call) 1 wit inspect 73    2200
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .77 43 8.9 false(unreach-call) 1 wit inspect 82    2100
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 42 6.7 false(unreach-call) 1 wit inspect 90    2100
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .77 43 8.8 false(unreach-call) 1 wit inspect 75    2200
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 7.9 false(unreach-call) 1 wit inspect 81    2200
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 1 wit inspect .73 43 7.6 false(unreach-call) 1 wit inspect 75    2200
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .69 42 6.4 timeout 0 wit inspect 92    2200
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 45 8.2 timeout 0 wit inspect 92    2200
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 42 8.2 false(unreach-call) 1 wit inspect 87    2200
pthread-wmm/mix004_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .87 47 11   timeout 0 wit inspect 98    2400
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .86 45 8.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix004_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 50 7.3 timeout 0 wit inspect 97    2400
pthread-wmm/mix004_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 45 8.0 timeout 0 wit inspect 92    2400
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .83 49 7.9 timeout 0 wit inspect 92    2400
pthread-wmm/mix004_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 45 8.4 timeout 0 wit inspect 91    2300
pthread-wmm/mix004_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 50 8.3 timeout 0 wit inspect 95    2400
pthread-wmm/mix004_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 45 8.5 timeout 0 wit inspect 92    2400
pthread-wmm/mix005_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .91 48 9.7 timeout 0 wit inspect 92    2500
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .80 44 7.5 timeout 0 wit inspect 92    2400
pthread-wmm/mix005_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .99 50 10   timeout 0 wit inspect 92    2400
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .93 44 9.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .95 50 11   timeout 0 wit inspect 92    2400
pthread-wmm/mix005_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .92 44 9.3 timeout 0 wit inspect 92    2500
pthread-wmm/mix005_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .83 48 8.0 timeout 0 wit inspect 92    2500
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .92 44 9.9 timeout 0 wit inspect 92    2400
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .83 43 12   timeout 0 wit inspect 91    2200
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 42 7.9 timeout (false(unreach-call)) 0 wit inspect 90    2200
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .72 43 7.8 timeout 0 wit inspect 91    2100
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .69 42 8.4 timeout 0 wit inspect 92    2200
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .72 43 7.7 timeout 0 wit inspect 91    2200
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 6.8 false(unreach-call) 1 wit inspect 84    2200
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .99 59 13   timeout 0 wit inspect 92    2200
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 42 6.6 false(unreach-call) 1 wit inspect 77    2100
pthread-wmm/mix007_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 50 8.6 timeout 0 wit inspect 96    2400
pthread-wmm/mix007_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 44 7.6 timeout 0 wit inspect 92    2400
pthread-wmm/mix007_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .74 48 9.4 timeout 0 wit inspect 95    2400
pthread-wmm/mix007_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .74 44 8.5 timeout 0 wit inspect 92    2400
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 48 5.9 timeout 0 wit inspect 93    2400
pthread-wmm/mix007_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 44 7.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix007_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 48 8.2 timeout 0 wit inspect 92    2500
pthread-wmm/mix007_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 44 7.7 timeout 0 wit inspect 93    2400
pthread-wmm/mix008_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 48 9.7 timeout 0 wit inspect 94    2400
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .70 45 6.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix008_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 48 7.9 timeout 0 wit inspect 98    2400
pthread-wmm/mix008_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .81 46 8.6 timeout 0 wit inspect 92    2400
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .77 48 7.4 timeout 0 wit inspect 97    2400
pthread-wmm/mix008_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .79 45 7.5 timeout 0 wit inspect 92    2400
pthread-wmm/mix008_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 1.2  64 12   timeout 0 wit inspect 98    2500
pthread-wmm/mix008_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .79 45 7.9 timeout 0 wit inspect 93    2400
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 41 5.5 false(unreach-call) 1 wit inspect 25    1500
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 42 6.5 false(unreach-call) 1 wit inspect 43    1700
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 41 6.0 false(unreach-call) 1 wit inspect 34    1400
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 6.9 false(unreach-call) 1 wit inspect 46    1700
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 41 6.4 false(unreach-call) 1 wit inspect 36    1500
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 43 6.7 false(unreach-call) 1 wit inspect 47    1700
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 6.4 false(unreach-call) 1 wit inspect 34    1600
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 6.7 false(unreach-call) 1 wit inspect 44    1800
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .71 43 7.1 false(unreach-call) 1 wit inspect 81    2200
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 43 6.3 false(unreach-call) 1 wit inspect 89    2200
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .73 43 6.9 timeout 0 wit inspect 91    2200
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 45 7.1 false(unreach-call) 1 wit inspect 85    2200
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .70 43 7.7 timeout 0 wit inspect 91    2200
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 43 7.8 timeout 0 wit inspect 91    2200
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .70 43 8.1 timeout 0 wit inspect 91    2100
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 43 7.0 timeout 0 wit inspect 92    2200
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .71 42 7.1 timeout 0 wit inspect 92    2100
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .70 42 6.5 timeout 0 wit inspect 92    2200
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 43 6.7 false(unreach-call) 1 wit inspect 79    2200
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 42 6.8 timeout 0 wit inspect 92    2200
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .69 43 6.3 timeout 0 wit inspect 92    2200
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .70 42 9.5 timeout 0 wit inspect 91    2200
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .71 43 7.5 false(unreach-call) 1 wit inspect 41    2000
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 43 8.2 timeout 0 wit inspect 92    2200
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 5.9 false(unreach-call) 1 wit inspect 28    1300
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .61 40 7.3 false(unreach-call) 1 wit inspect 32    1300
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 40 6.1 false(unreach-call) 1 wit inspect 27    1300
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 41 6.8 false(unreach-call) 1 wit inspect 29    1700
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 40 6.8 false(unreach-call) 1 wit inspect 20    1400
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 6.2 false(unreach-call) 1 wit inspect 35    1300
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 6.3 false(unreach-call) 1 wit inspect 29    1300
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 41 7.5 false(unreach-call) 1 wit inspect 50    1600
pthread-wmm/mix013_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .81 48 9.0 timeout 0 wit inspect 92    2500
pthread-wmm/mix013_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .77 45 7.1 timeout 0 wit inspect 92    2400
pthread-wmm/mix013_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .83 47 8.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix013_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 45 6.9 timeout 0 wit inspect 92    2500
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 48 7.8 timeout 0 wit inspect 93    2400
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .72 45 7.9 timeout 0 wit inspect 92    2400
pthread-wmm/mix013_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .84 48 8.1 timeout 0 wit inspect 98    2400
pthread-wmm/mix013_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .74 45 7.7 timeout 0 wit inspect 92    2500
pthread-wmm/mix014_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .85 50 9.5 timeout 0 wit inspect 97    2400
pthread-wmm/mix014_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .74 44 7.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix014_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 48 7.8 timeout 0 wit inspect 92    2500
pthread-wmm/mix014_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 45 8.2 timeout 0 wit inspect 92    2400
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 48 6.9 timeout 0 wit inspect 91    2500
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 44 7.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix014_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 1.3  65 16   timeout 0 wit inspect 92    2400
pthread-wmm/mix014_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 45 7.5 timeout 0 wit inspect 94    2400
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 43 7.2 timeout 0 wit inspect 91    2200
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .69 43 7.0 timeout 0 wit inspect 91    2200
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .88 43 9.3 timeout 0 wit inspect 91    2200
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 43 7.1 timeout 0 wit inspect 92    2200
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .86 43 10   false(unreach-call) 1 wit inspect 82    2200
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 43 6.3 timeout 0 wit inspect 91    2200
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .91 43 8.9 timeout 0 wit inspect 92    2200
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .69 43 7.0 timeout 0 wit inspect 92    2200
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.3 false(unreach-call) 1 wit inspect 82    2200
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .73 43 7.0 false(unreach-call) 1 wit inspect 55    2100
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .79 42 8.0 false(unreach-call) 1 wit inspect 86    2100
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .80 42 7.8 false(unreach-call) 1 wit inspect 81    2200
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .81 42 8.1 timeout 0 wit inspect 91    2000
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 43 7.2 false(unreach-call) 1 wit inspect 54    2100
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .80 42 9.4 false(unreach-call) 1 wit inspect 82    2200
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .80 42 7.8 false(unreach-call) 1 wit inspect 86    2200
pthread-wmm/mix017_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .81 48 8.0 timeout 0 wit inspect 92    2300
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .70 43 6.2 timeout 0 wit inspect 94    2400
pthread-wmm/mix017_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .77 49 9.6 timeout 0 wit inspect 92    2300
pthread-wmm/mix017_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .77 45 7.7 timeout 0 wit inspect 92    2500
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .74 47 7.7 timeout 0 wit inspect 94    2400
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 43 7.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix017_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 47 8.9 timeout 0 wit inspect 92    2400
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 45 7.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix018_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 50 9.1 timeout 0 wit inspect 92    2400
pthread-wmm/mix018_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .74 45 9.3 timeout 0 wit inspect 92    2500
pthread-wmm/mix018_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .74 50 7.6 timeout 0 wit inspect 92    2300
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 45 9.0 timeout 0 wit inspect 94    2400
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 48 7.2 timeout 0 wit inspect 98    2400
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .69 45 7.9 timeout 0 wit inspect 93    2400
pthread-wmm/mix018_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 48 8.0 timeout 0 wit inspect 93    2400
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .72 45 8.1 timeout 0 wit inspect 92    2400
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .76 42 7.9 false(unreach-call) 1 wit inspect 80    2200
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .66 42 8.8 timeout (false(unreach-call)) 0 wit inspect 91    2100
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .74 43 8.7 false(unreach-call) 1 wit inspect 79    2100
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .66 43 8.7 timeout 0 wit inspect 91    2200
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .74 43 7.6 false(unreach-call) 1 wit inspect 82    2100
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 43 7.0 false(unreach-call) 1 wit inspect 87    2200
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 7.4 false(unreach-call) 1 wit inspect 59    1800
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 43 7.6 false(unreach-call) 1 wit inspect 78    2200
pthread-wmm/mix020_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 48 8.7 timeout 0 wit inspect 98    2400
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .77 45 7.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix020_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .76 48 7.1 timeout 0 wit inspect 92    2400
pthread-wmm/mix020_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 46 7.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .74 48 7.5 timeout 0 wit inspect 98    2400
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 45 8.4 timeout 0 wit inspect 92    2400
pthread-wmm/mix020_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .71 48 8.7 timeout 0 wit inspect 93    2500
pthread-wmm/mix020_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 45 8.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix021_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .86 50 9.9 timeout 0 wit inspect 93    2400
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .77 45 8.5 timeout 0 wit inspect 92    2400
pthread-wmm/mix021_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 50 7.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix021_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 46 8.1 timeout 0 wit inspect 97    2400
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 48 7.5 timeout 0 wit inspect 92    2500
pthread-wmm/mix021_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 45 10   timeout 0 wit inspect 92    2500
pthread-wmm/mix021_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .77 44 6.5 timeout 0 wit inspect 92    2500
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .79 45 10   timeout 0 wit inspect 92    2400
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 40 5.9 false(unreach-call) 1 wit inspect 32    1400
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 5.7 false(unreach-call) 1 wit inspect 30    1400
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .61 40 6.1 false(unreach-call) 1 wit inspect 31    1300
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 6.0 false(unreach-call) 1 wit inspect 27    1400
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 5.9 false(unreach-call) 1 wit inspect 28    1400
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 5.8 false(unreach-call) 1 wit inspect 21    1300
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .75 44 7.3 false(unreach-call) 1 wit inspect 33    1400
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .78 43 7.4 false(unreach-call) 1 wit inspect 35    1400
pthread-wmm/mix023_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 48 9.9 timeout 0 wit inspect 97    2400
pthread-wmm/mix023_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 44 6.9 timeout 0 wit inspect 93    2400
pthread-wmm/mix023_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .84 48 8.4 timeout 0 wit inspect 95    2400
pthread-wmm/mix023_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .84 43 8.4 timeout 0 wit inspect 92    2500
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 48 8.5 timeout 0 wit inspect 92    2500
pthread-wmm/mix023_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .84 43 8.7 timeout 0 wit inspect 92    2500
pthread-wmm/mix023_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 1.3  67 16   timeout 0 wit inspect 92    2300
pthread-wmm/mix023_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 1.3  67 15   timeout 0 wit inspect 96    2400
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .73 43 8.4 timeout (false(unreach-call)) 0 wit inspect 90    2200
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 41 7.0 false(unreach-call) 1 wit inspect 59    2100
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 43 7.8 timeout 0 wit inspect 92    2200
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 41 6.3 false(unreach-call) 1 wit inspect 62    2100
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .81 43 9.0 timeout (false(unreach-call)) 0 wit inspect 91    2100
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 41 5.5 false(unreach-call) 1 wit inspect 63    2100
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .77 43 9.3 timeout 0 wit inspect 92    2200
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .80 43 8.3 timeout 0 wit inspect 92    2200
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 8.1 false(unreach-call) 1 wit inspect 89    2100
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .75 42 7.5 false(unreach-call) 1 wit inspect 80    2100
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72 42 6.4 false(unreach-call) 1 wit inspect 87    2200
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.8 false(unreach-call) 1 wit inspect 55    2100
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 8.4 false(unreach-call) 1 wit inspect 84    2100
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 41 5.8 false(unreach-call) 1 wit inspect 62    2100
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 6.8 false(unreach-call) 1 wit inspect 86    2100
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 6.3 false(unreach-call) 1 wit inspect 85    2200
pthread-wmm/mix026_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .87 48 9.5 timeout 0 wit inspect 95    2400
pthread-wmm/mix026_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 45 7.1 timeout 0 wit inspect 98    2400
pthread-wmm/mix026_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 49 8.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .72 43 8.2 timeout 0 wit inspect 97    2400
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .74 50 9.5 timeout 0 wit inspect 92    2400
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 43 7.9 timeout 0 wit inspect 93    2400
pthread-wmm/mix026_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 48 7.3 timeout 0 wit inspect 97    2400
pthread-wmm/mix026_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 46 8.9 timeout 0 wit inspect 92    2400
pthread-wmm/mix027_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .85 49 8.5 timeout 0 wit inspect 92    2400
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 43 7.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix027_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 48 8.2 timeout 0 wit inspect 98    2400
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 45 6.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 48 7.5 timeout 0 wit inspect 92    2400
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 42 7.4 timeout 0 wit inspect 92    2400
pthread-wmm/mix027_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .86 49 8.2 timeout 0 wit inspect 92    2500
pthread-wmm/mix027_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .86 50 7.7 timeout 0 wit inspect 92    2500
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 7.2 false(unreach-call) 1 wit inspect 82    2100
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 43 7.0 false(unreach-call) 1 wit inspect 71    1900
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .77 42 7.4 false(unreach-call) 1 wit inspect 86    2100
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 43 7.2 false(unreach-call) 1 wit inspect 51    1900
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .76 42 9.0 false(unreach-call) 1 wit inspect 86    2100
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 43 7.3 false(unreach-call) 1 wit inspect 81    1800
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .74 46 7.1 false(unreach-call) 1 wit inspect 50    2100
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .76 46 7.3 false(unreach-call) 1 wit inspect 59    2100
pthread-wmm/mix029_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 48 7.5 timeout 0 wit inspect 98    2400
pthread-wmm/mix029_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 44 7.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix029_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 48 7.9 timeout 0 wit inspect 91    2500
pthread-wmm/mix029_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 1.0  45 11   timeout 0 wit inspect 92    2500
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 48 8.8 timeout 0 wit inspect 91    2400
pthread-wmm/mix029_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 1.0  45 12   timeout 0 wit inspect 92    2500
pthread-wmm/mix029_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 48 8.6 timeout 0 wit inspect 98    2400
pthread-wmm/mix029_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 49 7.9 timeout 0 wit inspect 92    2300
pthread-wmm/mix030_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .92 50 8.4 timeout 0 wit inspect 93    2400
pthread-wmm/mix030_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .87 44 9.4 timeout 0 wit inspect 92    2400
pthread-wmm/mix030_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 48 8.3 timeout 0 wit inspect 97    2400
pthread-wmm/mix030_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .84 45 9.6 timeout 0 wit inspect 92    2500
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 48 7.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix030_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .86 45 7.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .77 48 8.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix030_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .81 48 9.5 timeout 0 wit inspect 92    2400
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 41 7.6 false(unreach-call) 1 wit inspect 33    1500
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 39 7.0 false(unreach-call) 1 wit inspect 26    1000
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 42 7.2 false(unreach-call) 1 wit inspect 35    1500
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 39 6.1 false(unreach-call) 1 wit inspect 25    960
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 41 6.1 false(unreach-call) 1 wit inspect 36    1500
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .60 39 5.7 false(unreach-call) 1 wit inspect 24    990
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.3 false(unreach-call) 1 wit inspect 31    1100
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .61 39 6.1 false(unreach-call) 1 wit inspect 24    950
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .71 44 7.7 timeout 0 wit inspect 91    2200
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 41 6.2 false(unreach-call) 1 wit inspect 34    2100
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .74 44 8.7 timeout (false(unreach-call)) 0 wit inspect 91    2200
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 6.5 false(unreach-call) 1 wit inspect 47    2000
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 44 7.0 timeout 0 wit inspect 93    2200
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 7.0 false(unreach-call) 1 wit inspect 54    2000
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 45 7.1 timeout 0 wit inspect 92    2200
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 42 7.0 false(unreach-call) 1 wit inspect 37    2100
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .70 45 6.8 timeout 0 wit inspect 92    2200
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .72 41 7.8 false(unreach-call) 1 wit inspect 42    2100
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .67 44 6.4 timeout 0 wit inspect 92    2200
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 6.5 false(unreach-call) 1 wit inspect 39    2100
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .69 44 7.6 timeout 0 wit inspect 92    2200
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 41 6.6 false(unreach-call) 1 wit inspect 35    2100
pthread-wmm/mix033_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .77 45 6.7 false(unreach-call) 1 wit inspect 45    1900
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 41 6.2 false(unreach-call) 1 wit inspect 51    2000
pthread-wmm/mix034_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .61 40 6.6 false(unreach-call) 1 wit inspect 32    1300
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 41 5.9 false(unreach-call) 1 wit inspect 24    1300
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 40 7.4 false(unreach-call) 1 wit inspect 30    1400
pthread-wmm/mix034_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 5.6 false(unreach-call) 1 wit inspect 24    940
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60 40 6.0 false(unreach-call) 1 wit inspect 32    1400
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 6.5 false(unreach-call) 1 wit inspect 29    1300
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 41 6.8 false(unreach-call) 1 wit inspect 28    1300
pthread-wmm/mix034_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .61 40 6.1 false(unreach-call) 1 wit inspect 23    990
pthread-wmm/mix035_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.1 false(unreach-call) 1 wit inspect 89    2100
pthread-wmm/mix035_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 42 6.1 false(unreach-call) 1 wit inspect 57    2100
pthread-wmm/mix035_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .85 43 8.1 false(unreach-call) 1 wit inspect 82    2100
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 41 5.9 false(unreach-call) 1 wit inspect 41    2100
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .82 43 8.0 false(unreach-call) 1 wit inspect 89    2100
pthread-wmm/mix035_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 41 6.5 false(unreach-call) 1 wit inspect 58    2100
pthread-wmm/mix035_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .81 42 10   false(unreach-call) 1 wit inspect 85    2100
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 42 6.2 false(unreach-call) 1 wit inspect 45    2000
pthread-wmm/mix036_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 50 8.9 timeout 0 wit inspect 95    2400
pthread-wmm/mix036_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .81 44 7.1 timeout 0 wit inspect 92    2400
pthread-wmm/mix036_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .83 48 10   timeout 0 wit inspect 98    2400
pthread-wmm/mix036_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .89 42 8.8 timeout 0 wit inspect 92    2500
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .84 48 9.5 timeout 0 wit inspect 97    2400
pthread-wmm/mix036_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .72 43 6.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix036_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .83 48 10   timeout 0 wit inspect 97    2400
pthread-wmm/mix036_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .88 41 10   timeout 0 wit inspect 92    2400
pthread-wmm/mix037_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .85 48 7.7 timeout 0 wit inspect 98    2400
pthread-wmm/mix037_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .70 42 8.0 timeout 0 wit inspect 92    2400
pthread-wmm/mix037_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 48 7.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix037_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .72 41 7.2 timeout 0 wit inspect 92    2500
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .77 48 9.1 timeout 0 wit inspect 95    2400
pthread-wmm/mix037_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .70 40 6.4 timeout 0 wit inspect 92    2400
pthread-wmm/mix037_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 50 8.6 timeout 0 wit inspect 92    2500
pthread-wmm/mix037_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 41 5.9 timeout 0 wit inspect 92    2500
pthread-wmm/mix038_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 6.0 false(unreach-call) 1 wit inspect 88    2100
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 42 6.9 false(unreach-call) 1 wit inspect 42    2100
pthread-wmm/mix038_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .73 43 7.6 false(unreach-call) 1 wit inspect 84    2100
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 41 6.3 false(unreach-call) 1 wit inspect 43    2100
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 9.9 false(unreach-call) 1 wit inspect 88    2100
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 41 5.9 false(unreach-call) 1 wit inspect 48    2100
pthread-wmm/mix038_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .74 43 9.3 false(unreach-call) 1 wit inspect 41    1900
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 41 5.9 false(unreach-call) 1 wit inspect 41    2000
pthread-wmm/mix039_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .84 50 7.6 timeout 0 wit inspect 97    2400
pthread-wmm/mix039_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .69 42 6.9 timeout 0 wit inspect 92    2500
pthread-wmm/mix039_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .87 48 8.9 timeout 0 wit inspect 98    2400
pthread-wmm/mix039_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .73 41 7.3 timeout 0 wit inspect 97    2400
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .90 50 9.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix039_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .73 41 6.8 timeout 0 wit inspect 92    2500
pthread-wmm/mix039_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .86 48 11   timeout 0 wit inspect 98    2400
pthread-wmm/mix039_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 42 7.3 timeout 0 wit inspect 93    2500
pthread-wmm/mix040_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 48 8.5 timeout 0 wit inspect 98    2400
pthread-wmm/mix040_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .72 42 8.6 timeout 0 wit inspect 92    2500
pthread-wmm/mix040_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .86 48 9.1 timeout 0 wit inspect 96    2400
pthread-wmm/mix040_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .69 43 8.6 timeout 0 wit inspect 92    2600
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .85 48 9.8 timeout 0 wit inspect 92    2500
pthread-wmm/mix040_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .68 42 8.2 timeout 0 wit inspect 93    2500
pthread-wmm/mix040_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .83 44 7.6 timeout 0 wit inspect 92    2600
pthread-wmm/mix040_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .68 42 8.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 40 6.3 false(unreach-call) 1 wit inspect 31    1300
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 6.3 false(unreach-call) 1 wit inspect 16    680
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 40 7.1 false(unreach-call) 1 wit inspect 30    1300
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 40 7.2 false(unreach-call) 1 wit inspect 15    680
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 5.9 false(unreach-call) 1 wit inspect 29    1300
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 40 6.3 false(unreach-call) 1 wit inspect 18    690
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 40 6.7 false(unreach-call) 1 wit inspect 16    690
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 40 6.7 false(unreach-call) 1 wit inspect 17    600
pthread-wmm/mix042_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .73 42 9.1 false(unreach-call) 1 wit inspect 88    2100
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 41 6.7 false(unreach-call) 1 wit inspect 26    1500
pthread-wmm/mix042_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.0 false(unreach-call) 1 wit inspect 85    2100
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 8.6 false(unreach-call) 1 wit inspect 26    1400
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.8 false(unreach-call) 1 wit inspect 85    2200
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 41 7.2 false(unreach-call) 1 wit inspect 28    1500
pthread-wmm/mix042_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 9.0 false(unreach-call) 1 wit inspect 83    2100
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 7.0 false(unreach-call) 1 wit inspect 18    1500
pthread-wmm/mix043_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 49 8.1 timeout 0 wit inspect 95    2400
pthread-wmm/mix043_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 45 9.3 timeout 0 wit inspect 93    2500
pthread-wmm/mix043_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 48 7.2 timeout 0 wit inspect 91    2500
pthread-wmm/mix043_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 43 8.0 timeout 0 wit inspect 93    2500
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .77 48 8.0 timeout 0 wit inspect 98    2400
pthread-wmm/mix043_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 43 7.7 timeout 0 wit inspect 92    2400
pthread-wmm/mix043_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .76 50 6.8 timeout 0 wit inspect 95    2400
pthread-wmm/mix043_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 45 8.9 timeout 0 wit inspect 92    2600
pthread-wmm/mix044_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 48 8.1 timeout 0 wit inspect 92    2400
pthread-wmm/mix044_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .70 44 6.5 timeout (false(unreach-call)) 0 wit inspect 92    2700
pthread-wmm/mix044_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .76 48 7.6 timeout 0 wit inspect 93    2400
pthread-wmm/mix044_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .70 44 7.1 timeout 0 wit inspect 92    2500
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 50 7.5 timeout 0 wit inspect 92    2500
pthread-wmm/mix044_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .69 43 7.7 timeout 0 wit inspect 92    2600
pthread-wmm/mix044_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 48 7.9 timeout 0 wit inspect 92    2500
pthread-wmm/mix044_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .69 44 6.5 timeout 0 wit inspect 92    2500
pthread-wmm/mix045_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .73 42 6.8 false(unreach-call) 1 wit inspect 88    2200
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 43 6.3 false(unreach-call) 1 wit inspect 27    1500
pthread-wmm/mix045_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .71 42 6.8 false(unreach-call) 1 wit inspect 86    2100
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 6.1 false(unreach-call) 1 wit inspect 41    1500
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 6.8 false(unreach-call) 1 wit inspect 74    2200
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 6.2 false(unreach-call) 1 wit inspect 29    1500
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 43 7.8 false(unreach-call) 1 wit inspect 31    1100
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 6.7 false(unreach-call) 1 wit inspect 29    1400
pthread-wmm/mix046_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .92 48 9.0 timeout 0 wit inspect 92    2500
pthread-wmm/mix046_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 44 7.6 timeout 0 wit inspect 92    2500
pthread-wmm/mix046_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .87 48 8.4 timeout 0 wit inspect 92    2400
pthread-wmm/mix046_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .68 44 7.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .84 48 10   timeout 0 wit inspect 92    2400
pthread-wmm/mix046_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .70 43 6.9 timeout 0 wit inspect 92    2600
pthread-wmm/mix046_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .85 48 9.3 timeout 0 wit inspect 97    2400
pthread-wmm/mix046_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .72 45 6.7 timeout 0 wit inspect 97    2200
pthread-wmm/mix047_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .91 48 11   timeout 0 wit inspect 92    2500
pthread-wmm/mix047_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 43 7.2 timeout 0 wit inspect 92    2600
pthread-wmm/mix047_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .81 48 7.3 timeout 0 wit inspect 93    2400
pthread-wmm/mix047_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .82 44 7.9 timeout 0 wit inspect 92    2500
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 48 8.7 timeout 0 wit inspect 97    2400
pthread-wmm/mix047_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 45 11   timeout 0 wit inspect 92    2500
pthread-wmm/mix047_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 45 8.3 timeout 0 wit inspect 93    2600
pthread-wmm/mix047_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .81 43 8.0 timeout 0 wit inspect 92    2600
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 40 7.0 false(unreach-call) 1 wit inspect 29    1200
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 5.5 false(unreach-call) 1 wit inspect 29    1300
pthread-wmm/mix048_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 5.8 false(unreach-call) 1 wit inspect 29    1300
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 6.2 false(unreach-call) 1 wit inspect 28    1300
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60 40 6.2 false(unreach-call) 1 wit inspect 36    1300
pthread-wmm/mix048_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .62 40 5.7 false(unreach-call) 1 wit inspect 29    1300
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .61 40 5.9 false(unreach-call) 1 wit inspect 31    1300
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .60 39 6.5 false(unreach-call) 1 wit inspect 33    1200
pthread-wmm/mix049_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72 43 7.6 false(unreach-call) 1 wit inspect 79    2100
pthread-wmm/mix049_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .74 42 6.9 false(unreach-call) 1 wit inspect 70    2100
pthread-wmm/mix049_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .76 42 8.7 false(unreach-call) 1 wit inspect 75    2100
pthread-wmm/mix049_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .74 43 9.5 false(unreach-call) 1 wit inspect 87    2100
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .77 42 8.6 false(unreach-call) 1 wit inspect 84    2100
pthread-wmm/mix049_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 42 7.5 timeout 0 wit inspect 91    2100
pthread-wmm/mix049_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .76 42 7.9 false(unreach-call) 1 wit inspect 77    2100
pthread-wmm/mix049_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .75 42 9.2 false(unreach-call) 1 wit inspect 71    2100
pthread-wmm/mix050_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 50 7.6 timeout 0 wit inspect 98    2400
pthread-wmm/mix050_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .85 48 9.2 timeout 0 wit inspect 98    2400
pthread-wmm/mix050_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .85 48 8.9 timeout 0 wit inspect 92    2300
pthread-wmm/mix050_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .82 48 8.6 timeout 0 wit inspect 92    2400
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .84 48 9.0 timeout 0 wit inspect 92    2300
pthread-wmm/mix050_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .87 50 9.2 timeout 0 wit inspect 98    2400
pthread-wmm/mix050_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 48 9.9 timeout 0 wit inspect 98    2400
pthread-wmm/mix050_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .82 48 8.1 timeout 0 wit inspect 93    2400
pthread-wmm/mix051_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 50 8.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix051_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .83 48 8.7 timeout 0 wit inspect 92    2300
pthread-wmm/mix051_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .86 48 9.2 timeout 0 wit inspect 91    2300
pthread-wmm/mix051_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 42 7.6 timeout 0 wit inspect 92    2400
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .85 48 9.3 timeout 0 wit inspect 92    2300
pthread-wmm/mix051_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .68 42 6.8 timeout 0 wit inspect 92    2400
pthread-wmm/mix051_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .76 48 7.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix051_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .68 42 6.7 timeout 0 wit inspect 93    2400
pthread-wmm/mix052_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.6 false(unreach-call) 1 wit inspect 85    2100
pthread-wmm/mix052_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.2 false(unreach-call) 1 wit inspect 85    2100
pthread-wmm/mix052_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72 42 7.3 false(unreach-call) 1 wit inspect 83    2100
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .62 39 8.4 false(unreach-call) 1 wit inspect 39    1900
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 9.0 false(unreach-call) 1 wit inspect 87    2100
pthread-wmm/mix052_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 39 6.5 false(unreach-call) 1 wit inspect 40    2000
pthread-wmm/mix052_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.7 false(unreach-call) 1 wit inspect 45    1600
pthread-wmm/mix052_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 39 5.7 false(unreach-call) 1 wit inspect 30    2000
pthread-wmm/mix053_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 48 8.5 timeout 0 wit inspect 92    2400
pthread-wmm/mix053_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 42 7.3 timeout 0 wit inspect 92    2500
pthread-wmm/mix053_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 48 8.8 timeout 0 wit inspect 95    2400
pthread-wmm/mix053_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 42 7.3 timeout 0 wit inspect 92    2400
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 50 7.5 timeout 0 wit inspect 92    2400
pthread-wmm/mix053_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .68 42 6.9 timeout 0 wit inspect 92    2500
pthread-wmm/mix053_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 43 7.6 timeout 0 wit inspect 91    2600
pthread-wmm/mix053_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .68 42 7.0 timeout 0 wit inspect 92    2400
pthread-wmm/mix054_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .61 40 7.5 false(unreach-call) 1 wit inspect 33    1300
pthread-wmm/mix054_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 40 5.9 false(unreach-call) 1 wit inspect 31    1300
pthread-wmm/mix054_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 39 6.2 false(unreach-call) 1 wit inspect 31    1300
pthread-wmm/mix054_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 40 6.2 false(unreach-call) 1 wit inspect 16    620
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 6.5 false(unreach-call) 1 wit inspect 22    1200
pthread-wmm/mix054_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 40 6.1 false(unreach-call) 1 wit inspect 19    630
pthread-wmm/mix054_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 40 7.1 false(unreach-call) 1 wit inspect 19    550
pthread-wmm/mix054_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 6.4 false(unreach-call) 1 wit inspect 17    630
pthread-wmm/mix055_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 48 7.8 timeout 0 wit inspect 93    2400
pthread-wmm/mix055_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .77 42 7.2 timeout 0 wit inspect 92    2500
pthread-wmm/mix055_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .81 48 7.5 timeout 0 wit inspect 92    2300
pthread-wmm/mix055_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .67 42 7.6 timeout 0 wit inspect 92    2500
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .83 48 8.6 timeout 0 wit inspect 92    2400
pthread-wmm/mix055_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 42 8.7 timeout 0 wit inspect 92    2400
pthread-wmm/mix055_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 47 8.2 timeout 0 wit inspect 92    2300
pthread-wmm/mix055_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .70 42 6.9 timeout 0 wit inspect 92    2600
pthread-wmm/mix056_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 7.9 false(unreach-call) 1 wit inspect 88    2100
pthread-wmm/mix056_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 41 6.0 false(unreach-call) 1 wit inspect 22    1100
pthread-wmm/mix056_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 43 6.3 false(unreach-call) 1 wit inspect 81    2100
pthread-wmm/mix056_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.6 false(unreach-call) 1 wit inspect 27    1100
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 43 6.9 false(unreach-call) 1 wit inspect 81    2100
pthread-wmm/mix056_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 41 6.0 false(unreach-call) 1 wit inspect 24    1200
pthread-wmm/mix056_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 42 7.9 false(unreach-call) 1 wit inspect 27    1100
pthread-wmm/mix056_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 6.6 false(unreach-call) 1 wit inspect 24    1100
pthread-wmm/mix057_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .84 47 9.0 timeout 0 wit inspect 98    2400
pthread-wmm/mix057_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .67 42 6.8 timeout (false(unreach-call)) 0 wit inspect 91    2600
pthread-wmm/mix057_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 48 8.2 timeout 0 wit inspect 91    2400
pthread-wmm/mix057_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .68 42 8.1 timeout 0 wit inspect 92    2500
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .80 47 7.7 timeout 0 wit inspect 92    2400
pthread-wmm/mix057_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 42 8.7 timeout 0 wit inspect 93    2500
pthread-wmm/mix057_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .72 42 6.5 timeout 0 wit inspect 92    2500
pthread-wmm/mix057_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .73 42 7.3 timeout 0 wit inspect 92    2500
pthread-wmm/podwr000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60 40 7.5 false(unreach-call) 1 wit inspect 33    1300
pthread-wmm/podwr000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 40 7.2 false(unreach-call) 1 wit inspect 30    1300
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 40 5.1 false(unreach-call) 1 wit inspect 30    1300
pthread-wmm/podwr000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .61 40 5.8 false(unreach-call) 1 wit inspect 27    1300
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 40 8.1 false(unreach-call) 1 wit inspect 25    1400
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .61 40 7.7 false(unreach-call) 1 wit inspect 32    1300
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 40 7.3 false(unreach-call) 1 wit inspect 33    1300
pthread-wmm/podwr000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 6.0 false(unreach-call) 1 wit inspect 30    1300
pthread-wmm/podwr001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72 42 8.0 false(unreach-call) 1 wit inspect 85    2100
pthread-wmm/podwr001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 6.5 false(unreach-call) 1 wit inspect 76    2100
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72 42 7.0 false(unreach-call) 1 wit inspect 85    2200
pthread-wmm/podwr001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 6.4 false(unreach-call) 1 wit inspect 66    2100
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 7.2 false(unreach-call) 1 wit inspect 82    2100
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .75 42 7.8 false(unreach-call) 1 wit inspect 80    2100
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 7.4 false(unreach-call) 1 wit inspect 82    2100
pthread-wmm/podwr001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 42 8.7 false(unreach-call) 1 wit inspect 83    2100
pthread-wmm/rfi000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72 49 8.3 false(unreach-call) 1 wit inspect 65    2000
pthread-wmm/rfi000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 43 6.4 false(unreach-call) 1 wit inspect 18    660
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .76 47 7.6 false(unreach-call) 1 wit inspect 67    1900
pthread-wmm/rfi000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 6.2 false(unreach-call) 1 wit inspect 18    680
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .78 47 8.3 false(unreach-call) 1 wit inspect 68    2000
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 7.4 false(unreach-call) 1 wit inspect 18    680
pthread-wmm/rfi001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 5.5 false(unreach-call) 1 wit inspect 30    1400
pthread-wmm/rfi001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 6.6 false(unreach-call) 1 wit inspect 16    660
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 5.9 false(unreach-call) 1 wit inspect 31    1300
pthread-wmm/rfi001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 5.3 false(unreach-call) 1 wit inspect 10    680
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 5.8 false(unreach-call) 1 wit inspect 30    1300
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 7.2 false(unreach-call) 1 wit inspect 20    670
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 5.9 false(unreach-call) 1 wit inspect 17    680
pthread-wmm/rfi001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .62 40 7.0 false(unreach-call) 1 wit inspect 11    660
pthread-wmm/rfi003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 39 6.2 false(unreach-call) 1 wit inspect 22    1000
pthread-wmm/rfi003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 6.4 false(unreach-call) 1 wit inspect 14    980
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 5.6 false(unreach-call) 1 wit inspect 17    970
pthread-wmm/rfi003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 6.7 false(unreach-call) 1 wit inspect 21    1000
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 6.3 false(unreach-call) 1 wit inspect 22    1000
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 41 6.1 false(unreach-call) 1 wit inspect 23    860
pthread-wmm/rfi004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60 41 6.0 false(unreach-call) 1 wit inspect 25    930
pthread-wmm/rfi004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .60 40 6.7 false(unreach-call) 1 wit inspect 15    980
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 39 5.9 false(unreach-call) 1 wit inspect 27    890
pthread-wmm/rfi004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 41 5.8 false(unreach-call) 1 wit inspect 24    990
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 41 6.3 false(unreach-call) 1 wit inspect 24    1100
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .62 39 6.4 false(unreach-call) 1 wit inspect 18    1000
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 7.2 false(unreach-call) 1 wit inspect 26    970
pthread-wmm/rfi004_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 39 5.3 false(unreach-call) 1 wit inspect 24    980
pthread-wmm/rfi005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 46 7.9 false(unreach-call) 1 wit inspect 7.4  420
pthread-wmm/rfi005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .72 46 6.7 false(unreach-call) 1 wit inspect 7.7  420
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72 46 6.5 false(unreach-call) 1 wit inspect 8.2  430
pthread-wmm/rfi005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .72 46 6.7 false(unreach-call) 1 wit inspect 7.1  410
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 46 8.5 false(unreach-call) 1 wit inspect 8.3  420
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 46 7.8 false(unreach-call) 1 wit inspect 6.8  410
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 47 8.1 false(unreach-call) 1 wit inspect 7.1  410
pthread-wmm/rfi005_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 46 7.2 false(unreach-call) 1 wit inspect 7.4  410
pthread-wmm/rfi006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .74 42 6.4 false(unreach-call) 1 wit inspect 62    2100
pthread-wmm/rfi006_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .69 45 6.9 timeout 0 wit inspect 91    2100
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .74 46 7.4 timeout 0 wit inspect 91    2200
pthread-wmm/rfi006_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .76 46 7.7 false(unreach-call) 1 wit inspect 88    2100
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 5.7 false(unreach-call) 1 wit inspect 62    2000
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 42 6.1 false(unreach-call) 1 wit inspect 52    2100
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .75 48 6.7 false(unreach-call) 1 wit inspect 86    2100
pthread-wmm/rfi006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .76 48 8.3 false(unreach-call) 1 wit inspect 85    2200
pthread-wmm/rfi007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 40 6.8 false(unreach-call) 1 wit inspect 31    1300
pthread-wmm/rfi007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 5.6 false(unreach-call) 1 wit inspect 33    1300
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 40 7.8 false(unreach-call) 1 wit inspect 23    1300
pthread-wmm/rfi007_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 6.2 false(unreach-call) 1 wit inspect 31    1400
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 6.3 false(unreach-call) 1 wit inspect 32    1300
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 7.5 false(unreach-call) 1 wit inspect 29    1300
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .77 44 7.7 false(unreach-call) 1 wit inspect 23    1400
pthread-wmm/rfi007_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 44 7.9 false(unreach-call) 1 wit inspect 36    1400
pthread-wmm/rfi008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 43 8.0 false(unreach-call) 1 wit inspect 51    2000
pthread-wmm/rfi008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 41 6.0 false(unreach-call) 1 wit inspect 42    1700
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 43 6.9 false(unreach-call) 1 wit inspect 63    2000
pthread-wmm/rfi008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 41 8.0 false(unreach-call) 1 wit inspect 43    1700
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 43 7.0 false(unreach-call) 1 wit inspect 62    2000
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 41 7.6 false(unreach-call) 1 wit inspect 42    1700
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72 43 6.5 false(unreach-call) 1 wit inspect 64    2000
pthread-wmm/rfi008_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 41 7.2 false(unreach-call) 1 wit inspect 38    1800
pthread-wmm/rfi009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 6.3 false(unreach-call) 1 wit inspect 69    2100
pthread-wmm/rfi009_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .77 46 8.4 timeout 0 wit inspect 92    2200
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .76 46 7.5 timeout 0 wit inspect 92    2100
pthread-wmm/rfi009_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .73 46 8.7 timeout 0 wit inspect 92    2200
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 6.6 false(unreach-call) 1 wit inspect 70    2000
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 46 7.8 timeout 0 wit inspect 92    2200
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 46 7.6 timeout 0 wit inspect 92    2200
pthread-wmm/rfi009_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 46 7.4 timeout 0 wit inspect 92    2100
pthread-wmm/rfi010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 41 6.0 false(unreach-call) 1 wit inspect 56    1700
pthread-wmm/rfi010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 41 7.1 false(unreach-call) 1 wit inspect 43    1600
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 41 6.7 false(unreach-call) 1 wit inspect 45    1800
pthread-wmm/rfi010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 41 7.1 false(unreach-call) 1 wit inspect 40    1600
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 41 6.4 false(unreach-call) 1 wit inspect 47    1800
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 41 6.4 false(unreach-call) 1 wit inspect 42    1600
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 41 7.8 false(unreach-call) 1 wit inspect 40    1700
pthread-wmm/rfi010_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 41 7.0 false(unreach-call) 1 wit inspect 40    1600
pthread-wmm/safe000_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .76 47 7.2 timeout 0 wit inspect 91    2100
pthread-wmm/safe000_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .79 45 8.8 timeout 0 wit inspect 91    2100
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .74 47 7.2 timeout 0 wit inspect 91    2100
pthread-wmm/safe000_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 46 7.2 timeout 0 wit inspect 91    2100
pthread-wmm/safe001_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 47 7.0 timeout 0 wit inspect 91    2100
pthread-wmm/safe001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 42 6.9 false(unreach-call) 1 wit inspect 38    1800
pthread-wmm/safe001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .73 42 7.3 false(unreach-call) 1 wit inspect 36    1800
pthread-wmm/safe001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 43 8.8 false(unreach-call) 1 wit inspect 38    1600
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .75 47 6.6 timeout 0 wit inspect 91    2100
pthread-wmm/safe001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 7.0 false(unreach-call) 1 wit inspect 35    1500
pthread-wmm/safe002_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 47 7.8 timeout 0 wit inspect 92    2100
pthread-wmm/safe002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .74 42 7.1 false(unreach-call) 1 wit inspect 55    2100
pthread-wmm/safe002_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72 42 7.0 false(unreach-call) 1 wit inspect 55    2000
pthread-wmm/safe002_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 5.8 false(unreach-call) 1 wit inspect 55    2100
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .71 46 7.3 timeout 0 wit inspect 91    2000
pthread-wmm/safe002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 7.3 false(unreach-call) 1 wit inspect 63    2100
pthread-wmm/safe003_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 52 9.3 timeout 0 wit inspect 91    2100
pthread-wmm/safe003_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .73 45 8.5 timeout 0 wit inspect 91    2100
pthread-wmm/safe003_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .81 51 8.0 timeout 0 wit inspect 91    2100
pthread-wmm/safe003_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .93 51 12   timeout 0 wit inspect 92    2100
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .79 51 10   timeout 0 wit inspect 91    2100
pthread-wmm/safe003_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .94 52 12   timeout 0 wit inspect 91    2100
pthread-wmm/safe004_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .77 51 9.4 timeout 0 wit inspect 92    2100
pthread-wmm/safe004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 6.3 false(unreach-call) 1 wit inspect 62    1700
pthread-wmm/safe004_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .82 50 10   timeout 0 wit inspect 92    2100
pthread-wmm/safe004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 42 7.7 false(unreach-call) 1 wit inspect 44    1600
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .78 50 11   timeout 0 wit inspect 92    2100
pthread-wmm/safe004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 7.1 false(unreach-call) 1 wit inspect 47    1900
pthread-wmm/safe005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 6.9 false(unreach-call) 1 wit inspect 53    2100
pthread-wmm/safe005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .78 42 7.0 false(unreach-call) 1 wit inspect 56    2100
pthread-wmm/safe005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 42 6.6 false(unreach-call) 1 wit inspect 59    2100
pthread-wmm/safe005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .77 42 7.8 false(unreach-call) 1 wit inspect 56    2100
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 6.2 false(unreach-call) 1 wit inspect 46    2100
pthread-wmm/safe005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .74 42 8.1 false(unreach-call) 1 wit inspect 60    2100
pthread-wmm/safe006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .57 38 5.6 false(unreach-call) 1 wit inspect 25    980
pthread-wmm/safe006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .62 40 7.7 false(unreach-call) 1 wit inspect 61    1900
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 37 6.0 false(unreach-call) 1 wit inspect 25    900
pthread-wmm/safe006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .61 39 5.3 false(unreach-call) 1 wit inspect 27    910
pthread-wmm/safe007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .61 41 5.4 false(unreach-call) 1 wit inspect 32    1500
pthread-wmm/safe007_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .72 42 7.7 timeout 0 wit inspect 91    2100
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 40 5.6 false(unreach-call) 1 wit inspect 37    1600
pthread-wmm/safe007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 41 5.7 false(unreach-call) 1 wit inspect 37    1700
pthread-wmm/safe008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 43 8.0 false(unreach-call) 1 wit inspect 39    1600
pthread-wmm/safe008_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 44 7.6 timeout 0 wit inspect 91    2100
pthread-wmm/safe008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .71 42 7.6 false(unreach-call) 1 wit inspect 44    1600
pthread-wmm/safe008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 9.6 false(unreach-call) 1 wit inspect 36    1600
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72 42 6.9 false(unreach-call) 1 wit inspect 47    1600
pthread-wmm/safe008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .72 42 7.6 false(unreach-call) 1 wit inspect 33    1500
pthread-wmm/safe009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 43 6.4 false(unreach-call) 1 wit inspect 46    2000
pthread-wmm/safe009_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 44 8.3 timeout 0 wit inspect 91    2100
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 43 7.3 false(unreach-call) 1 wit inspect 54    2000
pthread-wmm/safe009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.4 false(unreach-call) 1 wit inspect 62    2000
pthread-wmm/safe010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 5.7 false(unreach-call) 1 wit inspect 15    610
pthread-wmm/safe010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 5.8 false(unreach-call) 1 wit inspect 14    630
pthread-wmm/safe010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 5.9 false(unreach-call) 1 wit inspect 16    630
pthread-wmm/safe010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 5.8 false(unreach-call) 1 wit inspect 15    530
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 40 6.0 false(unreach-call) 1 wit inspect 15    630
pthread-wmm/safe010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 6.7 false(unreach-call) 1 wit inspect 17    530
pthread-wmm/safe011_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 6.4 false(unreach-call) 1 wit inspect 55    1500
pthread-wmm/safe011_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 43 9.1 false(unreach-call) 1 wit inspect 63    1600
pthread-wmm/safe011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 8.4 false(unreach-call) 1 wit inspect 29    1500
pthread-wmm/safe011_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .72 42 8.1 false(unreach-call) 1 wit inspect 34    1600
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .74 43 7.1 false(unreach-call) 1 wit inspect 34    1600
pthread-wmm/safe011_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 42 6.7 false(unreach-call) 1 wit inspect 47    1700
pthread-wmm/safe012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 41 6.1 false(unreach-call) 1 wit inspect 38    1600
pthread-wmm/safe012_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .69 43 7.1 timeout 0 wit inspect 91    2100
pthread-wmm/safe012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 42 7.7 false(unreach-call) 1 wit inspect 56    2100
pthread-wmm/safe012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 6.6 false(unreach-call) 1 wit inspect 42    2100
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 41 7.0 false(unreach-call) 1 wit inspect 23    1500
pthread-wmm/safe012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 43 8.5 false(unreach-call) 1 wit inspect 50    2100
pthread-wmm/safe013_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 6.7 false(unreach-call) 1 wit inspect 54    2100
pthread-wmm/safe013_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .73 42 6.9 false(unreach-call) 1 wit inspect 55    2100
pthread-wmm/safe013_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 6.9 false(unreach-call) 1 wit inspect 58    2100
pthread-wmm/safe013_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 42 8.2 false(unreach-call) 1 wit inspect 44    2100
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 43 6.6 false(unreach-call) 1 wit inspect 55    2100
pthread-wmm/safe013_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 6.7 false(unreach-call) 1 wit inspect 57    2200
pthread-wmm/safe014_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 41 5.7 false(unreach-call) 1 wit inspect 32    1500
pthread-wmm/safe014_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 43 8.9 false(unreach-call) 1 wit inspect 52    2000
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 5.2 false(unreach-call) 1 wit inspect 32    1600
pthread-wmm/safe014_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 46 7.3 timeout 0 wit inspect 91    2000
pthread-wmm/safe015_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .82 53 8.3 false(unreach-call) 1 wit inspect 8.7  620
pthread-wmm/safe015_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .71 46 6.5 timeout 0 wit inspect 92    2100
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .74 46 7.1 timeout 0 wit inspect 92    2100
pthread-wmm/safe015_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 46 9.1 timeout 0 wit inspect 92    2100
pthread-wmm/safe016_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .74 44 7.3 timeout 0 wit inspect 93    2300
pthread-wmm/safe016_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .79 51 7.2 timeout 0 wit inspect 92    2200
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .69 44 9.5 timeout 0 wit inspect 92    2300
pthread-wmm/safe016_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 49 9.9 timeout 0 wit inspect 92    2200
pthread-wmm/safe017_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 42 6.6 false(unreach-call) 1 wit inspect 67    1600
pthread-wmm/safe017_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 7.2 false(unreach-call) 1 wit inspect 50    1700
pthread-wmm/safe017_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 43 6.5 false(unreach-call) 1 wit inspect 37    1500
pthread-wmm/safe017_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .72 43 6.9 false(unreach-call) 1 wit inspect 51    1600
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.2 false(unreach-call) 1 wit inspect 34    1500
pthread-wmm/safe017_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 42 8.1 false(unreach-call) 1 wit inspect 31    1400
pthread-wmm/safe018_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 41 6.6 false(unreach-call) 1 wit inspect 23    1700
pthread-wmm/safe018_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 46 7.5 timeout 0 wit inspect 92    2100
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 41 5.1 false(unreach-call) 1 wit inspect 29    1500
pthread-wmm/safe018_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .79 43 7.3 false(unreach-call) 1 wit inspect 71    2000
pthread-wmm/safe019_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .74 45 7.8 timeout 0 wit inspect 92    2300
pthread-wmm/safe019_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .84 51 8.6 timeout 0 wit inspect 92    2200
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .70 43 9.3 timeout 0 wit inspect 93    2300
pthread-wmm/safe019_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 47 7.5 timeout 0 wit inspect 92    2200
pthread-wmm/safe020_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .83 46 9.4 timeout 0 wit inspect 92    2100
pthread-wmm/safe020_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .76 46 7.3 timeout 0 wit inspect 91    2100
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72 44 7.9 false(unreach-call) 1 wit inspect 69    2100
pthread-wmm/safe020_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 43 6.5 false(unreach-call) 1 wit inspect 68    2100
pthread-wmm/safe021_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .76 42 8.5 false(unreach-call) 1 wit inspect 86    2100
pthread-wmm/safe021_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .74 42 6.7 false(unreach-call) 1 wit inspect 44    1600
pthread-wmm/safe021_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 6.1 false(unreach-call) 1 wit inspect 71    2100
pthread-wmm/safe021_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 7.0 false(unreach-call) 1 wit inspect 40    1600
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 6.3 false(unreach-call) 1 wit inspect 84    2100
pthread-wmm/safe021_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 8.0 false(unreach-call) 1 wit inspect 82    2100
pthread-wmm/safe022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .61 40 5.8 false(unreach-call) 1 wit inspect 27    1300
pthread-wmm/safe022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 40 5.8 false(unreach-call) 1 wit inspect 28    1300
pthread-wmm/safe022_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 5.9 false(unreach-call) 1 wit inspect 28    1300
pthread-wmm/safe022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 6.3 false(unreach-call) 1 wit inspect 27    1400
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 40 6.1 false(unreach-call) 1 wit inspect 28    1300
pthread-wmm/safe022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 5.9 false(unreach-call) 1 wit inspect 31    1200
pthread-wmm/safe023_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 1.2  53 12   timeout 0 wit inspect 91    2100
pthread-wmm/safe023_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .93 53 11   timeout 0 wit inspect 92    2200
pthread-wmm/safe023_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .92 52 10   timeout 0 wit inspect 91    2100
pthread-wmm/safe023_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 1.1  52 13   timeout 0 wit inspect 92    2100
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .94 52 11   timeout 0 wit inspect 92    2100
pthread-wmm/safe023_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 1.1  52 13   timeout 0 wit inspect 92    2100
pthread-wmm/safe024_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .71 42 7.8 false(unreach-call) 1 wit inspect 53    2100
pthread-wmm/safe024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 7.1 false(unreach-call) 1 wit inspect 50    2100
pthread-wmm/safe024_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .73 42 7.2 false(unreach-call) 1 wit inspect 52    2100
pthread-wmm/safe024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 43 7.7 false(unreach-call) 1 wit inspect 58    2100
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .71 42 9.5 false(unreach-call) 1 wit inspect 41    2100
pthread-wmm/safe024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 43 7.1 false(unreach-call) 1 wit inspect 45    2100
pthread-wmm/safe025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .79 52 9.4 false(unreach-call) 1 wit inspect 13    610
pthread-wmm/safe025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .81 52 8.2 false(unreach-call) 1 wit inspect 14    600
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .75 46 8.2 false(unreach-call) 1 wit inspect 89    2000
pthread-wmm/safe025_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .78 46 7.1 timeout 0 wit inspect 92    2100
pthread-wmm/safe026_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 7.8 false(unreach-call) 1 wit inspect 83    2100
pthread-wmm/safe026_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 42 6.2 false(unreach-call) 1 wit inspect 80    2100
pthread-wmm/safe026_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.1 false(unreach-call) 1 wit inspect 67    2100
pthread-wmm/safe026_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 8.0 false(unreach-call) 1 wit inspect 81    2100
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 42 7.0 false(unreach-call) 1 wit inspect 79    2100
pthread-wmm/safe026_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 8.0 false(unreach-call) 1 wit inspect 78    2100
pthread-wmm/safe027_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .70 44 6.8 timeout 0 wit inspect 95    2300
pthread-wmm/safe027_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .95 51 9.7 timeout 0 wit inspect 91    2200
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .69 44 6.8 timeout 0 wit inspect 97    2400
pthread-wmm/safe027_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .77 43 7.6 timeout 0 wit inspect 92    2400
pthread-wmm/safe028_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .77 46 7.7 timeout 0 wit inspect 91    2100
pthread-wmm/safe028_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .75 46 8.5 timeout 0 wit inspect 91    2100
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 44 6.3 false(unreach-call) 1 wit inspect 66    2100
pthread-wmm/safe028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 44 8.6 false(unreach-call) 1 wit inspect 73    2100
pthread-wmm/safe029_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 40 6.1 false(unreach-call) 1 wit inspect 16    670
pthread-wmm/safe029_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 40 6.2 false(unreach-call) 1 wit inspect 16    630
pthread-wmm/safe029_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 40 6.0 false(unreach-call) 1 wit inspect 16    610
pthread-wmm/safe029_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 6.6 false(unreach-call) 1 wit inspect 16    620
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 6.1 false(unreach-call) 1 wit inspect 17    640
pthread-wmm/safe029_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 6.1 false(unreach-call) 1 wit inspect 15    640
pthread-wmm/safe030_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .78 42 7.3 false(unreach-call) 1 wit inspect 34    1600
pthread-wmm/safe030_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .74 43 6.3 false(unreach-call) 1 wit inspect 17    1100
pthread-wmm/safe030_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.9 false(unreach-call) 1 wit inspect 34    1600
pthread-wmm/safe030_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 42 7.4 false(unreach-call) 1 wit inspect 18    1100
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 6.3 false(unreach-call) 1 wit inspect 41    1800
pthread-wmm/safe030_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 42 7.7 false(unreach-call) 1 wit inspect 28    1100
pthread-wmm/safe031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 42 7.0 false(unreach-call) 1 wit inspect 59    2100
pthread-wmm/safe031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 42 6.8 false(unreach-call) 1 wit inspect 28    1500
pthread-wmm/safe031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 43 7.3 false(unreach-call) 1 wit inspect 42    2100
pthread-wmm/safe031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 42 7.2 false(unreach-call) 1 wit inspect 25    1400
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 6.5 false(unreach-call) 1 wit inspect 48    2100
pthread-wmm/safe031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 42 6.5 false(unreach-call) 1 wit inspect 26    1500
pthread-wmm/safe032_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .96 51 12   timeout 0 wit inspect 91    2100
pthread-wmm/safe032_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .79 51 7.4 timeout 0 wit inspect 91    2100
pthread-wmm/safe032_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .87 51 11   timeout 0 wit inspect 92    2200
pthread-wmm/safe032_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 1.3  51 15   timeout 0 wit inspect 91    2200
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .89 52 8.9 timeout 0 wit inspect 91    2100
pthread-wmm/safe032_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 1.3  51 13   timeout 0 wit inspect 91    2200
pthread-wmm/safe033_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 39 4.8 false(unreach-call) 1 wit inspect 20    880
pthread-wmm/safe033_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .62 39 6.3 false(unreach-call) 1 wit inspect 22    940
pthread-wmm/safe033_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 38 5.7 false(unreach-call) 1 wit inspect 21    880
pthread-wmm/safe033_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .61 39 5.5 false(unreach-call) 1 wit inspect 22    890
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 39 5.9 false(unreach-call) 1 wit inspect 21    940
pthread-wmm/safe033_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .61 39 6.0 false(unreach-call) 1 wit inspect 23    790
pthread-wmm/safe034_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 40 6.4 false(unreach-call) 1 wit inspect 42    2000
pthread-wmm/safe034_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64 39 7.1 false(unreach-call) 1 wit inspect 40    2000
pthread-wmm/safe034_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 40 7.2 false(unreach-call) 1 wit inspect 40    2000
pthread-wmm/safe034_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 41 7.2 false(unreach-call) 1 wit inspect 43    2000
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 40 6.1 false(unreach-call) 1 wit inspect 40    2100
pthread-wmm/safe034_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 41 6.3 false(unreach-call) 1 wit inspect 42    2000
pthread-wmm/thin000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 38 5.1 false(unreach-call) 1 wit inspect 26    990
pthread-wmm/thin000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 40 6.3 false(unreach-call) 1 wit inspect 65    1900
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 38 5.6 false(unreach-call) 1 wit inspect 26    880
pthread-wmm/thin000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .58 39 6.1 false(unreach-call) 1 wit inspect 25    860
pthread-wmm/thin001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 40 5.9 false(unreach-call) 1 wit inspect 35    1500
pthread-wmm/thin001_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .73 43 6.7 timeout 0 wit inspect 91    2100
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 41 6.1 false(unreach-call) 1 wit inspect 31    1500
pthread-wmm/thin001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 41 6.3 false(unreach-call) 1 wit inspect 38    1600
pthread-wmm/thin002_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .68 42 6.4 timeout 0 wit inspect 91    2500
pthread-wmm/thin002_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .74 44 6.4 timeout 0 wit inspect 92    2300
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect .68 41 5.7 timeout 0 wit inspect 93    2300
pthread-wmm/thin002_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect .63 42 6.6 timeout 0 wit inspect 92    2200
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i true 2 wit inspect 5.8  50 70   - wit inspect
pthread-wmm/rfi000_tso.opt_true-unreach-call.i true 2 wit inspect 5.8  49 68   - wit inspect
pthread-wmm/rfi002_power.oepc_true-unreach-call.i true 2 wit inspect 7.5  52 91   - wit inspect
pthread-wmm/rfi002_power.opt_true-unreach-call.i true 2 wit inspect 6.3  52 82   - wit inspect
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i true 2 wit inspect 6.2  52 71   - wit inspect
pthread-wmm/rfi002_pso.opt_true-unreach-call.i true 2 wit inspect 6.4  52 87   - wit inspect
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i true 2 wit inspect 6.2  52 75   - wit inspect
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i true 2 wit inspect 6.4  50 78   - wit inspect
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i true 2 wit inspect 9.7  60 140   - wit inspect
pthread-wmm/rfi002_tso.opt_true-unreach-call.i true 2 wit inspect 12    58 160   - wit inspect
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i true 2 wit inspect 6.9  54 87   - wit inspect
pthread-wmm/rfi003_tso.opt_true-unreach-call.i true 2 wit inspect 5.8  51 79   - wit inspect
pthread-wmm/safe000_pso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 9.3 - wit inspect
pthread-wmm/safe000_pso.opt_true-unreach-call.i true 2 wit inspect .98 37 11   - wit inspect
pthread-wmm/safe000_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 9.7 - wit inspect
pthread-wmm/safe000_tso.opt_true-unreach-call.i true 2 wit inspect .98 37 10   - wit inspect
pthread-wmm/safe001_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 11   - wit inspect
pthread-wmm/safe001_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 9.3 - wit inspect
pthread-wmm/safe002_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe002_tso.opt_true-unreach-call.i true 2 wit inspect 1.1  38 11   - wit inspect
pthread-wmm/safe003_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 9.1 - wit inspect
pthread-wmm/safe003_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  38 10   - wit inspect
pthread-wmm/safe004_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 9.0 - wit inspect
pthread-wmm/safe004_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 9.5 - wit inspect
pthread-wmm/safe005_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 13   - wit inspect
pthread-wmm/safe005_tso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe006_pso.oepc_true-unreach-call.i true 2 wit inspect .97 37 11   - wit inspect
pthread-wmm/safe006_pso.opt_true-unreach-call.i true 2 wit inspect 1.0  38 11   - wit inspect
pthread-wmm/safe006_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 8.5 - wit inspect
pthread-wmm/safe006_tso.opt_true-unreach-call.i true 2 wit inspect .94 37 11   - wit inspect
pthread-wmm/safe007_pso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 9.8 - wit inspect
pthread-wmm/safe007_pso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 9.2 - wit inspect
pthread-wmm/safe007_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 9.5 - wit inspect
pthread-wmm/safe007_tso.opt_true-unreach-call.i true 2 wit inspect .98 37 13   - wit inspect
pthread-wmm/safe008_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 9.3 - wit inspect
pthread-wmm/safe008_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 9.8 - wit inspect
pthread-wmm/safe009_pso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 9.9 - wit inspect
pthread-wmm/safe009_pso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 11   - wit inspect
pthread-wmm/safe009_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  38 11   - wit inspect
pthread-wmm/safe009_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  38 8.6 - wit inspect
pthread-wmm/safe010_tso.oepc_true-unreach-call.i true 2 wit inspect .99 38 8.1 - wit inspect
pthread-wmm/safe010_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 9.4 - wit inspect
pthread-wmm/safe011_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 11   - wit inspect
pthread-wmm/safe011_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  38 10   - wit inspect
pthread-wmm/safe012_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe012_tso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe013_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 9.6 - wit inspect
pthread-wmm/safe013_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 10   - wit inspect
pthread-wmm/safe014_pso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe014_pso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 10   - wit inspect
pthread-wmm/safe014_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe014_tso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 12   - wit inspect
pthread-wmm/safe015_pso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 9.0 - wit inspect
pthread-wmm/safe015_pso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe015_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 13   - wit inspect
pthread-wmm/safe015_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 9.7 - wit inspect
pthread-wmm/safe016_pso.oepc_true-unreach-call.i true 2 wit inspect 1.2  37 13   - wit inspect
pthread-wmm/safe016_pso.opt_true-unreach-call.i true 2 wit inspect 1.3  37 15   - wit inspect
pthread-wmm/safe016_tso.oepc_true-unreach-call.i true 2 wit inspect 1.3  37 15   - wit inspect
pthread-wmm/safe016_tso.opt_true-unreach-call.i true 2 wit inspect 1.3  37 16   - wit inspect
pthread-wmm/safe017_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 9.9 - wit inspect
pthread-wmm/safe017_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  38 9.0 - wit inspect
pthread-wmm/safe018_pso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 10   - wit inspect
pthread-wmm/safe018_pso.opt_true-unreach-call.i true 2 wit inspect 1.0  38 9.8 - wit inspect
pthread-wmm/safe018_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  38 12   - wit inspect
pthread-wmm/safe018_tso.opt_true-unreach-call.i true 2 wit inspect 1.1  38 8.3 - wit inspect
pthread-wmm/safe019_pso.oepc_true-unreach-call.i true 2 wit inspect 1.3  38 17   - wit inspect
pthread-wmm/safe019_pso.opt_true-unreach-call.i true 2 wit inspect 1.4  38 12   - wit inspect
pthread-wmm/safe019_tso.oepc_true-unreach-call.i true 2 wit inspect 1.4  37 17   - wit inspect
pthread-wmm/safe019_tso.opt_true-unreach-call.i true 2 wit inspect 1.4  38 14   - wit inspect
pthread-wmm/safe020_pso.oepc_true-unreach-call.i true 2 wit inspect 1.0  38 10   - wit inspect
pthread-wmm/safe020_pso.opt_true-unreach-call.i true 2 wit inspect 1.0  38 11   - wit inspect
pthread-wmm/safe020_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 10   - wit inspect
pthread-wmm/safe020_tso.opt_true-unreach-call.i true 2 wit inspect 1.1  38 11   - wit inspect
pthread-wmm/safe021_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 12   - wit inspect
pthread-wmm/safe021_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 13   - wit inspect
pthread-wmm/safe022_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  38 8.8 - wit inspect
pthread-wmm/safe022_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  38 8.6 - wit inspect
pthread-wmm/safe023_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 12   - wit inspect
pthread-wmm/safe023_tso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 10   - wit inspect
pthread-wmm/safe024_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 12   - wit inspect
pthread-wmm/safe024_tso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe025_pso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe025_pso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe025_tso.oepc_true-unreach-call.i true 2 wit inspect 1.2  37 11   - wit inspect
pthread-wmm/safe025_tso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 13   - wit inspect
pthread-wmm/safe026_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 9.3 - wit inspect
pthread-wmm/safe026_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  38 9.6 - wit inspect
pthread-wmm/safe027_pso.oepc_true-unreach-call.i true 2 wit inspect 1.3  38 13   - wit inspect
pthread-wmm/safe027_pso.opt_true-unreach-call.i true 2 wit inspect 1.3  37 15   - wit inspect
pthread-wmm/safe027_tso.oepc_true-unreach-call.i true 2 wit inspect 1.3  39 15   - wit inspect
pthread-wmm/safe027_tso.opt_true-unreach-call.i true 2 wit inspect 1.3  38 14   - wit inspect
pthread-wmm/safe028_pso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe028_pso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 10   - wit inspect
pthread-wmm/safe028_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 10   - wit inspect
pthread-wmm/safe028_tso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 10   - wit inspect
pthread-wmm/safe029_tso.oepc_true-unreach-call.i true 2 wit inspect .98 37 9.7 - wit inspect
pthread-wmm/safe029_tso.opt_true-unreach-call.i true 2 wit inspect .99 37 9.6 - wit inspect
pthread-wmm/safe030_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe030_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 12   - wit inspect
pthread-wmm/safe031_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 12   - wit inspect
pthread-wmm/safe031_tso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 9.8 - wit inspect
pthread-wmm/safe032_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 12   - wit inspect
pthread-wmm/safe032_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 11   - wit inspect
pthread-wmm/safe033_tso.oepc_true-unreach-call.i true 2 wit inspect .98 37 9.4 - wit inspect
pthread-wmm/safe033_tso.opt_true-unreach-call.i true 2 wit inspect .99 37 12   - wit inspect
pthread-wmm/safe034_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  37 11   - wit inspect
pthread-wmm/safe034_tso.opt_true-unreach-call.i true 2 wit inspect 1.1  37 10   - wit inspect
pthread-wmm/safe035_power.oepc_true-unreach-call.i true 2 wit inspect 45    67 550   - wit inspect
pthread-wmm/safe035_power.opt_true-unreach-call.i true 2 wit inspect 45    67 580   - wit inspect
pthread-wmm/safe035_pso.oepc_true-unreach-call.i true 2 wit inspect 1.2  37 14   - wit inspect
pthread-wmm/safe035_pso.opt_true-unreach-call.i true 2 wit inspect 1.3  37 12   - wit inspect
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i true 2 wit inspect 1.2  37 14   - wit inspect
pthread-wmm/safe035_rmo.opt_true-unreach-call.i true 2 wit inspect 1.2  37 14   - wit inspect
pthread-wmm/safe035_tso.oepc_true-unreach-call.i true 2 wit inspect 1.2  37 15   - wit inspect
pthread-wmm/safe035_tso.opt_true-unreach-call.i true 2 wit inspect 1.2  37 12   - wit inspect
pthread-wmm/safe036_power.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 9.8 - wit inspect
pthread-wmm/safe036_power.opt_true-unreach-call.i true 2 wit inspect 1.0  37 11   - wit inspect
pthread-wmm/safe036_pso.oepc_true-unreach-call.i true 2 wit inspect .99 37 9.2 - wit inspect
pthread-wmm/safe036_pso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 10   - wit inspect
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 10   - wit inspect
pthread-wmm/safe036_rmo.opt_true-unreach-call.i true 2 wit inspect .99 37 13   - wit inspect
pthread-wmm/safe036_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  38 12   - wit inspect
pthread-wmm/safe036_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 10   - wit inspect
pthread-wmm/safe037_power.oepc_true-unreach-call.i true 2 wit inspect 1.3  37 13   - wit inspect
pthread-wmm/safe037_power.opt_true-unreach-call.i true 2 wit inspect 1.2  37 14   - wit inspect
pthread-wmm/safe037_pso.oepc_true-unreach-call.i true 2 wit inspect 1.2  37 13   - wit inspect
pthread-wmm/safe037_pso.opt_true-unreach-call.i true 2 wit inspect 1.2  37 16   - wit inspect
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i true 2 wit inspect 1.2  37 12   - wit inspect
pthread-wmm/safe037_rmo.opt_true-unreach-call.i true 2 wit inspect 1.2  37 10   - wit inspect
pthread-wmm/safe037_tso.oepc_true-unreach-call.i true 2 wit inspect 1.2  37 11   - wit inspect
pthread-wmm/safe037_tso.opt_true-unreach-call.i true 2 wit inspect 1.2  37 15   - wit inspect
pthread-wmm/thin000_pso.oepc_true-unreach-call.i true 2 wit inspect .96 38 9.4 - wit inspect
pthread-wmm/thin000_pso.opt_true-unreach-call.i true 2 wit inspect 1.0  38 11   - wit inspect
pthread-wmm/thin000_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 9.4 - wit inspect
pthread-wmm/thin000_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 9.9 - wit inspect
pthread-wmm/thin001_pso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 11   - wit inspect
pthread-wmm/thin001_pso.opt_true-unreach-call.i true 2 wit inspect 1.0  37 9.4 - wit inspect
pthread-wmm/thin001_tso.oepc_true-unreach-call.i true 2 wit inspect 1.0  37 9.2 - wit inspect
pthread-wmm/thin001_tso.opt_true-unreach-call.i true 2 wit inspect .97 37 11   - wit inspect
pthread-wmm/thin002_pso.oepc_true-unreach-call.i true 2 wit inspect 1.1  38 10   - wit inspect
pthread-wmm/thin002_pso.opt_true-unreach-call.i true 2 wit inspect 1.1  39 9.6 - wit inspect
pthread-wmm/thin002_tso.oepc_true-unreach-call.i true 2 wit inspect 1.1  38 13   - wit inspect
pthread-wmm/thin002_tso.opt_true-unreach-call.i true 2 wit inspect 1.0  39 10   - wit inspect
pthread-lit/fkp2013_false-unreach-call.i error (42) 0 wit inspect 870    190 9800   error (invalid witness file) 0 wit inspect .56 46
pthread-lit/fkp2013_variant_false-unreach-call.i false(unreach-call) 0 wit inspect .55 37 4.2 error 0 wit inspect 4.3  270
pthread-lit/qw2004_false-unreach-call.i false(unreach-call) 1 wit inspect .54 37 4.9 false(unreach-call) 1 wit inspect 5.6  270
pthread-lit/fk2012_true-unreach-call.i error (42) 0 wit inspect 870    2100 4900   - wit inspect
pthread-lit/fkp2013_true-unreach-call.i error (42) 0 wit inspect 870    190 12000   - wit inspect
pthread-lit/fkp2013_variant_true-unreach-call.i error (42) 0 wit inspect 870    200 9500   - wit inspect
pthread-lit/fkp2014_true-unreach-call.i error (42) 0 wit inspect 870    260 10000   - wit inspect
pthread-lit/qw2004_true-unreach-call.i error (6) 0 wit inspect .51 37 4.5 - wit inspect
pthread-lit/qw2004_variant_true-unreach-call.i error (6) 0 wit inspect .51 37 4.3 - wit inspect
pthread-lit/sssc12_true-unreach-call.i error (42) 0 wit inspect 870    3600 7100   - wit inspect
pthread-lit/sssc12_variant_true-unreach-call.i error (6) 0 wit inspect .54 37 4.7 - wit inspect
ldv-races/race-1_1-join_true-unreach-call.i true 2 wit inspect 1.3  42 15   - wit inspect
ldv-races/race-2_1-container_of_true-unreach-call.i true 2 wit inspect 11    160 160   - wit inspect
ldv-races/race-3_1-container_of-global_true-unreach-call.i true 2 wit inspect 22    270 270   - wit inspect
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i error (42) 0 wit inspect 870    2500 5500   - wit inspect
ldv-races/race-1_2-join_false-unreach-call.i false(unreach-call) 1 wit inspect .67 41 7.2 false(unreach-call) 1 wit inspect 4.7  260
ldv-races/race-1_3-join_false-unreach-call.i false(unreach-call) 1 wit inspect .71 42 6.6 false(unreach-call) 1 wit inspect 5.1  260
ldv-races/race-2_2-container_of_false-unreach-call.i error (134) 0 wit inspect 1.5  100 16   error (invalid witness file) 0 wit inspect .65 43
ldv-races/race-2_3-container_of_false-unreach-call.i error (134) 0 wit inspect 2.8  210 31   error (invalid witness file) 0 wit inspect .58 43
ldv-races/race-2_4-container_of_false-unreach-call.i error (134) 0 wit inspect 2.8  220 32   error (invalid witness file) 0 wit inspect .63 41
ldv-races/race-2_5-container_of_false-unreach-call.i error (134) 0 wit inspect 3.2  220 44   error (invalid witness file) 0 wit inspect .41 41
ldv-races/race-3_2-container_of-global_false-unreach-call.i error (134) 0 wit inspect 2.6  200 35   error (invalid witness file) 0 wit inspect .60 43
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  70 13   false(unreach-call) 1 wit inspect 7.6  400
pthread-complex/bounded_buffer_false-unreach-call.i error (6) 0 wit inspect .60 41 6.7 error (invalid witness file) 0 wit inspect .66 43
pthread-complex/elimination_backoff_stack_false-unreach-call.i error (6) 0 wit inspect 530    13000 7500   error (invalid witness file) 0 wit inspect .54 43
pthread-complex/safestack_relacy_false-unreach-call.i error (42) 0 wit inspect 870    4500 11000   error (invalid witness file) 0 wit inspect .65 43
pthread-complex/workstealqueue_mutex_false-unreach-call.i error (6) 0 wit inspect .59 42 5.4 error (invalid witness file) 0 wit inspect .43 42
pthread-complex/workstealqueue_mutex_true-unreach-call.i error (6) 0 wit inspect .57 42 7.3 - wit inspect
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i true 2 wit inspect 2.2  69 25   - wit inspect
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i error (42) 0 wit inspect 870    3500 8800   - wit inspect
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i error (42) 0 wit inspect 870    3600 7700   - wit inspect
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i error (42) 0 wit inspect 870    1300 8100   - wit inspect
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i error (42) 0 wit inspect 870    1300 7600   - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i true 2 wit inspect 4.9  69 63   - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect 4.7  68 53   - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i true 2 wit inspect 4.6  68 45   - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect 3.9  66 46   - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i true 2 wit inspect 4.9  68 48   - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect 4.4  67 39   - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i true 2 wit inspect 4.7  68 47   - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i true 2 wit inspect 5.0  72 46   - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i true 2 wit inspect 4.6  70 43   - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i true 2 wit inspect 4.6  70 44   - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect 4.5  69 43   - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i true 2 wit inspect 4.9  70 53   - wit inspect
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  67 13   false(unreach-call) 1 wit inspect 27    1100
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i false(unreach-call) 0 wit inspect 1.1  67 13   error 0 wit inspect 27    1300
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i false(unreach-call) 0 wit inspect 1.2  68 16   error 0 wit inspect 21    1200
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i false(unreach-call) 0 wit inspect 1.2  67 12   error 0 wit inspect 24    1100
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i error (42) 0 wit inspect 870    470 6500   - wit inspect
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i error (134) 0 wit inspect 98    14000 1500   - wit inspect
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i error (6) 0 wit inspect .56 40 5.8 - wit inspect
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i false(unreach-call) 1 wit inspect 17    120 150   false(unreach-call) 1 wit inspect 29    1200
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy
total 1047 765 56000 280000 550000 801 421 51000 1500000
    correct results 593 765 1300 41000 14000 421 421 19000 670000
        correct true 172 344 870 7600 10000 0
        correct false 421 421 410 33000 4000 421 421 19000 670000
    correct-unconfimed results 364 0 660 27000 8100 0
        correct-unconfirmed true 0 0
        correct-unconfirmed false 364 0 660 27000 8100 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (1047 tasks, max score: 1293) 765 421
Run set cbmc.sv-comp18 cpa-seq-validate-violation-witnesses-cbmc.sv-comp18-violation-witness