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 ILP-2013 ISAC+-ms MSUnCore MaxHS Maxsatz2013f Toulbar2 WMaxSatz+ WMaxSatz09 WPM1-2011 ahmaxsat ckmax-small glpk-maxsat optimax optimax-ni pmifumax scip-maxsat toysat wbo2.1-cnf
maxcut-140-630-0.7-1.cnf S = OPT
O = 160
T = 44.16		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 44.16
(out)(err)		 S = N/A
O = 200
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 46.51
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = OPT
O = 160
T = 98.02
(out)(err)		 S = OPT
O = 160
T = 88.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 146.12
(out)(err)		 S = OPT
O = 160
T = 50.84
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = N/A
O = 250
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = N/A
O = 204
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.53
(out)(err)
maxcut-140-630-0.7-10.cnf S = OPT
O = 167
T = 168.95		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 168.95
(out)(err)		 S = N/A
O = 241
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 246.31
(out)(err)		 S = N/A
O = 170
T = TO
(out)(err)		 S = OPT
O = 167
T = 518.89
(out)(err)		 S = OPT
O = 167
T = 477.63
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 1008.65
(out)(err)		 S = OPT
O = 167
T = 470.82
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = 208
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.40
(out)(err)
maxcut-140-630-0.7-11.cnf S = OPT
O = 170
T = 558.87		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 170
T = 558.87
(out)(err)		 S = N/A
O = 301
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 170
T = 1320.59
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 171
T = 1797.29
(out)(err)		 S = OPT
O = 170
T = 1720.73
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = N/A
O = 231
T = TO
(out)(err)		 S = N/A
O = 247
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 231
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.67
(out)(err)
maxcut-140-630-0.7-12.cnf S = OPT
O = 167
T = 45.47		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 45.47
(out)(err)		 S = N/A
O = 214
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 118.80
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = OPT
O = 167
T = 251.59
(out)(err)		 S = OPT
O = 167
T = 229.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 416.69
(out)(err)		 S = OPT
O = 167
T = 112.86
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = N/A
O = 223
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.74
(out)(err)
maxcut-140-630-0.7-13.cnf S = OPT
O = 169
T = 266.28		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 169
T = 266.28
(out)(err)		 S = N/A
O = 197
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 169
T = 340.64
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = OPT
O = 169
T = 747.18
(out)(err)		 S = OPT
O = 169
T = 658.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 169
T = 1525.61
(out)(err)		 S = OPT
O = 169
T = 682.77
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 213
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.07
(out)(err)
maxcut-140-630-0.7-14.cnf S = OPT
O = 166
T = 95.80		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 95.80
(out)(err)		 S = N/A
O = 205
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 131.02
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 166
T = 279.76
(out)(err)		 S = OPT
O = 166
T = 253.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 732.48
(out)(err)		 S = OPT
O = 166
T = 258.29
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 247
T = TO
(out)(err)		 S = N/A
O = 243
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 169
T = TO
(out)(err)		 S = N/A
O = 193
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.21
(out)(err)
maxcut-140-630-0.7-15.cnf S = OPT
O = 169
T = 293.49		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 169
T = 293.49
(out)(err)		 S = N/A
O = 203
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 169
T = 306.64
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = OPT
O = 169
T = 653.21
(out)(err)		 S = OPT
O = 169
T = 590.65
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 169
T = 1797.15
(out)(err)		 S = OPT
O = 169
T = 602.12
(out)(err)		 S = N/A
O = 183
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = 240
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 219
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.17
(out)(err)
maxcut-140-630-0.7-16.cnf S = OPT
O = 167
T = 107.72		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 107.72
(out)(err)		 S = N/A
O = 203
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 115.28
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 167
T = 250.34
(out)(err)		 S = OPT
O = 167
T = 223.62
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 453.65
(out)(err)		 S = OPT
O = 167
T = 226.33
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = N/A
O = 234
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.79
(out)(err)
maxcut-140-630-0.7-17.cnf S = OPT
O = 166
T = 57.94		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 57.94
(out)(err)		 S = N/A
O = 371
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 103.25
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 166
T = 218.79
(out)(err)		 S = OPT
O = 166
T = 198.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 617.27
(out)(err)		 S = OPT
O = 166
T = 187.78
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = 225
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.26
(out)(err)
maxcut-140-630-0.7-18.cnf S = OPT
O = 166
T = 156.78		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 156.78
(out)(err)		 S = N/A
O = 329
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 198.27
(out)(err)		 S = N/A
O = 168
T = TO
(out)(err)		 S = OPT
O = 166
T = 407.64
(out)(err)		 S = OPT
O = 166
T = 370.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 522.64
(out)(err)		 S = OPT
O = 166
T = 260.71
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 241
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.52
(out)(err)
maxcut-140-630-0.7-19.cnf S = OPT
O = 167
T = 52.26		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 52.26
(out)(err)		 S = N/A
O = 221
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 152.01
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = OPT
O = 167
T = 329.58
(out)(err)		 S = OPT
O = 167
T = 286.69
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 424.10
(out)(err)		 S = OPT
O = 167
T = 117.69
(out)(err)		 S = N/A
O = 184
T = TO
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = N/A
O = 249
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 227
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.14
(out)(err)
maxcut-140-630-0.7-2.cnf S = OPT
O = 160
T = 32.87		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 35.23
(out)(err)		 S = N/A
O = 273
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 32.87
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = OPT
O = 160
T = 66.89
(out)(err)		 S = OPT
O = 160
T = 62.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 154.53
(out)(err)		 S = OPT
O = 160
T = 76.11
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = 218
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.88
(out)(err)
maxcut-140-630-0.7-20.cnf S = OPT
O = 168
T = 97.91		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 102.78
(out)(err)		 S = N/A
O = 312
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 97.91
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 168
T = 207.38
(out)(err)		 S = OPT
O = 168
T = 189.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 761.29
(out)(err)		 S = OPT
O = 168
T = 165.54
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = N/A
O = 267
T = TO
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 170
T = TO
(out)(err)		 S = N/A
O = 222
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.03
(out)(err)
maxcut-140-630-0.7-21.cnf S = OPT
O = 165
T = 140.68		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 140.68
(out)(err)		 S = N/A
O = 200
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 210.68
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = OPT
O = 165
T = 441.73
(out)(err)		 S = OPT
O = 165
T = 405.26
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 417.43
(out)(err)		 S = OPT
O = 165
T = 179.57
(out)(err)		 S = N/A
O = 183
T = TO
(out)(err)		 S = N/A
O = 236
T = TO
(out)(err)		 S = N/A
O = 235
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = N/A
O = 222
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.36
(out)(err)
maxcut-140-630-0.7-22.cnf S = OPT
O = 164
T = 24.34		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 24.34
(out)(err)		 S = N/A
O = 280
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 60.05
(out)(err)		 S = N/A
O = 183
T = TO
(out)(err)		 S = OPT
O = 164
T = 124.83
(out)(err)		 S = OPT
O = 164
T = 112.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 183.19
(out)(err)		 S = OPT
O = 164
T = 47.86
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 274
T = TO
(out)(err)		 S = N/A
O = 257
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 210
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.40
(out)(err)
maxcut-140-630-0.7-23.cnf S = OPT
O = 165
T = 64.10		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 64.10
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 113.34
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = OPT
O = 165
T = 240.62
(out)(err)		 S = OPT
O = 165
T = 219.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 335.31
(out)(err)		 S = OPT
O = 165
T = 206.88
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = N/A
O = 235
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 188
T = TO
(out)(err)		 S = N/A
O = 220
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.57
(out)(err)
maxcut-140-630-0.7-24.cnf S = OPT
O = 166
T = 87.70		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 124.23
(out)(err)		 S = N/A
O = 218
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 87.70
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = OPT
O = 166
T = 310.83
(out)(err)		 S = OPT
O = 166
T = 168.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 543.19
(out)(err)		 S = OPT
O = 166
T = 170.54
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = 261
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 231
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.40
(out)(err)
maxcut-140-630-0.7-25.cnf S = OPT
O = 167
T = 99.18		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 99.18
(out)(err)		 S = N/A
O = 271
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 185.95
(out)(err)		 S = N/A
O = 185
T = TO
(out)(err)		 S = OPT
O = 167
T = 398.45
(out)(err)		 S = OPT
O = 167
T = 364.68
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 847.40
(out)(err)		 S = OPT
O = 167
T = 249.90
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 215
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.22
(out)(err)
maxcut-140-630-0.7-26.cnf S = OPT
O = 166
T = 81.83		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 81.83
(out)(err)		 S = N/A
O = 185
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 106.41
(out)(err)		 S = N/A
O = 184
T = TO
(out)(err)		 S = OPT
O = 166
T = 225.34
(out)(err)		 S = OPT
O = 166
T = 206.76
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 511.83
(out)(err)		 S = OPT
O = 166
T = 207.05
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 231
T = TO
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = N/A
O = 230
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.80
(out)(err)
maxcut-140-630-0.7-27.cnf S = OPT
O = 165
T = 63.95		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 63.95
(out)(err)		 S = N/A
O = 198
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 139.62
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = OPT
O = 165
T = 304.98
(out)(err)		 S = OPT
O = 165
T = 268.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 333.45
(out)(err)		 S = OPT
O = 165
T = 195.15
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 250
T = TO
(out)(err)		 S = N/A
O = 261
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 211
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.10
(out)(err)
maxcut-140-630-0.7-28.cnf S = OPT
O = 167
T = 76.11		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 76.11
(out)(err)		 S = N/A
O = 192
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 89.94
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = OPT
O = 167
T = 198.89
(out)(err)		 S = OPT
O = 167
T = 179.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 353.63
(out)(err)		 S = OPT
O = 167
T = 151.45
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 262
T = TO
(out)(err)		 S = N/A
O = 271
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = N/A
O = 244
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.87
(out)(err)
maxcut-140-630-0.7-29.cnf S = OPT
O = 166
T = 245.81		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 245.81
(out)(err)		 S = N/A
O = 190
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 328.46
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = OPT
O = 166
T = 689.51
(out)(err)		 S = OPT
O = 166
T = 650.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 1206.23
(out)(err)		 S = OPT
O = 166
T = 417.71
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 224
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.47
(out)(err)
maxcut-140-630-0.7-3.cnf S = OPT
O = 168
T = 155.30		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 155.30
(out)(err)		 S = N/A
O = 217
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 268.31
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = OPT
O = 168
T = 564.70
(out)(err)		 S = OPT
O = 168
T = 514.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 949.49
(out)(err)		 S = OPT
O = 168
T = 383.72
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = N/A
O = 226
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 221
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.38
(out)(err)
maxcut-140-630-0.7-30.cnf S = OPT
O = 167
T = 122.87		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 124.55
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 122.87
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 167
T = 258.12
(out)(err)		 S = OPT
O = 167
T = 238.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 1022.33
(out)(err)		 S = OPT
O = 167
T = 277.13
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = 249
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = 224
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.57
(out)(err)
maxcut-140-630-0.7-31.cnf S = OPT
O = 170
T = 195.74		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 170
T = 195.74
(out)(err)		 S = N/A
O = 206
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 170
T = 284.42
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = OPT
O = 170
T = 598.51
(out)(err)		 S = OPT
O = 170
T = 546.54
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 170
T = 1173.51
(out)(err)		 S = OPT
O = 170
T = 506.24
(out)(err)		 S = N/A
O = 183
T = TO
(out)(err)		 S = N/A
O = 257
T = TO
(out)(err)		 S = N/A
O = 223
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 226
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.56
(out)(err)
maxcut-140-630-0.7-32.cnf S = OPT
O = 164
T = 69.87		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 75.73
(out)(err)		 S = N/A
O = 245
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 69.87
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = OPT
O = 164
T = 145.69
(out)(err)		 S = OPT
O = 164
T = 131.46
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 292.81
(out)(err)		 S = OPT
O = 164
T = 131.34
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 273
T = TO
(out)(err)		 S = N/A
O = 241
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 168
T = TO
(out)(err)		 S = N/A
O = 211
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.73
(out)(err)
maxcut-140-630-0.7-33.cnf S = OPT
O = 165
T = 92.92		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 92.92
(out)(err)		 S = N/A
O = 263
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 197.69
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = OPT
O = 165
T = 417.33
(out)(err)		 S = OPT
O = 165
T = 384.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 536.81
(out)(err)		 S = OPT
O = 165
T = 210.09
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = 244
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = N/A
O = 219
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.38
(out)(err)
maxcut-140-630-0.7-34.cnf S = OPT
O = 168
T = 195.63		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 195.63
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 213.43
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = OPT
O = 168
T = 449.81
(out)(err)		 S = OPT
O = 168
T = 415.92
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 841.63
(out)(err)		 S = OPT
O = 168
T = 319.19
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = N/A
O = 236
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 213
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.68
(out)(err)
maxcut-140-630-0.7-35.cnf S = OPT
O = 164
T = 38.58		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 38.58
(out)(err)		 S = N/A
O = 213
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 101.85
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = OPT
O = 164
T = 219.92
(out)(err)		 S = OPT
O = 164
T = 196.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 180.81
(out)(err)		 S = OPT
O = 164
T = 77.84
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = 236
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 227
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.16
(out)(err)
maxcut-140-630-0.7-36.cnf S = OPT
O = 167
T = 238.95		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 238.95
(out)(err)		 S = N/A
O = 202
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 250.34
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = OPT
O = 167
T = 754.63
(out)(err)		 S = OPT
O = 167
T = 491.14
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 809.40
(out)(err)		 S = OPT
O = 167
T = 412.08
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 247
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.66
(out)(err)
maxcut-140-630-0.7-37.cnf S = OPT
O = 170
T = 288.55		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 170
T = 288.55
(out)(err)		 S = N/A
O = 194
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 170
T = 361.66
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = OPT
O = 170
T = 784.84
(out)(err)		 S = OPT
O = 170
T = 719.84
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 170
T = 1797.22
(out)(err)		 S = OPT
O = 170
T = 753.41
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 273
T = TO
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = N/A
O = 222
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.03
(out)(err)
maxcut-140-630-0.7-38.cnf S = OPT
O = 167
T = 224.60		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 224.60
(out)(err)		 S = N/A
O = 338
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 434.48
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = OPT
O = 167
T = 984.76
(out)(err)		 S = OPT
O = 167
T = 839.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 1509.98
(out)(err)		 S = OPT
O = 167
T = 700.67
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = N/A
O = 235
T = TO
(out)(err)		 S = N/A
O = 232
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 220
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.36
(out)(err)
maxcut-140-630-0.7-39.cnf S = OPT
O = 163
T = 77.72		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 77.72
(out)(err)		 S = N/A
O = 193
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 102.14
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = OPT
O = 163
T = 265.49
(out)(err)		 S = OPT
O = 163
T = 198.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 460.49
(out)(err)		 S = OPT
O = 163
T = 139.84
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = 257
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 170
T = TO
(out)(err)		 S = N/A
O = 231
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.21
(out)(err)
maxcut-140-630-0.7-4.cnf S = OPT
O = 167
T = 169.97		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 169.97
(out)(err)		 S = N/A
O = 204
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 198.65
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = OPT
O = 167
T = 406.45
(out)(err)		 S = OPT
O = 167
T = 385.52
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 1155.39
(out)(err)		 S = OPT
O = 167
T = 373.91
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = 233
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.88
(out)(err)
maxcut-140-630-0.7-40.cnf S = OPT
O = 167
T = 336.12		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 336.12
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 487.57
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = OPT
O = 167
T = 1024.97
(out)(err)		 S = OPT
O = 167
T = 945.15
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 1387.67
(out)(err)		 S = OPT
O = 167
T = 792.26
(out)(err)		 S = N/A
O = 185
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = 238
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 196
T = TO
(out)(err)		 S = N/A
O = 233
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.18
(out)(err)
maxcut-140-630-0.7-41.cnf S = OPT
O = 161
T = 43.00		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 161
T = 43.00
(out)(err)		 S = N/A
O = 207
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 161
T = 97.32
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = OPT
O = 161
T = 204.82
(out)(err)		 S = OPT
O = 161
T = 187.56
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 161
T = 238.98
(out)(err)		 S = OPT
O = 161
T = 103.16
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 168
T = TO
(out)(err)		 S = N/A
O = 224
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.45
(out)(err)
maxcut-140-630-0.7-42.cnf S = OPT
O = 161
T = 22.73		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 161
T = 30.00
(out)(err)		 S = N/A
O = 202
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 161
T = 22.73
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = OPT
O = 161
T = 51.00
(out)(err)		 S = OPT
O = 161
T = 43.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 161
T = 162.70
(out)(err)		 S = OPT
O = 161
T = 34.45
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = N/A
O = 239
T = TO
(out)(err)		 S = N/A
O = 240
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = 213
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.94
(out)(err)
maxcut-140-630-0.7-43.cnf S = OPT
O = 164
T = 75.40		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 75.40
(out)(err)		 S = N/A
O = 212
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 83.59
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = OPT
O = 164
T = 175.09
(out)(err)		 S = OPT
O = 164
T = 160.96
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 363.40
(out)(err)		 S = OPT
O = 164
T = 158.94
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 268
T = TO
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 220
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.31
(out)(err)
maxcut-140-630-0.7-44.cnf S = OPT
O = 163
T = 64.97		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 64.97
(out)(err)		 S = N/A
O = 214
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 101.18
(out)(err)		 S = N/A
O = 169
T = TO
(out)(err)		 S = OPT
O = 163
T = 294.64
(out)(err)		 S = OPT
O = 163
T = 196.84
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 404.26
(out)(err)		 S = OPT
O = 163
T = 119.83
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 184
T = TO
(out)(err)		 S = N/A
O = 230
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.67
(out)(err)
maxcut-140-630-0.7-45.cnf S = OPT
O = 168
T = 167.49		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 167.49
(out)(err)		 S = N/A
O = 218
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 207.93
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = OPT
O = 168
T = 447.21
(out)(err)		 S = OPT
O = 168
T = 405.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 948.46
(out)(err)		 S = OPT
O = 168
T = 316.99
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = N/A
O = 234
T = TO
(out)(err)		 S = N/A
O = 240
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 239
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.57
(out)(err)
maxcut-140-630-0.7-46.cnf S = OPT
O = 168
T = 152.88		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 152.88
(out)(err)		 S = N/A
O = 278
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 202.25
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = OPT
O = 168
T = 439.40
(out)(err)		 S = OPT
O = 168
T = 384.92
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 995.76
(out)(err)		 S = OPT
O = 168
T = 356.10
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 188
T = TO
(out)(err)		 S = N/A
O = 222
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.64
(out)(err)
maxcut-140-630-0.7-47.cnf S = OPT
O = 160
T = 18.10		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 18.10
(out)(err)		 S = N/A
O = 193
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 53.65
(out)(err)		 S = N/A
O = 166
T = TO
(out)(err)		 S = OPT
O = 160
T = 121.64
(out)(err)		 S = OPT
O = 160
T = 106.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 115.18
(out)(err)		 S = OPT
O = 160
T = 53.67
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 257
T = TO
(out)(err)		 S = N/A
O = 232
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 170
T = TO
(out)(err)		 S = N/A
O = 212
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.67
(out)(err)
maxcut-140-630-0.7-48.cnf S = OPT
O = 168
T = 99.57		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 99.57
(out)(err)		 S = N/A
O = 213
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 140.06
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = OPT
O = 168
T = 295.26
(out)(err)		 S = OPT
O = 168
T = 270.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 593.50
(out)(err)		 S = OPT
O = 168
T = 213.80
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 265
T = TO
(out)(err)		 S = N/A
O = 243
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 234
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.82
(out)(err)
maxcut-140-630-0.7-49.cnf S = OPT
O = 164
T = 67.75		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 67.75
(out)(err)		 S = N/A
O = 219
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 89.61
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = OPT
O = 164
T = 188.97
(out)(err)		 S = OPT
O = 164
T = 172.74
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 558.46
(out)(err)		 S = OPT
O = 164
T = 125.41
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = N/A
O = 236
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.50
(out)(err)
maxcut-140-630-0.7-5.cnf S = OPT
O = 164
T = 124.21		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 124.21
(out)(err)		 S = N/A
O = 197
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 218.05
(out)(err)		 S = N/A
O = 168
T = TO
(out)(err)		 S = OPT
O = 164
T = 463.39
(out)(err)		 S = OPT
O = 164
T = 419.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 786.17
(out)(err)		 S = OPT
O = 164
T = 288.01
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = N/A
O = 245
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 233
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.30
(out)(err)
maxcut-140-630-0.7-50.cnf S = OPT
O = 167
T = 59.40		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 59.40
(out)(err)		 S = N/A
O = 210
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 99.18
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = OPT
O = 167
T = 213.77
(out)(err)		 S = OPT
O = 167
T = 195.53
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 685.50
(out)(err)		 S = OPT
O = 167
T = 142.65
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 230
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 189
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.33
(out)(err)
maxcut-140-630-0.7-6.cnf S = OPT
O = 162
T = 34.96		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 162
T = 34.96
(out)(err)		 S = N/A
O = 210
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 162
T = 56.30
(out)(err)		 S = N/A
O = 167
T = TO
(out)(err)		 S = OPT
O = 162
T = 119.05
(out)(err)		 S = OPT
O = 162
T = 108.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 162
T = 190.34
(out)(err)		 S = OPT
O = 162
T = 69.22
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = N/A
O = 250
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 167
T = TO
(out)(err)		 S = N/A
O = 221
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.41
(out)(err)
maxcut-140-630-0.7-7.cnf S = OPT
O = 164
T = 85.82		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 85.82
(out)(err)		 S = N/A
O = 310
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 152.11
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = OPT
O = 164
T = 327.21
(out)(err)		 S = OPT
O = 164
T = 294.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 697.60
(out)(err)		 S = OPT
O = 164
T = 228.19
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 183
T = TO
(out)(err)		 S = N/A
O = 266
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.97
(out)(err)
maxcut-140-630-0.7-8.cnf S = OPT
O = 165
T = 193.98		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 193.98
(out)(err)		 S = N/A
O = 303
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 344.97
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = OPT
O = 165
T = 712.24
(out)(err)		 S = OPT
O = 165
T = 646.15
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 511.36
(out)(err)		 S = OPT
O = 165
T = 206.65
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = 244
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 169
T = TO
(out)(err)		 S = N/A
O = 230
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.12
(out)(err)
maxcut-140-630-0.7-9.cnf S = OPT
O = 166
T = 132.85		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 132.85
(out)(err)		 S = N/A
O = 229
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 178.37
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 166
T = 377.83
(out)(err)		 S = OPT
O = 166
T = 346.15
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 902.06
(out)(err)		 S = OPT
O = 166
T = 268.68
(out)(err)		 S = N/A
O = 184
T = TO
(out)(err)		 S = N/A
O = 249
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 170
T = TO
(out)(err)		 S = N/A
O = 234
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.41
(out)(err)
maxcut-140-630-0.8-1.cnf S = OPT
O = 165
T = 106.14		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 106.14
(out)(err)		 S = N/A
O = 193
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 186.26
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = OPT
O = 165
T = 396.60
(out)(err)		 S = OPT
O = 165
T = 360.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 829.77
(out)(err)		 S = OPT
O = 165
T = 166.82
(out)(err)		 S = N/A
O = 184
T = TO
(out)(err)		 S = N/A
O = 264
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 230
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.98
(out)(err)
maxcut-140-630-0.8-10.cnf S = OPT
O = 168
T = 247.77		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 247.77
(out)(err)		 S = N/A
O = 320
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 428.46
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = OPT
O = 168
T = 934.36
(out)(err)		 S = OPT
O = 168
T = 849.52
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 1255.63
(out)(err)		 S = OPT
O = 168
T = 499.98
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = 231
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 230
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.87
(out)(err)
maxcut-140-630-0.8-11.cnf S = OPT
O = 168
T = 187.41		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 187.41
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 305.34
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = OPT
O = 168
T = 669.59
(out)(err)		 S = OPT
O = 168
T = 604.37
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 1143.88
(out)(err)		 S = OPT
O = 168
T = 410.29
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 201
T = TO
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.73
(out)(err)
maxcut-140-630-0.8-12.cnf S = OPT
O = 165
T = 71.43		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 71.43
(out)(err)		 S = N/A
O = 196
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 95.24
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = OPT
O = 165
T = 205.20
(out)(err)		 S = OPT
O = 165
T = 207.80
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 395.81
(out)(err)		 S = OPT
O = 165
T = 129.00
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = 225
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 289
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.92
(out)(err)
maxcut-140-630-0.8-13.cnf S = OPT
O = 167
T = 151.10		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 151.10
(out)(err)		 S = N/A
O = 191
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 262.99
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = OPT
O = 167
T = 564.96
(out)(err)		 S = OPT
O = 167
T = 515.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 813.29
(out)(err)		 S = OPT
O = 167
T = 342.91
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 236
T = TO
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 169
T = TO
(out)(err)		 S = N/A
O = 245
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.31
(out)(err)
maxcut-140-630-0.8-14.cnf S = OPT
O = 164
T = 106.91		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 106.91
(out)(err)		 S = N/A
O = 198
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 134.37
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = OPT
O = 164
T = 281.98
(out)(err)		 S = OPT
O = 164
T = 260.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 480.14
(out)(err)		 S = OPT
O = 164
T = 204.49
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = 231
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 169
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1791.92
(out)(err)
maxcut-140-630-0.8-15.cnf S = OPT
O = 166
T = 134.04		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 134.04
(out)(err)		 S = N/A
O = 272
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 175.01
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = OPT
O = 166
T = 372.42
(out)(err)		 S = OPT
O = 166
T = 340.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 617.58
(out)(err)		 S = OPT
O = 166
T = 232.61
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = N/A
O = 276
T = TO
(out)(err)		 S = N/A
O = 223
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 273
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.93
(out)(err)
maxcut-140-630-0.8-16.cnf S = OPT
O = 163
T = 47.37		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 47.37
(out)(err)		 S = N/A
O = 220
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 76.47
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = OPT
O = 163
T = 169.88
(out)(err)		 S = OPT
O = 163
T = 165.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 258.16
(out)(err)		 S = OPT
O = 163
T = 138.91
(out)(err)		 S = N/A
O = 169
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.21
(out)(err)
maxcut-140-630-0.8-17.cnf S = OPT
O = 168
T = 80.83		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 80.83
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 147.91
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 168
T = 327.47
(out)(err)		 S = OPT
O = 168
T = 283.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 632.12
(out)(err)		 S = OPT
O = 168
T = 204.05
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = N/A
O = 235
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.66
(out)(err)
maxcut-140-630-0.8-18.cnf S = OPT
O = 163
T = 116.77		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 116.77
(out)(err)		 S = N/A
O = 295
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 207.12
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = OPT
O = 163
T = 448.47
(out)(err)		 S = OPT
O = 163
T = 399.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 458.09
(out)(err)		 S = OPT
O = 163
T = 210.86
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = N/A
O = 239
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 238
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.64
(out)(err)
maxcut-140-630-0.8-19.cnf S = OPT
O = 164
T = 48.34		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 48.84
(out)(err)		 S = N/A
O = 192
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 48.34
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = OPT
O = 164
T = 131.72
(out)(err)		 S = OPT
O = 164
T = 93.16
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 264.33
(out)(err)		 S = OPT
O = 164
T = 52.55
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = N/A
O = 263
T = TO
(out)(err)		 S = N/A
O = 240
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = N/A
O = 247
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.57
(out)(err)
maxcut-140-630-0.8-2.cnf S = OPT
O = 162
T = 38.75		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 162
T = 38.75
(out)(err)		 S = N/A
O = 262
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 162
T = 56.30
(out)(err)		 S = N/A
O = 167
T = TO
(out)(err)		 S = OPT
O = 162
T = 121.92
(out)(err)		 S = OPT
O = 162
T = 108.47
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 162
T = 286.50
(out)(err)		 S = OPT
O = 162
T = 83.96
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = N/A
O = 257
T = TO
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = N/A
O = 233
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.34
(out)(err)
maxcut-140-630-0.8-20.cnf S = OPT
O = 165
T = 84.61		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 84.61
(out)(err)		 S = N/A
O = 208
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 156.12
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = OPT
O = 165
T = 332.01
(out)(err)		 S = OPT
O = 165
T = 303.21
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 382.90
(out)(err)		 S = OPT
O = 165
T = 148.69
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = 233
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.49
(out)(err)
maxcut-140-630-0.8-21.cnf S = OPT
O = 167
T = 51.36		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 51.36
(out)(err)		 S = N/A
O = 243
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 80.21
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = OPT
O = 167
T = 173.71
(out)(err)		 S = OPT
O = 167
T = 155.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 272.13
(out)(err)		 S = OPT
O = 167
T = 85.58
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = N/A
O = 234
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 273
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.07
(out)(err)
maxcut-140-630-0.8-22.cnf S = OPT
O = 170
T = 89.69		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 170
T = 89.69
(out)(err)		 S = N/A
O = 204
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 170
T = 146.03
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = OPT
O = 170
T = 308.20
(out)(err)		 S = OPT
O = 170
T = 286.80
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 170
T = 693.74
(out)(err)		 S = OPT
O = 170
T = 319.78
(out)(err)		 S = N/A
O = 183
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 189
T = TO
(out)(err)		 S = N/A
O = 282
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.01
(out)(err)
maxcut-140-630-0.8-23.cnf S = OPT
O = 167
T = 239.94		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 239.94
(out)(err)		 S = N/A
O = 188
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 537.16
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 167
T = 1142.96
(out)(err)		 S = OPT
O = 167
T = 1050.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 167
T = 1797.20
(out)(err)		 S = OPT
O = 167
T = 646.17
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 264
T = TO
(out)(err)		 S = N/A
O = 222
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 262
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.70
(out)(err)
maxcut-140-630-0.8-24.cnf S = OPT
O = 165
T = 239.80		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 239.80
(out)(err)		 S = N/A
O = 198
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 329.52
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = OPT
O = 165
T = 694.92
(out)(err)		 S = OPT
O = 165
T = 646.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 657.59
(out)(err)		 S = OPT
O = 165
T = 320.53
(out)(err)		 S = N/A
O = 184
T = TO
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = N/A
O = 233
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = 229
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.13
(out)(err)
maxcut-140-630-0.8-25.cnf S = OPT
O = 165
T = 124.51		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 124.51
(out)(err)		 S = N/A
O = 263
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 180.43
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = OPT
O = 165
T = 385.79
(out)(err)		 S = OPT
O = 165
T = 345.21
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 657.48
(out)(err)		 S = OPT
O = 165
T = 266.06
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 262
T = TO
(out)(err)		 S = N/A
O = 257
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 188
T = TO
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.79
(out)(err)
maxcut-140-630-0.8-26.cnf S = OPT
O = 167
T = 77.44		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 100.89
(out)(err)		 S = N/A
O = 224
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 77.44
(out)(err)		 S = N/A
O = 170
T = TO
(out)(err)		 S = OPT
O = 167
T = 165.81
(out)(err)		 S = OPT
O = 167
T = 150.53
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 334.29
(out)(err)		 S = OPT
O = 167
T = 176.24
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 238
T = TO
(out)(err)		 S = N/A
O = 253
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.20
(out)(err)
maxcut-140-630-0.8-27.cnf S = OPT
O = 168
T = 138.67		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 138.67
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 192.54
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = OPT
O = 168
T = 430.47
(out)(err)		 S = OPT
O = 168
T = 376.56
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 673.93
(out)(err)		 S = OPT
O = 168
T = 304.34
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = N/A
O = 226
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.92
(out)(err)
maxcut-140-630-0.8-28.cnf S = OPT
O = 168
T = 123.75		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 123.75
(out)(err)		 S = N/A
O = 243
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 201.75
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = OPT
O = 168
T = 443.19
(out)(err)		 S = OPT
O = 168
T = 396.68
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 677.72
(out)(err)		 S = OPT
O = 168
T = 292.05
(out)(err)		 S = N/A
O = 184
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = 239
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.10
(out)(err)
maxcut-140-630-0.8-29.cnf S = OPT
O = 167
T = 79.63		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 79.63
(out)(err)		 S = N/A
O = 309
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 117.70
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = OPT
O = 167
T = 254.84
(out)(err)		 S = OPT
O = 167
T = 226.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 841.48
(out)(err)		 S = OPT
O = 167
T = 235.42
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 274
T = TO
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.98
(out)(err)
maxcut-140-630-0.8-3.cnf S = OPT
O = 165
T = 25.75		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 25.75
(out)(err)		 S = N/A
O = 196
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 41.92
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 165
T = 89.90
(out)(err)		 S = OPT
O = 165
T = 81.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 149.67
(out)(err)		 S = OPT
O = 165
T = 50.85
(out)(err)		 S = N/A
O = 183
T = TO
(out)(err)		 S = N/A
O = 249
T = TO
(out)(err)		 S = N/A
O = 247
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 167
T = TO
(out)(err)		 S = N/A
O = 257
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.31
(out)(err)
maxcut-140-630-0.8-30.cnf S = OPT
O = 167
T = 103.87		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 103.87
(out)(err)		 S = N/A
O = 207
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 117.33
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = OPT
O = 167
T = 249.23
(out)(err)		 S = OPT
O = 167
T = 226.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 609.84
(out)(err)		 S = OPT
O = 167
T = 216.35
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = 239
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 193
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.83
(out)(err)
maxcut-140-630-0.8-31.cnf S = OPT
O = 165
T = 39.45		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 39.45
(out)(err)		 S = N/A
O = 210
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 125.52
(out)(err)		 S = N/A
O = 169
T = TO
(out)(err)		 S = OPT
O = 165
T = 268.73
(out)(err)		 S = OPT
O = 165
T = 238.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 214.33
(out)(err)		 S = OPT
O = 165
T = 113.12
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 263
T = TO
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.50
(out)(err)
maxcut-140-630-0.8-32.cnf S = OPT
O = 164
T = 29.26		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 46.69
(out)(err)		 S = N/A
O = 197
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 29.26
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = OPT
O = 164
T = 60.19
(out)(err)		 S = OPT
O = 164
T = 55.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 154.97
(out)(err)		 S = OPT
O = 164
T = 42.11
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 245
T = TO
(out)(err)		 S = N/A
O = 233
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.06
(out)(err)
maxcut-140-630-0.8-33.cnf S = OPT
O = 163
T = 50.74		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 55.94
(out)(err)		 S = N/A
O = 205
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 50.74
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = OPT
O = 163
T = 106.60
(out)(err)		 S = OPT
O = 163
T = 98.27
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 113.19
(out)(err)		 S = OPT
O = 163
T = 85.13
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = N/A
O = 236
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = N/A
O = 249
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.75
(out)(err)
maxcut-140-630-0.8-34.cnf S = OPT
O = 163
T = 99.15		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 99.15
(out)(err)		 S = N/A
O = 214
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 153.28
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = OPT
O = 163
T = 319.74
(out)(err)		 S = OPT
O = 163
T = 291.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 333.53
(out)(err)		 S = OPT
O = 163
T = 185.08
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 239
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.48
(out)(err)
maxcut-140-630-0.8-35.cnf S = OPT
O = 165
T = 80.10		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 80.10
(out)(err)		 S = N/A
O = 213
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 103.39
(out)(err)		 S = N/A
O = 170
T = TO
(out)(err)		 S = OPT
O = 165
T = 211.56
(out)(err)		 S = OPT
O = 165
T = 205.74
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 383.00
(out)(err)		 S = OPT
O = 165
T = 188.43
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 250
T = TO
(out)(err)		 S = N/A
O = 238
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 166
T = TO
(out)(err)		 S = N/A
O = 272
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.59
(out)(err)
maxcut-140-630-0.8-36.cnf S = OPT
O = 165
T = 83.35		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 83.35
(out)(err)		 S = N/A
O = 212
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 119.06
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 165
T = 227.32
(out)(err)		 S = OPT
O = 165
T = 232.26
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 472.66
(out)(err)		 S = OPT
O = 165
T = 175.50
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 261
T = TO
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 190
T = TO
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.12
(out)(err)
maxcut-140-630-0.8-37.cnf S = OPT
O = 167
T = 72.66		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 72.66
(out)(err)		 S = N/A
O = 291
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 99.89
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = OPT
O = 167
T = 212.34
(out)(err)		 S = OPT
O = 167
T = 190.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 351.65
(out)(err)		 S = OPT
O = 167
T = 173.83
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 247
T = TO
(out)(err)		 S = N/A
O = 243
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.49
(out)(err)
maxcut-140-630-0.8-38.cnf S = OPT
O = 160
T = 29.89		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 29.89
(out)(err)		 S = N/A
O = 183
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 43.85
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = OPT
O = 160
T = 83.09
(out)(err)		 S = OPT
O = 160
T = 78.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 195.92
(out)(err)		 S = OPT
O = 160
T = 55.30
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 250
T = TO
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 166
T = TO
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.99
(out)(err)
maxcut-140-630-0.8-39.cnf S = OPT
O = 169
T = 138.32		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 169
T = 138.32
(out)(err)		 S = N/A
O = 197
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 169
T = 156.63
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = OPT
O = 169
T = 429.63
(out)(err)		 S = OPT
O = 169
T = 312.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 169
T = 839.56
(out)(err)		 S = OPT
O = 169
T = 263.42
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 247
T = TO
(out)(err)		 S = N/A
O = 234
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.62
(out)(err)
maxcut-140-630-0.8-4.cnf S = OPT
O = 165
T = 41.37		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 41.37
(out)(err)		 S = N/A
O = 196
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 61.84
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = OPT
O = 165
T = 130.29
(out)(err)		 S = OPT
O = 165
T = 119.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 414.60
(out)(err)		 S = OPT
O = 165
T = 117.04
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 263
T = TO
(out)(err)		 S = N/A
O = 263
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.06
(out)(err)
maxcut-140-630-0.8-40.cnf S = OPT
O = 161
T = 29.55		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 161
T = 29.55
(out)(err)		 S = N/A
O = 354
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 161
T = 49.76
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = OPT
O = 161
T = 105.25
(out)(err)		 S = OPT
O = 161
T = 96.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 161
T = 337.39
(out)(err)		 S = OPT
O = 161
T = 67.30
(out)(err)		 S = N/A
O = 169
T = TO
(out)(err)		 S = N/A
O = 249
T = TO
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.64
(out)(err)
maxcut-140-630-0.8-41.cnf S = OPT
O = 163
T = 44.59		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 44.59
(out)(err)		 S = N/A
O = 207
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 118.72
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = OPT
O = 163
T = 256.80
(out)(err)		 S = OPT
O = 163
T = 228.48
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 163
T = 323.11
(out)(err)		 S = OPT
O = 163
T = 93.57
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 223
T = TO
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 169
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.53
(out)(err)
maxcut-140-630-0.8-42.cnf S = OPT
O = 164
T = 66.12		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 68.98
(out)(err)		 S = N/A
O = 207
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 66.12
(out)(err)		 S = N/A
O = 167
T = TO
(out)(err)		 S = OPT
O = 164
T = 151.58
(out)(err)		 S = OPT
O = 164
T = 131.81
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 229.19
(out)(err)		 S = OPT
O = 164
T = 114.97
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = 253
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 167
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.01
(out)(err)
maxcut-140-630-0.8-43.cnf S = OPT
O = 165
T = 53.81		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 53.81
(out)(err)		 S = N/A
O = 191
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 97.80
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = OPT
O = 165
T = 215.27
(out)(err)		 S = OPT
O = 165
T = 188.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 511.89
(out)(err)		 S = OPT
O = 165
T = 139.36
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 264
T = TO
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = N/A
O = 279
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.83
(out)(err)
maxcut-140-630-0.8-44.cnf S = OPT
O = 160
T = 14.54		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 14.54
(out)(err)		 S = N/A
O = 210
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 31.54
(out)(err)		 S = N/A
O = 166
T = TO
(out)(err)		 S = OPT
O = 160
T = 63.94
(out)(err)		 S = OPT
O = 160
T = 61.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 87.59
(out)(err)		 S = OPT
O = 160
T = 24.55
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 268
T = TO
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 166
T = TO
(out)(err)		 S = N/A
O = 263
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.12
(out)(err)
maxcut-140-630-0.8-45.cnf S = OPT
O = 165
T = 25.63		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 27.83
(out)(err)		 S = N/A
O = 217
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 25.63
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = OPT
O = 165
T = 58.16
(out)(err)		 S = OPT
O = 165
T = 49.43
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 165.63
(out)(err)		 S = OPT
O = 165
T = 44.58
(out)(err)		 S = N/A
O = 183
T = TO
(out)(err)		 S = N/A
O = 263
T = TO
(out)(err)		 S = N/A
O = 249
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = N/A
O = 244
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.19
(out)(err)
maxcut-140-630-0.8-46.cnf S = OPT
O = 162
T = 81.87		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 162
T = 81.87
(out)(err)		 S = N/A
O = 213
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 162
T = 108.94
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 162
T = 228.62
(out)(err)		 S = OPT
O = 162
T = 206.54
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 162
T = 329.18
(out)(err)		 S = OPT
O = 162
T = 111.79
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 249
T = TO
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 169
T = TO
(out)(err)		 S = N/A
O = 290
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.72
(out)(err)
maxcut-140-630-0.8-47.cnf S = OPT
O = 164
T = 63.99		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 63.99
(out)(err)		 S = N/A
O = 199
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 132.44
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = OPT
O = 164
T = 277.36
(out)(err)		 S = OPT
O = 164
T = 253.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 401.64
(out)(err)		 S = OPT
O = 164
T = 218.42
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 239
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.25
(out)(err)
maxcut-140-630-0.8-48.cnf S = OPT
O = 164
T = 64.44		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 64.44
(out)(err)		 S = N/A
O = 184
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 83.86
(out)(err)		 S = N/A
O = 169
T = TO
(out)(err)		 S = OPT
O = 164
T = 177.46
(out)(err)		 S = OPT
O = 164
T = 162.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 370.57
(out)(err)		 S = OPT
O = 164
T = 163.07
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 271
T = TO
(out)(err)		 S = N/A
O = 234
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 169
T = TO
(out)(err)		 S = N/A
O = 220
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.79
(out)(err)
maxcut-140-630-0.8-49.cnf S = OPT
O = 166
T = 124.90		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 149.18
(out)(err)		 S = N/A
O = 194
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 124.90
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = OPT
O = 166
T = 269.05
(out)(err)		 S = OPT
O = 166
T = 245.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 324.88
(out)(err)		 S = OPT
O = 166
T = 170.23
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 306
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.37
(out)(err)
maxcut-140-630-0.8-5.cnf S = OPT
O = 164
T = 169.08		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 169.08
(out)(err)		 S = N/A
O = 274
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 283.52
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 164
T = 582.18
(out)(err)		 S = OPT
O = 164
T = 537.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 503.86
(out)(err)		 S = OPT
O = 164
T = 320.84
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 166
T = TO
(out)(err)		 S = N/A
O = 268
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.90
(out)(err)
maxcut-140-630-0.8-50.cnf S = OPT
O = 165
T = 51.57		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 51.57
(out)(err)		 S = N/A
O = 201
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 96.62
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = OPT
O = 165
T = 200.19
(out)(err)		 S = OPT
O = 165
T = 182.62
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 422.86
(out)(err)		 S = OPT
O = 165
T = 104.96
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 236
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 241
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.15
(out)(err)
maxcut-140-630-0.8-6.cnf S = OPT
O = 169
T = 425.61		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 169
T = 425.61
(out)(err)		 S = N/A
O = 211
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 169
T = 553.91
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = OPT
O = 169
T = 1196.35
(out)(err)		 S = OPT
O = 169
T = 1087.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 169
T = 1797.12
(out)(err)		 S = OPT
O = 169
T = 982.14
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = N/A
O = 253
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 187
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.41
(out)(err)
maxcut-140-630-0.8-7.cnf S = OPT
O = 166
T = 94.65		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 94.65
(out)(err)		 S = N/A
O = 305
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 132.73
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 166
T = 285.22
(out)(err)		 S = OPT
O = 166
T = 259.14
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 166
T = 635.90
(out)(err)		 S = OPT
O = 166
T = 246.08
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 245
T = TO
(out)(err)		 S = N/A
O = 250
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 186
T = TO
(out)(err)		 S = N/A
O = 261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.93
(out)(err)
maxcut-140-630-0.8-8.cnf S = OPT
O = 167
T = 134.55		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 134.55
(out)(err)		 S = N/A
O = 194
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 186.44
(out)(err)		 S = N/A
O = 177
T = TO
(out)(err)		 S = OPT
O = 167
T = 402.74
(out)(err)		 S = OPT
O = 167
T = 366.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 640.55
(out)(err)		 S = OPT
O = 167
T = 240.38
(out)(err)		 S = N/A
O = 179
T = TO
(out)(err)		 S = N/A
O = 278
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 173
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.38
(out)(err)
maxcut-140-630-0.8-9.cnf S = OPT
O = 165
T = 39.51		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 39.51
(out)(err)		 S = N/A
O = 297
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 81.73
(out)(err)		 S = N/A
O = 182
T = TO
(out)(err)		 S = OPT
O = 165
T = 168.49
(out)(err)		 S = OPT
O = 165
T = 157.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 205.80
(out)(err)		 S = OPT
O = 165
T = 112.51
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = 253
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 175
T = TO
(out)(err)		 S = N/A
O = 297
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.14
(out)(err)
MANN_a27.clq.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 404
T = TO
(out)(err)		 S = N/A
O = 409
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 404
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 404
T = 1792.46
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 405
T = TO
(out)(err)		 S = N/A
O = 486
T = TO
(out)(err)		 S = N/A
O = 526
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 404
T = TO
(out)(err)		 S = N/A
O = 504
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.86
(out)(err)
MANN_a45.clq.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 418
T = TO
(out)(err)		 S = N/A
O = 419
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 418
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 418
T = 1784.52
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 418
T = TO
(out)(err)		 S = N/A
O = 518
T = TO
(out)(err)		 S = N/A
O = 539
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 418
T = TO
(out)(err)		 S = N/A
O = 701
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.02
(out)(err)
MANN_a81.clq.cnf S = OPT
O = 399
T = 1427.48		 S = OPT
O = 399
T = 1427.48
(out)(err)		 S = N/A
O = 399
T = TO
(out)(err)		 S = N/A
O = 400
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 399
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 399
T = 1781.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 399
T = TO
(out)(err)		 S = N/A
O = 441
T = TO
(out)(err)		 S = N/A
O = 509
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 399
T = TO
(out)(err)		 S = N/A
O = 675
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.88
(out)(err)
MANN_a9.clq.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 422
T = TO
(out)(err)		 S = N/A
O = 450
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 422
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 422
T = 1795.56
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 427
T = TO
(out)(err)		 S = N/A
O = 584
T = TO
(out)(err)		 S = N/A
O = 538
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 424
T = TO
(out)(err)		 S = N/A
O = 731
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.93
(out)(err)
brock200_1.clq.cnf S = OPT
O = 238
T = 9.01		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 238
T = 9.01
(out)(err)		 S = N/A
O = 272
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 238
T = 18.50
(out)(err)		 S = OPT
O = 238
T = 1122.86
(out)(err)		 S = OPT
O = 238
T = 24.77
(out)(err)		 S = OPT
O = 238
T = 31.91
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 238
T = 60.63
(out)(err)		 S = OPT
O = 238
T = 16.07
(out)(err)		 S = N/A
O = 241
T = TO
(out)(err)		 S = N/A
O = 349
T = TO
(out)(err)		 S = N/A
O = 350
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 238
T = TO
(out)(err)		 S = N/A
O = 286
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.90
(out)(err)
brock200_2.clq.cnf S = OPT
O = 141
T = 0.10		 S = OPT
O = 141
T = 81.29
(out)(err)		 S = OPT
O = 141
T = 1.47
(out)(err)		 S = N/A
O = 152
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 141
T = 0.10
(out)(err)		 S = OPT
O = 141
T = 22.86
(out)(err)		 S = OPT
O = 141
T = 0.23
(out)(err)		 S = OPT
O = 141
T = 0.22
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 141
T = 0.49
(out)(err)		 S = OPT
O = 141
T = 0.29
(out)(err)		 S = N/A
O = 142
T = TO
(out)(err)		 S = N/A
O = 221
T = TO
(out)(err)		 S = N/A
O = 189
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 141
T = 518.23
(out)(err)		 S = N/A
O = 195
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.09
(out)(err)
brock200_3.clq.cnf S = OPT
O = 214
T = 4.17		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 214
T = 4.81
(out)(err)		 S = N/A
O = 241
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 214
T = 4.17
(out)(err)		 S = OPT
O = 214
T = 424.67
(out)(err)		 S = OPT
O = 214
T = 11.44
(out)(err)		 S = OPT
O = 214
T = 9.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 214
T = 21.68
(out)(err)		 S = OPT
O = 214
T = 6.26
(out)(err)		 S = N/A
O = 219
T = TO
(out)(err)		 S = N/A
O = 232
T = TO
(out)(err)		 S = N/A
O = 293
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 215
T = TO
(out)(err)		 S = N/A
O = 327
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.84
(out)(err)
brock200_4.clq.cnf S = OPT
O = 209
T = 2.52		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 209
T = 3.18
(out)(err)		 S = N/A
O = 241
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 209
T = 2.52
(out)(err)		 S = OPT
O = 209
T = 418.84
(out)(err)		 S = OPT
O = 209
T = 5.78
(out)(err)		 S = OPT
O = 209
T = 6.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 209
T = 14.22
(out)(err)		 S = OPT
O = 209
T = 3.75
(out)(err)		 S = N/A
O = 209
T = TO
(out)(err)		 S = N/A
O = 299
T = TO
(out)(err)		 S = N/A
O = 319
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 209
T = TO
(out)(err)		 S = N/A
O = 275
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.96
(out)(err)
brock400_1.clq.cnf S = OPT
O = 255
T = 21.55		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 255
T = 21.55
(out)(err)		 S = N/A
O = 284
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 255
T = 26.50
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = OPT
O = 255
T = 68.84
(out)(err)		 S = OPT
O = 255
T = 65.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 255
T = 141.77
(out)(err)		 S = OPT
O = 255
T = 35.95
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = N/A
O = 340
T = TO
(out)(err)		 S = N/A
O = 347
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = N/A
O = 390
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.98
(out)(err)
brock400_2.clq.cnf S = OPT
O = 252
T = 12.75		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 252
T = 12.75
(out)(err)		 S = N/A
O = 282
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 252
T = 20.98
(out)(err)		 S = OPT
O = 252
T = 1615.43
(out)(err)		 S = OPT
O = 252
T = 44.56
(out)(err)		 S = OPT
O = 252
T = 52.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 252
T = 93.03
(out)(err)		 S = OPT
O = 252
T = 19.41
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = N/A
O = 310
T = TO
(out)(err)		 S = N/A
O = 346
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = N/A
O = 284
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.01
(out)(err)
brock400_3.clq.cnf S = OPT
O = 238
T = 8.72		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 238
T = 8.72
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 238
T = 8.92
(out)(err)		 S = OPT
O = 238
T = 963.21
(out)(err)		 S = OPT
O = 238
T = 21.35
(out)(err)		 S = OPT
O = 238
T = 21.61
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 238
T = 48.62
(out)(err)		 S = OPT
O = 238
T = 12.35
(out)(err)		 S = N/A
O = 243
T = TO
(out)(err)		 S = N/A
O = 278
T = TO
(out)(err)		 S = N/A
O = 355
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 239
T = TO
(out)(err)		 S = N/A
O = 325
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.75
(out)(err)
brock400_4.clq.cnf S = OPT
O = 249
T = 11.00		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 249
T = 11.00
(out)(err)		 S = N/A
O = 268
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 249
T = 14.17
(out)(err)		 S = OPT
O = 249
T = 1124.33
(out)(err)		 S = OPT
O = 249
T = 33.41
(out)(err)		 S = OPT
O = 249
T = 34.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 249
T = 66.76
(out)(err)		 S = OPT
O = 249
T = 16.18
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = 374
T = TO
(out)(err)		 S = N/A
O = 358
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = N/A
O = 407
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.16
(out)(err)
brock800_1.clq.cnf S = OPT
O = 205
T = 1.35		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 205
T = 2.63
(out)(err)		 S = N/A
O = 234
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 205
T = 1.35
(out)(err)		 S = OPT
O = 205
T = 259.15
(out)(err)		 S = OPT
O = 205
T = 3.57
(out)(err)		 S = OPT
O = 205
T = 3.31
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 205
T = 8.97
(out)(err)		 S = OPT
O = 205
T = 2.61
(out)(err)		 S = N/A
O = 210
T = TO
(out)(err)		 S = N/A
O = 273
T = TO
(out)(err)		 S = N/A
O = 288
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 205
T = TO
(out)(err)		 S = N/A
O = 377
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.46
(out)(err)
brock800_2.clq.cnf S = OPT
O = 207
T = 2.26		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 207
T = 3.12
(out)(err)		 S = N/A
O = 244
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 207
T = 2.26
(out)(err)		 S = OPT
O = 207
T = 305.43
(out)(err)		 S = OPT
O = 207
T = 4.82
(out)(err)		 S = OPT
O = 207
T = 5.09
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 207
T = 13.30
(out)(err)		 S = OPT
O = 207
T = 3.75
(out)(err)		 S = N/A
O = 209
T = TO
(out)(err)		 S = N/A
O = 270
T = TO
(out)(err)		 S = N/A
O = 294
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 207
T = TO
(out)(err)		 S = N/A
O = 350
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.38
(out)(err)
brock800_3.clq.cnf S = OPT
O = 203
T = 1.42		 S = OPT
O = 203
T = 1578.02
(out)(err)		 S = OPT
O = 203
T = 2.80
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 203
T = 1.42
(out)(err)		 S = OPT
O = 203
T = 312.96
(out)(err)		 S = OPT
O = 203
T = 2.94
(out)(err)		 S = OPT
O = 203
T = 3.69
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 203
T = 10.57
(out)(err)		 S = OPT
O = 203
T = 2.43
(out)(err)		 S = N/A
O = 207
T = TO
(out)(err)		 S = N/A
O = 315
T = TO
(out)(err)		 S = N/A
O = 309
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 203
T = TO
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.33
(out)(err)
brock800_4.clq.cnf S = OPT
O = 200
T = 1.43		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 200
T = 2.90
(out)(err)		 S = N/A
O = 212
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 200
T = 1.43
(out)(err)		 S = OPT
O = 200
T = 290.09
(out)(err)		 S = OPT
O = 200
T = 4.10
(out)(err)		 S = OPT
O = 200
T = 3.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 200
T = 6.57
(out)(err)		 S = OPT
O = 200
T = 2.24
(out)(err)		 S = N/A
O = 206
T = TO
(out)(err)		 S = N/A
O = 209
T = TO
(out)(err)		 S = N/A
O = 270
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 200
T = TO
(out)(err)		 S = N/A
O = 278
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.23
(out)(err)
c-fat200-1.clq.cnf S = OPT
O = 4
T = 0.00		 S = OPT
O = 4
T = 0.04
(out)(err)		 S = OPT
O = 4
T = 1.39
(out)(err)		 S = OPT
O = 4
T = 0.04
(out)(err)		 S = OPT
O = 4
T = 0.03
(out)(err)		 S = OPT
O = 4
T = 0.01
(out)(err)		 S = OPT
O = 4
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 0.01
(out)(err)		 S = OPT
O = 4
T = 0.01
(out)(err)		 S = OPT
O = 4
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 0.03
(out)(err)		 S = OPT
O = 4
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 0.01
(out)(err)		 S = OPT
O = 4
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 0.03
(out)(err)		 S = OPT
O = 4
T = 0.06
(out)(err)		 S = OPT
O = 4
T = 0.00
(out)(err)
c-fat200-2.clq.cnf S = OPT
O = 26
T = 0.01		 S = OPT
O = 26
T = 0.12
(out)(err)		 S = OPT
O = 26
T = 1.60
(out)(err)		 S = OPT
O = 26
T = 18.93
(out)(err)		 S = OPT
O = 26
T = 0.48
(out)(err)		 S = OPT
O = 26
T = 0.01
(out)(err)		 S = OPT
O = 26
T = 0.13
(out)(err)		 S = OPT
O = 26
T = 0.01
(out)(err)		 S = OPT
O = 26
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 26
T = 0.01
(out)(err)		 S = OPT
O = 26
T = 0.04
(out)(err)		 S = OPT
O = 26
T = 1.82
(out)(err)		 S = OPT
O = 26
T = 4.46
(out)(err)		 S = OPT
O = 26
T = 0.67
(out)(err)		 S = OPT
O = 26
T = 33.89
(out)(err)		 S = OPT
O = 26
T = 0.62
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = OPT
O = 26
T = 0.01
(out)(err)
c-fat200-5.clq.cnf S = OPT
O = 116
T = 0.16		 S = OPT
O = 116
T = 8.52
(out)(err)		 S = OPT
O = 116
T = 1.57
(out)(err)		 S = N/A
O = 159
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 116
T = 0.16
(out)(err)		 S = OPT
O = 116
T = 27.27
(out)(err)		 S = OPT
O = 116
T = 0.20
(out)(err)		 S = OPT
O = 116
T = 0.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 116
T = 0.79
(out)(err)		 S = OPT
O = 116
T = 0.39
(out)(err)		 S = N/A
O = 116
T = TO
(out)(err)		 S = N/A
O = 120
T = TO
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 116
T = 263.26
(out)(err)		 S = N/A
O = 235
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.38
(out)(err)
c-fat500-1.clq.cnf S = OPT
O = 2
T = 0.00		 S = OPT
O = 2
T = 0.01
(out)(err)		 S = OPT
O = 2
T = 1.82
(out)(err)		 S = OPT
O = 2
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 0.01
(out)(err)		 S = OPT
O = 2
T = 0.01
(out)(err)		 S = OPT
O = 2
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 0.02
(out)(err)		 S = OPT
O = 2
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 0.04
(out)(err)		 S = OPT
O = 2
T = 0.01
(out)(err)		 S = OPT
O = 2
T = 0.00
(out)(err)
c-fat500-10.clq.cnf S = OPT
O = 200
T = 19.59		 S = OPT
O = 200
T = 19.59
(out)(err)		 S = N/A
O = 200
T = TO
(out)(err)		 S = N/A
O = 469
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 200
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 200
T = 1778.76
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 200
T = TO
(out)(err)		 S = N/A
O = 232
T = TO
(out)(err)		 S = N/A
O = 262
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 200
T = TO
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.02
(out)(err)
c-fat500-2.clq.cnf S = OPT
O = 24
T = 0.00		 S = OPT
O = 24
T = 0.03
(out)(err)		 S = OPT
O = 24
T = 1.43
(out)(err)		 S = OPT
O = 24
T = 0.06
(out)(err)		 S = OPT
O = 24
T = 0.04
(out)(err)		 S = OPT
O = 24
T = 0.01
(out)(err)		 S = OPT
O = 24
T = 0.07
(out)(err)		 S = OPT
O = 24
T = 0.02
(out)(err)		 S = OPT
O = 24
T = 0.01
(out)(err)		 S = OPT
O = 24
T = 0.01
(out)(err)		 S = OPT
O = 24
T = 0.20
(out)(err)		 S = OPT
O = 24
T = 0.03
(out)(err)		 S = N/A
O = 24
T = TO
(out)(err)		 S = OPT
O = 24
T = 0.01
(out)(err)		 S = OPT
O = 24
T = 0.01
(out)(err)		 S = OPT
O = 24
T = 0.00
(out)(err)		 S = OPT
O = 24
T = 0.08
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = OPT
O = 24
T = 0.01
(out)(err)
c-fat500-5.clq.cnf S = OPT
O = 90
T = 0.60		 S = OPT
O = 90
T = 0.60
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = OPT
O = 90
T = 1.14
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 90
T = 1777.81
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = OPT
O = 90
T = 1.15
(out)(err)		 S = OPT
O = 90
T = 0.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 90
T = 1.47
(out)(err)		 S = N/A
O = 150
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.06
(out)(err)
hamming10-2.clq.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 400
T = TO
(out)(err)		 S = N/A
O = 402
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 400
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 400
T = 1779.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 400
T = TO
(out)(err)		 S = N/A
O = 532
T = TO
(out)(err)		 S = N/A
O = 490
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 400
T = TO
(out)(err)		 S = N/A
O = 557
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.51
(out)(err)
hamming10-4.clq.cnf S = OPT
O = 319
T = 256.07		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 319
T = 256.07
(out)(err)		 S = N/A
O = 350
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 319
T = 314.51
(out)(err)		 S = N/A
O = 319
T = TO
(out)(err)		 S = OPT
O = 319
T = 720.16
(out)(err)		 S = OPT
O = 319
T = 790.16
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 319
T = 1796.07
(out)(err)		 S = OPT
O = 319
T = 407.12
(out)(err)		 S = N/A
O = 322
T = TO
(out)(err)		 S = N/A
O = 341
T = TO
(out)(err)		 S = N/A
O = 458
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 321
T = TO
(out)(err)		 S = N/A
O = 339
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.67
(out)(err)
hamming6-2.clq.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 845
T = TO
(out)(err)		 S = N/A
O = 893
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 837
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 847
T = 1796.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 858
T = TO
(out)(err)		 S = N/A
O = 1100
T = TO
(out)(err)		 S = N/A
O = 1129
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 865
T = TO
(out)(err)		 S = N/A
O = 1625
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.07
(out)(err)
hamming6-4.clq.cnf S = OPT
O = 192
T = 0.07		 S = OPT
O = 192
T = 71.75
(out)(err)		 S = OPT
O = 192
T = 1.52
(out)(err)		 S = N/A
O = 202
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 192
T = 0.07
(out)(err)		 S = OPT
O = 192
T = 119.48
(out)(err)		 S = OPT
O = 192
T = 0.16
(out)(err)		 S = OPT
O = 192
T = 0.15
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 192
T = 0.17
(out)(err)		 S = OPT
O = 192
T = 0.32
(out)(err)		 S = N/A
O = 192
T = TO
(out)(err)		 S = N/A
O = 312
T = TO
(out)(err)		 S = N/A
O = 280
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 192
T = TO
(out)(err)		 S = N/A
O = 484
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.72
(out)(err)
hamming8-2.clq.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 441
T = TO
(out)(err)		 S = N/A
O = 441
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 441
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 441
T = 1780.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 441
T = TO
(out)(err)		 S = N/A
O = 551
T = TO
(out)(err)		 S = N/A
O = 551
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 441
T = TO
(out)(err)		 S = N/A
O = 721
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.44
(out)(err)
hamming8-4.clq.cnf S = OPT
O = 176
T = 0.07		 S = OPT
O = 176
T = 63.01
(out)(err)		 S = OPT
O = 176
T = 1.53
(out)(err)		 S = N/A
O = 200
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 176
T = 0.07
(out)(err)		 S = OPT
O = 176
T = 32.22
(out)(err)		 S = OPT
O = 176
T = 0.17
(out)(err)		 S = OPT
O = 176
T = 0.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 176
T = 0.49
(out)(err)		 S = OPT
O = 176
T = 0.27
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 176
T = 694.29
(out)(err)		 S = N/A
O = 341
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.57
(out)(err)
johnson16-2-4.clq.cnf S = OPT
O = 215
T = 0.07		 S = OPT
O = 215
T = 90.68
(out)(err)		 S = OPT
O = 215
T = 1.58
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 215
T = 0.07
(out)(err)		 S = OPT
O = 215
T = 44.23
(out)(err)		 S = OPT
O = 215
T = 0.25
(out)(err)		 S = OPT
O = 215
T = 0.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 215
T = 1.10
(out)(err)		 S = OPT
O = 215
T = 0.34
(out)(err)		 S = N/A
O = 221
T = TO
(out)(err)		 S = N/A
O = 344
T = TO
(out)(err)		 S = N/A
O = 323
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 215
T = 783.66
(out)(err)		 S = N/A
O = 308
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.02
(out)(err)
johnson32-2-4.clq.cnf S = OPT
O = 329
T = 49.80		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 329
T = 49.80
(out)(err)		 S = N/A
O = 355
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 329
T = 64.54
(out)(err)		 S = N/A
O = 329
T = TO
(out)(err)		 S = OPT
O = 329
T = 162.45
(out)(err)		 S = OPT
O = 329
T = 167.80
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 329
T = 496.12
(out)(err)		 S = OPT
O = 329
T = 82.02
(out)(err)		 S = N/A
O = 337
T = TO
(out)(err)		 S = N/A
O = 492
T = TO
(out)(err)		 S = N/A
O = 498
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 331
T = TO
(out)(err)		 S = N/A
O = 540
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.83
(out)(err)
johnson8-2-4.clq.cnf S = OPT
O = 75
T = 0.02		 S = OPT
O = 75
T = 5.19
(out)(err)		 S = OPT
O = 75
T = 1.42
(out)(err)		 S = N/A
O = 81
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 75
T = 0.02
(out)(err)		 S = OPT
O = 75
T = 0.40
(out)(err)		 S = OPT
O = 75
T = 0.03
(out)(err)		 S = OPT
O = 75
T = 0.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 75
T = 0.07
(out)(err)		 S = OPT
O = 75
T = 0.10
(out)(err)		 S = OPT
O = 75
T = 20.17
(out)(err)		 S = N/A
O = 100
T = TO
(out)(err)		 S = N/A
O = 95
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 75
T = 9.32
(out)(err)		 S = N/A
O = 132
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.32
(out)(err)
johnson8-4-4.clq.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 779
T = TO
(out)(err)		 S = N/A
O = 898
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 779
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 770
T = 1797.52
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 816
T = TO
(out)(err)		 S = N/A
O = 1069
T = TO
(out)(err)		 S = N/A
O = 1075
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 871
T = TO
(out)(err)		 S = N/A
O = 1565
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.10
(out)(err)
keller4.clq.cnf S = OPT
O = 199
T = 0.05		 S = OPT
O = 199
T = 50.46
(out)(err)		 S = OPT
O = 199
T = 1.46
(out)(err)		 S = N/A
O = 261
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 199
T = 0.05
(out)(err)		 S = OPT
O = 199
T = 15.79
(out)(err)		 S = OPT
O = 199
T = 0.12
(out)(err)		 S = OPT
O = 199
T = 0.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 199
T = 0.22
(out)(err)		 S = OPT
O = 199
T = 0.18
(out)(err)		 S = N/A
O = 199
T = TO
(out)(err)		 S = N/A
O = 223
T = TO
(out)(err)		 S = N/A
O = 207
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 199
T = 187.73
(out)(err)		 S = N/A
O = 444
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.21
(out)(err)
keller5.clq.cnf S = OPT
O = 250
T = 3.19		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 250
T = 4.78
(out)(err)		 S = N/A
O = 265
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 250
T = 3.19
(out)(err)		 S = OPT
O = 250
T = 630.11
(out)(err)		 S = OPT
O = 250
T = 7.08
(out)(err)		 S = OPT
O = 250
T = 8.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 250
T = 24.44
(out)(err)		 S = OPT
O = 250
T = 3.80
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = 317
T = TO
(out)(err)		 S = N/A
O = 388
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 250
T = TO
(out)(err)		 S = N/A
O = 419
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.54
(out)(err)
p_hat1000-1.clq.cnf S = OPT
O = 52
T = 0.01		 S = OPT
O = 52
T = 3.79
(out)(err)		 S = OPT
O = 52
T = 1.53
(out)(err)		 S = OPT
O = 52
T = 1208.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 52
T = 0.01
(out)(err)		 S = OPT
O = 52
T = 0.09
(out)(err)		 S = OPT
O = 52
T = 0.02
(out)(err)		 S = OPT
O = 52
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 52
T = 0.02
(out)(err)		 S = OPT
O = 52
T = 0.11
(out)(err)		 S = OPT
O = 52
T = 15.16
(out)(err)		 S = N/A
O = 52
T = 530.11
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 52
T = 3.47
(out)(err)		 S = N/A
O = 83
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.53
(out)(err)
p_hat1000-2.clq.cnf S = OPT
O = 142
T = 0.15		 S = OPT
O = 142
T = 102.56
(out)(err)		 S = OPT
O = 142
T = 1.65
(out)(err)		 S = N/A
O = 166
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 142
T = 0.15
(out)(err)		 S = OPT
O = 142
T = 9.82
(out)(err)		 S = OPT
O = 142
T = 0.29
(out)(err)		 S = OPT
O = 142
T = 0.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 142
T = 0.86
(out)(err)		 S = OPT
O = 142
T = 0.50
(out)(err)		 S = N/A
O = 145
T = TO
(out)(err)		 S = N/A
O = 181
T = TO
(out)(err)		 S = N/A
O = 174
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 142
T = 132.67
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.31
(out)(err)
p_hat1000-3.clq.cnf S = OPT
O = 238
T = 6.67		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 238
T = 6.73
(out)(err)		 S = N/A
O = 265
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 238
T = 6.67
(out)(err)		 S = OPT
O = 238
T = 761.25
(out)(err)		 S = OPT
O = 238
T = 12.10
(out)(err)		 S = OPT
O = 238
T = 16.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 238
T = 33.52
(out)(err)		 S = OPT
O = 238
T = 7.82
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = 362
T = TO
(out)(err)		 S = N/A
O = 319
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 238
T = TO
(out)(err)		 S = N/A
O = 323
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.20
(out)(err)
p_hat300-1.clq.cnf S = OPT
O = 49
T = 0.01		 S = OPT
O = 49
T = 3.75
(out)(err)		 S = OPT
O = 49
T = 1.42
(out)(err)		 S = OPT
O = 49
T = 379.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 49
T = 0.01
(out)(err)		 S = OPT
O = 49
T = 0.10
(out)(err)		 S = OPT
O = 49
T = 0.02
(out)(err)		 S = OPT
O = 49
T = 0.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 49
T = 0.02
(out)(err)		 S = OPT
O = 49
T = 0.09
(out)(err)		 S = OPT
O = 49
T = 54.87
(out)(err)		 S = N/A
O = 49
T = 355.68
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 49
T = 3.30
(out)(err)		 S = N/A
O = 97
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.97
(out)(err)
p_hat300-2.clq.cnf S = OPT
O = 135
T = 0.07		 S = OPT
O = 135
T = 48.13
(out)(err)		 S = OPT
O = 135
T = 1.48
(out)(err)		 S = N/A
O = 145
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 135
T = 0.07
(out)(err)		 S = OPT
O = 135
T = 4.90
(out)(err)		 S = OPT
O = 135
T = 0.15
(out)(err)		 S = OPT
O = 135
T = 0.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 135
T = 0.39
(out)(err)		 S = OPT
O = 135
T = 0.26
(out)(err)		 S = N/A
O = 138
T = TO
(out)(err)		 S = N/A
O = 184
T = TO
(out)(err)		 S = N/A
O = 168
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 135
T = 72.23
(out)(err)		 S = N/A
O = 197
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.06
(out)(err)
p_hat300-3.clq.cnf S = OPT
O = 269
T = 15.51		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 269
T = 15.56
(out)(err)		 S = N/A
O = 307
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 269
T = 15.51
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = OPT
O = 269
T = 37.20
(out)(err)		 S = OPT
O = 269
T = 37.84
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 269
T = 120.66
(out)(err)		 S = OPT
O = 269
T = 31.79
(out)(err)		 S = N/A
O = 275
T = TO
(out)(err)		 S = N/A
O = 327
T = TO
(out)(err)		 S = N/A
O = 365
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 271
T = TO
(out)(err)		 S = N/A
O = 334
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.46
(out)(err)
p_hat500-1.clq.cnf S = OPT
O = 75
T = 0.02		 S = OPT
O = 75
T = 7.58
(out)(err)		 S = OPT
O = 75
T = 1.42
(out)(err)		 S = N/A
O = 93
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 75
T = 0.02
(out)(err)		 S = OPT
O = 75
T = 1.35
(out)(err)		 S = OPT
O = 75
T = 0.03
(out)(err)		 S = OPT
O = 75
T = 0.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 75
T = 0.07
(out)(err)		 S = OPT
O = 75
T = 0.10
(out)(err)		 S = OPT
O = 75
T = 340.60
(out)(err)		 S = N/A
O = 108
T = TO
(out)(err)		 S = N/A
O = 93
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 75
T = 12.51
(out)(err)		 S = N/A
O = 163
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.43
(out)(err)
p_hat500-2.clq.cnf S = OPT
O = 176
T = 0.26		 S = OPT
O = 176
T = 733.31
(out)(err)		 S = OPT
O = 176
T = 1.66
(out)(err)		 S = N/A
O = 212
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 176
T = 0.26
(out)(err)		 S = OPT
O = 176
T = 43.98
(out)(err)		 S = OPT
O = 176
T = 0.53
(out)(err)		 S = OPT
O = 176
T = 0.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 176
T = 1.39
(out)(err)		 S = OPT
O = 176
T = 0.69
(out)(err)		 S = N/A
O = 178
T = TO
(out)(err)		 S = N/A
O = 244
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 176
T = 504.29
(out)(err)		 S = N/A
O = 262
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.24
(out)(err)
p_hat500-3.clq.cnf S = OPT
O = 284
T = 38.47		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 284
T = 38.47
(out)(err)		 S = N/A
O = 304
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 284
T = 54.42
(out)(err)		 S = N/A
O = 284
T = TO
(out)(err)		 S = OPT
O = 284
T = 136.03
(out)(err)		 S = OPT
O = 284
T = 137.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 284
T = 311.83
(out)(err)		 S = OPT
O = 284
T = 87.56
(out)(err)		 S = N/A
O = 288
T = TO
(out)(err)		 S = N/A
O = 434
T = TO
(out)(err)		 S = N/A
O = 425
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 284
T = TO
(out)(err)		 S = N/A
O = 475
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.73
(out)(err)
p_hat700-1.clq.cnf S = OPT
O = 63
T = 0.01		 S = OPT
O = 63
T = 4.78
(out)(err)		 S = OPT
O = 63
T = 1.44
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 63
T = 0.01
(out)(err)		 S = OPT
O = 63
T = 0.27
(out)(err)		 S = OPT
O = 63
T = 0.02
(out)(err)		 S = OPT
O = 63
T = 0.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 63
T = 0.03
(out)(err)		 S = OPT
O = 63
T = 0.09
(out)(err)		 S = OPT
O = 63
T = 79.35
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 63
T = 5.66
(out)(err)		 S = N/A
O = 92
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.26
(out)(err)
p_hat700-2.clq.cnf S = OPT
O = 154
T = 0.10		 S = OPT
O = 154
T = 67.44
(out)(err)		 S = OPT
O = 154
T = 1.49
(out)(err)		 S = N/A
O = 171
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 154
T = 0.10
(out)(err)		 S = OPT
O = 154
T = 11.68
(out)(err)		 S = OPT
O = 154
T = 0.22
(out)(err)		 S = OPT
O = 154
T = 0.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 154
T = 0.58
(out)(err)		 S = OPT
O = 154
T = 0.33
(out)(err)		 S = N/A
O = 154
T = TO
(out)(err)		 S = N/A
O = 224
T = TO
(out)(err)		 S = N/A
O = 159
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 154
T = 81.39
(out)(err)		 S = N/A
O = 215
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.38
(out)(err)
p_hat700-3.clq.cnf S = OPT
O = 267
T = 10.63		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 267
T = 10.63
(out)(err)		 S = N/A
O = 313
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 267
T = 19.86
(out)(err)		 S = N/A
O = 267
T = TO
(out)(err)		 S = OPT
O = 267
T = 33.03
(out)(err)		 S = OPT
O = 267
T = 48.52
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 267
T = 87.87
(out)(err)		 S = OPT
O = 267
T = 19.20
(out)(err)		 S = N/A
O = 271
T = TO
(out)(err)		 S = N/A
O = 395
T = TO
(out)(err)		 S = N/A
O = 401
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = N/A
O = 339
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.37
(out)(err)
san1000.clq.cnf S = OPT
O = 139
T = 0.11		 S = OPT
O = 139
T = 79.91
(out)(err)		 S = OPT
O = 139
T = 1.53
(out)(err)		 S = N/A
O = 152
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 139
T = 0.11
(out)(err)		 S = OPT
O = 139
T = 25.17
(out)(err)		 S = OPT
O = 139
T = 0.29
(out)(err)		 S = OPT
O = 139
T = 0.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 139
T = 0.57
(out)(err)		 S = OPT
O = 139
T = 0.41
(out)(err)		 S = N/A
O = 141
T = TO
(out)(err)		 S = N/A
O = 146
T = TO
(out)(err)		 S = N/A
O = 191
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 139
T = 335.26
(out)(err)		 S = N/A
O = 220
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.22
(out)(err)
san200_0.7_1.clq.cnf S = OPT
O = 237
T = 14.40		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 237
T = 14.40
(out)(err)		 S = N/A
O = 266
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 237
T = 21.44
(out)(err)		 S = OPT
O = 237
T = 1599.11
(out)(err)		 S = OPT
O = 237
T = 44.52
(out)(err)		 S = OPT
O = 237
T = 49.22
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 237
T = 87.26
(out)(err)		 S = OPT
O = 237
T = 25.96
(out)(err)		 S = N/A
O = 240
T = TO
(out)(err)		 S = N/A
O = 313
T = TO
(out)(err)		 S = N/A
O = 314
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = 410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.36
(out)(err)
san200_0.7_2.clq.cnf S = OPT
O = 236
T = 6.85		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 236
T = 8.92
(out)(err)		 S = N/A
O = 282
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 236
T = 6.85
(out)(err)		 S = OPT
O = 236
T = 763.34
(out)(err)		 S = OPT
O = 236
T = 15.15
(out)(err)		 S = OPT
O = 236
T = 16.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 236
T = 40.96
(out)(err)		 S = OPT
O = 236
T = 15.62
(out)(err)		 S = N/A
O = 240
T = TO
(out)(err)		 S = N/A
O = 288
T = TO
(out)(err)		 S = N/A
O = 344
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = 421
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.58
(out)(err)
san200_0.9_1.clq.cnf S = OPT
O = 313
T = 258.18		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 313
T = 258.18
(out)(err)		 S = N/A
O = 348
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 313
T = 401.25
(out)(err)		 S = N/A
O = 313
T = TO
(out)(err)		 S = OPT
O = 313
T = 910.43
(out)(err)		 S = OPT
O = 313
T = 1002.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 313
T = 1795.77
(out)(err)		 S = OPT
O = 313
T = 546.46
(out)(err)		 S = N/A
O = 315
T = TO
(out)(err)		 S = N/A
O = 403
T = TO
(out)(err)		 S = N/A
O = 443
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 313
T = TO
(out)(err)		 S = N/A
O = 515
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1795.45
(out)(err)
san200_0.9_2.clq.cnf S = OPT
O = 316
T = 297.94		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 316
T = 297.94
(out)(err)		 S = N/A
O = 338
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 316
T = 473.55
(out)(err)		 S = N/A
O = 317
T = TO
(out)(err)		 S = OPT
O = 316
T = 1033.27
(out)(err)		 S = OPT
O = 316
T = 1149.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 316
T = 1795.76
(out)(err)		 S = OPT
O = 316
T = 563.71
(out)(err)		 S = N/A
O = 322
T = TO
(out)(err)		 S = N/A
O = 440
T = TO
(out)(err)		 S = N/A
O = 452
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 317
T = TO
(out)(err)		 S = N/A
O = 535
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.84
(out)(err)
san200_0.9_3.clq.cnf S = OPT
O = 320
T = 353.29		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 320
T = 353.29
(out)(err)		 S = N/A
O = 377
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 320
T = 462.25
(out)(err)		 S = N/A
O = 321
T = TO
(out)(err)		 S = OPT
O = 320
T = 999.56
(out)(err)		 S = OPT
O = 320
T = 1098.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 320
T = 1795.89
(out)(err)		 S = OPT
O = 320
T = 635.49
(out)(err)		 S = N/A
O = 325
T = TO
(out)(err)		 S = N/A
O = 442
T = TO
(out)(err)		 S = N/A
O = 461
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 321
T = TO
(out)(err)		 S = N/A
O = 491
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.21
(out)(err)
san400_0.5_1.clq.cnf S = OPT
O = 146
T = 0.17		 S = OPT
O = 146
T = 73.99
(out)(err)		 S = OPT
O = 146
T = 1.54
(out)(err)		 S = N/A
O = 151
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 146
T = 0.17
(out)(err)		 S = OPT
O = 146
T = 27.20
(out)(err)		 S = OPT
O = 146
T = 0.30
(out)(err)		 S = OPT
O = 146
T = 0.27
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 146
T = 0.91
(out)(err)		 S = OPT
O = 146
T = 0.51
(out)(err)		 S = N/A
O = 146
T = TO
(out)(err)		 S = N/A
O = 220
T = TO
(out)(err)		 S = N/A
O = 154
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 146
T = 301.52
(out)(err)		 S = N/A
O = 172
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.95
(out)(err)
san400_0.7_1.clq.cnf S = OPT
O = 236
T = 11.80		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 236
T = 11.80
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 236
T = 13.31
(out)(err)		 S = OPT
O = 236
T = 1188.64
(out)(err)		 S = OPT
O = 236
T = 31.52
(out)(err)		 S = OPT
O = 236
T = 32.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 236
T = 77.75
(out)(err)		 S = OPT
O = 236
T = 18.06
(out)(err)		 S = N/A
O = 239
T = TO
(out)(err)		 S = N/A
O = 333
T = TO
(out)(err)		 S = N/A
O = 378
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 236
T = TO
(out)(err)		 S = N/A
O = 434
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.90
(out)(err)
san400_0.7_2.clq.cnf S = OPT
O = 236
T = 8.33		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 236
T = 9.00
(out)(err)		 S = N/A
O = 268
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 236
T = 8.33
(out)(err)		 S = OPT
O = 236
T = 917.94
(out)(err)		 S = OPT
O = 236
T = 26.81
(out)(err)		 S = OPT
O = 236
T = 17.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 236
T = 44.89
(out)(err)		 S = OPT
O = 236
T = 9.34
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = 295
T = TO
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = 390
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.28
(out)(err)
san400_0.7_3.clq.cnf S = OPT
O = 230
T = 7.18		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 230
T = 12.46
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 230
T = 7.18
(out)(err)		 S = OPT
O = 230
T = 822.46
(out)(err)		 S = OPT
O = 230
T = 16.43
(out)(err)		 S = OPT
O = 230
T = 17.63
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 230
T = 57.18
(out)(err)		 S = OPT
O = 230
T = 14.20
(out)(err)		 S = N/A
O = 235
T = TO
(out)(err)		 S = N/A
O = 289
T = TO
(out)(err)		 S = N/A
O = 306
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 230
T = TO
(out)(err)		 S = N/A
O = 419
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.89
(out)(err)
san400_0.9_1.clq.cnf S = OPT
O = 304
T = 247.71		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 304
T = 247.71
(out)(err)		 S = N/A
O = 332
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 304
T = 394.82
(out)(err)		 S = N/A
O = 305
T = TO
(out)(err)		 S = OPT
O = 304
T = 934.95
(out)(err)		 S = OPT
O = 304
T = 1005.27
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 304
T = 1795.76
(out)(err)		 S = OPT
O = 304
T = 513.28
(out)(err)		 S = N/A
O = 306
T = TO
(out)(err)		 S = N/A
O = 460
T = TO
(out)(err)		 S = N/A
O = 434
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 305
T = TO
(out)(err)		 S = N/A
O = 546
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.93
(out)(err)
sanr200_0.7.clq.cnf S = OPT
O = 227
T = 6.22		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 227
T = 6.22
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 227
T = 7.76
(out)(err)		 S = OPT
O = 227
T = 742.82
(out)(err)		 S = OPT
O = 227
T = 18.87
(out)(err)		 S = OPT
O = 227
T = 19.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 227
T = 33.94
(out)(err)		 S = OPT
O = 227
T = 9.77
(out)(err)		 S = N/A
O = 231
T = TO
(out)(err)		 S = N/A
O = 280
T = TO
(out)(err)		 S = N/A
O = 320
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 227
T = TO
(out)(err)		 S = N/A
O = 361
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.80
(out)(err)
sanr200_0.9.clq.cnf S = OPT
O = 300
T = 98.84		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 300
T = 98.84
(out)(err)		 S = N/A
O = 322
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 300
T = 179.94
(out)(err)		 S = N/A
O = 301
T = TO
(out)(err)		 S = OPT
O = 300
T = 411.71
(out)(err)		 S = OPT
O = 300
T = 448.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 300
T = 783.86
(out)(err)		 S = OPT
O = 300
T = 170.30
(out)(err)		 S = N/A
O = 309
T = TO
(out)(err)		 S = N/A
O = 418
T = TO
(out)(err)		 S = N/A
O = 421
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 302
T = TO
(out)(err)		 S = N/A
O = 452
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.94
(out)(err)
sanr400_0.5.clq.cnf S = OPT
O = 148
T = 0.18		 S = OPT
O = 148
T = 110.93
(out)(err)		 S = OPT
O = 148
T = 2.24
(out)(err)		 S = N/A
O = 166
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 148
T = 0.18
(out)(err)		 S = OPT
O = 148
T = 38.38
(out)(err)		 S = OPT
O = 148
T = 0.23
(out)(err)		 S = OPT
O = 148
T = 0.28
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 148
T = 0.67
(out)(err)		 S = OPT
O = 148
T = 0.54
(out)(err)		 S = N/A
O = 149
T = TO
(out)(err)		 S = N/A
O = 176
T = TO
(out)(err)		 S = N/A
O = 233
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 148
T = 427.94
(out)(err)		 S = N/A
O = 197
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1791.96
(out)(err)
sanr400_0.7.clq.cnf S = OPT
O = 223
T = 2.17		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 223
T = 3.22
(out)(err)		 S = N/A
O = 268
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 223
T = 2.17
(out)(err)		 S = OPT
O = 223
T = 416.77
(out)(err)		 S = OPT
O = 223
T = 4.33
(out)(err)		 S = OPT
O = 223
T = 5.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 223
T = 13.23
(out)(err)		 S = OPT
O = 223
T = 3.02
(out)(err)		 S = N/A
O = 230
T = TO
(out)(err)		 S = N/A
O = 318
T = TO
(out)(err)		 S = N/A
O = 329
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 225
T = TO
(out)(err)		 S = N/A
O = 277
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1792.99
(out)(err)
t3pm3-5555.spn.cnf S = OPT
O = 17
T = 0.00		 S = OPT
O = 17
T = 0.26
(out)(err)		 S = OPT
O = 17
T = 1.48
(out)(err)		 S = OPT
O = 17
T = 0.45
(out)(err)		 S = OPT
O = 17
T = 0.49
(out)(err)		 S = OPT
O = 17
T = 0.00
(out)(err)		 S = OPT
O = 17
T = 0.01
(out)(err)		 S = OPT
O = 17
T = 0.01
(out)(err)		 S = OPT
O = 17
T = 0.01
(out)(err)		 S = OPT
O = 17
T = 98.25
(out)(err)		 S = OPT
O = 17
T = 0.00
(out)(err)		 S = OPT
O = 17
T = 0.03
(out)(err)		 S = OPT
O = 17
T = 0.14
(out)(err)		 S = OPT
O = 17
T = 0.53
(out)(err)		 S = OPT
O = 17
T = 0.04
(out)(err)		 S = OPT
O = 17
T = 0.06
(out)(err)		 S = OPT
O = 17
T = 0.60
(out)(err)		 S = N/A
O = 27
T = TO
(out)(err)		 S = OPT
O = 17
T = 0.00
(out)(err)
t4pm3-6666.spn.cnf S = OPT
O = 38
T = 0.02		 S = OPT
O = 38
T = 2.39
(out)(err)		 S = OPT
O = 38
T = 1.50
(out)(err)		 S = N/A
O = 46
T = TO
(out)(err)		 S = OPT
O = 38
T = 6.57
(out)(err)		 S = OPT
O = 38
T = 0.02
(out)(err)		 S = OPT
O = 38
T = 2.08
(out)(err)		 S = OPT
O = 38
T = 0.04
(out)(err)		 S = OPT
O = 38
T = 0.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 38
T = 0.07
(out)(err)		 S = OPT
O = 38
T = 0.11
(out)(err)		 S = OPT
O = 38
T = 176.74
(out)(err)		 S = N/A
O = 40
T = TO
(out)(err)		 S = N/A
O = 44
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 38
T = 7.86
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = OPT
O = 38
T = 18.56
(out)(err)
t5pm3-7777.spn.cnf S = OPT
O = 78
T = 3.78		 S = OPT
O = 78
T = 80.99
(out)(err)		 S = OPT
O = 78
T = 26.87
(out)(err)		 S = N/A
O = 110
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 78
T = 5.67
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = OPT
O = 78
T = 9.82
(out)(err)		 S = OPT
O = 78
T = 8.52
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 78
T = 3.78
(out)(err)		 S = OPT
O = 78
T = 5.64
(out)(err)		 S = N/A
O = 82
T = TO
(out)(err)		 S = N/A
O = 120
T = TO
(out)(err)		 S = N/A
O = 130
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = N/A
O = 125
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1793.74
(out)(err)
t6pm3-8888.spn.cnf S = OPT
O = 136
T = 610.07		 S = OPT
O = 136
T = 1185.12
(out)(err)		 S = N/A
O = 138
T = TO
(out)(err)		 S = N/A
O = 157
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 158
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 136
T = 610.07
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 146
T = TO
(out)(err)		 S = N/A
O = 222
T = TO
(out)(err)		 S = N/A
O = 204
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 150
T = TO
(out)(err)		 S = N/A
O = 240
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.21
(out)(err)
t7pm3-9999.spn.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 239
T = TO
(out)(err)		 S = N/A
O = 441
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 220
T = 1797.63
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 231
T = TO
(out)(err)		 S = N/A
O = 343
T = TO
(out)(err)		 S = N/A
O = 349
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 247
T = TO
(out)(err)		 S = N/A
O = 335
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1794.16
(out)(err)