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 CCEHC CCLS CnC-LS HS-Greedy Naps-1.02-ms Optiriss6-in Ramp SC2016 SsMonteCarlo Swcca-ms WPM3-2015-in dsat-wpm3-in-ms dsat-wpm3-s-in-ms
maxcut-140-630-0.7-1.cnf O = 160
T = 1.88
O = 160
T = 2.84
O = 160
T = 2.43
O = 160
T = 1.88
O = 160
T = 2.27
O = N/A
T = TO
O = 630
T = 0.73
O = 160
T = 2.45
O = 160
T = 2.19
O = 160
T = 3.75
O = 160
T = 2.51
O = 235
T = 0.23
O = 160
T = 6.56
O = 160
T = 16.09
maxcut-140-630-0.7-10.cnf O = 167
T = 2.31
O = 167
T = 2.36
O = 167
T = 2.47
O = 167
T = 2.39
O = 179
T = 2.29
O = N/A
T = TO
O = 630
T = 0.87
O = 167
T = 2.93
O = 167
T = 2.31
O = 167
T = 3.75
O = 167
T = 2.86
O = 245
T = 0.10
O = 167
T = 6.28
O = 167
T = 15.12
maxcut-140-630-0.7-11.cnf O = 170
T = 2.35
O = 170
T = 2.36
O = 170
T = 2.35
O = 170
T = 2.40
O = 179
T = 1.96
O = N/A
T = TO
O = 630
T = 0.48
O = 170
T = 3.17
O = 170
T = 2.86
O = 170
T = 3.52
O = 170
T = 2.64
O = 265
T = 0.18
O = 170
T = 6.68
O = 170
T = 15.30
maxcut-140-630-0.7-12.cnf O = 167
T = 2.05
O = 167
T = 2.82
O = 167
T = 2.79
O = 167
T = 2.23
O = 177
T = 2.36
O = N/A
T = TO
O = N/A
T = TO
O = 167
T = 2.06
O = 167
T = 2.05
O = 167
T = 3.59
O = 167
T = 2.29
O = 250
T = 0.11
O = 167
T = 6.83
O = 167
T = 15.50
maxcut-140-630-0.7-13.cnf O = 169
T = 1.85
O = 169
T = 2.62
O = 169
T = 2.70
O = 169
T = 1.85
O = 173
T = 3.03
O = N/A
T = TO
O = 630
T = 0.73
O = 169
T = 3.34
O = 169
T = 2.03
O = 169
T = 2.48
O = 169
T = 3.05
O = 235
T = 0.11
O = 169
T = 6.78
O = 169
T = 15.87
maxcut-140-630-0.7-14.cnf O = 166
T = 2.02
O = 166
T = 2.04
O = 166
T = 2.33
O = 166
T = 2.60
O = 170
T = 2.45
O = N/A
T = TO
O = 630
T = 0.70
O = 166
T = 2.02
O = 166
T = 2.04
O = 166
T = 2.33
O = 166
T = 2.09
O = 243
T = 0.23
O = 166
T = 6.33
O = 166
T = 22.41
maxcut-140-630-0.7-15.cnf O = 169
T = 2.39
O = 169
T = 2.59
O = 169
T = 2.66
O = 169
T = 2.62
O = 176
T = 2.04
O = N/A
T = TO
O = 630
T = 0.86
O = 169
T = 2.49
O = 169
T = 2.44
O = 169
T = 2.46
O = 169
T = 2.39
O = 255
T = 0.09
O = 169
T = 6.54
O = 169
T = 15.26
maxcut-140-630-0.7-16.cnf O = 167
T = 2.41
O = 167
T = 2.57
O = 167
T = 2.76
O = 167
T = 2.41
O = 168
T = 2.48
O = N/A
T = TO
O = 630
T = 0.75
O = 167
T = 5.89
O = 167
T = 2.58
O = 167
T = 3.25
O = 167
T = 3.05
O = 234
T = 0.13
O = 167
T = 6.34
O = 167
T = 15.46
maxcut-140-630-0.7-17.cnf O = 166
T = 2.03
O = 166
T = 3.26
O = 166
T = 3.15
O = 166
T = 2.03
O = 178
T = 2.33
O = N/A
T = TO
O = 630
T = 1.01
O = 166
T = 2.42
O = 166
T = 2.52
O = 166
T = 2.58
O = 166
T = 2.97
O = 253
T = 0.12
O = 166
T = 6.65
O = 166
T = 19.98
maxcut-140-630-0.7-18.cnf O = 166
T = 2.18
O = 166
T = 3.05
O = 166
T = 2.69
O = 166
T = 2.46
O = 168
T = 2.34
O = N/A
T = TO
O = 630
T = 0.80
O = 166
T = 3.09
O = 166
T = 2.18
O = 166
T = 2.73
O = 166
T = 2.34
O = 236
T = 0.15
O = 166
T = 7.04
O = 166
T = 15.67
maxcut-140-630-0.7-19.cnf O = 167
T = 2.03
O = 167
T = 3.73
O = 167
T = 2.55
O = 167
T = 2.81
O = 171
T = 3.27
O = N/A
T = TO
O = 630
T = 0.47
O = 167
T = 2.69
O = 167
T = 2.12
O = 167
T = 2.73
O = 167
T = 2.03
O = 250
T = 0.21
O = 167
T = 7.04
O = 167
T = 36.34
maxcut-140-630-0.7-2.cnf O = 160
T = 2.19
O = 160
T = 2.85
O = 160
T = 2.47
O = 160
T = 2.19
O = 174
T = 2.56
O = N/A
T = TO
O = 630
T = 0.77
O = 160
T = 2.63
O = 160
T = 2.36
O = 160
T = 2.84
O = 160
T = 2.49
O = 231
T = 0.23
O = 160
T = 6.42
O = 160
T = 15.88
maxcut-140-630-0.7-20.cnf O = 168
T = 1.52
O = 168
T = 3.73
O = 168
T = 1.52
O = 168
T = 2.54
O = 172
T = 2.59
O = N/A
T = TO
O = 630
T = 1.15
O = 168
T = 2.36
O = 168
T = 2.55
O = 168
T = 2.51
O = 168
T = 2.56
O = 239
T = 0.12
O = 168
T = 6.51
O = 168
T = 15.86
maxcut-140-630-0.7-21.cnf O = 165
T = 1.31
O = 165
T = 2.80
O = 165
T = 1.31
O = 165
T = 2.54
O = 165
T = 2.58
O = N/A
T = TO
O = 630
T = 0.87
O = 165
T = 3.53
O = 165
T = 2.45
O = 165
T = 3.17
O = 165
T = 3.07
O = 246
T = 0.22
O = 165
T = 6.53
O = 165
T = 15.82
maxcut-140-630-0.7-22.cnf O = 164
T = 2.28
O = 164
T = 2.93
O = 164
T = 2.95
O = 164
T = 2.56
O = 165
T = 1.88
O = N/A
T = TO
O = 630
T = 0.52
O = 164
T = 2.89
O = 164
T = 2.28
O = 164
T = 3.53
O = 164
T = 2.84
O = 252
T = 0.17
O = 164
T = 7.04
O = 164
T = 16.39
maxcut-140-630-0.7-23.cnf O = 165
T = 2.30
O = 165
T = 2.51
O = 165
T = 2.59
O = 165
T = 2.30
O = 180
T = 2.31
O = N/A
T = TO
O = 630
T = 0.73
O = 165
T = 3.37
O = 165
T = 2.53
O = 165
T = 2.51
O = 165
T = 2.83
O = 232
T = 0.16
O = 165
T = 6.90
O = 165
T = 15.79
maxcut-140-630-0.7-24.cnf O = 166
T = 1.88
O = 166
T = 3.13
O = 166
T = 2.42
O = 166
T = 2.97
O = 172
T = 2.24
O = N/A
T = TO
O = 630
T = 0.83
O = 166
T = 1.88
O = 166
T = 2.66
O = 166
T = 3.20
O = 166
T = 3.09
O = 258
T = 0.16
O = 166
T = 6.33
O = 166
T = 16.14
maxcut-140-630-0.7-25.cnf O = 167
T = 1.71
O = 167
T = 2.57
O = 167
T = 2.62
O = 167
T = 1.71
O = 175
T = 2.05
O = N/A
T = TO
O = 630
T = 0.96
O = 167
T = 4.47
O = 167
T = 1.89
O = 167
T = 2.99
O = 167
T = 2.17
O = 224
T = 0.21
O = 167
T = 6.34
O = 167
T = 35.85
maxcut-140-630-0.7-26.cnf O = 166
T = 2.27
O = 166
T = 3.60
O = 166
T = 2.65
O = 166
T = 2.33
O = 169
T = 2.36
O = N/A
T = TO
O = 630
T = 0.95
O = 166
T = 3.12
O = 166
T = 2.27
O = 166
T = 3.05
O = 166
T = 2.57
O = 234
T = 0.19
O = 166
T = 6.15
O = 166
T = 15.48
maxcut-140-630-0.7-27.cnf O = 165
T = 2.01
O = 165
T = 3.23
O = 165
T = 2.01
O = 165
T = 2.58
O = 170
T = 3.18
O = N/A
T = TO
O = 630
T = 0.53
O = 165
T = 2.87
O = 165
T = 2.49
O = 165
T = 2.37
O = 165
T = 2.38
O = 253
T = 0.16
O = 165
T = 6.92
O = 165
T = 15.19
maxcut-140-630-0.7-28.cnf O = 167
T = 1.98
O = 167
T = 3.53
O = 167
T = 2.66
O = 167
T = 2.40
O = 175
T = 2.08
O = N/A
T = TO
O = 630
T = 0.73
O = 167
T = 2.07
O = 167
T = 1.98
O = 167
T = 3.16
O = 167
T = 2.74
O = 253
T = 0.11
O = 167
T = 6.53
O = 167
T = 15.39
maxcut-140-630-0.7-29.cnf O = 166
T = 2.13
O = 166
T = 2.95
O = 166
T = 2.74
O = 166
T = 2.29
O = 168
T = 2.89
O = N/A
T = TO
O = 630
T = 0.80
O = 166
T = 2.90
O = 166
T = 2.13
O = 166
T = 3.01
O = 166
T = 2.84
O = 234
T = 0.25
O = 166
T = 7.11
O = 166
T = 19.69
maxcut-140-630-0.7-3.cnf O = 168
T = 1.98
O = 168
T = 3.86
O = 168
T = 2.61
O = 168
T = 2.30
O = 168
T = 2.46
O = N/A
T = TO
O = 630
T = 0.82
O = 168
T = 1.98
O = 168
T = 2.13
O = 168
T = 3.32
O = 168
T = 3.08
O = 266
T = 0.20
O = 168
T = 6.84
O = 168
T = 15.40
maxcut-140-630-0.7-30.cnf O = 167
T = 1.80
O = 167
T = 3.23
O = 167
T = 1.80
O = 167
T = 2.08
O = 167
T = 2.33
O = N/A
T = TO
O = 630
T = 0.64
O = 167
T = 2.40
O = 167
T = 2.31
O = 167
T = 2.87
O = 167
T = 3.00
O = 247
T = 0.25
O = 167
T = 6.62
O = 167
T = 15.34
maxcut-140-630-0.7-31.cnf O = 170
T = 1.73
O = 170
T = 2.82
O = 170
T = 2.49
O = 170
T = 1.73
O = 173
T = 2.71
O = N/A
T = TO
O = 630
T = 0.93
O = 170
T = 2.31
O = 170
T = 2.18
O = 170
T = 3.35
O = 170
T = 1.79
O = 263
T = 0.23
O = 170
T = 6.88
O = 170
T = 19.54
maxcut-140-630-0.7-32.cnf O = 164
T = 2.02
O = 164
T = 3.25
O = 164
T = 2.81
O = 164
T = 2.54
O = 179
T = 2.30
O = N/A
T = TO
O = 630
T = 0.95
O = 164
T = 2.69
O = 164
T = 2.02
O = 164
T = 2.48
O = 164
T = 3.05
O = 228
T = 0.18
O = 164
T = 6.96
O = 164
T = 15.95
maxcut-140-630-0.7-33.cnf O = 165
T = 1.69
O = 165
T = 4.02
O = 165
T = 2.86
O = 165
T = 2.57
O = 176
T = 2.18
O = N/A
T = TO
O = 630
T = 0.76
O = 165
T = 2.55
O = 165
T = 1.69
O = 165
T = 3.01
O = 165
T = 3.43
O = 253
T = 0.10
O = 165
T = 7.34
O = 165
T = 15.96
maxcut-140-630-0.7-34.cnf O = 168
T = 1.35
O = 168
T = 3.05
O = 168
T = 2.40
O = 168
T = 2.07
O = 175
T = 2.46
O = N/A
T = TO
O = 630
T = 0.94
O = 168
T = 2.63
O = 168
T = 2.51
O = 168
T = 3.31
O = 168
T = 1.35
O = 262
T = 0.07
O = 168
T = 7.04
O = 168
T = 16.15
maxcut-140-630-0.7-35.cnf O = 164
T = 2.28
O = 164
T = 3.46
O = 164
T = 2.58
O = 164
T = 2.28
O = 173
T = 2.72
O = N/A
T = TO
O = 630
T = 0.80
O = 164
T = 2.47
O = 164
T = 2.46
O = 164
T = 2.68
O = 164
T = 2.54
O = 229
T = 0.11
O = 164
T = 6.56
O = 164
T = 15.31
maxcut-140-630-0.7-36.cnf O = 167
T = 1.85
O = 167
T = 3.33
O = 167
T = 2.00
O = 167
T = 2.22
O = 180
T = 2.40
O = N/A
T = TO
O = 630
T = 0.73
O = 167
T = 2.83
O = 167
T = 2.31
O = 167
T = 2.70
O = 167
T = 1.85
O = 233
T = 0.24
O = 167
T = 6.62
O = 167
T = 15.20
maxcut-140-630-0.7-37.cnf O = 170
T = 1.64
O = 170
T = 3.08
O = 170
T = 2.83
O = 170
T = 2.46
O = 175
T = 2.68
O = N/A
T = TO
O = 630
T = 0.78
O = 170
T = 2.13
O = 170
T = 1.64
O = 170
T = 2.98
O = 170
T = 1.97
O = 246
T = 0.23
O = 170
T = 7.05
O = 170
T = 15.33
maxcut-140-630-0.7-38.cnf O = 167
T = 2.04
O = 167
T = 2.49
O = 167
T = 2.31
O = 167
T = 2.83
O = 167
T = 2.57
O = N/A
T = TO
O = 630
T = 0.44
O = 167
T = 2.77
O = 167
T = 2.12
O = 167
T = 2.89
O = 167
T = 2.04
O = 255
T = 0.13
O = 167
T = 6.52
O = 167
T = 15.31
maxcut-140-630-0.7-39.cnf O = 163
T = 2.07
O = 163
T = 3.40
O = 163
T = 2.07
O = 163
T = 2.52
O = 170
T = 2.29
O = N/A
T = TO
O = 630
T = 0.83
O = 163
T = 3.29
O = 163
T = 2.07
O = 163
T = 3.24
O = 163
T = 2.99
O = 261
T = 0.21
O = 163
T = 6.96
O = 163
T = 15.52
maxcut-140-630-0.7-4.cnf O = 167
T = 2.00
O = 167
T = 2.06
O = 167
T = 2.13
O = 167
T = 2.09
O = 169
T = 2.24
O = N/A
T = TO
O = 630
T = 0.79
O = 167
T = 2.56
O = 167
T = 2.00
O = 167
T = 2.40
O = 167
T = 2.40
O = 257
T = 0.17
O = 167
T = 6.36
O = 167
T = 15.65
maxcut-140-630-0.7-40.cnf O = 167
T = 1.70
O = 167
T = 3.07
O = 167
T = 3.01
O = 167
T = 3.04
O = 181
T = 2.43
O = N/A
T = TO
O = 630
T = 0.89
O = 167
T = 2.28
O = 167
T = 3.38
O = 167
T = 2.87
O = 167
T = 1.70
O = 267
T = 0.15
O = 167
T = 6.47
O = 167
T = 19.33
maxcut-140-630-0.7-41.cnf O = 161
T = 2.22
O = 161
T = 3.98
O = 161
T = 2.62
O = 161
T = 2.30
O = 174
T = 2.66
O = N/A
T = TO
O = 630
T = 1.02
O = 161
T = 3.19
O = 161
T = 2.22
O = 161
T = 4.11
O = 161
T = 2.55
O = 242
T = 0.17
O = 161
T = 6.33
O = 161
T = 15.72
maxcut-140-630-0.7-42.cnf O = 161
T = 1.95
O = 161
T = 3.20
O = 161
T = 2.44
O = 161
T = 1.95
O = 170
T = 2.20
O = N/A
T = TO
O = 630
T = 0.87
O = 161
T = 2.79
O = 161
T = 2.00
O = 161
T = 2.56
O = 161
T = 2.21
O = 240
T = 0.24
O = 161
T = 6.00
O = 161
T = 15.90
maxcut-140-630-0.7-43.cnf O = 164
T = 2.15
O = 164
T = 3.21
O = 164
T = 2.91
O = 164
T = 2.65
O = 172
T = 2.38
O = N/A
T = TO
O = 630
T = 0.65
O = 164
T = 2.48
O = 164
T = 2.15
O = 164
T = 2.92
O = 164
T = 2.57
O = 261
T = 0.21
O = 164
T = 6.23
O = 164
T = 15.74
maxcut-140-630-0.7-44.cnf O = 163
T = 2.03
O = 163
T = 2.10
O = 163
T = 2.76
O = 163
T = 2.44
O = 167
T = 2.53
O = N/A
T = TO
O = 630
T = 0.68
O = 163
T = 3.46
O = 163
T = 2.03
O = 163
T = 2.99
O = 163
T = 2.80
O = 257
T = 0.17
O = 163
T = 5.96
O = 163
T = 19.61
maxcut-140-630-0.7-45.cnf O = 168
T = 1.34
O = 168
T = 3.04
O = 168
T = 2.39
O = 168
T = 1.85
O = 170
T = 2.50
O = N/A
T = TO
O = 630
T = 0.50
O = 168
T = 1.34
O = 168
T = 3.15
O = 168
T = 2.72
O = 168
T = 2.57
O = 261
T = 0.17
O = 168
T = 6.70
O = 168
T = 15.23
maxcut-140-630-0.7-46.cnf O = 168
T = 1.86
O = 168
T = 3.51
O = 168
T = 1.86
O = 168
T = 2.37
O = 169
T = 2.32
O = N/A
T = TO
O = 630
T = 0.97
O = 168
T = 3.18
O = 168
T = 2.29
O = 168
T = 3.03
O = 168
T = 2.92
O = 247
T = 0.17
O = 168
T = 6.24
O = 168
T = 15.66
maxcut-140-630-0.7-47.cnf O = 160
T = 1.92
O = 160
T = 3.35
O = 160
T = 2.89
O = 160
T = 2.95
O = 166
T = 2.59
O = N/A
T = TO
O = 630
T = 0.65
O = 160
T = 2.75
O = 160
T = 1.92
O = 160
T = 2.36
O = 160
T = 2.78
O = 245
T = 0.20
O = 160
T = 6.81
O = 160
T = 15.14
maxcut-140-630-0.7-48.cnf O = 168
T = 2.53
O = 168
T = 2.53
O = 168
T = 2.79
O = 168
T = 2.78
O = 177
T = 2.63
O = N/A
T = TO
O = 630
T = 0.70
O = 168
T = 2.70
O = 168
T = 2.88
O = 168
T = 3.08
O = 168
T = 2.87
O = 242
T = 0.20
O = 168
T = 6.40
O = 168
T = 15.60
maxcut-140-630-0.7-49.cnf O = 164
T = 1.87
O = 164
T = 2.91
O = 164
T = 1.87
O = 164
T = 2.47
O = 170
T = 2.46
O = N/A
T = TO
O = 630
T = 0.80
O = 164
T = 3.49
O = 164
T = 2.35
O = 164
T = 2.96
O = 164
T = 2.31
O = 251
T = 0.25
O = 164
T = 6.41
O = 164
T = 15.89
maxcut-140-630-0.7-5.cnf O = 164
T = 1.93
O = 164
T = 3.62
O = 164
T = 1.93
O = 164
T = 2.63
O = 167
T = 2.79
O = N/A
T = TO
O = 630
T = 1.01
O = 164
T = 3.25
O = 164
T = 1.97
O = 164
T = 3.26
O = 164
T = 3.27
O = 243
T = 0.25
O = 164
T = 6.27
O = 164
T = 15.31
maxcut-140-630-0.7-50.cnf O = 167
T = 2.05
O = 167
T = 3.18
O = 167
T = 2.38
O = 167
T = 2.06
O = 173
T = 2.74
O = N/A
T = TO
O = 630
T = 0.52
O = 167
T = 3.30
O = 167
T = 2.05
O = 167
T = 2.96
O = 167
T = 2.26
O = 252
T = 0.24
O = 167
T = 6.14
O = 167
T = 15.83
maxcut-140-630-0.7-6.cnf O = 162
T = 2.28
O = 162
T = 4.17
O = 162
T = 2.59
O = 162
T = 2.28
O = 174
T = 2.26
O = N/A
T = TO
O = 630
T = 0.63
O = 162
T = 3.06
O = 162
T = 3.03
O = 162
T = 3.14
O = 162
T = 2.57
O = 251
T = 0.24
O = 162
T = 5.82
O = 162
T = 15.70
maxcut-140-630-0.7-7.cnf O = 164
T = 1.35
O = 164
T = 3.40
O = 164
T = 1.87
O = 164
T = 2.07
O = 171
T = 2.97
O = N/A
T = TO
O = 630
T = 0.69
O = 164
T = 2.67
O = 164
T = 1.35
O = 164
T = 3.13
O = 164
T = 2.34
O = 260
T = 0.16
O = 164
T = 7.22
O = 164
T = 29.02
maxcut-140-630-0.7-8.cnf O = 165
T = 1.76
O = 165
T = 3.45
O = 165
T = 2.74
O = 165
T = 1.76
O = 171
T = 2.69
O = N/A
T = TO
O = 630
T = 0.50
O = 165
T = 3.35
O = 165
T = 2.67
O = 165
T = 2.71
O = 165
T = 2.32
O = 249
T = 0.18
O = 165
T = 6.13
O = 165
T = 15.57
maxcut-140-630-0.7-9.cnf O = 166
T = 1.99
O = 166
T = 2.79
O = 166
T = 2.61
O = 166
T = 2.05
O = 184
T = 1.66
O = N/A
T = TO
O = 630
T = 0.78
O = 166
T = 2.56
O = 166
T = 2.42
O = 166
T = 2.75
O = 166
T = 1.99
O = 237
T = 0.23
O = 166
T = 6.61
O = 166
T = 15.45
maxcut-140-630-0.8-1.cnf O = 165
T = 2.20
O = 165
T = 3.41
O = 165
T = 2.49
O = 165
T = 2.56
O = 174
T = 2.26
O = N/A
T = TO
O = 629
T = 0.93
O = 165
T = 3.75
O = 165
T = 2.68
O = 165
T = 3.19
O = 165
T = 2.20
O = 251
T = 0.20
O = 165
T = 6.36
O = 165
T = 15.49
maxcut-140-630-0.8-10.cnf O = 168
T = 1.95
O = 168
T = 3.29
O = 168
T = 2.80
O = 168
T = 1.95
O = 179
T = 2.10
O = N/A
T = TO
O = 629
T = 0.61
O = 168
T = 2.81
O = 168
T = 2.94
O = 168
T = 2.82
O = 168
T = 2.29
O = 241
T = 0.23
O = 168
T = 6.83
O = 168
T = 28.48
maxcut-140-630-0.8-11.cnf O = 168
T = 1.30
O = 168
T = 3.93
O = 168
T = 1.89
O = 168
T = 1.30
O = 169
T = 2.77
O = N/A
T = TO
O = 629
T = 0.68
O = 168
T = 3.49
O = 168
T = 1.69
O = 168
T = 3.07
O = 168
T = 3.10
O = 247
T = 0.20
O = 168
T = 7.11
O = 168
T = 28.92
maxcut-140-630-0.8-12.cnf O = 165
T = 1.31
O = 165
T = 1.88
O = 165
T = 2.67
O = 165
T = 1.69
O = 167
T = 2.01
O = N/A
T = TO
O = 629
T = 0.84
O = 165
T = 2.06
O = 165
T = 1.31
O = 165
T = 3.23
O = 165
T = 2.11
O = 241
T = 0.11
O = 165
T = 6.60
O = 165
T = 16.29
maxcut-140-630-0.8-13.cnf O = 167
T = 2.24
O = 167
T = 2.24
O = 167
T = 2.44
O = 167
T = 2.43
O = 172
T = 3.04
O = N/A
T = TO
O = 629
T = 0.61
O = 167
T = 2.56
O = 167
T = 3.10
O = 167
T = 3.47
O = 167
T = 2.84
O = 257
T = 0.18
O = 167
T = 6.43
O = 167
T = 15.69
maxcut-140-630-0.8-14.cnf O = 164
T = 1.97
O = 164
T = 3.23
O = 164
T = 1.98
O = 164
T = 2.38
O = 176
T = 2.14
O = N/A
T = TO
O = 629
T = 0.53
O = 164
T = 1.97
O = 164
T = 1.99
O = 164
T = 3.07
O = 164
T = 2.01
O = 242
T = 0.23
O = 164
T = 6.48
O = 164
T = 15.44
maxcut-140-630-0.8-15.cnf O = 166
T = 1.82
O = 166
T = 2.64
O = 166
T = 1.82
O = 166
T = 2.11
O = 169
T = 2.13
O = N/A
T = TO
O = 629
T = 0.80
O = 166
T = 2.13
O = 166
T = 1.96
O = 166
T = 2.33
O = 166
T = 2.39
O = 229
T = 0.13
O = 166
T = 6.89
O = 166
T = 22.52
maxcut-140-630-0.8-16.cnf O = 163
T = 2.35
O = 163
T = 2.39
O = 163
T = 2.60
O = 163
T = 2.35
O = 166
T = 1.18
O = N/A
T = TO
O = 629
T = 0.77
O = 163
T = 2.41
O = 163
T = 3.51
O = 163
T = 2.81
O = 163
T = 2.36
O = 245
T = 0.24
O = 163
T = 6.50
O = 163
T = 15.41
maxcut-140-630-0.8-17.cnf O = 168
T = 1.94
O = 168
T = 3.00
O = 168
T = 3.03
O = 168
T = 2.83
O = 179
T = 2.29
O = N/A
T = TO
O = 629
T = 0.93
O = 168
T = 2.18
O = 168
T = 1.94
O = 168
T = 2.41
O = 168
T = 1.96
O = 248
T = 0.21
O = 168
T = 6.75
O = 168
T = 19.45
maxcut-140-630-0.8-18.cnf O = 163
T = 1.87
O = 163
T = 3.10
O = 163
T = 1.87
O = 163
T = 2.59
O = 176
T = 1.80
O = N/A
T = TO
O = 629
T = 1.01
O = 163
T = 3.39
O = 163
T = 2.12
O = 163
T = 3.64
O = 163
T = 3.05
O = 251
T = 0.25
O = 163
T = 6.71
O = 163
T = 15.58
maxcut-140-630-0.8-19.cnf O = 164
T = 1.35
O = 164
T = 2.15
O = 164
T = 3.17
O = 164
T = 1.35
O = 175
T = 2.15
O = N/A
T = TO
O = 629
T = 0.86
O = 164
T = 2.67
O = 164
T = 3.04
O = 164
T = 2.90
O = 164
T = 2.44
O = 254
T = 0.23
O = 164
T = 7.47
O = 164
T = 35.76
maxcut-140-630-0.8-2.cnf O = 162
T = 2.47
O = 162
T = 3.12
O = 162
T = 3.52
O = 162
T = 2.59
O = 163
T = 2.61
O = N/A
T = TO
O = 629
T = 0.90
O = 162
T = 2.84
O = 162
T = 2.47
O = 162
T = 3.87
O = 162
T = 2.79
O = 240
T = 0.21
O = 162
T = 6.93
O = 162
T = 35.95
maxcut-140-630-0.8-20.cnf O = 165
T = 2.35
O = 165
T = 2.89
O = 165
T = 2.45
O = 165
T = 2.64
O = 168
T = 2.55
O = N/A
T = TO
O = 629
T = 0.65
O = 165
T = 2.78
O = 165
T = 2.75
O = 165
T = 3.05
O = 165
T = 2.35
O = 263
T = 0.23
O = 165
T = 6.77
O = 165
T = 15.66
maxcut-140-630-0.8-21.cnf O = 167
T = 1.83
O = 167
T = 3.00
O = 167
T = 2.45
O = 167
T = 1.83
O = 176
T = 2.22
O = N/A
T = TO
O = 629
T = 1.29
O = 167
T = 3.02
O = 167
T = 2.13
O = 167
T = 3.67
O = 167
T = 2.17
O = 244
T = 0.12
O = 167
T = 6.26
O = 167
T = 15.85
maxcut-140-630-0.8-22.cnf O = 170
T = 2.37
O = 170
T = 2.71
O = 170
T = 2.76
O = 170
T = 2.91
O = 177
T = 2.00
O = N/A
T = TO
O = 629
T = 1.26
O = 170
T = 2.37
O = 170
T = 3.06
O = 170
T = 3.33
O = 170
T = 2.97
O = 257
T = 0.18
O = 170
T = 6.70
O = 170
T = 15.44
maxcut-140-630-0.8-23.cnf O = 167
T = 2.28
O = 167
T = 3.21
O = 167
T = 2.79
O = 167
T = 2.28
O = 172
T = 1.99
O = N/A
T = TO
O = 629
T = 0.43
O = 167
T = 2.91
O = 167
T = 2.54
O = 167
T = 2.97
O = 167
T = 3.34
O = 251
T = 0.22
O = 167
T = 6.56
O = 167
T = 15.19
maxcut-140-630-0.8-24.cnf O = 165
T = 1.41
O = 165
T = 3.84
O = 165
T = 1.94
O = 165
T = 2.26
O = 175
T = 2.06
O = N/A
T = TO
O = 629
T = 0.96
O = 165
T = 2.77
O = 165
T = 1.41
O = 165
T = 2.47
O = 165
T = 2.81
O = 246
T = 0.23
O = 165
T = 6.03
O = 165
T = 15.29
maxcut-140-630-0.8-25.cnf O = 165
T = 2.10
O = 165
T = 3.40
O = 165
T = 3.21
O = 165
T = 2.75
O = 168
T = 2.25
O = N/A
T = TO
O = 629
T = 0.60
O = 165
T = 2.10
O = 165
T = 2.93
O = 165
T = 2.53
O = 165
T = 2.73
O = 232
T = 0.24
O = 165
T = 6.32
O = 165
T = 15.12
maxcut-140-630-0.8-26.cnf O = 167
T = 1.26
O = 167
T = 3.08
O = 167
T = 3.61
O = 167
T = 2.42
O = 171
T = 2.49
O = N/A
T = TO
O = 629
T = 0.98
O = 167
T = 3.43
O = 167
T = 1.26
O = 167
T = 3.96
O = 167
T = 2.41
O = 261
T = 0.17
O = 167
T = 6.16
O = 167
T = 15.43
maxcut-140-630-0.8-27.cnf O = 168
T = 2.17
O = 168
T = 3.34
O = 168
T = 2.42
O = 168
T = 2.43
O = 174
T = 1.95
O = N/A
T = TO
O = 629
T = 1.03
O = 168
T = 2.81
O = 168
T = 2.17
O = 168
T = 2.73
O = 168
T = 2.61
O = 229
T = 0.21
O = 168
T = 6.78
O = 168
T = 14.96
maxcut-140-630-0.8-28.cnf O = 168
T = 0.79
O = 168
T = 2.85
O = 168
T = 2.40
O = 168
T = 2.34
O = 173
T = 2.01
O = N/A
T = TO
O = 629
T = 0.72
O = 168
T = 3.60
O = 168
T = 2.98
O = 168
T = 3.36
O = 168
T = 0.79
O = 247
T = 0.24
O = 168
T = 6.72
O = 168
T = 15.47
maxcut-140-630-0.8-29.cnf O = 167
T = 1.41
O = 167
T = 2.68
O = 167
T = 3.29
O = 167
T = 2.22
O = 167
T = 3.09
O = N/A
T = TO
O = 629
T = 1.07
O = 167
T = 2.78
O = 167
T = 1.41
O = 167
T = 3.24
O = 167
T = 2.11
O = 247
T = 0.26
O = 167
T = 6.20
O = 167
T = 15.34
maxcut-140-630-0.8-3.cnf O = 165
T = 1.54
O = 165
T = 2.23
O = 165
T = 2.71
O = 165
T = 2.02
O = 172
T = 2.48
O = N/A
T = TO
O = 629
T = 1.08
O = 165
T = 3.11
O = 165
T = 1.54
O = 165
T = 3.45
O = 165
T = 2.40
O = 248
T = 0.24
O = 165
T = 6.28
O = 165
T = 16.35
maxcut-140-630-0.8-30.cnf O = 167
T = 1.33
O = 167
T = 2.98
O = 167
T = 3.67
O = 167
T = 2.20
O = 170
T = 2.76
O = N/A
T = TO
O = 629
T = 1.03
O = 167
T = 2.78
O = 167
T = 1.33
O = 167
T = 2.93
O = 167
T = 2.29
O = 268
T = 0.17
O = 167
T = 6.86
O = 167
T = 15.69
maxcut-140-630-0.8-31.cnf O = 165
T = 2.27
O = 165
T = 3.66
O = 165
T = 2.74
O = 165
T = 2.27
O = 165
T = 2.80
O = N/A
T = TO
O = 629
T = 0.45
O = 165
T = 3.59
O = 165
T = 2.96
O = 165
T = 3.31
O = 165
T = 2.39
O = 252
T = 0.25
O = 165
T = 6.27
O = 165
T = 15.09
maxcut-140-630-0.8-32.cnf O = 164
T = 1.44
O = 164
T = 3.40
O = 164
T = 1.96
O = 164
T = 2.73
O = 176
T = 2.18
O = N/A
T = TO
O = 629
T = 0.91
O = 164
T = 3.77
O = 164
T = 1.44
O = 164
T = 2.91
O = 164
T = 2.37
O = 263
T = 0.20
O = 164
T = 6.77
O = 164
T = 15.16
maxcut-140-630-0.8-33.cnf O = 163
T = 1.26
O = 163
T = 3.04
O = 163
T = 3.18
O = 163
T = 1.26
O = 171
T = 2.19
O = N/A
T = TO
O = 629
T = 0.58
O = 163
T = 3.05
O = 163
T = 2.73
O = 163
T = 3.40
O = 163
T = 2.37
O = 241
T = 0.20
O = 163
T = 6.27
O = 163
T = 15.90
maxcut-140-630-0.8-34.cnf O = 163
T = 1.50
O = 163
T = 2.97
O = 163
T = 2.56
O = 163
T = 1.50
O = 172
T = 2.43
O = N/A
T = TO
O = 629
T = 0.93
O = 163
T = 3.50
O = 163
T = 1.72
O = 163
T = 3.37
O = 163
T = 2.97
O = 247
T = 0.12
O = 163
T = 5.96
O = 163
T = 15.56
maxcut-140-630-0.8-35.cnf O = 165
T = 2.11
O = 165
T = 3.69
O = 165
T = 2.69
O = 165
T = 2.11
O = 170
T = 2.22
O = N/A
T = TO
O = 629
T = 0.97
O = 165
T = 2.60
O = 165
T = 2.36
O = 165
T = 3.34
O = 165
T = 2.37
O = 248
T = 0.19
O = 165
T = 6.48
O = 165
T = 19.34
maxcut-140-630-0.8-36.cnf O = 165
T = 2.07
O = 165
T = 3.94
O = 165
T = 2.56
O = 165
T = 2.79
O = 173
T = 2.53
O = N/A
T = TO
O = 629
T = 0.97
O = 165
T = 3.22
O = 165
T = 2.70
O = 165
T = 2.79
O = 165
T = 2.07
O = 247
T = 0.08
O = 165
T = 6.48
O = 165
T = 35.98
maxcut-140-630-0.8-37.cnf O = 167
T = 1.95
O = 167
T = 3.81
O = 167
T = 3.37
O = 167
T = 2.29
O = 171
T = 2.75
O = N/A
T = TO
O = 629
T = 0.66
O = 167
T = 3.20
O = 167
T = 1.95
O = 167
T = 3.40
O = 167
T = 2.76
O = 231
T = 0.22
O = 167
T = 6.28
O = 167
T = 15.46
maxcut-140-630-0.8-38.cnf O = 160
T = 1.99
O = 160
T = 3.32
O = 160
T = 2.91
O = 160
T = 2.42
O = 175
T = 2.39
O = N/A
T = TO
O = 629
T = 0.95
O = 160
T = 2.41
O = 160
T = 1.99
O = 160
T = 3.28
O = 160
T = 2.35
O = 250
T = 0.09
O = 160
T = 6.91
O = 160
T = 15.22
maxcut-140-630-0.8-39.cnf O = 169
T = 2.08
O = 169
T = 3.62
O = 169
T = 3.47
O = 169
T = 2.36
O = 177
T = 2.97
O = N/A
T = TO
O = 629
T = 0.97
O = 169
T = 2.91
O = 169
T = 3.04
O = 169
T = 3.04
O = 169
T = 2.08
O = 247
T = 0.25
O = 169
T = 6.40
O = 169
T = 35.71
maxcut-140-630-0.8-4.cnf O = 165
T = 2.20
O = 165
T = 2.97
O = 165
T = 2.91
O = 165
T = 2.30
O = 176
T = 2.02
O = N/A
T = TO
O = 629
T = 0.86
O = 165
T = 3.44
O = 165
T = 2.25
O = 165
T = 3.73
O = 165
T = 2.20
O = 278
T = 0.23
O = 165
T = 6.23
O = 165
T = 15.65
maxcut-140-630-0.8-40.cnf O = 161
T = 2.42
O = 161
T = 3.34
O = 161
T = 2.42
O = 161
T = 2.67
O = 164
T = 3.56
O = N/A
T = TO
O = 629
T = 1.00
O = 161
T = 3.76
O = 161
T = 3.09
O = 161
T = 2.59
O = 161
T = 2.68
O = 227
T = 0.18
O = 161
T = 6.46
O = 161
T = 15.48
maxcut-140-630-0.8-41.cnf O = 163
T = 1.84
O = 163
T = 2.84
O = 163
T = 2.46
O = 163
T = 3.01
O = 176
T = 2.54
O = N/A
T = TO
O = 629
T = 0.61
O = 163
T = 2.72
O = 163
T = 1.84
O = 163
T = 3.39
O = 163
T = 2.24
O = 255
T = 0.24
O = 163
T = 6.18
O = 163
T = 15.34
maxcut-140-630-0.8-42.cnf O = 164
T = 2.20
O = 164
T = 2.52
O = 164
T = 2.50
O = 164
T = 2.29
O = 169
T = 2.44
O = N/A
T = TO
O = 629
T = 0.94
O = 164
T = 2.20
O = 164
T = 3.06
O = 164
T = 3.04
O = 164
T = 2.48
O = 254
T = 0.21
O = 164
T = 6.24
O = 164
T = 19.17
maxcut-140-630-0.8-43.cnf O = 165
T = 2.28
O = 165
T = 3.25
O = 165
T = 2.97
O = 165
T = 2.60
O = 171
T = 2.12
O = N/A
T = TO
O = 629
T = 0.68
O = 165
T = 3.30
O = 165
T = 2.28
O = 165
T = 3.00
O = 165
T = 2.93
O = 228
T = 0.25
O = 165
T = 6.12
O = 165
T = 17.42
maxcut-140-630-0.8-44.cnf O = 160
T = 1.87
O = 160
T = 4.04
O = 160
T = 2.89
O = 160
T = 3.34
O = 169
T = 2.12
O = N/A
T = TO
O = 629
T = 1.20
O = 160
T = 2.75
O = 160
T = 1.97
O = 160
T = 3.36
O = 160
T = 1.87
O = 257
T = 0.19
O = 160
T = 6.27
O = 160
T = 15.96
maxcut-140-630-0.8-45.cnf O = 165
T = 2.28
O = 165
T = 3.11
O = 165
T = 2.33
O = 165
T = 2.28
O = 174
T = 2.78
O = N/A
T = TO
O = 629
T = 0.71
O = 165
T = 2.79
O = 165
T = 2.85
O = 165
T = 3.69
O = 165
T = 2.40
O = 238
T = 0.24
O = 165
T = 6.58
O = 165
T = 16.52
maxcut-140-630-0.8-46.cnf O = 162
T = 1.75
O = 162
T = 3.94
O = 162
T = 2.56
O = 162
T = 2.91
O = 169
T = 2.16
O = N/A
T = TO
O = 629
T = 1.04
O = 162
T = 3.15
O = 162
T = 1.86
O = 162
T = 3.34
O = 162
T = 1.75
O = 236
T = 0.15
O = 162
T = 6.66
O = 162
T = 15.12
maxcut-140-630-0.8-47.cnf O = 164
T = 0.99
O = 164
T = 3.12
O = 164
T = 2.13
O = 164
T = 0.99
O = 179
T = 2.20
O = N/A
T = TO
O = 629
T = 0.71
O = 164
T = 2.42
O = 164
T = 2.82
O = 164
T = 3.42
O = 164
T = 2.87
O = 254
T = 0.21
O = 164
T = 6.70
O = 164
T = 15.71
maxcut-140-630-0.8-48.cnf O = 164
T = 1.39
O = 164
T = 1.39
O = 164
T = 2.21
O = 164
T = 2.42
O = 165
T = 3.00
O = N/A
T = TO
O = 629
T = 0.50
O = 164
T = 3.08
O = 164
T = 2.65
O = 164
T = 3.24
O = 164
T = 1.76
O = 254
T = 0.27
O = 164
T = 6.41
O = 164
T = 16.28
maxcut-140-630-0.8-49.cnf O = 166
T = 1.86
O = 166
T = 3.25
O = 166
T = 2.69
O = 166
T = 2.83
O = 171
T = 2.80
O = N/A
T = TO
O = 629
T = 1.08
O = 166
T = 3.06
O = 166
T = 2.45
O = 166
T = 2.68
O = 166
T = 1.86
O = 266
T = 0.18
O = 166
T = 6.24
O = 166
T = 22.71
maxcut-140-630-0.8-5.cnf O = 164
T = 2.26
O = 164
T = 2.84
O = 164
T = 2.31
O = 164
T = 2.26
O = 175
T = 2.67
O = N/A
T = TO
O = 629
T = 1.11
O = 164
T = 2.85
O = 164
T = 2.66
O = 164
T = 2.72
O = 164
T = 2.28
O = 243
T = 0.21
O = 164
T = 6.74
O = 164
T = 15.31
maxcut-140-630-0.8-50.cnf O = 165
T = 1.17
O = 165
T = 3.54
O = 165
T = 3.16
O = 165
T = 1.17
O = 175
T = 2.15
O = N/A
T = TO
O = 629
T = 0.68
O = 165
T = 2.89
O = 165
T = 2.17
O = 165
T = 2.89
O = 165
T = 1.87
O = 258
T = 0.22
O = 165
T = 6.15
O = 165
T = 16.00
maxcut-140-630-0.8-6.cnf O = 169
T = 2.13
O = 169
T = 2.77
O = 169
T = 2.80
O = 169
T = 2.46
O = 176
T = 2.17
O = N/A
T = TO
O = 629
T = 1.05
O = 169
T = 3.43
O = 169
T = 2.27
O = 169
T = 3.04
O = 169
T = 2.13
O = 246
T = 0.20
O = 169
T = 6.28
O = 169
T = 28.58
maxcut-140-630-0.8-7.cnf O = 166
T = 1.16
O = 166
T = 3.51
O = 166
T = 2.23
O = 166
T = 1.16
O = 166
T = 2.54
O = N/A
T = TO
O = 629
T = 0.51
O = 166
T = 2.49
O = 166
T = 1.93
O = 166
T = 2.80
O = 166
T = 1.85
O = 232
T = 0.24
O = 166
T = 6.18
O = 166
T = 19.33
maxcut-140-630-0.8-8.cnf O = 167
T = 2.23
O = 167
T = 3.31
O = 167
T = 2.54
O = 167
T = 2.48
O = 172
T = 1.70
O = N/A
T = TO
O = 629
T = 0.80
O = 167
T = 2.23
O = 167
T = 2.43
O = 167
T = 3.51
O = 167
T = 2.30
O = 244
T = 0.27
O = 167
T = 5.87
O = 167
T = 24.34
maxcut-140-630-0.8-9.cnf O = 165
T = 1.96
O = 165
T = 2.58
O = 165
T = 2.31
O = 165
T = 2.52
O = 167
T = 2.57
O = N/A
T = TO
O = 629
T = 0.80
O = 165
T = 2.65
O = 165
T = 1.96
O = 165
T = 3.06
O = 165
T = 2.39
O = 240
T = 0.24
O = 165
T = 6.42
O = 165
T = 15.74
s2v140c1200-1.cnf O = 158
T = 1.49
O = 158
T = 3.46
O = 158
T = 2.72
O = 158
T = 2.74
O = 167
T = 1.86
O = N/A
T = TO
O = 600
T = 0.43
O = 158
T = 3.31
O = 158
T = 2.45
O = 158
T = 3.33
O = 158
T = 1.49
O = 244
T = 0.26
O = 158
T = 6.12
O = 158
T = 15.59
s2v140c1200-2.cnf O = 152
T = 1.78
O = 152
T = 2.73
O = 152
T = 3.36
O = 152
T = 2.19
O = 152
T = 2.16
O = N/A
T = TO
O = 600
T = 0.84
O = 152
T = 3.19
O = 152
T = 2.33
O = 152
T = 2.48
O = 152
T = 1.78
O = 234
T = 0.19
O = 152
T = 6.13
O = 152
T = 15.29
s2v140c1200-3.cnf O = 157
T = 1.74
O = 157
T = 3.57
O = 157
T = 2.60
O = 157
T = 2.73
O = 168
T = 2.23
O = N/A
T = TO
O = 600
T = 0.87
O = 157
T = 2.40
O = 157
T = 2.03
O = 157
T = 3.48
O = 157
T = 1.74
O = 252
T = 0.23
O = 157
T = 6.02
O = 157
T = 15.97
s2v140c1300-1.cnf O = 176
T = 1.88
O = 176
T = 3.44
O = 176
T = 3.24
O = 176
T = 2.90
O = 184
T = 2.15
O = N/A
T = TO
O = 650
T = 1.21
O = 176
T = 3.20
O = 176
T = 2.67
O = 176
T = 3.19
O = 176
T = 1.88
O = 270
T = 0.24
O = 176
T = 6.18
O = 176
T = 35.84
s2v140c1300-2.cnf O = 169
T = 1.29
O = 169
T = 3.23
O = 169
T = 3.21
O = 169
T = 2.45
O = 170
T = 3.08
O = N/A
T = TO
O = 650
T = 0.97
O = 169
T = 2.74
O = 169
T = 3.21
O = 169
T = 3.29
O = 169
T = 1.29
O = 263
T = 0.22
O = 169
T = 6.27
O = 169
T = 16.16
s2v140c1300-3.cnf O = 172
T = 1.70
O = 172
T = 3.32
O = 172
T = 3.04
O = 172
T = 2.55
O = 182
T = 2.25
O = N/A
T = TO
O = 650
T = 0.97
O = 172
T = 3.40
O = 172
T = 2.42
O = 172
T = 3.53
O = 172
T = 1.70
O = 264
T = 0.25
O = 172
T = 7.00
O = 172
T = 15.33
s2v140c1400-1.cnf O = 196
T = 2.05
O = 196
T = 3.31
O = 196
T = 3.35
O = 196
T = 2.18
O = 202
T = 2.29
O = N/A
T = TO
O = 700
T = 1.06
O = 196
T = 2.34
O = 196
T = 2.63
O = 196
T = 3.40
O = 196
T = 2.05
O = 296
T = 0.26
O = 196
T = 6.67
O = 196
T = 23.39
s2v140c1400-2.cnf O = 195
T = 1.41
O = 195
T = 2.85
O = 195
T = 3.64
O = 195
T = 2.92
O = 200
T = 2.83
O = N/A
T = TO
O = 700
T = 0.67
O = 195
T = 2.52
O = 195
T = 1.80
O = 195
T = 2.63
O = 195
T = 1.41
O = 315
T = 0.24
O = 195
T = 6.08
O = 195
T = 35.61
s2v140c1400-3.cnf O = 194
T = 2.01
O = 194
T = 3.40
O = 194
T = 2.47
O = 194
T = 2.72
O = 204
T = 3.03
O = N/A
T = TO
O = 700
T = 0.95
O = 194
T = 2.71
O = 194
T = 2.81
O = 194
T = 3.40
O = 194
T = 2.01
O = 299
T = 0.15
O = 194
T = 6.79
O = 194
T = 19.48
s2v140c1500-1.cnf O = 212
T = 1.52
O = 212
T = 3.62
O = 212
T = 3.14
O = 212
T = 3.17
O = 214
T = 2.74
O = N/A
T = TO
O = N/A
T = TO
O = 212
T = 2.17
O = 212
T = 1.52
O = 212
T = 3.34
O = 212
T = 2.23
O = 312
T = 0.25
O = 212
T = 5.89
O = 212
T = 15.62
s2v140c1500-2.cnf O = 215
T = 1.84
O = 215
T = 3.14
O = 215
T = 2.83
O = 215
T = 2.25
O = 223
T = 2.29
O = N/A
T = TO
O = 750
T = 1.25
O = 215
T = 2.60
O = 215
T = 1.84
O = 215
T = 3.21
O = 215
T = 1.88
O = 329
T = 0.24
O = 215
T = 6.70
O = 215
T = 28.97
s2v140c1500-3.cnf O = 211
T = 1.94
O = 211
T = 3.69
O = 211
T = 1.96
O = 211
T = 2.72
O = 220
T = 2.13
O = N/A
T = TO
O = N/A
T = TO
O = 211
T = 2.86
O = 211
T = 1.94
O = 211
T = 3.62
O = 211
T = 5.51
O = 318
T = 0.27
O = 211
T = 6.34
O = 211
T = 15.54
s2v140c1600-1.cnf O = 233
T = 1.65
O = 233
T = 2.76
O = 233
T = 2.84
O = 233
T = 1.65
O = 241
T = 2.85
O = N/A
T = TO
O = N/A
T = TO
O = 233
T = 5.53
O = 233
T = 2.50
O = 233
T = 2.95
O = 233
T = 2.28
O = 347
T = 0.27
O = 233
T = 6.98
O = 233
T = 35.65
s2v140c1600-2.cnf O = 231
T = 1.95
O = 231
T = 3.91
O = 231
T = 3.16
O = 231
T = 2.50
O = 252
T = 2.31
O = N/A
T = TO
O = 800
T = 1.21
O = 231
T = 3.77
O = 231
T = 2.39
O = 231
T = 3.52
O = 231
T = 1.95
O = 358
T = 0.19
O = 231
T = 6.19
O = 231
T = 15.86
s2v140c1600-3.cnf O = 235
T = 1.74
O = 235
T = 3.52
O = 235
T = 3.13
O = 235
T = 2.72
O = 244
T = 2.61
O = N/A
T = TO
O = 800
T = 1.18
O = 235
T = 3.65
O = 235
T = 2.27
O = 235
T = 4.34
O = 235
T = 1.74
O = 339
T = 0.23
O = 235
T = 6.44
O = 235
T = 15.58
s2v140c1700-1.cnf O = 253
T = 1.82
O = 253
T = 3.18
O = 253
T = 3.30
O = 253
T = 2.95
O = 272
T = 2.70
O = N/A
T = TO
O = 850
T = 0.94
O = 253
T = 3.31
O = 253
T = 1.82
O = 253
T = 3.22
O = 253
T = 2.25
O = 371
T = 0.20
O = 253
T = 6.31
O = 253
T = 28.58
s2v140c1700-2.cnf O = 255
T = 1.95
O = 255
T = 2.87
O = 255
T = 3.48
O = 255
T = 2.43
O = 263
T = 2.29
O = N/A
T = TO
O = N/A
T = TO
O = 255
T = 2.76
O = 255
T = 2.89
O = 255
T = 3.12
O = 255
T = 1.95
O = 356
T = 0.22
O = 255
T = 6.10
O = 255
T = 15.19
s2v140c1700-3.cnf O = 253
T = 1.66
O = 253
T = 3.95
O = 253
T = 2.57
O = 253
T = 2.17
O = 263
T = 2.46
O = N/A
T = TO
O = 850
T = 0.82
O = 253
T = 3.03
O = 253
T = 2.87
O = 253
T = 3.96
O = 253
T = 1.66
O = 378
T = 0.20
O = 253
T = 6.22
O = 253
T = 19.42
s2v140c1800-1.cnf O = 273
T = 1.60
O = 273
T = 2.87
O = 273
T = 2.87
O = 273
T = 2.18
O = 285
T = 2.07
O = N/A
T = TO
O = 900
T = 0.83
O = 273
T = 3.65
O = 273
T = 2.44
O = 273
T = 4.43
O = 273
T = 1.60
O = 398
T = 0.16
O = 273
T = 6.15
O = 273
T = 22.71
s2v140c1800-2.cnf O = 272
T = 1.88
O = 272
T = 3.72
O = 272
T = 3.22
O = 272
T = 2.70
O = 286
T = 2.01
O = N/A
T = TO
O = N/A
T = TO
O = 272
T = 2.90
O = 272
T = 1.96
O = 272
T = 4.49
O = 272
T = 1.88
O = 387
T = 0.24
O = 272
T = 6.16
O = 272
T = 15.12
s2v140c1800-3.cnf O = 276
T = 1.19
O = 276
T = 3.37
O = 276
T = 3.01
O = 276
T = 2.89
O = 287
T = 1.96
O = N/A
T = TO
O = N/A
T = TO
O = 276
T = 3.12
O = 276
T = 2.68
O = 276
T = 4.23
O = 276
T = 1.19
O = 416
T = 0.20
O = 276
T = 6.85
O = 276
T = 29.35
s2v140c1900-1.cnf O = 292
T = 1.14
O = 292
T = 3.21
O = 292
T = 2.11
O = 292
T = 2.47
O = 310
T = 2.38
O = N/A
T = TO
O = 950
T = 1.28
O = 292
T = 2.86
O = 292
T = 1.14
O = 292
T = 4.00
O = 292
T = 2.37
O = 425
T = 0.19
O = 292
T = 6.13
O = 292
T = 16.07
s2v140c1900-2.cnf O = 294
T = 1.61
O = 294
T = 3.84
O = 294
T = 2.13
O = 294
T = 1.86
O = 301
T = 2.13
O = N/A
T = TO
O = N/A
T = TO
O = 294
T = 2.62
O = 294
T = 3.74
O = 294
T = 4.78
O = 294
T = 1.61
O = 419
T = 0.24
O = 294
T = 6.41
O = 294
T = 15.46
s2v140c1900-3.cnf O = 293
T = 2.62
O = 293
T = 2.80
O = 293
T = 3.65
O = 293
T = 3.18
O = 301
T = 2.51
O = N/A
T = TO
O = 950
T = 0.78
O = 293
T = 3.06
O = 293
T = 2.81
O = 293
T = 2.93
O = 293
T = 2.62
O = 422
T = 0.25
O = 293
T = 6.15
O = 293
T = 15.27
s2v140c2000-1.cnf O = 315
T = 2.20
O = 315
T = 2.62
O = 315
T = 3.38
O = 315
T = 2.20
O = 318
T = 2.89
O = N/A
T = TO
O = 1000
T = 0.73
O = 315
T = 3.63
O = 315
T = 2.25
O = 315
T = 3.10
O = 315
T = 2.69
O = 445
T = 0.20
O = 315
T = 6.22
O = 315
T = 15.27
s2v140c2000-2.cnf O = 315
T = 1.83
O = 315
T = 3.40
O = 315
T = 3.68
O = 315
T = 3.30
O = 326
T = 2.82
O = N/A
T = TO
O = 1000
T = 0.46
O = 315
T = 2.91
O = 315
T = 2.64
O = 315
T = 3.51
O = 315
T = 1.83
O = 455
T = 0.19
O = 315
T = 6.44
O = 315
T = 15.75
s2v140c2000-3.cnf O = 318
T = 2.15
O = 318
T = 2.33
O = 318
T = 2.95
O = 318
T = 2.15
O = 324
T = 2.19
O = N/A
T = TO
O = N/A
T = TO
O = 318
T = 3.60
O = 318
T = 2.63
O = 318
T = 3.17
O = 318
T = 2.45
O = 422
T = 0.23
O = 318
T = 6.04
O = 318
T = 15.63
s2v140c2100-1.cnf O = 336
T = 1.50
O = 336
T = 3.47
O = 336
T = 3.10
O = 336
T = 3.18
O = 350
T = 2.76
O = N/A
T = TO
O = 1050
T = 0.62
O = 336
T = 3.23
O = 336
T = 2.06
O = 336
T = 4.04
O = 336
T = 1.50
O = 441
T = 0.18
O = 336
T = 6.12
O = 336
T = 15.91
s2v140c2100-2.cnf O = 333
T = 2.13
O = 333
T = 3.51
O = 333
T = 3.50
O = 333
T = 2.92
O = 334
T = 3.03
O = N/A
T = TO
O = 1050
T = 0.48
O = 333
T = 2.48
O = 333
T = 2.87
O = 333
T = 3.27
O = 333
T = 2.13
O = 484
T = 0.14
O = 333
T = 6.18
O = 333
T = 19.30
s2v140c2100-3.cnf O = 338
T = 2.39
O = 338
T = 3.63
O = 338
T = 2.61
O = 338
T = 2.56
O = 346
T = 2.45
O = N/A
T = TO
O = 1050
T = 0.69
O = 338
T = 2.95
O = 338
T = 2.39
O = 338
T = 3.25
O = 338
T = 2.49
O = 517
T = 0.17
O = 338
T = 6.34
O = 338
T = 15.06
s2v140c2200-1.cnf O = 356
T = 1.67
O = 356
T = 1.70
O = 356
T = 2.68
O = 356
T = 3.71
O = 364
T = 3.06
O = N/A
T = TO
O = 1100
T = 0.46
O = 356
T = 3.52
O = 356
T = 2.89
O = 356
T = 3.17
O = 356
T = 1.67
O = 506
T = 0.26
O = 356
T = 6.30
O = 356
T = 15.14
s2v140c2200-2.cnf O = 359
T = 2.26
O = 359
T = 3.14
O = 359
T = 3.02
O = 359
T = 3.00
O = 370
T = 2.39
O = N/A
T = TO
O = 1100
T = 0.79
O = 359
T = 2.78
O = 359
T = 3.31
O = 359
T = 3.52
O = 359
T = 2.26
O = 529
T = 0.19
O = 359
T = 6.75
O = 359
T = 15.49
s2v140c2200-3.cnf O = 354
T = 1.69
O = 354
T = 3.20
O = 354
T = 1.69
O = 354
T = 2.26
O = 379
T = 2.61
O = N/A
T = TO
O = 1100
T = 0.69
O = 354
T = 3.01
O = 354
T = 2.13
O = 354
T = 3.56
O = 354
T = 10.75
O = 521
T = 0.22
O = 354
T = 6.11
O = 354
T = 35.68
s2v140c2300-1.cnf O = 374
T = 2.28
O = 374
T = 3.51
O = 374
T = 2.52
O = 374
T = 2.34
O = 384
T = 2.45
O = N/A
T = TO
O = N/A
T = TO
O = 374
T = 2.66
O = 374
T = 2.28
O = 374
T = 2.60
O = 374
T = 24.39
O = 515
T = 0.22
O = 374
T = 6.57
O = 374
T = 15.51
s2v140c2300-2.cnf O = 378
T = 2.31
O = 378
T = 3.61
O = 378
T = 2.78
O = 378
T = 2.31
O = 389
T = 2.40
O = N/A
T = TO
O = N/A
T = TO
O = 378
T = 3.53
O = 378
T = 2.86
O = 378
T = 4.09
O = 378
T = 2.72
O = 508
T = 0.22
O = 378
T = 6.67
O = 378
T = 28.48
s2v140c2300-3.cnf O = 373
T = 2.19
O = 373
T = 3.54
O = 373
T = 2.83
O = 373
T = 2.66
O = 380
T = 2.63
O = N/A
T = TO
O = N/A
T = TO
O = 373
T = 3.04
O = 373
T = 2.19
O = 373
T = 3.51
O = 373
T = 2.84
O = 512
T = 0.18
O = 373
T = 6.39
O = 373
T = 14.98
s2v140c2400-1.cnf O = 398
T = 1.83
O = 398
T = 4.05
O = 398
T = 2.62
O = 398
T = 2.80
O = 417
T = 2.81
O = N/A
T = TO
O = N/A
T = TO
O = 398
T = 2.76
O = 398
T = 2.95
O = 398
T = 3.67
O = 398
T = 1.83
O = 543
T = 0.15
O = 398
T = 6.15
O = 398
T = 22.74
s2v140c2400-2.cnf O = 399
T = 1.56
O = 399
T = 3.16
O = 399
T = 1.56
O = 399
T = 2.33
O = 403
T = 1.69
O = N/A
T = TO
O = N/A
T = TO
O = 399
T = 3.71
O = 399
T = 2.67
O = 399
T = 3.42
O = 399
T = 2.01
O = 583
T = 0.21
O = 399
T = 7.00
O = 399
T = 16.01
s2v140c2400-3.cnf O = 395
T = 2.64
O = 395
T = 3.68
O = 395
T = 3.26
O = 395
T = 3.08
O = 397
T = 3.81
O = N/A
T = TO
O = N/A
T = TO
O = 395
T = 3.29
O = 395
T = 2.75
O = 395
T = 2.83
O = 395
T = 2.64
O = 543
T = 0.24
O = 395
T = 6.12
O = 395
T = 15.68
s2v140c2500-1.cnf O = 420
T = 1.92
O = 420
T = 2.91
O = 420
T = 2.26
O = 420
T = 3.10
O = 429
T = 2.85
O = N/A
T = TO
O = N/A
T = TO
O = 420
T = 2.75
O = 420
T = 2.72
O = 420
T = 3.94
O = 420
T = 1.92
O = 562
T = 0.20
O = 420
T = 6.35
O = 420
T = 15.97
s2v140c2500-2.cnf O = 424
T = 2.27
O = 424
T = 3.28
O = 424
T = 2.27
O = 424
T = 2.92
O = 444
T = 2.96
O = N/A
T = TO
O = 1250
T = 0.65
O = 424
T = 2.37
O = 424
T = 2.87
O = 424
T = 3.10
O = 424
T = 3.01
O = 595
T = 0.26
O = 424
T = 6.41
O = 424
T = 15.06
s2v140c2500-3.cnf O = 414
T = 1.80
O = 414
T = 3.34
O = 414
T = 3.01
O = 414
T = 3.51
O = 416
T = 2.29
O = N/A
T = TO
O = N/A
T = TO
O = 414
T = 1.80
O = 414
T = 2.94
O = 414
T = 3.29
O = 414
T = 3.21
O = 577
T = 0.19
O = 414
T = 6.16
O = 414
T = 16.10
s2v140c2600-1.cnf O = 439
T = 2.20
O = 439
T = 3.26
O = 439
T = 3.07
O = 439
T = 2.39
O = 448
T = 3.10
O = N/A
T = TO
O = N/A
T = TO
O = 439
T = 2.20
O = 439
T = 2.49
O = 439
T = 4.20
O = 441
T = 9.77
O = 556
T = 0.25
O = 439
T = 5.95
O = 439
T = 16.05
s2v140c2600-2.cnf O = 446
T = 2.66
O = 446
T = 2.94
O = 446
T = 2.90
O = 446
T = 3.05
O = 447
T = 1.53
O = N/A
T = TO
O = N/A
T = TO
O = 446
T = 2.67
O = 446
T = 2.66
O = 446
T = 3.52
O = 446
T = 3.29
O = 604
T = 0.27
O = 446
T = 6.11
O = 446
T = 15.30
s2v140c2600-3.cnf O = 434
T = 3.03
O = 434
T = 3.12
O = 434
T = 4.07
O = 434
T = 3.14
O = 451
T = 2.55
O = N/A
T = TO
O = N/A
T = TO
O = 434
T = 3.97
O = 434
T = 3.03
O = 434
T = 3.70
O = 434
T = 3.36
O = 625
T = 0.26
O = 434
T = 6.54
O = 434
T = 15.76
s2v160c1200-1.cnf O = 149
T = 1.69
O = 149
T = 3.98
O = 149
T = 2.77
O = 149
T = 1.69
O = 151
T = 2.78
O = N/A
T = TO
O = 600
T = 0.69
O = 149
T = 2.53
O = 149
T = 3.44
O = 149
T = 3.71
O = 149
T = 3.39
O = 229
T = 0.12
O = 149
T = 6.56
O = 149
T = 19.25
s2v160c1200-2.cnf O = 145
T = 2.20
O = 145
T = 3.17
O = 145
T = 2.98
O = 145
T = 2.20
O = 149
T = 1.30
O = N/A
T = TO
O = 600
T = 0.63
O = 145
T = 3.06
O = 145
T = 2.64
O = 145
T = 3.26
O = 145
T = 3.16
O = 230
T = 0.17
O = 145
T = 6.19
O = 145
T = 35.84
s2v160c1200-3.cnf O = 146
T = 2.27
O = 146
T = 3.98
O = 146
T = 2.61
O = 146
T = 2.29
O = 147
T = 2.92
O = N/A
T = TO
O = 600
T = 0.69
O = 146
T = 2.96
O = 146
T = 2.27
O = 146
T = 4.01
O = 146
T = 2.58
O = 246
T = 0.08
O = 146
T = 6.54
O = 146
T = 28.22
s2v160c1300-1.cnf O = 165
T = 1.96
O = 165
T = 3.14
O = 165
T = 2.57
O = 165
T = 1.96
O = 174
T = 2.68
O = N/A
T = TO
O = 650
T = 0.67
O = 165
T = 2.94
O = 165
T = 2.81
O = 165
T = 3.90
O = 165
T = 2.03
O = 259
T = 0.20
O = 165
T = 6.18
O = 165
T = 22.53
s2v160c1300-2.cnf O = 163
T = 1.25
O = 163
T = 3.38
O = 163
T = 2.66
O = 163
T = 3.37
O = 177
T = 2.92
O = N/A
T = TO
O = 650
T = 0.65
O = 163
T = 1.25
O = 163
T = 2.79
O = 163
T = 3.74
O = 163
T = 2.41
O = 262
T = 0.18
O = 163
T = 6.17
O = 163
T = 36.00
s2v160c1300-3.cnf O = 164
T = 2.15
O = 164
T = 3.50
O = 164
T = 3.12
O = 164
T = 2.24
O = 164
T = 2.89
O = N/A
T = TO
O = 650
T = 0.57
O = 164
T = 3.33
O = 164
T = 3.91
O = 164
T = 3.72
O = 164
T = 2.15
O = 265
T = 0.09
O = 164
T = 6.36
O = 164
T = 19.70
s2v160c1400-1.cnf O = 185
T = 2.57
O = 185
T = 2.97
O = 185
T = 2.57
O = 185
T = 2.99
O = 188
T = 3.38
O = N/A
T = TO
O = 700
T = 0.87
O = 185
T = 2.80
O = 185
T = 3.29
O = 185
T = 3.57
O = 185
T = 3.05
O = 291
T = 0.19
O = 185
T = 6.21
O = 185
T = 36.09
s2v160c1400-2.cnf O = 186
T = 2.21
O = 186
T = 3.97
O = 186
T = 2.25
O = 186
T = 2.33
O = 187
T = 3.05
O = N/A
T = TO
O = 700
T = 0.97
O = 186
T = 2.21
O = 186
T = 2.83
O = 186
T = 3.09
O = 186
T = 2.80
O = 276
T = 0.22
O = 186
T = 6.27
O = 186
T = 19.34
s2v160c1400-3.cnf O = 182
T = 1.51
O = 182
T = 3.45
O = 182
T = 2.88
O = 182
T = 2.59
O = 197
T = 2.74
O = N/A
T = TO
O = 700
T = 0.76
O = 182
T = 1.51
O = 182
T = 3.22
O = 182
T = 3.85
O = 182
T = 2.72
O = 280
T = 0.18
O = 182
T = 6.66
O = 182
T = 15.38
s2v160c1500-1.cnf O = 204
T = 2.53
O = 204
T = 3.79
O = 204
T = 2.57
O = 204
T = 2.71
O = 214
T = 2.41
O = N/A
T = TO
O = 750
T = 0.70
O = 204
T = 2.72
O = 204
T = 2.53
O = 204
T = 3.40
O = 204
T = 2.58
O = 321
T = 0.23
O = 204
T = 6.64
O = 204
T = 19.69
s2v160c1500-2.cnf O = 202
T = 2.21
O = 202
T = 2.45
O = 202
T = 3.00
O = 202
T = 2.98
O = 202
T = 2.98
O = N/A
T = TO
O = N/A
T = TO
O = 202
T = 3.67
O = 202
T = 2.36
O = 202
T = 3.87
O = 202
T = 2.21
O = 293
T = 0.18
O = 202
T = 6.42
O = 202
T = 15.32
s2v160c1500-3.cnf O = 202
T = 1.97
O = 202
T = 3.76
O = 202
T = 3.59
O = 202
T = 3.09
O = 217
T = 2.70
O = N/A
T = TO
O = 750
T = 0.91
O = 202
T = 2.06
O = 202
T = 2.65
O = 202
T = 3.61
O = 202
T = 1.97
O = 307
T = 0.20
O = 202
T = 6.46
O = 202
T = 28.59
s2v160c1600-1.cnf O = 221
T = 2.40
O = 221
T = 2.95
O = 221
T = 2.98
O = 221
T = 3.18
O = 226
T = 3.49
O = N/A
T = TO
O = 800
T = 0.76
O = 221
T = 4.07
O = 221
T = 2.40
O = 221
T = 2.90
O = 221
T = 2.64
O = 340
T = 0.14
O = 221
T = 6.50
O = 221
T = 22.49
s2v160c1600-2.cnf O = 223
T = 1.33
O = 223
T = 3.15
O = 223
T = 2.30
O = 223
T = 2.36
O = 229
T = 2.76
O = N/A
T = TO
O = 800
T = 0.53
O = 223
T = 3.27
O = 223
T = 1.33
O = 223
T = 3.98
O = 223
T = 3.04
O = 339
T = 0.10
O = 223
T = 6.86
O = 223
T = 15.48
s2v160c1600-3.cnf O = 220
T = 2.42
O = 220
T = 3.15
O = 220
T = 2.98
O = 220
T = 2.42
O = 232
T = 2.92
O = N/A
T = TO
O = 800
T = 0.59
O = 220
T = 3.29
O = 220
T = 2.48
O = 220
T = 3.25
O = 220
T = 2.92
O = 341
T = 0.16
O = 220
T = 6.73
O = 220
T = 27.97
s2v160c1700-1.cnf O = 244
T = 2.42
O = 244
T = 2.80
O = 244
T = 3.02
O = 244
T = 2.58
O = 256
T = 3.02
O = N/A
T = TO
O = N/A
T = TO
O = 244
T = 3.10
O = 244
T = 2.42
O = 244
T = 3.29
O = 244
T = 2.73
O = 361
T = 0.19
O = 244
T = 7.20
O = 244
T = 15.68
s2v160c1700-2.cnf O = 244
T = 2.35
O = 244
T = 3.96
O = 244
T = 2.81
O = 244
T = 2.35
O = 253
T = 2.88
O = N/A
T = TO
O = 850
T = 0.79
O = 244
T = 3.44
O = 244
T = 3.89
O = 244
T = 4.41
O = 244
T = 3.26
O = 354
T = 0.13
O = 244
T = 6.66
O = 244
T = 15.51
s2v160c1700-3.cnf O = 241
T = 2.08
O = 241
T = 3.77
O = 241
T = 2.08
O = 241
T = 3.15
O = 255
T = 2.92
O = N/A
T = TO
O = N/A
T = TO
O = 241
T = 3.40
O = 241
T = 2.89
O = 241
T = 3.81
O = 241
T = 3.50
O = 355
T = 0.14
O = 241
T = 6.23
O = 241
T = 19.54
s2v160c1800-1.cnf O = 262
T = 1.85
O = 262
T = 2.35
O = 262
T = 1.85
O = 262
T = 3.21
O = 276
T = 2.18
O = N/A
T = TO
O = N/A
T = TO
O = 262
T = 3.91
O = 262
T = 3.41
O = 262
T = 4.39
O = 262
T = 2.58
O = 387
T = 0.24
O = 262
T = 6.21
O = 262
T = 15.47
s2v160c1800-2.cnf O = 262
T = 2.24
O = 262
T = 3.86
O = 262
T = 3.24
O = 262
T = 3.16
O = 267
T = 2.70
O = N/A
T = TO
O = 900
T = 0.72
O = 262
T = 3.24
O = 262
T = 2.24
O = 262
T = 2.87
O = 262
T = 2.31
O = 416
T = 0.11
O = 262
T = 6.63
O = 262
T = 15.68
s2v160c1800-3.cnf O = 261
T = 2.40
O = 261
T = 3.16
O = 261
T = 2.45
O = 261
T = 2.40
O = 277
T = 2.97
O = N/A
T = TO
O = 900
T = 0.68
O = 261
T = 3.20
O = 261
T = 3.06
O = 261
T = 3.52
O = 261
T = 3.41
O = 384
T = 0.14
O = 261
T = 6.92
O = 261
T = 23.09
s2v160c1900-1.cnf O = 279
T = 2.82
O = 279
T = 3.02
O = 279
T = 3.05
O = 279
T = 2.82
O = 279
T = 2.95
O = N/A
T = TO
O = 950
T = 0.87
O = 279
T = 3.19
O = 279
T = 4.10
O = 279
T = 3.06
O = 279
T = 3.43
O = 429
T = 0.14
O = 279
T = 6.67
O = 279
T = 15.46
s2v160c1900-2.cnf O = 282
T = 1.85
O = 282
T = 4.45
O = 282
T = 1.85
O = 282
T = 3.07
O = 293
T = 2.25
O = N/A
T = TO
O = 950
T = 0.69
O = 282
T = 3.71
O = 282
T = 2.91
O = 282
T = 3.22
O = 282
T = 2.84
O = 421
T = 0.25
O = 282
T = 6.44
O = 282
T = 15.48
s2v160c1900-3.cnf O = 283
T = 2.54
O = 283
T = 2.97
O = 283
T = 2.61
O = 283
T = 3.29
O = 288
T = 2.30
O = N/A
T = TO
O = 950
T = 0.65
O = 283
T = 3.24
O = 283
T = 3.31
O = 283
T = 3.41
O = 283
T = 2.54
O = 419
T = 0.17
O = 283
T = 6.77
O = 283
T = 19.19
s2v160c2000-1.cnf O = 302
T = 2.79
O = 302
T = 3.63
O = 302
T = 2.79
O = 302
T = 3.25
O = 312
T = 3.19
O = N/A
T = TO
O = 1000
T = 0.94
O = 302
T = 3.93
O = 302
T = 3.69
O = 302
T = 4.11
O = 302
T = 2.90
O = 456
T = 0.14
O = 302
T = 6.14
O = 302
T = 15.88
s2v160c2000-2.cnf O = 302
T = 2.54
O = 302
T = 4.27
O = 302
T = 2.57
O = 302
T = 2.73
O = 309
T = 2.53
O = N/A
T = TO
O = 1000
T = 0.70
O = 302
T = 3.30
O = 302
T = 2.77
O = 302
T = 3.56
O = 302
T = 2.54
O = 431
T = 0.22
O = 302
T = 6.73
O = 302
T = 35.66
s2v160c2000-3.cnf O = 302
T = 2.38
O = 302
T = 3.13
O = 302
T = 3.95
O = 302
T = 3.01
O = 318
T = 2.77
O = N/A
T = TO
O = 1000
T = 0.97
O = 302
T = 3.29
O = 302
T = 2.38
O = 302
T = 4.69
O = 302
T = 3.31
O = 458
T = 0.06
O = 302
T = 7.13
O = 302
T = 15.30
s2v160c2100-1.cnf O = 322
T = 2.70
O = 322
T = 3.67
O = 322
T = 2.70
O = 322
T = 2.96
O = 330
T = 3.17
O = N/A
T = TO
O = 1050
T = 0.79
O = 322
T = 3.50
O = 322
T = 3.45
O = 322
T = 4.05
O = 322
T = 3.10
O = 471
T = 0.22
O = 322
T = 6.64
O = 322
T = 28.38
s2v160c2100-2.cnf O = 324
T = 2.80
O = 324
T = 3.65
O = 324
T = 3.35
O = 324
T = 3.41
O = 340
T = 3.01
O = N/A
T = TO
O = 1050
T = 1.03
O = 324
T = 3.94
O = 324
T = 2.80
O = 324
T = 4.26
O = 324
T = 3.63
O = 463
T = 0.19
O = 324
T = 6.81
O = 324
T = 27.99
s2v160c2100-3.cnf O = 319
T = 2.84
O = 319
T = 3.88
O = 319
T = 3.10
O = 319
T = 3.59
O = 338
T = 2.57
O = N/A
T = TO
O = N/A
T = TO
O = 319
T = 2.84
O = 319
T = 3.45
O = 319
T = 4.14
O = 319
T = 3.18
O = 474
T = 0.17
O = 319
T = 6.76
O = 319
T = 15.32
s2v160c2200-1.cnf O = 340
T = 2.92
O = 340
T = 4.19
O = 340
T = 3.57
O = 340
T = 2.92
O = 355
T = 3.19
O = N/A
T = TO
O = N/A
T = TO
O = 340
T = 3.30
O = 340
T = 2.95
O = 340
T = 3.38
O = 340
T = 3.80
O = 478
T = 0.17
O = 340
T = 6.99
O = 340
T = 16.51
s2v160c2200-2.cnf O = 342
T = 2.60
O = 342
T = 3.27
O = 342
T = 2.96
O = 342
T = 3.48
O = 359
T = 2.12
O = N/A
T = TO
O = N/A
T = TO
O = 342
T = 3.38
O = 342
T = 2.60
O = 342
T = 4.70
O = 342
T = 3.16
O = 462
T = 0.18
O = 342
T = 6.93
O = 342
T = 15.72
s2v160c2200-3.cnf O = 342
T = 2.67
O = 342
T = 3.23
O = 342
T = 3.11
O = 342
T = 2.83
O = 356
T = 2.77
O = N/A
T = TO
O = N/A
T = TO
O = 342
T = 2.67
O = 342
T = 3.19
O = 342
T = 4.59
O = 342
T = 3.57
O = 498
T = 0.14
O = 342
T = 6.71
O = 342
T = 23.57
s2v160c2300-1.cnf O = 363
T = 2.13
O = 363
T = 4.32
O = 363
T = 3.30
O = 363
T = 2.67
O = 378
T = 3.30
O = N/A
T = TO
O = 1150
T = 0.68
O = 363
T = 2.13
O = 363
T = 3.74
O = 363
T = 4.27
O = 363
T = 2.28
O = 487
T = 0.13
O = 363
T = 6.78
O = 363
T = 35.60
s2v160c2300-2.cnf O = 361
T = 1.75
O = 361
T = 4.07
O = 361
T = 6.00
O = 361
T = 3.16
O = 374
T = 2.30
O = N/A
T = TO
O = 1150
T = 0.78
O = 361
T = 1.75
O = 361
T = 2.85
O = 361
T = 4.48
O = 361
T = 2.64
O = 515
T = 0.20
O = 361
T = 6.79
O = 361
T = 15.06
s2v160c2300-3.cnf O = 361
T = 2.60
O = 361
T = 3.60
O = 361
T = 4.03
O = 361
T = 3.20
O = 382
T = 3.15
O = N/A
T = TO
O = 1150
T = 0.77
O = 361
T = 2.66
O = 361
T = 2.60
O = 361
T = 4.49
O = 361
T = 7.07
O = 536
T = 0.09
O = 361
T = 6.05
O = 361
T = 17.02
s2v160c2400-1.cnf O = 383
T = 2.42
O = 383
T = 3.88
O = 383
T = 2.42
O = 383
T = 3.17
O = 395
T = 3.20
O = N/A
T = TO
O = N/A
T = TO
O = 383
T = 3.14
O = 383
T = 4.05
O = 383
T = 3.69
O = 383
T = 3.00
O = 504
T = 0.10
O = 383
T = 6.35
O = 383
T = 17.96
s2v160c2400-2.cnf O = 382
T = 2.93
O = 382
T = 4.21
O = 382
T = 3.62
O = 382
T = 3.60
O = 401
T = 3.15
O = N/A
T = TO
O = 1200
T = 0.71
O = 382
T = 4.29
O = 382
T = 2.93
O = 382
T = 3.64
O = 382
T = 3.51
O = 581
T = 0.21
O = 382
T = 6.44
O = 382
T = 15.66
s2v160c2400-3.cnf O = 383
T = 2.32
O = 383
T = 4.02
O = 383
T = 3.24
O = 383
T = 3.28
O = 389
T = 3.12
O = N/A
T = TO
O = N/A
T = TO
O = 383
T = 2.32
O = 383
T = 2.55
O = 383
T = 3.87
O = 383
T = 3.38
O = 534
T = 0.10
O = 383
T = 6.60
O = 383
T = 23.11
s2v160c2500-1.cnf O = 405
T = 2.46
O = 405
T = 3.84
O = 405
T = 3.09
O = 405
T = 3.75
O = 415
T = 2.83
O = N/A
T = TO
O = 1250
T = 0.63
O = 405
T = 2.94
O = 405
T = 2.54
O = 405
T = 3.66
O = 405
T = 2.46
O = 548
T = 0.19
O = 405
T = 6.33
O = 405
T = 19.07
s2v160c2500-2.cnf O = 405
T = 2.66
O = 405
T = 3.23
O = 405
T = 3.11
O = 405
T = 3.12
O = 419
T = 3.03
O = N/A
T = TO
O = 1250
T = 0.55
O = 405
T = 2.98
O = 405
T = 2.66
O = 405
T = 3.57
O = 405
T = 3.37
O = 572
T = 0.18
O = 405
T = 6.53
O = 405
T = 15.49
s2v160c2500-3.cnf O = 401
T = 1.65
O = 401
T = 3.99
O = 401
T = 2.88
O = 401
T = 1.65
O = 422
T = 2.62
O = N/A
T = TO
O = N/A
T = TO
O = 401
T = 2.92
O = 401
T = 2.59
O = 401
T = 4.67
O = 401
T = 2.13
O = 585
T = 0.11
O = 401
T = 6.43
O = 401
T = 15.33
s2v160c2600-1.cnf O = 428
T = 2.44
O = 428
T = 3.91
O = 428
T = 3.60
O = 428
T = 2.74
O = 442
T = 3.12
O = N/A
T = TO
O = N/A
T = TO
O = 428
T = 3.66
O = 428
T = 2.44
O = 428
T = 4.81
O = 428
T = 3.01
O = 575
T = 0.11
O = 428
T = 6.84
O = 428
T = 24.08
s2v160c2600-2.cnf O = 428
T = 1.56
O = 428
T = 3.62
O = 428
T = 2.26
O = 428
T = 2.54
O = 433
T = 2.85
O = N/A
T = TO
O = 1300
T = 0.71
O = 428
T = 3.76
O = 428
T = 2.79
O = 428
T = 3.71
O = 428
T = 1.56
O = 596
T = 0.12
O = 428
T = 6.99
O = 428
T = 15.27
s2v160c2600-3.cnf O = 426
T = 2.24
O = 426
T = 3.85
O = 426
T = 2.96
O = 426
T = 3.23
O = 431
T = 3.62
O = N/A
T = TO
O = 1300
T = 0.78
O = 426
T = 2.30
O = 426
T = 2.24
O = 426
T = 4.36
O = 426
T = 3.67
O = 583
T = 0.21
O = 426
T = 7.42
O = 426
T = 15.37
s2v180c1200-1.cnf O = 129
T = 2.97
O = 129
T = 4.33
O = 129
T = 3.94
O = 129
T = 2.97
O = 144
T = 2.54
O = N/A
T = TO
O = 600
T = 0.83
O = 129
T = 3.34
O = 129
T = 3.36
O = 129
T = 3.31
O = 129
T = 4.12
O = 227
T = 0.18
O = 129
T = 6.51
O = 129
T = 15.75
s2v180c1200-2.cnf O = 134
T = 1.41
O = 134
T = 3.13
O = 134
T = 3.19
O = 134
T = 1.41
O = 134
T = 3.99
O = N/A
T = TO
O = 600
T = 0.51
O = 134
T = 3.74
O = 134
T = 2.98
O = 134
T = 4.15
O = 134
T = 3.04
O = 219
T = 0.08
O = 134
T = 6.76
O = 134
T = 15.72
s2v180c1200-3.cnf O = 132
T = 2.80
O = 132
T = 3.04
O = 132
T = 3.38
O = 132
T = 2.80
O = 132
T = 4.12
O = N/A
T = TO
O = 600
T = 0.71
O = 132
T = 3.57
O = 132
T = 3.84
O = 132
T = 4.67
O = 132
T = 3.69
O = 206
T = 0.13
O = 132
T = 6.71
O = 132
T = 15.53
s2v180c1300-1.cnf O = 155
T = 1.92
O = 155
T = 3.63
O = 155
T = 1.97
O = 155
T = 1.92
O = 158
T = 2.91
O = N/A
T = TO
O = 650
T = 0.85
O = 155
T = 3.13
O = 155
T = 2.31
O = 155
T = 3.38
O = 155
T = 2.84
O = 229
T = 0.14
O = 155
T = 7.25
O = 155
T = 19.11
s2v180c1300-2.cnf O = 152
T = 1.85
O = 152
T = 3.87
O = 152
T = 1.85
O = 152
T = 2.55
O = 155
T = 3.60
O = N/A
T = TO
O = 650
T = 0.72
O = 152
T = 3.83
O = 152
T = 1.96
O = 152
T = 2.83
O = 152
T = 2.58
O = 263
T = 0.17
O = 152
T = 6.70
O = 152
T = 36.00
s2v180c1300-3.cnf O = 150
T = 2.50
O = 150
T = 2.50
O = 150
T = 2.71
O = 150
T = 2.53
O = 160
T = 3.01
O = N/A
T = TO
O = 650
T = 0.81
O = 150
T = 2.84
O = 150
T = 4.13
O = 150
T = 3.87
O = 150
T = 3.49
O = 259
T = 0.19
O = 150
T = 7.26
O = 150
T = 15.32
s2v180c1400-1.cnf O = 172
T = 2.41
O = 172
T = 3.69
O = 172
T = 3.03
O = 172
T = 3.08
O = 178
T = 3.06
O = N/A
T = TO
O = 700
T = 0.78
O = 172
T = 2.41
O = 172
T = 3.85
O = 172
T = 3.67
O = 172
T = 3.58
O = 297
T = 0.20
O = 172
T = 6.86
O = 172
T = 15.80
s2v180c1400-2.cnf O = 171
T = 2.34
O = 171
T = 3.45
O = 171
T = 2.97
O = 171
T = 2.34
O = 187
T = 2.56
O = N/A
T = TO
O = 700
T = 0.81
O = 171
T = 3.38
O = 171
T = 3.83
O = 171
T = 4.59
O = 171
T = 2.85
O = 291
T = 0.08
O = 171
T = 6.55
O = 171
T = 28.51
s2v180c1400-3.cnf O = 170
T = 1.99
O = 170
T = 2.17
O = 170
T = 1.99
O = 170
T = 3.11
O = 179
T = 2.35
O = N/A
T = TO
O = 700
T = 0.61
O = 170
T = 3.30
O = 170
T = 3.61
O = 170
T = 4.24
O = 170
T = 3.24
O = 320
T = 0.08
O = 170
T = 6.96
O = 170
T = 19.46
s2v180c1500-1.cnf O = 192
T = 2.47
O = 192
T = 3.71
O = 192
T = 3.30
O = 192
T = 3.00
O = 197
T = 3.52
O = N/A
T = TO
O = N/A
T = TO
O = 192
T = 2.47
O = 192
T = 2.50
O = 192
T = 3.68
O = 192
T = 3.47
O = 298
T = 0.17
O = 192
T = 6.72
O = 192
T = 15.80
s2v180c1500-2.cnf O = 189
T = 2.00
O = 189
T = 3.18
O = 189
T = 2.00
O = 189
T = 2.98
O = 201
T = 2.37
O = N/A
T = TO
O = 750
T = 0.82
O = 189
T = 4.07
O = 189
T = 2.46
O = 189
T = 2.86
O = 189
T = 3.85
O = 277
T = 0.11
O = 189
T = 6.70
O = 189
T = 28.82
s2v180c1500-3.cnf O = 187
T = 2.91
O = 187
T = 2.91
O = 187
T = 3.38
O = 187
T = 2.96
O = 191
T = 3.35
O = N/A
T = TO
O = 750
T = 0.59
O = 187
T = 3.41
O = 187
T = 4.02
O = 187
T = 4.34
O = 187
T = 3.05
O = 313
T = 0.18
O = 187
T = 7.10
O = 187
T = 36.08
s2v180c1600-1.cnf O = 209
T = 2.19
O = 209
T = 4.46
O = 209
T = 3.01
O = 209
T = 2.72
O = 217
T = 3.48
O = N/A
T = TO
O = 800
T = 0.71
O = 209
T = 8.80
O = 209
T = 3.27
O = 209
T = 2.19
O = 209
T = 3.75
O = 327
T = 0.17
O = 209
T = 6.67
O = 209
T = 23.54
s2v180c1600-2.cnf O = 209
T = 1.67
O = 209
T = 1.67
O = 209
T = 2.86
O = 209
T = 3.11
O = 211
T = 3.14
O = N/A
T = TO
O = 800
T = 0.79
O = 209
T = 3.98
O = 209
T = 3.23
O = 209
T = 3.93
O = 209
T = 3.50
O = 316
T = 0.26
O = 209
T = 6.57
O = 209
T = 36.11
s2v180c1600-3.cnf O = 211
T = 3.00
O = 211
T = 3.44
O = 211
T = 3.64
O = 211
T = 3.00
O = 216
T = 3.66
O = N/A
T = TO
O = 800
T = 0.59
O = 211
T = 3.07
O = 211
T = 3.18
O = 211
T = 9.78
O = 211
T = 3.57
O = 337
T = 0.23
O = 211
T = 7.07
O = 211
T = 36.12
s2v180c1700-1.cnf O = 226
T = 1.72
O = 226
T = 3.58
O = 226
T = 1.72
O = 226
T = 3.53
O = 242
T = 2.40
O = N/A
T = TO
O = 850
T = 0.89
O = 226
T = 3.32
O = 226
T = 4.31
O = 226
T = 3.46
O = 226
T = 3.41
O = 327
T = 0.21
O = 226
T = 6.54
O = 226
T = 15.81
s2v180c1700-2.cnf O = 228
T = 2.82
O = 228
T = 3.67
O = 228
T = 2.94
O = 228
T = 3.10
O = 240
T = 2.44
O = N/A
T = TO
O = 850
T = 0.67
O = 228
T = 3.05
O = 228
T = 2.82
O = 228
T = 3.11
O = 228
T = 3.78
O = 366
T = 0.23
O = 228
T = 6.40
O = 228
T = 23.03
s2v180c1700-3.cnf O = 231
T = 2.22
O = 231
T = 2.67
O = 231
T = 2.37
O = 231
T = 2.22
O = 232
T = 3.64
O = N/A
T = TO
O = 850
T = 0.95
O = 231
T = 3.46
O = 231
T = 2.62
O = 231
T = 3.65
O = 231
T = 3.20
O = 344
T = 0.20
O = 231
T = 7.01
O = 231
T = 15.33
s2v180c1800-1.cnf O = 246
T = 2.06
O = 246
T = 4.54
O = 246
T = 2.06
O = 246
T = 2.97
O = 249
T = 3.70
O = N/A
T = TO
O = N/A
T = TO
O = 246
T = 4.23
O = 246
T = 3.07
O = 246
T = 5.18
O = 246
T = 3.24
O = 382
T = 0.10
O = 246
T = 6.94
O = 246
T = 35.86
s2v180c1800-2.cnf O = 244
T = 2.50
O = 244
T = 4.19
O = 244
T = 3.00
O = 244
T = 3.65
O = 248
T = 3.06
O = N/A
T = TO
O = 900
T = 0.75
O = 244
T = 5.04
O = 244
T = 2.50
O = 244
T = 3.95
O = 244
T = 3.09
O = 355
T = 0.19
O = 244
T = 6.62
O = 244
T = 35.81
s2v180c1800-3.cnf O = 249
T = 2.40
O = 249
T = 3.87
O = 249
T = 2.40
O = 249
T = 2.95
O = 262
T = 2.77
O = N/A
T = TO
O = 900
T = 0.76
O = 249
T = 2.80
O = 249
T = 2.88
O = 249
T = 9.65
O = 249
T = 4.00
O = 396
T = 0.19
O = 249
T = 7.13
O = 249
T = 36.65
s2v180c1900-1.cnf O = 267
T = 3.24
O = 267
T = 3.65
O = 267
T = 3.76
O = 267
T = 3.24
O = 280
T = 3.49
O = N/A
T = TO
O = 950
T = 0.81
O = 267
T = 3.80
O = 267
T = 4.20
O = 267
T = 3.50
O = 267
T = 3.47
O = 400
T = 0.13
O = 267
T = 6.39
O = 267
T = 16.42
s2v180c1900-2.cnf O = 263
T = 2.66
O = 263
T = 3.81
O = 263
T = 2.66
O = 263
T = 3.28
O = 281
T = 4.02
O = N/A
T = TO
O = N/A
T = TO
O = 263
T = 3.00
O = 263
T = 2.89
O = 263
T = 3.68
O = 263
T = 3.94
O = 400
T = 0.17
O = 263
T = 6.56
O = 263
T = 28.90
s2v180c1900-3.cnf O = 269
T = 2.76
O = 269
T = 4.77
O = 269
T = 3.13
O = 269
T = 3.55
O = 282
T = 3.76
O = N/A
T = TO
O = N/A
T = TO
O = 269
T = 2.76
O = 269
T = 3.61
O = 269
T = 3.42
O = 269
T = 3.94
O = 422
T = 0.16
O = 269
T = 6.30
O = 269
T = 19.57
s2v180c2000-1.cnf O = 286
T = 2.71
O = 286
T = 4.08
O = 286
T = 2.71
O = 286
T = 3.49
O = 297
T = 4.06
O = N/A
T = TO
O = 1000
T = 0.83
O = 286
T = 4.39
O = 286
T = 3.70
O = 286
T = 4.16
O = 286
T = 4.10
O = 470
T = 0.24
O = 286
T = 6.53
O = 286
T = 15.54
s2v180c2000-2.cnf O = 285
T = 2.39
O = 285
T = 4.56
O = 285
T = 3.68
O = 285
T = 3.57
O = 293
T = 3.09
O = N/A
T = TO
O = 1000
T = 0.99
O = 285
T = 3.16
O = 285
T = 2.39
O = 285
T = 4.33
O = 285
T = 3.30
O = 413
T = 0.12
O = 285
T = 6.83
O = 285
T = 28.75
s2v180c2000-3.cnf O = 288
T = 2.19
O = 288
T = 4.94
O = 288
T = 3.26
O = 288
T = 3.22
O = 296
T = 3.30
O = N/A
T = TO
O = 1000
T = 0.55
O = 288
T = 2.50
O = 288
T = 2.78
O = 288
T = 3.74
O = 288
T = 2.19
O = 426
T = 0.21
O = 288
T = 6.74
O = 288
T = 15.56
s2v180c2100-1.cnf O = 306
T = 2.82
O = 306
T = 3.85
O = 306
T = 2.82
O = 306
T = 3.04
O = 316
T = 2.55
O = N/A
T = TO
O = 1050
T = 0.78
O = 306
T = 3.69
O = 306
T = 3.43
O = 306
T = 3.30
O = 306
T = 3.72
O = 465
T = 0.19
O = 306
T = 6.69
O = 306
T = 19.36
s2v180c2100-2.cnf O = 302
T = 2.64
O = 302
T = 3.17
O = 302
T = 2.64
O = 302
T = 3.24
O = 324
T = 2.88
O = N/A
T = TO
O = 1050
T = 0.81
O = 302
T = 3.81
O = 302
T = 3.88
O = 302
T = 3.92
O = 302
T = 2.78
O = 481
T = 0.07
O = 302
T = 6.87
O = 302
T = 15.47
s2v180c2100-3.cnf O = 304
T = 2.35
O = 304
T = 4.00
O = 304
T = 2.35
O = 304
T = 3.18
O = 327
T = 2.77
O = N/A
T = TO
O = N/A
T = TO
O = 304
T = 3.64
O = 304
T = 3.83
O = 304
T = 3.70
O = 304
T = 3.35
O = 447
T = 0.23
O = 304
T = 6.48
O = 304
T = 15.38
s2v180c2200-1.cnf O = 323
T = 2.69
O = 323
T = 4.35
O = 323
T = 3.17
O = 323
T = 3.46
O = 333
T = 3.95
O = N/A
T = TO
O = 1100
T = 0.97
O = 323
T = 4.10
O = 323
T = 3.09
O = 323
T = 4.12
O = 323
T = 2.69
O = 511
T = 0.17
O = 323
T = 6.87
O = 323
T = 15.14
s2v180c2200-2.cnf O = 324
T = 2.29
O = 324
T = 3.83
O = 324
T = 2.29
O = 324
T = 3.66
O = 333
T = 3.64
O = N/A
T = TO
O = 1100
T = 0.88
O = 324
T = 3.57
O = 324
T = 3.06
O = 324
T = 4.25
O = 324
T = 3.59
O = 488
T = 0.17
O = 324
T = 6.15
O = 324
T = 24.57
s2v180c2200-3.cnf O = 321
T = 2.34
O = 321
T = 4.21
O = 321
T = 3.60
O = 321
T = 3.29
O = 337
T = 4.12
O = N/A
T = TO
O = 1100
T = 0.53
O = 321
T = 3.93
O = 321
T = 2.46
O = 321
T = 4.49
O = 321
T = 2.34
O = 460
T = 0.15
O = 321
T = 6.17
O = 321
T = 15.78
s2v180c2300-1.cnf O = 340
T = 2.76
O = 340
T = 4.70
O = 340
T = 4.04
O = 340
T = 2.76
O = 367
T = 2.69
O = N/A
T = TO
O = 1150
T = 0.73
O = 340
T = 3.58
O = 340
T = 3.99
O = 340
T = 4.47
O = 340
T = 3.03
O = 512
T = 0.10
O = 340
T = 6.26
O = 340
T = 24.06
s2v180c2300-2.cnf O = 344
T = 1.84
O = 344
T = 3.84
O = 344
T = 3.28
O = 344
T = 4.46
O = 356
T = 3.80
O = N/A
T = TO
O = 1150
T = 0.71
O = 344
T = 3.69
O = 344
T = 1.84
O = 344
T = 5.23
O = 344
T = 3.16
O = 487
T = 0.24
O = 344
T = 6.67
O = 344
T = 23.00
s2v180c2300-3.cnf O = 347
T = 2.98
O = 347
T = 5.12
O = 347
T = 2.98
O = 347
T = 3.04
O = 360
T = 3.53
O = N/A
T = TO
O = N/A
T = TO
O = 347
T = 3.52
O = 347
T = 3.56
O = 347
T = 4.04
O = 347
T = 3.82
O = 522
T = 0.19
O = 347
T = 6.98
O = 347
T = 36.21
s2v180c2400-1.cnf O = 363
T = 2.74
O = 363
T = 3.81
O = 363
T = 3.60
O = 363
T = 2.74
O = 371
T = 3.44
O = N/A
T = TO
O = 1200
T = 0.62
O = 363
T = 3.48
O = 363
T = 3.34
O = 363
T = 3.80
O = 363
T = 11.53
O = 533
T = 0.15
O = 363
T = 6.28
O = 363
T = 23.44
s2v180c2400-2.cnf O = 362
T = 2.36
O = 362
T = 5.01
O = 362
T = 3.80
O = 362
T = 4.08
O = 367
T = 3.74
O = N/A
T = TO
O = 1200
T = 0.94
O = 362
T = 4.38
O = 362
T = 2.36
O = 362
T = 3.49
O = 362
T = 2.90
O = 507
T = 0.13
O = 362
T = 7.10
O = 362
T = 15.63
s2v180c2400-3.cnf O = 371
T = 2.84
O = 371
T = 4.17
O = 371
T = 3.82
O = 371
T = 3.96
O = 374
T = 3.19
O = N/A
T = TO
O = 1200
T = 0.69
O = 371
T = 3.21
O = 371
T = 2.84
O = 371
T = 4.91
O = 371
T = 3.84
O = 535
T = 0.24
O = 371
T = 6.82
O = 371
T = 28.18
s2v180c2500-1.cnf O = 385
T = 2.82
O = 385
T = 5.42
O = 385
T = 3.76
O = 385
T = 2.82
O = 399
T = 3.25
O = N/A
T = TO
O = 1250
T = 0.56
O = 385
T = 3.95
O = 385
T = 3.68
O = 385
T = 4.74
O = 385
T = 3.40
O = 570
T = 0.13
O = 385
T = 6.59
O = 385
T = 17.23
s2v180c2500-2.cnf O = 382
T = 2.97
O = 382
T = 4.62
O = 382
T = 3.23
O = 382
T = 2.97
O = 384
T = 5.33
O = N/A
T = TO
O = N/A
T = TO
O = 382
T = 4.15
O = 382
T = 4.45
O = 382
T = 3.80
O = 382
T = 3.60
O = 553
T = 0.09
O = 382
T = 7.27
O = 382
T = 22.88
s2v180c2500-3.cnf O = 390
T = 2.86
O = 390
T = 3.80
O = 390
T = 3.69
O = 390
T = 3.44
O = 405
T = 2.89
O = N/A
T = TO
O = 1250
T = 1.05
O = 390
T = 3.99
O = 390
T = 3.09
O = 390
T = 4.31
O = 390
T = 2.86
O = 554
T = 0.16
O = 390
T = 6.93
O = 390
T = 35.54
s2v180c2600-1.cnf O = 405
T = 1.67
O = 405
T = 2.94
O = 405
T = 4.23
O = 405
T = 4.89
O = 415
T = 3.58
O = N/A
T = TO
O = N/A
T = TO
O = 405
T = 4.07
O = 405
T = 1.67
O = 405
T = 4.67
O = 405
T = 2.79
O = N/A
T = TO
O = 405
T = 6.99
O = 405
T = 16.53
s2v180c2600-2.cnf O = 405
T = 2.85
O = 405
T = 5.17
O = 405
T = 3.44
O = 405
T = 3.72
O = 423
T = 2.83
O = N/A
T = TO
O = N/A
T = TO
O = 405
T = 4.22
O = 405
T = 2.85
O = 405
T = 4.34
O = 405
T = 3.61
O = 556
T = 0.23
O = 405
T = 6.64
O = 405
T = 17.14
s2v180c2600-3.cnf O = 413
T = 2.90
O = 413
T = 4.08
O = 413
T = 3.72
O = 413
T = 2.98
O = 439
T = 3.19
O = N/A
T = TO
O = N/A
T = TO
O = 413
T = 3.42
O = 413
T = 2.90
O = 413
T = 4.30
O = 413
T = 3.36
O = 611
T = 0.24
O = 413
T = 6.66
O = 413
T = 37.14
s2v200c1200-1.cnf O = 122
T = 2.96
O = 122
T = 5.05
O = 122
T = 3.04
O = 122
T = 2.96
O = 122
T = 4.51
O = N/A
T = TO
O = 600
T = 0.79
O = 122
T = 4.42
O = 122
T = 3.96
O = 122
T = 4.32
O = 122
T = 3.77
O = 197
T = 0.19
O = 122
T = 6.89
O = 122
T = 15.63
s2v200c1200-2.cnf O = 125
T = 2.57
O = 125
T = 4.75
O = 125
T = 3.58
O = 125
T = 2.69
O = 137
T = 3.31
O = N/A
T = TO
O = 600
T = 0.79
O = 125
T = 4.47
O = 125
T = 2.57
O = 125
T = 4.28
O = 125
T = 4.46
O = 237
T = 0.18
O = 125
T = 6.46
O = 125
T = 19.58
s2v200c1200-3.cnf O = 128
T = 3.01
O = 128
T = 12.49
O = 128
T = 3.45
O = 128
T = 3.01
O = 141
T = 2.67
O = N/A
T = TO
O = 600
T = 0.69
O = 128
T = 4.01
O = 128
T = 3.76
O = 128
T = 3.98
O = 128
T = 3.69
O = 218
T = 0.22
O = 128
T = 9.28
O = 128
T = 16.19
s2v200c1300-1.cnf O = 142
T = 2.73
O = 142
T = 4.44
O = 142
T = 3.69
O = 142
T = 2.78
O = 148
T = 3.27
O = N/A
T = TO
O = 650
T = 0.88
O = 142
T = 43.61
O = 142
T = 2.73
O = 142
T = 3.53
O = 142
T = 3.52
O = 232
T = 0.23
O = 142
T = 7.34
O = 142
T = 36.42
s2v200c1300-2.cnf O = 147
T = 2.51
O = 147
T = 6.66
O = 147
T = 2.81
O = 147
T = 2.51
O = 160
T = 3.80
O = N/A
T = TO
O = 650
T = 0.48
O = 147
T = 3.98
O = 147
T = 3.31
O = 147
T = 3.94
O = 147
T = 3.17
O = 253
T = 0.19
O = 147
T = 10.71
O = 147
T = 36.64
s2v200c1300-3.cnf O = 146
T = 2.79
O = 146
T = 4.06
O = 146
T = 3.42
O = 146
T = 2.79
O = 156
T = 2.93
O = N/A
T = TO
O = 650
T = 0.43
O = 146
T = 3.81
O = 146
T = 3.70
O = 146
T = 4.45
O = 146
T = 2.83
O = 253
T = 0.14
O = 146
T = 6.75
O = 146
T = 36.21
s2v200c1400-1.cnf O = 159
T = 1.99
O = 159
T = 4.46
O = 159
T = 4.35
O = 159
T = 1.99
O = 171
T = 3.43
O = N/A
T = TO
O = 700
T = 0.53
O = 159
T = 4.43
O = 159
T = 4.80
O = 159
T = 3.63
O = 159
T = 3.38
O = 249
T = 0.22
O = 159
T = 7.11
O = 159
T = 35.86
s2v200c1400-2.cnf O = 161
T = 2.01
O = 161
T = 10.86
O = 161
T = 3.97
O = 161
T = 3.70
O = 165
T = 3.44
O = N/A
T = TO
O = 700
T = 0.76
O = 161
T = 3.67
O = 161
T = 2.01
O = 161
T = 3.22
O = 161
T = 3.66
O = 243
T = 0.19
O = 161
T = 6.45
O = 161
T = 36.38
s2v200c1400-3.cnf O = 162
T = 2.78
O = 162
T = 4.67
O = 162
T = 3.51
O = 162
T = 2.78
O = 169
T = 3.49
O = N/A
T = TO
O = 700
T = 0.69
O = 162
T = 4.43
O = 162
T = 3.00
O = 162
T = 3.83
O = 162
T = 4.53
O = 279
T = 0.15
O = 162
T = 5.96
O = 162
T = 16.48
s2v200c1500-1.cnf O = 178
T = 2.95
O = 178
T = 3.85
O = 178
T = 4.18
O = 178
T = 3.78
O = 187
T = 3.46
O = N/A
T = TO
O = 750
T = 0.92
O = 178
T = 3.71
O = 178
T = 2.95
O = 178
T = 4.68
O = 178
T = 4.19
O = 272
T = 0.20
O = 178
T = 6.37
O = 178
T = 29.08
s2v200c1500-2.cnf O = 176
T = 3.48
O = 176
T = 4.70
O = 176
T = 3.97
O = 176
T = 3.48
O = 181
T = 3.89
O = N/A
T = TO
O = 750
T = 0.64
O = 176
T = 3.64
O = 176
T = 3.50
O = 176
T = 4.81
O = 176
T = 4.10
O = 290
T = 0.19
O = 176
T = 6.74
O = 176
T = 29.11
s2v200c1500-3.cnf O = 181
T = 2.96
O = 181
T = 3.21
O = 181
T = 4.13
O = 181
T = 2.96
O = 192
T = 3.59
O = N/A
T = TO
O = 750
T = 0.67
O = 181
T = 4.21
O = 181
T = 3.45
O = 181
T = 4.50
O = 181
T = 3.99
O = 299
T = 0.13
O = 181
T = 6.86
O = 181
T = 19.25
s2v200c1600-1.cnf O = 200
T = 2.73
O = 200
T = 4.20
O = 200
T = 4.45
O = 200
T = 2.73
O = 203
T = 4.26
O = N/A
T = TO
O = 800
T = 0.53
O = 200
T = 3.89
O = 200
T = 3.43
O = 200
T = 4.33
O = 200
T = 3.10
O = 306
T = 0.14
O = 200
T = 6.99
O = 200
T = 36.02
s2v200c1600-2.cnf O = 193
T = 3.69
O = 193
T = 4.61
O = 193
T = 4.09
O = 193
T = 3.69
O = 205
T = 3.52
O = N/A
T = TO
O = 800
T = 0.71
O = 193
T = 5.00
O = 193
T = 4.73
O = 193
T = 4.54
O = 193
T = 4.12
O = 329
T = 0.17
O = 193
T = 6.62
O = 193
T = 15.71
s2v200c1600-3.cnf O = 200
T = 3.25
O = 200
T = 4.87
O = 200
T = 3.61
O = 200
T = 3.25
O = 204
T = 3.80
O = N/A
T = TO
O = 800
T = 0.87
O = 200
T = 3.82
O = 200
T = 4.34
O = 200
T = 4.01
O = 200
T = 4.34
O = 328
T = 0.23
O = 200
T = 6.55
O = 200
T = 28.92
s2v200c1700-1.cnf O = 216
T = 3.06
O = 216
T = 5.03
O = 216
T = 3.93
O = 216
T = 3.06
O = 223
T = 3.15
O = N/A
T = TO
O = 850
T = 0.88
O = 216
T = 3.74
O = 216
T = 3.50
O = 216
T = 5.32
O = 216
T = 4.10
O = 352
T = 0.23
O = 216
T = 6.10
O = 216
T = 24.10
s2v200c1700-2.cnf O = 215
T = 3.86
O = 215
T = 4.27
O = 215
T = 4.32
O = 215
T = 3.94
O = 220
T = 4.06
O = N/A
T = TO
O = 850
T = 0.49
O = 215
T = 4.23
O = 215
T = 4.43
O = 215
T = 4.34
O = 215
T = 3.86
O = 337
T = 0.14
O = 215
T = 6.43
O = 215
T = 19.33
s2v200c1700-3.cnf O = 219
T = 2.42
O = 219
T = 5.12
O = 219
T = 3.20
O = 219
T = 2.42
O = 224
T = 4.22
O = N/A
T = TO
O = 850
T = 0.91
O = 219
T = 4.96
O = 219
T = 3.52
O = 219
T = 3.93
O = 219
T = 4.98
O = 335
T = 0.17
O = 219
T = 6.41
O = 219
T = 35.71
s2v200c1800-1.cnf O = 236
T = 3.34
O = 236
T = 5.31
O = 236
T = 4.05
O = 236
T = 4.09
O = 236
T = 3.66
O = N/A
T = TO
O = 900
T = 0.48
O = 236
T = 3.85
O = 236
T = 3.34
O = 236
T = 3.86
O = 236
T = 4.59
O = 387
T = 0.21
O = 236
T = 7.22
O = 236
T = 23.26
s2v200c1800-2.cnf O = 233
T = 3.42
O = 233
T = 4.43
O = 233
T = 4.14
O = 233
T = 3.54
O = 240
T = 4.37
O = N/A
T = TO
O = 900
T = 1.00
O = 233
T = 4.80
O = 233
T = 3.42
O = 233
T = 4.75
O = 233
T = 3.60
O = 362
T = 0.24
O = 233
T = 6.13
O = 233
T = 19.41
s2v200c1800-3.cnf O = 240
T = 2.95
O = 240
T = 3.86
O = 240
T = 2.95
O = 240
T = 3.51
O = 246
T = 3.57
O = N/A
T = TO
O = 900
T = 1.06
O = 240
T = 3.37
O = 240
T = 3.76
O = 240
T = 3.38
O = 240
T = 3.03
O = 379
T = 0.16
O = 240
T = 7.13
O = 240
T = 36.01
s2v200c1900-1.cnf O = 256
T = 2.49
O = 256
T = 3.83
O = 256
T = 3.34
O = 256
T = 4.07
O = 267
T = 3.48
O = N/A
T = TO
O = N/A
T = TO
O = 256
T = 3.58
O = 256
T = 3.75
O = 256
T = 3.06
O = 256
T = 2.49
O = 368
T = 0.11
O = 256
T = 6.82
O = 256
T = 19.10
s2v200c1900-2.cnf O = 254
T = 3.62
O = 254
T = 4.13
O = 254
T = 3.90
O = 254
T = 3.62
O = 257
T = 3.83
O = N/A
T = TO
O = 950
T = 1.08
O = 254
T = 4.74
O = 254
T = 4.13
O = 254
T = 3.87
O = 254
T = 3.65
O = 416
T = 0.20
O = 254
T = 6.50
O = 254
T = 15.34
s2v200c1900-3.cnf O = 256
T = 3.49
O = 256
T = 4.34
O = 256
T = 3.65
O = 256
T = 3.49
O = 273
T = 2.21
O = N/A
T = TO
O = 950
T = 0.81
O = 256
T = 4.05
O = 256
T = 3.64
O = 256
T = 4.64
O = 256
T = 4.06
O = 396
T = 0.17
O = 256
T = 6.88
O = 256
T = 15.81
s2v200c2000-1.cnf O = 273
T = 2.79
O = 273
T = 3.72
O = 273
T = 3.24
O = 273
T = 3.20
O = 284
T = 3.58
O = N/A
T = TO
O = 1000
T = 0.85
O = 273
T = 4.60
O = 273
T = 3.98
O = 273
T = 4.51
O = 273
T = 2.79
O = 430
T = 0.19
O = 273
T = 6.45
O = 273
T = 36.20
s2v200c2000-2.cnf O = 275
T = 3.53
O = 275
T = 4.99
O = 275
T = 5.23
O = 275
T = 3.53
O = 289
T = 2.91
O = N/A
T = TO
O = N/A
T = TO
O = 275
T = 4.67
O = 275
T = 3.67
O = 275
T = 4.47
O = 275
T = 3.58
O = 413
T = 0.19
O = 275
T = 7.18
O = 275
T = 15.84
s2v200c2000-3.cnf O = 272
T = 2.59
O = 272
T = 4.75
O = 272
T = 3.39
O = 272
T = 3.66
O = 283
T = 3.41
O = N/A
T = TO
O = 1000
T = 0.72
O = 272
T = 5.46
O = 272
T = 3.05
O = 272
T = 2.59
O = 272
T = 2.69
O = 421
T = 0.14
O = 272
T = 7.00
O = 272
T = 24.78
s2v200c2100-1.cnf O = 289
T = 2.75
O = 289
T = 4.15
O = 289
T = 4.11
O = 289
T = 3.87
O = 289
T = 4.29
O = N/A
T = TO
O = 1050
T = 0.96
O = 289
T = 4.22
O = 289
T = 2.75
O = 289
T = 4.18
O = 289
T = 3.96
O = 423
T = 0.21
O = 289
T = 6.65
O = 289
T = 24.47
s2v200c2100-2.cnf O = 292
T = 3.01
O = 292
T = 4.50
O = 292
T = 5.44
O = 292
T = 3.01
O = 301
T = 2.00
O = N/A
T = TO
O = 1050
T = 0.96
O = 292
T = 4.56
O = 292
T = 3.41
O = 292
T = 4.77
O = 292
T = 3.44
O = 439
T = 0.25
O = 292
T = 6.21
O = 292
T = 24.14
s2v200c2100-3.cnf O = 296
T = 3.27
O = 296
T = 4.81
O = 296
T = 3.92
O = 296
T = 3.70
O = 299
T = 4.66
O = N/A
T = TO
O = 1050
T = 1.00
O = 296
T = 4.49
O = 296
T = 4.43
O = 296
T = 9.18
O = 296
T = 3.27
O = 456
T = 0.23
O = 296
T = 6.82
O = 296
T = 35.95
s2v200c2200-1.cnf O = 311
T = 3.25
O = 311
T = 4.33
O = 311
T = 4.05
O = 311
T = 3.38
O = 323
T = 3.91
O = N/A
T = TO
O = N/A
T = TO
O = 311
T = 3.25
O = 311
T = 3.35
O = 311
T = 3.62
O = 311
T = 3.63
O = 451
T = 0.14
O = 311
T = 6.28
O = 311
T = 36.37
s2v200c2200-2.cnf O = 309
T = 3.38
O = 309
T = 5.53
O = 309
T = 4.65
O = 309
T = 3.38
O = 325
T = 2.99
O = N/A
T = TO
O = 1100
T = 0.96
O = 309
T = 3.98
O = 309
T = 3.89
O = 309
T = 4.76
O = 309
T = 3.55
O = N/A
T = TO
O = 309
T = 8.38
O = 309
T = 16.22
s2v200c2200-3.cnf O = 313
T = 3.40
O = 313
T = 3.40
O = 313
T = 3.48
O = 313
T = 3.85
O = 320
T = 3.96
O = N/A
T = TO
O = N/A
T = TO
O = 313
T = 4.14
O = 313
T = 3.43
O = 313
T = 5.25
O = 313
T = 3.77
O = 468
T = 0.21
O = 313
T = 6.26
O = 313
T = 29.15
s2v200c2300-1.cnf O = 330
T = 2.68
O = 330
T = 4.95
O = 330
T = 4.00
O = 330
T = 4.00
O = 340
T = 4.46
O = N/A
T = TO
O = 1150
T = 0.63
O = 330
T = 4.04
O = 330
T = 4.09
O = 330
T = 4.24
O = 330
T = 2.68
O = 472
T = 0.23
O = 330
T = 6.72
O = 330
T = 29.00
s2v200c2300-2.cnf O = 330
T = 3.02
O = 330
T = 4.07
O = 330
T = 4.82
O = 330
T = 3.64
O = 346
T = 2.99
O = N/A
T = TO
O = N/A
T = TO
O = 330
T = 85.03
O = 330
T = 3.76
O = 330
T = 9.22
O = 330
T = 3.02
O = 466
T = 0.14
O = 330
T = 6.51
O = 330
T = 35.95
s2v200c2300-3.cnf O = 336
T = 3.18
O = 336
T = 3.51
O = 336
T = 3.81
O = 336
T = 4.23
O = 344
T = 3.52
O = N/A
T = TO
O = N/A
T = TO
O = 336
T = 4.30
O = 336
T = 3.18
O = 336
T = 3.34
O = 336
T = 3.50
O = 502
T = 0.14
O = 336
T = 6.22
O = 336
T = 17.14
s2v200c2400-1.cnf O = 347
T = 3.06
O = 347
T = 3.82
O = 347
T = 4.67
O = 347
T = 4.56
O = 351
T = 2.44
O = N/A
T = TO
O = 1200
T = 1.19
O = 347
T = 4.43
O = 347
T = 3.64
O = 347
T = 3.06
O = 347
T = 27.78
O = 506
T = 0.13
O = 347
T = 6.06
O = 347
T = 15.28
s2v200c2400-2.cnf O = 350
T = 3.62
O = 350
T = 5.56
O = 350
T = 4.29
O = 350
T = 3.62
O = 357
T = 4.51
O = N/A
T = TO
O = 1200
T = 0.96
O = 350
T = 8.11
O = 350
T = 3.93
O = 350
T = 4.51
O = 350
T = 11.02
O = 503
T = 0.12
O = 350
T = 6.27
O = 350
T = 36.42
s2v200c2400-3.cnf O = 353
T = 2.90
O = 353
T = 4.28
O = 353
T = 2.90
O = 353
T = 4.55
O = 373
T = 4.21
O = N/A
T = TO
O = N/A
T = TO
O = 353
T = 3.98
O = 353
T = 3.60
O = 353
T = 4.48
O = 353
T = 3.13
O = 524
T = 0.24
O = 353
T = 6.44
O = 353
T = 35.76
s2v200c2500-1.cnf O = 368
T = 2.98
O = 368
T = 5.97
O = 368
T = 5.05
O = 368
T = 4.66
O = 379
T = 3.55
O = N/A
T = TO
O = 1250
T = 0.80
O = 368
T = 4.35
O = 368
T = 2.98
O = 368
T = 4.77
O = 368
T = 4.11
O = N/A
T = TO
O = 368
T = 6.25
O = 368
T = 15.92
s2v200c2500-2.cnf O = 373
T = 3.39
O = 373
T = 4.75
O = 373
T = 3.94
O = 373
T = 3.43
O = 380
T = 4.66
O = N/A
T = TO
O = N/A
T = TO
O = 373
T = 4.94
O = 373
T = 3.39
O = 373
T = 4.64
O = 373
T = 96.37
O = 516
T = 0.17
O = 373
T = 7.46
O = 373
T = 36.73
s2v200c2500-3.cnf O = 369
T = 3.55
O = 369
T = 3.91
O = 369
T = 4.02
O = 369
T = 4.03
O = 386
T = 4.23
O = N/A
T = TO
O = N/A
T = TO
O = 369
T = 4.86
O = 369
T = 3.97
O = 369
T = 4.71
O = 369
T = 3.55
O = 584
T = 0.17
O = 369
T = 6.48
O = 369
T = 16.02
s2v200c2600-1.cnf O = 390
T = 3.07
O = 390
T = 3.28
O = 390
T = 3.09
O = 390
T = 3.47
O = 401
T = 3.82
O = N/A
T = TO
O = 1300
T = 0.60
O = 390
T = 4.79
O = 390
T = 3.40
O = 390
T = 4.46
O = 390
T = 3.07
O = N/A
T = TO
O = 390
T = 6.20
O = 390
T = 17.93
s2v200c2600-2.cnf O = 392
T = 3.61
O = 392
T = 5.00
O = 392
T = 5.28
O = 392
T = 3.90
O = 406
T = 4.17
O = N/A
T = TO
O = 1300
T = 1.10
O = 392
T = 4.44
O = 392
T = 3.61
O = 392
T = 5.48
O = 392
T = 4.09
O = 559
T = 0.20
O = 392
T = 7.26
O = 392
T = 36.70
s2v200c2600-3.cnf O = 390
T = 3.47
O = 390
T = 3.85
O = 390
T = 5.18
O = 390
T = 3.47
O = 405
T = 3.81
O = N/A
T = TO
O = 1300
T = 1.20
O = 390
T = 4.55
O = 390
T = 4.05
O = 390
T = 3.91
O = 390
T = 3.90
O = 562
T = 0.28
O = 390
T = 6.40
O = 390
T = 15.34
s2v220c1200-1.cnf O = 117
T = 3.31
O = 117
T = 4.78
O = 117
T = 3.38
O = 117
T = 3.38
O = 124
T = 2.98
O = N/A
T = TO
O = 600
T = 0.47
O = 117
T = 4.49
O = 117
T = 3.31
O = 117
T = 5.80
O = 117
T = 3.54
O = 196
T = 0.23
O = 117
T = 6.18
O = 117
T = 35.56
s2v220c1200-2.cnf O = 116
T = 2.35
O = 116
T = 4.72
O = 116
T = 5.13
O = 116
T = 3.22
O = 120
T = 3.50
O = N/A
T = TO
O = 600
T = 0.53
O = 116
T = 4.61
O = 116
T = 2.35
O = 116
T = 3.90
O = 116
T = 3.12
O = 198
T = 0.13
O = 116
T = 7.06
O = 116
T = 16.33
s2v220c1200-3.cnf O = 115
T = 2.26
O = 115
T = 3.98
O = 115
T = 4.03
O = 115
T = 2.26
O = 125
T = 4.19
O = N/A
T = TO
O = 600
T = 1.12
O = 115
T = 3.90
O = 115
T = 4.00
O = 115
T = 5.44
O = 115
T = 3.56
O = 197
T = 0.23
O = 115
T = 6.90
O = 115
T = 23.01
s2v220c1300-1.cnf O = 132
T = 2.22
O = 132
T = 5.62
O = 132
T = 3.45
O = 132
T = 2.94
O = 144
T = 3.30
O = N/A
T = TO
O = 650
T = 0.78
O = 132
T = 5.24
O = 132
T = 2.62
O = 132
T = 3.70
O = 132
T = 2.22
O = 242
T = 0.13
O = 132
T = 6.39
O = 132
T = 15.57
s2v220c1300-2.cnf O = 132
T = 3.09
O = 132
T = 5.26
O = 132
T = 3.50
O = 132
T = 3.54
O = 142
T = 3.87
O = N/A
T = TO
O = 650
T = 1.00
O = 132
T = 3.70
O = 132
T = 3.81
O = 132
T = 3.72
O = 132
T = 3.09
O = 234
T = 0.16
O = 132
T = 7.28
O = 132
T = 16.09
s2v220c1300-3.cnf O = 136
T = 2.47
O = 136
T = 5.33
O = 136
T = 3.84
O = 136
T = 2.47
O = 140
T = 4.07
O = N/A
T = TO
O = 650
T = 0.55
O = 136
T = 4.91
O = 136
T = 3.73
O = 136
T = 4.51
O = 136
T = 4.39
O = 220
T = 0.20
O = 136
T = 6.73
O = 136
T = 28.39
s2v220c1400-1.cnf O = 154
T = 2.83
O = 154
T = 6.06
O = 154
T = 4.34
O = 154
T = 2.83
O = 167
T = 2.93
O = N/A
T = TO
O = 700
T = 0.81
O = 154
T = 3.88
O = 154
T = 4.99
O = 154
T = 4.46
O = 154
T = 3.58
O = 247
T = 0.17
O = 154
T = 6.87
O = 154
T = 15.43
s2v220c1400-2.cnf O = 149
T = 2.74
O = 149
T = 5.28
O = 149
T = 2.74
O = 149
T = 3.10
O = 155
T = 3.71
O = N/A
T = TO
O = 700
T = 0.76
O = 149
T = 3.54
O = 149
T = 2.91
O = 149
T = 4.16
O = 149
T = 3.73
O = 262
T = 0.20
O = 149
T = 6.79
O = 149
T = 36.70
s2v220c1400-3.cnf O = 151
T = 2.73
O = 151
T = 4.19
O = 151
T = 3.96
O = 151
T = 2.88
O = 159
T = 4.02
O = N/A
T = TO
O = 700
T = 1.06
O = 151
T = 4.46
O = 151
T = 2.73
O = 151
T = 4.29
O = 151
T = 3.65
O = 251
T = 0.21
O = 151
T = 8.35
O = 151
T = 36.49
s2v220c1500-1.cnf O = 170
T = 2.78
O = 170
T = 4.59
O = 170
T = 3.91
O = 170
T = 3.97
O = 175
T = 3.64
O = N/A
T = TO
O = 750
T = 1.00
O = 170
T = 3.99
O = 170
T = 4.56
O = 170
T = 4.19
O = 170
T = 2.78
O = 262
T = 0.23
O = 170
T = 7.76
O = 170
T = 15.52
s2v220c1500-2.cnf O = 169
T = 2.89
O = 169
T = 3.45
O = 169
T = 3.68
O = 169
T = 2.89
O = 180
T = 3.21
O = N/A
T = TO
O = 750
T = 0.90
O = 169
T = 4.42
O = 169
T = 4.32
O = 169
T = 3.47
O = 169
T = 3.53
O = 293
T = 0.16
O = 169
T = 6.66
O = 169
T = 37.81
s2v220c1500-3.cnf O = 169
T = 2.86
O = 169
T = 4.98
O = 169
T = 5.15
O = 169
T = 2.93
O = 172
T = 4.03
O = N/A
T = TO
O = 750
T = 1.14
O = 169
T = 4.41
O = 169
T = 4.04
O = 169
T = 4.77
O = 169
T = 2.86
O = 265
T = 0.21
O = 170
T = 6.76
O = 169
T = 39.48
s2v220c1600-1.cnf O = 186
T = 3.07
O = 186
T = 4.78
O = 186
T = 3.91
O = 186
T = 3.64
O = 195
T = 2.07
O = N/A
T = TO
O = 800
T = 0.69
O = 186
T = 5.38
O = 186
T = 3.07
O = 186
T = 4.23
O = 186
T = 4.34
O = 305
T = 0.20
O = 186
T = 7.07
O = 186
T = 19.71
s2v220c1600-2.cnf O = 186
T = 2.78
O = 186
T = 4.54
O = 186
T = 4.66
O = 186
T = 3.41
O = 198
T = 2.97
O = N/A
T = TO
O = 800
T = 0.92
O = 186
T = 4.69
O = 186
T = 3.55
O = 186
T = 4.78
O = 186
T = 2.78
O = 305
T = 0.23
O = 186
T = 7.27
O = 186
T = 29.10
s2v220c1600-3.cnf O = 184
T = 2.69
O = 184
T = 4.46
O = 184
T = 4.87
O = 184
T = 2.69
O = 205
T = 3.80
O = N/A
T = TO
O = 800
T = 0.92
O = 184
T = 2.95
O = 184
T = 5.29
O = 184
T = 5.13
O = 184
T = 4.81
O = 293
T = 0.21
O = 184
T = 6.80
O = 184
T = 15.21
s2v220c1700-1.cnf O = 209
T = 3.62
O = 209
T = 5.11
O = 209
T = 4.07
O = 209
T = 3.71
O = 216
T = 3.49
O = N/A
T = TO
O = 850
T = 1.03
O = 209
T = 4.69
O = 209
T = 3.62
O = 209
T = 4.42
O = 209
T = 3.63
O = 335
T = 0.22
O = 209
T = 6.34
O = 209
T = 35.78
s2v220c1700-2.cnf O = 204
T = 3.22
O = 204
T = 5.16
O = 204
T = 4.51
O = 204
T = 3.22
O = 207
T = 3.78
O = N/A
T = TO
O = 850
T = 0.73
O = 204
T = 4.61
O = 204
T = 4.15
O = 204
T = 4.14
O = 204
T = 4.31
O = 336
T = 0.20
O = 204
T = 8.81
O = 204
T = 15.40
s2v220c1700-3.cnf O = 199
T = 3.68
O = 199
T = 3.79
O = 199
T = 4.41
O = 199
T = 3.68
O = 222
T = 3.97
O = N/A
T = TO
O = 850
T = 0.88
O = 199
T = 4.59
O = 199
T = 4.27
O = 199
T = 4.91
O = 199
T = 4.23
O = 326
T = 0.23
O = 199
T = 7.28
O = 199
T = 36.60
s2v220c1800-1.cnf O = 227
T = 2.98
O = 227
T = 4.84
O = 227
T = 3.45
O = 227
T = 3.46
O = 231
T = 4.13
O = N/A
T = TO
O = 900
T = 0.93
O = 227
T = 3.74
O = 227
T = 4.40
O = 227
T = 3.65
O = 227
T = 2.98
O = 353
T = 0.18
O = 227
T = 7.38
O = 227
T = 15.25
s2v220c1800-2.cnf O = 225
T = 2.77
O = 225
T = 4.91
O = 225
T = 3.80
O = 225
T = 3.66
O = 238
T = 3.24
O = N/A
T = TO
O = 900
T = 0.84
O = 225
T = 5.13
O = 225
T = 2.77
O = 225
T = 2.96
O = 225
T = 3.17
O = 357
T = 0.21
O = 225
T = 8.24
O = 225
T = 28.90
s2v220c1800-3.cnf O = 216
T = 3.63
O = 216
T = 5.41
O = 216
T = 4.12
O = 216
T = 3.63
O = 229
T = 2.63
O = N/A
T = TO
O = 900
T = 0.80
O = 216
T = 5.13
O = 216
T = 4.47
O = 216
T = 4.77
O = 216
T = 4.50
O = 350
T = 0.10
O = 216
T = 6.52
O = 216
T = 15.59
s2v220c1900-1.cnf O = 249
T = 3.21
O = 249
T = 4.47
O = 249
T = 4.90
O = 249
T = 3.79
O = 250
T = 4.32
O = N/A
T = TO
O = N/A
T = TO
O = 249
T = 4.03
O = 249
T = 3.89
O = 249
T = 5.49
O = 249
T = 3.21
O = 361
T = 0.25
O = 249
T = 6.57
O = 249
T = 22.65
s2v220c1900-2.cnf O = 245
T = 3.03
O = 245
T = 3.60
O = 245
T = 4.04
O = 245
T = 4.15
O = 254
T = 2.61
O = N/A
T = TO
O = 950
T = 0.96
O = 245
T = 4.86
O = 245
T = 3.03
O = 245
T = 5.30
O = 245
T = 4.35
O = 389
T = 0.23
O = 245
T = 6.61
O = 245
T = 16.11
s2v220c1900-3.cnf O = 238
T = 3.29
O = 238
T = 4.26
O = 238
T = 4.34
O = 238
T = 3.33
O = 260
T = 3.76
O = N/A
T = TO
O = 950
T = 0.83
O = 238
T = 5.19
O = 238
T = 3.29
O = 238
T = 4.30
O = 238
T = 4.56
O = 399
T = 0.23
O = 238
T = 7.09
O = 238
T = 23.38
s2v220c2000-1.cnf O = 265
T = 2.70
O = 265
T = 9.19
O = 265
T = 4.34
O = 265
T = 2.70
O = 286
T = 3.58
O = N/A
T = TO
O = 1000
T = 0.55
O = 265
T = 5.89
O = 265
T = 3.97
O = 265
T = 5.13
O = 265
T = 3.34
O = 420
T = 0.11
O = 265
T = 10.44
O = 265
T = 16.65
s2v220c2000-2.cnf O = 263
T = 2.51
O = 263
T = 5.13
O = 263
T = 4.74
O = 263
T = 2.51
O = 266
T = 4.56
O = N/A
T = TO
O = N/A
T = TO
O = 263
T = 5.19
O = 263
T = 4.95
O = 263
T = 5.04
O = 263
T = 3.89
O = 419
T = 0.24
O = 263
T = 7.79
O = 263
T = 36.71
s2v220c2000-3.cnf O = 264
T = 2.89
O = 264
T = 8.51
O = 264
T = 4.35
O = 264
T = 3.40
O = 271
T = 5.07
O = N/A
T = TO
O = 1000
T = 0.80
O = 264
T = 15.47
O = 264
T = 2.89
O = 264
T = 14.03
O = 264
T = 3.88
O = 428
T = 0.23
O = 264
T = 8.04
O = 264
T = 37.52
s2v220c2100-1.cnf O = 284
T = 2.30
O = 284
T = 8.23
O = 284
T = 3.43
O = 284
T = 2.30
O = 299
T = 4.10
O = N/A
T = TO
O = N/A
T = TO
O = 284
T = 4.64
O = 284
T = 5.30
O = 284
T = 5.54
O = 284
T = 3.00
O = 450
T = 0.15
O = 284
T = 7.77
O = 284
T = 23.50
s2v220c2100-2.cnf O = 275
T = 3.25
O = 275
T = 4.57
O = 275
T = 3.65
O = 275
T = 4.10
O = 286
T = 4.61
O = N/A
T = TO
O = 1050
T = 1.13
O = 275
T = 4.63
O = 275
T = 3.58
O = 275
T = 4.82
O = 275
T = 3.25
O = 449
T = 0.22
O = 275
T = 6.39
O = 275
T = 16.90
s2v220c2100-3.cnf O = 281
T = 3.48
O = 281
T = 3.88
O = 281
T = 4.07
O = 281
T = 3.87
O = 287
T = 4.86
O = N/A
T = TO
O = 1050
T = 0.97
O = 281
T = 4.83
O = 281
T = 5.42
O = 281
T = 5.06
O = 281
T = 3.48
O = 424
T = 0.24
O = 281
T = 6.68
O = 281
T = 19.43
s2v220c2200-1.cnf O = 304
T = 2.77
O = 304
T = 5.17
O = 304
T = 4.67
O = 304
T = 2.90
O = 311
T = 4.28
O = N/A
T = TO
O = N/A
T = TO
O = 304
T = 2.83
O = 304
T = 2.77
O = 304
T = 5.54
O = 304
T = 3.59
O = 454
T = 0.19
O = 304
T = 6.80
O = 304
T = 22.28
s2v220c2200-2.cnf O = 298
T = 2.14
O = 298
T = 4.53
O = 298
T = 4.88
O = 298
T = 3.89
O = 303
T = 2.71
O = N/A
T = TO
O = N/A
T = TO
O = 298
T = 4.03
O = 298
T = 2.14
O = 298
T = 5.60
O = 298
T = 2.89
O = 462
T = 0.17
O = 298
T = 6.35
O = 298
T = 15.51
s2v220c2200-3.cnf O = 301
T = 2.64
O = 301
T = 4.44
O = 301
T = 5.14
O = 301
T = 4.81
O = 305
T = 4.43
O = N/A
T = TO
O = N/A
T = TO
O = 301
T = 4.64
O = 301
T = 3.26
O = 301
T = 5.96
O = 301
T = 2.64
O = 446
T = 0.22
O = 301
T = 6.70
O = 301
T = 16.72
s2v220c2300-1.cnf O = 321
T = 3.41
O = 321
T = 5.12
O = 321
T = 3.41
O = 321
T = 4.30
O = 330
T = 5.13
O = N/A
T = TO
O = 1150
T = 1.11
O = 321
T = 4.02
O = 321
T = 4.72
O = 321
T = 5.77
O = 321
T = 3.93
O = 483
T = 0.22
O = 321
T = 7.67
O = 321
T = 19.03
s2v220c2300-2.cnf O = 319
T = 1.74
O = 319
T = 3.21
O = 319
T = 3.91
O = 319
T = 1.74
O = 346
T = 3.66
O = N/A
T = TO
O = N/A
T = TO
O = 319
T = 4.92
O = 319
T = 4.57
O = 319
T = 6.25
O = 319
T = 3.22
O = 504
T = 0.24
O = 319
T = 7.18
O = 319
T = 36.04
s2v220c2300-3.cnf O = 318
T = 3.09
O = 318
T = 4.11
O = 318
T = 4.53
O = 318
T = 3.09
O = 334
T = 3.81
O = N/A
T = TO
O = 1150
T = 1.08
O = 318
T = 4.42
O = 318
T = 4.92
O = 318
T = 5.39
O = 318
T = 4.24
O = 487
T = 0.17
O = 318
T = 6.36
O = 318
T = 36.14
s2v220c2400-1.cnf O = 343
T = 2.73
O = 343
T = 4.23
O = 343
T = 3.60
O = 343
T = 3.54
O = 366
T = 3.47
O = N/A
T = TO
O = 1200
T = 1.15
O = 343
T = 2.89
O = 343
T = 4.89
O = 343
T = 2.86
O = 343
T = 2.73
O = 511
T = 0.20
O = 343
T = 9.61
O = 343
T = 28.20
s2v220c2400-2.cnf O = 339
T = 2.62
O = 339
T = 4.80
O = 339
T = 4.29
O = 339
T = 4.33
O = 350
T = 4.69
O = N/A
T = TO
O = 1200
T = 0.79
O = 339
T = 2.62
O = 339
T = 5.38
O = 339
T = 4.94
O = 339
T = 3.20
O = 481
T = 0.21
O = 339
T = 6.60
O = 339
T = 17.10
s2v220c2400-3.cnf O = 337
T = 2.36
O = 337
T = 3.21
O = 337
T = 5.19
O = 337
T = 4.03
O = 358
T = 4.35
O = N/A
T = TO
O = 1200
T = 1.18
O = 337
T = 5.69
O = 337
T = 3.90
O = 337
T = 5.24
O = 337
T = 2.36
O = 506
T = 0.24
O = 337
T = 6.77
O = 337
T = 36.40
s2v220c2500-1.cnf O = 361
T = 2.60
O = 361
T = 5.26
O = 361
T = 4.10
O = 361
T = 2.60
O = 365
T = 4.47
O = N/A
T = TO
O = N/A
T = TO
O = 361
T = 27.23
O = 361
T = 4.11
O = 361
T = 4.87
O = 361
T = 3.95
O = 554
T = 0.20
O = 361
T = 7.12
O = 361
T = 36.51
s2v220c2500-2.cnf O = 358
T = 3.58
O = 358
T = 5.44
O = 358
T = 4.30
O = 358
T = 4.75
O = 361
T = 4.06
O = N/A
T = TO
O = N/A
T = TO
O = 358
T = 3.66
O = 358
T = 3.58
O = 358
T = 5.34
O = 358
T = 4.01
O = 539
T = 0.21
O = 358
T = 6.40
O = 358
T = 15.95
s2v220c2500-3.cnf O = 359
T = 3.06
O = 359
T = 5.68
O = 359
T = 4.19
O = 359
T = 3.06
O = 375
T = 4.08
O = N/A
T = TO
O = 1250
T = 0.89
O = 359
T = 4.31
O = N/A
T = TO
O = 359
T = 5.53
O = 359
T = 25.24
O = 532
T = 0.17
O = 359
T = 10.03
O = 359
T = 18.83
s2v220c2600-1.cnf O = 379
T = 2.16
O = 379
T = 5.49
O = 379
T = 3.01
O = 379
T = 2.73
O = 379
T = 5.09
O = N/A
T = TO
O = 1300
T = 0.94
O = 379
T = 4.77
O = 379
T = 2.16
O = 379
T = 6.03
O = 379
T = 3.65
O = 562
T = 0.25
O = 379
T = 7.33
O = 379
T = 29.18
s2v220c2600-2.cnf O = 378
T = 2.39
O = 378
T = 5.44
O = 378
T = 4.35
O = 378
T = 2.39
O = 392
T = 4.45
O = N/A
T = TO
O = N/A
T = TO
O = 378
T = 6.37
O = 378
T = 3.94
O = 378
T = 3.30
O = 378
T = 2.96
O = 577
T = 0.17
O = 378
T = 10.67
O = 378
T = 37.28
s2v220c2600-3.cnf O = 380
T = 3.11
O = 380
T = 4.09
O = 380
T = 3.11
O = 380
T = 4.53
O = 386
T = 4.00
O = N/A
T = TO
O = N/A
T = TO
O = 380
T = 5.60
O = 380
T = 3.62
O = 380
T = 5.12
O = 380
T = 4.01
O = 558
T = 0.23
O = 380
T = 8.57
O = 380
T = 36.01
MANN_a27.clq.cnf O = 404
T = 0.29
O = 404
T = 0.87
O = 404
T = 0.51
O = 404
T = 0.52
O = 404
T = 0.33
O = N/A
T = TO
O = N/A
T = TO
O = 404
T = 0.29
O = 404
T = 0.51
O = 404
T = 0.47
O = 404
T = 0.32
O = 804
T = 0.17
O = 404
T = 5.98
O = 404
T = 15.13
MANN_a45.clq.cnf O = 418
T = 0.06
O = 418
T = 0.66
O = 418
T = 0.20
O = 418
T = 0.32
O = 418
T = 0.08
O = N/A
T = TO
O = N/A
T = TO
O = 418
T = 0.14
O = 418
T = 0.29
O = 418
T = 0.19
O = 418
T = 0.06
O = 818
T = 0.07
O = 418
T = 5.96
O = 418
T = 10.71
MANN_a81.clq.cnf O = 399
T = 0.02
O = 399
T = 0.40
O = 399
T = 0.50
O = 399
T = 0.37
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 399
T = 0.02
O = 399
T = 0.30
O = 399
T = 0.22
O = 399
T = 0.06
O = 779
T = 0.23
O = 399
T = 5.96
O = 399
T = 7.03
MANN_a9.clq.cnf O = 422
T = 0.61
O = 422
T = 1.25
O = 422
T = 0.85
O = 422
T = 0.68
O = 424
T = 0.71
O = N/A
T = TO
O = N/A
T = TO
O = 422
T = 0.94
O = 422
T = 0.65
O = 422
T = 0.63
O = 422
T = 0.61
O = 759
T = 0.08
O = 422
T = 6.29
O = 422
T = 15.14
brock200_1.clq.cnf O = 238
T = 0.72
O = 238
T = 1.32
O = 238
T = 0.72
O = 238
T = 0.94
O = 242
T = 0.78
O = N/A
T = TO
O = 566
T = 0.59
O = 238
T = 0.74
O = 238
T = 1.00
O = 238
T = 0.79
O = 238
T = 0.78
O = 349
T = 0.26
O = 238
T = 6.21
O = 238
T = 15.51
brock200_2.clq.cnf O = 141
T = 0.73
O = 141
T = 1.28
O = 141
T = 1.07
O = 141
T = 1.01
O = 141
T = 1.00
O = N/A
T = TO
O = 385
T = 0.57
O = 141
T = 1.02
O = 141
T = 0.74
O = 141
T = 1.79
O = 141
T = 0.73
O = 177
T = 0.21
O = 141
T = 6.25
O = 141
T = 15.51
brock200_3.clq.cnf O = 214
T = 0.44
O = 214
T = 1.47
O = 214
T = 0.70
O = 214
T = 0.59
O = 217
T = 0.56
O = N/A
T = TO
O = 519
T = 0.56
O = 214
T = 0.44
O = 214
T = 0.91
O = 214
T = 1.17
O = 214
T = 0.44
O = 322
T = 0.17
O = 214
T = 6.26
O = 214
T = 15.51
brock200_4.clq.cnf O = 209
T = 0.62
O = 209
T = 1.24
O = 209
T = 1.03
O = 209
T = 0.89
O = 212
T = 0.54
O = N/A
T = TO
O = N/A
T = TO
O = 209
T = 0.79
O = 209
T = 0.63
O = 209
T = 0.64
O = 209
T = 0.62
O = 295
T = 0.16
O = 209
T = 6.16
O = 209
T = 13.40
brock400_1.clq.cnf O = 255
T = 0.40
O = 255
T = 1.08
O = 255
T = 0.77
O = 255
T = 0.40
O = 258
T = 0.65
O = N/A
T = TO
O = 596
T = 0.70
O = 255
T = 0.93
O = 255
T = 0.75
O = 255
T = 0.98
O = 255
T = 0.54
O = 383
T = 0.13
O = 255
T = 6.28
O = 255
T = 15.04
brock400_2.clq.cnf O = 252
T = 0.67
O = 252
T = 1.21
O = 252
T = 0.92
O = 252
T = 1.03
O = 257
T = 0.63
O = N/A
T = TO
O = N/A
T = TO
O = 252
T = 0.83
O = 252
T = 0.91
O = 252
T = 0.94
O = 252
T = 0.67
O = 362
T = 0.21
O = 252
T = 6.03
O = 252
T = 15.52
brock400_3.clq.cnf O = 238
T = 0.55
O = 238
T = 1.39
O = 238
T = 0.90
O = 238
T = 0.73
O = 240
T = 0.63
O = N/A
T = TO
O = N/A
T = TO
O = 238
T = 0.68
O = 238
T = 0.78
O = 238
T = 0.94
O = 238
T = 0.55
O = 436
T = 0.23
O = 238
T = 6.29
O = 238
T = 15.13
brock400_4.clq.cnf O = 249
T = 0.60
O = 249
T = 1.22
O = 249
T = 0.79
O = 249
T = 0.77
O = 254
T = 0.40
O = N/A
T = TO
O = N/A
T = TO
O = 249
T = 0.62
O = 249
T = 0.76
O = 249
T = 1.23
O = 249
T = 0.60
O = 497
T = 0.22
O = 249
T = 6.00
O = 249
T = 15.19
brock800_1.clq.cnf O = 205
T = 0.58
O = 205
T = 1.24
O = 205
T = 1.23
O = 205
T = 0.60
O = 209
T = 0.66
O = N/A
T = TO
O = N/A
T = TO
O = 205
T = 0.76
O = 205
T = 0.61
O = 205
T = 0.58
O = 205
T = 0.94
O = 359
T = 0.10
O = 205
T = 6.10
O = 205
T = 15.53
brock800_2.clq.cnf O = 207
T = 0.42
O = 207
T = 1.49
O = 207
T = 0.70
O = 207
T = 0.87
O = 209
T = 0.45
O = N/A
T = TO
O = 513
T = 0.68
O = 207
T = 0.42
O = 207
T = 0.86
O = 207
T = 0.59
O = 207
T = 0.81
O = 330
T = 0.21
O = 207
T = 6.15
O = 207
T = 15.25
brock800_3.clq.cnf O = 203
T = 0.38
O = 203
T = 0.95
O = 203
T = 1.03
O = 203
T = 0.38
O = 203
T = 0.83
O = N/A
T = TO
O = N/A
T = TO
O = 203
T = 0.67
O = 203
T = 1.08
O = 203
T = 1.04
O = 203
T = 0.71
O = 336
T = 0.16
O = 203
T = 6.13
O = 203
T = 15.45
brock800_4.clq.cnf O = 200
T = 0.56
O = 200
T = 1.44
O = 200
T = 1.38
O = 200
T = 1.03
O = 203
T = 0.53
O = N/A
T = TO
O = 498
T = 0.66
O = 200
T = 0.56
O = 200
T = 1.17
O = 200
T = 1.30
O = 200
T = 0.79
O = 275
T = 0.12
O = 200
T = 6.16
O = 200
T = 15.08
c-fat200-1.clq.cnf O = 4
T = 0.00
O = 4
T = 1.04
O = 4
T = 0.80
O = 4
T = 0.16
O = 4
T = 0.41
O = 4
T = 0.01
O = 4
T = 0.00
O = 4
T = 0.55
O = 4
T = 0.69
O = 4
T = 0.78
O = 4
T = 0.45
O = 4
T = 0.00
O = 4
T = 6.08
O = 4
T = 2.39
c-fat200-2.clq.cnf O = 26
T = 0.02
O = 26
T = 1.33
O = 26
T = 1.11
O = 26
T = 0.56
O = 32
T = 0.38
O = 26
T = 32.75
O = 26
T = 0.22
O = 26
T = 0.50
O = 26
T = 0.84
O = 26
T = 1.09
O = 26
T = 0.69
O = 26
T = 0.02
O = 26
T = 6.03
O = 26
T = 3.10
c-fat200-5.clq.cnf O = 116
T = 0.37
O = 116
T = 1.25
O = 116
T = 0.68
O = 116
T = 0.82
O = 116
T = 0.87
O = N/A
T = TO
O = 323
T = 0.62
O = 116
T = 0.88
O = 116
T = 0.79
O = 116
T = 0.61
O = 116
T = 0.37
O = 199
T = 0.18
O = 116
T = 5.93
O = 116
T = 8.02
c-fat500-1.clq.cnf O = 2
T = 0.00
O = 2
T = 0.80
O = 2
T = 0.86
O = 2
T = 0.17
O = 2
T = 0.42
O = 2
T = 0.00
O = 2
T = 0.00
O = 2
T = 0.27
O = 2
T = 0.42
O = 2
T = 0.51
O = 2
T = 0.49
O = 2
T = 0.00
O = 2
T = 6.01
O = 2
T = 1.87
c-fat500-10.clq.cnf O = 200
T = 0.05
O = 200
T = 0.63
O = 200
T = 0.51
O = 200
T = 0.17
O = 200
T = 0.24
O = N/A
T = TO
O = 420
T = 0.60
O = 200
T = 0.05
O = 200
T = 0.36
O = 200
T = 0.26
O = 200
T = 0.12
O = 310
T = 0.23
O = 200
T = 5.98
O = 200
T = 15.08
c-fat500-2.clq.cnf O = 24
T = 0.00
O = 24
T = 0.93
O = 24
T = 0.49
O = 24
T = 0.26
O = 24
T = 0.21
O = 24
T = 2.63
O = 24
T = 0.00
O = 24
T = 0.14
O = 24
T = 0.40
O = 24
T = 0.78
O = 24
T = 0.32
O = 24
T = 0.00
O = 24
T = 6.00
O = 24
T = 2.38
c-fat500-5.clq.cnf O = 90
T = 0.10
O = 90
T = 0.78
O = 90
T = 0.53
O = 90
T = 0.37
O = 90
T = 0.11
O = N/A
T = TO
O = 90
T = 0.36
O = 90
T = 0.21
O = 90
T = 0.44
O = 90
T = 0.41
O = 90
T = 0.10
O = 90
T = 0.45
O = 90
T = 6.05
O = 90
T = 4.37
hamming10-2.clq.cnf O = 400
T = 0.05
O = 400
T = 0.78
O = 400
T = 0.27
O = 400
T = 0.31
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 400
T = 0.05
O = 400
T = 0.36
O = 400
T = 0.40
O = 400
T = 0.09
O = N/A
T = TO
O = 400
T = 6.08
O = 400
T = 7.96
hamming10-4.clq.cnf O = 319
T = 0.57
O = 319
T = 1.10
O = 319
T = 0.60
O = 319
T = 0.74
O = 323
T = 0.59
O = N/A
T = TO
O = N/A
T = TO
O = 319
T = 0.57
O = 319
T = 0.88
O = 319
T = 1.09
O = 319
T = 0.87
O = 560
T = 0.20
O = 319
T = 6.11
O = 319
T = 15.14
hamming6-2.clq.cnf O = 832
T = 0.91
O = 832
T = 1.71
O = 832
T = 0.91
O = 832
T = 1.47
O = 832
T = 1.15
O = N/A
T = TO
O = N/A
T = TO
O = 832
T = 1.14
O = 832
T = 1.37
O = 832
T = 1.76
O = 832
T = 1.42
O = 1551
T = 0.12
O = 832
T = 6.16
O = 832
T = 16.52
hamming6-4.clq.cnf O = 192
T = 0.50
O = 192
T = 1.66
O = 192
T = 0.50
O = 192
T = 1.21
O = 192
T = 1.06
O = N/A
T = TO
O = 704
T = 0.68
O = 192
T = 1.11
O = 192
T = 1.12
O = 192
T = 1.61
O = 192
T = 1.70
O = 290
T = 0.11
O = 192
T = 6.04
O = 192
T = 8.45
hamming8-2.clq.cnf O = 441
T = 0.04
O = 441
T = 0.52
O = 441
T = 0.35
O = 441
T = 0.26
O = 441
T = 0.05
O = N/A
T = TO
O = N/A
T = TO
O = 441
T = 0.04
O = 441
T = 0.47
O = 441
T = 0.38
O = 441
T = 0.12
O = 861
T = 0.16
O = 441
T = 5.96
O = 441
T = 10.79
hamming8-4.clq.cnf O = 176
T = 0.61
O = 176
T = 1.00
O = 176
T = 0.61
O = 176
T = 0.99
O = 176
T = 1.17
O = N/A
T = TO
O = 497
T = 0.63
O = 176
T = 1.00
O = 176
T = 0.80
O = 176
T = 0.99
O = 176
T = 1.03
O = 265
T = 0.20
O = 176
T = 5.92
O = 176
T = 15.11
johnson16-2-4.clq.cnf O = 215
T = 0.46
O = 215
T = 1.35
O = 215
T = 1.43
O = 215
T = 0.94
O = 215
T = 0.46
O = N/A
T = TO
O = 575
T = 0.64
O = 215
T = 0.70
O = 215
T = 0.92
O = 215
T = 1.10
O = 215
T = 0.64
O = 353
T = 0.12
O = 215
T = 6.21
O = 215
T = 14.96
johnson32-2-4.clq.cnf O = 329
T = 0.64
O = 329
T = 37.19
O = 329
T = 0.84
O = 329
T = 1.06
O = 330
T = 0.81
O = N/A
T = TO
O = N/A
T = TO
O = 329
T = 0.84
O = 329
T = 0.96
O = 329
T = 1.21
O = 329
T = 0.64
O = 593
T = 0.24
O = 329
T = 5.97
O = 329
T = 15.21
johnson8-2-4.clq.cnf O = 75
T = 0.27
O = 75
T = 0.66
O = 75
T = 0.90
O = 75
T = 0.49
O = 75
T = 0.27
O = N/A
T = TO
O = 210
T = 0.67
O = 75
T = 0.28
O = 75
T = 0.65
O = 75
T = 0.60
O = 75
T = 0.47
O = 105
T = 0.13
O = 75
T = 6.04
O = 75
T = 4.43
johnson8-4-4.clq.cnf O = 770
T = 0.74
O = 770
T = 2.06
O = 770
T = 1.61
O = 770
T = 1.22
O = 770
T = 1.72
O = N/A
T = TO
O = N/A
T = TO
O = 770
T = 0.74
O = 770
T = 1.38
O = 770
T = 2.12
O = 770
T = 1.12
O = 1279
T = 0.13
O = 770
T = 6.01
O = 770
T = 18.21
keller4.clq.cnf O = 199
T = 0.65
O = 199
T = 0.81
O = 199
T = 0.99
O = 199
T = 0.98
O = 199
T = 1.05
O = N/A
T = TO
O = N/A
T = TO
O = 199
T = 0.87
O = 199
T = 1.27
O = 199
T = 1.45
O = 199
T = 0.65
O = 480
T = 0.13
O = 199
T = 5.90
O = 199
T = 15.04
keller5.clq.cnf O = 250
T = 0.28
O = 250
T = 1.23
O = 250
T = 0.99
O = 250
T = 1.08
O = 250
T = 0.28
O = N/A
T = TO
O = 615
T = 1.05
O = 250
T = 0.69
O = 250
T = 0.71
O = 250
T = 0.89
O = 250
T = 0.46
O = 407
T = 0.11
O = 250
T = 6.05
O = 250
T = 15.14
p_hat1000-1.clq.cnf O = 52
T = 0.41
O = 52
T = 1.17
O = 52
T = 1.04
O = 52
T = 0.41
O = 54
T = 0.59
O = 52
T = 95.62
O = 52
T = 22.14
O = 52
T = 0.64
O = 52
T = 0.79
O = 52
T = 1.03
O = 52
T = 0.52
O = 52
T = 11.55
O = 52
T = 6.21
O = 52
T = 6.66
p_hat1000-2.clq.cnf O = 142
T = 0.66
O = 142
T = 1.08
O = 142
T = 1.31
O = 142
T = 0.72
O = 142
T = 0.66
O = N/A
T = TO
O = N/A
T = TO
O = 142
T = 0.67
O = 142
T = 0.73
O = 142
T = 0.66
O = 142
T = 0.69
O = 240
T = 0.22
O = 142
T = 6.11
O = 142
T = 15.46
p_hat1000-3.clq.cnf O = 238
T = 0.45
O = 238
T = 1.01
O = 238
T = 1.03
O = 238
T = 1.02
O = 238
T = 0.85
O = N/A
T = TO
O = 570
T = 0.72
O = 238
T = 0.45
O = 238
T = 0.71
O = 238
T = 1.16
O = 238
T = 0.59
O = 382
T = 0.27
O = 238
T = 6.41
O = 238
T = 15.29
p_hat300-1.clq.cnf O = 49
T = 0.47
O = 49
T = 0.53
O = 49
T = 1.02
O = 49
T = 0.64
O = 49
T = 0.47
O = 49
T = 42.76
O = 49
T = 16.73
O = 49
T = 0.71
O = 49
T = 0.95
O = 49
T = 1.18
O = 49
T = 0.69
O = 49
T = 23.61
O = 49
T = 6.29
O = 49
T = 10.39
p_hat300-2.clq.cnf O = 135
T = 0.65
O = 135
T = 0.65
O = 135
T = 1.00
O = 135
T = 0.66
O = 142
T = 0.70
O = N/A
T = TO
O = N/A
T = TO
O = 135
T = 0.65
O = 135
T = 1.12
O = 135
T = 1.02
O = 135
T = 1.06
O = 229
T = 0.15
O = 135
T = 6.50
O = 135
T = 15.74
p_hat300-3.clq.cnf O = 269
T = 0.40
O = 269
T = 1.25
O = 269
T = 0.55
O = 269
T = 0.72
O = 269
T = 0.82
O = N/A
T = TO
O = 635
T = 0.77
O = 269
T = 0.40
O = 269
T = 0.80
O = 269
T = 1.20
O = 269
T = 0.82
O = 316
T = 0.14
O = 269
T = 6.48
O = 269
T = 15.36
p_hat500-1.clq.cnf O = 75
T = 0.43
O = 75
T = 1.29
O = 75
T = 1.11
O = 75
T = 0.87
O = 75
T = 0.43
O = N/A
T = TO
O = 237
T = 0.87
O = 75
T = 0.72
O = 75
T = 1.26
O = 75
T = 1.28
O = 75
T = 0.81
O = 111
T = 0.24
O = 75
T = 6.29
O = 75
T = 15.48
p_hat500-2.clq.cnf O = 176
T = 0.68
O = 176
T = 1.42
O = 176
T = 0.98
O = 176
T = 1.03
O = 176
T = 0.68
O = N/A
T = TO
O = N/A
T = TO
O = 176
T = 0.72
O = 176
T = 1.04
O = 176
T = 1.41
O = 176
T = 0.71
O = 344
T = 0.16
O = 176
T = 6.25
O = 176
T = 15.26
p_hat500-3.clq.cnf O = 284
T = 0.35
O = 284
T = 1.40
O = 284
T = 0.56
O = 284
T = 0.90
O = 285
T = 0.62
O = N/A
T = TO
O = N/A
T = TO
O = 284
T = 0.35
O = 284
T = 0.94
O = 284
T = 0.76
O = 284
T = 0.52
O = 395
T = 0.21
O = 284
T = 6.08
O = 284
T = 15.40
p_hat700-1.clq.cnf O = 63
T = 0.65
O = 63
T = 1.16
O = 63
T = 1.36
O = 63
T = 0.77
O = 64
T = 0.56
O = N/A
T = TO
O = 63
T = 79.44
O = 63
T = 0.79
O = 63
T = 1.10
O = 63
T = 0.65
O = 63
T = 0.72
O = 63
T = 82.55
O = 63
T = 6.25
O = 63
T = 4.36
p_hat700-2.clq.cnf O = 154
T = 0.46
O = 154
T = 1.00
O = 154
T = 1.16
O = 154
T = 0.70
O = 154
T = 0.46
O = N/A
T = TO
O = N/A
T = TO
O = 154
T = 0.58
O = 154
T = 0.99
O = 154
T = 1.43
O = 154
T = 0.83
O = 218
T = 0.16
O = 154
T = 6.37
O = 154
T = 15.32
p_hat700-3.clq.cnf O = 267
T = 0.53
O = 267
T = 1.40
O = 267
T = 1.30
O = 267
T = 0.89
O = 272
T = 0.59
O = N/A
T = TO
O = N/A
T = TO
O = 267
T = 0.53
O = 267
T = 0.95
O = 267
T = 1.00
O = 267
T = 0.73
O = N/A
T = TO
O = 267
T = 6.36
O = 267
T = 15.60
san1000.clq.cnf O = 139
T = 0.40
O = 139
T = 0.73
O = 139
T = 1.17
O = 139
T = 0.89
O = 143
T = 0.88
O = N/A
T = TO
O = 372
T = 0.65
O = 139
T = 0.40
O = 139
T = 0.69
O = 139
T = 1.20
O = 139
T = 0.60
O = 218
T = 0.18
O = 139
T = 6.17
O = 139
T = 15.18
san200_0.7_1.clq.cnf O = 237
T = 0.64
O = 237
T = 1.43
O = 237
T = 1.09
O = 237
T = 0.89
O = 237
T = 0.64
O = N/A
T = TO
O = 558
T = 0.66
O = 237
T = 0.79
O = 237
T = 0.70
O = 237
T = 1.23
O = 237
T = 0.70
O = 349
T = 0.19
O = 237
T = 5.97
O = 237
T = 15.42
san200_0.7_2.clq.cnf O = 236
T = 0.59
O = 236
T = 1.05
O = 236
T = 1.00
O = 236
T = 0.62
O = 238
T = 0.77
O = N/A
T = TO
O = N/A
T = TO
O = 236
T = 1.13
O = 236
T = 1.00
O = 236
T = 1.06
O = 236
T = 0.59
O = 407
T = 0.16
O = 236
T = 6.15
O = 236
T = 15.65
san200_0.9_1.clq.cnf O = 313
T = 0.59
O = 313
T = 0.71
O = 313
T = 0.94
O = 313
T = 0.94
O = 313
T = 0.59
O = N/A
T = TO
O = N/A
T = TO
O = 313
T = 0.67
O = 313
T = 0.90
O = 313
T = 1.06
O = 313
T = 0.67
O = 628
T = 0.16
O = 313
T = 6.12
O = 313
T = 15.23
san200_0.9_2.clq.cnf O = 316
T = 0.37
O = 316
T = 0.87
O = 316
T = 1.12
O = 316
T = 0.61
O = 319
T = 0.70
O = N/A
T = TO
O = N/A
T = TO
O = 316
T = 0.37
O = 316
T = 0.64
O = 316
T = 0.99
O = 316
T = 0.77
O = 574
T = 0.09
O = 316
T = 6.70
O = 316
T = 15.17
san200_0.9_3.clq.cnf O = 320
T = 0.37
O = 320
T = 0.77
O = 320
T = 1.01
O = 320
T = 0.76
O = 320
T = 0.76
O = N/A
T = TO
O = N/A
T = TO
O = 320
T = 0.88
O = 320
T = 0.94
O = 320
T = 0.69
O = 320
T = 0.37
O = 574
T = 0.24
O = 320
T = 6.24
O = 320
T = 15.21
san400_0.5_1.clq.cnf O = 146
T = 0.46
O = 146
T = 0.96
O = 146
T = 0.63
O = 146
T = 0.77
O = 146
T = 0.75
O = N/A
T = TO
O = 395
T = 0.66
O = 146
T = 0.46
O = 146
T = 0.63
O = 146
T = 0.90
O = 146
T = 0.72
O = 205
T = 0.16
O = 146
T = 6.21
O = 146
T = 15.38
san400_0.7_1.clq.cnf O = 236
T = 0.61
O = 236
T = 0.82
O = 236
T = 0.90
O = 236
T = 0.92
O = 240
T = 0.49
O = N/A
T = TO
O = 560
T = 0.63
O = 236
T = 0.73
O = 236
T = 0.66
O = 236
T = 1.07
O = 236
T = 0.61
O = 407
T = 0.16
O = 236
T = 6.25
O = 236
T = 15.56
san400_0.7_2.clq.cnf O = 236
T = 0.64
O = 236
T = 0.90
O = 236
T = 1.09
O = 236
T = 0.73
O = 239
T = 0.89
O = N/A
T = TO
O = 563
T = 0.68
O = 236
T = 0.75
O = 236
T = 0.64
O = 236
T = 1.21
O = 236
T = 0.84
O = 389
T = 0.09
O = 236
T = 6.35
O = 236
T = 15.01
san400_0.7_3.clq.cnf O = 230
T = 0.50
O = 230
T = 0.72
O = 230
T = 1.01
O = 230
T = 0.70
O = 230
T = 0.72
O = N/A
T = TO
O = N/A
T = TO
O = 230
T = 0.75
O = 230
T = 0.72
O = 230
T = 1.04
O = 230
T = 0.50
O = 401
T = 0.19
O = 230
T = 6.23
O = 230
T = 15.05
san400_0.9_1.clq.cnf O = 304
T = 0.49
O = 304
T = 1.32
O = 304
T = 0.84
O = 304
T = 0.77
O = 304
T = 0.67
O = N/A
T = TO
O = N/A
T = TO
O = 304
T = 0.50
O = 304
T = 0.84
O = 304
T = 0.49
O = 304
T = 0.50
O = 476
T = 0.15
O = 304
T = 6.45
O = 304
T = 15.06
sanr200_0.7.clq.cnf O = 227
T = 0.35
O = 227
T = 1.05
O = 227
T = 1.37
O = 227
T = 0.63
O = 228
T = 0.80
O = N/A
T = TO
O = N/A
T = TO
O = 227
T = 0.35
O = 227
T = 0.67
O = 227
T = 0.96
O = 227
T = 0.72
O = 319
T = 0.09
O = 227
T = 6.32
O = 227
T = 15.53
sanr200_0.9.clq.cnf O = 300
T = 0.53
O = 300
T = 1.12
O = 300
T = 0.81
O = 300
T = 0.85
O = 301
T = 0.83
O = N/A
T = TO
O = N/A
T = TO
O = 300
T = 0.85
O = 300
T = 0.53
O = 300
T = 1.10
O = 300
T = 0.60
O = 411
T = 0.24
O = 300
T = 6.02
O = 300
T = 15.16
sanr400_0.5.clq.cnf O = 148
T = 0.61
O = 148
T = 1.51
O = 148
T = 1.23
O = 148
T = 0.90
O = 149
T = 0.77
O = N/A
T = TO
O = 399
T = 0.86
O = 148
T = 0.61
O = 148
T = 0.89
O = 148
T = 1.53
O = 148
T = 0.84
O = 192
T = 0.24
O = 148
T = 6.47
O = 148
T = 15.26
sanr400_0.7.clq.cnf O = 223
T = 0.79
O = 223
T = 1.46
O = 223
T = 1.08
O = 223
T = 0.90
O = 223
T = 1.16
O = N/A
T = TO
O = 548
T = 0.60
O = 223
T = 0.79
O = 223
T = 0.99
O = 223
T = 0.95
O = 223
T = 0.85
O = 313
T = 0.15
O = 223
T = 6.09
O = 223
T = 15.32
t3pm3-5555.spn.cnf O = 17
T = 0.01
O = 17
T = 0.56
O = 17
T = 0.91
O = 17
T = 0.44
O = 17
T = 0.33
O = 17
T = 0.48
O = 17
T = 0.01
O = 17
T = 0.22
O = 17
T = 0.60
O = 17
T = 0.35
O = 17
T = 0.38
O = 17
T = 0.01
O = 17
T = 5.96
O = 17
T = 2.93
t4pm3-6666.spn.cnf O = 38
T = 0.91
O = 38
T = 1.39
O = 38
T = 1.19
O = 38
T = 0.94
O = 46
T = 0.93
O = 38
T = 154.18
O = 38
T = 59.43
O = 38
T = 1.15
O = 38
T = 0.94
O = 38
T = 0.91
O = 38
T = 1.09
O = 38
T = 4.17
O = 38
T = 5.88
O = 38
T = 4.26
t5pm3-7777.spn.cnf O = 78
T = 1.07
O = 78
T = 1.83
O = 78
T = 1.76
O = 78
T = 1.14
O = 80
T = 1.24
O = N/A
T = TO
O = 190
T = 0.92
O = 78
T = 1.24
O = 78
T = 1.26
O = 78
T = 1.07
O = 78
T = 2.11
O = 136
T = 0.20
O = 78
T = 5.95
O = 78
T = 15.13
t6pm3-8888.spn.cnf O = 136
T = 1.32
O = 136
T = 3.11
O = 136
T = 3.90
O = 136
T = 2.14
O = 139
T = 3.36
O = N/A
T = TO
O = 325
T = 0.90
O = 136
T = 3.04
O = 136
T = 3.16
O = 136
T = 1.32
O = 136
T = 3.31
O = 218
T = 0.22
O = 136
T = 6.35
O = 136
T = 19.68
t7pm3-9999.spn.cnf O = 209
T = 4.22
O = 209
T = 5.55
O = 209
T = 5.38
O = 209
T = 4.22
O = 219
T = 5.09
O = N/A
T = TO
O = 516
T = 0.60
O = 209
T = 5.23
O = 209
T = 4.75
O = 209
T = 13.79
O = 209
T = 5.91
O = 349
T = 0.10
O = 209
T = 7.14
O = 209
T = 158.86
scpclr10_maxsat.cnf O = 25
T = 1.02
O = 25
T = 3.36
O = 25
T = 2.91
O = 25
T = 1.02
O = 26
T = 1.90
O = N/A
T = TO
O = 210
T = 1.07
O = 25
T = 2.74
O = 25
T = 3.94
O = 25
T = 3.58
O = 25
T = 3.53
O = 511
T = 0.14
O = 25
T = 7.01
O = 25
T = 16.29
scpclr11_maxsat.cnf O = 23
T = 1.12
O = 23
T = 5.61
O = 23
T = 6.37
O = 23
T = 1.12
O = 25
T = 5.53
O = N/A
T = TO
O = 330
T = 0.68
O = 23
T = 6.01
O = 23
T = 5.68
O = 23
T = 252.98
O = 23
T = 5.98
O = 1023
T = 0.14
O = 24
T = 73.51
O = 26
T = 38.03
scpclr12_maxsat.cnf O = 23
T = 8.25
O = 23
T = 8.25
O = 23
T = 9.45
O = 26
T = 20.93
O = 24
T = 8.87
O = N/A
T = TO
O = 495
T = 0.59
O = 24
T = 8.06
O = 23
T = 8.59
O = 29
T = 40.02
O = 23
T = 9.31
O = 2047
T = 0.11
O = 25
T = 31.71
O = 28
T = 70.57
scpclr13_maxsat.cnf O = 23
T = 7.34
O = 23
T = 12.48
O = 23
T = 11.26
O = 25
T = 46.45
O = 29
T = 13.14
O = N/A
T = TO
O = 715
T = 0.51
O = 27
T = 52.33
O = 23
T = 7.34
O = 30
T = 124.21
O = 23
T = 267.21
O = 4095
T = 0.14
O = 27
T = 286.86
O = 29
T = 264.82
scpcyc06_maxsat.cnf O = 60
T = 1.43
O = 60
T = 2.50
O = 60
T = 2.81
O = 60
T = 1.90
O = 64
T = 1.84
O = N/A
T = TO
O = 192
T = 0.60
O = 60
T = 2.04
O = 60
T = 2.05
O = 60
T = 1.43
O = 60
T = 2.17
O = 240
T = 0.20
O = 60
T = 6.57
O = 60
T = 15.66
scpcyc07_maxsat.cnf O = 144
T = 2.31
O = 144
T = 4.11
O = 144
T = 4.76
O = 144
T = 3.72
O = 153
T = 4.59
O = N/A
T = TO
O = N/A
T = TO
O = 144
T = 5.72
O = 144
T = 2.31
O = 144
T = 9.90
O = 145
T = 5.23
O = 672
T = 0.10
O = 144
T = 71.50
O = 144
T = 100.58
scpcyc08_maxsat.cnf O = 342
T = 4.61
O = 342
T = 11.39
O = 342
T = 10.87
O = 344
T = 170.61
O = 362
T = 9.92
O = N/A
T = TO
O = N/A
T = TO
O = 342
T = 44.74
O = 342
T = 4.61
O = 350
T = 14.60
O = 346
T = 10.83
O = 1792
T = 0.19
O = 350
T = 117.53
O = 352
T = 42.36
scpcyc09_maxsat.cnf O = 772
T = 12.20
O = 786
T = 64.57
O = 772
T = 12.20
O = 803
T = 264.94
O = 841
T = 57.41
O = N/A
T = TO
O = 2304
T = 0.00
O = 792
T = 128.66
O = 780
T = 18.98
O = 832
T = 251.02
O = 801
T = 32.17
O = N/A
T = TO
O = 836
T = 51.65
O = 845
T = 50.19
scpcyc10_maxsat.cnf O = 1816
T = 39.17
O = 1824
T = 257.31
O = 1816
T = 39.17
O = 1889
T = 55.17
O = 1927
T = 34.53
O = N/A
T = TO
O = 5120
T = 0.01
O = 1836
T = 179.77
O = N/A
T = TO
O = 2056
T = 258.84
O = 1836
T = 130.53
O = N/A
T = TO
O = N/A
T = TO
O = 11520
T = 0.59
scpcyc11_maxsat.cnf O = 4069
T = 241.21
O = 4202
T = 293.79
O = 4069
T = 241.21
O = 4283
T = 42.04
O = 4388
T = 139.08
O = N/A
T = TO
O = 11264
T = 0.03
O = 4216
T = 212.57
O = N/A
T = TO
O = 5857
T = 288.42
O = 4383
T = 289.95
O = 28160
T = 0.17
O = 7301
T = 6.11
O = N/A
T = TO