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