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