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 for Complete SolversMeaning for Incomplete Solvers
TextBest solver columnBest solver column
TextOptimal solution with the best CPU timeBest solution with the best CPU time
TextOptimal solution and finished within the Time OutBest solution without the best CPU time
TextOptimal solution and did not finish within the Time OutSolution found but not the best
TextTime OutTime Out
TextBuggy solutionBuggy solution

Instance file name Best solver CCEHC2akms CCLS2akms LMHS-2016 Naps-1.02-ms Open-WBO15 Open-WBO16 Optiriss6 QMaxSAT14 QMaxSAT16UC WMaxSatz+ WMaxSatz09 WPM3-2015-co ahms-1.70 ahms-ls-1.70 maxhs-b maxino16-c10 maxino16-dis mscg2015a mscg2015b
clq1-cv160c800l2g1.wcnf S = OPT
O = 61
T = 63.24		 S = OPT
O = 61
T = 1056.58
 S = OPT
O = 61
T = 1044.97
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 61
T = 1264.42
 S = N/A
O = 97
T = TO
 S = OPT
O = 61
T = 65.44
 S = OPT
O = 61
T = 63.24
 S = N/A
O = N/A
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g10.wcnf S = OPT
O = 53
T = 28.82		 S = OPT
O = 53
T = 414.47
 S = OPT
O = 53
T = 423.68
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 53
T = 1106.42
 S = OPT
O = 53
T = 581.35
 S = N/A
O = 102
T = TO
 S = OPT
O = 53
T = 34.07
 S = OPT
O = 53
T = 28.82
 S = N/A
O = N/A
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g11.wcnf S = OPT
O = 67
T = 1636.17		 S = N/A
O = 67
T = TO
 S = N/A
O = 67
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 72
T = TO
 S = OPT
O = 67
T = 1711.78
 S = OPT
O = 67
T = 1636.17
 S = N/A
O = N/A
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g12.wcnf S = OPT
O = 59
T = 57.69		 S = OPT
O = 59
T = 706.18
 S = OPT
O = 59
T = 739.53
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 59
T = 1531.32
 S = OPT
O = 59
T = 856.32
 S = N/A
O = 62
T = TO
 S = OPT
O = 59
T = 57.69
 S = OPT
O = 59
T = 64.46
 S = N/A
O = N/A
T = TO
 S = N/A
O = 49
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g13.wcnf S = OPT
O = 51
T = 5.05		 S = OPT
O = 51
T = 34.90
 S = OPT
O = 51
T = 34.26
 S = OPT
O = 51
T = 319.73
 S = N/A
O = N/A
T = TO
 S = OPT
O = 51
T = 235.66
 S = OPT
O = 51
T = 884.52
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 51
T = 80.01
 S = OPT
O = 51
T = 32.66
 S = OPT
O = 51
T = 60.08
 S = OPT
O = 51
T = 5.40
 S = OPT
O = 51
T = 5.05
 S = OPT
O = 51
T = 21.38
 S = N/A
O = 48
T = TO
 S = N/A
O = 48
T = TO
 S = OPT
O = 51
T = 51.68
 S = OPT
O = 51
T = 163.33
clq1-cv160c800l2g14.wcnf S = OPT
O = 45
T = 1.74		 S = OPT
O = 45
T = 8.71
 S = OPT
O = 45
T = 7.93
 S = OPT
O = 45
T = 103.54
 S = N/A
O = N/A
T = TO
 S = OPT
O = 45
T = 52.59
 S = OPT
O = 45
T = 286.86
 S = OPT
O = 45
T = 313.80
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 45
T = 24.04
 S = OPT
O = 45
T = 5.81
 S = OPT
O = 45
T = 7.51
 S = OPT
O = 45
T = 1.86
 S = OPT
O = 45
T = 1.74
 S = OPT
O = 45
T = 28.09
 S = OPT
O = 45
T = 6.74
 S = N/A
O = 44
T = TO
 S = OPT
O = 45
T = 8.35
 S = OPT
O = 45
T = 20.33
clq1-cv160c800l2g15.wcnf S = OPT
O = 62
T = 121.17		 S = N/A
O = 62
T = TO
 S = N/A
O = 62
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 68
T = TO
 S = OPT
O = 62
T = 121.17
 S = OPT
O = 62
T = 125.94
 S = N/A
O = N/A
T = TO
 S = N/A
O = 49
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g16.wcnf S = OPT
O = 56
T = 22.12		 S = OPT
O = 56
T = 209.84
 S = OPT
O = 56
T = 214.56
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 56
T = 611.59
 S = OPT
O = 56
T = 222.35
 S = N/A
O = 69
T = TO
 S = OPT
O = 56
T = 22.12
 S = OPT
O = 56
T = 22.87
 S = N/A
O = N/A
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g17.wcnf S = OPT
O = 59
T = 84.79		 S = OPT
O = 59
T = 1176.23
 S = OPT
O = 59
T = 1168.28
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 63
T = TO
 S = OPT
O = 59
T = 98.35
 S = OPT
O = 59
T = 84.79
 S = N/A
O = N/A
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g18.wcnf S = OPT
O = 55
T = 27.52		 S = OPT
O = 55
T = 393.31
 S = OPT
O = 55
T = 404.08
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 55
T = 595.67
 S = OPT
O = 55
T = 266.09
 S = N/A
O = 68
T = TO
 S = OPT
O = 55
T = 28.25
 S = OPT
O = 55
T = 27.52
 S = N/A
O = N/A
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g19.wcnf S = OPT
O = 68
T = 238.57		 S = N/A
O = 68
T = TO
 S = N/A
O = 68
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 90
T = TO
 S = OPT
O = 68
T = 240.79
 S = OPT
O = 68
T = 238.57
 S = N/A
O = N/A
T = TO
 S = N/A
O = 53
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g2.wcnf S = OPT
O = 48
T = 3.13		 S = OPT
O = 48
T = 20.97
 S = OPT
O = 48
T = 20.34
 S = OPT
O = 48
T = 303.01
 S = N/A
O = N/A
T = TO
 S = OPT
O = 48
T = 404.51
 S = N/A
O = N/A
T = TO
 S = OPT
O = 48
T = 411.09
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 48
T = 72.60
 S = OPT
O = 48
T = 25.73
 S = OPT
O = 48
T = 231.17
 S = OPT
O = 48
T = 3.26
 S = OPT
O = 48
T = 3.13
 S = OPT
O = 48
T = 54.36
 S = N/A
O = 47
T = TO
 S = N/A
O = 44
T = TO
 S = OPT
O = 48
T = 121.53
 S = OPT
O = 48
T = 95.74
clq1-cv160c800l2g20.wcnf S = OPT
O = 46
T = 2.28		 S = OPT
O = 46
T = 17.71
 S = OPT
O = 46
T = 17.04
 S = OPT
O = 46
T = 489.46
 S = N/A
O = N/A
T = TO
 S = OPT
O = 46
T = 89.09
 S = OPT
O = 46
T = 189.08
 S = OPT
O = 46
T = 1012.07
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 46
T = 49.44
 S = OPT
O = 46
T = 12.40
 S = OPT
O = 46
T = 151.97
 S = OPT
O = 46
T = 2.31
 S = OPT
O = 46
T = 2.28
 S = OPT
O = 46
T = 28.72
 S = N/A
O = 45
T = TO
 S = N/A
O = 43
T = TO
 S = OPT
O = 46
T = 168.44
 S = OPT
O = 46
T = 50.35
clq1-cv160c800l2g21.wcnf S = OPT
O = 56
T = 19.98		 S = OPT
O = 56
T = 262.53
 S = OPT
O = 56
T = 259.44
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 56
T = 826.54
 S = OPT
O = 56
T = 290.06
 S = N/A
O = 78
T = TO
 S = OPT
O = 56
T = 22.76
 S = OPT
O = 56
T = 19.98
 S = N/A
O = N/A
T = TO
 S = N/A
O = 49
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g22.wcnf S = OPT
O = 56
T = 24.90		 S = OPT
O = 56
T = 633.36
 S = OPT
O = 56
T = 900.50
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 56
T = 518.79
 S = OPT
O = 56
T = 386.44
 S = N/A
O = 66
T = TO
 S = OPT
O = 56
T = 28.60
 S = OPT
O = 56
T = 24.90
 S = N/A
O = N/A
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g23.wcnf S = OPT
O = 51
T = 2.67		 S = OPT
O = 51
T = 25.64
 S = OPT
O = 51
T = 25.22
 S = OPT
O = 51
T = 1079.38
 S = N/A
O = N/A
T = TO
 S = OPT
O = 51
T = 168.24
 S = OPT
O = 51
T = 1415.96
 S = OPT
O = 51
T = 991.95
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 51
T = 78.88
 S = OPT
O = 51
T = 26.57
 S = OPT
O = 51
T = 71.75
 S = OPT
O = 51
T = 2.75
 S = OPT
O = 51
T = 2.67
 S = OPT
O = 51
T = 50.39
 S = N/A
O = 49
T = TO
 S = N/A
O = 49
T = TO
 S = OPT
O = 51
T = 70.25
 S = OPT
O = 51
T = 90.15
clq1-cv160c800l2g24.wcnf S = OPT
O = 49
T = 2.55		 S = OPT
O = 49
T = 26.30
 S = OPT
O = 49
T = 25.82
 S = OPT
O = 49
T = 704.68
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 49
T = 1206.49
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 49
T = 72.94
 S = OPT
O = 49
T = 31.92
 S = OPT
O = 49
T = 470.81
 S = OPT
O = 49
T = 2.55
 S = OPT
O = 49
T = 2.59
 S = OPT
O = 49
T = 186.11
 S = N/A
O = 48
T = TO
 S = N/A
O = 43
T = TO
 S = OPT
O = 49
T = 384.62
 S = OPT
O = 49
T = 299.98
clq1-cv160c800l2g25.wcnf S = OPT
O = 55
T = 57.16		 S = OPT
O = 55
T = 600.65
 S = OPT
O = 55
T = 606.20
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 55
T = 1674.69
 S = OPT
O = 55
T = 410.12
 S = N/A
O = 67
T = TO
 S = OPT
O = 55
T = 57.16
 S = OPT
O = 55
T = 57.94
 S = N/A
O = N/A
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g26.wcnf S = OPT
O = 53
T = 58.75		 S = OPT
O = 53
T = 344.33
 S = OPT
O = 53
T = 543.95
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 53
T = 1031.39
 S = OPT
O = 53
T = 477.68
 S = N/A
O = 65
T = TO
 S = OPT
O = 53
T = 58.75
 S = OPT
O = 53
T = 64.80
 S = N/A
O = N/A
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g27.wcnf S = OPT
O = 56
T = 43.55		 S = OPT
O = 56
T = 874.45
 S = OPT
O = 56
T = 907.99
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 56
T = 1625.50
 S = OPT
O = 56
T = 1243.02
 S = N/A
O = 66
T = TO
 S = OPT
O = 56
T = 43.66
 S = OPT
O = 56
T = 43.55
 S = N/A
O = N/A
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g28.wcnf S = OPT
O = 50
T = 10.81		 S = OPT
O = 50
T = 116.12
 S = OPT
O = 50
T = 116.35
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 50
T = 279.95
 S = OPT
O = 50
T = 71.75
 S = N/A
O = 104
T = TO
 S = OPT
O = 50
T = 10.81
 S = OPT
O = 50
T = 11.29
 S = OPT
O = 50
T = 405.51
 S = N/A
O = 44
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g29.wcnf S = OPT
O = 42
T = 1.97		 S = OPT
O = 42
T = 14.84
 S = OPT
O = 42
T = 13.72
 S = OPT
O = 42
T = 117.99
 S = N/A
O = N/A
T = TO
 S = OPT
O = 42
T = 114.47
 S = OPT
O = 42
T = 180.79
 S = OPT
O = 42
T = 268.93
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 42
T = 27.46
 S = OPT
O = 42
T = 11.90
 S = OPT
O = 42
T = 23.85
 S = OPT
O = 42
T = 2.11
 S = OPT
O = 42
T = 1.97
 S = OPT
O = 42
T = 29.11
 S = OPT
O = 42
T = 170.16
 S = N/A
O = 41
T = TO
 S = OPT
