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