Benchmark

LabelMeaning
SSolution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A}
OBest solution found
TCPU time (TO for Time Out)
(out)(err)Standard output and standard error for each solver

ColorMeaning
TextBest solver column
TextOptimal solution with the best CPU time
TextOptimal solution and finished within the Time Out
TextOptimal solution and did not finish within the Time Out
TextTime Out
TextBuggy solution

Instance file name Best solver PM2 QMaxSat-g2 QMaxSat Sat4j ShinMaxSat WMaxSatz+ WMaxSatz09 WPM1 akmaxsat akmaxsat_ls iut_rr_ls iut_rr_rv pwbo2.0 wbo1.6
clq1-cv160c800l2g1.wcnf S = OPT
O = 61
T = 1045.12
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 112
T = TO
(out)(err)
S = N/A
O = 70
T = 1034.52
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 61
T = 1045.12
(out)(err)
S = OPT
O = 61
T = 1074.68
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g10.wcnf S = OPT
O = 53
T = 503.46
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 86
T = TO
(out)(err)
S = N/A
O = 59
T = 575.51
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 53
T = 1280.39
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 53
T = 503.46
(out)(err)
S = OPT
O = 53
T = 510.09
(out)(err)
S = OPT
O = 53
T = 1363.86
(out)(err)
S = OPT
O = 53
T = 1293.23
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g11.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 111
T = TO
(out)(err)
S = N/A
O = 81
T = 635.59
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g12.wcnf S = OPT
O = 59
T = 796.13
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 101
T = TO
(out)(err)
S = N/A
O = 70
T = 805.21
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 59
T = 796.13
(out)(err)
S = OPT
O = 59
T = 805.02
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g13.wcnf S = OPT
O = 51
T = 60.54
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 90
T = TO
(out)(err)
S = N/A
O = 65
T = 677.40
(out)(err)
S = OPT
O = 51
T = 257.93
(out)(err)
S = OPT
O = 51
T = 122.17
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 51
T = 60.54
(out)(err)
S = OPT
O = 51
T = 70.86
(out)(err)
S = OPT
O = 51
T = 189.88
(out)(err)
S = OPT
O = 51
T = 163.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g14.wcnf S = OPT
O = 45
T = 9.82
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 85
T = TO
(out)(err)
S = N/A
O = 53
T = TO
(out)(err)
S = OPT
O = 45
T = 35.33
(out)(err)
S = OPT
O = 45
T = 14.45
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 45
T = 9.82
(out)(err)
S = OPT
O = 45
T = 16.67
(out)(err)
S = OPT
O = 45
T = 43.41
(out)(err)
S = OPT
O = 45
T = 30.08
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g15.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 95
T = TO
(out)(err)
S = N/A
O = 64
T = 831.49
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g16.wcnf S = OPT
O = 56
T = 258.84
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 104
T = TO
(out)(err)
S = N/A
O = 66
T = 659.62
(out)(err)
S = OPT
O = 56
T = 1219.54
(out)(err)
S = OPT
O = 56
T = 521.18
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 56
T = 258.84
(out)(err)
S = OPT
O = 56
T = 265.14
(out)(err)
S = OPT
O = 56
T = 594.67
(out)(err)
S = OPT
O = 56
T = 547.41
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g17.wcnf S = OPT
O = 59
T = 1296.93
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 97
T = TO
(out)(err)
S = N/A
O = 66
T = 664.82
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 59
T = 1296.93
(out)(err)
S = OPT
O = 59
T = 1336.65
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g18.wcnf S = OPT
O = 55
T = 562.06
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 99
T = TO
(out)(err)
S = N/A
O = 66
T = 798.19
(out)(err)
S = OPT
O = 55
T = 799.87
(out)(err)
S = OPT
O = 55
T = 617.18
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 55
T = 562.06
(out)(err)
S = OPT
O = 55
T = 562.62
(out)(err)
S = OPT
O = 55
T = 1373.11
(out)(err)
S = OPT
O = 55
T = 1261.14
(out)(err)
S = N/A
O = N/A
T = 1765.44
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g19.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 119
T = TO
(out)(err)
S = N/A
O = 90
T = 615.57
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 68
T = TO
(out)(err)
S = N/A
O = 68
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = N/A
T = 1759.87
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g2.wcnf S = OPT
O = 48
T = 19.36
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 87
T = TO
(out)(err)
S = N/A
O = 59
T = 833.38
(out)(err)
S = OPT
O = 48
T = 114.50
(out)(err)
S = OPT
O = 48
T = 62.77
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 48
T = 19.36
(out)(err)
S = OPT
O = 48
T = 27.25
(out)(err)
S = OPT
O = 48
T = 74.78
(out)(err)
S = OPT
O = 48
T = 60.37
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g20.wcnf S = OPT
O = 46
T = 18.37
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 91
T = TO
(out)(err)
S = N/A
O = 53
T = 821.95
(out)(err)
S = OPT
O = 46
T = 86.88
(out)(err)
S = OPT
O = 46
T = 35.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 46
T = 18.37
(out)(err)
S = OPT
O = 46
T = 26.66
(out)(err)
S = OPT
O = 46
T = 121.88
(out)(err)
S = OPT
O = 46
T = 97.79
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g21.wcnf S = OPT
O = 56
T = 400.49
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 90
T = TO
(out)(err)
S = N/A
O = 69
T = 839.54
(out)(err)
S = OPT
O = 56
T = 1742.53
(out)(err)
S = OPT
O = 56
T = 750.47
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 56
T = 400.49
(out)(err)
S = OPT
O = 56
T = 408.21
(out)(err)
S = OPT
O = 56
T = 930.38
(out)(err)
S = OPT
O = 56
T = 863.98
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g22.wcnf S = OPT
O = 56
T = 799.53
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 111
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = OPT
O = 56
T = 946.40
(out)(err)
S = OPT
O = 56
T = 799.53
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 56
T = 979.55
(out)(err)
S = OPT
O = 56
T = 986.91
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g23.wcnf S = OPT
O = 51
T = 23.16
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 99
T = TO
(out)(err)
S = N/A
O = 52
T = 756.94
(out)(err)
S = OPT
O = 51
T = 161.46
(out)(err)
S = OPT
O = 51
T = 70.08
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 51
T = 23.16
(out)(err)
S = OPT
O = 51
T = 30.38
(out)(err)
S = OPT
O = 51
T = 85.89
(out)(err)
S = OPT
O = 51
T = 70.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g24.wcnf S = OPT
O = 49
T = 27.63
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 81
T = TO
(out)(err)
S = N/A
O = 52
T = 754.62
(out)(err)
S = OPT
O = 49
T = 148.30
(out)(err)
S = OPT
O = 49
T = 83.00
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 49
T = 27.63
(out)(err)
S = OPT
O = 49
T = 35.55
(out)(err)
S = OPT
O = 49
T = 98.66
(out)(err)
S = OPT
O = 49
T = 79.84
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g25.wcnf S = OPT
O = 55
T = 776.83
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 106
T = TO
(out)(err)
S = N/A
O = 59
T = 601.87
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 55
T = 776.83
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 55
T = 805.84
(out)(err)
S = OPT
O = 55
T = 816.61
(out)(err)
S = N/A
O = 55
T = TO
(out)(err)
S = OPT
O = 55
T = 1756.78
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g26.wcnf S = OPT
O = 53
T = 611.26
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 90
T = TO
(out)(err)
S = N/A
O = 66
T = 1496.08
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 53
T = 1074.28
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 53
T = 611.26
(out)(err)
S = OPT
O = 53
T = 621.71
(out)(err)
S = OPT
O = 53
T = 1441.41
(out)(err)
S = OPT
O = 53
T = 1340.64
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g27.wcnf S = OPT
O = 56
T = 918.82
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 108
T = TO
(out)(err)
S = N/A
O = 71
T = 708.10
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 56
T = 918.82
(out)(err)
S = OPT
O = 56
T = 930.91
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g28.wcnf S = OPT
O = 50
T = 157.29
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 98
T = TO
(out)(err)
S = N/A
O = 53
T = 590.73
(out)(err)
S = OPT
O = 50
T = 445.88
(out)(err)
S = OPT
O = 50
T = 164.32
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 50
T = 157.29
(out)(err)
S = OPT
O = 50
T = 164.82
(out)(err)
S = OPT
O = 50
T = 382.49
(out)(err)
S = OPT
O = 50
T = 346.79
(out)(err)
S = N/A
O = N/A
T = 1762.37
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g29.wcnf S = OPT
O = 42
T = 19.74
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 82
T = TO
(out)(err)
S = N/A
O = 52
T = 985.68
(out)(err)
S = OPT
O = 42
T = 43.78
(out)(err)
S = OPT
O = 42
T = 27.85
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 42
T = 19.74
(out)(err)
S = OPT
O = 42
T = 27.65
(out)(err)
S = OPT
O = 42
T = 80.65
(out)(err)
S = OPT
O = 42
T = 61.63
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g3.wcnf S = OPT
O = 60
T = 1221.73
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 107
T = TO
(out)(err)
S = N/A
O = 65
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 60
T = 1221.73
(out)(err)
S = OPT
O = 60
T = 1232.82
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g30.wcnf S = OPT
O = 60
T = 204.23
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 122
T = TO
(out)(err)
S = N/A
O = 67
T = 772.75
(out)(err)
S = OPT
O = 60
T = 795.40
(out)(err)
S = OPT
O = 60
T = 513.61
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 60
T = 204.23
(out)(err)
S = OPT
O = 60
T = 212.28
(out)(err)
S = OPT
O = 60
T = 510.00
(out)(err)
S = OPT
O = 60
T = 471.47
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g4.wcnf S = OPT
O = 49
T = 338.58
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 99
T = TO
(out)(err)
S = N/A
O = 62
T = 882.41
(out)(err)
S = OPT
O = 49
T = 1498.73
(out)(err)
S = OPT
O = 49
T = 410.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 49
T = 338.58
(out)(err)
S = OPT
O = 49
T = 348.92
(out)(err)
S = OPT
O = 49
T = 695.18
(out)(err)
S = OPT
O = 49
T = 632.61
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g5.wcnf S = OPT
O = 49
T = 70.64
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 73
T = TO
(out)(err)
S = N/A
O = 52
T = 621.34
(out)(err)
S = OPT
O = 49
T = 352.18
(out)(err)
S = OPT
O = 49
T = 85.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 49
T = 70.64
(out)(err)
S = OPT
O = 49
T = 79.54
(out)(err)
S = OPT
O = 49
T = 188.18
(out)(err)
S = OPT
O = 49
T = 167.91
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g6.wcnf S = OPT
O = 62
T = 842.37
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 102
T = TO
(out)(err)
S = N/A
O = 66
T = 808.94
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 62
T = 842.37
(out)(err)
S = OPT
O = 62
T = 852.94
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g7.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 94
T = TO
(out)(err)
S = N/A
O = 66
T = 742.49
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv160c800l2g8.wcnf S = OPT
O = 49
T = 48.28
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 79
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = OPT
O = 49
T = 208.87
(out)(err)
S = OPT
O = 49
T = 69.12
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 49
T = 48.28
(out)(err)
S = OPT
O = 49
T = 56.13
(out)(err)
S = OPT
O = 49
T = 173.74
(out)(err)
S = OPT
O = 49
T = 144.66
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv160c800l2g9.wcnf S = OPT
O = 57
T = 1153.67
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 87
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 57
T = 1780.86
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 57
T = 1153.67
(out)(err)
S = OPT
O = 57
T = 1159.40
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = N/A
T = 1743.28
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g1.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 100
T = TO
(out)(err)
S = N/A
O = 87
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 67
T = TO
(out)(err)
S = N/A
O = 67
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g10.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 94
T = TO
(out)(err)
S = N/A
O = 79
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g11.wcnf S = OPT
O = 40
T = 54.40
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 50
T = TO
(out)(err)
S = N/A
O = 43
T = TO
(out)(err)
S = OPT
O = 40
T = 295.42
(out)(err)
S = OPT
O = 40
T = 65.52
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 40
T = 54.40
(out)(err)
S = OPT
O = 40
T = 67.99
(out)(err)
S = OPT
O = 40
T = 173.80
(out)(err)
S = OPT
O = 40
T = 140.84
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g12.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 88
T = TO
(out)(err)
S = N/A
O = 67
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = N/A
T = 1751.19
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g13.wcnf S = OPT
O = 38
T = 42.43
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = 45
T = 1030.25
(out)(err)
S = OPT
O = 38
T = 208.91
(out)(err)
S = OPT
O = 38
T = 42.59
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 38
T = 42.43
(out)(err)
S = OPT
O = 38
T = 55.57
(out)(err)
S = OPT
O = 38
T = 156.45
(out)(err)
S = OPT
O = 38
T = 123.71
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g14.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 104
T = TO
(out)(err)
S = N/A
O = 83
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g15.wcnf S = OPT
O = 46
T = 529.90
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 62
T = 671.90
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 46
T = 860.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 46
T = 529.90
(out)(err)
S = OPT
O = 46
T = 542.38
(out)(err)
S = OPT
O = 46
T = 1372.25
(out)(err)
S = OPT
O = 46
T = 1267.58
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g16.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 82
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g17.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 80
T = TO
(out)(err)
S = N/A
O = 54
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g18.wcnf S = OPT
O = 52
T = 277.16
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 70
T = TO
(out)(err)
S = N/A
O = 59
T = 1015.16
(out)(err)
S = OPT
O = 52
T = 1187.16
(out)(err)
S = OPT
O = 52
T = 277.16
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 52
T = 312.84
(out)(err)
S = OPT
O = 52
T = 325.95
(out)(err)
S = OPT
O = 52
T = 690.47
(out)(err)
S = OPT
O = 52
T = 636.47
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g19.wcnf S = OPT
O = 57
T = 1756.01
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 91
T = TO
(out)(err)
S = N/A
O = 76
T = 390.97
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 57
T = 1756.01
(out)(err)
S = OPT
O = 57
T = 1762.78
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g2.wcnf S = OPT
O = 54
T = 134.42
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 86
T = TO
(out)(err)
S = N/A
O = 76
T = TO
(out)(err)
S = OPT
O = 54
T = 529.93
(out)(err)
S = OPT
O = 54
T = 246.69
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 54
T = 134.42
(out)(err)
S = OPT
O = 54
T = 146.78
(out)(err)
S = OPT
O = 54
T = 395.15
(out)(err)
S = OPT
O = 54
T = 339.91
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g20.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 82
T = TO
(out)(err)
S = N/A
O = 78
T = 724.60
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 63
T = TO
(out)(err)
S = N/A
O = 63
T = TO
(out)(err)
S = N/A
O = 63
T = TO
(out)(err)
S = N/A
O = 63
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g21.wcnf S = OPT
O = 55
T = 643.59
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 90
T = TO
(out)(err)
S = N/A
O = 75
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 55
T = 960.91
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 55
T = 643.59
(out)(err)
S = OPT
O = 55
T = 660.72
(out)(err)
S = OPT
O = 55
T = 1516.21
(out)(err)
S = OPT
O = 55
T = 1401.22
(out)(err)
S = N/A
O = N/A
T = 1729.05
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g22.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 115
T = TO
(out)(err)
S = N/A
O = 74
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = N/A
T = 1741.66
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g23.wcnf S = OPT
O = 52
T = 311.36
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 98
T = TO
(out)(err)
S = N/A
O = 54
T = TO
(out)(err)
S = OPT
O = 52
T = 1518.52
(out)(err)
S = OPT
O = 52
T = 526.18
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 52
T = 311.36
(out)(err)
S = OPT
O = 52
T = 323.78
(out)(err)
S = OPT
O = 52
T = 766.74
(out)(err)
S = OPT
O = 52
T = 695.30
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g24.wcnf S = OPT
O = 42
T = 19.11
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = 53
T = TO
(out)(err)
S = OPT
O = 42
T = 100.05
(out)(err)
S = OPT
O = 42
T = 28.66
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 42
T = 19.11
(out)(err)
S = OPT
O = 42
T = 32.48
(out)(err)
S = OPT
O = 42
T = 89.62
(out)(err)
S = OPT
O = 42
T = 62.78
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g25.wcnf S = OPT
O = 46
T = 95.13
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 91
T = TO
(out)(err)
S = N/A
O = 48
T = TO
(out)(err)
S = OPT
O = 46
T = 509.87
(out)(err)
S = OPT
O = 46
T = 140.14
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 46
T = 95.13
(out)(err)
S = OPT
O = 46
T = 108.51
(out)(err)
S = OPT
O = 46
T = 234.32
(out)(err)
S = OPT
O = 46
T = 200.34
(out)(err)
S = N/A
O = N/A
T = 1704.64
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g26.wcnf S = OPT
O = 50
T = 1431.77
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 82
T = TO
(out)(err)
S = N/A
O = 65
T = 771.71
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 50
T = 1431.77
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 50
T = 1658.89
(out)(err)
S = OPT
O = 50
T = 1651.64
(out)(err)
S = N/A
O = 50
T = TO
(out)(err)
S = N/A
O = 50
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g27.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 130
T = TO
(out)(err)
S = N/A
O = 93
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g28.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 100
T = TO
(out)(err)
S = N/A
O = 70
T = 473.07
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g29.wcnf S = OPT
O = 54
T = 689.35
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 105
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 54
T = 1345.51
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 54
T = 689.35
(out)(err)
S = OPT
O = 54
T = 701.30
(out)(err)
S = OPT
O = 54
T = 1444.46
(out)(err)
S = OPT
O = 54
T = 1343.26
(out)(err)
S = N/A
O = N/A
T = 1751.69
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g3.wcnf S = OPT
O = 52
T = 453.16
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 89
T = TO
(out)(err)
S = N/A
O = 66
T = 475.90
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 52
T = 665.44
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 52
T = 453.16
(out)(err)
S = OPT
O = 52
T = 462.64
(out)(err)
S = OPT
O = 52
T = 973.45
(out)(err)
S = OPT
O = 52
T = 889.98
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g30.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 101
T = TO
(out)(err)
S = N/A
O = 70
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g4.wcnf S = OPT
O = 45
T = 323.59
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 79
T = TO
(out)(err)
S = N/A
O = 53
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 45
T = 401.29
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 45
T = 323.59
(out)(err)
S = OPT
O = 45
T = 339.71
(out)(err)
S = OPT
O = 45
T = 660.71
(out)(err)
S = OPT
O = 45
T = 593.69
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g5.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 89
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = N/A
T = 1783.45
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g6.wcnf S = OPT
O = 49
T = 117.57
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 90
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = OPT
O = 49
T = 599.56
(out)(err)
S = OPT
O = 49
T = 268.12
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 49
T = 117.57
(out)(err)
S = OPT
O = 49
T = 132.00
(out)(err)
S = OPT
O = 49
T = 335.13
(out)(err)
S = OPT
O = 49
T = 287.41
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g7.wcnf S = OPT
O = 46
T = 63.63
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 82
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = OPT
O = 46
T = 348.46
(out)(err)
S = OPT
O = 46
T = 103.90
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 46
T = 63.63
(out)(err)
S = OPT
O = 46
T = 76.82
(out)(err)
S = OPT
O = 46
T = 188.57
(out)(err)
S = OPT
O = 46
T = 154.49
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-cv260c1040l2g8.wcnf S = OPT
O = 48
T = 205.00
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 82
T = TO
(out)(err)
S = N/A
O = 53
T = TO
(out)(err)
S = OPT
O = 48
T = 661.96
(out)(err)
S = OPT
O = 48
T = 311.08
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 48
T = 205.00
(out)(err)
S = OPT
O = 48
T = 218.87
(out)(err)
S = OPT
O = 48
T = 479.31
(out)(err)
S = OPT
O = 48
T = 432.66
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-cv260c1040l2g9.wcnf S = OPT
O = 50
T = 1602.12
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 55
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 50
T = 1733.93
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 50
T = 1602.12
(out)(err)
S = OPT
O = 50
T = 1633.08
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = N/A
O = N/A
T = 1742.08
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g1.wcnf S = OPT
O = 54
T = 625.30
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 72
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = OPT
O = 54
T = 625.30
(out)(err)
S = OPT
O = 54
T = 1333.95
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 54
T = 812.11
(out)(err)
S = OPT
O = 54
T = 761.48
(out)(err)
S = OPT
O = 54
T = 1346.56
(out)(err)
S = OPT
O = 54
T = 1294.55
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g10.wcnf S = OPT
O = 43
T = 47.09
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = 45
T = TO
(out)(err)
S = OPT
O = 43
T = 83.87
(out)(err)
S = OPT
O = 43
T = 133.95
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 43
T = 89.95
(out)(err)
S = OPT
O = 43
T = 47.09
(out)(err)
S = OPT
O = 43
T = 164.79
(out)(err)
S = OPT
O = 43
T = 158.75
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g11.wcnf S = OPT
O = 48
T = 183.01
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 67
T = TO
(out)(err)
S = N/A
O = 49
T = TO
(out)(err)
S = OPT
O = 48
T = 183.01
(out)(err)
S = OPT
O = 48
T = 250.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 48
T = 188.85
(out)(err)
S = OPT
O = 48
T = 184.97
(out)(err)
S = OPT
O = 48
T = 561.21
(out)(err)
S = OPT
O = 48
T = 533.68
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g12.wcnf S = OPT
O = 51
T = 67.35
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = OPT
O = 51
T = 67.35
(out)(err)
S = OPT
O = 51
T = 132.98
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 51
T = 71.61
(out)(err)
S = OPT
O = 51
T = 72.41
(out)(err)
S = OPT
O = 51
T = 240.67
(out)(err)
S = OPT
O = 51
T = 228.39
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g13.wcnf S = OPT
O = 46
T = 92.54
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = 49
T = TO
(out)(err)
S = OPT
O = 46
T = 106.56
(out)(err)
S = OPT
O = 46
T = 147.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 46
T = 94.87
(out)(err)
S = OPT
O = 46
T = 92.54
(out)(err)
S = OPT
O = 46
T = 247.30
(out)(err)
S = OPT
O = 46
T = 233.92
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g14.wcnf S = OPT
O = 50
T = 320.23
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 73
T = TO
(out)(err)
S = N/A
O = 53
T = TO
(out)(err)
S = OPT
O = 50
T = 320.23
(out)(err)
S = OPT
O = 50
T = 555.15
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 50
T = 461.95
(out)(err)
S = OPT
O = 50
T = 460.60
(out)(err)
S = OPT
O = 50
T = 1051.66
(out)(err)
S = OPT
O = 50
T = 994.36
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g15.wcnf S = OPT
O = 51
T = 259.06
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 81
T = TO
(out)(err)
S = N/A
O = 52
T = TO
(out)(err)
S = OPT
O = 51
T = 274.17
(out)(err)
S = OPT
O = 51
T = 317.82
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 51
T = 271.33
(out)(err)
S = OPT
O = 51
T = 259.06
(out)(err)
S = OPT
O = 51
T = 742.91
(out)(err)
S = OPT
O = 51
T = 708.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g16.wcnf S = OPT
O = 51
T = 325.80
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 70
T = TO
(out)(err)
S = N/A
O = 52
T = TO
(out)(err)
S = OPT
O = 51
T = 325.80
(out)(err)
S = OPT
O = 51
T = 403.34
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 51
T = 354.49
(out)(err)
S = OPT
O = 51
T = 363.36
(out)(err)
S = OPT
O = 51
T = 909.52
(out)(err)
S = OPT
O = 51
T = 859.24
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g17.wcnf S = OPT
O = 45
T = 163.56
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = 46
T = TO
(out)(err)
S = OPT
O = 45
T = 219.63
(out)(err)
S = OPT
O = 45
T = 301.99
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 45
T = 170.53
(out)(err)
S = OPT
O = 45
T = 163.56
(out)(err)
S = OPT
O = 45
T = 612.92
(out)(err)
S = OPT
O = 45
T = 587.97
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g18.wcnf S = OPT
O = 51
T = 706.18
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 67
T = TO
(out)(err)
S = N/A
O = 52
T = TO
(out)(err)
S = OPT
O = 51
T = 1072.91
(out)(err)
S = OPT
O = 51
T = 1299.79
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 51
T = 706.18
(out)(err)
S = OPT
O = 51
T = 712.28
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g19.wcnf S = OPT
O = 55
T = 848.82
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 75
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = OPT
O = 55
T = 1379.03
(out)(err)
S = OPT
O = 55
T = 1762.18
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 55
T = 850.57
(out)(err)
S = OPT
O = 55
T = 848.82
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g2.wcnf S = OPT
O = 48
T = 87.07
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 70
T = TO
(out)(err)
S = N/A
O = 52
T = TO
(out)(err)
S = OPT
O = 48
T = 95.08
(out)(err)
S = OPT
O = 48
T = 188.59
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 48
T = 88.49
(out)(err)
S = OPT
O = 48
T = 87.07
(out)(err)
S = OPT
O = 48
T = 209.92
(out)(err)
S = OPT
O = 48
T = 198.95
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g20.wcnf S = OPT
O = 50
T = 261.09
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 67
T = TO
(out)(err)
S = N/A
O = 50
T = TO
(out)(err)
S = OPT
O = 50
T = 261.09
(out)(err)
S = OPT
O = 50
T = 346.82
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 50
T = 406.60
(out)(err)
S = OPT
O = 50
T = 324.27
(out)(err)
S = OPT
O = 50
T = 980.68
(out)(err)
S = OPT
O = 50
T = 923.88
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g21.wcnf S = OPT
O = 40
T = 84.57
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = 42
T = TO
(out)(err)
S = OPT
O = 40
T = 84.57
(out)(err)
S = OPT
O = 40
T = 109.59
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 40
T = 134.81
(out)(err)
S = OPT
O = 40
T = 130.35
(out)(err)
S = OPT
O = 40
T = 329.29
(out)(err)
S = OPT
O = 40
T = 309.60
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g22.wcnf S = OPT
O = 50
T = 217.29
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 71
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = OPT
O = 50
T = 301.08
(out)(err)
S = OPT
O = 50
T = 504.78
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 50
T = 217.52
(out)(err)
S = OPT
O = 50
T = 217.29
(out)(err)
S = OPT
O = 50
T = 686.78
(out)(err)
S = OPT
O = 50
T = 654.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g23.wcnf S = OPT
O = 52
T = 142.26
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = 55
T = TO
(out)(err)
S = OPT
O = 52
T = 153.14
(out)(err)
S = OPT
O = 52
T = 283.79
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 52
T = 142.26
(out)(err)
S = OPT
O = 52
T = 143.12
(out)(err)
S = OPT
O = 52
T = 478.79
(out)(err)
S = OPT
O = 52
T = 460.56
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g24.wcnf S = OPT
O = 50
T = 135.42
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = OPT
O = 50
T = 135.42
(out)(err)
S = OPT
O = 50
T = 307.98
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 50
T = 224.04
(out)(err)
S = OPT
O = 50
T = 189.21
(out)(err)
S = OPT
O = 50
T = 627.38
(out)(err)
S = OPT
O = 50
T = 598.03
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g25.wcnf S = OPT
O = 45
T = 170.74
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 70
T = TO
(out)(err)
S = N/A
O = 46
T = TO
(out)(err)
S = OPT
O = 45
T = 233.06
(out)(err)
S = OPT
O = 45
T = 238.32
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 45
T = 171.31
(out)(err)
S = OPT
O = 45
T = 170.74
(out)(err)
S = OPT
O = 45
T = 444.29
(out)(err)
S = OPT
O = 45
T = 421.42
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g26.wcnf S = OPT
O = 50
T = 88.00
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 74
T = TO
(out)(err)
S = N/A
O = 50
T = TO
(out)(err)
S = OPT
O = 50
T = 88.00
(out)(err)
S = OPT
O = 50
T = 172.26
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 50
T = 191.78
(out)(err)
S = OPT
O = 50
T = 189.37
(out)(err)
S = OPT
O = 50
T = 635.27
(out)(err)
S = OPT
O = 50
T = 600.00
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g27.wcnf S = OPT
O = 56
T = 1239.98
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 71
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 56
T = 1256.97
(out)(err)
S = OPT
O = 56
T = 1239.98
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g28.wcnf S = OPT
O = 51
T = 279.15
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 71
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = OPT
O = 51
T = 279.15
(out)(err)
S = OPT
O = 51
T = 408.58
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 51
T = 469.30
(out)(err)
S = OPT
O = 51
T = 440.54
(out)(err)
S = OPT
O = 51
T = 1457.00
(out)(err)
S = OPT
O = 51
T = 1388.23
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g29.wcnf S = OPT
O = 55
T = 498.94
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 80
T = TO
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = OPT
O = 55
T = 498.94
(out)(err)
S = OPT
O = 55
T = 667.71
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 55
T = 825.07
(out)(err)
S = OPT
O = 55
T = 798.72
(out)(err)
S = N/A
O = 55
T = TO
(out)(err)
S = N/A
O = 55
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g3.wcnf S = OPT
O = 49
T = 749.97
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 76
T = TO
(out)(err)
S = N/A
O = 53
T = TO
(out)(err)
S = OPT
O = 49
T = 1026.24
(out)(err)
S = OPT
O = 49
T = 1251.59
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 49
T = 749.97
(out)(err)
S = OPT
O = 49
T = 762.96
(out)(err)
S = N/A
O = 50
T = TO
(out)(err)
S = N/A
O = 49
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g30.wcnf S = OPT
O = 53
T = 938.14
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 72
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = OPT
O = 53
T = 938.14
(out)(err)
S = N/A
O = 53
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 53
T = 1186.74
(out)(err)
S = OPT
O = 53
T = 1167.68
(out)(err)
S = N/A
O = 53
T = TO
(out)(err)
S = N/A
O = 53
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g4.wcnf S = OPT
O = 47
T = 111.02
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 50
T = TO
(out)(err)
S = OPT
O = 47
T = 148.69
(out)(err)
S = OPT
O = 47
T = 174.40
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 47
T = 111.02
(out)(err)
S = OPT
O = 47
T = 111.53
(out)(err)
S = OPT
O = 47
T = 307.09
(out)(err)
S = OPT
O = 47
T = 292.30
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g5.wcnf S = OPT
O = 46
T = 59.98
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = OPT
O = 46
T = 162.05
(out)(err)
S = OPT
O = 46
T = 150.86
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 46
T = 59.98
(out)(err)
S = OPT
O = 46
T = 60.48
(out)(err)
S = OPT
O = 46
T = 160.85
(out)(err)
S = OPT
O = 46
T = 151.18
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g6.wcnf S = OPT
O = 49
T = 75.72
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 72
T = TO
(out)(err)
S = N/A
O = 49
T = TO
(out)(err)
S = OPT
O = 49
T = 75.72
(out)(err)
S = OPT
O = 49
T = 154.08
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 49
T = 100.29
(out)(err)
S = OPT
O = 49
T = 103.41
(out)(err)
S = OPT
O = 49
T = 274.93
(out)(err)
S = OPT
O = 49
T = 260.90
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g7.wcnf S = OPT
O = 54
T = 751.27
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 55
T = TO
(out)(err)
S = OPT
O = 54
T = 861.64
(out)(err)
S = OPT
O = 54
T = 1498.10
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 54
T = 751.27
(out)(err)
S = OPT
O = 54
T = 766.79
(out)(err)
S = N/A
O = 54
T = TO
(out)(err)
S = N/A
O = 54
T = TO
(out)(err)
S = N/A
O = N/A
T = 1783.52
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv70c350l3g8.wcnf S = OPT
O = 48
T = 422.98
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = 50
T = TO
(out)(err)
S = OPT
O = 48
T = 654.51
(out)(err)
S = OPT
O = 48
T = 968.94
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 48
T = 475.18
(out)(err)
S = OPT
O = 48
T = 422.98
(out)(err)
S = OPT
O = 48
T = 1327.25
(out)(err)
S = OPT
O = 48
T = 1275.76
(out)(err)
S = N/A
O = N/A
T = 1756.24
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv70c350l3g9.wcnf S = OPT
O = 50
T = 454.06
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 68
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = OPT
O = 50
T = 680.52
(out)(err)
S = OPT
O = 50
T = 1103.40
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 50
T = 454.06
(out)(err)
S = OPT
O = 50
T = 458.18
(out)(err)
S = OPT
O = 50
T = 1337.37
(out)(err)
S = OPT
O = 50
T = 1274.03
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g1.wcnf S = OPT
O = 56
T = 481.02
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 95
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = OPT
O = 56
T = 604.37
(out)(err)
S = OPT
O = 56
T = 970.85
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 56
T = 481.02
(out)(err)
S = OPT
O = 56
T = 488.56
(out)(err)
S = OPT
O = 56
T = 1222.77
(out)(err)
S = OPT
O = 56
T = 1163.02
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g10.wcnf S = OPT
O = 55
T = 380.42
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 85
T = TO
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = OPT
O = 55
T = 380.42
(out)(err)
S = OPT
O = 55
T = 653.29
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 55
T = 606.70
(out)(err)
S = OPT
O = 55
T = 595.25
(out)(err)
S = OPT
O = 55
T = 1451.39
(out)(err)
S = OPT
O = 55
T = 1374.39
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g11.wcnf S = OPT
O = 57
T = 1021.66
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 84
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = OPT
O = 57
T = 1021.66
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 57
T = 1142.85
(out)(err)
S = OPT
O = 57
T = 1151.72
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g12.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 86
T = TO
(out)(err)
S = N/A
O = 65
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = N/A
T = 1758.12
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g13.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 88
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g14.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 83
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g15.wcnf S = OPT
O = 59
T = 857.45
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 92
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = OPT
O = 59
T = 857.45
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g16.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 89
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = N/A
T = 1694.82
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g17.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 83
T = TO
(out)(err)
S = N/A
O = 69
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 71
T = TO
(out)(err)
S = N/A
O = 70
T = TO
(out)(err)
S = N/A
O = 70
T = TO
(out)(err)
S = N/A
O = 70
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g18.wcnf S = OPT
O = 58
T = 1035.78
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 89
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = OPT
O = 58
T = 1204.83
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 58
T = 1035.78
(out)(err)
S = OPT
O = 58
T = 1084.32
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g19.wcnf S = OPT
O = 55
T = 1566.94
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 82
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 55
T = 1566.94
(out)(err)
S = OPT
O = 55
T = 1572.74
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g2.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 94
T = TO
(out)(err)
S = N/A
O = 67
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 70
T = TO
(out)(err)
S = N/A
O = 67
T = TO
(out)(err)
S = N/A
O = 68
T = TO
(out)(err)
S = N/A
O = 68
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g20.wcnf S = OPT
O = 56
T = 771.50
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 95
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = OPT
O = 56
T = 846.13
(out)(err)
S = OPT
O = 56
T = 1475.01
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 56
T = 771.50
(out)(err)
S = OPT
O = 56
T = 772.39
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g21.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 91
T = TO
(out)(err)
S = N/A
O = 68
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = N/A
T = 1707.61
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g22.wcnf S = OPT
O = 64
T = 1543.27
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 97
T = TO
(out)(err)
S = N/A
O = 65
T = TO
(out)(err)
S = OPT
O = 64
T = 1543.27
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g23.wcnf S = OPT
O = 56
T = 934.79
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 92
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = OPT
O = 56
T = 1312.83
(out)(err)
S = OPT
O = 56
T = 1712.80
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 56
T = 934.79
(out)(err)
S = OPT
O = 56
T = 952.96
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g24.wcnf S = OPT
O = 51
T = 139.95
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 90
T = TO
(out)(err)
S = N/A
O = 53
T = TO
(out)(err)
S = OPT
O = 51
T = 172.71
(out)(err)
S = OPT
O = 51
T = 346.97
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 51
T = 139.95
(out)(err)
S = OPT
O = 51
T = 140.03
(out)(err)
S = OPT
O = 51
T = 423.38
(out)(err)
S = OPT
O = 51
T = 404.20
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g25.wcnf S = OPT
O = 55
T = 1005.16
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 98
T = TO
(out)(err)
S = N/A
O = 56
T = TO
(out)(err)
S = OPT
O = 55
T = 1115.17
(out)(err)
S = N/A
O = 55
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 55
T = 1015.37
(out)(err)
S = OPT
O = 55
T = 1005.16
(out)(err)
S = N/A
O = 55
T = TO
(out)(err)
S = N/A
O = 55
T = TO
(out)(err)
S = N/A
O = N/A
T = 1779.75
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g26.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 97
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g27.wcnf S = OPT
O = 59
T = 1545.97
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 88
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 59
T = 1555.93
(out)(err)
S = OPT
O = 59
T = 1545.97
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g28.wcnf S = OPT
O = 57
T = 566.50
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 89
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = OPT
O = 57
T = 566.50
(out)(err)
S = OPT
O = 57
T = 1181.78
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 57
T = 876.72
(out)(err)
S = OPT
O = 57
T = 904.98
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = 57
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g29.wcnf S = OPT
O = 63
T = 1464.64
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 90
T = TO
(out)(err)
S = N/A
O = 63
T = TO
(out)(err)
S = OPT
O = 63
T = 1464.64
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 65
T = TO
(out)(err)
S = N/A
O = 65
T = TO
(out)(err)
S = N/A
O = 67
T = TO
(out)(err)
S = N/A
O = 67
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g3.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 96
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 63
T = TO
(out)(err)
S = N/A
O = 63
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g30.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 93
T = TO
(out)(err)
S = N/A
O = 63
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 63
T = TO
(out)(err)
S = N/A
O = 63
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g4.wcnf S = OPT
O = 61
T = 859.24
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 95
T = TO
(out)(err)
S = N/A
O = 63
T = TO
(out)(err)
S = OPT
O = 61
T = 859.24
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 61
T = 1626.94
(out)(err)
S = OPT
O = 61
T = 1609.97
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g5.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 87
T = TO
(out)(err)
S = N/A
O = 65
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 65
T = TO
(out)(err)
S = N/A
O = 65
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = 65
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g6.wcnf S = OPT
O = 59
T = 802.58
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 91
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = OPT
O = 59
T = 802.58
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 59
T = 1565.94
(out)(err)
S = OPT
O = 59
T = 1539.27
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 59
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g7.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 92
T = TO
(out)(err)
S = N/A
O = 67
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 65
T = TO
(out)(err)
S = N/A
O = 65
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
clq1-c2mv80c400l3g8.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 86
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = 66
T = TO
(out)(err)
S = N/A
O = 68
T = TO
(out)(err)
S = N/A
O = 68
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
clq1-c2mv80c400l3g9.wcnf S = OPT
O = 59
T = 1388.54
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 86
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = OPT
O = 59
T = 1388.54
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_0.wcnf S = OPT
O = 802
T = 0.44
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 930
T = TO
(out)(err)
S = N/A
O = 973
T = 277.45
(out)(err)
S = OPT
O = 802
T = 2.08
(out)(err)
S = OPT
O = 802
T = 1.66
(out)(err)
S = N/A
O = N/A
T = 220.61
(out)(err)
S = OPT
O = 802
T = 0.44
(out)(err)
S = OPT
O = 802
T = 0.87
(out)(err)
S = OPT
O = 802
T = 3.33
(out)(err)
S = OPT
O = 802
T = 3.24
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_1.wcnf S = UNSAT
O = N/A
T = 0.01
S = UNSAT
O = N/A
T = 0.03
(out)(err)
S = UNSAT
O = N/A
T = 0.01
(out)(err)
S = UNSAT
O = N/A
T = 0.01
(out)(err)
S = UNSAT
O = N/A
T = 0.98
(out)(err)
S = UNSAT
O = N/A
T = 0.14
(out)(err)
S = UNSAT
O = N/A
T = 0.03
(out)(err)
S = UNSAT
O = N/A
T = 0.03
(out)(err)
S = UNSAT
O = N/A
T = 0.01
(out)(err)
S = UNSAT
O = N/A
T = 0.02
(out)(err)
S = UNSAT
O = N/A
T = 0.75
(out)(err)
S = UNSAT
O = N/A
T = 0.73
(out)(err)
S = UNSAT
O = N/A
T = 0.73
(out)(err)
S = UNSAT
O = N/A
T = 0.02
(out)(err)
S = UNSAT
O = N/A
T = 0.01
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_2.wcnf S = OPT
O = 805
T = 0.61
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 934
T = 1556.43
(out)(err)
S = N/A
O = 933
T = 280.74
(out)(err)
S = OPT
O = 805
T = 1.50
(out)(err)
S = OPT
O = 805
T = 1.43
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 805
T = 0.61
(out)(err)
S = OPT
O = 805
T = 1.26
(out)(err)
S = OPT
O = 805
T = 9.18
(out)(err)
S = OPT
O = 805
T = 5.66
(out)(err)
S = N/A
O = N/A
T = 1718.01
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_3.wcnf S = OPT
O = 752
T = 1.23
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 909
T = 1384.59
(out)(err)
S = N/A
O = 947
T = 287.20
(out)(err)
S = OPT
O = 752
T = 4.91
(out)(err)
S = OPT
O = 752
T = 4.72
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 752
T = 1.50
(out)(err)
S = OPT
O = 752
T = 1.23
(out)(err)
S = OPT
O = 752
T = 3.48
(out)(err)
S = OPT
O = 752
T = 3.52
(out)(err)
S = N/A
O = N/A
T = 1782.48
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_4.wcnf S = OPT
O = 750
T = 1.37
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 896
T = 1423.92
(out)(err)
S = N/A
O = 1012
T = 272.80
(out)(err)
S = OPT
O = 750
T = 4.91
(out)(err)
S = OPT
O = 750
T = 5.63
(out)(err)
S = N/A
O = N/A
T = 129.30
(out)(err)
S = OPT
O = 750
T = 2.46
(out)(err)
S = OPT
O = 750
T = 1.37
(out)(err)
S = OPT
O = 750
T = 8.41
(out)(err)
S = OPT
O = 750
T = 8.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_5.wcnf S = OPT
O = 756
T = 3.12
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 879
T = 1686.60
(out)(err)
S = N/A
O = 910
T = 256.84
(out)(err)
S = OPT
O = 756
T = 18.97
(out)(err)
S = OPT
O = 756
T = 18.56
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 756
T = 6.25
(out)(err)
S = OPT
O = 756
T = 3.12
(out)(err)
S = OPT
O = 756
T = 17.17
(out)(err)
S = OPT
O = 756
T = 17.01
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_6.wcnf S = OPT
O = 782
T = 4.96
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 881
T = 1662.38
(out)(err)
S = N/A
O = 945
T = 213.67
(out)(err)
S = OPT
O = 782
T = 29.58
(out)(err)
S = OPT
O = 782
T = 29.32
(out)(err)
S = N/A
O = N/A
T = 220.09
(out)(err)
S = OPT
O = 782
T = 8.04
(out)(err)
S = OPT
O = 782
T = 4.96
(out)(err)
S = OPT
O = 782
T = 40.70
(out)(err)
S = OPT
O = 782
T = 39.28
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_7.wcnf S = OPT
O = 755
T = 2.30
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 921
T = 1358.42
(out)(err)
S = N/A
O = 962
T = 222.83
(out)(err)
S = OPT
O = 755
T = 17.51
(out)(err)
S = OPT
O = 755
T = 16.84
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 755
T = 4.50
(out)(err)
S = OPT
O = 755
T = 2.30
(out)(err)
S = OPT
O = 755
T = 9.29
(out)(err)
S = OPT
O = 755
T = 9.39
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf S = OPT
O = 764
T = 18.16
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 915
T = 1408.61
(out)(err)
S = N/A
O = 898
T = 228.09
(out)(err)
S = OPT
O = 764
T = 92.52
(out)(err)
S = OPT
O = 764
T = 88.15
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 764
T = 22.50
(out)(err)
S = OPT
O = 764
T = 18.16
(out)(err)
S = OPT
O = 764
T = 69.06
(out)(err)
S = OPT
O = 764
T = 70.01
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_9.wcnf S = OPT
O = 792
T = 3.48
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 948
T = 1502.57
(out)(err)
S = N/A
O = 951
T = 256.93
(out)(err)
S = OPT
O = 792
T = 13.01
(out)(err)
S = OPT
O = 792
T = 11.67
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 792
T = 3.85
(out)(err)
S = OPT
O = 792
T = 3.48
(out)(err)
S = OPT
O = 792
T = 21.51
(out)(err)
S = OPT
O = 792
T = 20.34
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_0.wcnf S = OPT
O = 867
T = 4.30
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1047
T = 1101.91
(out)(err)
S = N/A
O = 1118
T = 124.04
(out)(err)
S = OPT
O = 867
T = 38.05
(out)(err)
S = OPT
O = 867
T = 35.50
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 867
T = 10.59
(out)(err)
S = OPT
O = 867
T = 4.30
(out)(err)
S = OPT
O = 867
T = 23.87
(out)(err)
S = OPT
O = 867
T = 23.19
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf S = OPT
O = 905
T = 2.67
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1021
T = 1279.59
(out)(err)
S = N/A
O = 1190
T = 136.90
(out)(err)
S = OPT
O = 905
T = 30.33
(out)(err)
S = OPT
O = 905
T = 29.87
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 905
T = 8.55
(out)(err)
S = OPT
O = 905
T = 2.67
(out)(err)
S = OPT
O = 905
T = 28.14
(out)(err)
S = OPT
O = 905
T = 27.07
(out)(err)
S = N/A
O = N/A
T = 1635.15
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf S = OPT
O = 912
T = 1.98
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1007
T = 1492.53
(out)(err)
S = N/A
O = 1148
T = TO
(out)(err)
S = OPT
O = 912
T = 13.23
(out)(err)
S = OPT
O = 912
T = 12.93
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 912
T = 3.42
(out)(err)
S = OPT
O = 912
T = 1.98
(out)(err)
S = OPT
O = 912
T = 15.45
(out)(err)
S = OPT
O = 912
T = 15.44
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf S = OPT
O = 878
T = 0.93
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1053
T = 1259.91
(out)(err)
S = N/A
O = 1053
T = 142.27
(out)(err)
S = OPT
O = 878
T = 3.62
(out)(err)
S = OPT
O = 878
T = 3.20
(out)(err)
S = N/A
O = N/A
T = 186.54
(out)(err)
S = OPT
O = 878
T = 0.93
(out)(err)
S = OPT
O = 878
T = 1.35
(out)(err)
S = OPT
O = 878
T = 7.76
(out)(err)
S = OPT
O = 878
T = 7.53
(out)(err)
S = N/A
O = N/A
T = 1793.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf S = OPT
O = 890
T = 6.00
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1066
T = 1155.55
(out)(err)
S = N/A
O = 1118
T = TO
(out)(err)
S = OPT
O = 890
T = 23.08
(out)(err)
S = OPT
O = 890
T = 22.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 890
T = 9.41
(out)(err)
S = OPT
O = 890
T = 6.00
(out)(err)
S = OPT
O = 890
T = 49.07
(out)(err)
S = OPT
O = 890
T = 48.11
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf S = OPT
O = 881
T = 3.85
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1104
T = 1108.41
(out)(err)
S = N/A
O = 1095
T = TO
(out)(err)
S = OPT
O = 881
T = 17.92
(out)(err)
S = OPT
O = 881
T = 18.11
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 881
T = 5.24
(out)(err)
S = OPT
O = 881
T = 3.85
(out)(err)
S = OPT
O = 881
T = 21.34
(out)(err)
S = OPT
O = 881
T = 20.93
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_6.wcnf S = OPT
O = 856
T = 1.29
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 985
T = 1325.01
(out)(err)
S = N/A
O = 1060
T = 134.36
(out)(err)
S = OPT
O = 856
T = 20.82
(out)(err)
S = OPT
O = 856
T = 20.96
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 856
T = 5.74
(out)(err)
S = OPT
O = 856
T = 1.29
(out)(err)
S = OPT
O = 856
T = 5.74
(out)(err)
S = OPT
O = 856
T = 5.56
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf S = OPT
O = 875
T = 3.38
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1034
T = 1230.23
(out)(err)
S = N/A
O = 1065
T = TO
(out)(err)
S = OPT
O = 875
T = 31.43
(out)(err)
S = OPT
O = 875
T = 30.08
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 875
T = 7.16
(out)(err)
S = OPT
O = 875
T = 3.38
(out)(err)
S = OPT
O = 875
T = 36.05
(out)(err)
S = OPT
O = 875
T = 34.55
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf S = OPT
O = 908
T = 1.42
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1048
T = 1561.35
(out)(err)
S = N/A
O = 1076
T = TO
(out)(err)
S = OPT
O = 908
T = 4.43
(out)(err)
S = OPT
O = 908
T = 4.92
(out)(err)
S = N/A
O = N/A
T = 280.57
(out)(err)
S = OPT
O = 908
T = 1.92
(out)(err)
S = OPT
O = 908
T = 1.42
(out)(err)
S = OPT
O = 908
T = 11.13
(out)(err)
S = OPT
O = 908
T = 11.03
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_9.wcnf S = OPT
O = 898
T = 1.28
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1048
T = 1523.06
(out)(err)
S = N/A
O = 1003
T = 149.57
(out)(err)
S = OPT
O = 898
T = 8.95
(out)(err)
S = OPT
O = 898
T = 7.61
(out)(err)
S = N/A
O = N/A
T = 192.69
(out)(err)
S = OPT
O = 898
T = 2.08
(out)(err)
S = OPT
O = 898
T = 1.28
(out)(err)
S = OPT
O = 898
T = 9.50
(out)(err)
S = OPT
O = 898
T = 9.14
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_0.wcnf S = OPT
O = 1018
T = 1.42
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1178
T = 1271.39
(out)(err)
S = N/A
O = 1183
T = 180.01
(out)(err)
S = OPT
O = 1018
T = 16.60
(out)(err)
S = OPT
O = 1018
T = 19.85
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1018
T = 4.12
(out)(err)
S = OPT
O = 1018
T = 1.42
(out)(err)
S = OPT
O = 1018
T = 5.48
(out)(err)
S = OPT
O = 1018
T = 5.05
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_1.wcnf S = OPT
O = 1015
T = 1.61
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1198
T = 1599.22
(out)(err)
S = N/A
O = 1282
T = TO
(out)(err)
S = OPT
O = 1015
T = 26.68
(out)(err)
S = OPT
O = 1015
T = 27.90
(out)(err)
S = N/A
O = N/A
T = 296.12
(out)(err)
S = OPT
O = 1015
T = 5.52
(out)(err)
S = OPT
O = 1015
T = 1.61
(out)(err)
S = OPT
O = 1015
T = 7.69
(out)(err)
S = OPT
O = 1015
T = 7.50
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_2.wcnf S = OPT
O = 979
T = 2.39
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1120
T = 1220.79
(out)(err)
S = N/A
O = 1178
T = 128.22
(out)(err)
S = OPT
O = 979
T = 17.30
(out)(err)
S = OPT
O = 979
T = 16.00
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 979
T = 8.48
(out)(err)
S = OPT
O = 979
T = 2.39
(out)(err)
S = OPT
O = 979
T = 14.72
(out)(err)
S = OPT
O = 979
T = 14.63
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf S = OPT
O = 1032
T = 3.48
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1164
T = 1271.78
(out)(err)
S = N/A
O = 1233
T = TO
(out)(err)
S = OPT
O = 1032
T = 13.85
(out)(err)
S = OPT
O = 1032
T = 13.86
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1032
T = 3.48
(out)(err)
S = OPT
O = 1032
T = 3.88
(out)(err)
S = OPT
O = 1032
T = 31.86
(out)(err)
S = OPT
O = 1032
T = 30.21
(out)(err)
S = N/A
O = N/A
T = 1794.84
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_4.wcnf S = OPT
O = 1018
T = 7.74
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1155
T = 1104.98
(out)(err)
S = N/A
O = 1215
T = 176.64
(out)(err)
S = OPT
O = 1018
T = 126.02
(out)(err)
S = OPT
O = 1018
T = 130.24
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1018
T = 22.58
(out)(err)
S = OPT
O = 1018
T = 7.74
(out)(err)
S = OPT
O = 1018
T = 46.82
(out)(err)
S = OPT
O = 1018
T = 46.59
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_5.wcnf S = OPT
O = 991
T = 2.41
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1130
T = 1204.25
(out)(err)
S = N/A
O = 1257
T = TO
(out)(err)
S = OPT
O = 991
T = 14.50
(out)(err)
S = OPT
O = 991
T = 12.55
(out)(err)
S = N/A
O = N/A
T = 93.46
(out)(err)
S = OPT
O = 991
T = 3.43
(out)(err)
S = OPT
O = 991
T = 2.41
(out)(err)
S = OPT
O = 991
T = 12.07
(out)(err)
S = OPT
O = 991
T = 11.99
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_6.wcnf S = OPT
O = 1005
T = 2.12
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1129
T = 1200.84
(out)(err)
S = N/A
O = 1144
T = TO
(out)(err)
S = OPT
O = 1005
T = 9.46
(out)(err)
S = OPT
O = 1005
T = 9.43
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1005
T = 3.95
(out)(err)
S = OPT
O = 1005
T = 2.12
(out)(err)
S = OPT
O = 1005
T = 14.25
(out)(err)
S = OPT
O = 1005
T = 14.41
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_7.wcnf S = OPT
O = 991
T = 2.37
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1132
T = 1229.21
(out)(err)
S = N/A
O = 1241
T = 103.72
(out)(err)
S = OPT
O = 991
T = 35.01
(out)(err)
S = OPT
O = 991
T = 33.65
(out)(err)
S = N/A
O = N/A
T = 110.53
(out)(err)
S = OPT
O = 991
T = 2.37
(out)(err)
S = OPT
O = 991
T = 2.79
(out)(err)
S = OPT
O = 991
T = 23.11
(out)(err)
S = OPT
O = 991
T = 22.91
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_8.wcnf S = OPT
O = 999
T = 0.70
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1151
T = 1505.47
(out)(err)
S = N/A
O = 1155
T = 154.76
(out)(err)
S = OPT
O = 999
T = 2.30
(out)(err)
S = OPT
O = 999
T = 2.25
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 999
T = 0.70
(out)(err)
S = OPT
O = 999
T = 1.26
(out)(err)
S = OPT
O = 999
T = 7.18
(out)(err)
S = OPT
O = 999
T = 7.05
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_9.wcnf S = OPT
O = 993
T = 1.15
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1204
T = 1324.95
(out)(err)
S = N/A
O = 1277
T = TO
(out)(err)
S = OPT
O = 993
T = 4.37
(out)(err)
S = OPT
O = 993
T = 4.13
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 993
T = 1.15
(out)(err)
S = OPT
O = 993
T = 1.34
(out)(err)
S = OPT
O = 993
T = 6.60
(out)(err)
S = OPT
O = 993
T = 6.59
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf S = OPT
O = 464
T = 0.30
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 536
T = TO
(out)(err)
S = N/A
O = 583
T = 112.55
(out)(err)
S = OPT
O = 464
T = 0.58
(out)(err)
S = OPT
O = 464
T = 0.55
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 464
T = 0.30
(out)(err)
S = OPT
O = 464
T = 0.67
(out)(err)
S = OPT
O = 464
T = 2.02
(out)(err)
S = OPT
O = 464
T = 1.86
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf S = OPT
O = 454
T = 0.44
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 575
T = TO
(out)(err)
S = N/A
O = 541
T = 523.45
(out)(err)
S = OPT
O = 454
T = 1.20
(out)(err)
S = OPT
O = 454
T = 1.24
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 454
T = 0.44
(out)(err)
S = OPT
O = 454
T = 0.68
(out)(err)
S = OPT
O = 454
T = 2.66
(out)(err)
S = OPT
O = 454
T = 2.59
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_2.wcnf S = OPT
O = 423
T = 0.92
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 543
T = TO
(out)(err)
S = N/A
O = 549
T = TO
(out)(err)
S = OPT
O = 423
T = 6.33
(out)(err)
S = OPT
O = 423
T = 5.56
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 423
T = 2.76
(out)(err)
S = OPT
O = 423
T = 0.92
(out)(err)
S = OPT
O = 423
T = 3.79
(out)(err)
S = OPT
O = 423
T = 3.56
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_3.wcnf S = OPT
O = 442
T = 1.03
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 551
T = TO
(out)(err)
S = N/A
O = 611
T = TO
(out)(err)
S = OPT
O = 442
T = 2.22
(out)(err)
S = OPT
O = 442
T = 2.17
(out)(err)
S = N/A
O = N/A
T = 214.00
(out)(err)
S = OPT
O = 442
T = 1.03
(out)(err)
S = OPT
O = 442
T = 1.24
(out)(err)
S = OPT
O = 442
T = 6.39
(out)(err)
S = OPT
O = 442
T = 6.02
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_4.wcnf S = OPT
O = 447
T = 0.26
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 535
T = TO
(out)(err)
S = N/A
O = 613
T = TO
(out)(err)
S = OPT
O = 447
T = 0.46
(out)(err)
S = OPT
O = 447
T = 0.46
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 447
T = 0.26
(out)(err)
S = OPT
O = 447
T = 0.60
(out)(err)
S = OPT
O = 447
T = 1.54
(out)(err)
S = OPT
O = 447
T = 1.50
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf S = OPT
O = 433
T = 0.25
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 521
T = TO
(out)(err)
S = N/A
O = 531
T = 494.94
(out)(err)
S = OPT
O = 433
T = 0.39
(out)(err)
S = OPT
O = 433
T = 0.35
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 433
T = 0.25
(out)(err)
S = OPT
O = 433
T = 0.59
(out)(err)
S = OPT
O = 433
T = 1.43
(out)(err)
S = OPT
O = 433
T = 1.45
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf S = OPT
O = 461
T = 0.63
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 523
T = TO
(out)(err)
S = N/A
O = 518
T = 246.17
(out)(err)
S = OPT
O = 461
T = 1.77
(out)(err)
S = OPT
O = 461
T = 1.67
(out)(err)
S = N/A
O = N/A
T = 210.39
(out)(err)
S = OPT
O = 461
T = 0.63
(out)(err)
S = OPT
O = 461
T = 0.96
(out)(err)
S = OPT
O = 461
T = 9.72
(out)(err)
S = OPT
O = 461
T = 9.23
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_7.wcnf S = OPT
O = 434
T = 1.08
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 549
T = TO
(out)(err)
S = N/A
O = 563
T = TO
(out)(err)
S = OPT
O = 434
T = 5.26
(out)(err)
S = OPT
O = 434
T = 5.00
(out)(err)
S = N/A
O = N/A
T = 283.44
(out)(err)
S = OPT
O = 434
T = 2.64
(out)(err)
S = OPT
O = 434
T = 1.08
(out)(err)
S = OPT
O = 434
T = 4.08
(out)(err)
S = OPT
O = 434
T = 3.92
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_8.wcnf S = OPT
O = 456
T = 1.39
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 531
T = TO
(out)(err)
S = N/A
O = 605
T = TO
(out)(err)
S = OPT
O = 456
T = 3.10
(out)(err)
S = OPT
O = 456
T = 2.95
(out)(err)
S = N/A
O = N/A
T = 168.56
(out)(err)
S = OPT
O = 456
T = 1.39
(out)(err)
S = OPT
O = 456
T = 1.45
(out)(err)
S = OPT
O = 456
T = 7.35
(out)(err)
S = OPT
O = 456
T = 7.21
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_9.wcnf S = OPT
O = 470
T = 0.19
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 575
T = TO
(out)(err)
S = N/A
O = 588
T = TO
(out)(err)
S = OPT
O = 470
T = 0.43
(out)(err)
S = OPT
O = 470
T = 0.39
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 470
T = 0.19
(out)(err)
S = OPT
O = 470
T = 0.59
(out)(err)
S = OPT
O = 470
T = 1.43
(out)(err)
S = OPT
O = 470
T = 1.16
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_0.wcnf S = OPT
O = 539
T = 2.09
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 695
T = 1782.37
(out)(err)
S = N/A
O = 720
T = 451.73
(out)(err)
S = OPT
O = 539
T = 6.88
(out)(err)
S = OPT
O = 539
T = 6.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 539
T = 2.36
(out)(err)
S = OPT
O = 539
T = 2.09
(out)(err)
S = OPT
O = 539
T = 14.71
(out)(err)
S = OPT
O = 539
T = 14.38
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_1.wcnf S = OPT
O = 560
T = 4.48
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 699
T = TO
(out)(err)
S = N/A
O = 732
T = 265.71
(out)(err)
S = OPT
O = 560
T = 25.28
(out)(err)
S = OPT
O = 560
T = 23.79
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 560
T = 8.04
(out)(err)
S = OPT
O = 560
T = 4.48
(out)(err)
S = OPT
O = 560
T = 24.60
(out)(err)
S = OPT
O = 560
T = 23.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_2.wcnf S = OPT
O = 531
T = 0.80
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 666
T = TO
(out)(err)
S = N/A
O = 763
T = 496.00
(out)(err)
S = OPT
O = 531
T = 7.56
(out)(err)
S = OPT
O = 531
T = 6.94
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 531
T = 2.72
(out)(err)
S = OPT
O = 531
T = 0.80
(out)(err)
S = OPT
O = 531
T = 1.97
(out)(err)
S = OPT
O = 531
T = 1.92
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_3.wcnf S = OPT
O = 555
T = 1.54
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 652
T = TO
(out)(err)
S = N/A
O = 706
T = TO
(out)(err)
S = OPT
O = 555
T = 19.33
(out)(err)
S = OPT
O = 555
T = 17.33
(out)(err)
S = N/A
O = N/A
T = 181.56
(out)(err)
S = OPT
O = 555
T = 5.64
(out)(err)
S = OPT
O = 555
T = 1.54
(out)(err)
S = OPT
O = 555
T = 6.75
(out)(err)
S = OPT
O = 555
T = 6.50
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_4.wcnf S = OPT
O = 556
T = 0.46
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 636
T = TO
(out)(err)
S = N/A
O = 684
T = TO
(out)(err)
S = OPT
O = 556
T = 1.05
(out)(err)
S = OPT
O = 556
T = 0.96
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 556
T = 0.46
(out)(err)
S = OPT
O = 556
T = 0.75
(out)(err)
S = OPT
O = 556
T = 2.08
(out)(err)
S = OPT
O = 556
T = 2.00
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_5.wcnf S = OPT
O = 538
T = 3.93
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 679
T = TO
(out)(err)
S = N/A
O = 676
T = 260.80
(out)(err)
S = OPT
O = 538
T = 26.04
(out)(err)
S = OPT
O = 538
T = 24.92
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 538
T = 8.99
(out)(err)
S = OPT
O = 538
T = 3.93
(out)(err)
S = OPT
O = 538
T = 19.34
(out)(err)
S = OPT
O = 538
T = 19.16
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_6.wcnf S = OPT
O = 537
T = 3.83
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 671
T = TO
(out)(err)
S = N/A
O = 761
T = 247.54
(out)(err)
S = OPT
O = 537
T = 15.21
(out)(err)
S = OPT
O = 537
T = 13.72
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 537
T = 5.99
(out)(err)
S = OPT
O = 537
T = 3.83
(out)(err)
S = OPT
O = 537
T = 20.57
(out)(err)
S = OPT
O = 537
T = 19.98
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf S = OPT
O = 527
T = 1.04
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 653
T = TO
(out)(err)
S = N/A
O = 692
T = 394.80
(out)(err)
S = OPT
O = 527
T = 3.62
(out)(err)
S = OPT
O = 527
T = 3.74
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 527
T = 1.64
(out)(err)
S = OPT
O = 527
T = 1.04
(out)(err)
S = OPT
O = 527
T = 2.82
(out)(err)
S = OPT
O = 527
T = 2.75
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_8.wcnf S = OPT
O = 564
T = 4.38
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 649
T = TO
(out)(err)
S = N/A
O = 668
T = TO
(out)(err)
S = OPT
O = 564
T = 35.11
(out)(err)
S = OPT
O = 564
T = 37.62
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 564
T = 9.60
(out)(err)
S = OPT
O = 564
T = 4.38
(out)(err)
S = OPT
O = 564
T = 28.53
(out)(err)
S = OPT
O = 564
T = 27.49
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_9.wcnf S = OPT
O = 552
T = 1.10
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 652
T = TO
(out)(err)
S = N/A
O = 656
T = 234.92
(out)(err)
S = OPT
O = 552
T = 3.28
(out)(err)
S = OPT
O = 552
T = 3.21
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 552
T = 1.10
(out)(err)
S = OPT
O = 552
T = 1.22
(out)(err)
S = OPT
O = 552
T = 7.11
(out)(err)
S = OPT
O = 552
T = 6.86
(out)(err)
S = N/A
O = N/A
T = 1681.95
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_0.wcnf S = OPT
O = 680
T = 3.13
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 790
T = TO
(out)(err)
S = N/A
O = 878
T = 187.66
(out)(err)
S = OPT
O = 680
T = 28.44
(out)(err)
S = OPT
O = 680
T = 26.66
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 680
T = 13.37
(out)(err)
S = OPT
O = 680
T = 3.13
(out)(err)
S = OPT
O = 680
T = 28.81
(out)(err)
S = OPT
O = 680
T = 28.22
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_1.wcnf S = OPT
O = 679
T = 1.53
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 802
T = TO
(out)(err)
S = N/A
O = 823
T = 245.27
(out)(err)
S = OPT
O = 679
T = 5.97
(out)(err)
S = OPT
O = 679
T = 6.17
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 679
T = 1.69
(out)(err)
S = OPT
O = 679
T = 1.53
(out)(err)
S = OPT
O = 679
T = 8.07
(out)(err)
S = OPT
O = 679
T = 7.81
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf S = OPT
O = 716
T = 1.07
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 796
T = TO
(out)(err)
S = N/A
O = 823
T = 231.72
(out)(err)
S = OPT
O = 716
T = 3.40
(out)(err)
S = OPT
O = 716
T = 3.21
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 716
T = 1.07
(out)(err)
S = OPT
O = 716
T = 1.30
(out)(err)
S = OPT
O = 716
T = 12.29
(out)(err)
S = OPT
O = 716
T = 11.88
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_3.wcnf S = OPT
O = 669
T = 1.33
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 776
T = 1673.39
(out)(err)
S = N/A
O = 801
T = 221.79
(out)(err)
S = OPT
O = 669
T = 5.96
(out)(err)
S = OPT
O = 669
T = 5.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 669
T = 1.83
(out)(err)
S = OPT
O = 669
T = 1.33
(out)(err)
S = OPT
O = 669
T = 9.41
(out)(err)
S = OPT
O = 669
T = 9.19
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf S = OPT
O = 627
T = 1.77
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 775
T = 1761.82
(out)(err)
S = N/A
O = 740
T = 234.04
(out)(err)
S = OPT
O = 627
T = 4.10
(out)(err)
S = OPT
O = 627
T = 4.23
(out)(err)
S = N/A
O = N/A
T = 235.80
(out)(err)
S = OPT
O = 627
T = 1.78
(out)(err)
S = OPT
O = 627
T = 1.77
(out)(err)
S = OPT
O = 627
T = 10.38
(out)(err)
S = OPT
O = 627
T = 10.33
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_5.wcnf S = OPT
O = 667
T = 4.27
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 809
T = 1630.69
(out)(err)
S = N/A
O = 967
T = 242.06
(out)(err)
S = OPT
O = 667
T = 34.02
(out)(err)
S = OPT
O = 667
T = 36.55
(out)(err)
S = N/A
O = N/A
T = 216.40
(out)(err)
S = OPT
O = 667
T = 8.31
(out)(err)
S = OPT
O = 667
T = 4.27
(out)(err)
S = OPT
O = 667
T = 29.70
(out)(err)
S = OPT
O = 667
T = 29.27
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_6.wcnf S = OPT
O = 688
T = 0.52
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 828
T = TO
(out)(err)
S = N/A
O = 823
T = 214.33
(out)(err)
S = OPT
O = 688
T = 1.81
(out)(err)
S = OPT
O = 688
T = 1.64
(out)(err)
S = N/A
O = N/A
T = 393.81
(out)(err)
S = OPT
O = 688
T = 0.52
(out)(err)
S = OPT
O = 688
T = 0.71
(out)(err)
S = OPT
O = 688
T = 1.14
(out)(err)
S = OPT
O = 688
T = 1.15
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_7.wcnf S = OPT
O = 675
T = 0.69
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 808
T = 1760.90
(out)(err)
S = N/A
O = 818
T = 243.71
(out)(err)
S = OPT
O = 675
T = 1.43
(out)(err)
S = OPT
O = 675
T = 1.54
(out)(err)
S = N/A
O = N/A
T = 95.21
(out)(err)
S = OPT
O = 675
T = 0.69
(out)(err)
S = OPT
O = 675
T = 1.18
(out)(err)
S = OPT
O = 675
T = 7.43
(out)(err)
S = OPT
O = 675
T = 7.25
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_8.wcnf S = OPT
O = 675
T = 1.15
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 823
T = 1732.27
(out)(err)
S = N/A
O = 855
T = 256.45
(out)(err)
S = OPT
O = 675
T = 2.81
(out)(err)
S = OPT
O = 675
T = 2.66
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 675
T = 1.24
(out)(err)
S = OPT
O = 675
T = 1.15
(out)(err)
S = OPT
O = 675
T = 5.08
(out)(err)
S = OPT
O = 675
T = 5.05
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_9.wcnf S = OPT
O = 638
T = 1.74
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 794
T = 1708.85
(out)(err)
S = N/A
O = 815
T = 206.34
(out)(err)
S = OPT
O = 638
T = 10.91
(out)(err)
S = OPT
O = 638
T = 10.50
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 638
T = 3.38
(out)(err)
S = OPT
O = 638
T = 1.74
(out)(err)
S = OPT
O = 638
T = 6.10
(out)(err)
S = OPT
O = 638
T = 5.88
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_0.wcnf S = OPT
O = 8
T = 4.77
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 15
T = TO
(out)(err)
S = N/A
O = 19
T = TO
(out)(err)
S = OPT
O = 8
T = 5.05
(out)(err)
S = OPT
O = 8
T = 4.77
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 8
T = 16.60
(out)(err)
S = OPT
O = 8
T = 4.82
(out)(err)
S = OPT
O = 8
T = 10.17
(out)(err)
S = OPT
O = 8
T = 10.11
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_1.wcnf S = OPT
O = 8
T = 6.34
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 34
T = TO
(out)(err)
S = N/A
O = 18
T = TO
(out)(err)
S = OPT
O = 8
T = 14.03
(out)(err)
S = OPT
O = 8
T = 13.36
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 8
T = 10.29
(out)(err)
S = OPT
O = 8
T = 6.34
(out)(err)
S = OPT
O = 8
T = 10.81
(out)(err)
S = OPT
O = 8
T = 10.74
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_2.wcnf S = OPT
O = 8
T = 3.19
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 37
T = TO
(out)(err)
S = N/A
O = 20
T = TO
(out)(err)
S = OPT
O = 8
T = 19.83
(out)(err)
S = OPT
O = 8
T = 18.74
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 8
T = 8.65
(out)(err)
S = OPT
O = 8
T = 3.19
(out)(err)
S = OPT
O = 8
T = 6.45
(out)(err)
S = OPT
O = 8
T = 6.38
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_3.wcnf S = OPT
O = 9
T = 7.30
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 35
T = TO
(out)(err)
S = N/A
O = 21
T = TO
(out)(err)
S = OPT
O = 9
T = 15.95
(out)(err)
S = OPT
O = 9
T = 15.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 9
T = 14.99
(out)(err)
S = OPT
O = 9
T = 7.30
(out)(err)
S = OPT
O = 9
T = 14.38
(out)(err)
S = OPT
O = 9
T = 14.30
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_4.wcnf S = OPT
O = 7
T = 2.17
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 32
T = TO
(out)(err)
S = N/A
O = 22
T = TO
(out)(err)
S = OPT
O = 7
T = 3.96
(out)(err)
S = OPT
O = 7
T = 3.79
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 7
T = 3.53
(out)(err)
S = OPT
O = 7
T = 2.17
(out)(err)
S = OPT
O = 7
T = 3.86
(out)(err)
S = OPT
O = 7
T = 3.79
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_5.wcnf S = OPT
O = 8
T = 3.12
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 34
T = TO
(out)(err)
S = N/A
O = 20
T = TO
(out)(err)
S = OPT
O = 8
T = 4.70
(out)(err)
S = OPT
O = 8
T = 4.43
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 8
T = 6.41
(out)(err)
S = OPT
O = 8
T = 3.12
(out)(err)
S = OPT
O = 8
T = 6.09
(out)(err)
S = OPT
O = 8
T = 6.12
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_6.wcnf S = OPT
O = 7
T = 3.21
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 26
T = TO
(out)(err)
S = N/A
O = 15
T = TO
(out)(err)
S = OPT
O = 7
T = 12.07
(out)(err)
S = OPT
O = 7
T = 11.33
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 7
T = 10.84
(out)(err)
S = OPT
O = 7
T = 3.21
(out)(err)
S = OPT
O = 7
T = 5.78
(out)(err)
S = OPT
O = 7
T = 5.71
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_7.wcnf S = OPT
O = 8
T = 8.37
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 28
T = TO
(out)(err)
S = N/A
O = 19
T = TO
(out)(err)
S = OPT
O = 8
T = 12.88
(out)(err)
S = OPT
O = 8
T = 12.14
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 8
T = 11.07
(out)(err)
S = OPT
O = 8
T = 8.37
(out)(err)
S = OPT
O = 8
T = 16.86
(out)(err)
S = OPT
O = 8
T = 16.92
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_8.wcnf S = OPT
O = 5
T = 1.57
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 5
T = TO
(out)(err)
S = N/A
O = 9
T = TO
(out)(err)
S = OPT
O = 5
T = 7.06
(out)(err)
S = OPT
O = 5
T = 6.69
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 5
T = 4.71
(out)(err)
S = OPT
O = 5
T = 1.57
(out)(err)
S = OPT
O = 5
T = 2.50
(out)(err)
S = OPT
O = 5
T = 2.50
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C600_H100_9.wcnf S = OPT
O = 9
T = 6.41
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 42
T = TO
(out)(err)
S = N/A
O = 17
T = TO
(out)(err)
S = OPT
O = 9
T = 15.51
(out)(err)
S = OPT
O = 9
T = 14.64
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 9
T = 7.04
(out)(err)
S = OPT
O = 9
T = 6.41
(out)(err)
S = OPT
O = 9
T = 12.39
(out)(err)
S = OPT
O = 9
T = 12.30
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_0.wcnf S = OPT
O = 18
T = 58.79
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 50
T = TO
(out)(err)
S = N/A
O = 36
T = TO
(out)(err)
S = OPT
O = 18
T = 75.53
(out)(err)
S = OPT
O = 18
T = 72.11
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 18
T = 68.21
(out)(err)
S = OPT
O = 18
T = 58.79
(out)(err)
S = OPT
O = 18
T = 151.12
(out)(err)
S = OPT
O = 18
T = 146.98
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_1.wcnf S = OPT
O = 14
T = 26.19
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 52
T = TO
(out)(err)
S = N/A
O = 34
T = TO
(out)(err)
S = OPT
O = 14
T = 84.37
(out)(err)
S = OPT
O = 14
T = 81.62
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 14
T = 106.87
(out)(err)
S = OPT
O = 14
T = 26.19
(out)(err)
S = OPT
O = 14
T = 53.78
(out)(err)
S = OPT
O = 14
T = 53.17
(out)(err)
S = N/A
O = N/A
T = 1723.53
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_2.wcnf S = OPT
O = 15
T = 33.45
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 46
T = TO
(out)(err)
S = N/A
O = 33
T = TO
(out)(err)
S = OPT
O = 15
T = 39.73
(out)(err)
S = OPT
O = 15
T = 38.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 15
T = 36.59
(out)(err)
S = OPT
O = 15
T = 33.45
(out)(err)
S = OPT
O = 15
T = 67.79
(out)(err)
S = OPT
O = 15
T = 66.81
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_3.wcnf S = OPT
O = 12
T = 23.58
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 55
T = TO
(out)(err)
S = N/A
O = 28
T = TO
(out)(err)
S = OPT
O = 12
T = 39.40
(out)(err)
S = OPT
O = 12
T = 37.71
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 12
T = 31.66
(out)(err)
S = OPT
O = 12
T = 23.58
(out)(err)
S = OPT
O = 12
T = 45.12
(out)(err)
S = OPT
O = 12
T = 44.54
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_4.wcnf S = OPT
O = 11
T = 5.03
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 45
T = TO
(out)(err)
S = N/A
O = 31
T = TO
(out)(err)
S = OPT
O = 11
T = 51.20
(out)(err)
S = OPT
O = 11
T = 48.84
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 11
T = 41.56
(out)(err)
S = OPT
O = 11
T = 5.03
(out)(err)
S = OPT
O = 11
T = 10.19
(out)(err)
S = OPT
O = 11
T = 10.21
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_5.wcnf S = OPT
O = 14
T = 31.46
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 50
T = TO
(out)(err)
S = N/A
O = 31
T = TO
(out)(err)
S = OPT
O = 14
T = 124.44
(out)(err)
S = OPT
O = 14
T = 118.33
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 14
T = 117.25
(out)(err)
S = OPT
O = 14
T = 31.46
(out)(err)
S = OPT
O = 14
T = 71.65
(out)(err)
S = OPT
O = 14
T = 70.01
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_6.wcnf S = OPT
O = 12
T = 20.39
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 38
T = TO
(out)(err)
S = N/A
O = 30
T = TO
(out)(err)
S = OPT
O = 12
T = 59.69
(out)(err)
S = OPT
O = 12
T = 57.48
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 12
T = 44.81
(out)(err)
S = OPT
O = 12
T = 20.39
(out)(err)
S = OPT
O = 12
T = 39.02
(out)(err)
S = OPT
O = 12
T = 38.53
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_7.wcnf S = OPT
O = 17
T = 77.69
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = 32
T = TO
(out)(err)
S = OPT
O = 17
T = 118.10
(out)(err)
S = OPT
O = 17
T = 112.91
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 17
T = 92.29
(out)(err)
S = OPT
O = 17
T = 77.69
(out)(err)
S = OPT
O = 17
T = 190.43
(out)(err)
S = OPT
O = 17
T = 190.69
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_8.wcnf S = OPT
O = 16
T = 124.73
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 50
T = TO
(out)(err)
S = N/A
O = 30
T = TO
(out)(err)
S = OPT
O = 16
T = 175.77
(out)(err)
S = OPT
O = 16
T = 168.22
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 16
T = 146.30
(out)(err)
S = OPT
O = 16
T = 124.73
(out)(err)
S = OPT
O = 16
T = 275.36
(out)(err)
S = OPT
O = 16
T = 274.01
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C700_H100_9.wcnf S = OPT
O = 12
T = 7.81
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 51
T = TO
(out)(err)
S = N/A
O = 29
T = TO
(out)(err)
S = OPT
O = 12
T = 32.26
(out)(err)
S = OPT
O = 12
T = 30.40
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 12
T = 29.29
(out)(err)
S = OPT
O = 12
T = 7.81
(out)(err)
S = OPT
O = 12
T = 15.33
(out)(err)
S = OPT
O = 12
T = 15.15
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_0.wcnf S = OPT
O = 21
T = 104.59
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 68
T = TO
(out)(err)
S = N/A
O = 43
T = TO
(out)(err)
S = OPT
O = 21
T = 153.53
(out)(err)
S = OPT
O = 21
T = 149.58
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 21
T = 166.48
(out)(err)
S = OPT
O = 21
T = 104.59
(out)(err)
S = OPT
O = 21
T = 217.17
(out)(err)
S = OPT
O = 21
T = 215.28
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_1.wcnf S = OPT
O = 21
T = 142.70
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 44
T = TO
(out)(err)
S = OPT
O = 21
T = 266.62
(out)(err)
S = OPT
O = 21
T = 258.18
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 21
T = 244.13
(out)(err)
S = OPT
O = 21
T = 142.70
(out)(err)
S = OPT
O = 21
T = 282.78
(out)(err)
S = OPT
O = 21
T = 281.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_2.wcnf S = OPT
O = 20
T = 182.61
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 58
T = TO
(out)(err)
S = N/A
O = 42
T = TO
(out)(err)
S = OPT
O = 20
T = 303.94
(out)(err)
S = OPT
O = 20
T = 296.84
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 20
T = 198.64
(out)(err)
S = OPT
O = 20
T = 182.61
(out)(err)
S = OPT
O = 20
T = 384.67
(out)(err)
S = OPT
O = 20
T = 383.78
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_3.wcnf S = OPT
O = 22
T = 80.70
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 47
T = TO
(out)(err)
S = N/A
O = 40
T = TO
(out)(err)
S = OPT
O = 22
T = 100.51
(out)(err)
S = OPT
O = 22
T = 96.08
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 22
T = 81.69
(out)(err)
S = OPT
O = 22
T = 80.70
(out)(err)
S = OPT
O = 22
T = 222.93
(out)(err)
S = OPT
O = 22
T = 217.91
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_4.wcnf S = OPT
O = 18
T = 73.20
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 61
T = TO
(out)(err)
S = N/A
O = 31
T = TO
(out)(err)
S = OPT
O = 18
T = 144.30
(out)(err)
S = OPT
O = 18
T = 139.52
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 18
T = 104.52
(out)(err)
S = OPT
O = 18
T = 73.20
(out)(err)
S = OPT
O = 18
T = 157.92
(out)(err)
S = OPT
O = 18
T = 156.36
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_5.wcnf S = OPT
O = 20
T = 81.56
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 41
T = TO
(out)(err)
S = N/A
O = 44
T = TO
(out)(err)
S = OPT
O = 20
T = 120.61
(out)(err)
S = OPT
O = 20
T = 116.44
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 20
T = 106.78
(out)(err)
S = OPT
O = 20
T = 81.56
(out)(err)
S = OPT
O = 20
T = 183.10
(out)(err)
S = OPT
O = 20
T = 181.18
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_6.wcnf S = OPT
O = 17
T = 34.27
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = 43
T = TO
(out)(err)
S = OPT
O = 17
T = 118.81
(out)(err)
S = OPT
O = 17
T = 113.98
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 17
T = 97.66
(out)(err)
S = OPT
O = 17
T = 34.27
(out)(err)
S = OPT
O = 17
T = 74.42
(out)(err)
S = OPT
O = 17
T = 73.50
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_7.wcnf S = OPT
O = 23
T = 78.20
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 60
T = TO
(out)(err)
S = N/A
O = 46
T = TO
(out)(err)
S = OPT
O = 23
T = 196.23
(out)(err)
S = OPT
O = 23
T = 190.30
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 23
T = 163.15
(out)(err)
S = OPT
O = 23
T = 78.20
(out)(err)
S = OPT
O = 23
T = 208.79
(out)(err)
S = OPT
O = 23
T = 206.27
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_8.wcnf S = OPT
O = 25
T = 513.22
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 62
T = TO
(out)(err)
S = N/A
O = 45
T = TO
(out)(err)
S = OPT
O = 25
T = 674.29
(out)(err)
S = OPT
O = 25
T = 653.24
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 25
T = 550.05
(out)(err)
S = OPT
O = 25
T = 513.22
(out)(err)
S = OPT
O = 25
T = 1008.51
(out)(err)
S = OPT
O = 25
T = 989.95
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
file_rpms_wcnf_L3_V100_C800_H100_9.wcnf S = OPT
O = 20
T = 76.93
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 40
T = TO
(out)(err)
S = N/A
O = 38
T = TO
(out)(err)
S = OPT
O = 20
T = 187.34
(out)(err)
S = OPT
O = 20
T = 181.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 20
T = 125.55
(out)(err)
S = OPT
O = 20
T = 76.93
(out)(err)
S = OPT
O = 20
T = 178.16
(out)(err)
S = OPT
O = 20
T = 176.53
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)