O = 42
T = 58.91
 S = OPT
O = 42
T = 60.33
clq1-cv160c800l2g3.wcnf S = OPT
O = 60
T = 62.74		 S = OPT
O = 60
T = 1287.57
 S = OPT
O = 60
T = 1222.10
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 60
T = 1427.55
 S = N/A
O = 83
T = TO
 S = OPT
O = 60
T = 68.02
 S = OPT
O = 60
T = 62.74
 S = N/A
O = N/A
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = 50
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g30.wcnf S = OPT
O = 60
T = 12.30		 S = OPT
O = 60
T = 134.37
 S = OPT
O = 60
T = 135.87
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 60
T = 379.33
 S = OPT
O = 60
T = 137.12
 S = N/A
O = 88
T = TO
 S = OPT
O = 60
T = 13.07
 S = OPT
O = 60
T = 12.30
 S = N/A
O = N/A
T = TO
 S = N/A
O = 52
T = TO
 S = N/A
O = 56
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 60
T = 1612.39
clq1-cv160c800l2g4.wcnf S = OPT
O = 49
T = 16.74		 S = OPT
O = 49
T = 167.26
 S = OPT
O = 49
T = 228.52
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 49
T = 745.60
 S = OPT
O = 49
T = 192.37
 S = N/A
O = 71
T = TO
 S = OPT
O = 49
T = 18.05
 S = OPT
O = 49
T = 16.74
 S = N/A
O = N/A
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 49
T = 1724.64
clq1-cv160c800l2g5.wcnf S = OPT
O = 49
T = 5.64		 S = OPT
O = 49
T = 45.09
 S = OPT
O = 49
T = 42.31
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 49
T = 135.82
 S = OPT
O = 49
T = 34.82
 S = N/A
O = 49
T = TO
 S = OPT
O = 49
T = 5.64
 S = OPT
O = 49
T = 5.96
 S = OPT
O = 49
T = 329.33
 S = N/A
O = 45
T = TO
 S = N/A
O = 42
T = TO
 S = OPT
O = 49
T = 1454.74
 S = OPT
O = 49
T = 193.83
clq1-cv160c800l2g6.wcnf S = OPT
O = 62
T = 67.02		 S = OPT
O = 62
T = 800.35
 S = OPT
O = 62
T = 783.74
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 62
T = TO
 S = OPT
O = 62
T = 946.79
 S = N/A
O = 87
T = TO
 S = OPT
O = 62
T = 67.02
 S = OPT
O = 62
T = 67.94
 S = N/A
O = N/A
T = TO
 S = N/A
O = 51
T = TO
 S = N/A
O = 49
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g7.wcnf S = OPT
O = 61
T = 258.49		 S = N/A
O = 61
T = TO
 S = N/A
O = 61
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 79
T = TO
 S = OPT
O = 61
T = 258.49
 S = OPT
O = 61
T = 274.36
 S = N/A
O = N/A
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv160c800l2g8.wcnf S = OPT
O = 49
T = 4.92		 S = OPT
O = 49
T = 48.85
 S = OPT
O = 49
T = 50.72
 S = OPT
O = 49
T = 1698.24
 S = N/A
O = N/A
T = TO
 S = OPT
O = 49
T = 736.81
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 49
T = 106.87
 S = OPT
O = 49
T = 28.74
 S = OPT
O = 49
T = 596.05
 S = OPT
O = 49
T = 4.92
 S = OPT
O = 49
T = 5.14
 S = OPT
O = 49
T = 148.09
 S = N/A
O = 47
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 49
T = 482.22
clq1-cv160c800l2g9.wcnf S = OPT
O = 57
T = 65.67		 S = OPT
O = 57
T = 1081.46
 S = OPT
O = 57
T = 1086.37
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 57
T = 868.08
 S = N/A
O = 83
T = TO
 S = OPT
O = 57
T = 65.67
 S = OPT
O = 57
T = 67.11
 S = N/A
O = N/A
T = TO
 S = N/A
O = 49
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g1.wcnf S = OPT
O = 67
T = 1780.60		 S = N/A
O = 67
T = TO
 S = N/A
O = 67
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 166
T = TO
 S = N/A
O = 67
T = TO
 S = OPT
O = 67
T = 1780.60
 S = N/A
O = N/A
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = 49
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g10.wcnf S = OPT
O = 61
T = 927.93		 S = N/A
O = 61
T = TO
 S = N/A
O = 61
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 78
T = TO
 S = OPT
O = 61
T = 975.20
 S = OPT
O = 61
T = 927.93
 S = N/A
O = N/A
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g11.wcnf S = OPT
O = 40
T = 5.35		 S = OPT
O = 40
T = 49.36
 S = OPT
O = 40
T = 50.45
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 40
T = 1185.67
 S = OPT
O = 40
T = 1518.36
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 40
T = 138.24
 S = OPT
O = 40
T = 23.77
 S = OPT
O = 40
T = 402.59
 S = OPT
O = 40
T = 5.35
 S = OPT
O = 40
T = 5.35
 S = OPT
O = 40
T = 118.66
 S = N/A
O = 35
T = TO
 S = N/A
O = 36
T = TO
 S = OPT
O = 40
T = 458.21
 S = OPT
O = 40
T = 218.85
clq1-cv260c1040l2g12.wcnf S = OPT
O = 58
T = 652.94		 S = N/A
O = 59
T = TO
 S = N/A
O = 59
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 66
T = TO
 S = OPT
O = 58
T = 684.49
 S = OPT
O = 58
T = 652.94
 S = N/A
O = N/A
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g13.wcnf S = OPT
O = 38
T = 5.93		 S = OPT
O = 38
T = 21.75
 S = OPT
O = 38
T = 20.81
 S = OPT
O = 38
T = 666.11
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 38
T = 1293.04
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 38
T = 114.45
 S = OPT
O = 38
T = 18.31
 S = N/A
O = 67
T = TO
 S = OPT
O = 38
T = 5.93
 S = OPT
O = 38
T = 6.01
 S = OPT
O = 38
T = 66.38
 S = N/A
O = 36
T = TO
 S = N/A
O = 33
T = TO
 S = OPT
O = 38
T = 1209.41
 S = OPT
O = 38
T = 373.95
clq1-cv260c1040l2g14.wcnf S = OPT
O = 57
T = 77.05		 S = N/A
O = 57
T = TO
 S = N/A
O = 57
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 87
T = TO
 S = OPT
O = 57
T = 94.02
 S = OPT
O = 57
T = 77.05
 S = N/A
O = N/A
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g15.wcnf S = OPT
O = 46
T = 24.77		 S = OPT
O = 46
T = 438.34
 S = OPT
O = 46
T = 422.65
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 46
T = 1722.02
 S = OPT
O = 46
T = 425.72
 S = N/A
O = 49
T = TO
 S = OPT
O = 46
T = 24.77
 S = OPT
O = 46
T = 26.18
 S = N/A
O = 46
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = 38
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g16.wcnf S = OPT
O = 59
T = 1247.82		 S = N/A
O = 59
T = TO
 S = N/A
O = 59
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 77
T = TO
 S = OPT
O = 59
T = 1420.29
 S = OPT
O = 59
T = 1247.82
 S = N/A
O = N/A
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g17.wcnf S = OPT
O = 51
T = 136.40		 S = N/A
O = 51
T = TO
 S = N/A
O = 51
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 86
T = TO
 S = OPT
O = 51
T = 147.12
 S = OPT
O = 51
T = 136.40
 S = N/A
O = N/A
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = 37
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g18.wcnf S = OPT
O = 52
T = 19.84		 S = OPT
O = 52
T = 254.27
 S = OPT
O = 52
T = 247.15
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 52
T = 570.64
 S = OPT
O = 52
T = 105.14
 S = N/A
O = 68
T = TO
 S = OPT
O = 52
T = 20.66
 S = OPT
O = 52
T = 19.84
 S = N/A
O = 52
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g19.wcnf S = OPT
O = 57
T = 51.88		 S = OPT
O = 57
T = 882.70
 S = OPT
O = 57
T = 840.36
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 57
T = 1267.13
 S = N/A
O = 144
T = TO
 S = OPT
O = 57
T = 51.88
 S = OPT
O = 57
T = 52.00
 S = OPT
O = 57
T = 1246.09
 S = N/A
O = 45
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g2.wcnf S = OPT
O = 54
T = 5.98		 S = OPT
O = 54
T = 119.85
 S = OPT
O = 54
T = 122.06
 S = OPT
O = 54
T = 816.46
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 54
T = 475.69
 S = OPT
O = 54
T = 88.94
 S = OPT
O = 54
T = 524.41
 S = OPT
O = 54
T = 5.98
 S = OPT
O = 54
T = 6.05
 S = OPT
O = 54
T = 191.07
 S = N/A
O = 51
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 54
T = 629.94
clq1-cv260c1040l2g20.wcnf S = OPT
O = 63
T = 639.52		 S = N/A
O = 63
T = TO
 S = N/A
O = 63
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 75
T = TO
 S = OPT
O = 63
T = 660.23
 S = OPT
O = 63
T = 639.52
 S = N/A
O = N/A
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g21.wcnf S = OPT
O = 55
T = 27.92		 S = OPT
O = 55
T = 539.80
 S = OPT
O = 55
T = 552.65
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 55
T = 1093.85
 S = OPT
O = 55
T = 430.28
 S = N/A
O = 140
T = TO
 S = OPT
O = 55
T = 28.51
 S = OPT
O = 55
T = 27.92
 S = N/A
O = N/A
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g22.wcnf S = OPT
O = 58
T = 166.64		 S = OPT
O = 58
T = 1726.64
 S = OPT
O = 58
T = 1776.54
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 134
T = TO
 S = OPT
O = 58
T = 195.63
 S = OPT
O = 58
T = 166.64
 S = N/A
O = N/A
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g23.wcnf S = OPT
O = 52
T = 14.27		 S = OPT
O = 52
T = 211.16
 S = OPT
O = 52
T = 214.75
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 52
T = 577.58
 S = OPT
O = 52
T = 132.90
 S = OPT
O = 52
T = 415.61
 S = OPT
O = 52
T = 15.56
 S = OPT
O = 52
T = 14.27
 S = OPT
O = 52
T = 96.13
 S = N/A
O = 45
T = TO
 S = N/A
O = 45
T = TO
 S = OPT
O = 52
T = 1122.95
 S = OPT
O = 52
T = 979.09
clq1-cv260c1040l2g24.wcnf S = OPT
O = 42
T = 2.61		 S = OPT
O = 42
T = 14.93
 S = OPT
O = 42
T = 14.87
 S = OPT
O = 42
T = 1570.90
 S = N/A
O = N/A
T = TO
 S = OPT
O = 42
T = 164.61
 S = OPT
O = 42
T = 1355.67
 S = OPT
O = 42
T = 842.14
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 42
T = 50.98
 S = OPT
O = 42
T = 8.42
 S = OPT
O = 42
T = 25.15
 S = OPT
O = 42
T = 2.61
 S = OPT
O = 42
T = 2.76
 S = OPT
O = 42
T = 12.84
 S = OPT
O = 42
T = 1500.81
 S = N/A
O = 40
T = TO
 S = OPT
O = 42
T = 90.13
 S = OPT
O = 42
T = 170.75
clq1-cv260c1040l2g25.wcnf S = OPT
O = 46
T = 5.07		 S = OPT
O = 46
T = 83.28
 S = OPT
O = 46
T = 80.55
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 46
T = 196.26
 S = OPT
O = 46
T = 39.60
 S = OPT
O = 46
T = 567.19
 S = OPT
O = 46
T = 5.07
 S = OPT
O = 46
T = 5.24
 S = OPT
O = 46
T = 89.62
 S = N/A
O = 40
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g26.wcnf S = OPT
O = 50
T = 80.79		 S = OPT
O = 50
T = 1420.14
 S = OPT
O = 50
T = 1479.95
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 50
T = 688.09
 S = N/A
O = 134
T = TO
 S = OPT
O = 50
T = 80.79
 S = OPT
O = 50
T = 82.75
 S = N/A
O = N/A
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = 36
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g27.wcnf S = OPT
O = 69
T = 805.80		 S = N/A
O = 69
T = TO
 S = N/A
