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