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 CCLS2015 CnC ILP-2015-in Swcca_ms WPM3-2015-in optiriss-def-i optiriss-sel-i
maxcut-140-630-0.7-1.cnf O = 160
T = 2.74		 O = 160
T = 3.66
 O = 160
T = 2.77
 O = 215
T = 17.79
 O = N/A
T = TO
 O = 160
T = 2.74
 O = N/A
T = TO
 O = 235
T = 0.82
 O = 630
T = 1.41
maxcut-140-630-0.7-10.cnf O = 167
T = 2.63		 O = 167
T = 2.75
 O = 167
T = 3.50
 O = 221
T = 208.58
 O = N/A
T = TO
 O = 167
T = 2.63
 O = 245
T = 284.70
 O = 245
T = 0.56
 O = 630
T = 1.13
maxcut-140-630-0.7-11.cnf O = 170
T = 1.75		 O = 170
T = 1.75
 O = 170
T = 3.03
 O = 222
T = 226.63
 O = N/A
T = TO
 O = 170
T = 2.61
 O = 265
T = 284.54
 O = 265
T = 0.79
 O = 630
T = 0.93
maxcut-140-630-0.7-12.cnf O = 167
T = 2.07		 O = 167
T = 2.07
 O = 167
T = 4.12
 O = 219
T = 202.48
 O = N/A
T = TO
 O = 167
T = 2.13
 O = 250
T = 284.41
 O = 250
T = 0.67
 O = 630
T = 0.91
maxcut-140-630-0.7-13.cnf O = 169
T = 2.07		 O = 169
T = 2.07
 O = 169
T = 3.51
 O = 222
T = 265.05
 O = N/A
T = TO
 O = 169
T = 3.02
 O = 235
T = 284.34
 O = 235
T = 0.99
 O = 630
T = 1.13
maxcut-140-630-0.7-14.cnf O = 166
T = 2.39		 O = 166
T = 2.53
 O = 166
T = 2.58
 O = 220
T = 61.34
 O = N/A
T = TO
 O = 166
T = 2.39
 O = 243
T = 284.56
 O = 243
T = 0.75
 O = 630
T = 1.23
maxcut-140-630-0.7-15.cnf O = 169
T = 3.31		 O = 169
T = 3.31
 O = 169
T = 3.71
 O = 220
T = 267.42
 O = N/A
T = TO
 O = 169
T = 63.08
 O = 255
T = 284.42
 O = 255
T = 0.72
 O = 630
T = 0.79
maxcut-140-630-0.7-16.cnf O = 167
T = 2.78		 O = 167
T = 3.22
 O = 167
T = 2.78
 O = 222
T = 90.61
 O = N/A
T = TO
 O = 168
T = 2.12
 O = 234
T = 284.52
 O = 234
T = 0.50
 O = 630
T = 0.95
maxcut-140-630-0.7-17.cnf O = 166
T = 2.94		 O = 166
T = 2.94
 O = 166
T = 3.66
 O = 218
T = 218.82
 O = N/A
T = TO
 O = 166
T = 46.36
 O = 253
T = 284.65
 O = 253
T = 0.53
 O = 630
T = 1.13
maxcut-140-630-0.7-18.cnf O = 166
T = 2.34		 O = 166
T = 2.34
 O = 166
T = 3.13
 O = 213
T = 73.33
 O = N/A
T = TO
 O = 166
T = 34.18
 O = 236
T = 284.46
 O = 236
T = 1.34
 O = 630
T = 1.02
maxcut-140-630-0.7-19.cnf O = 167
T = 2.03		 O = 167
T = 2.03
 O = 167
T = 2.51
 O = 220
T = 134.23
 O = N/A
T = TO
 O = 168
T = 1.93
 O = 250
T = 284.55
 O = 250
T = 0.74
 O = 630
T = 1.04
maxcut-140-630-0.7-2.cnf O = 160
T = 2.12		 O = 160
T = 2.75
 O = 160
T = 3.89
 O = 220
T = 123.20
 O = N/A
T = TO
 O = 160
T = 2.12
 O = 231
T = 284.45
 O = 231
T = 1.10
 O = 630
T = 1.44
maxcut-140-630-0.7-20.cnf O = 168
T = 1.74		 O = 168
T = 3.35
 O = 168
T = 1.74
 O = 215
T = 58.24
 O = N/A
T = TO
 O = 168
T = 3.17
 O = 239
T = 284.48
 O = N/A
T = TO
 O = 630
T = 0.91
maxcut-140-630-0.7-21.cnf O = 165
T = 2.77		 O = 165
T = 3.97
 O = 165
T = 3.87
 O = 221
T = 48.31
 O = N/A
T = TO
 O = 165
T = 2.77
 O = 246
T = 284.22
 O = 246
T = 0.93
 O = 630
T = 1.14
maxcut-140-630-0.7-22.cnf O = 164
T = 2.43		 O = 164
T = 3.24
 O = 164
T = 2.43
 O = 221
T = 290.56
 O = N/A
T = TO
 O = 164
T = 3.05
 O = 252
T = 284.67
 O = 252
T = 0.87
 O = 630
T = 0.52
maxcut-140-630-0.7-23.cnf O = 165
T = 1.47		 O = 165
T = 3.09
 O = 165
T = 1.47
 O = 217
T = 72.06
 O = N/A
T = TO
 O = 166
T = 2.26
 O = 232
T = 284.56
 O = 232
T = 0.99
 O = 630
T = 1.12
maxcut-140-630-0.7-24.cnf O = 166
T = 3.07		 O = 166
T = 3.32
 O = 166
T = 3.75
 O = 223
T = 24.72
 O = N/A
T = TO
 O = 166
T = 3.07
 O = 258
T = 284.32
 O = 258
T = 1.36
 O = 630
T = 1.24
maxcut-140-630-0.7-25.cnf O = 167
T = 1.91		 O = 167
T = 2.79
 O = 167
T = 3.84
 O = 221
T = 101.92
 O = N/A
T = TO
 O = 167
T = 1.91
 O = 224
T = 284.44
 O = 224
T = 1.48
 O = 630
T = 0.88
maxcut-140-630-0.7-26.cnf O = 166
T = 1.56		 O = 166
T = 1.56
 O = 166
T = 3.46
 O = 223
T = 154.73
 O = N/A
T = TO
 O = 166
T = 3.48
 O = 234
T = 284.43
 O = 234
T = 1.20
 O = 630
T = 0.71
maxcut-140-630-0.7-27.cnf O = 165
T = 1.87		 O = 165
T = 3.24
 O = 165
T = 3.71
 O = 220
T = 49.73
 O = N/A
T = TO
 O = 165
T = 1.87
 O = 253
T = 284.41
 O = 253
T = 1.21
 O = 630
T = 0.88
maxcut-140-630-0.7-28.cnf O = 167
T = 3.54		 O = 167
T = 3.68
 O = 167
T = 3.54
 O = 217
T = 243.59
 O = N/A
T = TO
 O = 167
T = 19.80
 O = 253
T = 284.65
 O = 253
T = 1.34
 O = 630
T = 0.77
maxcut-140-630-0.7-29.cnf O = 166
T = 1.80		 O = 166
T = 3.44
 O = 166
T = 1.80
 O = 220
T = 28.71
 O = N/A
T = TO
 O = 166
T = 2.73
 O = 234
T = 284.47
 O = 234
T = 1.11
 O = 630
T = 0.79
maxcut-140-630-0.7-3.cnf O = 168
T = 1.90		 O = 168
T = 3.98
 O = 168
T = 1.90
 O = 223
T = 104.50
 O = N/A
T = TO
 O = 168
T = 2.31
 O = 266
T = 284.55
 O = 266
T = 1.31
 O = 630
T = 1.08
maxcut-140-630-0.7-30.cnf O = 167
T = 1.26		 O = 167
T = 2.78
 O = 167
T = 1.26
 O = 223
T = 145.35
 O = N/A
T = TO
 O = 167
T = 2.88
 O = 247
T = 284.69
 O = 247
T = 0.98
 O = 630
T = 0.64
maxcut-140-630-0.7-31.cnf O = 170
T = 1.17		 O = 170
T = 3.20
 O = 170
T = 1.17
 O = 222
T = 145.72
 O = N/A
T = TO
 O = 170
T = 2.72
 O = 263
T = 284.60
 O = 263
T = 0.59
 O = 630
T = 1.08
maxcut-140-630-0.7-32.cnf O = 164
T = 2.63		 O = 164
T = 3.76
 O = 164
T = 2.63
 O = 217
T = 124.27
 O = N/A
T = TO
 O = 164
T = 3.09
 O = N/A
T = TO
 O = 228
T = 0.75
 O = 630
T = 0.82
maxcut-140-630-0.7-33.cnf O = 165
T = 1.23		 O = 165
T = 3.56
 O = 165
T = 1.23
 O = 214
T = 32.00
 O = N/A
T = TO
 O = 165
T = 2.46
 O = 253
T = 284.52
 O = 253
T = 0.71
 O = 630
T = 1.16
maxcut-140-630-0.7-34.cnf O = 168
T = 2.96		 O = 168
T = 2.96
 O = 168
T = 3.57
 O = 222
T = 202.45
 O = N/A
T = TO
 O = 168
T = 167.54
 O = 262
T = 284.48
 O = 262
T = 0.78
 O = 630
T = 0.74
maxcut-140-630-0.7-35.cnf O = 164
T = 2.83		 O = 164
T = 2.90
 O = 164
T = 3.03
 O = 220
T = 130.49
 O = N/A
T = TO
 O = 164
T = 2.83
 O = 229
T = 284.61
 O = 229
T = 0.74
 O = 630
T = 0.99
maxcut-140-630-0.7-36.cnf O = 167
T = 1.74		 O = 167
T = 2.09
 O = 167
T = 1.74
 O = 219
T = 257.05
 O = N/A
T = TO
 O = 167
T = 2.11
 O = 233
T = 284.41
 O = 233
T = 0.91
 O = 630
T = 0.99
maxcut-140-630-0.7-37.cnf O = 170
T = 2.75		 O = 170
T = 3.32
 O = 170
T = 2.84
 O = 220
T = 30.54
 O = N/A
T = TO
 O = 170
T = 2.75
 O = 246
T = 284.73
 O = 246
T = 0.77
 O = 630
T = 0.66
maxcut-140-630-0.7-38.cnf O = 167
T = 2.27		 O = 167
T = 2.85
 O = 167
T = 2.97
 O = 214
T = 270.77
 O = N/A
T = TO
 O = 167
T = 2.27
 O = 255
T = 284.45
 O = 255
T = 0.90
 O = 630
T = 0.76
maxcut-140-630-0.7-39.cnf O = 163
T = 2.40		 O = 163
T = 3.79
 O = 163
T = 2.40
 O = 215
T = 115.21
 O = N/A
T = TO
 O = 163
T = 2.43
 O = 261
T = 284.60
 O = 261
T = 0.74
 O = 630
T = 0.95
maxcut-140-630-0.7-4.cnf O = 167
T = 1.09		 O = 167
T = 1.09
 O = 167
T = 1.48
 O = 219
T = 140.98
 O = N/A
T = TO
 O = 167
T = 2.82
 O = 257
T = 284.68
 O = 257
T = 0.69
 O = 630
T = 0.74
maxcut-140-630-0.7-40.cnf O = 167
T = 2.92		 O = 167
T = 3.77
 O = 167
T = 2.92
 O = 218
T = 42.43
 O = N/A
T = TO
 O = 167
T = 3.08
 O = 267
T = 284.29
 O = 267
T = 0.92
 O = 630
T = 0.96
maxcut-140-630-0.7-41.cnf O = 161
T = 2.61		 O = 161
T = 2.68
 O = 161
T = 2.61
 O = 218
T = 107.09
 O = N/A
T = TO
 O = 162
T = 2.81
 O = 242
T = 284.64
 O = 242
T = 0.97
 O = 630
T = 1.15
maxcut-140-630-0.7-42.cnf O = 161
T = 2.62		 O = 161
T = 3.23
 O = 161
T = 2.62
 O = 219
T = 84.57
 O = N/A
T = TO
 O = 161
T = 3.16
 O = 240
T = 284.40
 O = 240
T = 0.56
 O = 630
T = 1.19
maxcut-140-630-0.7-43.cnf O = 164
T = 2.88		 O = 164
T = 3.75
 O = 164
T = 2.88
 O = 219
T = 56.31
 O = N/A
T = TO
 O = 164
T = 3.07
 O = 261
T = 284.30
 O = 261
T = 1.04
 O = 630
T = 0.88
maxcut-140-630-0.7-44.cnf O = 163
T = 2.38		 O = 163
T = 3.48
 O = 163
T = 2.95
 O = 218
T = 5.05
 O = N/A
T = TO
 O = 163
T = 2.38
 O = 257
T = 284.49
 O = 257
T = 0.75
 O = 630
T = 0.97
maxcut-140-630-0.7-45.cnf O = 168
T = 1.84		 O = 168
T = 2.73
 O = 168
T = 3.79
 O = 210
T = 284.59
 O = N/A
T = TO
 O = 168
T = 1.84
 O = 261
T = 284.28
 O = 261
T = 1.03
 O = 630
T = 1.02
maxcut-140-630-0.7-46.cnf O = 168
T = 2.73		 O = 168
T = 3.68
 O = 168
T = 3.36
 O = 217
T = 70.47
 O = N/A
T = TO
 O = 168
T = 2.73
 O = 247
T = 284.70
 O = 247
T = 0.95
 O = 630
T = 1.35
maxcut-140-630-0.7-47.cnf O = 160
T = 2.83		 O = 160
T = 2.83
 O = 160
T = 2.84
 O = 218
T = 23.42
 O = N/A
T = TO
 O = 160
T = 3.54
 O = 245
T = 284.64
 O = 245
T = 0.87
 O = 630
T = 0.67
maxcut-140-630-0.7-48.cnf O = 168
T = 2.00		 O = 168
T = 2.00
 O = 168
T = 4.02
 O = 221
T = 186.61
 O = N/A
T = TO
 O = 168
T = 2.55
 O = 242
T = 284.35
 O = 242
T = 0.88
 O = 630
T = 0.66
maxcut-140-630-0.7-49.cnf O = 164
T = 2.17		 O = 164
T = 2.17
 O = 164
T = 3.35
 O = 220
T = 35.51
 O = N/A
T = TO
 O = 164
T = 2.67
 O = 251
T = 284.56
 O = 251
T = 1.11
 O = 630
T = 0.81
maxcut-140-630-0.7-5.cnf O = 164
T = 2.63		 O = 164
T = 3.02
 O = 164
T = 2.63
 O = 221
T = 156.08
 O = N/A
T = TO
 O = 164
T = 95.47
 O = 243
T = 284.73
 O = 243
T = 1.04
 O = 630
T = 1.13
maxcut-140-630-0.7-50.cnf O = 167
T = 2.76		 O = 167
T = 2.76
 O = 167
T = 3.00
 O = 220
T = 126.78
 O = N/A
T = TO
 O = 167
T = 49.10
 O = 252
T = 284.43
 O = 252
T = 0.85
 O = 630
T = 1.13
maxcut-140-630-0.7-6.cnf O = 162
T = 2.68		 O = 162
T = 2.68
 O = 162
T = 3.13
 O = 214
T = 290.41
 O = N/A
T = TO
 O = 165
T = 2.46
 O = 251
T = 284.29
 O = 251
T = 0.85
 O = 630
T = 0.84
maxcut-140-630-0.7-7.cnf O = 164
T = 3.00		 O = 164
T = 3.00
 O = 164
T = 3.30
 O = 216
T = 129.79
 O = N/A
T = TO
 O = 164
T = 177.34
 O = 260
T = 284.52
 O = 260
T = 0.67
 O = 630
T = 1.12
maxcut-140-630-0.7-8.cnf O = 165
T = 2.07		 O = 165
T = 2.07
 O = 165
T = 2.59
 O = 222
T = 128.17
 O = N/A