O = 69
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 88
T = TO
 S = OPT
O = 69
T = 929.78
 S = OPT
O = 69
T = 805.80
 S = N/A
O = N/A
T = TO
 S = N/A
O = 51
T = TO
 S = N/A
O = 51
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g28.wcnf S = OPT
O = 58
T = 134.47		 S = N/A
O = 58
T = TO
 S = N/A
O = 58
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 91
T = TO
 S = OPT
O = 58
T = 153.67
 S = OPT
O = 58
T = 134.47
 S = N/A
O = N/A
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g29.wcnf S = OPT
O = 54
T = 44.52		 S = OPT
O = 54
T = 490.73
 S = OPT
O = 54
T = 459.01
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 54
T = 585.10
 S = N/A
O = 94
T = TO
 S = OPT
O = 54
T = 45.64
 S = OPT
O = 54
T = 44.52
 S = OPT
O = 54
T = 575.56
 S = N/A
O = 47
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g3.wcnf S = OPT
O = 52
T = 20.64		 S = OPT
O = 52
T = 375.21
 S = OPT
O = 52
T = 220.59
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 52
T = 969.58
 S = OPT
O = 52
T = 148.90
 S = N/A
O = 100
T = TO
 S = OPT
O = 52
T = 22.47
 S = OPT
O = 52
T = 20.64
 S = OPT
O = 52
T = 1118.93
 S = N/A
O = 42
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g30.wcnf S = OPT
O = 62
T = 1030.86		 S = N/A
O = 63
T = TO
 S = N/A
O = 63
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 152
T = TO
 S = OPT
O = 62
T = 1159.55
 S = OPT
O = 62
T = 1030.86
 S = N/A
O = N/A
T = TO
 S = N/A
O = 49
T = TO
 S = N/A
O = 50
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g4.wcnf S = OPT
O = 45
T = 14.61		 S = OPT
O = 45
T = 118.86
 S = OPT
O = 45
T = 115.65
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 45
T = 1629.91
 S = OPT
O = 45
T = 174.63
 S = OPT
O = 45
T = 819.79
 S = OPT
O = 45
T = 15.26
 S = OPT
O = 45
T = 14.61
 S = OPT
O = 45
T = 149.28
 S = N/A
O = 40
T = TO
 S = N/A
O = 37
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g5.wcnf S = OPT
O = 58
T = 312.47		 S = N/A
O = 58
T = TO
 S = N/A
O = 58
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 106
T = TO
 S = OPT
O = 58
T = 312.47
 S = OPT
O = 58
T = 317.30
 S = N/A
O = N/A
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g6.wcnf S = OPT
O = 49
T = 6.28		 S = OPT
O = 49
T = 109.33
 S = OPT
O = 49
T = 108.75
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 49
T = 302.44
 S = OPT
O = 49
T = 91.65
 S = OPT
O = 49
T = 1032.45
 S = OPT
O = 49
T = 6.58
 S = OPT
O = 49
T = 6.28
 S = OPT
O = 49
T = 148.69
 S = N/A
O = 45
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 49
T = 1085.96
clq1-cv260c1040l2g7.wcnf S = OPT
O = 46
T = 3.45		 S = OPT
O = 46
T = 58.60
 S = OPT
O = 46
T = 60.10
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 46
T = 247.26
 S = OPT
O = 46
T = 49.34
 S = N/A
O = 46
T = TO
 S = OPT
O = 46
T = 3.45
 S = OPT
O = 46
T = 3.51
 S = OPT
O = 46
T = 144.81
 S = N/A
O = 41
T = TO
 S = N/A
O = 39
T = TO
 S = OPT
O = 46
T = 1092.33
 S = OPT
O = 46
T = 1406.73
clq1-cv260c1040l2g8.wcnf S = OPT
O = 48
T = 8.17		 S = OPT
O = 48
T = 168.22
 S = OPT
O = 48
T = 165.15
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 48
T = 320.52
 S = OPT
O = 48
T = 86.76
 S = N/A
O = 86
T = TO
 S = OPT
O = 48
T = 8.45
 S = OPT
O = 48
T = 8.17
 S = OPT
O = 48
T = 138.39
 S = N/A
O = 42
T = TO
 S = N/A
O = 40
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = N/A
T = TO
clq1-cv260c1040l2g9.wcnf S = OPT
O = 50
T = 80.63		 S = OPT
O = 50
T = 947.03
 S = OPT
O = 50
T = 1446.91
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 50
T = 711.69
 S = N/A
O = 92
T = TO
 S = OPT
O = 50
T = 80.63
 S = OPT
O = 50
T = 87.73
 S = N/A
O = N/A
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g1.wcnf S = OPT
O = 54
T = 95.11		 S = OPT
O = 54
T = 354.91
 S = OPT
O = 54
T = 349.69
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 54
T = 388.56
 S = OPT
O = 54
T = 813.01
 S = N/A
O = 54
T = TO
 S = OPT
O = 54
T = 95.11
 S = OPT
O = 54
T = 98.42
 S = N/A
O = N/A
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g10.wcnf S = OPT
O = 43
T = 13.06		 S = OPT
O = 43
T = 57.05
 S = OPT
O = 43
T = 56.07
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 43
T = 52.48
 S = OPT
O = 43
T = 77.06
 S = N/A
O = 43
T = TO
 S = OPT
O = 43
T = 13.06
 S = OPT
O = 43
T = 13.07
 S = N/A
O = N/A
T = TO
 S = N/A
O = 37
T = TO
 S = N/A
O = 37
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g11.wcnf S = OPT
O = 48
T = 29.73		 S = OPT
O = 48
T = 157.92
 S = OPT
O = 48
T = 208.01
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 48
T = 113.38
 S = OPT
O = 48
T = 145.00
 S = N/A
O = 48
T = TO
 S = OPT
O = 48
T = 30.66
 S = OPT
O = 48
T = 29.73
 S = N/A
O = N/A
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = 38
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g12.wcnf S = OPT
O = 51
T = 12.85		 S = OPT
O = 51
T = 77.04
 S = OPT
O = 51
T = 73.63
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 51
T = 69.14
 S = OPT
O = 51
T = 75.84
 S = N/A
O = 51
T = TO
 S = OPT
O = 51
T = 13.87
 S = OPT
O = 51
T = 12.85
 S = N/A
O = N/A
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g13.wcnf S = OPT
O = 46
T = 14.35		 S = OPT
O = 46
T = 63.46
 S = OPT
O = 46
T = 64.53
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 46
T = 63.86
 S = OPT
O = 46
T = 84.23
 S = N/A
O = 46
T = TO
 S = OPT
O = 46
T = 14.35
 S = OPT
O = 46
T = 14.35
 S = N/A
O = N/A
T = TO
 S = N/A
O = 38
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g14.wcnf S = OPT
O = 50
T = 48.35		 S = OPT
O = 50
T = 282.20
 S = OPT
O = 50
T = 283.60
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 50
T = 227.35
 S = OPT
O = 50
T = 330.86
 S = N/A
O = 50
T = TO
 S = OPT
O = 50
T = 48.35
 S = OPT
O = 50
T = 50.12
 S = N/A
O = N/A
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g15.wcnf S = OPT
O = 51
T = 36.10		 S = OPT
O = 51
T = 141.25
 S = OPT
O = 51
T = 144.12
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 51
T = 175.14
 S = OPT
O = 51
T = 172.27
 S = N/A
O = 52
T = TO
 S = OPT
O = 51
T = 37.85
 S = OPT
O = 51
T = 36.10
 S = N/A
O = N/A
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g16.wcnf S = OPT
O = 51
T = 45.07		 S = OPT
O = 51
T = 237.27
 S = OPT
O = 51
T = 233.54
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 51
T = 199.20
 S = OPT
O = 51
T = 232.36
 S = N/A
O = 52
T = TO
 S = OPT
O = 51
T = 46.07
 S = OPT
O = 51
T = 45.07
 S = N/A
O = N/A
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g17.wcnf S = OPT
O = 45
T = 34.92		 S = OPT
O = 45
T = 168.71
 S = OPT
O = 45
T = 166.71
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 45
T = 137.14
 S = OPT
O = 45
T = 174.68
 S = N/A
O = 46
T = TO
 S = OPT
O = 45
T = 35.15
 S = OPT
O = 45
T = 34.92
 S = N/A
O = N/A
T = TO
 S = N/A
O = 38
T = TO
 S = N/A
O = 36
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g18.wcnf S = OPT
O = 51
T = 204.15		 S = OPT
O = 51
T = 548.60
 S = OPT
O = 51
T = 560.31
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 51
T = 561.90
 S = OPT
O = 51
T = 748.97
 S = N/A
O = 51
T = TO
 S = OPT
O = 51
T = 214.94
 S = OPT
O = 51
T = 204.15
 S = N/A
O = N/A
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g19.wcnf S = OPT
O = 55
T = 143.47		 S = OPT
O = 55
T = 577.25
 S = OPT
O = 55
T = 570.39
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 55
T = 838.35
 S = OPT
O = 55
T = 1058.31
 S = N/A
O = 56
T = TO
 S = OPT
O = 55
T = 155.31
 S = OPT
O = 55
T = 143.47
 S = N/A
O = N/A
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g2.wcnf S = OPT
O = 48
T = 13.39		 S = OPT
O = 48
T = 78.31
 S = OPT
O = 48
T = 78.04
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 48
T = 45.51
 S = OPT
O = 48
T = 105.65
 S = N/A
O = 48
T = TO
 S = OPT
O = 48
T = 13.39
 S = OPT
O = 48
T = 13.44
 S = N/A
O = N/A
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g20.wcnf S = OPT
O = 50
T = 57.99		 S = OPT
O = 50
T = 228.85
 S = OPT
O = 50
T = 230.66
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 50
T = 238.29
 S = OPT
O = 50
T = 199.14
 S = N/A
O = 50
T = TO
 S = OPT
O = 50
T = 57.99
 S = OPT
O = 50
T = 59.48
 S = N/A
O = N/A
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g21.wcnf S = OPT
O = 40
T = 15.11		 S = OPT
O = 40
T = 62.15
 S = OPT
O = 40
T = 63.23
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 40
T = 67.54
 S = OPT
O = 40
T = 62.83
 S = N/A
O = 40
T = TO
 S = OPT
O = 40
T = 15.58
 S = OPT
O = 40
T = 15.11
 S = OPT
O = 40
T = 1615.40
 S = N/A
O = 35
T = TO
 S = N/A
O = 35
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g22.wcnf S = OPT
O = 50
T = 48.52		 S = OPT
O = 50
T = 172.19
 S = OPT
O = 50
T = 172.99
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 50
T = 180.43
 S = OPT
O = 50
T = 274.32
 S = N/A
O = 50
T = TO
 S = OPT
O = 50
T = 51.73
 S = OPT
O = 50
T = 48.52
 S = N/A
O = N/A
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g23.wcnf S = OPT
O = 52
T = 52.82		 S = OPT
O = 52
T = 161.06
 S = OPT
O = 52
T = 164.93
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 52
T = 99.68
 S = OPT
O = 52
T = 160.15
 S = N/A
O = 57
T = TO
 S = OPT
O = 52
T = 52.82
 S = OPT
O = 52
T = 55.29
 S = N/A
O = N/A
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g24.wcnf S = OPT
O = 50
T = 49.51		 S = OPT
O = 50
T = 121.06
 S = OPT
O = 50
T = 121.06
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 50
T = 118.47
 S = OPT
O = 50
T = 177.68
 S = N/A
O = 50
T = TO
 S = OPT
O = 50
T = 50.45
 S = OPT
O = 50
T = 49.51
 S = N/A
O = N/A
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g25.wcnf S = OPT
O = 45
T = 29.47		 S = OPT
O = 45
T = 119.98
 S = OPT
O = 45
T = 116.58
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 45
T = 139.20
 S = OPT
O = 45
T = 127.25
 S = N/A
O = 45
T = TO
 S = OPT
O = 45
T = 29.47
 S = OPT
O = 45
T = 29.86
 S = N/A
O = N/A
T = TO
 S = N/A
O = 37
T = TO
 S = N/A
O = 36
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g26.wcnf S = OPT
O = 50
T = 14.75		 S = OPT
O = 50
T = 110.57
 S = OPT
