Tool DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-13 06:18:40 CET
Run set sv-comp17
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu wall energy mem validator uautomizer violation t<90s status cpu wall energy mem validator cpachecker correctness t<900s status cpu wall energy mem validator uautomizer correctness t<900s status cpu wall energy mem
pthread/bigshot_p_false-unreach-call.i 1 6.3  6.3  63   620 1.0  0     
pthread/fib_bench_false-unreach-call.i -32 47    44    560   79 19    0     
pthread/fib_bench_longer_false-unreach-call.i -32 120    120    1500   100 38    0     
pthread/fib_bench_longest_false-unreach-call.i 0 900    840    10000   630 6.0  0     
pthread/lazy01_false-unreach-call.i 1 16    16    200   280 .88 0     
pthread/queue_false-unreach-call.i 0 130    130    1800   170 100    .10  
pthread/queue_longer_false-unreach-call.i 0 850    850    12000   2500 100    .10  
pthread/queue_longest_false-unreach-call.i 0 850    850    10000   2500 85    .10  
pthread/reorder_2_false-unreach-call.i 0 330    330    3800   15000 27    0     
pthread/reorder_5_false-unreach-call.i 0 470    470    5700   15000 48    0     
pthread/sigma_false-unreach-call.i 0 900    900    13000   680 8.3  0     
pthread/singleton_false-unreach-call.i 0 900    890    12000   930 1.0  0     
pthread/stack_false-unreach-call.i -32 500    490    6900   15000 56    0     
pthread/stack_longer_false-unreach-call.i 0 480    480    6300   1500 85    0     
pthread/stack_longest_false-unreach-call.i 0 480    480    6100   1500 100    0     
pthread/stateful01_false-unreach-call.i 1 7.9  7.8  110   51 1.0  0     
pthread/twostage_3_false-unreach-call.i 0 900    900    11000   970 340    0     
pthread/bigshot_s2_true-unreach-call.i 2 290    290    3500   5200 38    0     
pthread/bigshot_s_true-unreach-call.i 2 290    290    3300   5200 38    0     
pthread/fib_bench_longer_true-unreach-call.i 2 120    120    1700   100 42    0     
pthread/fib_bench_longest_true-unreach-call.i 0 900    850    11000   630 5.2  0     
pthread/fib_bench_true-unreach-call.i 2 47    44    660   79 19    0     
pthread/indexer_true-unreach-call.i 0 75    74    850   160 200    0     
pthread/queue_ok_longer_true-unreach-call.i 0 900    900    12000   180 37    0     
pthread/queue_ok_longest_true-unreach-call.i 0 900    900    10000   180 37    0     
pthread/queue_ok_true-unreach-call.i 0 900    900    11000   180 37    0     
pthread/singleton_with-uninit-problems_true-unreach-call.i 0 900    890    13000   930 1.0  0     
pthread/stack_longer_true-unreach-call.i 0 470    470    5800   1400 96    0     
pthread/stack_longest_true-unreach-call.i 0 470    470    5500   1400 85    0     
pthread/stack_true-unreach-call.i 2 470    460    6100   15000 46    0     
pthread/stateful01_true-unreach-call.i 2 240    240    3300   1100 120    0     
pthread/sync01_true-unreach-call.i 0 900    900    11000   15000 140    0     
pthread-atomic/qrcu_false-unreach-call.i 0 67    67    810   110 99    0     
pthread-atomic/read_write_lock_false-unreach-call.i -32 160    160    1800   80 91    0     
pthread-atomic/dekker_true-unreach-call.i 2 140    140    1700   190 31    0     
pthread-atomic/gcd_true-unreach-call_true-termination.i 0 900    900    11000   450 3.6  0     
pthread-atomic/lamport_true-unreach-call.i 2 110    110    1500   160 29    0     
pthread-atomic/peterson_true-unreach-call.i 2 100    100    1300   150 25    0     
pthread-atomic/qrcu_true-unreach-call.i 0 67    67    840   110 99    0     
pthread-atomic/read_write_lock_true-unreach-call.i 2 160    160    2300   79 91    0     
pthread-atomic/scull_true-unreach-call.i 0 10    10    120   35 8.2  0     
pthread-atomic/szymanski_true-unreach-call.i 0 900    850    12000   960 19    0     
pthread-atomic/time_var_mutex_true-unreach-call.i 0 3.3  3.3  50   50 5.1  0     
pthread-ext/25_stack_longer_false-unreach-call.i 1 .65 .65 7.8 76 1.0  0     
pthread-ext/25_stack_longest_false-unreach-call.i 1 .66 .66 8.0 76 .85 .086 
pthread-ext/26_stack_cas_longer_false-unreach-call.i 1 .68 .68 9.2 76 .85 0     
pthread-ext/26_stack_cas_longest_false-unreach-call.i 1 .66 .65 9.2 76 .85 0     
pthread-ext/27_Boop_simple_vf_false-unreach-call.i 1 39    38    490   1900 7.3  0     
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i 1 .96 .96 12   130 2.0  0     
pthread-ext/32_pthread5_vs_false-unreach-call.i -32 350    350    4600   14000 22    0     
pthread-ext/40_barrier_vf_false-unreach-call.i -32 260    260    3400   14000 11    0     
pthread-ext/01_inc_true-unreach-call.i 0 900    890    12000   450 3.5  0     
pthread-ext/02_inc_cas_true-unreach-call.i 0 900    880    10000   910 66    0     
pthread-ext/03_incdec_true-unreach-call.i 2 370    370    4500   15000 7.0  0     
pthread-ext/04_incdec_cas_true-unreach-call.i 0 900    900    11000   15000 49    0     
pthread-ext/05_tas_true-unreach-call.i 0 900    890    12000   860 4.5  0     
pthread-ext/06_ticket_true-unreach-call.i 0 900    850    11000   400 13    0     
pthread-ext/07_rand_true-unreach-call.i 0 900    880    12000   14000 74    0     
pthread-ext/08_rand_cas_true-unreach-call.i 0 900    880    11000   15000 67    0     
pthread-ext/09_fmaxsym_true-unreach-call.i 2 400    400    5300   15000 13    0     
pthread-ext/10_fmaxsym_cas_true-unreach-call.i 2 540    540    7400   15000 11    0     
pthread-ext/11_fmaxsymopt_true-unreach-call.i 2 530    520    7700   15000 21    0     
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i 2 600    600    7200   15000 14    0     
pthread-ext/13_unverif_true-unreach-call.i 0 900    880    9900   360 94    .082 
pthread-ext/14_spin2003_true-unreach-call.i 0 900    890    12000   510 4.1  0     
pthread-ext/15_dekker_true-unreach-call.i 2 130    130    1500   100 22    0     
pthread-ext/16_peterson_true-unreach-call.i 2 1.0  1.0  12   76 3.4  0     
pthread-ext/17_szymanski_true-unreach-call.i 0 900    870    12000   980 3.7  0     
pthread-ext/18_read_write_lock_true-unreach-call.i 2 .98 .97 13   49 3.4  0     
pthread-ext/19_time_var_mutex_true-unreach-call.i 2 1.0  1.0  13   50 4.0  0     
pthread-ext/20_lamport_true-unreach-call.i 2 10    10    120   160 5.7  0     
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i 0 49    48    570   76 200    0     
pthread-ext/25_stack_longer_true-unreach-call.i 0 900    890    10000   890 4.2  0     
pthread-ext/25_stack_longest_true-unreach-call.i 0 900    900    12000   970 3.6  0     
pthread-ext/25_stack_true-unreach-call.i 0 900    890    10000   910 4.2  0     
pthread-ext/26_stack_cas_longer_true-unreach-call.i 0 900    900    11000   840 3.4  0     
pthread-ext/26_stack_cas_longest_true-unreach-call.i 0 900    900    11000   930 3.4  0     
pthread-ext/26_stack_cas_true-unreach-call.i 0 900    900    12000   850 3.4  0     
pthread-ext/29_conditionals_vs_true-unreach-call.i 2 340    340    4300   14000 11    0     
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i 0 900    900    12000   1500 4.7  0     
pthread-ext/31_simple_loop5_vs_true-unreach-call.i 0 900    860    11000   800 46    0     
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i 0 900    900    14000   1400 6.3  0     
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i 0 900    900    9500   1300 6.3  0     
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i 0 900    900    11000   1200 5.5  0     
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i 0 900    880    10000   740 3.9  0     
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i 0 900    880    11000   690 8.8  0     
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i 0 900    880    11000   15000 38    0     
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i 0 900    870    12000   14000 140    0     
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i 0 900    890    13000   620 31    0     
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i 0 900    900    11000   1100 10    0     
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i 2 560    560    6300   15000 8.1  0     
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i 0 900    890    11000   15000 43    0     
pthread-ext/45_monabsex1_vs_true-unreach-call.i 0 900    890    10000   450 4.2  0     
pthread-ext/46_monabsex2_vs_true-unreach-call.i 0 900    890    11000   390 7.1  0     
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i 0 900    870    14000   850 68    0     
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i 0 900    880    11000   540 62    .082 
pthread-wmm/mix000_power.oepc_false-unreach-call.i 1 3.1  3.1  36   71 .94 0     
pthread-wmm/mix000_power.opt_false-unreach-call.i 1 3.5  3.5  38   58 1.1  0     
pthread-wmm/mix000_pso.oepc_false-unreach-call.i 1 3.2  3.1  44   70 1.1  0     
pthread-wmm/mix000_pso.opt_false-unreach-call.i 1 3.5  3.4  51   58 1.1  0     
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i 1 3.2  3.1  38   70 .94 0     
pthread-wmm/mix000_rmo.opt_false-unreach-call.i 1 3.5  3.4  54   58 1.1  0     
pthread-wmm/mix000_tso.oepc_false-unreach-call.i 1 3.1  3.1  35   70 1.1  0     
pthread-wmm/mix000_tso.opt_false-unreach-call.i 1 3.5  3.4  41   58 1.1  0     
pthread-wmm/mix001_power.oepc_false-unreach-call.i 1 140    140    2000   1400 1.1  0     
pthread-wmm/mix001_power.opt_false-unreach-call.i 1 83    81    1100   290 1.1  0     
pthread-wmm/mix001_pso.oepc_false-unreach-call.i 1 140    140    1700   1400 1.0  0     
pthread-wmm/mix001_pso.opt_false-unreach-call.i 1 82    81    1000   290 1.1  0     
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i 1 140    140    2000   1400 1.1  0     
pthread-wmm/mix001_rmo.opt_false-unreach-call.i 1 83    81    1100   290 .94 0     
pthread-wmm/mix001_tso.oepc_false-unreach-call.i 1 140    140    1900   1400 1.1  0     
pthread-wmm/mix001_tso.opt_false-unreach-call.i 1 82    81    890   290 1.1  0     
pthread-wmm/mix002_power.oepc_false-unreach-call.i 1 94    92    1100   230 .93 0     
pthread-wmm/mix002_power.opt_false-unreach-call.i 1 88    86    1200   300 1.1  0     
pthread-wmm/mix002_pso.oepc_false-unreach-call.i 1 94    91    1100   230 1.1  0     
pthread-wmm/mix002_pso.opt_false-unreach-call.i 1 88    86    1100   300 1.0  0     
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i 1 94    92    1300   220 1.1  0     
pthread-wmm/mix002_rmo.opt_false-unreach-call.i 1 88    86    1100   300 1.1  0     
pthread-wmm/mix002_tso.oepc_false-unreach-call.i 1 94    91    1100   230 1.1  0     
pthread-wmm/mix002_tso.opt_false-unreach-call.i 1 88    87    1100   300 1.1  0     
pthread-wmm/mix003_power.oepc_false-unreach-call.i 1 82    81    1200   220 1.1  0     
pthread-wmm/mix003_power.opt_false-unreach-call.i 1 77    75    950   280 1.0  0     
pthread-wmm/mix003_pso.oepc_false-unreach-call.i 1 83    81    1000   220 1.1  0     
pthread-wmm/mix003_pso.opt_false-unreach-call.i 1 77    75    870   280 1.1  0     
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i 1 83    81    1100   220 .93 0     
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i 1 77    75    960   280 1.1  0     
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i 1 77    75    900   280 1.1  0     
pthread-wmm/mix003_rmo.opt_false-unreach-call.i 1 77    75    970   280 1.1  0     
pthread-wmm/mix003_tso.oepc_false-unreach-call.i 1 83    81    1200   220 1.1  0     
pthread-wmm/mix003_tso.opt_false-unreach-call.i 1 77    76    1000   270 .94 0     
pthread-wmm/mix004_power.oepc_false-unreach-call.i 0 900    890    10000   3600 .94 0     
pthread-wmm/mix004_power.opt_false-unreach-call.i 0 900    880    13000   3800 1.1  0     
pthread-wmm/mix004_pso.oepc_false-unreach-call.i 0 900    890    11000   3600 .94 0     
pthread-wmm/mix004_pso.opt_false-unreach-call.i 0 900    880    11000   3800 1.1  0     
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i 0 900    890    11000   3600 1.1  0     
pthread-wmm/mix004_rmo.opt_false-unreach-call.i 0 900    880    11000   3800 .94 0     
pthread-wmm/mix004_tso.oepc_false-unreach-call.i 0 900    890    11000   3600 1.1  0     
pthread-wmm/mix004_tso.opt_false-unreach-call.i 0 900    880    11000   3800 1.1  0     
pthread-wmm/mix005_power.oepc_false-unreach-call.i 0 900    890    11000   3600 1.1  0     
pthread-wmm/mix005_power.opt_false-unreach-call.i 0 900    890    11000   3800 1.1  0     
pthread-wmm/mix005_pso.oepc_false-unreach-call.i 0 900    890    11000   3600 .94 0     
pthread-wmm/mix005_pso.opt_false-unreach-call.i 0 900    880    9800   3800 1.1  0     
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i 0 900    890    11000   3600 1.1  0     
pthread-wmm/mix005_rmo.opt_false-unreach-call.i 0 900    880    13000   3800 .94 0     
pthread-wmm/mix005_tso.oepc_false-unreach-call.i 0 900    880    12000   400 .95 0     
pthread-wmm/mix005_tso.opt_false-unreach-call.i 0 900    880    13000   3800 1.1  0     
pthread-wmm/mix006_power.oepc_false-unreach-call.i 1 92    89    1100   230 .93 0     
pthread-wmm/mix006_power.opt_false-unreach-call.i 1 97    95    1200   380 1.1  0     
pthread-wmm/mix006_pso.oepc_false-unreach-call.i 1 92    90    1400   220 1.1  0     
pthread-wmm/mix006_pso.opt_false-unreach-call.i 1 97    95    1100   380 1.1  0     
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i 1 92    89    1200   230 1.1  0     
pthread-wmm/mix006_rmo.opt_false-unreach-call.i 1 97    95    1400   380 1.1  0     
pthread-wmm/mix006_tso.oepc_false-unreach-call.i 1 490    480    7000   1100 1.0  0     
pthread-wmm/mix006_tso.opt_false-unreach-call.i 1 97    96    1400   370 1.1  0     
pthread-wmm/mix007_power.oepc_false-unreach-call.i 0 900    890    11000   4400 .94 0     
pthread-wmm/mix007_power.opt_false-unreach-call.i 0 900    880    11000   4000 .94 0     
pthread-wmm/mix007_pso.oepc_false-unreach-call.i 0 900    890    11000   4400 1.1  0     
pthread-wmm/mix007_pso.opt_false-unreach-call.i 0 900    880    11000   4000 .94 0     
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i 0 900    890    11000   4500 .94 0     
pthread-wmm/mix007_rmo.opt_false-unreach-call.i 0 900    880    11000   4000 .94 0     
pthread-wmm/mix007_tso.oepc_false-unreach-call.i 0 900    890    13000   4400 1.1  0     
pthread-wmm/mix007_tso.opt_false-unreach-call.i 0 900    890    11000   4000 1.1  0     
pthread-wmm/mix008_power.oepc_false-unreach-call.i 0 900    890    11000   4500 1.1  0     
pthread-wmm/mix008_power.opt_false-unreach-call.i 0 900    880    11000   4000 .94 0     
pthread-wmm/mix008_pso.oepc_false-unreach-call.i 0 900    890    9600   4400 1.1  0     
pthread-wmm/mix008_pso.opt_false-unreach-call.i 0 900    880    13000   4000 1.1  0     
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i 0 900    890    12000   4500 .94 0     
pthread-wmm/mix008_rmo.opt_false-unreach-call.i 0 900    880    11000   4000 .94 0     
pthread-wmm/mix008_tso.oepc_false-unreach-call.i 0 900    890    12000   3100 1.0  0     
pthread-wmm/mix008_tso.opt_false-unreach-call.i 0 900    880    11000   4000 1.1  0     
pthread-wmm/mix009_power.oepc_false-unreach-call.i 1 2.4  2.3  28   56 1.1  0     
pthread-wmm/mix009_power.opt_false-unreach-call.i 1 3.6  3.5  47   59 .93 0     
pthread-wmm/mix009_pso.oepc_false-unreach-call.i 1 2.4  2.3  27   57 1.1  0     
pthread-wmm/mix009_pso.opt_false-unreach-call.i 1 3.6  3.5  50   58 1.1  0     
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i 1 2.4  2.3  25   57 1.1  0     
pthread-wmm/mix009_rmo.opt_false-unreach-call.i 1 3.6  3.5  51   58 1.1  0     
pthread-wmm/mix009_tso.oepc_false-unreach-call.i 1 2.4  2.3  28   56 1.1  0     
pthread-wmm/mix009_tso.opt_false-unreach-call.i 1 3.6  3.6  49   58 .93 0     
pthread-wmm/mix010_power.oepc_false-unreach-call.i 1 86    84    1200   230 .93 0     
pthread-wmm/mix010_power.opt_false-unreach-call.i 1 80    79    860   280 1.1  0     
pthread-wmm/mix010_pso.oepc_false-unreach-call.i 1 86    84    1000   230 .93 0     
pthread-wmm/mix010_pso.opt_false-unreach-call.i 1 81    79    1100   280 .94 0     
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i 1 86    84    1100   230 1.1  0     
pthread-wmm/mix010_rmo.opt_false-unreach-call.i 1 80    79    1200   280 1.1  0     
pthread-wmm/mix010_tso.oepc_false-unreach-call.i 1 87    85    1100   220 1.1  0     
pthread-wmm/mix010_tso.opt_false-unreach-call.i 1 80    79    980   280 1.1  0     
pthread-wmm/mix011_power.oepc_false-unreach-call.i 1 85    83    1100   230 1.1  0     
pthread-wmm/mix011_power.opt_false-unreach-call.i 1 80    78    1000   280 .94 0     
pthread-wmm/mix011_pso.oepc_false-unreach-call.i 1 85    84    950   220 1.1  0     
pthread-wmm/mix011_pso.opt_false-unreach-call.i 1 80    78    970   280 1.1  0     
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i 1 86    84    1300   220 1.1  0     
pthread-wmm/mix011_rmo.opt_false-unreach-call.i 1 80    78    900   280 .94 0     
pthread-wmm/mix011_tso.oepc_false-unreach-call.i 1 140    140    2000   100 1.0  0     
pthread-wmm/mix011_tso.opt_false-unreach-call.i 1 80    78    920   280 1.1  0     
pthread-wmm/mix012_power.oepc_false-unreach-call.i 1 2.2  2.2  28   58 1.1  0     
pthread-wmm/mix012_power.opt_false-unreach-call.i 1 2.2  2.2  31   57 1.1  0     
pthread-wmm/mix012_pso.oepc_false-unreach-call.i 1 2.2  2.2  27   58 .92 0     
pthread-wmm/mix012_pso.opt_false-unreach-call.i 1 3.4  3.3  38   59 1.1  0     
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i 1 2.2  2.2  27   58 .92 0     
pthread-wmm/mix012_rmo.opt_false-unreach-call.i 1 2.2  2.2  32   57 1.1  0     
pthread-wmm/mix012_tso.oepc_false-unreach-call.i 1 2.2  2.2  24   58 1.1  0     
pthread-wmm/mix012_tso.opt_false-unreach-call.i 1 3.4  3.3  43   59 1.1  0     
pthread-wmm/mix013_power.oepc_false-unreach-call.i 0 900    890    10000   3800 1.1  0     
pthread-wmm/mix013_power.opt_false-unreach-call.i 0 900    880    12000   3500 1.1  0     
pthread-wmm/mix013_pso.oepc_false-unreach-call.i 0 900    890    11000   3800 .94 0     
pthread-wmm/mix013_pso.opt_false-unreach-call.i 0 900    880    12000   3500 .94 0     
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i 0 900    890    13000   3800 1.1  0     
pthread-wmm/mix013_rmo.opt_false-unreach-call.i 0 900    880    11000   3500 .94 0     
pthread-wmm/mix013_tso.oepc_false-unreach-call.i 0 900    890    10000   3800 1.1  0     
pthread-wmm/mix013_tso.opt_false-unreach-call.i 0 900    880    10000   3500 1.1  0     
pthread-wmm/mix014_power.oepc_false-unreach-call.i 0 900    890    11000   3800 1.1  0     
pthread-wmm/mix014_power.opt_false-unreach-call.i 0 900    880    12000   3700 1.1  0     
pthread-wmm/mix014_pso.oepc_false-unreach-call.i 0 900    890    11000   3800 1.1  0     
pthread-wmm/mix014_pso.opt_false-unreach-call.i 0 900    880    11000   3700 1.1  0     
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i 0 900    890    12000   3800 .94 0     
pthread-wmm/mix014_rmo.opt_false-unreach-call.i 0 900    880    11000   3700 1.1  0     
pthread-wmm/mix014_tso.oepc_false-unreach-call.i 0 900    890    13000   4100 1.1  0     
pthread-wmm/mix014_tso.opt_false-unreach-call.i 0 900    880    11000   3700 1.1  0     
pthread-wmm/mix015_power.oepc_false-unreach-call.i 1 92    90    1200   220 1.1  0     
pthread-wmm/mix015_power.opt_false-unreach-call.i 1 89    88    1000   300 .94 0     
pthread-wmm/mix015_pso.oepc_false-unreach-call.i 1 92    90    1300   220 .98 0     
pthread-wmm/mix015_pso.opt_false-unreach-call.i 1 90    87    1200   300 .94 0     
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i 1 91    89    1100   220 .93 0     
pthread-wmm/mix015_rmo.opt_false-unreach-call.i 1 90    88    1200   300 .94 0     
pthread-wmm/mix015_tso.oepc_false-unreach-call.i 1 91    90    1000   220 1.1  0     
pthread-wmm/mix015_tso.opt_false-unreach-call.i 1 89    88    1100   300 .94 0     
pthread-wmm/mix016_power.oepc_false-unreach-call.i 1 81    79    950   210 .93 0     
pthread-wmm/mix016_power.opt_false-unreach-call.i 1 96    93    1200   330 1.1  0     
pthread-wmm/mix016_pso.oepc_false-unreach-call.i 1 81    80    1000   210 1.1  0     
pthread-wmm/mix016_pso.opt_false-unreach-call.i 1 79    77    1100   270 1.1  0     
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i 1 81    79    1200   210 1.1  0     
pthread-wmm/mix016_rmo.opt_false-unreach-call.i 1 95    93    1300   330 1.1  0     
pthread-wmm/mix016_tso.oepc_false-unreach-call.i 1 81    79    1000   220 1.1  0     
pthread-wmm/mix016_tso.opt_false-unreach-call.i 1 79    77    1000   270 1.1  0     
pthread-wmm/mix017_power.oepc_false-unreach-call.i 0 900    890    12000   3700 1.1  0     
pthread-wmm/mix017_power.opt_false-unreach-call.i 0 900    880    9800   4300 1.1  0     
pthread-wmm/mix017_pso.oepc_false-unreach-call.i 0 900    890    12000   3700 1.1  0     
pthread-wmm/mix017_pso.opt_false-unreach-call.i 0 900    880    12000   3800 .94 0     
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i 0 900    890    11000   3700 .94 0     
pthread-wmm/mix017_rmo.opt_false-unreach-call.i 0 900    880    10000   4200 1.1  0     
pthread-wmm/mix017_tso.oepc_false-unreach-call.i 0 900    890    10000   3700 1.1  0     
pthread-wmm/mix017_tso.opt_false-unreach-call.i 0 900    890    12000   3800 .94 0     
pthread-wmm/mix018_power.oepc_false-unreach-call.i 0 900    890    12000   3700 .94 0     
pthread-wmm/mix018_power.opt_false-unreach-call.i 0 900    890    10000   3800 1.1  0     
pthread-wmm/mix018_pso.oepc_false-unreach-call.i 0 900    890    13000   3700 .94 0     
pthread-wmm/mix018_pso.opt_false-unreach-call.i 0 900    880    11000   3700 1.1  0     
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i 0 900    890    11000   3700 .94 0     
pthread-wmm/mix018_rmo.opt_false-unreach-call.i 0 900    880    11000   3700 1.1  0     
pthread-wmm/mix018_tso.oepc_false-unreach-call.i 0 900    880    12000   400 1.1  0     
pthread-wmm/mix018_tso.opt_false-unreach-call.i 0 900    880    11000   3800 1.1  0     
pthread-wmm/mix019_power.oepc_false-unreach-call.i 1 80    79    870   220 1.1  0     
pthread-wmm/mix019_power.opt_false-unreach-call.i 1 79    77    930   270 .93 0     
pthread-wmm/mix019_pso.oepc_false-unreach-call.i 1 81    79    1100   210 1.1  0     
pthread-wmm/mix019_pso.opt_false-unreach-call.i 1 78    76    1100   280 .93 0     
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i 1 80    78    1000   220 1.1  0     
pthread-wmm/mix019_rmo.opt_false-unreach-call.i 1 78    76    970   280 .93 0     
pthread-wmm/mix019_tso.oepc_false-unreach-call.i 1 130    130    1600   95 1.1  0     
pthread-wmm/mix019_tso.opt_false-unreach-call.i 1 78    77    900   270 1.1  0     
pthread-wmm/mix020_power.oepc_false-unreach-call.i 0 900    890    11000   3700 .99 0     
pthread-wmm/mix020_power.opt_false-unreach-call.i 0 900    880    11000   3800 1.1  0     
pthread-wmm/mix020_pso.oepc_false-unreach-call.i 0 900    890    10000   3700 1.1  0     
pthread-wmm/mix020_pso.opt_false-unreach-call.i 0 900    880    11000   3800 .94 0     
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i 0 900    890    13000   3700 1.1  0     
pthread-wmm/mix020_rmo.opt_false-unreach-call.i 0 900    880    13000   3700 1.1  0     
pthread-wmm/mix020_tso.oepc_false-unreach-call.i 0 900    890    9700   3700 1.1  0     
pthread-wmm/mix020_tso.opt_false-unreach-call.i 0 900    880    11000   3700 1.1  0     
pthread-wmm/mix021_power.oepc_false-unreach-call.i 0 900    890    10000   3700 .94 0     
pthread-wmm/mix021_power.opt_false-unreach-call.i 0 900    880    12000   3800 .94 0     
pthread-wmm/mix021_pso.oepc_false-unreach-call.i 0 900    890    12000   3700 1.1  0     
pthread-wmm/mix021_pso.opt_false-unreach-call.i 0 900    880    12000   3800 1.1  0     
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i 0 900    890    10000   3700 1.1  0     
pthread-wmm/mix021_rmo.opt_false-unreach-call.i 0 900    880    13000   3800 1.1  0     
pthread-wmm/mix021_tso.oepc_false-unreach-call.i 0 900    880    12000   410 .93 0     
pthread-wmm/mix021_tso.opt_false-unreach-call.i 0 900    880    12000   3700 1.1  0     
pthread-wmm/mix022_power.oepc_false-unreach-call.i 1 2.5  2.4  31   57 1.1  0     
pthread-wmm/mix022_power.opt_false-unreach-call.i 1 2.5  2.4  32   56 1.1  0     
pthread-wmm/mix022_pso.oepc_false-unreach-call.i 1 2.4  2.4  28   59 1.1  0     
pthread-wmm/mix022_pso.opt_false-unreach-call.i 1 2.4  2.4  30   56 .92 0     
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i 1 2.4  2.4  29   57 .92 0     
pthread-wmm/mix022_rmo.opt_false-unreach-call.i 1 2.4  2.4  33   57 .92 0     
pthread-wmm/mix022_tso.oepc_false-unreach-call.i 1 5.0  4.9  60   59 1.1  0     
pthread-wmm/mix022_tso.opt_false-unreach-call.i 1 4.9  4.9  53   59 1.1  0     
pthread-wmm/mix023_power.oepc_false-unreach-call.i 0 900    890    12000   4500 1.1  0     
pthread-wmm/mix023_power.opt_false-unreach-call.i 0 900    880    11000   4200 1.1  0     
pthread-wmm/mix023_pso.oepc_false-unreach-call.i 0 900    890    12000   4500 .94 0     
pthread-wmm/mix023_pso.opt_false-unreach-call.i 0 900    880    11000   4200 .93 0     
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i 0 900    890    10000   4500 1.1  0     
pthread-wmm/mix023_rmo.opt_false-unreach-call.i 0 900    880    10000   4200 1.1  0     
pthread-wmm/mix023_tso.oepc_false-unreach-call.i 0 900    890    11000   560 1.2  0     
pthread-wmm/mix023_tso.opt_false-unreach-call.i 0 900    890    11000   550 1.0  0     
pthread-wmm/mix024_power.oepc_false-unreach-call.i 1 110    110    1300   300 1.1  0     
pthread-wmm/mix024_power.opt_false-unreach-call.i 1 120    120    1500   340 1.1  0     
pthread-wmm/mix024_pso.oepc_false-unreach-call.i 1 110    110    1400   300 .93 0     
pthread-wmm/mix024_pso.opt_false-unreach-call.i 1 120    120    1300   340 1.1  0     
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i 1 110    110    1200   300 1.1  0     
pthread-wmm/mix024_rmo.opt_false-unreach-call.i 1 120    120    1700   340 1.1  0     
pthread-wmm/mix024_tso.oepc_false-unreach-call.i 1 110    110    1500   300 1.1  0     
pthread-wmm/mix024_tso.opt_false-unreach-call.i 1 110    110    1400   290 1.1  0     
pthread-wmm/mix025_power.oepc_false-unreach-call.i 1 98    96    1200   290 1.1  0     
pthread-wmm/mix025_power.opt_false-unreach-call.i 1 98    96    1300   290 .93 0     
pthread-wmm/mix025_pso.oepc_false-unreach-call.i 1 98    96    1100   290 1.1  0     
pthread-wmm/mix025_pso.opt_false-unreach-call.i 1 110    110    1600   340 .92 0     
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i 1 98    96    1200   290 .93 0     
pthread-wmm/mix025_rmo.opt_false-unreach-call.i 1 110    110    1300   340 1.1  0     
pthread-wmm/mix025_tso.oepc_false-unreach-call.i 1 98    96    1400   290 1.0  0     
pthread-wmm/mix025_tso.opt_false-unreach-call.i 1 99    96    1300   290 1.1  0     
pthread-wmm/mix026_power.oepc_false-unreach-call.i 0 900    890    12000   4500 1.1  0     
pthread-wmm/mix026_power.opt_false-unreach-call.i 0 900    880    12000   4600 1.1  0     
pthread-wmm/mix026_pso.oepc_false-unreach-call.i 0 900    890    12000   4500 1.1  0     
pthread-wmm/mix026_pso.opt_false-unreach-call.i 0 900    880    11000   4000 1.0  0     
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i 0 900    890    10000   4500 .94 0     
pthread-wmm/mix026_rmo.opt_false-unreach-call.i 0 900    880    12000   4000 1.1  0     
pthread-wmm/mix026_tso.oepc_false-unreach-call.i 0 900    890    11000   4500 1.1  0     
pthread-wmm/mix026_tso.opt_false-unreach-call.i 0 900    880    11000   4600 1.1  0     
pthread-wmm/mix027_power.oepc_false-unreach-call.i 0 900    890    10000   4500 .94 0     
pthread-wmm/mix027_power.opt_false-unreach-call.i 0 900    880    13000   4000 1.1  0     
pthread-wmm/mix027_pso.oepc_false-unreach-call.i 0 900    890    11000   4500 .94 0     
pthread-wmm/mix027_pso.opt_false-unreach-call.i 0 900    880    11000   4000 .93 0     
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i 0 900    890    11000   4500 .94 0     
pthread-wmm/mix027_rmo.opt_false-unreach-call.i 0 900    880    11000   4000 .93 0     
pthread-wmm/mix027_tso.oepc_false-unreach-call.i 0 900    880    11000   400 1.1  0     
pthread-wmm/mix027_tso.opt_false-unreach-call.i 0 900    890    13000   400 .94 0     
pthread-wmm/mix028_power.oepc_false-unreach-call.i 1 98    95    1200   290 .93 0     
pthread-wmm/mix028_power.opt_false-unreach-call.i 1 150    140    2000   100 .93 0     
pthread-wmm/mix028_pso.oepc_false-unreach-call.i 1 98    95    1300   290 1.1  0     
pthread-wmm/mix028_pso.opt_false-unreach-call.i 1 150    140    1900   100 1.1  0     
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i 1 98    96    1400   290 1.0  0     
pthread-wmm/mix028_rmo.opt_false-unreach-call.i 1 150    140    1700   100 .93 0     
pthread-wmm/mix028_tso.oepc_false-unreach-call.i 1 100    100    1500   95 1.1  0     
pthread-wmm/mix028_tso.opt_false-unreach-call.i 1 110    100    1200   95 1.1  0     
pthread-wmm/mix029_power.oepc_false-unreach-call.i 0 900    890    10000   4500 1.1  0     
pthread-wmm/mix029_power.opt_false-unreach-call.i 0 900    880    11000   410 .93 0     
pthread-wmm/mix029_pso.oepc_false-unreach-call.i 0 900    890    11000   4500 .94 0     
pthread-wmm/mix029_pso.opt_false-unreach-call.i 0 900    880    13000   410 1.1  0     
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i 0 900    890    11000   4500 1.1  0     
pthread-wmm/mix029_rmo.opt_false-unreach-call.i 0 900    880    11000   410 .93 0     
pthread-wmm/mix029_tso.oepc_false-unreach-call.i 0 900    890    12000   4500 1.1  0     
pthread-wmm/mix029_tso.opt_false-unreach-call.i 0 900    890    12000   4500 1.1  0     
pthread-wmm/mix030_power.oepc_false-unreach-call.i 0 900    890    11000   4500 1.1  0     
pthread-wmm/mix030_power.opt_false-unreach-call.i 0 900    880    12000   420 1.1  0     
pthread-wmm/mix030_pso.oepc_false-unreach-call.i 0 900    890    11000   4500 1.1  0     
pthread-wmm/mix030_pso.opt_false-unreach-call.i 0 900    880    11000   410 1.1  0     
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i 0 900    890    13000   4500 1.1  0     
pthread-wmm/mix030_rmo.opt_false-unreach-call.i 0 900    880    11000   410 1.1  0     
pthread-wmm/mix030_tso.oepc_false-unreach-call.i 0 900    880    13000   520 .95 0     
pthread-wmm/mix030_tso.opt_false-unreach-call.i 0 900    880    11000   520 1.1  0     
pthread-wmm/mix031_power.oepc_false-unreach-call.i 1 2.4  2.4  31   56 1.1  0     
pthread-wmm/mix031_power.opt_false-unreach-call.i 1 2.8  2.8  34   54 1.1  0     
pthread-wmm/mix031_pso.oepc_false-unreach-call.i 1 2.4  2.4  30   56 .92 0     
pthread-wmm/mix031_pso.opt_false-unreach-call.i 1 2.8  2.8  32   54 .92 0     
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i 1 2.4  2.4  33   56 1.1  0     
pthread-wmm/mix031_rmo.opt_false-unreach-call.i 1 2.8  2.8  34   54 1.1  0     
pthread-wmm/mix031_tso.oepc_false-unreach-call.i 1 2.4  2.4  28   57 .92 0     
pthread-wmm/mix031_tso.opt_false-unreach-call.i 1 2.8  2.8  38   53 1.1  0     
pthread-wmm/mix032_power.oepc_false-unreach-call.i 1 89    87    1200   220 .93 0     
pthread-wmm/mix032_power.opt_false-unreach-call.i 1 59    58    770   260 1.1  0     
pthread-wmm/mix032_pso.oepc_false-unreach-call.i 1 89    86    1100   230 1.1  0     
pthread-wmm/mix032_pso.opt_false-unreach-call.i 1 59    58    740   260 1.1  0     
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i 1 88    86    1100   230 .93 0     
pthread-wmm/mix032_rmo.opt_false-unreach-call.i 1 59    58    680   260 1.1  0     
pthread-wmm/mix032_tso.oepc_false-unreach-call.i 1 89    87    1100   230 .93 0     
pthread-wmm/mix032_tso.opt_false-unreach-call.i 1 59    58    770   260 .92 0     
pthread-wmm/mix033_power.oepc_false-unreach-call.i 1 88    86    1100   230 .93 0     
pthread-wmm/mix033_power.opt_false-unreach-call.i 1 59    57    810   260 1.1  0     
pthread-wmm/mix033_pso.oepc_false-unreach-call.i 1 88    86    1100   230 1.1  0     
pthread-wmm/mix033_pso.opt_false-unreach-call.i 1 59    57    850   260 1.1  0     
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i 1 88    86    1000   230 1.1  0     
pthread-wmm/mix033_rmo.opt_false-unreach-call.i 1 59    57    770   260 .92 0     
pthread-wmm/mix033_tso.oepc_false-unreach-call.i 1 150    140    1900   100 1.1  0     
pthread-wmm/mix033_tso.opt_false-unreach-call.i 1 59    57    690   260 1.1  0     
pthread-wmm/mix034_power.oepc_false-unreach-call.i