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