O = 50
T = 109.85
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 50
T = 58.84
 S = OPT
O = 50
T = 95.40
 S = N/A
O = 50
T = TO
 S = OPT
O = 50
T = 16.28
 S = OPT
O = 50
T = 14.75
 S = N/A
O = N/A
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g27.wcnf S = OPT
O = 56
T = 260.17		 S = OPT
O = 56
T = 979.71
 S = OPT
O = 56
T = 941.82
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 56
T = 963.50
 S = OPT
O = 56
T = 1409.12
 S = N/A
O = 57
T = TO
 S = OPT
O = 56
T = 272.25
 S = OPT
O = 56
T = 260.17
 S = N/A
O = N/A
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g28.wcnf S = OPT
O = 51
T = 31.30		 S = OPT
O = 51
T = 236.57
 S = OPT
O = 51
T = 233.59
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 51
T = 145.96
 S = OPT
O = 51
T = 232.53
 S = N/A
O = 51
T = TO
 S = OPT
O = 51
T = 33.06
 S = OPT
O = 51
T = 31.30
 S = N/A
O = N/A
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g29.wcnf S = OPT
O = 55
T = 83.45		 S = OPT
O = 55
T = 495.98
 S = OPT
O = 55
T = 495.56
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 55
T = 338.32
 S = OPT
O = 55
T = 394.13
 S = N/A
O = 55
T = TO
 S = OPT
O = 55
T = 89.61
 S = OPT
O = 55
T = 83.45
 S = N/A
O = N/A
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g3.wcnf S = OPT
O = 49
T = 139.82		 S = OPT
O = 49
T = 334.53
 S = OPT
O = 49
T = 332.45
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 49
T = 611.46
 S = OPT
O = 49
T = 740.24
 S = N/A
O = 49
T = TO
 S = OPT
O = 49
T = 140.50
 S = OPT
O = 49
T = 139.82
 S = N/A
O = N/A
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g30.wcnf S = OPT
O = 53
T = 142.07		 S = OPT
O = 53
T = 724.55
 S = OPT
O = 53
T = 726.31
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 53
T = 567.64
 S = OPT
O = 53
T = 1001.20
 S = N/A
O = 55
T = TO
 S = OPT
O = 53
T = 148.86
 S = OPT
O = 53
T = 142.07
 S = N/A
O = N/A
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g4.wcnf S = OPT
O = 47
T = 18.35		 S = OPT
O = 47
T = 91.78
 S = OPT
O = 47
T = 90.88
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 47
T = 97.46
 S = OPT
O = 47
T = 98.81
 S = N/A
O = 47
T = TO
 S = OPT
O = 47
T = 18.67
 S = OPT
O = 47
T = 18.35
 S = N/A
O = N/A
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g5.wcnf S = OPT
O = 46
T = 15.15		 S = OPT
O = 46
T = 44.94
 S = OPT
O = 46
T = 44.40
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 46
T = 52.48
 S = OPT
O = 46
T = 83.53
 S = N/A
O = 46
T = TO
 S = OPT
O = 46
T = 15.76
 S = OPT
O = 46
T = 15.15
 S = OPT
O = 46
T = 1582.84
 S = N/A
O = 41
T = TO
 S = N/A
O = 40
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g6.wcnf S = OPT
O = 49
T = 13.29		 S = OPT
O = 49
T = 94.24
 S = OPT
O = 49
T = 92.12
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 49
T = 48.29
 S = OPT
O = 49
T = 84.75
 S = N/A
O = 49
T = TO
 S = OPT
O = 49
T = 13.29
 S = OPT
O = 49
T = 14.80
 S = N/A
O = N/A
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g7.wcnf S = OPT
O = 54
T = 152.58		 S = OPT
O = 54
T = 688.42
 S = OPT
O = 54
T = 821.34
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 54
T = 527.62
 S = OPT
O = 54
T = 884.00
 S = N/A
O = 55
T = TO
 S = OPT
O = 54
T = 152.58
 S = OPT
O = 54
T = 153.50
 S = N/A
O = N/A
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g8.wcnf S = OPT
O = 48
T = 99.10		 S = OPT
O = 48
T = 171.30
 S = OPT
O = 48
T = 236.99
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 48
T = 530.75
 S = OPT
O = 48
T = 581.54
 S = N/A
O = 48
T = TO
 S = OPT
O = 48
T = 99.73
 S = OPT
O = 48
T = 99.10
 S = N/A
O = N/A
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv70c350l3g9.wcnf S = OPT
O = 50
T = 105.24		 S = OPT
O = 50
T = 449.44
 S = OPT
O = 50
T = 450.03
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 50
T = 564.47
 S = OPT
O = 50
T = 659.83
 S = N/A
O = 50
T = TO
 S = OPT
O = 50
T = 119.49
 S = OPT
O = 50
T = 105.24
 S = N/A
O = N/A
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = 39
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g1.wcnf S = OPT
O = 56
T = 57.05		 S = OPT
O = 56
T = 543.84
 S = OPT
O = 56
T = 523.62
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 56
T = 312.18
 S = OPT
O = 56
T = 536.02
 S = N/A
O = 79
T = TO
 S = OPT
O = 56
T = 58.69
 S = OPT
O = 56
T = 57.05
 S = N/A
O = N/A
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g10.wcnf S = OPT
O = 55
T = 50.04		 S = OPT
O = 55
T = 288.94
 S = OPT
O = 55
T = 286.89
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 55
T = 350.84
 S = OPT
O = 55
T = 367.17
 S = N/A
O = 55
T = TO
 S = OPT
O = 55
T = 50.66
 S = OPT
O = 55
T = 50.04
 S = N/A
O = N/A
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g11.wcnf S = OPT
O = 57
T = 116.76		 S = OPT
O = 57
T = 1058.15
 S = OPT
O = 57
T = 1063.57
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 57
T = 629.68
 S = OPT
O = 57
T = 1216.44
 S = N/A
O = 58
T = TO
 S = OPT
O = 57
T = 120.58
 S = OPT
O = 57
T = 116.76
 S = N/A
O = N/A
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g12.wcnf S = OPT
O = 65
T = 819.19		 S = N/A
O = 65
T = TO
 S = N/A
O = 65
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 65
T = TO
 S = OPT
O = 65
T = 819.19
 S = OPT
O = 65
T = 891.49
 S = N/A
O = N/A
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g13.wcnf S = OPT
O = 60
T = 377.42		 S = OPT
O = 60
T = 1452.68
 S = OPT
O = 60
T = 1398.50
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 60
T = 1462.58
 S = N/A
O = N/A
T = TO
 S = N/A
O = 60
T = TO
 S = OPT
O = 60
T = 377.42
 S = OPT
O = 60
T = 383.14
 S = N/A
O = N/A
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g14.wcnf S = OPT
O = 59
T = 221.71		 S = N/A
O = 59
T = TO
 S = N/A
O = 59
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 59
T = 1488.26
 S = N/A
O = N/A
T = TO
 S = N/A
O = 66
T = TO
 S = OPT
O = 59
T = 222.84
 S = OPT
O = 59
T = 221.71
 S = N/A
O = N/A
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g15.wcnf S = OPT
O = 59
T = 84.92		 S = OPT
O = 59
T = 1152.26
 S = OPT
O = 59
T = 1174.15
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 59
T = 570.63
 S = OPT
O = 59
T = 1165.86
 S = N/A
O = 59
T = TO
 S = OPT
O = 59
T = 84.92
 S = OPT
O = 59
T = 85.71
 S = N/A
O = N/A
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g16.wcnf S = OPT
O = 61
T = 264.85		 S = N/A
O = 61
T = TO
 S = N/A
O = 61
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 61
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 62
T = TO
 S = OPT
O = 61
T = 289.38
 S = OPT
O = 61
T = 264.85
 S = N/A
O = N/A
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g17.wcnf S = OPT
O = 66
T = 1444.32		 S = N/A
O = 66
T = TO
 S = N/A
O = 66
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 71
T = TO
 S = OPT
O = 66
T = 1684.87
 S = OPT
O = 66
T = 1444.32
 S = N/A
O = N/A
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = 46
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g18.wcnf S = OPT
O = 58
T = 147.73		 S = OPT
O = 58
T = 938.01
 S = OPT
O = 58
T = 913.30
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 58
T = 713.89
 S = OPT
O = 58
T = 1166.06
 S = N/A
O = 59
T = TO
 S = OPT
O = 58
T = 147.82
 S = OPT
O = 58
T = 147.73
 S = N/A
O = N/A
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g19.wcnf S = OPT
O = 55
T = 220.24		 S = OPT
O = 55
T = 1097.24
 S = OPT
O = 55
T = 1574.56
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 55
T = 1364.36
 S = OPT
O = 55
T = 1509.96
 S = N/A
O = 56
T = TO
 S = OPT
O = 55
T = 220.24
 S = OPT
O = 55
T = 224.65
 S = N/A
O = N/A
T = TO
 S = N/A
O = 41
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g2.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 65
T = TO
 S = N/A
O = 66
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 65
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g20.wcnf S = OPT
O = 56
T = 121.72		 S = OPT
O = 56
T = 592.15
 S = OPT
O = 56
T = 836.88
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 56
T = 477.38
 S = OPT
O = 56
T = 836.33
 S = N/A
O = 58
T = TO
 S = OPT
O = 56
T = 124.36
 S = OPT
O = 56
T = 121.72
 S = N/A
O = N/A
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g21.wcnf S = OPT
O = 65
T = 420.65		 S = N/A
O = 65
T = TO
 S = N/A
O = 65
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 65
T = TO
 S = OPT
O = 65
T = 420.65
 S = OPT
O = 65
T = 427.78
 S = N/A
O = N/A
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g22.wcnf S = OPT
O = 64
T = 666.19		 S = OPT
O = 64
T = 1761.01
 S = N/A
O = 64
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 64
T = 876.10
 S = N/A
O = N/A
T = TO
 S = N/A
O = 64
T = TO
 S = OPT
O = 64
T = 711.87
 S = OPT
O = 64
T = 666.19
 S = N/A
O = N/A
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = 49
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g23.wcnf S = OPT
O = 56
T = 119.13		 S = OPT
O = 56
T = 975.77
 S = OPT
O = 56
T = 966.28
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 56
T = 749.16
 S = OPT
O = 56
T = 973.99
 S = N/A
O = 57
T = TO
 S = OPT
O = 56
T = 119.13
 S = OPT
O = 56
T = 121.17
 S = N/A
O = N/A
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g24.wcnf S = OPT
O = 51
T = 22.06		 S = OPT
O = 51
T = 142.97
 S = OPT
O = 51
T = 143.81
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 51
T = 107.91
 S = OPT
O = 51
T = 191.70
 S = N/A
O = 51
T = TO
 S = OPT
O = 51
T = 22.16
 S = OPT
O = 51
T = 22.06
 S = N/A
O = N/A
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g25.wcnf S = OPT
O = 55
T = 109.68		 S = OPT
O = 55
T = 771.25
 S = OPT
O = 55
T = 851.89
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 55
T = 849.63
 S = OPT
O = 55
T = 1042.23
 S = N/A
O = 56
T = TO
 S = OPT
O = 55
T = 113.77
 S = OPT
O = 55
T = 109.68
 S = N/A
O = N/A
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g26.wcnf S = OPT
O = 59
T = 419.47		 S = N/A
O = 59
T = TO
 S = N/A
O = 59
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 75
T = TO
 S = OPT
O = 59
T = 420.42
 S = OPT
O = 59
T = 419.47
 S = N/A
O = N/A
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g27.wcnf S = OPT
O = 59
T = 204.46		 S = OPT
O = 59
T = 1337.29
 S = OPT
O = 59
T = 1338.09
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 59
T = 1427.01
 S = N/A
O = N/A
T = TO
 S = N/A
O = 59
T = TO
 S = OPT
O = 59
T = 215.42
 S = OPT
O = 59
T = 204.46
 S = N/A
O = N/A
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g28.wcnf S = OPT
O = 57
T = 63.93		 S = OPT
O = 57
T = 654.14
 S = OPT
O = 57
T = 662.17
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 57
T = 348.52
 S = OPT