T = TO
 O = 165
T = 2.71
 O = 249
T = 284.72
 O = 249
T = 0.82
 O = 630
T = 1.14
maxcut-140-630-0.7-9.cnf O = 166
T = 2.93		 O = 166
T = 2.99
 O = 166
T = 3.89
 O = 220
T = 128.10
 O = N/A
T = TO
 O = 166
T = 2.93
 O = 237
T = 284.61
 O = 237
T = 0.54
 O = 630
T = 1.01
maxcut-140-630-0.8-1.cnf O = 165
T = 2.59		 O = 165
T = 4.31
 O = 165
T = 3.43
 O = 221
T = 143.07
 O = N/A
T = TO
 O = 165
T = 2.59
 O = 251
T = 284.47
 O = 251
T = 0.91
 O = 629
T = 1.11
maxcut-140-630-0.8-10.cnf O = 168
T = 2.12		 O = 168
T = 3.23
 O = 168
T = 2.12
 O = 215
T = 81.41
 O = N/A
T = TO
 O = 168
T = 103.85
 O = 241
T = 284.47
 O = 241
T = 0.83
 O = 629
T = 1.08
maxcut-140-630-0.8-11.cnf O = 168
T = 1.82		 O = 168
T = 1.97
 O = 168
T = 1.82
 O = 219
T = 266.71
 O = N/A
T = TO
 O = 168
T = 2.39
 O = 247
T = 284.73
 O = 247
T = 0.94
 O = 629
T = 1.11
maxcut-140-630-0.8-12.cnf O = 165
T = 2.28		 O = 165
T = 2.82
 O = 165
T = 2.28
 O = 219
T = 42.06
 O = N/A
T = TO
 O = 165
T = 3.37
 O = 241
T = 284.45
 O = 241
T = 0.91
 O = 629
T = 0.94
maxcut-140-630-0.8-13.cnf O = 167
T = 2.09		 O = 167
T = 3.46
 O = 167
T = 2.55
 O = 219
T = 141.06
 O = N/A
T = TO
 O = 167
T = 2.09
 O = 257
T = 284.62
 O = 257
T = 0.55
 O = 629
T = 1.18
maxcut-140-630-0.8-14.cnf O = 164
T = 1.57		 O = 164
T = 1.57
 O = 164
T = 2.19
 O = 203
T = 43.37
 O = N/A
T = TO
 O = 164
T = 14.53
 O = 242
T = 284.48
 O = 242
T = 0.94
 O = 629
T = 1.32
maxcut-140-630-0.8-15.cnf O = 166
T = 2.50		 O = 166
T = 2.75
 O = 166
T = 2.50
 O = 221
T = 67.96
 O = N/A
T = TO
 O = 166
T = 10.90
 O = 229
T = 284.46
 O = 229
T = 0.79
 O = 629
T = 1.11
maxcut-140-630-0.8-16.cnf O = 163
T = 3.18		 O = 163
T = 3.18
 O = 163
T = 3.58
 O = 219
T = 7.37
 O = N/A
T = TO
 O = 165
T = 2.17
 O = 245
T = 284.57
 O = 245
T = 0.52
 O = 629
T = 0.92
maxcut-140-630-0.8-17.cnf O = 168
T = 2.31		 O = 168
T = 3.41
 O = 168
T = 2.31
 O = 216
T = 67.25
 O = N/A
T = TO
 O = 168
T = 2.31
 O = 248
T = 284.25
 O = 248
T = 1.16
 O = 629
T = 1.03
maxcut-140-630-0.8-18.cnf O = 163
T = 1.90		 O = 163
T = 3.86
 O = 163
T = 2.24
 O = 213
T = 236.50
 O = N/A
T = TO
 O = 163
T = 1.90
 O = 251
T = 284.45
 O = 251
T = 0.90
 O = 629
T = 1.12
maxcut-140-630-0.8-19.cnf O = 164
T = 2.28		 O = 164
T = 3.55
 O = 164
T = 2.47
 O = 218
T = 196.34
 O = N/A
T = TO
 O = 164
T = 2.28
 O = 254
T = 284.53
 O = 254
T = 0.84
 O = 629
T = 0.85
maxcut-140-630-0.8-2.cnf O = 162
T = 2.27		 O = 162
T = 3.10
 O = 162
T = 2.27
 O = 217
T = 134.34
 O = N/A
T = TO
 O = 162
T = 2.64
 O = 240
T = 284.51
 O = 240
T = 0.57
 O = 629
T = 1.40
maxcut-140-630-0.8-20.cnf O = 165
T = 1.75		 O = 165
T = 2.83
 O = 165
T = 2.73
 O = 218
T = 23.75
 O = N/A
T = TO
 O = 165
T = 1.75
 O = 263
T = 284.25
 O = 263
T = 0.70
 O = 629
T = 0.84
maxcut-140-630-0.8-21.cnf O = 167
T = 2.39		 O = 167
T = 3.22
 O = 167
T = 2.39
 O = 217
T = 228.79
 O = N/A
T = TO
 O = 167
T = 2.79
 O = 244
T = 284.53
 O = 244
T = 1.00
 O = 629
T = 1.39
maxcut-140-630-0.8-22.cnf O = 170
T = 1.93		 O = 170
T = 2.61
 O = 170
T = 1.93
 O = 218
T = 129.56
 O = N/A
T = TO
 O = 170
T = 2.42
 O = 257
T = 284.68
 O = 257
T = 1.28
 O = 629
T = 0.97
maxcut-140-630-0.8-23.cnf O = 167
T = 2.64		 O = 167
T = 2.64
 O = 167
T = 3.60
 O = 215
T = 226.68
 O = N/A
T = TO
 O = 167
T = 53.06
 O = 251
T = 284.62
 O = 251
T = 1.01
 O = 629
T = 0.98
maxcut-140-630-0.8-24.cnf O = 165
T = 2.40		 O = 165
T = 3.31
 O = 165
T = 2.51
 O = 217
T = 153.34
 O = N/A
T = TO
 O = 165
T = 2.40
 O = 246
T = 284.59
 O = 246
T = 0.91
 O = 629
T = 1.37
maxcut-140-630-0.8-25.cnf O = 165
T = 2.72		 O = 165
T = 2.72
 O = 165
T = 3.49
 O = 215
T = 130.77
 O = N/A
T = TO
 O = 165
T = 2.90
 O = 232
T = 284.51
 O = 232
T = 1.01
 O = 629
T = 1.36
maxcut-140-630-0.8-26.cnf O = 167
T = 2.04		 O = 167
T = 4.05
 O = 167
T = 3.31
 O = 222
T = 48.27
 O = N/A
T = TO
 O = 167
T = 2.04
 O = 261
T = 284.46
 O = 261
T = 1.03
 O = 629
T = 0.89
maxcut-140-630-0.8-27.cnf O = 168
T = 1.85		 O = 168
T = 1.85
 O = 168
T = 2.75
 O = 218
T = 166.76
 O = N/A
T = TO
 O = 169
T = 1.41
 O = 229
T = 284.62
 O = 229
T = 0.99
 O = 629
T = 1.10
maxcut-140-630-0.8-28.cnf O = 168
T = 2.48		 O = 168
T = 3.00
 O = 168
T = 2.48
 O = 220
T = 127.51
 O = N/A
T = TO
 O = 168
T = 2.97
 O = 247
T = 284.52
 O = 247
T = 0.99
 O = 629
T = 1.09
maxcut-140-630-0.8-29.cnf O = 167
T = 2.07		 O = 167
T = 3.53
 O = 167
T = 2.07
 O = 218
T = 277.40
 O = N/A
T = TO
 O = 167
T = 2.96
 O = 247
T = 284.44
 O = 247
T = 0.90
 O = 629
T = 0.81
maxcut-140-630-0.8-3.cnf O = 165
T = 2.43		 O = 165
T = 3.85
 O = 165
T = 3.33
 O = 219
T = 77.39
 O = N/A
T = TO
 O = 165
T = 2.43
 O = 248
T = 284.61
 O = 248
T = 0.83
 O = 629
T = 1.07
maxcut-140-630-0.8-30.cnf O = 167
T = 1.74		 O = 167
T = 3.88
 O = 167
T = 1.74
 O = 216
T = 204.15
 O = N/A
T = TO
 O = 167
T = 2.89
 O = 268
T = 284.61
 O = 268
T = 0.90
 O = 629
T = 1.12
maxcut-140-630-0.8-31.cnf O = 165
T = 2.18		 O = 165
T = 2.65
 O = 165
T = 2.77
 O = 223
T = 11.70
 O = N/A
T = TO
 O = 165
T = 2.18
 O = 252
T = 284.47
 O = 252
T = 1.04
 O = 629
T = 0.91
maxcut-140-630-0.8-32.cnf O = 164
T = 2.67		 O = 164
T = 3.02
 O = 164
T = 2.67
 O = 215
T = 35.24
 O = N/A
T = TO
 O = 164
T = 2.69
 O = 263
T = 284.38
 O = 263
T = 1.10
 O = 629
T = 1.38
maxcut-140-630-0.8-33.cnf O = 163
T = 2.90		 O = 163
T = 3.37
 O = 163
T = 3.38
 O = 218
T = 40.63
 O = N/A
T = TO
 O = 163
T = 2.90
 O = 241
T = 284.60
 O = 241
T = 1.19
 O = 629
T = 0.57
maxcut-140-630-0.8-34.cnf O = 163
T = 1.84		 O = 163
T = 1.84
 O = 163
T = 2.72
 O = 218
T = 133.92
 O = N/A
T = TO
 O = 163
T = 1.98
 O = 247
T = 284.31
 O = 247
T = 1.13
 O = 629
T = 0.86
maxcut-140-630-0.8-35.cnf O = 165
T = 2.05		 O = 165
T = 2.52
 O = 165
T = 2.96
 O = 219
T = 5.60
 O = N/A
T = TO
 O = 165
T = 2.05
 O = 248
T = 284.68
 O = 248
T = 0.54
 O = 629
T = 1.09
maxcut-140-630-0.8-36.cnf O = 165
T = 2.28		 O = 165
T = 2.28
 O = 165
T = 2.94
 O = 216
T = 47.62
 O = N/A
T = TO
 O = 165
T = 2.95
 O = 247
T = 284.44
 O = 247
T = 0.85
 O = 629
T = 0.57
maxcut-140-630-0.8-37.cnf O = 167
T = 3.07		 O = 167
T = 3.07
 O = 167
T = 3.95
 O = 219
T = 14.04
 O = N/A
T = TO
 O = 167
T = 3.13
 O = 231
T = 284.26
 O = 231
T = 0.94
 O = 629
T = 0.84
maxcut-140-630-0.8-38.cnf O = 160
T = 2.20		 O = 160
T = 2.20
 O = 160
T = 3.62
 O = 216
T = 185.92
 O = N/A
T = TO
 O = 160
T = 2.55
 O = 250
T = 284.71
 O = 250
T = 0.55
 O = 629
T = 1.13
maxcut-140-630-0.8-39.cnf O = 169
T = 2.29		 O = 169
T = 3.25
 O = 169
T = 2.86
 O = 221
T = 61.64
 O = N/A
T = TO
 O = 169
T = 2.29
 O = 247
T = 284.36
 O = 247
T = 1.04
 O = 629
T = 1.32
maxcut-140-630-0.8-4.cnf O = 165
T = 1.26		 O = 165
T = 3.89
 O = 165
T = 1.26
 O = 216
T = 20.14
 O = N/A
T = TO
 O = 165
T = 8.43
 O = 278
T = 284.49
 O = 278
T = 0.78
 O = 629
T = 1.15
maxcut-140-630-0.8-40.cnf O = 161
T = 2.20		 O = 161
T = 3.41
 O = 161
T = 2.20
 O = 213
T = 93.21
 O = N/A
T = TO
 O = 161
T = 2.42
 O = 227
T = 284.57
 O = 227
T = 1.05
 O = 629
T = 1.27
maxcut-140-630-0.8-41.cnf O = 163
T = 2.84		 O = 163
T = 3.05
 O = 163
T = 2.84
 O = 214
T = 15.24
 O = N/A
T = TO
 O = 163
T = 42.10
 O = 255
T = 284.14
 O = N/A
T = TO
 O = 629
T = 0.90
maxcut-140-630-0.8-42.cnf O = 164
T = 4.00		 O = 164
T = 4.05
 O = 164
T = 4.00
 O = 220
T = 209.71
 O = N/A
T = TO
 O = 164
T = 57.99
 O = 254
T = 284.42
 O = 254
T = 0.51
 O = 629
T = 0.69
maxcut-140-630-0.8-43.cnf O = 165
T = 2.89		 O = 165
T = 3.09
 O = 165
T = 3.37
 O = 216
T = 159.74
 O = N/A
T = TO
 O = 165
T = 2.89
 O = 228
T = 284.70
 O = 228
T = 0.84
 O = 629
T = 1.36
maxcut-140-630-0.8-44.cnf O = 160
T = 2.83		 O = 160
T = 2.83
 O = 160
T = 2.96
 O = 218
T = 24.07
 O = N/A
T = TO
 O = 160
T = 3.62
 O = 257
T = 284.46
 O = 257
T = 0.75
 O = 629
T = 1.34
maxcut-140-630-0.8-45.cnf O = 165
T = 2.00		 O = 165
T = 2.00
 O = 165
T = 2.47
 O = 221
T = 235.15
 O = N/A
T = TO
 O = 165
T = 2.47
 O = 238
T = 284.58
 O = 238
T = 0.81
 O = 629
T = 1.24
maxcut-140-630-0.8-46.cnf O = 162
T = 2.28		 O = 162
T = 2.83
 O = 162
T = 2.61
 O = 209
T = 130.41
 O = N/A
T = TO
 O = 162
T = 2.28
 O = 236
T = 284.51
 O = 236
T = 1.02
 O = 629
T = 1.18
maxcut-140-630-0.8-47.cnf O = 164
T = 3.18		 O = 164
T = 3.50
 O = 164
T = 3.76
 O = 215
T = 167.05
 O = N/A
T = TO
 O = 164
T = 3.18
 O = 254
T = 284.45
 O = 254
T = 1.16
 O = 629
T = 1.28
maxcut-140-630-0.8-48.cnf O = 164
T = 2.21		 O = 164
T = 3.15
 O = 164
T = 2.96
 O = 217
T = 4.80
 O = N/A
T = TO
 O = 164
T = 2.21
 O = 254
T = 284.56
 O = 254
T = 1.10
 O = 629
T = 0.61
maxcut-140-630-0.8-49.cnf O = 166
T = 3.54		 O = 166
T = 3.54
 O = 166
T = 3.63
 O = 216
T = 95.62
 O = N/A
T = TO
 O = 166
T = 3.80
 O = 266
T = 284.57
 O = 266
T = 0.96
 O = 629
T = 1.52
maxcut-140-630-0.8-5.cnf O = 164
T = 2.48		 O = 164
T = 2.84
 O = 164
T = 2.86
 O = 219
T = 183.57
 O = N/A
T = TO
 O = 164
T = 2.48
 O = 243
T = 284.61
 O = 243
T = 0.90
 O = 629
T = 1.05
maxcut-140-630-0.8-50.cnf O = 165
T = 2.14		 O = 165
T = 2.33
 O = 165
T = 2.81
 O = 214
T = 284.82
 O = N/A
T = TO
 O = 165
T = 2.14
 O = 258
T = 284.68
 O = 258
T = 0.97
 O = 629
T = 1.23
maxcut-140-630-0.8-6.cnf O = 169
T = 2.53		 O = 169
T = 3.00
 O = 169
T = 2.53
 O = 216
T = 146.46
 O = N/A
T = TO
 O = 169
T = 3.17
 O = 246
T = 284.71
 O = 246
T = 1.04
 O = 629
T = 0.62
maxcut-140-630-0.8-7.cnf O = 166
T = 2.04		 O = 166
T = 3.69
 O = 166
T = 2.27
 O = 216
T = 207.42
 O = N/A
