Benchmark

LabelMeaning
SSolution {OPTIMUM FOUND or OPTIMUM | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A}
OBest solution found
TCPU time

ColorMeaning
TextOptimal solution with the best CPU time
TextOptimal solution and finished within the Time Out
TextOptimal solution and did not finish within the Time Out
TextTime Out
TextBuggy solution

Instance file name IncMaxSatz LS_Power Maxsat_Power PM2 SAT4J-MAXSAT-2.2.0 WMaxSatz+ WMaxSatz-2009 WPM1 akmaxsat akmaxsat_ls wbo-1.4a
MANN_a27.clq.cnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 407
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 404
T = Time Out | (out)(err)
S = N/A | O = 404
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
MANN_a45.clq.cnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 420
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 418
T = Time Out | (out)(err)
S = N/A | O = 418
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
MANN_a81.clq.cnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 399
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 399
T = Time Out | (out)(err)
S = N/A | O = 399
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
MANN_a9.clq.cnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 438
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 422
T = Time Out | (out)(err)
S = N/A | O = 422
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock200_1.clq.cnf S = OPTIMUM | O = 238
T = 19.85 | (out)(err)
S = OPTIMUM | O = 238
T = 24.52 | (out)(err)
S = OPTIMUM | O = 238
T = 23.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 256
T = Time Out | (out)(err)
S = OPTIMUM | O = 238
T = 34.00 | (out)(err)
S = OPTIMUM | O = 238
T = 45.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 238
T = 11.47 | (out)(err)
S = OPTIMUM | O = 238
T = 11.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock200_2.clq.cnf S = OPTIMUM | O = 141
T = 0.29 | (out)(err)
S = OPTIMUM | O = 141
T = 0.16 | (out)(err)
S = OPTIMUM | O = 141
T = 0.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 160
T = Time Out | (out)(err)
S = OPTIMUM | O = 141
T = 0.30 | (out)(err)
S = OPTIMUM | O = 141
T = 0.29 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 141
T = 0.12 | (out)(err)
S = OPTIMUM | O = 141
T = 0.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock200_3.clq.cnf S = OPTIMUM | O = 214
T = 5.22 | (out)(err)
S = OPTIMUM | O = 214
T = 6.63 | (out)(err)
S = OPTIMUM | O = 214
T = 6.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 231
T = Time Out | (out)(err)
S = OPTIMUM | O = 214
T = 11.70 | (out)(err)
S = OPTIMUM | O = 214
T = 13.73 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 214
T = 4.50 | (out)(err)
S = OPTIMUM | O = 214
T = 4.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock200_4.clq.cnf S = OPTIMUM | O = 209
T = 3.45 | (out)(err)
S = OPTIMUM | O = 209
T = 5.55 | (out)(err)
S = OPTIMUM | O = 209
T = 5.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 234
T = Time Out | (out)(err)
S = OPTIMUM | O = 209
T = 8.07 | (out)(err)
S = OPTIMUM | O = 209
T = 8.47 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 209
T = 2.71 | (out)(err)
S = OPTIMUM | O = 209
T = 2.63 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock400_1.clq.cnf S = OPTIMUM | O = 255
T = 37.30 | (out)(err)
S = OPTIMUM | O = 255
T = 52.39 | (out)(err)
S = OPTIMUM | O = 255
T = 50.92 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 273
T = Time Out | (out)(err)
S = OPTIMUM | O = 255
T = 97.68 | (out)(err)
S = OPTIMUM | O = 255
T = 95.12 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 255
T = 30.72 | (out)(err)
S = OPTIMUM | O = 255
T = 27.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock400_2.clq.cnf S = OPTIMUM | O = 252
T = 31.19 | (out)(err)
S = OPTIMUM | O = 252
T = 39.23 | (out)(err)
S = OPTIMUM | O = 252
T = 35.43 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 277
T = Time Out | (out)(err)
S = OPTIMUM | O = 252
T = 63.13 | (out)(err)
S = OPTIMUM | O = 252
T = 75.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 252
T = 17.60 | (out)(err)
S = OPTIMUM | O = 252
T = 17.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock400_3.clq.cnf S = OPTIMUM | O = 238
T = 13.69 | (out)(err)
S = OPTIMUM | O = 238
T = 19.71 | (out)(err)
S = OPTIMUM | O = 238
T = 17.48 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 260
T = Time Out | (out)(err)
S = OPTIMUM | O = 238
T = 30.17 | (out)(err)
S = OPTIMUM | O = 238
T = 31.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 238
T = 10.31 | (out)(err)
S = OPTIMUM | O = 238
T = 9.57 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock400_4.clq.cnf S = OPTIMUM | O = 249
T = 16.02 | (out)(err)
S = OPTIMUM | O = 249
T = 27.97 | (out)(err)
S = OPTIMUM | O = 249
T = 24.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 277
T = Time Out | (out)(err)
S = OPTIMUM | O = 249
T = 46.58 | (out)(err)
S = OPTIMUM | O = 249
T = 48.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 249
T = 14.44 | (out)(err)
S = OPTIMUM | O = 249
T = 13.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock800_1.clq.cnf S = OPTIMUM | O = 205
T = 2.42 | (out)(err)
S = OPTIMUM | O = 205
T = 2.96 | (out)(err)
S = OPTIMUM | O = 205
T = 2.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 232
T = Time Out | (out)(err)
S = OPTIMUM | O = 205
T = 4.96 | (out)(err)
S = OPTIMUM | O = 205
T = 4.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 205
T = 1.74 | (out)(err)
S = OPTIMUM | O = 205
T = 1.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock800_2.clq.cnf S = OPTIMUM | O = 207
T = 3.31 | (out)(err)
S = OPTIMUM | O = 207
T = 3.99 | (out)(err)
S = OPTIMUM | O = 207
T = 3.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 229
T = Time Out | (out)(err)
S = OPTIMUM | O = 207
T = 6.73 | (out)(err)
S = OPTIMUM | O = 207
T = 7.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 207
T = 2.74 | (out)(err)
S = OPTIMUM | O = 207
T = 2.39 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock800_3.clq.cnf S = OPTIMUM | O = 203
T = 4.00 | (out)(err)
S = OPTIMUM | O = 203
T = 2.92 | (out)(err)
S = OPTIMUM | O = 203
T = 2.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 230
T = Time Out | (out)(err)
S = OPTIMUM | O = 203
T = 4.04 | (out)(err)
S = OPTIMUM | O = 203
T = 4.75 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 203
T = 1.82 | (out)(err)
S = OPTIMUM | O = 203
T = 1.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock800_4.clq.cnf S = OPTIMUM | O = 200
T = 2.82 | (out)(err)
S = OPTIMUM | O = 200
T = 4.12 | (out)(err)
S = OPTIMUM | O = 200
T = 4.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 223
T = Time Out | (out)(err)
S = OPTIMUM | O = 200
T = 4.88 | (out)(err)
S = OPTIMUM | O = 200
T = 4.57 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 200
T = 1.62 | (out)(err)
S = OPTIMUM | O = 200
T = 1.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
c-fat200-1.clq.cnf S = OPTIMUM | O = 4
T = 0.00 | (out)(err)
S = OPTIMUM | O = 4
T = 0.01 | (out)(err)
S = OPTIMUM | O = 4
T = 0.03 | (out)(err)
S = OPTIMUM | O = 4
T = 0.01 | (out)(err)
S = OPTIMUM | O = 4
T = 1.15 | (out)(err)
S = OPTIMUM | O = 4
T = 0.01 | (out)(err)
S = OPTIMUM | O = 4
T = 0.01 | (out)(err)
S = OPTIMUM | O = 4
T = 0.01 | (out)(err)
S = OPTIMUM | O = 4
T = 0.00 | (out)(err)
S = OPTIMUM | O = 4
T = 0.03 | (out)(err)
S = OPTIMUM | O = 4
T = 0.00 | (out)(err)
c-fat200-2.clq.cnf S = OPTIMUM | O = 26
T = 0.01 | (out)(err)
S = OPTIMUM | O = 26
T = 0.01 | (out)(err)
S = OPTIMUM | O = 26
T = 0.04 | (out)(err)
S = OPTIMUM | O = 26
T = 0.07 | (out)(err)
S = N/A | O = 28
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 0.01 | (out)(err)
S = OPTIMUM | O = 26
T = 0.01 | (out)(err)
S = OPTIMUM | O = 26
T = 0.07 | (out)(err)
S = OPTIMUM | O = 26
T = 0.01 | (out)(err)
S = OPTIMUM | O = 26
T = 0.04 | (out)(err)
S = OPTIMUM | O = 26
T = 0.01 | (out)(err)
c-fat200-5.clq.cnf S = OPTIMUM | O = 116
T = 0.27 | (out)(err)
S = OPTIMUM | O = 116
T = 0.23 | (out)(err)
S = OPTIMUM | O = 116
T = 0.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 119
T = Time Out | (out)(err)
S = OPTIMUM | O = 116
T = 0.26 | (out)(err)
S = OPTIMUM | O = 116
T = 0.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 116
T = 0.27 | (out)(err)
S = OPTIMUM | O = 116
T = 0.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
c-fat500-1.clq.cnf S = OPTIMUM | O = 2
T = 0.00 | (out)(err)
S = OPTIMUM | O = 2
T = 0.00 | (out)(err)
S = OPTIMUM | O = 2
T = 0.04 | (out)(err)
S = OPTIMUM | O = 2
T = 0.00 | (out)(err)
S = OPTIMUM | O = 2
T = 0.56 | (out)(err)
S = OPTIMUM | O = 2
T = 0.00 | (out)(err)
S = OPTIMUM | O = 2
T = 0.00 | (out)(err)
S = OPTIMUM | O = 2
T = 0.00 | (out)(err)
S = OPTIMUM | O = 2
T = 0.00 | (out)(err)
S = OPTIMUM | O = 2
T = 0.03 | (out)(err)
S = OPTIMUM | O = 2
T = 0.00 | (out)(err)
c-fat500-10.clq.cnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 200
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 200
T = Time Out | (out)(err)
S = N/A | O = 200
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
c-fat500-2.clq.cnf S = OPTIMUM | O = 24
T = 0.04 | (out)(err)
S = OPTIMUM | O = 24
T = 0.06 | (out)(err)
S = OPTIMUM | O = 24
T = 0.09 | (out)(err)
S = OPTIMUM | O = 24
T = 0.05 | (out)(err)
S = N/A | O = 24
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 0.01 | (out)(err)
S = OPTIMUM | O = 24
T = 0.00 | (out)(err)
S = OPTIMUM | O = 24
T = 0.05 | (out)(err)
S = OPTIMUM | O = 24
T = 0.00 | (out)(err)
S = OPTIMUM | O = 24
T = 0.04 | (out)(err)
S = OPTIMUM | O = 24
T = 0.01 | (out)(err)
c-fat500-5.clq.cnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 90
T = 15.81 | (out)(err)
S = N/A | O = 90
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 90
T = Time Out | (out)(err)
S = N/A | O = 90
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
hamming10-2.clq.cnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 400
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 400
T = Time Out | (out)(err)
S = N/A | O = 400
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
hamming10-4.clq.cnf S = OPTIMUM | O = 319
T = 526.50 | (out)(err)
S = OPTIMUM | O = 319
T = 593.01 | (out)(err)
S = OPTIMUM | O = 319
T = 574.39 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 343
T = Time Out | (out)(err)
S = OPTIMUM | O = 319
T = 1066.67 | (out)(err)
S = OPTIMUM | O = 319
T = 1173.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 319
T = 424.22 | (out)(err)
S = OPTIMUM | O = 319
T = 385.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
hamming6-2.clq.cnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 889
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 852
T = Time Out | (out)(err)
S = N/A | O = 832
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
hamming6-4.clq.cnf S = OPTIMUM | O = 192
T = 0.50 | (out)(err)
S = OPTIMUM | O = 192
T = 0.08 | (out)(err)
S = OPTIMUM | O = 192
T = 0.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 286
T = Time Out | (out)(err)
S = OPTIMUM | O = 192
T = 0.22 | (out)(err)
S = OPTIMUM | O = 192
T = 0.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 192
T = 0.14 | (out)(err)
S = OPTIMUM | O = 192
T = 0.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
hamming8-2.clq.cnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 441
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 441
T = Time Out | (out)(err)
S = N/A | O = 441
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
hamming8-4.clq.cnf S = OPTIMUM | O = 176
T = 0.35 | (out)(err)
S = OPTIMUM | O = 176
T = 0.17 | (out)(err)
S = OPTIMUM | O = 176
T = 0.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 204
T = Time Out | (out)(err)
S = OPTIMUM | O = 176
T = 0.22 | (out)(err)
S = OPTIMUM | O = 176
T = 0.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 176
T = 0.12 | (out)(err)
S = OPTIMUM | O = 176
T = 0.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
johnson16-2-4.clq.cnf S = OPTIMUM | O = 215
T = 0.50 | (out)(err)
S = OPTIMUM | O = 215
T = 0.15 | (out)(err)
S = OPTIMUM | O = 215
T = 0.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 237
T = Time Out | (out)(err)
S = OPTIMUM | O = 215
T = 0.25 | (out)(err)
S = OPTIMUM | O = 215
T = 0.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 215
T = 0.27 | (out)(err)
S = OPTIMUM | O = 215
T = 0.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
johnson32-2-4.clq.cnf S = OPTIMUM | O = 329
T = 118.85 | (out)(err)
S = OPTIMUM | O = 329
T = 133.66 | (out)(err)
S = OPTIMUM | O = 329
T = 124.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 355
T = Time Out | (out)(err)
S = OPTIMUM | O = 329
T = 240.73 | (out)(err)
S = OPTIMUM | O = 329
T = 255.69 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 329
T = 112.56 | (out)(err)
S = OPTIMUM | O = 329
T = 91.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
johnson8-2-4.clq.cnf S = OPTIMUM | O = 75
T = 0.03 | (out)(err)
S = OPTIMUM | O = 75
T = 0.05 | (out)(err)
S = OPTIMUM | O = 75
T = 0.09 | (out)(err)
S = OPTIMUM | O = 75
T = 607.02 | (out)(err)
S = N/A | O = 75
T = Time Out | (out)(err)
S = OPTIMUM | O = 75
T = 0.04 | (out)(err)
S = OPTIMUM | O = 75
T = 0.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 75
T = 0.02 | (out)(err)
S = OPTIMUM | O = 75
T = 0.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
johnson8-4-4.clq.cnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 859
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 770
T = Time Out | (out)(err)
S = N/A | O = 770
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
keller4.clq.cnf S = OPTIMUM | O = 199
T = 0.28 | (out)(err)
S = OPTIMUM | O = 199
T = 0.04 | (out)(err)
S = OPTIMUM | O = 199
T = 0.12 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 239
T = Time Out | (out)(err)
S = OPTIMUM | O = 199
T = 0.15 | (out)(err)
S = OPTIMUM | O = 199
T = 0.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 199
T = 0.08 | (out)(err)
S = OPTIMUM | O = 199
T = 0.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
keller5.clq.cnf S = OPTIMUM | O = 250
T = 8.79 | (out)(err)
S = OPTIMUM | O = 250
T = 7.07 | (out)(err)
S = OPTIMUM | O = 250
T = 6.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 281
T = Time Out | (out)(err)
S = OPTIMUM | O = 250
T = 10.07 | (out)(err)
S = OPTIMUM | O = 250
T = 11.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 250
T = 4.38 | (out)(err)
S = OPTIMUM | O = 250
T = 3.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat1000-1.clq.cnf S = OPTIMUM | O = 52
T = 0.01 | (out)(err)
S = OPTIMUM | O = 52
T = 0.01 | (out)(err)
S = OPTIMUM | O = 52
T = 0.06 | (out)(err)
S = OPTIMUM | O = 52
T = 18.77 | (out)(err)
S = N/A | O = 52
T = Time Out | (out)(err)
S = OPTIMUM | O = 52
T = 0.01 | (out)(err)
S = OPTIMUM | O = 52
T = 0.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 52
T = 0.01 | (out)(err)
S = OPTIMUM | O = 52
T = 0.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat1000-2.clq.cnf S = OPTIMUM | O = 142
T = 0.33 | (out)(err)
S = OPTIMUM | O = 142
T = 0.25 | (out)(err)
S = OPTIMUM | O = 142
T = 0.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 152
T = Time Out | (out)(err)
S = OPTIMUM | O = 142
T = 0.39 | (out)(err)
S = OPTIMUM | O = 142
T = 0.41 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 142
T = 0.23 | (out)(err)
S = OPTIMUM | O = 142
T = 0.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat1000-3.clq.cnf S = OPTIMUM | O = 238
T = 9.21 | (out)(err)
S = OPTIMUM | O = 238
T = 13.39 | (out)(err)
S = OPTIMUM | O = 238
T = 12.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 265
T = Time Out | (out)(err)
S = OPTIMUM | O = 238
T = 16.72 | (out)(err)
S = OPTIMUM | O = 238
T = 22.48 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 238
T = 6.44 | (out)(err)
S = OPTIMUM | O = 238
T = 6.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat300-1.clq.cnf S = OPTIMUM | O = 49
T = 0.01 | (out)(err)
S = OPTIMUM | O = 49
T = 0.01 | (out)(err)
S = OPTIMUM | O = 49
T = 0.05 | (out)(err)
S = OPTIMUM | O = 49
T = 30.65 | (out)(err)
S = N/A | O = 50
T = Time Out | (out)(err)
S = OPTIMUM | O = 49
T = 0.01 | (out)(err)
S = OPTIMUM | O = 49
T = 0.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 49
T = 0.01 | (out)(err)
S = OPTIMUM | O = 49
T = 0.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat300-2.clq.cnf S = OPTIMUM | O = 135
T = 0.12 | (out)(err)
S = OPTIMUM | O = 135
T = 0.12 | (out)(err)
S = OPTIMUM | O = 135
T = 0.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 144
T = Time Out | (out)(err)
S = OPTIMUM | O = 135
T = 0.20 | (out)(err)
S = OPTIMUM | O = 135
T = 0.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 135
T = 0.11 | (out)(err)
S = OPTIMUM | O = 135
T = 0.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat300-3.clq.cnf S = OPTIMUM | O = 269
T = 31.08 | (out)(err)
S = OPTIMUM | O = 269
T = 33.49 | (out)(err)
S = OPTIMUM | O = 269
T = 31.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 285
T = Time Out | (out)(err)
S = OPTIMUM | O = 269
T = 53.12 | (out)(err)
S = OPTIMUM | O = 269
T = 55.71 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 269
T = 22.61 | (out)(err)
S = OPTIMUM | O = 269
T = 21.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat500-1.clq.cnf S = OPTIMUM | O = 75
T = 0.02 | (out)(err)
S = OPTIMUM | O = 75
T = 0.02 | (out)(err)
S = OPTIMUM | O = 75
T = 0.07 | (out)(err)
S = OPTIMUM | O = 75
T = 1433.67 | (out)(err)
S = N/A | O = 79
T = Time Out | (out)(err)
S = OPTIMUM | O = 75
T = 0.02 | (out)(err)
S = OPTIMUM | O = 75
T = 0.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 75
T = 0.03 | (out)(err)
S = OPTIMUM | O = 75
T = 0.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat500-2.clq.cnf S = OPTIMUM | O = 176
T = 0.73 | (out)(err)
S = OPTIMUM | O = 176
T = 0.35 | (out)(err)
S = OPTIMUM | O = 176
T = 0.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 198
T = Time Out | (out)(err)
S = OPTIMUM | O = 176
T = 0.71 | (out)(err)
S = OPTIMUM | O = 176
T = 0.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 176
T = 0.34 | (out)(err)
S = OPTIMUM | O = 176
T = 0.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat500-3.clq.cnf S = OPTIMUM | O = 284
T = 99.07 | (out)(err)
S = OPTIMUM | O = 284
T = 128.32 | (out)(err)
S = OPTIMUM | O = 284
T = 123.53 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 303
T = Time Out | (out)(err)
S = OPTIMUM | O = 284
T = 194.60 | (out)(err)
S = OPTIMUM | O = 284
T = 199.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 284
T = 56.84 | (out)(err)
S = OPTIMUM | O = 284
T = 56.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat700-1.clq.cnf S = OPTIMUM | O = 63
T = 0.01 | (out)(err)
S = OPTIMUM | O = 63
T = 0.01 | (out)(err)
S = OPTIMUM | O = 63
T = 0.06 | (out)(err)
S = OPTIMUM | O = 63
T = 123.75 | (out)(err)
S = N/A | O = 64
T = Time Out | (out)(err)
S = OPTIMUM | O = 63
T = 0.02 | (out)(err)
S = OPTIMUM | O = 63
T = 0.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 63
T = 0.02 | (out)(err)
S = OPTIMUM | O = 63
T = 0.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat700-2.clq.cnf S = OPTIMUM | O = 154
T = 0.27 | (out)(err)
S = OPTIMUM | O = 154
T = 0.21 | (out)(err)
S = OPTIMUM | O = 154
T = 0.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 167
T = Time Out | (out)(err)
S = OPTIMUM | O = 154
T = 0.28 | (out)(err)
S = OPTIMUM | O = 154
T = 0.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 154
T = 0.17 | (out)(err)
S = OPTIMUM | O = 154
T = 0.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat700-3.clq.cnf S = OPTIMUM | O = 267
T = 42.23 | (out)(err)
S = OPTIMUM | O = 267
T = 39.89 | (out)(err)
S = OPTIMUM | O = 267
T = 40.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 293
T = Time Out | (out)(err)
S = OPTIMUM | O = 267
T = 46.62 | (out)(err)
S = OPTIMUM | O = 267
T = 69.71 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 267
T = 16.72 | (out)(err)
S = OPTIMUM | O = 267
T = 13.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san1000.clq.cnf S = OPTIMUM | O = 139
T = 0.26 | (out)(err)
S = OPTIMUM | O = 139
T = 0.19 | (out)(err)
S = OPTIMUM | O = 139
T = 0.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 147
T = Time Out | (out)(err)
S = OPTIMUM | O = 139
T = 0.28 | (out)(err)
S = OPTIMUM | O = 139
T = 0.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 139
T = 0.14 | (out)(err)
S = OPTIMUM | O = 139
T = 0.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san200_0.7_1.clq.cnf S = OPTIMUM | O = 237
T = 38.24 | (out)(err)
S = OPTIMUM | O = 237
T = 42.10 | (out)(err)
S = OPTIMUM | O = 237
T = 37.77 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 262
T = Time Out | (out)(err)
S = OPTIMUM | O = 237
T = 63.00 | (out)(err)
S = OPTIMUM | O = 237
T = 67.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 237
T = 21.53 | (out)(err)
S = OPTIMUM | O = 237
T = 19.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san200_0.7_2.clq.cnf S = OPTIMUM | O = 236
T = 11.46 | (out)(err)
S = OPTIMUM | O = 236
T = 15.18 | (out)(err)
S = OPTIMUM | O = 236
T = 13.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 261
T = Time Out | (out)(err)
S = OPTIMUM | O = 236
T = 21.19 | (out)(err)
S = OPTIMUM | O = 236
T = 23.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 236
T = 10.21 | (out)(err)
S = OPTIMUM | O = 236
T = 8.29 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san200_0.9_1.clq.cnf S = OPTIMUM | O = 313
T = 686.03 | (out)(err)
S = OPTIMUM | O = 313
T = 746.14 | (out)(err)
S = OPTIMUM | O = 313
T = 743.58 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 332
T = Time Out | (out)(err)
S = OPTIMUM | O = 313
T = 1339.03 | (out)(err)
S = OPTIMUM | O = 313
T = 1486.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 313
T = 472.94 | (out)(err)
S = OPTIMUM | O = 313
T = 469.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san200_0.9_2.clq.cnf S = OPTIMUM | O = 316
T = 707.10 | (out)(err)
S = OPTIMUM | O = 316
T = 1007.39 | (out)(err)
S = OPTIMUM | O = 316
T = 896.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 337
T = Time Out | (out)(err)
S = OPTIMUM | O = 316
T = 1496.01 | (out)(err)
S = OPTIMUM | O = 316
T = 1686.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 316
T = 546.96 | (out)(err)
S = OPTIMUM | O = 316
T = 494.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san200_0.9_3.clq.cnf S = OPTIMUM | O = 320
T = 850.67 | (out)(err)
S = OPTIMUM | O = 320
T = 962.93 | (out)(err)
S = OPTIMUM | O = 320
T = 942.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 340
T = Time Out | (out)(err)
S = OPTIMUM | O = 320
T = 1453.34 | (out)(err)
S = OPTIMUM | O = 320
T = 1627.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 320
T = 597.47 | (out)(err)
S = OPTIMUM | O = 320
T = 560.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san400_0.5_1.clq.cnf S = OPTIMUM | O = 146
T = 0.28 | (out)(err)
S = OPTIMUM | O = 146
T = 0.20 | (out)(err)
S = OPTIMUM | O = 146
T = 0.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 157
T = Time Out | (out)(err)
S = OPTIMUM | O = 146
T = 0.39 | (out)(err)
S = OPTIMUM | O = 146
T = 0.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 146
T = 0.21 | (out)(err)
S = OPTIMUM | O = 146
T = 0.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san400_0.7_1.clq.cnf S = OPTIMUM | O = 236
T = 18.67 | (out)(err)
S = OPTIMUM | O = 236
T = 32.78 | (out)(err)
S = OPTIMUM | O = 236
T = 26.37 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 259
T = Time Out | (out)(err)
S = OPTIMUM | O = 236
T = 44.39 | (out)(err)
S = OPTIMUM | O = 236
T = 46.46 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 236
T = 17.26 | (out)(err)
S = OPTIMUM | O = 236
T = 15.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san400_0.7_2.clq.cnf S = OPTIMUM | O = 236
T = 11.69 | (out)(err)
S = OPTIMUM | O = 236
T = 16.83 | (out)(err)
S = OPTIMUM | O = 236
T = 15.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 258
T = Time Out | (out)(err)
S = OPTIMUM | O = 236
T = 37.43 | (out)(err)
S = OPTIMUM | O = 236
T = 24.75 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 236
T = 11.68 | (out)(err)
S = OPTIMUM | O = 236
T = 9.46 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san400_0.7_3.clq.cnf S = OPTIMUM | O = 230
T = 14.57 | (out)(err)
S = OPTIMUM | O = 230
T = 19.80 | (out)(err)
S = OPTIMUM | O = 230
T = 18.55 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 255
T = Time Out | (out)(err)
S = OPTIMUM | O = 230
T = 22.90 | (out)(err)
S = OPTIMUM | O = 230
T = 24.89 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 230
T = 11.90 | (out)(err)
S = OPTIMUM | O = 230
T = 10.81 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san400_0.9_1.clq.cnf S = OPTIMUM | O = 304
T = 631.52 | (out)(err)
S = OPTIMUM | O = 304
T = 722.89 | (out)(err)
S = OPTIMUM | O = 304
T = 713.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 320
T = Time Out | (out)(err)
S = OPTIMUM | O = 304
T = 1368.39 | (out)(err)
S = OPTIMUM | O = 304
T = 1467.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 304
T = 488.70 | (out)(err)
S = OPTIMUM | O = 304
T = 429.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
sanr200_0.7.clq.cnf S = OPTIMUM | O = 227
T = 11.70 | (out)(err)
S = OPTIMUM | O = 227
T = 16.81 | (out)(err)
S = OPTIMUM | O = 227
T = 16.37 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 251
T = Time Out | (out)(err)
S = OPTIMUM | O = 227
T = 25.79 | (out)(err)
S = OPTIMUM | O = 227
T = 27.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 227
T = 8.64 | (out)(err)
S = OPTIMUM | O = 227
T = 7.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
sanr200_0.9.clq.cnf S = OPTIMUM | O = 300
T = 239.00 | (out)(err)
S = OPTIMUM | O = 300
T = 371.87 | (out)(err)
S = OPTIMUM | O = 300
T = 329.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 319
T = Time Out | (out)(err)
S = OPTIMUM | O = 300
T = 597.28 | (out)(err)
S = OPTIMUM | O = 300
T = 647.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 300
T = 166.51 | (out)(err)
S = OPTIMUM | O = 300
T = 155.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
sanr400_0.5.clq.cnf S = OPTIMUM | O = 148
T = 0.34 | (out)(err)
S = OPTIMUM | O = 148
T = 0.21 | (out)(err)
S = OPTIMUM | O = 148
T = 0.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 167
T = Time Out | (out)(err)
S = OPTIMUM | O = 148
T = 0.31 | (out)(err)
S = OPTIMUM | O = 148
T = 0.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 148
T = 0.16 | (out)(err)
S = OPTIMUM | O = 148
T = 0.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
sanr400_0.7.clq.cnf S = OPTIMUM | O = 223
T = 4.03 | (out)(err)
S = OPTIMUM | O = 223
T = 5.78 | (out)(err)
S = OPTIMUM | O = 223
T = 3.81 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 252
T = Time Out | (out)(err)
S = OPTIMUM | O = 223
T = 6.10 | (out)(err)
S = OPTIMUM | O = 223
T = 7.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 223
T = 2.82 | (out)(err)
S = OPTIMUM | O = 223
T = 2.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
t3pm3-5555.spn.cnf S = OPTIMUM | O = 17
T = 0.00 | (out)(err)
S = OPTIMUM | O = 17
T = 0.01 | (out)(err)
S = OPTIMUM | O = 17
T = 0.04 | (out)(err)
S = OPTIMUM | O = 17
T = 0.03 | (out)(err)
S = OPTIMUM | O = 17
T = 46.91 | (out)(err)
S = OPTIMUM | O = 17
T = 0.00 | (out)(err)
S = OPTIMUM | O = 17
T = 0.01 | (out)(err)
S = OPTIMUM | O = 17
T = 0.03 | (out)(err)
S = OPTIMUM | O = 17
T = 0.00 | (out)(err)
S = OPTIMUM | O = 17
T = 0.03 | (out)(err)
S = OPTIMUM | O = 17
T = 0.01 | (out)(err)
t4pm3-6666.spn.cnf S = OPTIMUM | O = 38
T = 0.12 | (out)(err)
S = OPTIMUM | O = 38
T = 0.04 | (out)(err)
S = OPTIMUM | O = 38
T = 0.09 | (out)(err)
S = OPTIMUM | O = 38
T = 7.51 | (out)(err)
S = N/A | O = 50
T = Time Out | (out)(err)
S = OPTIMUM | O = 38
T = 0.09 | (out)(err)
S = OPTIMUM | O = 38
T = 0.08 | (out)(err)
S = OPTIMUM | O = 38
T = 0.60 | (out)(err)
S = OPTIMUM | O = 38
T = 0.05 | (out)(err)
S = OPTIMUM | O = 38
T = 0.09 | (out)(err)
S = OPTIMUM | O = 38
T = 30.57 | (out)(err)
t5pm3-7777.spn.cnf S = OPTIMUM | O = 78
T = 86.58 | (out)(err)
S = OPTIMUM | O = 78
T = 37.87 | (out)(err)
S = OPTIMUM | O = 78
T = 20.98 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 116
T = Time Out | (out)(err)
S = OPTIMUM | O = 78
T = 17.55 | (out)(err)
S = OPTIMUM | O = 78
T = 16.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 78
T = 41.29 | (out)(err)
S = OPTIMUM | O = 78
T = 35.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
t6pm3-8888.spn.cnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 206
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 142
T = Time Out | (out)(err)
S = N/A | O = 136
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
t7pm3-9999.spn.cnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 333
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 241
T = Time Out | (out)(err)
S = N/A | O = 209
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-1.cnf S = OPTIMUM | O = 160
T = 106.26 | (out)(err)
S = OPTIMUM | O = 160
T = 44.96 | (out)(err)
S = OPTIMUM | O = 160
T = 35.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 223
T = Time Out | (out)(err)
S = OPTIMUM | O = 160
T = 136.65 | (out)(err)
S = OPTIMUM | O = 160
T = 123.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 160
T = 77.53 | (out)(err)
S = OPTIMUM | O = 160
T = 35.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-10.cnf S = OPTIMUM | O = 167
T = 420.96 | (out)(err)
S = OPTIMUM | O = 167
T = 235.50 | (out)(err)
S = OPTIMUM | O = 167
T = 200.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 238
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 729.56 | (out)(err)
S = OPTIMUM | O = 167
T = 665.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 352.00 | (out)(err)
S = OPTIMUM | O = 167
T = 281.98 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-11.cnf S = OPTIMUM | O = 170
T = 1491.62 | (out)(err)
S = OPTIMUM | O = 170
T = 1124.88 | (out)(err)
S = OPTIMUM | O = 170
T = 1100.98 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 245
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 170
T = 1339.69 | (out)(err)
S = OPTIMUM | O = 170
T = 1237.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-12.cnf S = OPTIMUM | O = 167
T = 276.80 | (out)(err)
S = OPTIMUM | O = 167
T = 116.52 | (out)(err)
S = OPTIMUM | O = 167
T = 43.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 241
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 357.71 | (out)(err)
S = OPTIMUM | O = 167
T = 322.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 91.54 | (out)(err)
S = OPTIMUM | O = 167
T = 74.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-13.cnf S = OPTIMUM | O = 169
T = 609.94 | (out)(err)
S = OPTIMUM | O = 169
T = 497.62 | (out)(err)
S = OPTIMUM | O = 169
T = 410.43 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 233
T = Time Out | (out)(err)
S = OPTIMUM | O = 169
T = 1047.53 | (out)(err)
S = OPTIMUM | O = 169
T = 922.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 169
T = 461.48 | (out)(err)
S = OPTIMUM | O = 169
T = 474.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-14.cnf S = OPTIMUM | O = 166
T = 342.54 | (out)(err)
S = OPTIMUM | O = 166
T = 173.43 | (out)(err)
S = OPTIMUM | O = 166
T = 137.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 229
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 395.19 | (out)(err)
S = OPTIMUM | O = 166
T = 351.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 234.66 | (out)(err)
S = OPTIMUM | O = 166
T = 187.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-15.cnf S = OPTIMUM | O = 169
T = 1170.48 | (out)(err)
S = OPTIMUM | O = 169
T = 349.72 | (out)(err)
S = OPTIMUM | O = 169
T = 308.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 235
T = Time Out | (out)(err)
S = OPTIMUM | O = 169
T = 919.04 | (out)(err)
S = OPTIMUM | O = 169
T = 833.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 169
T = 553.18 | (out)(err)
S = OPTIMUM | O = 169
T = 440.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-16.cnf S = OPTIMUM | O = 167
T = 204.10 | (out)(err)
S = OPTIMUM | O = 167
T = 151.48 | (out)(err)
S = OPTIMUM | O = 167
T = 120.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 232
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 346.44 | (out)(err)
S = OPTIMUM | O = 167
T = 313.08 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 179.92 | (out)(err)
S = OPTIMUM | O = 167
T = 150.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-17.cnf S = OPTIMUM | O = 166
T = 256.79 | (out)(err)
S = OPTIMUM | O = 166
T = 103.37 | (out)(err)
S = OPTIMUM | O = 166
T = 78.46 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 242
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 308.71 | (out)(err)
S = OPTIMUM | O = 166
T = 276.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 170.67 | (out)(err)
S = OPTIMUM | O = 166
T = 106.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-18.cnf S = OPTIMUM | O = 166
T = 328.44 | (out)(err)
S = OPTIMUM | O = 166
T = 235.82 | (out)(err)
S = OPTIMUM | O = 166
T = 170.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 236
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 577.12 | (out)(err)
S = OPTIMUM | O = 166
T = 519.55 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 226.04 | (out)(err)
S = OPTIMUM | O = 166
T = 182.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-19.cnf S = OPTIMUM | O = 167
T = 238.64 | (out)(err)
S = OPTIMUM | O = 167
T = 113.95 | (out)(err)
S = OPTIMUM | O = 167
T = 84.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 240
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 452.51 | (out)(err)
S = OPTIMUM | O = 167
T = 403.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 116.78 | (out)(err)
S = OPTIMUM | O = 167
T = 91.87 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-2.cnf S = OPTIMUM | O = 160
T = 122.97 | (out)(err)
S = OPTIMUM | O = 160
T = 31.55 | (out)(err)
S = OPTIMUM | O = 160
T = 30.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 227
T = Time Out | (out)(err)
S = OPTIMUM | O = 160
T = 93.08 | (out)(err)
S = OPTIMUM | O = 160
T = 86.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 160
T = 112.20 | (out)(err)
S = OPTIMUM | O = 160
T = 42.08 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-20.cnf S = OPTIMUM | O = 168
T = 283.64 | (out)(err)
S = OPTIMUM | O = 168
T = 140.36 | (out)(err)
S = OPTIMUM | O = 168
T = 118.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 240
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 292.24 | (out)(err)
S = OPTIMUM | O = 168
T = 262.37 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 158.29 | (out)(err)
S = OPTIMUM | O = 168
T = 118.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-21.cnf S = OPTIMUM | O = 165
T = 197.35 | (out)(err)
S = OPTIMUM | O = 165
T = 178.48 | (out)(err)
S = OPTIMUM | O = 165
T = 88.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 225
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 622.59 | (out)(err)
S = OPTIMUM | O = 165
T = 563.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 308.22 | (out)(err)
S = OPTIMUM | O = 165
T = 149.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-22.cnf S = OPTIMUM | O = 164
T = 190.12 | (out)(err)
S = OPTIMUM | O = 164
T = 40.75 | (out)(err)
S = OPTIMUM | O = 164
T = 28.12 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 242
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 174.30 | (out)(err)
S = OPTIMUM | O = 164
T = 158.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 58.42 | (out)(err)
S = OPTIMUM | O = 164
T = 30.86 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-23.cnf S = OPTIMUM | O = 165
T = 234.48 | (out)(err)
S = OPTIMUM | O = 165
T = 134.09 | (out)(err)
S = OPTIMUM | O = 165
T = 132.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 228
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 330.41 | (out)(err)
S = OPTIMUM | O = 165
T = 300.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 131.29 | (out)(err)
S = OPTIMUM | O = 165
T = 100.58 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-24.cnf S = OPTIMUM | O = 166
T = 360.13 | (out)(err)
S = OPTIMUM | O = 166
T = 106.58 | (out)(err)
S = OPTIMUM | O = 166
T = 87.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 225
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 436.18 | (out)(err)
S = OPTIMUM | O = 166
T = 232.30 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 243.88 | (out)(err)
S = OPTIMUM | O = 166
T = 112.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-25.cnf S = OPTIMUM | O = 167
T = 442.02 | (out)(err)
S = OPTIMUM | O = 167
T = 237.48 | (out)(err)
S = OPTIMUM | O = 167
T = 109.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 220
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 562.35 | (out)(err)
S = OPTIMUM | O = 167
T = 508.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 177.66 | (out)(err)
S = OPTIMUM | O = 167
T = 135.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-26.cnf S = OPTIMUM | O = 166
T = 285.15 | (out)(err)
S = OPTIMUM | O = 166
T = 110.15 | (out)(err)
S = OPTIMUM | O = 166
T = 104.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 234
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 317.02 | (out)(err)
S = OPTIMUM | O = 166
T = 286.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 197.56 | (out)(err)
S = OPTIMUM | O = 166
T = 123.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-27.cnf S = OPTIMUM | O = 165
T = 197.23 | (out)(err)
S = OPTIMUM | O = 165
T = 156.11 | (out)(err)
S = OPTIMUM | O = 165
T = 99.79 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 231
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 434.30 | (out)(err)
S = OPTIMUM | O = 165
T = 380.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 132.04 | (out)(err)
S = OPTIMUM | O = 165
T = 106.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-28.cnf S = OPTIMUM | O = 167
T = 199.05 | (out)(err)
S = OPTIMUM | O = 167
T = 94.62 | (out)(err)
S = OPTIMUM | O = 167
T = 87.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 229
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 277.66 | (out)(err)
S = OPTIMUM | O = 167
T = 245.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 149.47 | (out)(err)
S = OPTIMUM | O = 167
T = 107.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-29.cnf S = OPTIMUM | O = 166
T = 590.46 | (out)(err)
S = OPTIMUM | O = 166
T = 358.56 | (out)(err)
S = OPTIMUM | O = 166
T = 316.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 229
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 982.33 | (out)(err)
S = OPTIMUM | O = 166
T = 905.46 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 513.61 | (out)(err)
S = OPTIMUM | O = 166
T = 332.39 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-3.cnf S = OPTIMUM | O = 168
T = 707.82 | (out)(err)
S = OPTIMUM | O = 168
T = 259.29 | (out)(err)
S = OPTIMUM | O = 168
T = 233.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 243
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 803.89 | (out)(err)
S = OPTIMUM | O = 168
T = 719.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 343.07 | (out)(err)
S = OPTIMUM | O = 168
T = 296.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-30.cnf S = OPTIMUM | O = 167
T = 579.48 | (out)(err)
S = OPTIMUM | O = 167
T = 197.00 | (out)(err)
S = OPTIMUM | O = 167
T = 162.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 240
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 366.12 | (out)(err)
S = OPTIMUM | O = 167
T = 330.98 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 212.62 | (out)(err)
S = OPTIMUM | O = 167
T = 190.89 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-31.cnf S = OPTIMUM | O = 170
T = 698.56 | (out)(err)
S = OPTIMUM | O = 170
T = 343.82 | (out)(err)
S = OPTIMUM | O = 170
T = 330.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 247
T = Time Out | (out)(err)
S = OPTIMUM | O = 170
T = 844.83 | (out)(err)
S = OPTIMUM | O = 170
T = 761.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 170
T = 375.31 | (out)(err)
S = OPTIMUM | O = 170
T = 363.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-32.cnf S = OPTIMUM | O = 164
T = 214.50 | (out)(err)
S = OPTIMUM | O = 164
T = 42.36 | (out)(err)
S = OPTIMUM | O = 164
T = 37.71 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 228
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 205.26 | (out)(err)
S = OPTIMUM | O = 164
T = 182.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 98.31 | (out)(err)
S = OPTIMUM | O = 164
T = 79.77 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-33.cnf S = OPTIMUM | O = 165
T = 368.95 | (out)(err)
S = OPTIMUM | O = 165
T = 181.42 | (out)(err)
S = OPTIMUM | O = 165
T = 134.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 243
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 591.55 | (out)(err)
S = OPTIMUM | O = 165
T = 527.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 190.58 | (out)(err)
S = OPTIMUM | O = 165
T = 147.08 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-34.cnf S = OPTIMUM | O = 168
T = 443.25 | (out)(err)
S = OPTIMUM | O = 168
T = 213.06 | (out)(err)
S = OPTIMUM | O = 168
T = 182.57 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 245
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 632.11 | (out)(err)
S = OPTIMUM | O = 168
T = 583.43 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 338.90 | (out)(err)
S = OPTIMUM | O = 168
T = 271.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-35.cnf S = OPTIMUM | O = 164
T = 129.58 | (out)(err)
S = OPTIMUM | O = 164
T = 90.67 | (out)(err)
S = OPTIMUM | O = 164
T = 40.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 226
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 303.43 | (out)(err)
S = OPTIMUM | O = 164
T = 274.42 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 96.71 | (out)(err)
S = OPTIMUM | O = 164
T = 43.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-36.cnf S = OPTIMUM | O = 167
T = 500.82 | (out)(err)
S = OPTIMUM | O = 167
T = 308.06 | (out)(err)
S = OPTIMUM | O = 167
T = 237.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 233
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 1068.48 | (out)(err)
S = OPTIMUM | O = 167
T = 685.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 324.84 | (out)(err)
S = OPTIMUM | O = 167
T = 275.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-37.cnf S = OPTIMUM | O = 170
T = 984.32 | (out)(err)
S = OPTIMUM | O = 170
T = 475.65 | (out)(err)
S = OPTIMUM | O = 170
T = 361.57 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 244
T = Time Out | (out)(err)
S = OPTIMUM | O = 170
T = 1122.72 | (out)(err)
S = OPTIMUM | O = 170
T = 1003.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 170
T = 660.48 | (out)(err)
S = OPTIMUM | O = 170
T = 428.98 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-38.cnf S = OPTIMUM | O = 167
T = 797.49 | (out)(err)
S = OPTIMUM | O = 167
T = 574.04 | (out)(err)
S = OPTIMUM | O = 167
T = 580.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 238
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 1391.51 | (out)(err)
S = OPTIMUM | O = 167
T = 1171.42 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 434.74 | (out)(err)
S = OPTIMUM | O = 167
T = 487.88 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-39.cnf S = OPTIMUM | O = 163
T = 332.54 | (out)(err)
S = OPTIMUM | O = 163
T = 125.37 | (out)(err)
S = OPTIMUM | O = 163
T = 84.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 244
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 376.87 | (out)(err)
S = OPTIMUM | O = 163
T = 276.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 155.03 | (out)(err)
S = OPTIMUM | O = 163
T = 103.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-4.cnf S = OPTIMUM | O = 167
T = 659.63 | (out)(err)
S = OPTIMUM | O = 167
T = 233.24 | (out)(err)
S = OPTIMUM | O = 167
T = 204.73 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 245
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 575.21 | (out)(err)
S = OPTIMUM | O = 167
T = 536.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 396.12 | (out)(err)
S = OPTIMUM | O = 167
T = 299.08 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-40.cnf S = OPTIMUM | O = 167
T = 943.92 | (out)(err)
S = OPTIMUM | O = 167
T = 407.55 | (out)(err)
S = OPTIMUM | O = 167
T = 352.73 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 236
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 1442.10 | (out)(err)
S = OPTIMUM | O = 167
T = 1309.58 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 533.63 | (out)(err)
S = OPTIMUM | O = 167
T = 512.55 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-41.cnf S = OPTIMUM | O = 161
T = 136.12 | (out)(err)
S = OPTIMUM | O = 161
T = 118.49 | (out)(err)
S = OPTIMUM | O = 161
T = 68.92 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 236
T = Time Out | (out)(err)
S = OPTIMUM | O = 161
T = 287.36 | (out)(err)
S = OPTIMUM | O = 161
T = 259.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 161
T = 122.62 | (out)(err)
S = OPTIMUM | O = 161
T = 63.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-42.cnf S = OPTIMUM | O = 161
T = 139.85 | (out)(err)
S = OPTIMUM | O = 161
T = 20.00 | (out)(err)
S = OPTIMUM | O = 161
T = 19.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 214
T = Time Out | (out)(err)
S = OPTIMUM | O = 161
T = 68.43 | (out)(err)
S = OPTIMUM | O = 161
T = 60.77 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 161
T = 41.89 | (out)(err)
S = OPTIMUM | O = 161
T = 29.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-43.cnf S = OPTIMUM | O = 164
T = 420.40 | (out)(err)
S = OPTIMUM | O = 164
T = 108.50 | (out)(err)
S = OPTIMUM | O = 164
T = 93.58 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 232
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 247.06 | (out)(err)
S = OPTIMUM | O = 164
T = 223.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 122.03 | (out)(err)
S = OPTIMUM | O = 164
T = 109.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-44.cnf S = OPTIMUM | O = 163
T = 292.92 | (out)(err)
S = OPTIMUM | O = 163
T = 107.60 | (out)(err)
S = OPTIMUM | O = 163
T = 73.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 241
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 402.31 | (out)(err)
S = OPTIMUM | O = 163
T = 274.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 133.00 | (out)(err)
S = OPTIMUM | O = 163
T = 99.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-45.cnf S = OPTIMUM | O = 168
T = 511.05 | (out)(err)
S = OPTIMUM | O = 168
T = 197.41 | (out)(err)
S = OPTIMUM | O = 168
T = 168.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 245
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 622.88 | (out)(err)
S = OPTIMUM | O = 168
T = 561.92 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 344.99 | (out)(err)
S = OPTIMUM | O = 168
T = 186.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-46.cnf S = OPTIMUM | O = 168
T = 510.48 | (out)(err)
S = OPTIMUM | O = 168
T = 222.89 | (out)(err)
S = OPTIMUM | O = 168
T = 218.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 240
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 593.03 | (out)(err)
S = OPTIMUM | O = 168
T = 534.98 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 384.33 | (out)(err)
S = OPTIMUM | O = 168
T = 269.42 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-47.cnf S = OPTIMUM | O = 160
T = 161.18 | (out)(err)
S = OPTIMUM | O = 160
T = 40.18 | (out)(err)
S = OPTIMUM | O = 160
T = 31.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 230
T = Time Out | (out)(err)
S = OPTIMUM | O = 160
T = 160.07 | (out)(err)
S = OPTIMUM | O = 160
T = 142.67 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 160
T = 48.69 | (out)(err)
S = OPTIMUM | O = 160
T = 37.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-48.cnf S = OPTIMUM | O = 168
T = 379.27 | (out)(err)
S = OPTIMUM | O = 168
T = 167.50 | (out)(err)
S = OPTIMUM | O = 168
T = 133.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 242
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 415.28 | (out)(err)
S = OPTIMUM | O = 168
T = 378.35 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 209.31 | (out)(err)
S = OPTIMUM | O = 168
T = 139.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-49.cnf S = OPTIMUM | O = 164
T = 420.28 | (out)(err)
S = OPTIMUM | O = 164
T = 216.85 | (out)(err)
S = OPTIMUM | O = 164
T = 97.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 245
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 265.20 | (out)(err)
S = OPTIMUM | O = 164
T = 239.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 150.41 | (out)(err)
S = OPTIMUM | O = 164
T = 91.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-5.cnf S = OPTIMUM | O = 164
T = 709.37 | (out)(err)
S = OPTIMUM | O = 164
T = 214.88 | (out)(err)
S = OPTIMUM | O = 164
T = 171.37 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 235
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 655.31 | (out)(err)
S = OPTIMUM | O = 164
T = 585.86 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 223.47 | (out)(err)
S = OPTIMUM | O = 164
T = 187.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-50.cnf S = OPTIMUM | O = 167
T = 435.40 | (out)(err)
S = OPTIMUM | O = 167
T = 140.79 | (out)(err)
S = OPTIMUM | O = 167
T = 105.58 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 232
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 300.20 | (out)(err)
S = OPTIMUM | O = 167
T = 274.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 161.88 | (out)(err)
S = OPTIMUM | O = 167
T = 112.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-6.cnf S = OPTIMUM | O = 162
T = 157.32 | (out)(err)
S = OPTIMUM | O = 162
T = 56.27 | (out)(err)
S = OPTIMUM | O = 162
T = 38.69 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 230
T = Time Out | (out)(err)
S = OPTIMUM | O = 162
T = 165.99 | (out)(err)
S = OPTIMUM | O = 162
T = 150.86 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 162
T = 60.45 | (out)(err)
S = OPTIMUM | O = 162
T = 48.97 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-7.cnf S = OPTIMUM | O = 164
T = 460.48 | (out)(err)
S = OPTIMUM | O = 164
T = 185.20 | (out)(err)
S = OPTIMUM | O = 164
T = 136.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 238
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 460.55 | (out)(err)
S = OPTIMUM | O = 164
T = 412.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 193.14 | (out)(err)
S = OPTIMUM | O = 164
T = 136.35 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-8.cnf S = OPTIMUM | O = 165
T = 368.43 | (out)(err)
S = OPTIMUM | O = 165
T = 265.93 | (out)(err)
S = OPTIMUM | O = 165
T = 134.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 243
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 1003.31 | (out)(err)
S = OPTIMUM | O = 165
T = 902.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 242.00 | (out)(err)
S = OPTIMUM | O = 165
T = 173.53 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.7-9.cnf S = OPTIMUM | O = 166
T = 569.59 | (out)(err)
S = OPTIMUM | O = 166
T = 215.40 | (out)(err)
S = OPTIMUM | O = 166
T = 191.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 236
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 529.77 | (out)(err)
S = OPTIMUM | O = 166
T = 478.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 247.04 | (out)(err)
S = OPTIMUM | O = 166
T = 195.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-1.cnf S = OPTIMUM | O = 165
T = 414.58 | (out)(err)
S = OPTIMUM | O = 165
T = 102.79 | (out)(err)
S = OPTIMUM | O = 165
T = 94.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 247
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 556.16 | (out)(err)
S = OPTIMUM | O = 165
T = 506.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 262.43 | (out)(err)
S = OPTIMUM | O = 165
T = 131.41 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-10.cnf S = OPTIMUM | O = 168
T = 1365.90 | (out)(err)
S = OPTIMUM | O = 168
T = 468.04 | (out)(err)
S = OPTIMUM | O = 168
T = 362.79 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 241
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 1324.38 | (out)(err)
S = OPTIMUM | O = 168
T = 1182.87 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 456.00 | (out)(err)
S = OPTIMUM | O = 168
T = 393.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-11.cnf S = OPTIMUM | O = 168
T = 601.17 | (out)(err)
S = OPTIMUM | O = 168
T = 306.86 | (out)(err)
S = OPTIMUM | O = 168
T = 300.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 236
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 929.48 | (out)(err)
S = OPTIMUM | O = 168
T = 838.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 358.42 | (out)(err)
S = OPTIMUM | O = 168
T = 318.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-12.cnf S = OPTIMUM | O = 165
T = 171.31 | (out)(err)
S = OPTIMUM | O = 165
T = 120.13 | (out)(err)
S = OPTIMUM | O = 165
T = 80.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 235
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 288.69 | (out)(err)
S = OPTIMUM | O = 165
T = 260.29 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 116.63 | (out)(err)
S = OPTIMUM | O = 165
T = 95.63 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-13.cnf S = OPTIMUM | O = 167
T = 402.54 | (out)(err)
S = OPTIMUM | O = 167
T = 232.69 | (out)(err)
S = OPTIMUM | O = 167
T = 207.84 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 245
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 795.42 | (out)(err)
S = OPTIMUM | O = 167
T = 712.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 327.72 | (out)(err)
S = OPTIMUM | O = 167
T = 243.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-14.cnf S = OPTIMUM | O = 164
T = 354.03 | (out)(err)
S = OPTIMUM | O = 164
T = 140.57 | (out)(err)
S = OPTIMUM | O = 164
T = 117.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 232
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 395.64 | (out)(err)
S = OPTIMUM | O = 164
T = 361.57 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 170.64 | (out)(err)
S = OPTIMUM | O = 164
T = 157.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-15.cnf S = OPTIMUM | O = 166
T = 302.09 | (out)(err)
S = OPTIMUM | O = 166
T = 178.80 | (out)(err)
S = OPTIMUM | O = 166
T = 157.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 227
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 523.30 | (out)(err)
S = OPTIMUM | O = 166
T = 474.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 216.04 | (out)(err)
S = OPTIMUM | O = 166
T = 168.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-16.cnf S = OPTIMUM | O = 163
T = 183.62 | (out)(err)
S = OPTIMUM | O = 163
T = 83.32 | (out)(err)
S = OPTIMUM | O = 163
T = 82.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 233
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 234.89 | (out)(err)
S = OPTIMUM | O = 163
T = 206.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 97.96 | (out)(err)
S = OPTIMUM | O = 163
T = 97.08 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-17.cnf S = OPTIMUM | O = 168
T = 289.64 | (out)(err)
S = OPTIMUM | O = 168
T = 175.73 | (out)(err)
S = OPTIMUM | O = 168
T = 134.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 237
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 460.86 | (out)(err)
S = OPTIMUM | O = 168
T = 399.77 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 220.28 | (out)(err)
S = OPTIMUM | O = 168
T = 133.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-18.cnf S = OPTIMUM | O = 163
T = 418.92 | (out)(err)
S = OPTIMUM | O = 163
T = 199.58 | (out)(err)
S = OPTIMUM | O = 163
T = 153.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 242
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 626.31 | (out)(err)
S = OPTIMUM | O = 163
T = 561.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 238.11 | (out)(err)
S = OPTIMUM | O = 163
T = 158.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-19.cnf S = OPTIMUM | O = 164
T = 145.68 | (out)(err)
S = OPTIMUM | O = 164
T = 58.55 | (out)(err)
S = OPTIMUM | O = 164
T = 31.79 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 240
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 182.45 | (out)(err)
S = OPTIMUM | O = 164
T = 130.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 107.91 | (out)(err)
S = OPTIMUM | O = 164
T = 37.58 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-2.cnf S = OPTIMUM | O = 162
T = 163.81 | (out)(err)
S = OPTIMUM | O = 162
T = 37.01 | (out)(err)
S = OPTIMUM | O = 162
T = 33.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 239
T = Time Out | (out)(err)
S = OPTIMUM | O = 162
T = 173.22 | (out)(err)
S = OPTIMUM | O = 162
T = 150.79 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 162
T = 86.61 | (out)(err)
S = OPTIMUM | O = 162
T = 63.55 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-20.cnf S = OPTIMUM | O = 165
T = 258.40 | (out)(err)
S = OPTIMUM | O = 165
T = 133.11 | (out)(err)
S = OPTIMUM | O = 165
T = 85.89 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 235
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 465.50 | (out)(err)
S = OPTIMUM | O = 165
T = 421.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 167.22 | (out)(err)
S = OPTIMUM | O = 165
T = 106.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-21.cnf S = OPTIMUM | O = 167
T = 228.50 | (out)(err)
S = OPTIMUM | O = 167
T = 65.94 | (out)(err)
S = OPTIMUM | O = 167
T = 51.92 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 235
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 240.72 | (out)(err)
S = OPTIMUM | O = 167
T = 215.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 87.23 | (out)(err)
S = OPTIMUM | O = 167
T = 64.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-22.cnf S = OPTIMUM | O = 170
T = 305.66 | (out)(err)
S = OPTIMUM | O = 170
T = 166.49 | (out)(err)
S = OPTIMUM | O = 170
T = 150.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 242
T = Time Out | (out)(err)
S = OPTIMUM | O = 170
T = 433.72 | (out)(err)
S = OPTIMUM | O = 170
T = 400.29 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 170
T = 196.21 | (out)(err)
S = OPTIMUM | O = 170
T = 189.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-23.cnf S = OPTIMUM | O = 167
T = 627.83 | (out)(err)
S = OPTIMUM | O = 167
T = 488.38 | (out)(err)
S = OPTIMUM | O = 167
T = 447.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 242
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 1613.80 | (out)(err)
S = OPTIMUM | O = 167
T = 1466.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 583.39 | (out)(err)
S = OPTIMUM | O = 167
T = 463.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-24.cnf S = OPTIMUM | O = 165
T = 437.13 | (out)(err)
S = OPTIMUM | O = 165
T = 278.99 | (out)(err)
S = OPTIMUM | O = 165
T = 222.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 226
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 982.80 | (out)(err)
S = OPTIMUM | O = 165
T = 893.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 528.76 | (out)(err)
S = OPTIMUM | O = 165
T = 220.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-25.cnf S = OPTIMUM | O = 165
T = 299.17 | (out)(err)
S = OPTIMUM | O = 165
T = 187.44 | (out)(err)
S = OPTIMUM | O = 165
T = 161.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 220
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 538.86 | (out)(err)
S = OPTIMUM | O = 165
T = 482.97 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 228.02 | (out)(err)
S = OPTIMUM | O = 165
T = 188.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-26.cnf S = OPTIMUM | O = 167
T = 210.89 | (out)(err)
S = OPTIMUM | O = 167
T = 97.77 | (out)(err)
S = OPTIMUM | O = 167
T = 86.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 234
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 231.01 | (out)(err)
S = OPTIMUM | O = 167
T = 210.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 160.18 | (out)(err)
S = OPTIMUM | O = 167
T = 106.13 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-27.cnf S = OPTIMUM | O = 168
T = 296.14 | (out)(err)
S = OPTIMUM | O = 168
T = 301.83 | (out)(err)
S = OPTIMUM | O = 168
T = 172.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 226
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 595.99 | (out)(err)
S = OPTIMUM | O = 168
T = 526.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 218.61 | (out)(err)
S = OPTIMUM | O = 168
T = 174.48 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-28.cnf S = OPTIMUM | O = 168
T = 364.57 | (out)(err)
S = OPTIMUM | O = 168
T = 242.11 | (out)(err)
S = OPTIMUM | O = 168
T = 164.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 240
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 612.20 | (out)(err)
S = OPTIMUM | O = 168
T = 551.95 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 168
T = 352.38 | (out)(err)
S = OPTIMUM | O = 168
T = 202.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-29.cnf S = OPTIMUM | O = 167
T = 607.82 | (out)(err)
S = OPTIMUM | O = 167
T = 118.89 | (out)(err)
S = OPTIMUM | O = 167
T = 111.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 230
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 357.48 | (out)(err)
S = OPTIMUM | O = 167
T = 314.75 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 227.54 | (out)(err)
S = OPTIMUM | O = 167
T = 177.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-3.cnf S = OPTIMUM | O = 165
T = 147.20 | (out)(err)
S = OPTIMUM | O = 165
T = 39.70 | (out)(err)
S = OPTIMUM | O = 165
T = 33.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 242
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 127.91 | (out)(err)
S = OPTIMUM | O = 165
T = 113.13 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 58.36 | (out)(err)
S = OPTIMUM | O = 165
T = 40.88 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-30.cnf S = OPTIMUM | O = 167
T = 587.72 | (out)(err)
S = OPTIMUM | O = 167
T = 138.90 | (out)(err)
S = OPTIMUM | O = 167
T = 130.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 246
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 349.99 | (out)(err)
S = OPTIMUM | O = 167
T = 316.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 200.75 | (out)(err)
S = OPTIMUM | O = 167
T = 169.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-31.cnf S = OPTIMUM | O = 165
T = 175.49 | (out)(err)
S = OPTIMUM | O = 165
T = 57.12 | (out)(err)
S = OPTIMUM | O = 165
T = 58.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 237
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 383.08 | (out)(err)
S = OPTIMUM | O = 165
T = 329.97 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 104.33 | (out)(err)
S = OPTIMUM | O = 165
T = 76.43 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-32.cnf S = OPTIMUM | O = 164
T = 144.07 | (out)(err)
S = OPTIMUM | O = 164
T = 46.51 | (out)(err)
S = OPTIMUM | O = 164
T = 22.29 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 233
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 83.97 | (out)(err)
S = OPTIMUM | O = 164
T = 75.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 30.17 | (out)(err)
S = OPTIMUM | O = 164
T = 29.37 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-33.cnf S = OPTIMUM | O = 163
T = 133.62 | (out)(err)
S = OPTIMUM | O = 163
T = 57.00 | (out)(err)
S = OPTIMUM | O = 163
T = 53.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 224
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 143.46 | (out)(err)
S = OPTIMUM | O = 163
T = 136.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 67.06 | (out)(err)
S = OPTIMUM | O = 163
T = 62.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-34.cnf S = OPTIMUM | O = 163
T = 275.57 | (out)(err)
S = OPTIMUM | O = 163
T = 189.99 | (out)(err)
S = OPTIMUM | O = 163
T = 119.55 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 242
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 447.61 | (out)(err)
S = OPTIMUM | O = 163
T = 407.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 251.94 | (out)(err)
S = OPTIMUM | O = 163
T = 122.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-35.cnf S = OPTIMUM | O = 165
T = 201.63 | (out)(err)
S = OPTIMUM | O = 165
T = 128.01 | (out)(err)
S = OPTIMUM | O = 165
T = 115.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 227
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 298.11 | (out)(err)
S = OPTIMUM | O = 165
T = 268.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 130.97 | (out)(err)
S = OPTIMUM | O = 165
T = 126.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-36.cnf S = OPTIMUM | O = 165
T = 237.05 | (out)(err)
S = OPTIMUM | O = 165
T = 109.99 | (out)(err)
S = OPTIMUM | O = 165
T = 84.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 230
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 322.03 | (out)(err)
S = OPTIMUM | O = 165
T = 327.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 152.94 | (out)(err)
S = OPTIMUM | O = 165
T = 121.12 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-37.cnf S = OPTIMUM | O = 167
T = 187.75 | (out)(err)
S = OPTIMUM | O = 167
T = 132.85 | (out)(err)
S = OPTIMUM | O = 167
T = 112.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 230
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 299.58 | (out)(err)
S = OPTIMUM | O = 167
T = 270.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 123.64 | (out)(err)
S = OPTIMUM | O = 167
T = 118.13 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-38.cnf S = OPTIMUM | O = 160
T = 164.53 | (out)(err)
S = OPTIMUM | O = 160
T = 32.18 | (out)(err)
S = OPTIMUM | O = 160
T = 22.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 241
T = Time Out | (out)(err)
S = OPTIMUM | O = 160
T = 117.18 | (out)(err)
S = OPTIMUM | O = 160
T = 108.86 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 160
T = 66.04 | (out)(err)
S = OPTIMUM | O = 160
T = 37.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-39.cnf S = OPTIMUM | O = 169
T = 446.19 | (out)(err)
S = OPTIMUM | O = 169
T = 174.36 | (out)(err)
S = OPTIMUM | O = 169
T = 141.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 229
T = Time Out | (out)(err)
S = OPTIMUM | O = 169
T = 612.43 | (out)(err)
S = OPTIMUM | O = 169
T = 438.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 169
T = 250.99 | (out)(err)
S = OPTIMUM | O = 169
T = 193.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-4.cnf S = OPTIMUM | O = 165
T = 231.78 | (out)(err)
S = OPTIMUM | O = 165
T = 86.33 | (out)(err)
S = OPTIMUM | O = 165
T = 62.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 241
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 183.32 | (out)(err)
S = OPTIMUM | O = 165
T = 164.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 122.55 | (out)(err)
S = OPTIMUM | O = 165
T = 72.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-40.cnf S = OPTIMUM | O = 161
T = 189.10 | (out)(err)
S = OPTIMUM | O = 161
T = 56.79 | (out)(err)
S = OPTIMUM | O = 161
T = 43.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 227
T = Time Out | (out)(err)
S = OPTIMUM | O = 161
T = 148.20 | (out)(err)
S = OPTIMUM | O = 161
T = 134.73 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 161
T = 80.35 | (out)(err)
S = OPTIMUM | O = 161
T = 39.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-41.cnf S = OPTIMUM | O = 163
T = 190.38 | (out)(err)
S = OPTIMUM | O = 163
T = 71.61 | (out)(err)
S = OPTIMUM | O = 163
T = 66.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 234
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 350.12 | (out)(err)
S = OPTIMUM | O = 163
T = 319.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 163
T = 99.02 | (out)(err)
S = OPTIMUM | O = 163
T = 60.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-42.cnf S = OPTIMUM | O = 164
T = 121.42 | (out)(err)
S = OPTIMUM | O = 164
T = 82.33 | (out)(err)
S = OPTIMUM | O = 164
T = 74.47 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 237
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 215.37 | (out)(err)
S = OPTIMUM | O = 164
T = 186.43 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 98.06 | (out)(err)
S = OPTIMUM | O = 164
T = 90.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-43.cnf S = OPTIMUM | O = 165
T = 229.60 | (out)(err)
S = OPTIMUM | O = 165
T = 103.25 | (out)(err)
S = OPTIMUM | O = 165
T = 68.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 239
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 303.78 | (out)(err)
S = OPTIMUM | O = 165
T = 262.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 147.35 | (out)(err)
S = OPTIMUM | O = 165
T = 95.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-44.cnf S = OPTIMUM | O = 160
T = 70.70 | (out)(err)
S = OPTIMUM | O = 160
T = 33.77 | (out)(err)
S = OPTIMUM | O = 160
T = 13.29 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 229
T = Time Out | (out)(err)
S = OPTIMUM | O = 160
T = 89.81 | (out)(err)
S = OPTIMUM | O = 160
T = 85.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 160
T = 30.63 | (out)(err)
S = OPTIMUM | O = 160
T = 15.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-45.cnf S = OPTIMUM | O = 165
T = 82.43 | (out)(err)
S = OPTIMUM | O = 165
T = 24.80 | (out)(err)
S = OPTIMUM | O = 165
T = 19.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 235
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 82.56 | (out)(err)
S = OPTIMUM | O = 165
T = 68.86 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 46.80 | (out)(err)
S = OPTIMUM | O = 165
T = 30.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-46.cnf S = OPTIMUM | O = 162
T = 190.85 | (out)(err)
S = OPTIMUM | O = 162
T = 137.71 | (out)(err)
S = OPTIMUM | O = 162
T = 69.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 228
T = Time Out | (out)(err)
S = OPTIMUM | O = 162
T = 324.14 | (out)(err)
S = OPTIMUM | O = 162
T = 292.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 162
T = 134.61 | (out)(err)
S = OPTIMUM | O = 162
T = 89.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-47.cnf S = OPTIMUM | O = 164
T = 321.56 | (out)(err)
S = OPTIMUM | O = 164
T = 144.03 | (out)(err)
S = OPTIMUM | O = 164
T = 131.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 237
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 394.09 | (out)(err)
S = OPTIMUM | O = 164
T = 351.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 141.76 | (out)(err)
S = OPTIMUM | O = 164
T = 135.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-48.cnf S = OPTIMUM | O = 164
T = 279.42 | (out)(err)
S = OPTIMUM | O = 164
T = 113.72 | (out)(err)
S = OPTIMUM | O = 164
T = 92.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 240
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 251.14 | (out)(err)
S = OPTIMUM | O = 164
T = 228.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 164.00 | (out)(err)
S = OPTIMUM | O = 164
T = 122.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-49.cnf S = OPTIMUM | O = 166
T = 199.97 | (out)(err)
S = OPTIMUM | O = 166
T = 107.49 | (out)(err)
S = OPTIMUM | O = 166
T = 95.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 231
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 378.94 | (out)(err)
S = OPTIMUM | O = 166
T = 339.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 161.03 | (out)(err)
S = OPTIMUM | O = 166
T = 125.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-5.cnf S = OPTIMUM | O = 164
T = 319.50 | (out)(err)
S = OPTIMUM | O = 164
T = 221.63 | (out)(err)
S = OPTIMUM | O = 164
T = 179.39 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 227
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 828.67 | (out)(err)
S = OPTIMUM | O = 164
T = 761.55 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 164
T = 245.78 | (out)(err)
S = OPTIMUM | O = 164
T = 181.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-50.cnf S = OPTIMUM | O = 165
T = 282.30 | (out)(err)
S = OPTIMUM | O = 165
T = 90.64 | (out)(err)
S = OPTIMUM | O = 165
T = 66.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 243
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 282.98 | (out)(err)
S = OPTIMUM | O = 165
T = 254.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 109.01 | (out)(err)
S = OPTIMUM | O = 165
T = 71.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-6.cnf S = OPTIMUM | O = 169
T = 819.63 | (out)(err)
S = OPTIMUM | O = 169
T = 600.61 | (out)(err)
S = OPTIMUM | O = 169
T = 592.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 242
T = Time Out | (out)(err)
S = OPTIMUM | O = 169
T = 1666.51 | (out)(err)
S = OPTIMUM | O = 169
T = 1527.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 169
T = 760.07 | (out)(err)
S = OPTIMUM | O = 169
T = 752.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-7.cnf S = OPTIMUM | O = 166
T = 325.83 | (out)(err)
S = OPTIMUM | O = 166
T = 203.42 | (out)(err)
S = OPTIMUM | O = 166
T = 158.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 226
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 400.24 | (out)(err)
S = OPTIMUM | O = 166
T = 364.29 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 166
T = 235.22 | (out)(err)
S = OPTIMUM | O = 166
T = 165.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-8.cnf S = OPTIMUM | O = 167
T = 397.42 | (out)(err)
S = OPTIMUM | O = 167
T = 159.96 | (out)(err)
S = OPTIMUM | O = 167
T = 104.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 241
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 565.11 | (out)(err)
S = OPTIMUM | O = 167
T = 508.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 167
T = 299.55 | (out)(err)
S = OPTIMUM | O = 167
T = 163.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
maxcut-140-630-0.8-9.cnf S = OPTIMUM | O = 165
T = 132.81 | (out)(err)
S = OPTIMUM | O = 165
T = 107.77 | (out)(err)
S = OPTIMUM | O = 165
T = 78.41 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 236
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 238.95 | (out)(err)
S = OPTIMUM | O = 165
T = 217.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 165
T = 86.17 | (out)(err)
S = OPTIMUM | O = 165
T = 80.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)