O = 57
T = 665.05
 S = N/A
O = 58
T = TO
 S = OPT
O = 57
T = 64.13
 S = OPT
O = 57
T = 63.93
 S = N/A
O = N/A
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g29.wcnf S = OPT
O = 63
T = 245.39		 S = N/A
O = 63
T = TO
 S = N/A
O = 63
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 63
T = 1669.51
 S = OPT
O = 63
T = 1765.54
 S = N/A
O = 80
T = TO
 S = OPT
O = 63
T = 265.38
 S = OPT
O = 63
T = 245.39
 S = N/A
O = N/A
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g3.wcnf S = OPT
O = 63
T = 569.25		 S = N/A
O = 63
T = TO
 S = N/A
O = 63
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 83
T = TO
 S = OPT
O = 63
T = 591.91
 S = OPT
O = 63
T = 569.25
 S = N/A
O = N/A
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = 43
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g30.wcnf S = OPT
O = 59
T = 142.96		 S = OPT
O = 59
T = 1313.24
 S = OPT
O = 59
T = 1286.99
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 59
T = 1429.20
 S = N/A
O = N/A
T = TO
 S = N/A
O = 60
T = TO
 S = OPT
O = 59
T = 142.96
 S = OPT
O = 59
T = 143.64
 S = N/A
O = N/A
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g4.wcnf S = OPT
O = 61
T = 178.39		 S = OPT
O = 61
T = 776.54
 S = OPT
O = 61
T = 779.82
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 61
T = 572.68
 S = OPT
O = 61
T = 1277.96
 S = N/A
O = 87
T = TO
 S = OPT
O = 61
T = 178.39
 S = OPT
O = 61
T = 185.18
 S = N/A
O = N/A
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g5.wcnf S = OPT
O = 62
T = 268.08		 S = N/A
O = 62
T = TO
 S = N/A
O = 62
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 62
T = 1603.82
 S = N/A
O = N/A
T = TO
 S = N/A
O = 64
T = TO
 S = OPT
O = 62
T = 283.50
 S = OPT
O = 62
T = 268.08
 S = N/A
O = N/A
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g6.wcnf S = OPT
O = 59
T = 90.54		 S = OPT
O = 59
T = 965.98
 S = OPT
O = 59
T = 983.78
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 59
T = 643.18
 S = OPT
O = 59
T = 1015.13
 S = N/A
O = 59
T = TO
 S = OPT
O = 59
T = 96.75
 S = OPT
O = 59
T = 90.54
 S = N/A
O = N/A
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = 45
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g7.wcnf S = OPT
O = 64
T = 951.09		 S = N/A
O = 64
T = TO
 S = N/A
O = 64
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 65
T = TO
 S = OPT
O = 64
T = 973.20
 S = OPT
O = 64
T = 951.09
 S = N/A
O = N/A
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = 44
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g8.wcnf S = OPT
O = 65
T = 532.16		 S = N/A
O = 65
T = TO
 S = N/A
O = 65
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 65
T = 1785.61
 S = N/A
O = N/A
T = TO
 S = N/A
O = 66
T = TO
 S = OPT
O = 65
T = 544.50
 S = OPT
O = 65
T = 532.16
 S = N/A
O = N/A
T = TO
 S = N/A
O = 48
T = TO
 S = N/A
O = 49
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
clq1-c2mv80c400l3g9.wcnf S = OPT
O = 59
T = 175.91		 S = OPT
O = 59
T = 964.08
 S = OPT
O = 59
T = 956.46
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 59
T = 888.36
 S = OPT
O = 59
T = 1341.87
 S = N/A
O = 61
T = TO
 S = OPT
O = 59
T = 175.91
 S = OPT
O = 59
T = 178.66
 S = N/A
O = N/A
T = TO
 S = N/A
O = 47
T = TO
 S = N/A
O = 42
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4000_H150_0.wcnf S = OPT
O = 802
T = 0.30		 S = OPT
O = 802
T = 8.71
 S = OPT
O = 802
T = 3.19
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 935
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 802
T = 1.27
 S = OPT
O = 802
T = 1.00
 S = N/A
O = 828
T = TO
 S = OPT
O = 802
T = 0.30
 S = OPT
O = 802
T = 0.30
 S = N/A
O = N/A
T = TO
 S = N/A
O = 639
T = TO
 S = N/A
O = 649
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4000_H150_1.wcnf S = UNSAT
O = N/A
T = 0.00		 S = UNSAT
O = N/A
T = 6.25
 S = UNSAT
O = N/A
T = 1.29
 S = N/A
O = N/A
T = 0.06
 S = UNSAT
O = N/A
T = 0.06
 S = UNSAT
O = N/A
T = 0.01
 S = UNSAT
O = N/A
T = 0.00
 S = UNSAT
O = N/A
T = 0.01
 S = UNSAT
O = N/A
T = 0.00
 S = UNSAT
O = N/A
T = 0.00
 S = UNSAT
O = N/A
T = 0.02
 S = UNSAT
O = N/A
T = 0.02
 S = N/A
O = 4000
T = 0.00
 S = UNSAT
O = N/A
T = 0.03
 S = UNSAT
O = N/A
T = 0.04
 S = UNSAT
O = N/A
T = 0.18
 S = UNSAT
O = N/A
T = 0.00
 S = UNSAT
O = N/A
T = 0.00
 S = UNSAT
O = N/A
T = 0.01
 S = UNSAT
O = N/A
T = 0.00
file_rpms_wcnf_L2_V150_C4000_H150_2.wcnf S = OPT
O = 805
T = 0.39		 S = OPT
O = 805
T = 8.81
 S = OPT
O = 805
T = 3.54
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 933
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 805
T = 0.92
 S = OPT
O = 805
T = 0.88
 S = N/A
O = 835
T = TO
 S = OPT
O = 805
T = 0.39
 S = OPT
O = 805
T = 0.40
 S = N/A
O = N/A
T = TO
 S = N/A
O = 654
T = TO
 S = N/A
O = 662
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4000_H150_3.wcnf S = OPT
O = 752
T = 0.50		 S = OPT
O = 752
T = 8.58
 S = OPT
O = 752
T = 2.73
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 752
T = 3.01
 S = OPT
O = 752
T = 2.89
 S = N/A
O = 808
T = TO
 S = OPT
O = 752
T = 1.02
 S = OPT
O = 752
T = 0.50
 S = N/A
O = N/A
T = TO
 S = N/A
O = 515
T = TO
 S = N/A
O = 525
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4000_H150_4.wcnf S = OPT
O = 750
T = 1.08		 S = OPT
O = 750
T = 10.72
 S = OPT
O = 750
T = 4.95
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 750
T = 3.01
 S = OPT
O = 750
T = 3.48
 S = N/A
O = 825
T = TO
 S = OPT
O = 750
T = 1.85
 S = OPT
O = 750
T = 1.08
 S = N/A
O = N/A
T = TO
 S = N/A
O = 514
T = TO
 S = N/A
O = 525
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4000_H150_5.wcnf S = OPT
O = 756
T = 4.28		 S = OPT
O = 756
T = 15.19
 S = OPT
O = 756
T = 8.89
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 756
T = 11.58
 S = OPT
O = 756
T = 11.31
 S = N/A
O = 811
T = TO
 S = OPT
O = 756
T = 4.37
 S = OPT
O = 756
T = 4.28
 S = N/A
O = N/A
T = TO
 S = N/A
O = 511
T = TO
 S = N/A
O = 519
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4000_H150_6.wcnf S = OPT
O = 782
T = 4.89		 S = OPT
O = 782
T = 23.81
 S = OPT
O = 782
T = 18.73
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 782
T = 18.16
 S = OPT
O = 782
T = 18.01
 S = N/A
O = 843
T = TO
 S = OPT
O = 782
T = 6.45
 S = OPT
O = 782
T = 4.89
 S = N/A
O = N/A
T = TO
 S = N/A
O = 500
T = TO
 S = N/A
O = 525
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4000_H150_7.wcnf S = OPT
O = 755
T = 2.21		 S = OPT
O = 755
T = 10.84
 S = OPT
O = 755
T = 5.08
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 755
T = 10.74
 S = OPT
O = 755
T = 10.35
 S = N/A
O = 808
T = TO
 S = OPT
O = 755
T = 3.95
 S = OPT
O = 755
T = 2.21
 S = N/A
O = N/A
T = TO
 S = N/A
O = 498
T = TO
 S = N/A
O = 516
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf S = OPT
O = 764
T = 15.56		 S = OPT
O = 764
T = 37.64
 S = OPT
O = 764
T = 32.41
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 764
T = 56.78
 S = OPT
O = 764
T = 54.31
 S = N/A
O = 819
T = TO
 S = OPT
O = 764
T = 15.56
 S = OPT
O = 764
T = 15.58
 S = N/A
O = N/A
T = TO
 S = N/A
O = 476
T = TO
 S = N/A
O = 490
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4000_H150_9.wcnf S = OPT
O = 792
T = 2.60		 S = OPT
O = 792
T = 17.34
 S = OPT
O = 792
T = 11.12
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 792
T = 7.89
 S = OPT
O = 792
T = 7.07
 S = N/A
O = 864
T = TO
 S = OPT
O = 792
T = 2.60
 S = OPT
O = 792
T = 2.66
 S = N/A
O = N/A
T = TO
 S = N/A
O = 553
T = TO
 S = N/A
O = 569
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4500_H150_0.wcnf S = OPT
O = 867
T = 3.41		 S = OPT
O = 867
T = 18.60
 S = OPT
O = 867
T = 12.89
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 867
T = 23.23
 S = OPT
O = 867
T = 21.87
 S = N/A
O = 933
T = TO
 S = OPT
O = 867
T = 7.37
 S = OPT
O = 867
T = 3.41
 S = N/A
O = N/A
T = TO
 S = N/A
O = 533
T = TO
 S = N/A
O = 557
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf S = OPT
O = 905
T = 6.94		 S = OPT
O = 905
T = 20.86
 S = OPT
O = 905
T = 13.90
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 905
T = 18.51
 S = OPT
O = 905
T = 18.41
 S = N/A
O = 1005
T = TO
 S = OPT
O = 905
T = 7.34
 S = OPT
O = 905
T = 6.94
 S = N/A
O = N/A
T = TO
 S = N/A
O = 571
T = TO
 S = N/A
O = 599
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf S = OPT
O = 912
T = 1.28		 S = OPT
O = 912
T = 15.75
 S = OPT
O = 912
T = 8.36
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1070
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 912
T = 8.01
 S = OPT
O = 912
T = 7.77
 S = N/A
O = 971
T = TO
 S = OPT
O = 912
T = 1.99
 S = OPT
O = 912
T = 1.28
 S = N/A
O = N/A
T = TO
 S = N/A
O = 617
T = TO
 S = N/A
O = 651
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf S = OPT
O = 878
T = 0.68		 S = OPT
O = 878
T = 11.82
 S = OPT
O = 878
T = 4.59
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 878
T = 2.19
 S = OPT
O = 878
T = 1.95
 S = N/A
O = 900
T = TO
 S = OPT
O = 878
T = 0.78
 S = OPT
O = 878
T = 0.68
 S = N/A
O = N/A
T = TO
 S = N/A
O = 604
T = TO
 S = N/A
O = 635
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf S = OPT
O = 890
T = 5.02		 S = OPT
O = 890
T = 29.18
 S = OPT
O = 890
T = 22.80
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 890
T = 14.25
 S = OPT
O = 890
T = 14.03
 S = N/A
O = 957
T = TO
 S = OPT
O = 890
T = 5.50
 S = OPT
O = 890
T = 5.02
 S = N/A
O = N/A
T = TO
 S = N/A
O = 560
T = TO
 S = N/A
O = 577
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf S = OPT
O = 881
T = 3.34		 S = OPT
O = 881
T = 17.74
 S = OPT
O = 881
T = 10.78
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 881
T = 10.99
 S = OPT
O = 881
T = 11.08
 S = N/A
O = 957
T = TO
 S = OPT
O = 881
T = 3.46
 S = OPT
O = 881
T = 3.34
 S = N/A
O = N/A
T = TO
 S = N/A
O = 550
T = TO
 S = N/A