T = TO
 O = 166
T = 2.04
 O = 232
T = 284.49
 O = 232
T = 0.95
 O = 629
T = 1.41
maxcut-140-630-0.8-8.cnf O = 167
T = 2.18		 O = 167
T = 3.08
 O = 167
T = 3.46
 O = 219
T = 270.90
 O = N/A
T = TO
 O = 167
T = 2.18
 O = 244
T = 284.45
 O = 244
T = 0.90
 O = 629
T = 1.49
maxcut-140-630-0.8-9.cnf O = 165
T = 2.27		 O = 165
T = 3.18
 O = 165
T = 2.27
 O = 219
T = 2.15
 O = N/A
T = TO
 O = 165
T = 2.58
 O = 240
T = 284.57
 O = 240
T = 0.57
 O = 629
T = 1.45
s2v140c1200-1.cnf O = 158
T = 2.25		 O = 158
T = 2.51
 O = 158
T = 3.01
 O = 201
T = 161.30
 O = N/A
T = TO
 O = 158
T = 2.25
 O = 244
T = 284.39
 O = N/A
T = TO
 O = 600
T = 1.43
s2v140c1200-2.cnf O = 152
T = 2.72		 O = 152
T = 3.68
 O = 152
T = 2.72
 O = 198
T = 93.91
 O = N/A
T = TO
 O = 152
T = 2.73
 O = 234
T = 284.55
 O = 236
T = 1.09
 O = 600
T = 1.24
s2v140c1200-3.cnf O = 157
T = 2.73		 O = 157
T = 3.37
 O = 157
T = 2.96
 O = 206
T = 12.64
 O = N/A
T = TO
 O = 157
T = 2.73
 O = 252
T = 284.64
 O = 255
T = 0.55
 O = 600
T = 1.64
s2v140c1300-1.cnf O = 176
T = 2.80		 O = 176
T = 3.14
 O = 176
T = 2.80
 O = 229
T = 67.27
 O = N/A
T = TO
 O = 176
T = 3.43
 O = 270
T = 284.68
 O = 270
T = 1.10
 O = 650
T = 1.49
s2v140c1300-2.cnf O = 169
T = 2.60		 O = 169
T = 3.12
 O = 169
T = 2.60
 O = 230
T = 12.38
 O = N/A
T = TO
 O = 169
T = 2.87
 O = 263
T = 284.60
 O = 261
T = 1.09
 O = 650
T = 1.36
s2v140c1300-3.cnf O = 172
T = 3.04		 O = 172
T = 3.04
 O = 172
T = 4.09
 O = 227
T = 153.14
 O = N/A
T = TO
 O = 173
T = 1.81
 O = 264
T = 284.60
 O = 264
T = 0.69
 O = 650
T = 1.48
s2v140c1400-1.cnf O = 196
T = 2.02		 O = 196
T = 2.65
 O = 196
T = 3.35
 O = 251
T = 131.31
 O = N/A
T = TO
 O = 196
T = 2.02
 O = 296
T = 284.15
 O = 296
T = 1.11
 O = 700
T = 1.58
s2v140c1400-2.cnf O = 195
T = 2.76		 O = 195
T = 3.64
 O = 195
T = 3.88
 O = 256
T = 177.69
 O = N/A
T = TO
 O = 195
T = 2.76
 O = 315
T = 284.60
 O = 315
T = 0.79
 O = 700
T = 1.33
s2v140c1400-3.cnf O = 194
T = 3.33		 O = 194
T = 4.09
 O = 194
T = 3.33
 O = 249
T = 270.29
 O = N/A
T = TO
 O = 195
T = 3.09
 O = 299
T = 284.07
 O = 299
T = 0.80
 O = 700
T = 1.44
s2v140c1500-1.cnf O = 212
T = 2.07		 O = 212
T = 2.07
 O = 212
T = 3.76
 O = 278
T = 227.55
 O = N/A
T = TO
 O = 212
T = 3.48
 O = 312
T = 284.44
 O = 312
T = 1.14
 O = 750
T = 1.53
s2v140c1500-2.cnf O = 215
T = 2.43		 O = 215
T = 2.78
 O = 215
T = 3.10
 O = 279
T = 19.13
 O = N/A
T = TO
 O = 215
T = 2.43
 O = 329
T = 284.34
 O = 329
T = 0.98
 O = 750
T = 1.46
s2v140c1500-3.cnf O = 211
T = 2.99		 O = 211
T = 2.99
 O = 211
T = 3.02
 O = 274
T = 154.43
 O = N/A
T = TO
 O = 211
T = 3.14
 O = 318
T = 284.71
 O = 318
T = 0.76
 O = 750
T = 1.51
s2v140c1600-1.cnf O = 233
T = 2.26		 O = 233
T = 3.24
 O = 233
T = 3.58
 O = 297
T = 256.83
 O = N/A
T = TO
 O = 233
T = 2.26
 O = 347
T = 284.32
 O = 347
T = 0.68
 O = 800
T = 1.37
s2v140c1600-2.cnf O = 231
T = 1.47		 O = 231
T = 2.48
 O = 231
T = 3.66
 O = 303
T = 242.37
 O = N/A
T = TO
 O = 231
T = 1.47
 O = 358
T = 284.72
 O = 358
T = 0.88
 O = 800
T = 1.05
s2v140c1600-3.cnf O = 235
T = 2.95		 O = 235
T = 3.49
 O = 235
T = 3.86
 O = 296
T = 22.30
 O = N/A
T = TO
 O = 235
T = 2.95
 O = 339
T = 284.14
 O = 339
T = 1.06
 O = 800
T = 0.83
s2v140c1700-1.cnf O = 253
T = 2.55		 O = 253
T = 2.81
 O = 253
T = 2.55
 O = 328
T = 256.75
 O = N/A
T = TO
 O = 254
T = 74.51
 O = 371
T = 284.66
 O = N/A
T = TO
 O = 850
T = 1.36
s2v140c1700-2.cnf O = 255
T = 2.78		 O = 255
T = 2.87
 O = 255
T = 2.78
 O = 330
T = 90.28
 O = N/A
T = TO
 O = 255
T = 33.50
 O = 356
T = 284.54
 O = 356
T = 1.00
 O = 850
T = 1.22
s2v140c1700-3.cnf O = 253
T = 2.26		 O = 253
T = 3.60
 O = 253
T = 3.84
 O = 328
T = 30.09
 O = N/A
T = TO
 O = 253
T = 2.26
 O = 378
T = 284.57
 O = 378
T = 0.89
 O = 850
T = 1.55
s2v140c1800-1.cnf O = 273
T = 2.60		 O = 273
T = 2.60
 O = 273
T = 3.47
 O = 356
T = 12.27
 O = N/A
T = TO
 O = 273
T = 2.99
 O = 398
T = 284.37
 O = 398
T = 0.97
 O = 900
T = 1.15
s2v140c1800-2.cnf O = 272
T = 3.00		 O = 272
T = 3.21
 O = 272
T = 3.00
 O = 349
T = 67.15
 O = N/A
T = TO
 O = 272
T = 34.84
 O = 387
T = 284.67
 O = N/A
T = TO
 O = 900
T = 1.57
s2v140c1800-3.cnf O = 276
T = 2.25		 O = 276
T = 4.47
 O = 276
T = 2.89
 O = 354
T = 175.31
 O = N/A
T = TO
 O = 276
T = 2.25
 O = 416
T = 284.35
 O = 416
T = 1.07
 O = 900
T = 1.31
s2v140c1900-1.cnf O = 292
T = 2.26		 O = 292
T = 3.39
 O = 292
T = 3.59
 O = 374
T = 201.56
 O = N/A
T = TO
 O = 292
T = 2.26
 O = 425
T = 284.48
 O = 425
T = 0.74
 O = 950
T = 1.39
s2v140c1900-2.cnf O = 294
T = 1.16		 O = 294
T = 3.46
 O = 294
T = 1.16
 O = 379
T = 187.93
 O = N/A
T = TO
 O = 294
T = 2.87
 O = 419
T = 284.30
 O = 419
T = 0.81
 O = 950
T = 1.50
s2v140c1900-3.cnf O = 293
T = 2.07		 O = 293
T = 3.65
 O = 293
T = 2.07
 O = 378
T = 11.31
 O = N/A
T = TO
 O = 293
T = 3.09
 O = 422
T = 284.34
 O = 422
T = 0.68
 O = 950
T = 0.85
s2v140c2000-1.cnf O = 315
T = 2.93		 O = 315
T = 2.93
 O = 315
T = 3.43
 O = 403
T = 30.57
 O = N/A
T = TO
 O = 315
T = 7.19
 O = 445
T = 284.54
 O = N/A
T = TO
 O = 1000
T = 1.27
s2v140c2000-2.cnf O = 315
T = 3.26		 O = 315
T = 3.97
 O = 315
T = 3.26
 O = 402
T = 11.73
 O = N/A
T = TO
 O = 316
T = 2.53
 O = 455
T = 284.24
 O = 469
T = 0.71
 O = 1000
T = 0.96
s2v140c2000-3.cnf O = 318
T = 2.51		 O = 318
T = 2.82
 O = 318
T = 2.51
 O = 403
T = 28.90
 O = N/A
T = TO
 O = 321
T = 29.05
 O = 422
T = 284.34
 O = N/A
T = TO
 O = 1000
T = 1.21
s2v140c2100-1.cnf O = 336
T = 2.59		 O = 336
T = 3.23
 O = 336
T = 2.59
 O = 424
T = 210.25
 O = N/A
T = TO
 O = 337
T = 1.70
 O = 441
T = 284.51
 O = N/A
T = TO
 O = 1050
T = 1.32
s2v140c2100-2.cnf O = 333
T = 2.88		 O = 333
T = 3.96
 O = 333
T = 3.55
 O = 423
T = 213.36
 O = N/A
T = TO
 O = 333
T = 2.88
 O = 484
T = 284.51
 O = 477
T = 0.68
 O = 1050
T = 0.86
s2v140c2100-3.cnf O = 338
T = 2.78		 O = 338
T = 2.78
 O = 338
T = 4.13
 O = 424
T = 69.39
 O = N/A
T = TO
 O = 339
T = 11.25
 O = 517
T = 284.64
 O = 514
T = 0.79
 O = 1050
T = 0.13
s2v140c2200-1.cnf O = 356
T = 2.07		 O = 356
T = 3.28
 O = 356
T = 3.02
 O = 452
T = 110.37
 O = N/A
T = TO
 O = 356
T = 2.07
 O = 506
T = 284.59
 O = 499
T = 0.72
 O = 1100
T = 0.06
s2v140c2200-2.cnf O = 359
T = 2.41		 O = 359
T = 3.06
 O = 359
T = 2.56
 O = 451
T = 153.38
 O = N/A
T = TO
 O = 359
T = 2.41
 O = 529
T = 284.01
 O = 528
T = 0.81
 O = 1100
T = 0.06
s2v140c2200-3.cnf O = 354
T = 3.25		 O = 354
T = 3.25
 O = 354
T = 3.39
 O = 446
T = 228.17
 O = N/A
T = TO
 O = 355
T = 1.83
 O = 521
T = 284.18
 O = 521
T = 0.76
 O = 1100
T = 0.08
s2v140c2300-1.cnf O = 374
T = 3.64		 O = 374
T = 3.81
 O = 374
T = 3.64
 O = 473
T = 268.32
 O = N/A
T = TO
 O = 375
T = 2.99
 O = 515
T = 284.23
 O = 518
T = 1.14
 O = 1150
T = 0.06
s2v140c2300-2.cnf O = 378
T = 2.59		 O = 378
T = 3.25
 O = 378
T = 2.59
 O = 477
T = 63.93
 O = N/A
T = TO
 O = 382
T = 2.28
 O = 508
T = 284.51
 O = 508
T = 0.76
 O = 1150
T = 0.05
s2v140c2300-3.cnf O = 373
T = 2.85		 O = 373
T = 3.89
 O = 373
T = 2.85
 O = 472
T = 106.34
 O = N/A
T = TO
 O = 376
T = 1.93
 O = 512
T = 284.59
 O = N/A
T = TO
 O = 1150
T = 0.05
s2v140c2400-1.cnf O = 398
T = 2.74		 O = 398
T = 3.13
 O = 398
T = 2.74
 O = 493
T = 269.26
 O = N/A
T = TO
 O = 399
T = 2.21
 O = 543
T = 284.57
 O = 543
T = 0.75
 O = N/A
T = TO
s2v140c2400-2.cnf O = 399
T = 2.18		 O = 399
T = 3.77
 O = 399
T = 2.18
 O = 500
T = 198.82
 O = N/A
T = TO
 O = 399
T = 3.57
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1200
T = 0.06
s2v140c2400-3.cnf O = 395
T = 2.28		 O = 395
T = 4.19
 O = 395
T = 3.19
 O = 497
T = 172.96
 O = N/A
T = TO
 O = 395
T = 2.28
 O = 543
T = 284.70
 O = 540
T = 0.96
 O = 1200
T = 0.06
s2v140c2500-1.cnf O = 420
T = 2.43		 O = 420
T = 3.37
 O = 420
T = 3.51
 O = 520
T = 46.35
 O = N/A
T = TO
 O = 420
T = 2.43
 O = 562
T = 284.27
 O = 564
T = 0.67
 O = 1250
T = 0.06
s2v140c2500-2.cnf O = 424
T = 2.80		 O = 424
T = 2.80
 O = 424
T = 3.29
 O = 520
T = 149.89
 O = N/A
T = TO
 O = 430
T = 2.80
 O = 595
T = 284.65
 O = N/A
T = TO
 O = 1250
T = 0.06
s2v140c2500-3.cnf O = 414
T = 2.75		 O = 414
T = 3.72
 O = 414
T = 2.75
 O = 523
T = 259.54
 O = N/A
T = TO
 O = 414
T = 3.88
 O = N/A
T = TO
 O = 577
T = 1.00
 O = 1250
T = 0.07
s2v140c2600-1.cnf O = 439
T = 2.55		 O = 439
T = 3.95
 O = 439
T = 2.75
 O = 545
T = 129.26
 O = N/A
T = TO
 O = 439
T = 2.55
 O = 556
T = 284.48
 O = 556
T = 0.58
 O = 1300
T = 0.07
s2v140c2600-2.cnf O = 446
T = 2.16		 O = 446
T = 3.19
 O = 446
T = 2.16
 O = 548
T = 159.02
 O = N/A
T = TO
 O = 446
T = 3.01
 O = 604
T = 284.30
 O = 604
T = 1.01
 O = 1300
T = 0.07
s2v140c2600-3.cnf O = 434
T = 3.42		 O = 434
T = 3.42
 O = 434
T = 3.51
 O = 547
T = 123.29
 O = N/A
T = TO
 O = 442
T = 2.95
 O = 625
T = 284.47
 O = 625
T = 0.82
 O = N/A
T = TO
s2v160c1200-1.cnf O = 149
T = 2.43		 O = 149
T = 2.43
 O = 149
T = 3.38
 O = 196
T = 22.13
 O = N/A
T = TO
 O = 149
T = 3.49
 O = 229
T = 284.61
 O = 229
T = 0.78
 O = 600
T = 1.48
s2v160c1200-2.cnf O = 145
T = 3.27		 O = 145
T = 3.27
 O = 145
T = 3.27
 O = 192
T = 8.51
 O = N/A
T = TO
 O = 145
T = 3.60
 O = 230
T = 284.36
 O = 230
T = 0.71
 O = 600
T = 1.25
s2v160c1200-3.cnf O = 146
T = 2.76		 O = 146
T = 2.76
 O = 146
T = 3.48
 O = 197
T = 6.84
 O = N/A
T = TO
 O = 146
T = 2.77
 O = 246
T = 284.56
 O = 245
T = 0.70
 O = 600
T = 0.85
s2v160c1300-1.cnf O = 165
T = 2.64		 O = 165
T = 4.49
 O = 165
T = 2.64
 O = 223