O = 595
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4500_H150_6.wcnf S = OPT
O = 856
T = 0.72		 S = OPT
O = 856
T = 10.32
 S = OPT
O = 856
T = 3.69
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 856
T = 12.56
 S = OPT
O = 856
T = 12.75
 S = N/A
O = 928
T = TO
 S = OPT
O = 856
T = 4.73
 S = OPT
O = 856
T = 0.72
 S = N/A
O = N/A
T = TO
 S = N/A
O = 577
T = TO
 S = N/A
O = 596
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf S = OPT
O = 875
T = 3.84		 S = OPT
O = 875
T = 25.14
 S = OPT
O = 875
T = 17.46
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 875
T = 19.37
 S = OPT
O = 875
T = 18.31
 S = N/A
O = 929
T = TO
 S = OPT
O = 875
T = 6.36
 S = OPT
O = 875
T = 3.84
 S = N/A
O = N/A
T = TO
 S = N/A
O = 563
T = TO
 S = N/A
O = 594
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf S = OPT
O = 908
T = 0.86		 S = OPT
O = 908
T = 13.45
 S = OPT
O = 908
T = 6.24
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1049
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 908
T = 2.69
 S = OPT
O = 908
T = 2.97
 S = N/A
O = 947
T = TO
 S = OPT
O = 908
T = 0.86
 S = OPT
O = 908
T = 0.90
 S = N/A
O = N/A
T = TO
 S = N/A
O = 639
T = TO
 S = N/A
O = 656
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C4500_H150_9.wcnf S = OPT
O = 898
T = 1.34		 S = OPT
O = 898
T = 12.23
 S = OPT
O = 898
T = 5.07
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1134
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 898
T = 5.47
 S = OPT
O = 898
T = 4.65
 S = N/A
O = 941
T = TO
 S = OPT
O = 898
T = 1.45
 S = OPT
O = 898
T = 1.34
 S = N/A
O = N/A
T = TO
 S = N/A
O = 666
T = TO
 S = N/A
O = 681
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C5000_H150_0.wcnf S = OPT
O = 1018
T = 2.13		 S = OPT
O = 1018
T = 11.23
 S = OPT
O = 1018
T = 3.96
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1159
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1018
T = 9.99
 S = OPT
O = 1018
T = 11.96
 S = N/A
O = 1077
T = TO
 S = OPT
O = 1018
T = 2.15
 S = OPT
O = 1018
T = 2.13
 S = N/A
O = N/A
T = TO
 S = N/A
O = 746
T = TO
 S = N/A
O = 759
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C5000_H150_1.wcnf S = OPT
O = 1015
T = 1.16		 S = OPT
O = 1015
T = 13.13
 S = OPT
O = 1015
T = 5.01
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1158
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1015
T = 16.07
 S = OPT
O = 1015
T = 16.84
 S = N/A
O = 1074
T = TO
 S = OPT
O = 1015
T = 4.20
 S = OPT
O = 1015
T = 1.16
 S = N/A
O = N/A
T = TO
 S = N/A
O = 691
T = TO
 S = N/A
O = 715
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C5000_H150_2.wcnf S = OPT
O = 979
T = 1.50		 S = OPT
O = 979
T = 16.86
 S = OPT
O = 979
T = 7.78
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1119
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 979
T = 10.69
 S = OPT
O = 979
T = 9.94
 S = N/A
O = 1046
T = TO
 S = OPT
O = 979
T = 5.28
 S = OPT
O = 979
T = 1.50
 S = N/A
O = N/A
T = TO
 S = N/A
O = 643
T = TO
 S = N/A
O = 656
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf S = OPT
O = 1032
T = 2.97		 S = OPT
O = 1032
T = 24.47
 S = OPT
O = 1032
T = 15.54
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1190
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1032
T = 8.52
 S = OPT
O = 1032
T = 8.57
 S = N/A
O = 1085
T = TO
 S = OPT
O = 1032
T = 3.12
 S = OPT
O = 1032
T = 2.97
 S = N/A
O = N/A
T = TO
 S = N/A
O = 741
T = TO
 S = N/A
O = 741
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C5000_H150_4.wcnf S = OPT
O = 1018
T = 7.70		 S = OPT
O = 1018
T = 30.07
 S = OPT
O = 1018
T = 22.36
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1018
T = 78.78
 S = OPT
O = 1018
T = 81.16
 S = N/A
O = 1097
T = TO
 S = OPT
O = 1018
T = 22.77
 S = OPT
O = 1018
T = 7.70
 S = N/A
O = N/A
T = TO
 S = N/A
O = 593
T = TO
 S = N/A
O = 646
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C5000_H150_5.wcnf S = OPT
O = 991
T = 1.55		 S = OPT
O = 991
T = 14.05
 S = OPT
O = 991
T = 6.76
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1175
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 991
T = 9.03
 S = OPT
O = 991
T = 7.70
 S = N/A
O = 1053
T = TO
 S = OPT
O = 991
T = 2.23
 S = OPT
O = 991
T = 1.55
 S = N/A
O = N/A
T = TO
 S = N/A
O = 706
T = TO
 S = N/A
O = 716
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C5000_H150_6.wcnf S = OPT
O = 1005
T = 1.31		 S = OPT
O = 1005
T = 15.66
 S = OPT
O = 1005
T = 7.69
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1127
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1005
T = 5.80
 S = OPT
O = 1005
T = 5.84
 S = N/A
O = 1080
T = TO
 S = OPT
O = 1005
T = 1.78
 S = OPT
O = 1005
T = 1.31
 S = N/A
O = N/A
T = TO
 S = N/A
O = 676
T = TO
 S = N/A
O = 716
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C5000_H150_7.wcnf S = OPT
O = 991
T = 2.19		 S = OPT
O = 991
T = 19.77
 S = OPT
O = 991
T = 11.33
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1186
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 991
T = 21.44
 S = OPT
O = 991
T = 20.76
 S = N/A
O = 1044
T = TO
 S = OPT
O = 991
T = 7.00
 S = OPT
O = 991
T = 2.19
 S = N/A
O = N/A
T = TO
 S = N/A
O = 642
T = TO
 S = N/A
O = 670
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C5000_H150_8.wcnf S = OPT
O = 999
T = 0.63		 S = OPT
O = 999
T = 12.06
 S = OPT
O = 999
T = 4.43
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1177
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 999
T = 1.41
 S = OPT
O = 999
T = 1.38
 S = N/A
O = 1060
T = TO
 S = OPT
O = 999
T = 0.86
 S = OPT
O = 999
T = 0.63
 S = N/A
O = N/A
T = TO
 S = N/A
O = 731
T = TO
 S = N/A
O = 755
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C5000_H150_9.wcnf S = OPT
O = 993
T = 0.58		 S = OPT
O = 993
T = 12.16
 S = OPT
O = 993
T = 4.62
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1192
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 993
T = 2.73
 S = OPT
O = 993
T = 2.55
 S = N/A
O = 1073
T = TO
 S = OPT
O = 993
T = 0.90
 S = OPT
O = 993
T = 0.58
 S = N/A
O = N/A
T = TO
 S = N/A
O = 702
T = TO
 S = N/A
O = 713
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf S = OPT
O = 464
T = 0.28		 S = OPT
O = 464
T = 5.13
 S = OPT
O = 464
T = 1.47
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 464
T = 0.38
 S = OPT
O = 464
T = 0.37
 S = N/A
O = 491
T = TO
 S = OPT
O = 464
T = 0.30
 S = OPT
O = 464
T = 0.28
 S = OPT
O = 464
T = 407.19
 S = N/A
O = 379
T = TO
 S = N/A
O = 390
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf S = OPT
O = 454
T = 0.52		 S = OPT
O = 454
T = 5.60
 S = OPT
O = 454
T = 1.89
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 454
T = 0.78
 S = OPT
O = 454
T = 0.81
 S = N/A
O = 490
T = TO
 S = OPT
O = 454
T = 0.55
 S = OPT
O = 454
T = 0.52
 S = OPT
O = 454
T = 1127.88
 S = N/A
O = 350
T = TO
 S = N/A
O = 345
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C2500_H150_2.wcnf S = OPT
O = 423
T = 0.58		 S = OPT
O = 423
T = 5.85
 S = OPT
O = 423
T = 2.33
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 423
T = 4.07
 S = OPT
O = 423
T = 3.58
 S = N/A
O = 469
T = TO
 S = OPT
O = 423
T = 1.06
 S = OPT
O = 423
T = 0.58
 S = N/A
O = N/A
T = TO
 S = N/A
O = 292
T = TO
 S = N/A
O = 305
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C2500_H150_3.wcnf S = OPT
O = 442
T = 0.87		 S = OPT
O = 442
T = 7.11
 S = OPT
O = 442
T = 3.45
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 442
T = 1.45
 S = OPT
O = 442
T = 1.42
 S = N/A
O = 490
T = TO
 S = OPT
O = 442
T = 0.88
 S = OPT
O = 442
T = 0.87
 S = N/A
O = N/A
T = TO
 S = N/A
O = 320
T = TO
 S = N/A
O = 315
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C2500_H150_4.wcnf S = OPT
O = 447
T = 0.18		 S = OPT
O = 447
T = 4.98
 S = OPT
O = 447
T = 1.35
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 447
T = 0.30
 S = OPT
O = 447
T = 0.30
 S = N/A
O = 472
T = TO
 S = OPT
O = 447
T = 0.23
 S = OPT
O = 447
T = 0.18
 S = OPT
O = 447
T = 1288.41
 S = N/A
O = 334
T = TO
 S = N/A
O = 341
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf S = OPT
O = 433
T = 0.21		 S = OPT
O = 433
T = 4.95
 S = OPT
O = 433
T = 1.33
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 433
T = 0.26
 S = OPT
O = 433
T = 0.23
 S = N/A
O = 465
T = TO
 S = OPT
O = 433
T = 0.21
 S = OPT
O = 433
T = 0.22
 S = OPT
O = 433
T = 402.50
 S = N/A
O = 350
T = TO
 S = N/A
O = 354
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf S = OPT
O = 461
T = 0.45		 S = OPT
O = 461
T = 8.65
 S = OPT
O = 461
T = 5.02
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 461
T = 1.15
 S = OPT
O = 461
T = 1.08
 S = N/A
O = 493
T = TO
 S = OPT
O = 461
T = 0.52
 S = OPT
O = 461
T = 0.45
 S = N/A
O = N/A
T = TO
 S = N/A
O = 337
T = TO
 S = N/A
O = 344
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C2500_H150_7.wcnf S = OPT
O = 434
T = 1.36		 S = OPT
O = 434
T = 6.00
 S = OPT
O = 434
T = 2.50
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 434
T = 3.40
 S = OPT
O = 434
T = 3.25
 S = N/A
O = 458
T = TO
 S = OPT
O = 434
T = 1.54
 S = OPT
O = 434
T = 1.36
 S = N/A
O = N/A
T = TO
 S = N/A
O = 323
T = TO
 S = N/A
O = 328
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C2500_H150_8.wcnf S = OPT
O = 456
T = 0.86		 S = OPT
O = 456
T = 7.69
 S = OPT
O = 456
T = 3.90
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 456
T = 2.02
 S = OPT
O = 456
T = 1.93
 S = N/A
O = 504
T = TO
 S = OPT
O = 456
T = 0.94
 S = OPT
O = 456
T = 0.86
 S = N/A
O = N/A
T = TO
 S = N/A
O = 328
T = TO
 S = N/A
O = 328
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C2500_H150_9.wcnf S = OPT
O = 470
T = 0.14		 S = OPT
O = 470
T = 4.89
 S = OPT
O = 470
T = 1.72
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 470
T = 0.28
 S = OPT
O = 470
T = 0.26
 S = N/A
O = 476
T = TO
 S = OPT
O = 470
T = 0.14
 S = OPT
O = 470
T = 0.17
 S = OPT
O = 470
T = 38.93
 S = N/A
O = 424
T = TO
 S = N/A
O = 429
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3000_H150_0.wcnf S = OPT
O = 539
T = 1.57		 S = OPT
O = 539
T = 11.85
 S = OPT
O = 539
T = 7.44
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 539
T = 4.31
 S = OPT
O = 539
T = 4.20
 S = N/A
O = 590
T = TO
 S = OPT
O = 539
T = 1.69
 S = OPT
O = 539
T = 1.57
 S = N/A
O = N/A
T = TO
 S = N/A
O = 358
T = TO
 S = N/A
O = 366
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3000_H150_1.wcnf S = OPT
O = 560
T = 4.13		 S = OPT
O = 560
T = 15.84
 S = OPT
O = 560
T = 11.29
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 560
T = 15.93
 S = OPT
O = 560
T = 14.96
 S = N/A
O = 621
T = TO
 S = OPT
O = 560
T = 4.32
 S = OPT
O = 560
T = 4.13
 S = N/A
O = N/A
T = TO
 S = N/A
O = 364
T = TO
 S = N/A
O = 373
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3000_H150_2.wcnf S = OPT
O = 531
T = 0.40		 S = OPT
O = 531
T = 5.92
 S = OPT
O = 531
T = 1.60
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 531
T = 4.69
 S = OPT
O = 531
T = 4.29
 S = N/A
O = 546
T = TO
 S = OPT
O = 531
T = 0.82
 S = OPT
O = 531
T = 0.40
 S = N/A
O = N/A
T = TO
 S = N/A
O = 372
T = TO
 S = N/A
O = 390
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3000_H150_3.wcnf S = OPT
O = 555
T = 2.47		 S = OPT
O = 555
T = 8.49
 S = OPT
O = 555
T = 3.78
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 555
T = 12.07
 S = OPT
O = 555
T = 10.78
 S = N/A
O = 596
T = TO
 S = OPT
O = 555
T = 3.98
 S = OPT
O = 555
T = 2.47
 S = N/A
O = N/A
T = TO
 S = N/A
O = 381
T = TO
 S = N/A
O = 381
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3000_H150_4.wcnf S = OPT
O = 556
T = 0.31		 S = OPT
O = 556
T = 6.24
 S = OPT
O = 556
T = 1.85
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 556
T = 0.66
 S = OPT
O = 556
T = 0.61
 S = N/A
O = 572
T = TO
 S = OPT
O = 556
T = 0.34
 S = OPT
O = 556
T = 0.31
 S = N/A
O = 556
T = TO
 S = N/A
O = 425
T = TO
 S = N/A
O = 438
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3000_H150_5.wcnf S = OPT
O = 538
T = 3.85		 S = OPT
O = 538
T = 14.37
 S = OPT
O = 538
T = 9.85
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 538
T = 16.45
 S = OPT
O = 538
T = 15.75
 S = N/A
O = 598
T = TO
 S = OPT
O = 538
T = 4.85
 S = OPT
O = 538
T = 3.85
 S = N/A
O = N/A
T = TO
 S = N/A
O = 342
T = TO
 S = N/A
O = 348
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3000_H150_6.wcnf S = OPT
O = 537
T = 4.04		 S = OPT
O = 537
T = 14.78
 S = OPT
O = 537
T = 10.22
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 537
T = 9.66
 S = OPT
O = 537
T = 8.68
 S = N/A
O = 579
T = TO
 S = OPT
O = 537
T = 4.66
 S = OPT
O = 537
T = 4.04
 S = N/A
O = N/A
T = TO
 S = N/A
O = 349
T = TO
 S = N/A
O = 358
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf S = OPT
O = 527
T = 0.61		 S = OPT
O = 527
T = 6.36
 S = OPT
O = 527
T = 2.02
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 527
T = 2.27
 S = OPT
O = 527
T = 2.35
 S = N/A
O = 558
T = TO
 S = OPT
O = 527
T = 1.28
 S = OPT
O = 527
T = 0.61
 S = N/A
O = N/A
T = TO
 S = N/A
O = 377
T = TO
 S = N/A
O = 385
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3000_H150_8.wcnf S = OPT
O = 564
T = 4.11		 S = OPT
O = 564
T = 18.47
 S = OPT
O = 564
T = 14.64
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 564
T = 22.03
 S = OPT
O = 564
T = 23.52
 S = N/A
O = 602
T = TO
 S = OPT
O = 564
T = 6.09
 S = OPT
O = 564
T = 4.11
 S = N/A
O = N/A
T = TO
 S = N/A
O = 382
T = TO
 S = N/A
O = 390
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3000_H150_9.wcnf S = OPT
O = 552
T = 0.80		 S = OPT
O = 552
T = 8.58
 S = OPT
O = 552
T = 3.97
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 552
T = 2.06
 S = OPT
O = 552
T = 2.03
 S = N/A
O = 563
T = TO
 S = OPT
O = 552
T = 0.80
 S = OPT
O = 552
T = 0.82
 S = N/A
O = N/A
T = TO
 S = N/A
O = 395
T = TO
 S = N/A
O = 406
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3500_H150_0.wcnf S = OPT
O = 680
T = 6.65		 S = OPT
O = 680
T = 19.49
 S = OPT
O = 680
T = 14.31
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 680
T = 17.66
 S = OPT
O = 680
T = 16.55
 S = N/A
O = 755
T = TO
 S = OPT
O = 680
T = 7.79
 S = OPT
O = 680
T = 6.65
 S = N/A
O = N/A
T = TO
 S = N/A
O = 441
T = TO
 S = N/A
O = 460
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3500_H150_1.wcnf S = OPT
O = 679
T = 1.25		 S = OPT
O = 679
T = 10.08
 S = OPT
O = 679
T = 4.47
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 679
T = 3.69
 S = OPT
O = 679
T = 3.79
 S = N/A
O = 705
T = TO
 S = OPT
O = 679
T = 1.30
 S = OPT
O = 679
T = 1.25
 S = N/A
O = N/A
T = TO
 S = N/A
O = 493
T = TO
 S = N/A
O = 501
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf S = OPT
O = 716
T = 0.79		 S = OPT
O = 716
T = 11.51
 S = OPT
O = 716
T = 8.59
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 716
T = 2.08
 S = OPT
O = 716
T = 1.98
 S = N/A
O = 762
T = TO
 S = OPT
O = 716
T = 0.88
 S = OPT
O = 716
T = 0.79
 S = N/A
O = N/A
T = TO
 S = N/A
O = 520
T = TO
 S = N/A
O = 545
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3500_H150_3.wcnf S = OPT
O = 669
T = 1.34		 S = OPT
O = 669
T = 10.52
 S = OPT
O = 669
T = 5.14
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 669
T = 3.67
 S = OPT
O = 669
T = 3.54
 S = N/A
O = 729
T = TO
 S = OPT
O = 669
T = 1.65
 S = OPT
O = 669
T = 1.34
 S = N/A
O = N/A
T = TO
 S = N/A
O = 462
T = TO
 S = N/A
O = 495
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf S = OPT
O = 627
T = 1.30		 S = OPT
O = 627
T = 10.59
 S = OPT
O = 627
T = 5.54
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 627
T = 2.53
 S = OPT
O = 627
T = 2.63
 S = N/A
O = 654
T = TO
 S = OPT
O = 627
T = 1.40
 S = OPT
O = 627
T = 1.30
 S = N/A
O = N/A
T = TO
 S = N/A
O = 417
T = TO
 S = N/A
O = 431
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3500_H150_5.wcnf S = OPT
O = 667
T = 5.38		 S = OPT
O = 667
T = 20.54
 S = OPT
O = 667
T = 14.69
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 667
T = 20.98
 S = OPT
O = 667
T = 22.75
 S = N/A
O = 732
T = TO
 S = OPT
O = 667
T = 6.54
 S = OPT
O = 667
T = 5.38
 S = N/A
O = N/A
T = TO
 S = N/A
O = 429
T = TO
 S = N/A
O = 432
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3500_H150_6.wcnf S = OPT
O = 688
T = 0.29		 S = OPT
O = 688
T = 6.09
 S = OPT
O = 688
T = 1.48
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 688
T = 1.13
 S = OPT
O = 688
T = 1.03
 S = N/A
O = 704
T = TO
 S = OPT
O = 688
T = 0.29
 S = OPT
O = 688
T = 0.32
 S = OPT
O = 688
T = 313.63
 S = N/A
O = 584
T = TO
 S = N/A
O = 598
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3500_H150_7.wcnf S = OPT
O = 675
T = 0.59		 S = OPT
O = 675
T = 10.18
 S = OPT
O = 675
T = 4.37
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 675
T = 0.89
 S = OPT
O = 675
T = 0.96
 S = N/A
O = 728
T = TO
 S = OPT
O = 675
T = 0.61
 S = OPT
O = 675
T = 0.59
 S = N/A
O = N/A
T = TO
 S = N/A
O = 485
T = TO
 S = N/A
O = 503
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3500_H150_8.wcnf S = OPT
O = 675
T = 0.83		 S = OPT
O = 675
T = 8.31
 S = OPT
O = 675
T = 3.26
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 675
T = 1.73
 S = OPT
O = 675
T = 1.64
 S = N/A
O = 722
T = TO
 S = OPT
O = 675
T = 0.85
 S = OPT
O = 675
T = 0.83
 S = N/A
O = N/A
T = TO
 S = N/A
O = 494
T = TO
 S = N/A
O = 498
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L2_V150_C3500_H150_9.wcnf S = OPT
O = 638
T = 1.49		 S = OPT
O = 638
T = 8.97
 S = OPT
O = 638
T = 3.56
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 638
T = 6.69
 S = OPT
O = 638
T = 6.49
 S = N/A
O = 712
T = TO
 S = OPT
O = 638
T = 2.20
 S = OPT
O = 638
T = 1.49
 S = N/A
O = N/A
T = TO
 S = N/A
O = 405
T = TO
 S = N/A
O = 420
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C600_H100_0.wcnf S = OPT
O = 8
T = 3.61		 S = OPT
O = 8
T = 4.98
 S = OPT
O = 8
T = 4.85
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 1797.14
 S = OPT
O = 8
T = 1577.21
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 3.86
 S = OPT
O = 8
T = 3.61
 S = N/A
O = 8
T = TO
 S = OPT
O = 8
T = 8.69
 S = OPT
O = 8
T = 7.60
 S = OPT
O = 8
T = 777.64
 S = N/A
O = 5
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C600_H100_1.wcnf S = OPT
O = 8
T = 3.62		 S = OPT
O = 8
T = 5.47
 S = OPT
O = 8
T = 5.36
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 10.78
 S = OPT
O = 8
T = 10.14
 S = N/A
O = 8
T = TO
 S = OPT
O = 8
T = 6.00
 S = OPT
O = 8
T = 3.62
 S = OPT
O = 8
T = 1100.04
 S = N/A
O = 5
T = TO
 S = N/A
O = 5
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C600_H100_2.wcnf S = OPT
O = 8
T = 2.07		 S = OPT
O = 8
T = 3.33
 S = OPT
O = 8
T = 3.16
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 1472.63
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 15.33
 S = OPT
O = 8
T = 14.42
 S = N/A
O = 8
T = TO
 S = OPT
O = 8
T = 8.18
 S = OPT
O = 8
T = 2.07
 S = OPT
O = 8
T = 1154.07
 S = N/A
O = 6
T = TO
 S = N/A
O = 5
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C600_H100_3.wcnf S = OPT
O = 9
T = 6.72		 S = OPT
O = 9
T = 7.09
 S = OPT
O = 9
T = 6.97
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 9
T = 12.32
 S = OPT
O = 9
T = 11.54
 S = N/A
O = 9
T = TO
 S = OPT
O = 9
T = 8.55
 S = OPT
O = 9
T = 6.72
 S = N/A
O = N/A
T = TO
 S = N/A
O = 5
T = TO
 S = N/A
O = 5
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C600_H100_4.wcnf S = OPT
O = 7
T = 1.72		 S = OPT
O = 7
T = 2.17
 S = OPT
O = 7
T = 2.01
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 7
T = 1047.06
 S = OPT
O = 7
T = 397.68
 S = N/A
O = N/A
T = TO
 S = OPT
O = 7
T = 1433.72
 S = OPT
O = 7
T = 405.63
 S = OPT
O = 7
T = 3.02
 S = OPT
O = 7
T = 2.86
 S = N/A
O = 8
T = TO
 S = OPT
O = 7
T = 1.80
 S = OPT
O = 7
T = 1.72
 S = OPT
O = 7
T = 812.60
 S = N/A