T = 209.56
 O = N/A
T = TO
 O = 165
T = 2.77
 O = 259
T = 284.64
 O = 259
T = 0.52
 O = 650
T = 1.27
s2v160c1300-2.cnf O = 163
T = 1.70		 O = 163
T = 2.91
 O = 163
T = 1.70
 O = 219
T = 60.43
 O = N/A
T = TO
 O = 163
T = 11.39
 O = 262
T = 284.40
 O = 262
T = 0.71
 O = 650
T = 1.36
s2v160c1300-3.cnf O = 164
T = 2.42		 O = 164
T = 3.35
 O = 164
T = 2.42
 O = 222
T = 229.86
 O = N/A
T = TO
 O = 164
T = 3.82
 O = 265
T = 284.41
 O = 265
T = 0.68
 O = 650
T = 1.56
s2v160c1400-1.cnf O = 185
T = 3.30		 O = 185
T = 4.35
 O = 185
T = 3.30
 O = 247
T = 53.91
 O = N/A
T = TO
 O = 185
T = 4.47
 O = 291
T = 284.28
 O = 284
T = 0.71
 O = 700
T = 1.42
s2v160c1400-2.cnf O = 186
T = 1.94		 O = 186
T = 1.94
 O = 186
T = 2.72
 O = 249
T = 245.01
 O = N/A
T = TO
 O = 186
T = 42.86
 O = 276
T = 284.39
 O = 276
T = 0.98
 O = 700
T = 1.40
s2v160c1400-3.cnf O = 182
T = 1.75		 O = 182
T = 1.75
 O = 182
T = 3.26
 O = 240
T = 124.06
 O = N/A
T = TO
 O = 182
T = 2.54
 O = 280
T = 284.65
 O = 280
T = 0.84
 O = 700
T = 1.57
s2v160c1500-1.cnf O = 204
T = 2.62		 O = 204
T = 2.78
 O = 204
T = 2.73
 O = 272
T = 10.33
 O = N/A
T = TO
 O = 204
T = 2.62
 O = 321
T = 284.72
 O = 321
T = 0.67
 O = 750
T = 1.30
s2v160c1500-2.cnf O = 202
T = 2.65		 O = 202
T = 3.50
 O = 202
T = 2.65
 O = 273
T = 114.28
 O = N/A
T = TO
 O = 202
T = 163.33
 O = 293
T = 284.45
 O = 296
T = 1.13
 O = 750
T = 1.10
s2v160c1500-3.cnf O = 202
T = 3.20		 O = 202
T = 3.37
 O = 202
T = 3.20
 O = 275
T = 64.47
 O = N/A
T = TO
 O = 202
T = 13.50
 O = N/A
T = TO
 O = 307
T = 0.56
 O = 750
T = 1.16
s2v160c1600-1.cnf O = 221
T = 3.81		 O = 221
T = 3.81
 O = 221
T = 4.13
 O = 298
T = 191.73
 O = N/A
T = TO
 O = 221
T = 18.73
 O = 340
T = 284.61
 O = 340
T = 1.11
 O = 800
T = 1.51
s2v160c1600-2.cnf O = 223
T = 3.95		 O = 223
T = 4.29
 O = 223
T = 4.07
 O = 299
T = 153.13
 O = N/A
T = TO
 O = 223
T = 3.95
 O = 339
T = 284.39
 O = 339
T = 0.91
 O = 800
T = 1.63
s2v160c1600-3.cnf O = 220
T = 2.53		 O = 220
T = 2.53
 O = 220
T = 3.94
 O = 299
T = 251.37
 O = N/A
T = TO
 O = 220
T = 150.85
 O = 341
T = 284.54
 O = 341
T = 0.75
 O = 800
T = 1.27
s2v160c1700-1.cnf O = 244
T = 2.32		 O = 244
T = 2.32
 O = 244
T = 3.24
 O = 324
T = 204.47
 O = N/A
T = TO
 O = 244
T = 3.23
 O = 361
T = 284.39
 O = 361
T = 0.85
 O = 850
T = 1.31
s2v160c1700-2.cnf O = 244
T = 2.77		 O = 244
T = 2.77
 O = 244
T = 3.18
 O = 319
T = 113.31
 O = N/A
T = TO
 O = 245
T = 3.27
 O = 354
T = 284.18
 O = 359
T = 0.81
 O = 850
T = 1.47
s2v160c1700-3.cnf O = 241
T = 3.17		 O = 241
T = 3.17
 O = 241
T = 3.97
 O = 320
T = 165.42
 O = N/A
T = TO
 O = 245
T = 2.75
 O = 355
T = 284.34
 O = 358
T = 0.72
 O = 850
T = 1.20
s2v160c1800-1.cnf O = 262
T = 3.32		 O = 262
T = 3.42
 O = 262
T = 3.61
 O = 341
T = 43.45
 O = N/A
T = TO
 O = 262
T = 3.32
 O = 387
T = 284.66
 O = 387
T = 0.67
 O = 900
T = 1.37
s2v160c1800-2.cnf O = 262
T = 3.10		 O = 262
T = 3.10
 O = 262
T = 4.26
 O = 343
T = 230.21
 O = N/A
T = TO
 O = 264
T = 21.26
 O = 416
T = 284.59
 O = 433
T = 0.82
 O = 900
T = 1.08
s2v160c1800-3.cnf O = 261
T = 2.33		 O = 261
T = 2.33
 O = 261
T = 2.94
 O = 346
T = 55.10
 O = N/A
T = TO
 O = 261
T = 4.24
 O = 384
T = 284.53
 O = 384
T = 0.70
 O = 900
T = 1.35
s2v160c1900-1.cnf O = 279
T = 2.90		 O = 279
T = 4.36
 O = 279
T = 2.90
 O = 368
T = 170.55
 O = N/A
T = TO
 O = 286
T = 2.71
 O = 429
T = 284.69
 O = 429
T = 0.84
 O = 950
T = 1.11
s2v160c1900-2.cnf O = 282
T = 3.51		 O = 282
T = 3.58
 O = 282
T = 4.54
 O = 373
T = 258.96
 O = N/A
T = TO
 O = 282
T = 3.51
 O = 421
T = 284.57
 O = 421
T = 0.99
 O = 950
T = 0.81
s2v160c1900-3.cnf O = 283
T = 2.43		 O = 283
T = 3.64
 O = 283
T = 2.43
 O = 368
T = 45.95
 O = N/A
T = TO
 O = 283
T = 22.77
 O = 419
T = 284.51
 O = 419
T = 0.80
 O = 950
T = 1.05
s2v160c2000-1.cnf O = 302
T = 3.30		 O = 302
T = 3.85
 O = 302
T = 3.30
 O = 394
T = 35.83
 O = N/A
T = TO
 O = 302
T = 5.60
 O = 456
T = 284.49
 O = 456
T = 0.74
 O = 1000
T = 1.09
s2v160c2000-2.cnf O = 302
T = 2.71		 O = 302
T = 3.30
 O = 302
T = 4.43
 O = 390
T = 196.33
 O = N/A
T = TO
 O = 302
T = 2.71
 O = 431
T = 284.40
 O = N/A
T = TO
 O = 1000
T = 1.40
s2v160c2000-3.cnf O = 302
T = 3.71		 O = 302
T = 3.71
 O = 302
T = 4.35
 O = 393
T = 184.84
 O = N/A
T = TO
 O = 302
T = 9.75
 O = 458
T = 284.54
 O = N/A
T = TO
 O = 1000
T = 1.41
s2v160c2100-1.cnf O = 322
T = 3.18		 O = 322
T = 3.40
 O = 322
T = 3.18
 O = 423
T = 47.81
 O = N/A
T = TO
 O = 322
T = 3.91
 O = 471
T = 284.36
 O = N/A
T = TO
 O = 1050
T = 1.49
s2v160c2100-2.cnf O = 324
T = 3.38		 O = 324
T = 3.38
 O = 324
T = 3.70
 O = 417
T = 163.76
 O = N/A
T = TO
 O = 325
T = 218.03
 O = 463
T = 284.41
 O = 461
T = 0.83
 O = 1050
T = 1.24
s2v160c2100-3.cnf O = 319
T = 3.28		 O = 319
T = 3.28
 O = 319
T = 3.51
 O = 416
T = 239.72
 O = N/A
T = TO
 O = 319
T = 88.28
 O = 474
T = 284.65
 O = 474
T = 1.02
 O = 1050
T = 1.00
s2v160c2200-1.cnf O = 340
T = 3.68		 O = 340
T = 4.63
 O = 340
T = 3.68
 O = 443
T = 38.49
 O = N/A
T = TO
 O = 341
T = 9.60
 O = 478
T = 284.37
 O = 482
T = 0.89
 O = 1100
T = 1.59
s2v160c2200-2.cnf O = 342
T = 3.24		 O = 342
T = 3.24
 O = 342
T = 4.00
 O = 442
T = 215.15
 O = N/A
T = TO
 O = 346
T = 2.99
 O = 462
T = 284.32
 O = 462
T = 1.20
 O = 1100
T = 1.43
s2v160c2200-3.cnf O = 342
T = 3.65		 O = 342
T = 3.65
 O = 342
T = 3.79
 O = 444
T = 34.12
 O = N/A
T = TO
 O = 342
T = 4.12
 O = 498
T = 284.46
 O = 496
T = 1.03
 O = 1100
T = 1.36
s2v160c2300-1.cnf O = 363
T = 2.39		 O = 363
T = 2.39
 O = 363
T = 3.83
 O = 467
T = 42.02
 O = N/A
T = TO
 O = 363
T = 7.04
 O = 487
T = 284.68
 O = 487
T = 0.87
 O = 1150
T = 0.09
s2v160c2300-2.cnf O = 361
T = 1.63		 O = 361
T = 1.63
 O = 361
T = 4.73
 O = 449
T = 168.01
 O = N/A
T = TO
 O = 370
T = 2.64
 O = 515
T = 284.67
 O = N/A
T = TO
 O = 1150
T = 0.09
s2v160c2300-3.cnf O = 361
T = 3.37		 O = 361
T = 3.67
 O = 361
T = 3.37
 O = 462
T = 188.90
 O = N/A
T = TO
 O = 361
T = 8.72
 O = 536
T = 284.54
 O = 536
T = 0.79
 O = 1150
T = 1.25
s2v160c2400-1.cnf O = 383
T = 2.69		 O = 383
T = 2.69
 O = 383
T = 4.29
 O = 498
T = 289.08
 O = N/A
T = TO
 O = 383
T = 7.55
 O = 504
T = 284.24
 O = 502
T = 0.92
 O = 1200
T = 1.17
s2v160c2400-2.cnf O = 382
T = 1.36		 O = 382
T = 4.18
 O = 382
T = 1.36
 O = 493
T = 77.20
 O = N/A
T = TO
 O = 390
T = 3.84
 O = 581
T = 284.35
 O = 581
T = 0.94
 O = 1200
T = 0.05
s2v160c2400-3.cnf O = 383
T = 3.98		 O = 383
T = 3.98
 O = 383
T = 4.16
 O = 484
T = 204.29
 O = N/A
T = TO
 O = 385
T = 5.70
 O = 534
T = 284.64
 O = 534
T = 0.93
 O = 1200
T = 0.05
s2v160c2500-1.cnf O = 405
T = 2.64		 O = 405
T = 4.04
 O = 405
T = 4.35
 O = 514
T = 213.04
 O = N/A
T = TO
 O = 405
T = 2.64
 O = 548
T = 284.55
 O = N/A
T = TO
 O = 1250
T = 0.06
s2v160c2500-2.cnf O = 405
T = 3.67		 O = 405
T = 3.82
 O = 405
T = 3.67
 O = 507
T = 84.81
 O = N/A
T = TO
 O = 414
T = 2.17
 O = 572
T = 284.36
 O = 569
T = 1.26
 O = N/A
T = TO
s2v160c2500-3.cnf O = 401
T = 4.36		 O = 401
T = 4.50
 O = 401
T = 4.36
 O = 516
T = 164.22
 O = N/A
T = TO
 O = 410
T = 3.07
 O = 585
T = 284.37
 O = 587
T = 0.88
 O = 1250
T = 0.06
s2v160c2600-1.cnf O = 428
T = 3.13		 O = 428
T = 3.13
 O = 428
T = 3.36
 O = 539
T = 63.14
 O = N/A
T = TO
 O = 431
T = 3.81
 O = 575
T = 284.64
 O = 575
T = 1.25
 O = 1300
T = 0.07
s2v160c2600-2.cnf O = 428
T = 3.51		 O = 428
T = 3.72
 O = 428
T = 3.51
 O = 538
T = 15.15
 O = N/A
T = TO
 O = 428
T = 4.69
 O = N/A
T = TO
 O = 596
T = 1.06
 O = 1300
T = 0.06
s2v160c2600-3.cnf O = 426
T = 3.12		 O = 426
T = 3.12
 O = 426
T = 4.42
 O = 544
T = 64.33
 O = N/A
T = TO
 O = 432
T = 3.15
 O = 583
T = 284.74
 O = N/A
T = TO
 O = 1300
T = 0.06
s2v180c1200-1.cnf O = 129
T = 2.28		 O = 129
T = 2.83
 O = 129
T = 2.28
 O = 183
T = 247.19
 O = N/A
T = TO
 O = 129
T = 2.97
 O = 227
T = 284.56
 O = 227
T = 1.04
 O = 600
T = 1.02
s2v180c1200-2.cnf O = 134
T = 3.02		 O = 134
T = 3.02
 O = 134
T = 3.84
 O = 182
T = 211.92
 O = N/A
T = TO
 O = 134
T = 3.49
 O = 219
T = 284.62
 O = 219
T = 1.06
 O = 600
T = 1.28
s2v180c1200-3.cnf O = 132
T = 2.58		 O = 132
T = 2.58
 O = 132
T = 3.75
 O = 182
T = 215.20
 O = N/A
T = TO
 O = 132
T = 3.86
 O = 206
T = 284.63
 O = 206
T = 1.22
 O = 600
T = 0.92
s2v180c1300-1.cnf O = 155
T = 2.08		 O = 155
T = 4.44
 O = 155
T = 2.08
 O = 211
T = 211.48
 O = N/A
T = TO
 O = 155
T = 3.58
 O = 229
T = 284.61
 O = 231
T = 0.92
 O = 650
T = 0.66
s2v180c1300-2.cnf O = 152
T = 2.74		 O = 152
T = 2.74
 O = 152
T = 4.59
 O = 208
T = 239.26
 O = N/A
T = TO
 O = 152
T = 3.71
 O = 263
T = 284.28
 O = 263
T = 0.83
 O = 650
T = 1.15
s2v180c1300-3.cnf O = 150
T = 2.62		 O = 150
T = 2.62
 O = 150
T = 3.65
 O = 205
T = 23.17
 O = N/A
T = TO
 O = 150
T = 4.44
 O = 259
T = 284.59
 O = 259
T = 0.62
 O = 650
T = 1.22
s2v180c1400-1.cnf O = 172
T = 3.15		 O = 172
T = 3.15
 O = 172
T = 3.86
 O = 235
T = 183.00
 O = N/A
T = TO
 O = 172
T = 3.43
 O = 297
T = 284.52
 O = 297
T = 0.97
 O = 700
T = 1.45
s2v180c1400-2.cnf O = 171
T = 2.65		 O = 171
T = 2.65
 O = 171
T = 3.75
 O = 234
T = 171.65
 O = N/A
T = TO
 O = 171
T = 21.63
 O = 291
T = 284.73
 O = 291
T = 1.02
 O = 700
T = 1.41
s2v180c1400-3.cnf O = 170
T = 1.33		 O = 170
T = 3.35
 O = 170
T = 2.84
 O = 237
T = 143.04
 O = N/A
T = TO
 O = 170
T = 1.33
 O = 320
T = 284.37
 O = 321
T = 1.08
 O = 700
T = 1.25
s2v180c1500-1.cnf O = 192
T = 2.48		 O = 192
T = 2.48
 O = 192
T = 3.86
 O = 257
T = 52.23
 O = N/A
T = TO
 O = 193
T = 2.46
 O = 298
T = 284.59
 O = 298
T = 1.07
 O = 750
T = 0.79
s2v180c1500-2.cnf O = 189
T = 2.92		 O = 189
T = 3.79
 O = 189
T = 2.92
 O = 262
T = 192.93
 O = N/A
T = TO
 O = 189
T = 14.87
 O = 277
T = 284.67
 O = 277
T = 1.18
 O = 750
T = 1.08
s2v180c1500-3.cnf O = 187
T = 2.61		 O = 187
T = 3.21
 O = 187
T = 4.69
 O = 262
T = 244.97
 O = N/A
T = TO
 O = 187
T = 2.61
 O = 313
T = 284.43
 O = 316
T = 0.93
 O = 750
T = 1.68
s2v180c1600-1.cnf O = 209
T = 4.31		 O = 209
T = 4.31
 O = 209
T = 4.52
 O = 287
T = 16.21
 O = N/A
T = TO
 O = 210
T = 2.79
 O = 327
T = 284.70
 O = 327
T = 0.89
 O = 800
T = 1.10
s2v180c1600-2.cnf O = 209
T = 2.91		 O = 209
T = 2.91
 O = 209
T = 4.13
 O = 285
T = 143.58
 O = N/A
T = TO
 O = 209
T = 11.26
 O = 316
T = 284.46
 O = 316
T = 1.01
 O = 800
T = 0.78
s2v180c1600-3.cnf O = 211
T = 3.07		 O = 211
T = 4.22
 O = 211
T = 3.92
 O = 290
T = 209.43
 O = N/A
T = TO
 O = 211
T = 3.07
 O = 337
T = 284.50
 O = 337
T = 1.13
 O = 800
T = 0.71
s2v180c1700-1.cnf O = 226
T = 3.15		 O = 226
T = 4.46
 O = 226
T = 3.15
 O = 312
T = 20.20
 O = N/A
T = TO
 O = 226
T = 3.63
 O = 327
T = 284.27
 O = 327
T = 0.98
 O = 850
T = 0.79
s2v180c1700-2.cnf O = 228
T = 2.61		 O = 228
T = 2.61
 O = 228
T = 2.66
 O = 311
T = 160.46
 O = N/A
T = TO
 O = 229
T = 2.95
 O = 366
T = 284.53
 O = N/A
T = TO
 O = 850
T = 0.93
s2v180c1700-3.cnf O = 231
T = 1.47		 O = 231
T = 3.41
 O = 231
T = 1.47
 O = 310
T = 25.15
 O = N/A
T = TO
 O = 231
T = 3.64
 O = 344
T = 284.39
 O = 342
T = 0.92
 O = 850
T = 0.83
s2v180c1800-1.cnf O = 246
T = 1.64		 O = 246
T = 3.95
 O = 246
T = 1.64
 O = 335
T = 42.94
 O = N/A
T = TO
 O = 246
T = 3.12
 O = 382
T = 284.49
 O = 385
T = 1.36
 O = 900
T = 0.73
s2v180c1800-2.cnf O = 244
T = 2.60		 O = 244
T = 2.60
 O = 244
T = 3.11
 O = 335
T = 248.33
 O = N/A
T = TO
 O = 244
T = 2.86
 O = 355
T = 284.65
 O = 355
T = 0.97
 O = 900
T = 0.89
s2v180c1800-3.cnf O = 249
T = 1.31		 O = 249
T = 5.07
 O = 249
T = 1.31
 O = 334
T = 201.63
 O = N/A
T = TO
 O = 250
T = 3.96
 O = 396
T = 284.57
 O = 396
T = 1.37
 O = 900
T = 0.66
s2v180c1900-1.cnf O = 267
T = 3.47		 O = 267
T = 3.47
 O = 267
T = 4.42
 O = 354
T = 191.14
 O = N/A
T = TO
 O = 267
T = 212.93
 O = 400
T = 284.55
 O = 400
T = 1.09
 O = 950
T = 0.79
s2v180c1900-2.cnf O = 263
T = 3.28		 O = 263
T = 4.54
 O = 263
T = 3.83
 O = 360
T = 221.87
 O = N/A
T = TO
 O = 263
T = 3.28
 O = 400
T = 284.51
 O = 400
T = 1.24
 O = 950
T = 0.72
s2v180c1900-3.cnf O = 269
T = 2.50		 O = 269
T = 3.44
 O = 269
T = 2.50
 O = 363
T = 5.73
 O = N/A
T = TO
 O = 271
T = 3.76
 O = 422
T = 284.57
 O = 422
T = 0.90
 O = 950
T = 0.77
s2v180c2000-1.cnf O = 286
T = 2.71		 O = 286
T = 3.63
 O = 286
T = 2.71
 O = 378
T = 255.14
 O = N/A
T = TO
 O = 286
T = 2.97
 O = 470
T = 284.45
 O = 474
T = 1.29
 O = 1000
T = 0.69
s2v180c2000-2.cnf O = 285
T = 3.41		 O = 285
T = 4.34
 O = 285
T = 3.59
 O = 388
T = 23.05
 O = N/A
T = TO
 O = 285
T = 3.41
 O = 413
T = 284.52
 O = 413
T = 0.83
 O = 1000
T = 0.78
s2v180c2000-3.cnf O = 288
T = 4.14		 O = 288
T = 4.14
 O = 288
T = 5.10
 O = 381
T = 277.37
 O = N/A
T = TO
 O = 292
T = 3.52
 O = 426
T = 284.53
 O = 424
T = 0.78
 O = 1000
T = 0.87
s2v180c2100-1.cnf O = 306
T = 1.78		 O = 306
T = 1.78
 O = 306
T = 2.03
 O = 406
T = 109.95
 O = N/A
T = TO
 O = 307
T = 3.13
 O = 465
T = 284.46
 O = 465
T = 0.82
 O = 1050
T = 1.27
s2v180c2100-2.cnf O = 302
T = 3.31		 O = 302
T = 3.89
 O = 302
T = 4.19
 O = 410
T = 104.24
 O = N/A
T = TO
 O = 302
T = 3.31
 O = 481
T = 284.32
 O = 482
T = 0.76
 O = 1050
T = 0.69
s2v180c2100-3.cnf O = 304
T = 2.72		 O = 304
T = 4.68
 O = 304
T = 2.72
 O = 415
T = 156.31
 O = N/A
T = TO
 O = 314
T = 3.13
 O = 447
T = 284.69
 O = 440
T = 0.82
 O = 1050
T = 0.70
s2v180c2200-1.cnf O = 323
T = 3.05		 O = 323
T = 3.66
 O = 323
T = 4.19
 O = 439
T = 150.49
 O = N/A
T = TO
 O = 323
T = 3.05
 O = 511
T = 284.61
 O = N/A
T = TO
 O = 1100
T = 0.70
s2v180c2200-2.cnf O = 324
T = 1.83		 O = 324
T = 2.72
 O = 324
T = 1.83
 O = 433
T = 38.25
 O = N/A
T = TO
 O = 324
T = 10.51
 O = 488
T = 284.60
 O = 491
T = 0.72
 O = 1100
T = 0.62
s2v180c2200-3.cnf O = 321
T = 3.28		 O = 321
T = 3.72
 O = 321
T = 3.28
 O = 437
T = 254.25
 O = N/A
T = TO
 O = 321
T = 4.14
 O = 460
T = 284.38
 O = 452
T = 0.79
 O = 1100
T = 0.88
s2v180c2300-1.cnf O = 340
T = 3.53		 O = 340
T = 3.99
 O = 340
T = 3.84
 O = 461
T = 166.35
 O = N/A
T = TO
 O = 340
T = 3.53
 O = 512
T = 284.16
 O = 512
T = 0.81
 O = 1150
T = 0.92
s2v180c2300-2.cnf O = 344
T = 3.05		 O = 344
T = 4.09
 O = 344
T = 3.35
 O = 447
T = 228.71
 O = N/A
T = TO
 O = 344
T = 3.05
 O = 487
T = 284.55
 O = 487
T = 0.86
 O = 1150
T = 1.05
s2v180c2300-3.cnf O = 347
T = 3.99		 O = 347
T = 4.82
 O = 347
T = 3.99
 O = 461
T = 20.79
 O = N/A
T = TO
 O = 353
T = 3.13
 O = 522
T = 284.46
 O = 529
T = 0.81
 O = 1150
T = 0.71
s2v180c2400-1.cnf O = 363
T = 4.01		 O = 363
T = 4.01
 O = 363
T = 5.44
 O = 484
T = 68.10
 O = N/A
T = TO
 O = 363
T = 4.82
 O = 533
T = 284.30
 O = N/A
T = TO
 O = 1200
T = 0.06
s2v180c2400-2.cnf O = 362
T = 3.27		 O = 362
T = 3.57
 O = 362
T = 3.27
 O = 486
T = 30.32
 O = N/A
T = TO
 O = 362
T = 4.19
 O = 507
T = 284.39
 O = 507
T = 1.00
 O = 1200
T = 0.07
s2v180c2400-3.cnf O = 371
T = 3.76		 O = 371
T = 3.97
 O = 371
T = 4.65
 O = 489
T = 126.59
 O = N/A
T = TO
 O = 371
T = 3.76
 O = 535
T = 284.62
 O = 535
T = 0.79
 O = 1200
T = 0.14
s2v180c2500-1.cnf O = 385
T = 3.66		 O = 385
T = 4.19
 O = 385
T = 3.66
 O = 511
T = 203.20
 O = N/A
T = TO
 O = 385
T = 3.89
 O = 570
T = 284.49
 O = 570
T = 0.89
 O = 1250
T = 0.06
s2v180c2500-2.cnf O = 382
T = 3.86		 O = 382
T = 3.87
 O = 382
T = 3.86
 O = 511
T = 102.47
 O = N/A
T = TO
 O = 386
T = 69.86
 O = 553
T = 284.65
 O = 553
T = 1.05
 O = 1250
T = 0.06
s2v180c2500-3.cnf O = 390
T = 3.22		 O = 390
T = 3.96
 O = 390
T = 3.22
 O = 505
T = 222.37
 O = N/A
T = TO
 O = 395
T = 154.12
 O = 554
T = 284.54
 O = 540
T = 0.75
 O = 1250
T = 0.05
s2v180c2600-1.cnf O = 405
T = 3.88		 O = 405
T = 3.88
 O = 405
T = 5.49
 O = 526
T = 244.29
 O = N/A
T = TO
 O = 405
T = 17.91
 O = 591
T = 284.47
 O = N/A
T = TO
 O = 1300
T = 0.05
s2v180c2600-2.cnf O = 405
T = 2.86		 O = 405
T = 2.86
 O = 405
T = 4.69
 O = 528
T = 196.58
 O = N/A
T = TO
 O = 412
T = 36.27
 O = 556
T = 284.74
 O = 556
T = 0.83
 O = 1300
T = 0.05
s2v180c2600-3.cnf O = 413
T = 3.89		 O = 413
T = 4.05
 O = 413
T = 3.89
 O = 539
T = 184.12
 O = N/A
T = TO
 O = 414
T = 3.39
 O = 611
T = 284.62
 O = N/A
T = TO
 O = 1300
T = 0.05
s2v200c1200-1.cnf O = 122
T = 3.94		 O = 122
T = 3.97
 O = 122
T = 3.94
 O = 176
T = 27.06
 O = N/A
T = TO
 O = 122
T = 3.94
 O = 197
T = 284.29
 O = 197
T = 0.95
 O = 600
T = 0.86
s2v200c1200-2.cnf O = 125
T = 2.61		 O = 125
T = 4.94
 O = 125
T = 4.33
 O = 174
T = 277.00
 O = N/A
T = TO
 O = 125
T = 2.61
 O = 237
T = 284.34
 O = 237
T = 1.23
 O = 600
T = 1.12
s2v200c1200-3.cnf O = 128
T = 2.84		 O = 128
T = 4.03
 O = 128
T = 2.84
 O = 179
T = 24.03
 O = N/A
T = TO
 O = 128
T = 6.64
 O = 218
T = 284.37
 O = 216
T = 0.77
 O = 600
T = 1.21
s2v200c1300-1.cnf O = 142
T = 2.34		 O = 142
T = 4.51
 O = 142
T = 2.34
 O = 189
T = 141.58
 O = N/A
T = TO
 O = 142
T = 214.90
 O = 232
T = 284.66
 O = 232
T = 0.91
 O = 650
T = 1.39
s2v200c1300-2.cnf O = 147
T = 3.74		 O = 147
T = 3.74
 O = 147
T = 3.74
 O = 201
T = 215.77
 O = N/A
T = TO
 O = 147
T = 11.04
 O = 253
T = 284.34
 O = 254
T = 0.84
 O = 650
T = 0.81
s2v200c1300-3.cnf O = 146
T = 3.33		 O = 146
T = 5.35
 O = 146
T = 3.33
 O = 202
T = 267.79
 O = N/A
T = TO
 O = 148
T = 8.50
 O = 253
T = 284.47
 O = 253
T = 1.30
 O = 650
T = 0.87
s2v200c1400-1.cnf O = 159
T = 1.42		 O = 159
T = 3.70
 O = 159
T = 1.42
 O = 223
T = 144.73
 O = N/A
T = TO
 O = 160
T = 4.76
 O = 249
T = 284.55
 O = 249
T = 0.84
 O = 700
T = 1.10
s2v200c1400-2.cnf O = 161
T = 3.79		 O = 161
T = 3.79
 O = 161
T = 4.00
 O = 225
T = 170.00
 O = N/A
T = TO
 O = 161
T = 4.10
 O = 243
T = 284.22
 O = 243
T = 0.80
 O = 700
T = 1.02
s2v200c1400-3.cnf O = 162
T = 3.48		 O = 162
T = 4.56
 O = 162
T = 3.48
 O = 224
T = 157.99
 O = N/A
T = TO
 O = 162
T = 3.68
 O = 279
T = 284.34
 O = 279
T = 0.87
 O = 700
T = 1.10
s2v200c1500-1.cnf O = 178
T = 2.94		 O = 178
T = 3.53
 O = 178
T = 3.26
 O = 248
T = 242.06
 O = N/A
T = TO
 O = 178
T = 2.94
 O = 272
T = 284.45
 O = 272
T = 0.99
 O = 750
T = 0.75
s2v200c1500-2.cnf O = 176
T = 3.26		 O = 176
T = 3.26
 O = 176
T = 4.85
 O = 245
T = 5.75
 O = N/A
T = TO
 O = 176
T = 3.83
 O = 290
T = 284.46
 O = 290
T = 0.90
 O = 750
T = 1.19
s2v200c1500-3.cnf O = 181
T = 4.00		 O = 181
T = 4.12
 O = 181
T = 4.00
 O = 254
T = 153.84
 O = N/A
T = TO
 O = 181
T = 19.73
 O = 299
T = 284.54
 O = 299
T = 1.01
 O = 750
T = 0.84
s2v200c1600-1.cnf O = 200
T = 3.63		 O = 200
T = 3.90
 O = 200
T = 3.63
 O = 269
T = 79.56
 O = N/A
T = TO
 O = 201
T = 3.32
 O = 306
T = 284.71
 O = 306
T = 0.88
 O = 800
T = 0.77
s2v200c1600-2.cnf O = 193
T = 3.30		 O = 193
T = 4.08
 O = 193
T = 4.01
 O = 275
T = 163.80
 O = N/A
T = TO
 O = 193
T = 3.30
 O = 329
T = 284.65
 O = 329
T = 0.99
 O = 800
T = 0.70
s2v200c1600-3.cnf O = 200
T = 3.68		 O = 200
T = 4.32
 O = 200
T = 3.68
 O = 278
T = 128.77
 O = N/A
T = TO
 O = 200
T = 7.01
 O = 328
T = 284.46
 O = 328
T = 1.20
 O = 800
T = 1.19
s2v200c1700-1.cnf O = 216
T = 2.81		 O = 216
T = 4.08
 O = 216
T = 2.81
 O = 296
T = 1.79
 O = N/A
T = TO
 O = 216
T = 4.09
 O = 352
T = 284.52
 O = 352
T = 0.81
 O = 850
T = 1.26
s2v200c1700-2.cnf O = 215
T = 3.60		 O = 215
T = 3.60
 O = 215
T = 4.03
 O = 301
T = 268.92
 O = N/A
T = TO
 O = 215
T = 12.51
 O = 337
T = 284.64
 O = 339
T = 1.21
 O = 850
T = 1.13
s2v200c1700-3.cnf O = 219
T = 2.88		 O = 219
T = 2.88
 O = 219
T = 3.58
 O = 305
T = 15.77
 O = N/A
T = TO
 O = 219
T = 3.49
 O = 335
T = 284.67
 O = 335
T = 0.77
 O = 850
T = 1.02
s2v200c1800-1.cnf O = 236
T = 3.02		 O = 236
T = 3.45
 O = 236
T = 3.66
 O = 314
T = 256.00
 O = N/A
T = TO
 O = 236
T = 3.02
 O = 387
T = 284.41
 O = 387
T = 0.90
 O = 900
T = 0.75
s2v200c1800-2.cnf O = 233
T = 3.58		 O = 233
T = 3.87
 O = 233
T = 3.58
 O = 329
T = 33.25
 O = N/A
T = TO
 O = 233
T = 4.28
 O = 362
T = 284.35
 O = 362
T = 1.01
 O = 900
T = 1.07
s2v200c1800-3.cnf O = 240
T = 3.08		 O = 240
T = 3.14
 O = 240
T = 3.08
 O = 330
T = 149.50
 O = N/A
T = TO
 O = 240
T = 4.10
 O = 379
T = 284.51
 O = 379
T = 1.19
 O = 900
T = 0.97
s2v200c1900-1.cnf O = 256
T = 3.38		 O = 256
T = 5.12
 O = 256
T = 3.38
 O = 351
T = 84.27
 O = N/A
T = TO
 O = 256
T = 3.46
 O = 368
T = 284.61
 O = 368
T = 0.85
 O = 950
T = 1.08
s2v200c1900-2.cnf O = 254
T = 3.43		 O = 254
T = 4.07
 O = 254
T = 3.43
 O = 348
T = 123.29
 O = N/A
T = TO
 O = 254
T = 7.09
 O = 416
T = 284.56
 O = 416
T = 1.03
 O = 950
T = 1.15
s2v200c1900-3.cnf O = 256
T = 2.48		 O = 256
T = 4.10
 O = 256
T = 4.98
 O = 347
T = 134.53
 O = N/A
T = TO
 O = 256
T = 2.48
 O = 396
T = 284.46
 O = 402
T = 0.88
 O = 950
T = 0.91
s2v200c2000-1.cnf O = 273
T = 3.74		 O = 273
T = 3.74
 O = 273
T = 4.68
 O = 379
T = 230.34
 O = N/A
T = TO
 O = 275
T = 3.35
 O = 430
T = 284.64
 O = 430
T = 0.95
 O = 1000
T = 1.09
s2v200c2000-2.cnf O = 275
T = 2.79		 O = 275
T = 2.79
 O = 275
T = 4.06
 O = 378
T = 5.39
 O = N/A
T = TO
 O = 276
T = 30.38
 O = 413
T = 284.49
 O = 413
T = 0.76
 O = 1000
T = 1.01
s2v200c2000-3.cnf O = 272
T = 4.04		 O = 272
T = 4.04
 O = 272
T = 4.60
 O = 376
T = 272.25
 O = N/A
T = TO
 O = 276
T = 4.50
 O = 421
T = 284.43
 O = 420
T = 0.88
 O = 1000
T = 1.25
s2v200c2100-1.cnf O = 289
T = 3.40		 O = 289
T = 3.92
 O = 289
T = 3.40
 O = 403
T = 217.52
 O = N/A
T = TO
 O = 291
T = 2.91
 O = 423
T = 284.66
 O = N/A
T = TO
 O = 1050
T = 0.79
s2v200c2100-2.cnf O = 292
T = 3.77		 O = 292
T = 5.08
 O = 292
T = 3.77
 O = 403
T = 198.37
 O = N/A
T = TO
 O = 295
T = 4.89
 O = 439
T = 284.60
 O = 435
T = 0.85
 O = 1050
T = 0.98
s2v200c2100-3.cnf O = 296
T = 3.85		 O = 296
T = 3.85
 O = 296
T = 4.81
 O = 401
T = 68.35
 O = N/A
T = TO
 O = 296
T = 228.86
 O = 456
T = 284.38
 O = 456
T = 0.91
 O = 1050
T = 0.96
s2v200c2200-1.cnf O = 311
T = 2.88		 O = 311
T = 5.23
 O = 311
T = 2.88
 O = 431
T = 267.83
 O = N/A
T = TO
 O = 312
T = 4.20
 O = 451
T = 284.12
 O = 451
T = 0.75
 O = N/A
T = TO
s2v200c2200-2.cnf O = 309
T = 4.05		 O = 309
T = 4.05
 O = 309
T = 4.76
 O = 414
T = 96.01
 O = N/A
T = TO
 O = 313
T = 4.32
 O = 457
T = 284.35
 O = 459
T = 1.11
 O = 1100
T = 0.73
s2v200c2200-3.cnf O = 313
T = 4.66		 O = 313
T = 5.34
 O = 313
T = 4.66
 O = 419
T = 10.90
 O = N/A
T = TO
 O = 313
T = 5.82
 O = 468
T = 284.62
 O = 468
T = 0.83
 O = 1100
T = 0.89
s2v200c2300-1.cnf O = 330
T = 3.08		 O = 330
T = 3.08
 O = 330
T = 5.06
 O = 452
T = 258.43
 O = N/A
T = TO
 O = 338
T = 4.29
 O = 472
T = 284.64
 O = 470
T = 0.73
 O = 1150
T = 0.80
s2v200c2300-2.cnf O = 330
T = 3.93		 O = 330
T = 3.93
 O = 330
T = 4.45
 O = 450
T = 259.55
 O = N/A
T = TO
 O = 333
T = 4.73
 O = N/A
T = TO
 O = 466
T = 0.75
 O = N/A
T = TO
s2v200c2300-3.cnf O = 336
T = 3.71		 O = 336
T = 3.93
 O = 336
T = 3.71
 O = 455
T = 250.42
 O = N/A
T = TO
 O = 338
T = 3.78
 O = 502
T = 284.48
 O = 502
T = 0.76
 O = 1150
T = 1.04
s2v200c2400-1.cnf O = 347
T = 4.09		 O = 347
T = 5.10
 O = 347
T = 4.09
 O = 477
T = 176.87
 O = N/A
T = TO
 O = 351
T = 3.70
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1200
T = 0.80
s2v200c2400-2.cnf O = 350
T = 4.56		 O = 350
T = 4.56
 O = 350
T = 5.12
 O = 473
T = 81.69
 O = N/A
T = TO
 O = 354
T = 106.18
 O = 503
T = 284.59
 O = 503
T = 1.07
 O = 1200
T = 1.32
s2v200c2400-3.cnf O = 353
T = 3.29		 O = 353
T = 5.22
 O = 353
T = 4.05
 O = 472
T = 127.69
 O = N/A
T = TO
 O = 353
T = 3.29
 O = 524
T = 284.05
 O = 524
T = 0.86
 O = 1200
T = 1.20
s2v200c2500-1.cnf O = 368
T = 3.42		 O = 368
T = 3.42
 O = 368
T = 4.61
 O = 499
T = 234.80
 O = N/A
T = TO
 O = 372
T = 3.82
 O = 550
T = 284.29
 O = N/A
T = TO
 O = 1250
T = 0.09
s2v200c2500-2.cnf O = 373
T = 2.73		 O = 373
T = 2.73
 O = 373
T = 4.08
 O = 497
T = 46.46
 O = N/A
T = TO
 O = 374
T = 3.60
 O = N/A
T = TO
 O = 516
T = 1.02
 O = 1250
T = 0.12
s2v200c2500-3.cnf O = 369
T = 1.67		 O = 369
T = 3.79
 O = 369
T = 1.67
 O = 504
T = 227.78
 O = N/A
T = TO
 O = 369
T = 4.44
 O = 584
T = 284.52
 O = N/A
T = TO
 O = 1250
T = 1.38
s2v200c2600-1.cnf O = 390
T = 5.17		 O = 390
T = 5.88
 O = 390
T = 5.17
 O = 518
T = 214.70
 O = N/A
T = TO
 O = 392
T = 5.35
 O = 569
T = 284.51
 O = N/A
T = TO
 O = N/A
T = TO
s2v200c2600-2.cnf O = 392
T = 3.59		 O = 392
T = 3.59
 O = 392
T = 5.12
 O = 516
T = 84.34
 O = N/A
T = TO
 O = 396
T = 3.43
 O = 559
T = 284.49
 O = 551
T = 0.89
 O = 1300
T = 0.07
s2v200c2600-3.cnf O = 390
T = 3.64		 O = 390
T = 4.45
 O = 390
T = 3.64
 O = 527
T = 210.94
 O = N/A
T = TO
 O = 390
T = 37.88
 O = 562
T = 284.43
 O = 562
T = 1.14
 O = 1300
T = 0.07
s2v220c1200-1.cnf O = 117
T = 3.63		 O = 117
T = 4.20
 O = 117
T = 3.63
 O = 158
T = 21.67
 O = N/A
T = TO
 O = 117
T = 4.19
 O = 196
T = 284.35
 O = 196
T = 0.90
 O = 600
T = 1.30
s2v220c1200-2.cnf O = 116
T = 4.28		 O = 116
T = 5.46
 O = 116
T = 4.28
 O = 161
T = 185.21
 O = N/A
T = TO
 O = 116
T = 89.63
 O = 198
T = 284.60
 O = 198
T = 0.89
 O = 600
T = 1.13
s2v220c1200-3.cnf O = 115
T = 3.36		 O = 115
T = 4.91
 O = 115
T = 3.36
 O = 164
T = 12.92
 O = N/A
T = TO
 O = 115
T = 4.18
 O = 197
T = 284.42
 O = 197
T = 0.94
 O = 600
T = 1.24
s2v220c1300-1.cnf O = 132
T = 4.31		 O = 132
T = 4.80
 O = 132
T = 5.78
 O = 191
T = 195.48
 O = N/A
T = TO
 O = 132
T = 4.31
 O = 242
T = 284.65
 O = 242
T = 0.85
 O = 650
T = 1.39
s2v220c1300-2.cnf O = 132
T = 3.99		 O = 132
T = 4.08
 O = 132
T = 4.75
 O = 187
T = 292.67
 O = N/A
T = TO
 O = 132
T = 3.99
 O = 234
T = 284.56
 O = 234
T = 0.86
 O = 650
T = 1.15
s2v220c1300-3.cnf O = 136
T = 3.49		 O = 136
T = 4.00
 O = 136
T = 4.29
 O = 190
T = 133.51
 O = N/A
T = TO
 O = 136
T = 3.49
 O = 220
T = 284.50
 O = 220
T = 1.00
 O = 650
T = 1.39
s2v220c1400-1.cnf O = 154
T = 4.42		 O = 154
T = 5.16
 O = 154
T = 4.62
 O = 216
T = 201.48
 O = N/A
T = TO
 O = 154
T = 4.42
 O = 247
T = 284.10
 O = 247
T = 1.09
 O = 700
T = 1.07
s2v220c1400-2.cnf O = 149
T = 4.25		 O = 149
T = 4.43
 O = 149
T = 4.25
 O = 214
T = 224.74
 O = N/A
T = TO
 O = 151
T = 4.18
 O = 262
T = 284.45
 O = 257
T = 1.15
 O = 700
T = 1.25
s2v220c1400-3.cnf O = 151
T = 2.42		 O = 151
T = 15.75
 O = 151
T = 4.58
 O = 215
T = 213.05
 O = N/A
T = TO
 O = 151
T = 2.42
 O = 251
T = 284.37
 O = 251
T = 1.10
 O = 700
T = 1.07
s2v220c1500-1.cnf O = 170
T = 2.54		 O = 170
T = 5.96
 O = 170
T = 3.56
 O = 238
T = 197.25
 O = N/A
T = TO
 O = 170
T = 2.54
 O = 262
T = 283.99
 O = 262
T = 1.09
 O = 750
T = 0.98
s2v220c1500-2.cnf O = 169
T = 2.65		 O = 169
T = 3.85
 O = 169
T = 3.99
 O = 238
T = 55.84
 O = N/A
T = TO
 O = 169
T = 2.65
 O = 293
T = 284.46
 O = 293
T = 0.96
 O = 750
T = 1.37
s2v220c1500-3.cnf O = 169
T = 3.40		 O = 169
T = 4.23
 O = 169
T = 3.96
 O = 235
T = 66.10
 O = N/A
T = TO
 O = 169
T = 3.40
 O = 265
T = 284.31
 O = 265
T = 0.96
 O = 750
T = 1.58
s2v220c1600-1.cnf O = 186
T = 3.95		 O = 186
T = 4.93
 O = 186
T = 3.95
 O = 268
T = 85.06
 O = N/A
T = TO
 O = 186
T = 12.09
 O = 305
T = 284.05
 O = 305
T = 1.29
 O = 800
T = 1.58
s2v220c1600-2.cnf O = 186
T = 3.75		 O = 186
T = 4.88
 O = 186
T = 4.40
 O = 264
T = 257.75
 O = N/A
T = TO
 O = 186
T = 3.75
 O = 305
T = 284.58
 O = 305
T = 0.85
 O = 800
T = 1.06
s2v220c1600-3.cnf O = 184
T = 4.16		 O = 184
T = 4.76
 O = 184
T = 4.16
 O = 265
T = 126.94
 O = N/A
T = TO
 O = 184
T = 4.40
 O = 293
T = 284.44
 O = 293
T = 0.66
 O = 800
T = 1.51
s2v220c1700-1.cnf O = 209
T = 3.87		 O = 209
T = 4.23
 O = 209
T = 6.03
 O = 288
T = 114.65
 O = N/A
T = TO
 O = 209
T = 3.87
 O = 335
T = 284.52
 O = 335
T = 0.97
 O = 850
T = 1.45
s2v220c1700-2.cnf O = 204
T = 4.12		 O = 204
T = 6.01
 O = 204
T = 4.12
 O = 288
T = 30.08
 O = N/A
T = TO
 O = 207
T = 3.75
 O = 336
T = 284.46
 O = 336
T = 1.00
 O = 850
T = 1.57
s2v220c1700-3.cnf O = 199
T = 4.19		 O = 199
T = 4.99
 O = 199
T = 5.36
 O = 289
T = 59.19
 O = N/A
T = TO
 O = 199
T = 4.19
 O = 326
T = 284.38
 O = 326
T = 1.05
 O = 850
T = 1.60
s2v220c1800-1.cnf O = 227
T = 4.26		 O = 227
T = 4.26
 O = 227
T = 4.83
 O = 321
T = 257.73
 O = N/A
T = TO
 O = 227
T = 7.68
 O = 353
T = 284.54
 O = 353
T = 1.00
 O = 900
T = 1.36
s2v220c1800-2.cnf O = 225
T = 4.43		 O = 225
T = 5.18
 O = 225
T = 4.90
 O = 316
T = 167.56
 O = N/A
T = TO
 O = 225
T = 4.43
 O = 357
T = 284.46
 O = 357
T = 0.96
 O = 900
T = 1.03
s2v220c1800-3.cnf O = 216
T = 4.13		 O = 216
T = 5.63
 O = 216
T = 4.34
 O = 318
T = 46.49
 O = N/A
T = TO
 O = 216
T = 4.13
 O = 350
T = 284.29
 O = 350
T = 0.88
 O = 900
T = 1.40
s2v220c1900-1.cnf O = 249
T = 3.64		 O = 249
T = 3.64
 O = 249
T = 5.10
 O = 345
T = 258.67
 O = N/A
T = TO
 O = 249
T = 3.91
 O = 361
T = 284.30
 O = 363
T = 1.00
 O = 950
T = 1.33
s2v220c1900-2.cnf O = 245
T = 2.97		 O = 245
T = 2.97
 O = 245
T = 5.79
 O = 340
T = 206.52
 O = N/A
T = TO
 O = 246
T = 2.76
 O = 389
T = 284.59
 O = 389
T = 0.79
 O = 950
T = 1.16
s2v220c1900-3.cnf O = 238
T = 4.37		 O = 238
T = 4.37
 O = 238
T = 4.75
 O = 339
T = 253.00
 O = N/A
T = TO
 O = 238
T = 4.71
 O = 399
T = 284.49
 O = 399
T = 0.95
 O = 950
T = 1.20
s2v220c2000-1.cnf O = 265
T = 4.18		 O = 265
T = 4.94
 O = 265
T = 4.73
 O = 366
T = 48.60
 O = N/A
T = TO
 O = 265
T = 4.18
 O = 420
T = 284.36
 O = 420
T = 0.82
 O = 1000
T = 1.07
s2v220c2000-2.cnf O = 263
T = 4.02		 O = 263
T = 4.04
 O = 263
T = 4.02
 O = 365
T = 277.76
 O = N/A
T = TO
 O = 263
T = 16.78
 O = 419
T = 284.24
 O = 419
T = 0.66
 O = 1000
T = 0.79
s2v220c2000-3.cnf O = 264
T = 5.25		 O = 264
T = 5.25
 O = 264
T = 5.30
 O = 370
T = 123.55
 O = N/A
T = TO
 O = 265
T = 5.07
 O = 428
T = 284.32
 O = 428
T = 0.63
 O = 1000
T = 1.33
s2v220c2100-1.cnf O = 284
T = 3.84		 O = 284
T = 4.14
 O = 284
T = 3.84
 O = 397
T = 19.71
 O = N/A
T = TO
 O = 286
T = 4.36
 O = 450
T = 284.53
 O = 450
T = 0.85
 O = 1050
T = 1.40
s2v220c2100-2.cnf O = 275
T = 3.79		 O = 275
T = 3.79
 O = 275
T = 5.72
 O = 383
T = 13.70
 O = N/A
T = TO
 O = 275
T = 3.97
 O = 449
T = 284.49
 O = 449
T = 0.74
 O = 1050
T = 1.00
s2v220c2100-3.cnf O = 281
T = 4.31		 O = 281
T = 4.45
 O = 281
T = 4.31
 O = 387
T = 156.03
 O = N/A
T = TO
 O = 282
T = 24.58
 O = 424
T = 284.34
 O = 424
T = 0.78
 O = 1050
T = 1.50
s2v220c2200-1.cnf O = 304
T = 3.77		 O = 304
T = 4.44
 O = 304
T = 4.17
 O = 413
T = 234.93
 O = N/A
T = TO
 O = 304
T = 3.77
 O = 454
T = 283.85
 O = 454
T = 0.88
 O = 1100
T = 1.40
s2v220c2200-2.cnf O = 298
T = 1.76		 O = 298
T = 4.08
 O = 298
T = 1.76
 O = 419
T = 218.28
 O = N/A
T = TO
 O = 298
T = 69.77
 O = 462
T = 284.18
 O = N/A
T = TO
 O = 1100
T = 1.15
s2v220c2200-3.cnf O = 301
T = 4.39		 O = 301
T = 4.39
 O = 301
T = 4.89
 O = 416
T = 254.97
 O = N/A
T = TO
 O = 301
T = 4.71
 O = 446
T = 284.43
 O = 446
T = 0.55
 O = 1100
T = 1.19
s2v220c2300-1.cnf O = 321
T = 4.33		 O = 321
T = 4.69
 O = 321
T = 5.34
 O = 441
T = 85.41
 O = N/A
T = TO
 O = 321
T = 4.33
 O = 483
T = 284.27
 O = 483
T = 0.84
 O = 1150
T = 0.80
s2v220c2300-2.cnf O = 319
T = 5.02		 O = 319
T = 5.02
 O = 319
T = 5.25
 O = 439
T = 203.04
 O = N/A
T = TO
 O = 322
T = 4.08
 O = 504
T = 284.44
 O = N/A
T = TO
 O = 1150
T = 1.00
s2v220c2300-3.cnf O = 318
T = 3.75		 O = 318
T = 5.36
 O = 318
T = 3.75
 O = 444
T = 129.38
 O = N/A
T = TO
 O = 318
T = 4.00
 O = 487
T = 284.33
 O = 487
T = 0.62
 O = 1150
T = 1.22
s2v220c2400-1.cnf O = 343
T = 3.29		 O = 343
T = 3.64
 O = 343
T = 3.29
 O = 467
T = 89.31
 O = N/A
T = TO
 O = 345
T = 34.97
 O = 511
T = 284.44
 O = 511
T = 0.76
 O = 1200
T = 1.22
s2v220c2400-2.cnf O = 339
T = 3.19		 O = 339
T = 4.91
 O = 339
T = 5.19
 O = 471
T = 257.44
 O = N/A
T = TO
 O = 339
T = 3.19
 O = 481
T = 282.89
 O = 483
T = 1.14
 O = 1200
T = 1.23
s2v220c2400-3.cnf O = 337
T = 3.21		 O = 337
T = 4.89
 O = 337
T = 3.21
 O = 460
T = 18.47
 O = N/A
T = TO
 O = 337
T = 4.85
 O = 506
T = 284.34
 O = 506
T = 0.74
 O = 1200
T = 0.94
s2v220c2500-1.cnf O = 361
T = 3.94		 O = 361
T = 5.52
 O = 361
T = 3.94
 O = 497
T = 115.43
 O = N/A
T = TO
 O = 361
T = 22.64
 O = 554
T = 284.02
 O = 554
T = 1.08
 O = 1250
T = 1.06
s2v220c2500-2.cnf O = 358
T = 2.89		 O = 358
T = 5.01
 O = 358
T = 2.89
 O = 493
T = 125.08
 O = N/A
T = TO
 O = 358
T = 204.12
 O = 539
T = 284.29
 O = N/A
T = TO
 O = 1250
T = 0.12
s2v220c2500-3.cnf O = 359
T = 4.57		 O = 359
T = 5.62
 O = 359
T = 4.57
 O = 492
T = 253.75
 O = N/A
T = TO
 O = 360
T = 167.62
 O = 532
T = 284.66
 O = 533
T = 0.94
 O = 1250
T = 0.99
s2v220c2600-1.cnf O = 379
T = 4.41		 O = 379
T = 4.41
 O = 379
T = 5.09
 O = 517
T = 193.97
 O = N/A
T = TO
 O = 379
T = 5.15
 O = 562
T = 284.52
 O = N/A
T = TO
 O = N/A
T = TO
s2v220c2600-2.cnf O = 378
T = 2.58		 O = 378
T = 5.71
 O = 378
T = 2.58
 O = 509
T = 109.67
 O = N/A
T = TO
 O = 378
T = 113.76
 O = 577
T = 284.33
 O = N/A
T = TO
 O = 1300
T = 0.07
s2v220c2600-3.cnf O = 380
T = 3.51		 O = 380
T = 3.51
 O = 380
T = 5.34
 O = 516
T = 2.47
 O = N/A
T = TO
 O = 380
T = 77.66
 O = 558
T = 284.44
 O = N/A
T = TO
 O = 1300
T = 0.26
MANN_a27.clq.cnf O = 404
T = 0.13		 O = 404
T = 0.84
 O = 404
T = 0.34
 O = 404
T = 37.94
 O = N/A
T = TO
 O = 404
T = 0.13
 O = 804
T = 284.51
 O = N/A
T = TO
 O = N/A
T = TO
MANN_a45.clq.cnf O = 418
T = 0.19		 O = 418
T = 0.48
 O = 418
T = 0.64
 O = 418
T = 0.37
 O = N/A
T = TO
 O = 418
T = 0.19
 O = 818
T = 284.51
 O = N/A
T = TO
 O = 859
T = 0.05
MANN_a81.clq.cnf O = 399
T = 0.10		 O = 399
T = 0.64
 O = 399
T = 0.55
 O = 399
T = 0.22
 O = N/A
T = TO
 O = 399
T = 0.10
 O = 779
T = 284.30
 O = N/A
T = TO
 O = 819
T = 0.05
MANN_a9.clq.cnf O = 422
T = 0.69		 O = 422
T = 1.18
 O = 422
T = 0.78
 O = 428
T = 37.40
 O = N/A
T = TO
 O = 422
T = 0.69
 O = 759
T = 284.31
 O = N/A
T = TO
 O = 918
T = 0.06
brock200_1.clq.cnf O = 238
T = 0.65		 O = 238
T = 1.13
 O = 238
T = 0.98
 O = 244
T = 3.93
 O = N/A
T = TO
 O = 238
T = 0.65
 O = 349
T = 284.53
 O = 349
T = 1.14
 O = 566
T = 0.78
brock200_2.clq.cnf O = 141
T = 0.76		 O = 141
T = 1.04
 O = 141
T = 0.89
 O = 148
T = 55.14
 O = 141
T = 59.39
 O = 141
T = 0.76
 O = 177
T = 284.63
 O = N/A
T = TO
 O = 385
T = 1.33
brock200_3.clq.cnf O = 214
T = 0.72		 O = 214
T = 1.23
 O = 214
T = 0.81
 O = 220
T = 51.39
 O = N/A
T = TO
 O = 214
T = 0.72
 O = 322
T = 284.52
 O = N/A
T = TO
 O = 519
T = 1.04
brock200_4.clq.cnf O = 209
T = 0.78		 O = 209
T = 1.33
 O = 209
T = 1.10
 O = 217
T = 21.11
 O = N/A
T = TO
 O = 209
T = 0.78
 O = 295
T = 284.64
 O = N/A
T = TO
 O = 514
T = 1.35
brock400_1.clq.cnf O = 255
T = 0.77		 O = 255
T = 1.11
 O = 255
T = 1.43
 O = 262
T = 57.94
 O = N/A
T = TO
 O = 255
T = 0.77
 O = 383
T = 284.58
 O = N/A
T = TO
 O = 596
T = 1.30
brock400_2.clq.cnf O = 252
T = 0.51		 O = 252
T = 1.18
 O = 252
T = 1.11
 O = 260
T = 170.94
 O = N/A
T = TO
 O = 252
T = 0.51
 O = 362
T = 284.47
 O = N/A
T = TO
 O = N/A
T = TO
brock400_3.clq.cnf O = 238
T = 0.71		 O = 238
T = 1.22
 O = 238
T = 1.00
 O = 245
T = 244.79
 O = N/A
T = TO
 O = 238
T = 0.71
 O = 436
T = 284.58
 O = N/A
T = TO
 O = 568
T = 0.63
brock400_4.clq.cnf O = 249
T = 1.09		 O = 249
T = 1.09
 O = 249
T = 1.23
 O = 256
T = 164.07
 O = N/A
T = TO
 O = 249
T = 12.35
 O = 497
T = 284.73
 O = 497
T = 0.86
 O = 589
T = 1.10
brock800_1.clq.cnf O = 205
T = 0.72		 O = 205
T = 1.16
 O = 205
T = 0.97
 O = 211
T = 272.24
 O = N/A
T = TO
 O = 205
T = 0.72
 O = 359
T = 284.36
 O = N/A
T = TO
 O = 511
T = 1.38
brock800_2.clq.cnf O = 207
T = 0.80		 O = 207
T = 1.14
 O = 207
T = 1.15
 O = 213
T = 216.52
 O = N/A
T = TO
 O = 207
T = 0.80
 O = 330
T = 284.54
 O = 349
T = 0.99
 O = 513
T = 1.13
brock800_3.clq.cnf O = 203
T = 0.84		 O = 203
T = 1.41
 O = 203
T = 1.64
 O = 214
T = 261.16
 O = N/A
T = TO
 O = 203
T = 0.84
 O = N/A
T = TO
 O = 336
T = 0.99
 O = 507
T = 0.85
brock800_4.clq.cnf O = 200
T = 0.97		 O = 200
T = 1.44
 O = 200
T = 1.06
 O = 207
T = 15.81
 O = N/A
T = TO
 O = 200
T = 0.97
 O = 275
T = 284.54
 O = 256
T = 1.00
 O = 498
T = 0.99
c-fat200-1.clq.cnf O = 4
T = 0.00		 O = 4
T = 0.91
 O = 4
T = 1.03
 O = 4
T = 0.26
 O = 4
T = 0.01
 O = 4
T = 0.78
 O = 4
T = 0.00
 O = 4
T = 0.00
 O = 4
T = 0.00
c-fat200-2.clq.cnf O = 26
T = 0.03		 O = 26
T = 1.28
 O = 26
T = 1.43
 O = 26
T = 50.75
 O = 26
T = 0.09
 O = 26
T = 0.77
 O = 26
T = 0.03
 O = 26
T = 0.09
 O = 26
T = 0.27
c-fat200-5.clq.cnf O = 116
T = 0.64		 O = 116
T = 0.89
 O = 116
T = 1.30
 O = 117
T = 159.02
 O = 116
T = 6.47
 O = 116
T = 0.64
 O = 199
T = 284.35
 O = 199
T = 1.02
 O = 323
T = 1.58
c-fat500-1.clq.cnf O = 2
T = 0.00		 O = 2
T = 1.21
 O = 2
T = 0.77
 O = 2
T = 0.11
 O = 2
T = 0.00
 O = 2
T = 0.31
 O = 2
T = 0.00
 O = 2
T = 0.00
 O = 2
T = 0.00
c-fat500-10.clq.cnf O = 200
T = 0.12		 O = 200
T = 0.51
 O = 200
T = 0.54
 O = 200
T = 0.12
 O = 200
T = 3.47
 O = 200
T = 0.19
 O = N/A
T = TO
 O = 302
T = 1.06
 O = 420
T = 1.37
c-fat500-2.clq.cnf O = 24
T = 0.00		 O = 24
T = 0.57
 O = 24
T = 0.78
 O = 24
T = 0.32
 O = 24
T = 0.02
 O = 24
T = 0.36
 O = 24
T = 0.00
 O = 24
T = 0.02
 O = 24
T = 0.00
c-fat500-5.clq.cnf O = 90
T = 0.24		 O = 90
T = 0.65
 O = 90
T = 0.83
 O = 90
T = 0.24
 O = 90
T = 0.70
 O = 90
T = 0.25
 O = 90
T = 0.46
 O = 112
T = 1.05
 O = 90
T = 15.25
hamming10-2.clq.cnf O = 400
T = 0.10		 O = 400
T = 0.51
 O = 400
T = 0.76
 O = 400
T = 0.11
 O = 400
T = 275.88
 O = 400
T = 0.10
 O = 780
T = 284.40
 O = N/A
T = TO
 O = 820
T = 0.04
hamming10-4.clq.cnf O = 319
T = 0.77		 O = 319
T = 0.89
 O = 319
T = 1.15
 O = 328
T = 208.37
 O = N/A
T = TO
 O = 319
T = 0.77
 O = 560
T = 284.16
 O = N/A
T = TO
 O = N/A
T = TO
hamming6-2.clq.cnf O = 832
T = 1.27		 O = 832
T = 1.42
 O = 832
T = 1.76
 O = 865
T = 243.72
 O = N/A
T = TO
 O = 832
T = 1.27
 O = N/A
T = TO
 O = 1602
T = 0.78
 O = N/A
T = TO
hamming6-4.clq.cnf O = 192
T = 1.32		 O = 192
T = 1.72
 O = 192
T = 1.85
 O = 254
T = 142.95
 O = 192
T = 68.92
 O = 192
T = 1.32
 O = 290
T = 284.35
 O = 290
T = 1.04
 O = 704
T = 1.43
hamming8-2.clq.cnf O = 441
T = 0.08		 O = 441
T = 0.53
 O = 441
T = 0.72
 O = 441
T = 0.30
 O = N/A
T = TO
 O = 441
T = 0.08
 O = 861
T = 284.46
 O = N/A
T = TO
 O = N/A
T = TO
hamming8-4.clq.cnf O = 176
T = 0.63		 O = 176
T = 1.07
 O = 176
T = 1.42
 O = 189
T = 185.48
 O = 176
T = 37.10
 O = 176
T = 0.63
 O = 265
T = 284.51
 O = 265
T = 0.81
 O = 497
T = 1.33
johnson16-2-4.clq.cnf O = 215
T = 0.63		 O = 215
T = 190.39
 O = 215
T = 8.63
 O = 230
T = 140.26
 O = 215
T = 62.88
 O = 215
T = 0.63
 O = 353
T = 284.30
 O = N/A
T = TO
 O = 575
T = 0.89
johnson32-2-4.clq.cnf O = 329
T = 0.88		 O = 329
T = 1.33
 O = 329
T = 1.35
 O = 334
T = 174.50
 O = N/A
T = TO
 O = 329
T = 0.88
 O = 593
T = 284.50
 O = 624
T = 1.14
 O = 764
T = 0.05
johnson8-2-4.clq.cnf O = 75
T = 0.35		 O = 75
T = 0.97
 O = 75
T = 0.97
 O = 75
T = 0.50
 O = 75
T = 3.18
 O = 75
T = 0.35
 O = 105
T = 284.24
 O = 105
T = 0.95
 O = 210
T = 1.51
johnson8-4-4.clq.cnf O = 770
T = 1.65		 O = 770
T = 1.65
 O = 770
T = 1.73
 O = 844
T = 160.86
 O = N/A
T = TO
 O = 770
T = 1.80
 O = 1279
T = 284.11
 O = N/A
T = TO
 O = N/A
T = TO
keller4.clq.cnf O = 199
T = 1.03		 O = 199
T = 1.72
 O = 199
T = 1.28
 O = 225
T = 266.58
 O = 199
T = 34.98
 O = 199
T = 1.03
 O = 480
T = 284.38
 O = 480
T = 0.89
 O = 606
T = 1.04
keller5.clq.cnf O = 250
T = 0.73		 O = 250
T = 1.22
 O = 250
T = 1.92
 O = 260
T = 189.69
 O = N/A
T = TO
 O = 250
T = 0.73
 O = 407
T = 284.67
 O = 426
T = 0.80
 O = 615
T = 0.96
p_hat1000-1.clq.cnf O = 52
T = 0.66		 O = 52
T = 1.27
 O = 52
T = 0.94
 O = 53
T = 41.06
 O = 52
T = 2.17
 O = 52
T = 0.66
 O = 52
T = 11.00
 O = 52
T = 18.66
 O = 176
T = 1.59
p_hat1000-2.clq.cnf O = 142
T = 0.67		 O = 142
T = 1.00
 O = 142
T = 1.08
 O = 147
T = 194.35
 O = 142
T = 62.86
 O = 142
T = 0.67
 O = 240
T = 284.34
 O = 239
T = 0.86
 O = 371
T = 1.25
p_hat1000-3.clq.cnf O = 238
T = 0.66		 O = 238
T = 1.27
 O = 238
T = 0.83
 O = 245
T = 150.10
 O = N/A
T = TO
 O = 238
T = 0.66
 O = 382
T = 284.52
 O = 398
T = 0.85
 O = 570
T = 1.47
p_hat300-1.clq.cnf O = 49
T = 0.67		 O = 49
T = 1.35
 O = 49
T = 1.02
 O = 50
T = 0.48
 O = 49
T = 2.55
 O = 49
T = 0.67
 O = 49
T = 24.11
 O = 49
T = 18.68
 O = 174
T = 1.23
p_hat300-2.clq.cnf O = 135
T = 0.91		 O = 135
T = 1.64
 O = 135
T = 1.04
 O = 142
T = 36.72
 O = 135
T = 37.59
 O = 135
T = 0.91
 O = 229
T = 284.28
 O = 220
T = 0.68
 O = 368
T = 0.83
p_hat300-3.clq.cnf O = 269
T = 0.87		 O = 269
T = 0.97
 O = 269
T = 1.44
 O = 277
T = 214.52
 O = N/A
T = TO
 O = 269
T = 0.87
 O = 316
T = 284.54
 O = N/A
T = TO
 O = 635
T = 1.52
p_hat500-1.clq.cnf O = 75
T = 0.71		 O = 75
T = 0.83
 O = 75
T = 1.33
 O = 77
T = 207.91
 O = 75
T = 6.53
 O = 75
T = 0.71
 O = 111
T = 284.46
 O = 111
T = 1.05
 O = 237
T = 1.19
p_hat500-2.clq.cnf O = 176
T = 0.72		 O = 176
T = 1.15
 O = 176
T = 1.33
 O = 183
T = 256.16
 O = N/A
T = TO
 O = 176
T = 0.72
 O = 344
T = 284.37
 O = 351
T = 1.22
 O = 455
T = 1.52
p_hat500-3.clq.cnf O = 284
T = 0.59		 O = 284
T = 1.08
 O = 284
T = 1.15
 O = 291
T = 72.21
 O = N/A
T = TO
 O = 284
T = 0.59
 O = 395
T = 284.72
 O = 426
T = 1.12
 O = 655
T = 0.05
p_hat700-1.clq.cnf O = 63
T = 0.88		 O = 63
T = 0.88
 O = 63
T = 1.41
 O = 63
T = 80.00
 O = 63
T = 4.27
 O = 63
T = 0.99
 O = 63
T = 75.47
 O = 63
T = 73.79
 O = 209
T = 1.58
p_hat700-2.clq.cnf O = 154
T = 0.81		 O = 154
T = 1.43
 O = 154
T = 1.42
 O = 160
T = 39.59
 O = 154
T = 58.10
 O = 154
T = 0.81
 O = 218
T = 284.39
 O = 218
T = 0.89
 O = 411
T = 1.60
p_hat700-3.clq.cnf O = 267
T = 0.84		 O = 267
T = 0.88
 O = 267
T = 1.22
 O = 276
T = 282.81
 O = N/A
T = TO
 O = 267
T = 0.84
 O = N/A
T = TO
 O = 475
T = 1.00
 O = 630
T = 1.11
san1000.clq.cnf O = 139
T = 0.71		 O = 139
T = 0.80
 O = 139
T = 1.20
 O = 144
T = 53.34
 O = 139
T = 70.03
 O = 139
T = 0.71
 O = 218
T = 284.62
 O = 218
T = 0.56
 O = 372
T = 1.20
san200_0.7_1.clq.cnf O = 237
T = 0.70		 O = 237
T = 0.79
 O = 237
T = 1.26
 O = 242
T = 161.76
 O = N/A
T = TO
 O = 237
T = 0.70
 O = 349
T = 284.49
 O = N/A
T = TO
 O = 558
T = 1.55
san200_0.7_2.clq.cnf O = 236
T = 0.67		 O = 236
T = 0.67
 O = 236
T = 1.50
 O = 242
T = 29.40
 O = N/A
T = TO
 O = 236
T = 1.13
 O = 407
T = 284.64
 O = N/A
T = TO
 O = 562
T = 1.38
san200_0.9_1.clq.cnf O = 313
T = 0.82		 O = 313
T = 1.03
 O = 313
T = 1.09
 O = 319
T = 60.60
 O = N/A
T = TO
 O = 313
T = 0.82
 O = 628
T = 283.94
 O = 628
T = 0.97
 O = 696
T = 0.03
san200_0.9_2.clq.cnf O = 316
T = 0.47		 O = 316
T = 0.95
 O = 316
T = 1.21
 O = 322
T = 130.97
 O = N/A
T = TO
 O = 316
T = 0.47
 O = 574
T = 284.53
 O = N/A
T = TO
 O = 702
T = 0.05
san200_0.9_3.clq.cnf O = 320
T = 0.49		 O = 320
T = 0.86
 O = 320
T = 1.16
 O = 324
T = 148.78
 O = N/A
T = TO
 O = 320
T = 0.49
 O = 574
T = 284.33
 O = N/A
T = TO
 O = 710
T = 0.04
san400_0.5_1.clq.cnf O = 146
T = 0.88		 O = 146
T = 0.88
 O = 146
T = 0.95
 O = 151
T = 64.39
 O = 146
T = 88.78
 O = 146
T = 0.95
 O = 205
T = 284.56
 O = 205
T = 1.11
 O = 395
T = 1.42
san400_0.7_1.clq.cnf O = 236
T = 1.01		 O = 236
T = 1.07
 O = 236
T = 1.63
 O = 245
T = 130.98
 O = N/A
T = TO
 O = 236
T = 1.01
 O = 407
T = 284.60
 O = N/A
T = TO
 O = 560
T = 1.21
san400_0.7_2.clq.cnf O = 236
T = 0.87		 O = 236
T = 1.19
 O = 236
T = 1.17
 O = 243
T = 274.37
 O = N/A
T = TO
 O = 236
T = 0.87
 O = 389
T = 284.47
 O = N/A
T = TO
 O = 563
T = 1.23
san400_0.7_3.clq.cnf O = 230
T = 0.91		 O = 230
T = 1.06
 O = 230
T = 1.25
 O = 236
T = 55.34
 O = N/A
T = TO
 O = 230
T = 0.91
 O = 401
T = 284.16
 O = N/A
T = TO
 O = 547
T = 0.51
san400_0.9_1.clq.cnf O = 304
T = 0.77		 O = 304
T = 1.02
 O = 304
T = 1.07
 O = 308
T = 149.60
 O = N/A
T = TO
 O = 304
T = 0.77
 O = 476
T = 284.25
 O = N/A
T = TO
 O = 678
T = 0.88
sanr200_0.7.clq.cnf O = 227
T = 0.92		 O = 227
T = 1.10
 O = 227
T = 1.09
 O = 234
T = 144.83
 O = N/A
T = TO
 O = 227
T = 0.92
 O = 319
T = 284.21
 O = N/A
T = TO
 O = 546
T = 1.08
sanr200_0.9.clq.cnf O = 300
T = 0.58		 O = 300
T = 1.19
 O = 300
T = 1.01
 O = 305
T = 178.67
 O = N/A
T = TO
 O = 300
T = 0.58
 O = 411
T = 284.62
 O = N/A
T = TO
 O = N/A
T = TO
sanr400_0.5.clq.cnf O = 148
T = 0.83		 O = 148
T = 1.02
 O = 148
T = 1.01
 O = 157
T = 15.76
 O = 148
T = 83.83
 O = 148
T = 0.83
 O = 192
T = 284.24
 O = 192
T = 1.07
 O = 399
T = 0.99
sanr400_0.7.clq.cnf O = 223
T = 0.79		 O = 223
T = 1.05
 O = 223
T = 0.97
 O = 234
T = 272.23
 O = N/A
T = TO
 O = 223
T = 0.79
 O = 313
T = 284.37
 O = 319
T = 1.03
 O = 548
T = 1.43
t3pm3-5555.spn.cnf O = 17
T = 0.00		 O = 17
T = 0.66
 O = 17
T = 0.88
 O = 17
T = 0.30
 O = 17
T = 0.20
 O = 17
T = 0.29
 O = 17
T = 0.00
 O = 17
T = 0.02
 O = 17
T = 0.00
t4pm3-6666.spn.cnf O = 38
T = 1.21		 O = 38
T = 1.56
 O = 38
T = 1.44
 O = 40
T = 209.98
 O = 38
T = 1.62
 O = 38
T = 1.21
 O = 38
T = 4.25
 O = 38
T = 38.39
 O = 96
T = 1.61
t5pm3-7777.spn.cnf O = 78
T = 2.12		 O = 78
T = 2.12
 O = 78
T = 2.20
 O = 98
T = 83.43
 O = 78
T = 34.26
 O = 80
T = 2.04
 O = 136
T = 284.26
 O = 136
T = 0.71
 O = 188
T = 0.91
t6pm3-8888.spn.cnf O = 136
T = 2.73		 O = 136
T = 2.73
 O = 136
T = 2.78
 O = 188
T = 200.29
 O = N/A
T = TO
 O = 138
T = 2.32
 O = 218
T = 284.46
 O = 218
T = 0.63
 O = 324
T = 0.84
t7pm3-9999.spn.cnf O = 209
T = 6.00		 O = 209
T = 6.00
 O = 209
T = 6.37
 O = 315
T = 19.80
 O = N/A
T = TO
 O = 217
T = 5.16
 O = 349
T = 283.97
 O = N/A
T = TO
 O = N/A
T = TO
scpclr10_maxsat.cnf O = 25
T = 2.82		 O = 25
T = 3.55
 O = 25
T = 3.29
 O = 39
T = 43.44
 O = 25
T = 77.77
 O = 25
T = 2.82
 O = 511
T = 284.50
 O = 511
T = 0.91
 O = 511
T = 1.08
scpclr11_maxsat.cnf O = 23
T = 5.49		 O = 23
T = 5.49
 O = 23
T = 5.57
 O = 48
T = 4.43
 O = N/A
T = TO
 O = 26
T = 4.74
 O = 1023
T = 284.69
 O = 1023
T = 1.28
 O = 1023
T = 1.23
scpclr12_maxsat.cnf O = 23
T = 9.26		 O = 23
T = 9.49
 O = 23
T = 9.26
 O = 61
T = 187.38
 O = N/A
T = TO
 O = 27
T = 7.95
 O = 2047
T = 284.29
 O = 2047
T = 0.98
 O = 2047
T = 1.46
scpclr13_maxsat.cnf O = 23
T = 11.03		 O = 23
T = 11.03
 O = 23
T = 14.10
 O = 76
T = 46.59
 O = N/A
T = TO
 O = 25
T = 13.69
 O = 4095
T = 284.61
 O = 4095
T = 0.77
 O = 4095
T = 0.90
scpcyc06_maxsat.cnf O = 60
T = 1.59		 O = 60
T = 2.91
 O = 60
T = 1.59
 O = 68
T = 15.69
 O = N/A
T = TO
 O = 60
T = 2.14
 O = 240
T = 284.38
 O = 240
T = 0.91
 O = 240
T = 1.17
scpcyc07_maxsat.cnf O = 144
T = 3.28		 O = 144
T = 5.25
 O = 144
T = 3.28
 O = 175
T = 52.59
 O = N/A
T = TO
 O = 144
T = 6.12
 O = 672
T = 284.57
 O = 672
T = 0.68
 O = 672
T = 1.36
scpcyc08_maxsat.cnf O = 342
T = 9.05		 O = 342
T = 31.50
 O = 342
T = 9.05
 O = 427
T = 96.29
 O = N/A
T = TO
 O = 344
T = 28.51
 O = 1792
T = 284.47
 O = N/A
T = TO
 O = 1792
T = 0.05
scpcyc09_maxsat.cnf O = 788
T = 271.10		 O = 794
T = 20.72
 O = 788
T = 271.10
 O = 1012
T = 277.80
 O = N/A
T = TO
 O = 803
T = 179.69
 O = 4608
T = 283.89
 O = 4608
T = 0.02
 O = 4608
T = 0.02
scpcyc10_maxsat.cnf O = 1818
T = 89.29		 O = 1818
T = 89.29
 O = 1850
T = 77.80
 O = 2304
T = 0.32
 O = N/A
T = TO
 O = 1878
T = 265.06
 O = 11520
T = 254.17
 O = 11520
T = 0.02
 O = 11520
T = 0.01
scpcyc11_maxsat.cnf O = 4020
T = 278.53		 O = N/A
T = TO
 O = 4020
T = 278.53
 O = 5120
T = 0.13
 O = N/A
T = TO
 O = 4251
T = 277.65
 O = 28160
T = 253.54
 O = 28160
T = 0.06
 O = 28160
T = 0.08