O = 6
T = TO
 S = N/A
O = 5
T = TO
 S = OPT
O = 7
T = 491.26
 S = OPT
O = 7
T = 1197.30
file_rpms_wcnf_L3_V100_C600_H100_5.wcnf S = OPT
O = 8
T = 3.03		 S = OPT
O = 8
T = 3.31
 S = OPT
O = 8
T = 3.03
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 3.59
 S = OPT
O = 8
T = 3.38
 S = N/A
O = 9
T = TO
 S = OPT
O = 8
T = 3.99
 S = OPT
O = 8
T = 3.12
 S = OPT
O = 8
T = 1554.72
 S = N/A
O = 6
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C600_H100_6.wcnf S = OPT
O = 7
T = 2.60		 S = OPT
O = 7
T = 3.17
 S = OPT
O = 7
T = 2.94
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 7
T = 1286.94
 S = OPT
O = 7
T = 1319.73
 S = N/A
O = N/A
T = TO
 S = OPT
O = 7
T = 1614.57
 S = OPT
O = 7
T = 452.02
 S = OPT
O = 7
T = 9.25
 S = OPT
O = 7
T = 8.66
 S = N/A
O = 10
T = TO
 S = OPT
O = 7
T = 5.58
 S = OPT
O = 7
T = 2.60
 S = OPT
O = 7
T = 864.39
 S = N/A
O = 5
T = TO
 S = N/A
O = 5
T = TO
 S = OPT
O = 7
T = 517.62
 S = OPT
O = 7
T = 1304.71
file_rpms_wcnf_L3_V100_C600_H100_7.wcnf S = OPT
O = 8
T = 6.17		 S = OPT
O = 8
T = 8.17
 S = OPT
O = 8
T = 8.11
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 9.88
 S = OPT
O = 8
T = 9.28
 S = N/A
O = 9
T = TO
 S = OPT
O = 8
T = 6.52
 S = OPT
O = 8
T = 6.17
 S = OPT
O = 8
T = 1757.03
 S = N/A
O = 5
T = TO
 S = N/A
O = 5
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C600_H100_8.wcnf S = OPT
O = 5
T = 1.37		 S = OPT
O = 5
T = 1.46
 S = OPT
O = 5
T = 1.37
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 5
T = 51.07
 S = OPT
O = 5
T = 116.68
 S = OPT
O = 5
T = 547.40
 S = OPT
O = 5
T = 265.16
 S = OPT
O = 5
T = 483.45
 S = OPT
O = 5
T = 5.41
 S = OPT
O = 5
T = 5.07
 S = OPT
O = 5
T = 228.49
 S = OPT
O = 5
T = 2.46
 S = OPT
O = 5
T = 1.77
 S = OPT
O = 5
T = 549.17
 S = OPT
O = 5
T = 693.87
 S = N/A
O = 4
T = TO
 S = OPT
O = 5
T = 236.10
 S = OPT
O = 5
T = 518.48
file_rpms_wcnf_L3_V100_C600_H100_9.wcnf S = OPT
O = 9
T = 4.15		 S = OPT
O = 9
T = 6.04
 S = OPT
O = 9
T = 5.77
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 9
T = 11.96
 S = OPT
O = 9
T = 11.23
 S = N/A
O = 10
T = TO
 S = OPT
O = 9
T = 4.19
 S = OPT
O = 9
T = 4.15
 S = OPT
O = 9
T = 1641.53
 S = N/A
O = 6
T = TO
 S = N/A
O = 5
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C700_H100_0.wcnf S = OPT
O = 18
T = 41.89		 S = OPT
O = 18
T = 71.96
 S = OPT
O = 18
T = 70.16
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 18
T = 59.03
 S = OPT
O = 18
T = 56.41
 S = N/A
O = 18
T = TO
 S = OPT
O = 18
T = 45.71
 S = OPT
O = 18
T = 41.89
 S = N/A
O = N/A
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C700_H100_1.wcnf S = OPT
O = 14
T = 25.95		 S = OPT
O = 14
T = 26.50
 S = OPT
O = 14
T = 25.95
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 14
T = 65.61
 S = OPT
O = 14
T = 62.99
 S = N/A
O = 19
T = TO
 S = OPT
O = 14
T = 71.56
 S = OPT
O = 14
T = 59.55
 S = N/A
O = N/A
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C700_H100_2.wcnf S = OPT
O = 15
T = 22.96		 S = OPT
O = 15
T = 31.71
 S = OPT
O = 15
T = 31.64
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 15
T = 30.79
 S = OPT
O = 15
T = 29.40
 S = N/A
O = 16
T = TO
 S = OPT
O = 15
T = 23.72
 S = OPT
O = 15
T = 22.96
 S = N/A
O = N/A
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C700_H100_3.wcnf S = OPT
O = 12
T = 18.97		 S = OPT
O = 12
T = 21.61
 S = OPT
O = 12
T = 21.50
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 12
T = 30.55
 S = OPT
O = 12
T = 29.06
 S = N/A
O = 13
T = TO
 S = OPT
O = 12
T = 19.39
 S = OPT
O = 12
T = 18.97
 S = N/A
O = N/A
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C700_H100_4.wcnf S = OPT
O = 11
T = 4.58		 S = OPT
O = 11
T = 5.26
 S = OPT
O = 11
T = 5.00
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 11
T = 39.84
 S = OPT
O = 11
T = 38.09
 S = N/A
O = 11
T = TO
 S = OPT
O = 11
T = 25.09
 S = OPT
O = 11
T = 4.58
 S = OPT
O = 11
T = 1476.53
 S = N/A
O = 7
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C700_H100_5.wcnf S = OPT
O = 14
T = 31.99		 S = OPT
O = 14
T = 33.98
 S = OPT
O = 14
T = 33.88
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 14
T = 97.55
 S = OPT
O = 14
T = 92.58
 S = N/A
O = 15
T = TO
 S = OPT
O = 14
T = 71.28
 S = OPT
O = 14
T = 31.99
 S = N/A
O = N/A
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C700_H100_6.wcnf S = OPT
O = 12
T = 18.62		 S = OPT
O = 12
T = 18.62
 S = OPT
O = 12
T = 18.74
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 12
T = 46.46
 S = OPT
O = 12
T = 44.47
 S = N/A
O = 15
T = TO
 S = OPT
O = 12
T = 28.41
 S = OPT
O = 12
T = 28.70
 S = N/A
O = N/A
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C700_H100_7.wcnf S = OPT
O = 17
T = 57.49		 S = OPT
O = 17
T = 90.53
 S = OPT
O = 17
T = 89.41
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 17
T = 92.59
 S = OPT
O = 17
T = 87.98
 S = N/A
O = 19
T = TO
 S = OPT
O = 17
T = 59.80
 S = OPT
O = 17
T = 57.49
 S = N/A
O = N/A
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C700_H100_8.wcnf S = OPT
O = 16
T = 91.87		 S = OPT
O = 16
T = 132.51
 S = OPT
O = 16
T = 133.24
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 16
T = 137.27
 S = OPT
O = 16
T = 130.24
 S = N/A
O = 16
T = TO
 S = OPT
O = 16
T = 95.42
 S = OPT
O = 16
T = 91.87
 S = N/A
O = N/A
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C700_H100_9.wcnf S = OPT
O = 12
T = 7.33		 S = OPT
O = 12
T = 7.66
 S = OPT
O = 12
T = 7.33
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 12
T = 25.01
 S = OPT
O = 12
T = 23.60
 S = N/A
O = 15
T = TO
 S = OPT
O = 12
T = 18.96
 S = OPT
O = 12
T = 16.20
 S = N/A
O = N/A
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = 6
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C800_H100_0.wcnf S = OPT
O = 21
T = 90.89		 S = OPT
O = 21
T = 104.96
 S = OPT
O = 21
T = 104.57
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 21
T = 121.71
 S = OPT
O = 21
T = 118.11
 S = N/A
O = 31
T = TO
 S = OPT
O = 21
T = 102.63
 S = OPT
O = 21
T = 90.89
 S = N/A
O = N/A
T = TO
 S = N/A
O = 9
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C800_H100_1.wcnf S = OPT
O = 21
T = 133.12		 S = OPT
O = 21
T = 134.85
 S = OPT
O = 21
T = 133.12
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 21
T = 212.27
 S = OPT
O = 21
T = 204.81
 S = N/A
O = 26
T = TO
 S = OPT
O = 21
T = 174.20
 S = OPT
O = 21
T = 156.22
 S = N/A
O = N/A
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C800_H100_2.wcnf S = OPT
O = 20
T = 125.55		 S = OPT
O = 20
T = 183.09
 S = OPT
O = 20
T = 186.69
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 20
T = 241.66
 S = OPT
O = 20
T = 232.78
 S = N/A
O = 22
T = TO
 S = OPT
O = 20
T = 128.18
 S = OPT
O = 20
T = 125.55
 S = N/A
O = N/A
T = TO
 S = N/A
O = 8
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C800_H100_3.wcnf S = OPT
O = 22
T = 55.31		 S = OPT
O = 22
T = 106.50
 S = OPT
O = 22
T = 106.96
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 22
T = 79.41
 S = OPT
O = 22
T = 76.11
 S = N/A
O = 29
T = TO
 S = OPT
O = 22
T = 55.94
 S = OPT
O = 22
T = 55.31
 S = N/A
O = N/A
T = TO
 S = N/A
O = 8
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C800_H100_4.wcnf S = OPT
O = 18
T = 53.17		 S = OPT
O = 18
T = 75.88
 S = OPT
O = 18
T = 73.62
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 18
T = 113.60
 S = OPT
O = 18
T = 109.05
 S = N/A
O = 28
T = TO
 S = OPT
O = 18
T = 63.58
 S = OPT
O = 18
T = 53.17
 S = N/A
O = N/A
T = TO
 S = N/A
O = 8
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C800_H100_5.wcnf S = OPT
O = 20
T = 62.29		 S = OPT
O = 20
T = 87.53
 S = OPT
O = 20
T = 86.47
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 20
T = 95.75
 S = OPT
O = 20
T = 92.25
 S = N/A
O = 27
T = TO
 S = OPT
O = 20
T = 71.89
 S = OPT
O = 20
T = 62.29
 S = N/A
O = N/A
T = TO
 S = N/A
O = 8
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C800_H100_6.wcnf S = OPT
O = 17
T = 35.52		 S = OPT
O = 17
T = 35.52
 S = OPT
O = 17
T = 35.56
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 17
T = 94.52
 S = OPT
O = 17
T = 89.90
 S = N/A
O = 24
T = TO
 S = OPT
O = 17
T = 67.45
 S = OPT
O = 17
T = 53.13
 S = N/A
O = N/A
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C800_H100_7.wcnf S = OPT
O = 23
T = 69.56		 S = OPT
O = 23
T = 99.66
 S = OPT
O = 23
T = 98.44
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 23
T = 156.10
 S = OPT
O = 23
T = 150.89
 S = N/A
O = 31
T = TO
 S = OPT
O = 23
T = 100.08
 S = OPT
O = 23
T = 69.56
 S = N/A
O = N/A
T = TO
 S = N/A
O = 8
T = TO
 S = N/A
O = 8
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C800_H100_8.wcnf S = OPT
O = 25
T = 368.18		 S = OPT
O = 25
T = 485.18
 S = OPT
O = 25
T = 489.28
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 25
T = 539.81
 S = OPT
O = 25
T = 517.85
 S = N/A
O = 38
T = TO
 S = OPT
O = 25
T = 390.90
 S = OPT
O = 25
T = 368.18
 S = N/A
O = N/A
T = TO
 S = N/A
O = 8
T = TO
 S = N/A
O = 8
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
file_rpms_wcnf_L3_V100_C800_H100_9.wcnf S = OPT
O = 20
T = 66.59		 S = OPT
O = 20
T = 84.25
 S = OPT
O = 20
T = 84.36
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 20
T = 149.18
 S = OPT
O = 20
T = 143.34
 S = N/A
O = 25
T = TO
 S = OPT
O = 20
T = 94.31
 S = OPT
O = 20
T = 66.59
 S = N/A
O = N/A
T = TO
 S = N/A
O = 7
T = TO
 S = N/A
O = 8
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO