Partial Max-SAT (Crafted)

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 Clone IUT_BCMB_WMaxsatz MSUnCore SAT4J-Maxsat WMaxSatz-1.6 WMaxSatz-2.5 pm2 wbo wpm1
ft10-808-1090.wcnf S = N/A | O = N/A
T = 12.36 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 136
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (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)
la01-666-0671.wcnf S = N/A | O = N/A
T = 9.69 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 12.43 | (out)(err)
S = OPTIMUM | O = 0
T = 11.59 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 8.76 | (out)(err)
S = OPTIMUM | O = 0
T = 0.81 | (out)(err)
S = OPTIMUM | O = 0
T = 8.53 | (out)(err)
la04-567-0696.wcnf S = N/A | O = N/A
T = 10.07 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 46.62 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 23
T = 214.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
orb08-894-1058.wcnf S = N/A | O = N/A
T = 16.04 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 5
T = 311.10 | (out)(err)
S = OPTIMUM | O = 5
T = 1584.42 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 5
T = 231.68 | (out)(err)
S = OPTIMUM | O = 5
T = 195.32 | (out)(err)
S = OPTIMUM | O = 5
T = 261.22 | (out)(err)
max_clq_150-0-447-1.clq.wcnf S = OPTIMUM | O = 147
T = 21.57 | (out)(err)
S = OPTIMUM | O = 147
T = 1.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 147
T = 1.69 | (out)(err)
S = OPTIMUM | O = 147
T = 0.51 | (out)(err)
S = OPTIMUM | O = 147
T = 0.17 | (out)(err)
S = OPTIMUM | O = 147
T = 10.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 147.15 | (out)(err)
max_clq_150-0-447-2.clq.wcnf S = OPTIMUM | O = 147
T = 22.65 | (out)(err)
S = OPTIMUM | O = 147
T = 1.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 147
T = 1.62 | (out)(err)
S = OPTIMUM | O = 147
T = 0.52 | (out)(err)
S = OPTIMUM | O = 147
T = 0.17 | (out)(err)
S = OPTIMUM | O = 147
T = 10.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 148.93 | (out)(err)
max_clq_150-0-447-3.clq.wcnf S = OPTIMUM | O = 147
T = 21.26 | (out)(err)
S = OPTIMUM | O = 147
T = 1.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 147
T = 1.68 | (out)(err)
S = OPTIMUM | O = 147
T = 0.49 | (out)(err)
S = OPTIMUM | O = 147
T = 0.17 | (out)(err)
S = OPTIMUM | O = 147
T = 10.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 147
T = 52.27 | (out)(err)
max_clq_150-0-447-4.clq.wcnf S = OPTIMUM | O = 147
T = 21.62 | (out)(err)
S = OPTIMUM | O = 147
T = 1.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 147
T = 1.57 | (out)(err)
S = OPTIMUM | O = 147
T = 0.52 | (out)(err)
S = OPTIMUM | O = 147
T = 0.16 | (out)(err)
S = OPTIMUM | O = 147
T = 14.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 157.98 | (out)(err)
max_clq_150-1-894-1.clq.wcnf S = OPTIMUM | O = 146
T = 20.96 | (out)(err)
S = OPTIMUM | O = 146
T = 1.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 146
T = 1.74 | (out)(err)
S = OPTIMUM | O = 146
T = 0.57 | (out)(err)
S = OPTIMUM | O = 146
T = 0.17 | (out)(err)
S = OPTIMUM | O = 146
T = 14.53 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-1-894-2.clq.wcnf S = OPTIMUM | O = 146
T = 21.68 | (out)(err)
S = OPTIMUM | O = 146
T = 1.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 146
T = 1.73 | (out)(err)
S = OPTIMUM | O = 146
T = 0.79 | (out)(err)
S = OPTIMUM | O = 146
T = 0.19 | (out)(err)
S = OPTIMUM | O = 146
T = 14.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 170.56 | (out)(err)
max_clq_150-1-894-3.clq.wcnf S = OPTIMUM | O = 146
T = 21.01 | (out)(err)
S = OPTIMUM | O = 146
T = 1.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 146
T = 1.83 | (out)(err)
S = OPTIMUM | O = 146
T = 0.59 | (out)(err)
S = OPTIMUM | O = 146
T = 0.18 | (out)(err)
S = OPTIMUM | O = 146
T = 14.98 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-1-894-4.clq.wcnf S = OPTIMUM | O = 146
T = 21.05 | (out)(err)
S = OPTIMUM | O = 146
T = 1.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 146
T = 1.69 | (out)(err)
S = OPTIMUM | O = 146
T = 0.64 | (out)(err)
S = OPTIMUM | O = 146
T = 0.18 | (out)(err)
S = OPTIMUM | O = 146
T = 15.71 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 169.86 | (out)(err)
max_clq_150-10-4917-1.clq.wcnf S = OPTIMUM | O = 141
T = 26.49 | (out)(err)
S = OPTIMUM | O = 141
T = 2.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 141
T = 212.14 | (out)(err)
S = OPTIMUM | O = 141
T = 1.64 | (out)(err)
S = OPTIMUM | O = 141
T = 1.38 | (out)(err)
S = OPTIMUM | O = 141
T = 169.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 137.98 | (out)(err)
max_clq_150-10-4917-2.clq.wcnf S = OPTIMUM | O = 141
T = 24.32 | (out)(err)
S = OPTIMUM | O = 141
T = 1.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 141
T = 130.75 | (out)(err)
S = OPTIMUM | O = 141
T = 1.58 | (out)(err)
S = OPTIMUM | O = 141
T = 1.29 | (out)(err)
S = OPTIMUM | O = 141
T = 155.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-10-4917-3.clq.wcnf S = OPTIMUM | O = 141
T = 24.76 | (out)(err)
S = OPTIMUM | O = 141
T = 1.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 141
T = 152.39 | (out)(err)
S = OPTIMUM | O = 141
T = 1.56 | (out)(err)
S = OPTIMUM | O = 141
T = 1.30 | (out)(err)
S = OPTIMUM | O = 141
T = 170.69 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 281.36 | (out)(err)
max_clq_150-10-4917-4.clq.wcnf S = OPTIMUM | O = 141
T = 24.75 | (out)(err)
S = OPTIMUM | O = 141
T = 2.08 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 141
T = 203.42 | (out)(err)
S = OPTIMUM | O = 141
T = 1.61 | (out)(err)
S = OPTIMUM | O = 141
T = 1.35 | (out)(err)
S = OPTIMUM | O = 141
T = 186.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-11-5364-1.clq.wcnf S = OPTIMUM | O = 140
T = 28.61 | (out)(err)
S = OPTIMUM | O = 140
T = 2.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 140
T = 489.58 | (out)(err)
S = OPTIMUM | O = 140
T = 2.03 | (out)(err)
S = OPTIMUM | O = 140
T = 1.74 | (out)(err)
S = OPTIMUM | O = 140
T = 249.39 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 161.46 | (out)(err)
max_clq_150-11-5364-2.clq.wcnf S = OPTIMUM | O = 141
T = 32.42 | (out)(err)
S = OPTIMUM | O = 141
T = 2.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 141
T = 449.93 | (out)(err)
S = OPTIMUM | O = 141
T = 2.27 | (out)(err)
S = OPTIMUM | O = 141
T = 2.00 | (out)(err)
S = OPTIMUM | O = 141
T = 289.92 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 167.72 | (out)(err)
max_clq_150-11-5364-3.clq.wcnf S = OPTIMUM | O = 140
T = 27.73 | (out)(err)
S = OPTIMUM | O = 140
T = 2.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 140
T = 532.86 | (out)(err)
S = OPTIMUM | O = 140
T = 2.04 | (out)(err)
S = OPTIMUM | O = 140
T = 1.77 | (out)(err)
S = OPTIMUM | O = 140
T = 283.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 140.01 | (out)(err)
max_clq_150-11-5364-4.clq.wcnf S = OPTIMUM | O = 140
T = 26.97 | (out)(err)
S = OPTIMUM | O = 140
T = 2.41 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 140
T = 375.81 | (out)(err)
S = OPTIMUM | O = 140
T = 2.01 | (out)(err)
S = OPTIMUM | O = 140
T = 1.72 | (out)(err)
S = OPTIMUM | O = 140
T = 246.52 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 163.08 | (out)(err)
max_clq_150-12-5811-1.clq.wcnf S = OPTIMUM | O = 140
T = 47.77 | (out)(err)
S = OPTIMUM | O = 140
T = 3.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 140
T = 1305.97 | (out)(err)
S = OPTIMUM | O = 140
T = 3.52 | (out)(err)
S = OPTIMUM | O = 140
T = 3.14 | (out)(err)
S = OPTIMUM | O = 140
T = 488.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 208.95 | (out)(err)
max_clq_150-12-5811-2.clq.wcnf S = OPTIMUM | O = 140
T = 48.27 | (out)(err)
S = OPTIMUM | O = 140
T = 3.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 140
T = 1230.64 | (out)(err)
S = OPTIMUM | O = 140
T = 3.53 | (out)(err)
S = OPTIMUM | O = 140
T = 3.16 | (out)(err)
S = OPTIMUM | O = 140
T = 576.71 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-12-5811-3.clq.wcnf S = OPTIMUM | O = 139
T = 40.42 | (out)(err)
S = OPTIMUM | O = 139
T = 3.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 139
T = 1579.39 | (out)(err)
S = OPTIMUM | O = 139
T = 3.03 | (out)(err)
S = OPTIMUM | O = 139
T = 2.72 | (out)(err)
S = OPTIMUM | O = 139
T = 471.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-12-5811-4.clq.wcnf S = OPTIMUM | O = 140
T = 41.92 | (out)(err)
S = OPTIMUM | O = 140
T = 3.67 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 140
T = 1319.38 | (out)(err)
S = OPTIMUM | O = 140
T = 3.40 | (out)(err)
S = OPTIMUM | O = 140
T = 3.08 | (out)(err)
S = OPTIMUM | O = 140
T = 573.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 175.44 | (out)(err)
max_clq_150-13-6258-1.clq.wcnf S = OPTIMUM | O = 138
T = 52.93 | (out)(err)
S = OPTIMUM | O = 138
T = 4.89 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 138
T = Time Out | (out)(err)
S = OPTIMUM | O = 138
T = 4.84 | (out)(err)
S = OPTIMUM | O = 138
T = 4.52 | (out)(err)
S = OPTIMUM | O = 138
T = 791.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-13-6258-2.clq.wcnf S = OPTIMUM | O = 139
T = 62.15 | (out)(err)
S = OPTIMUM | O = 139
T = 5.71 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 139
T = Time Out | (out)(err)
S = OPTIMUM | O = 139
T = 5.65 | (out)(err)
S = OPTIMUM | O = 139
T = 5.25 | (out)(err)
S = OPTIMUM | O = 139
T = 1202.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 183.99 | (out)(err)
max_clq_150-13-6258-3.clq.wcnf S = OPTIMUM | O = 138
T = 48.68 | (out)(err)
S = OPTIMUM | O = 138
T = 4.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 139
T = Time Out | (out)(err)
S = OPTIMUM | O = 138
T = 4.79 | (out)(err)
S = OPTIMUM | O = 138
T = 4.43 | (out)(err)
S = OPTIMUM | O = 138
T = 692.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 138.51 | (out)(err)
max_clq_150-13-6258-4.clq.wcnf S = OPTIMUM | O = 138
T = 49.52 | (out)(err)
S = OPTIMUM | O = 138
T = 4.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 138
T = Time Out | (out)(err)
S = OPTIMUM | O = 138
T = 4.72 | (out)(err)
S = OPTIMUM | O = 138
T = 4.31 | (out)(err)
S = OPTIMUM | O = 138
T = 659.30 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 147.38 | (out)(err)
max_clq_150-14-6705-1.clq.wcnf S = OPTIMUM | O = 138
T = 97.31 | (out)(err)
S = OPTIMUM | O = 138
T = 9.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 138
T = Time Out | (out)(err)
S = OPTIMUM | O = 138
T = 9.51 | (out)(err)
S = OPTIMUM | O = 138
T = 8.90 | (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)
max_clq_150-14-6705-2.clq.wcnf S = OPTIMUM | O = 137
T = 84.24 | (out)(err)
S = OPTIMUM | O = 137
T = 8.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 138
T = Time Out | (out)(err)
S = OPTIMUM | O = 137
T = 8.54 | (out)(err)
S = OPTIMUM | O = 137
T = 8.06 | (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 = 178.37 | (out)(err)
max_clq_150-14-6705-3.clq.wcnf S = OPTIMUM | O = 137
T = 73.63 | (out)(err)
S = OPTIMUM | O = 137
T = 8.42 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 137
T = Time Out | (out)(err)
S = OPTIMUM | O = 137
T = 8.50 | (out)(err)
S = OPTIMUM | O = 137
T = 7.97 | (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 = 137.64 | (out)(err)
max_clq_150-14-6705-4.clq.wcnf S = OPTIMUM | O = 137
T = 75.79 | (out)(err)
S = OPTIMUM | O = 137
T = 8.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 138
T = Time Out | (out)(err)
S = OPTIMUM | O = 137
T = 8.32 | (out)(err)
S = OPTIMUM | O = 137
T = 7.79 | (out)(err)
S = OPTIMUM | O = 137
T = 1148.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 151.72 | (out)(err)
max_clq_150-15-7152-1.clq.wcnf S = OPTIMUM | O = 135
T = 111.36 | (out)(err)
S = OPTIMUM | O = 135
T = 12.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 136
T = Time Out | (out)(err)
S = OPTIMUM | O = 135
T = 12.97 | (out)(err)
S = OPTIMUM | O = 135
T = 12.40 | (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 = 148.50 | (out)(err)
max_clq_150-15-7152-2.clq.wcnf S = OPTIMUM | O = 136
T = 126.86 | (out)(err)
S = OPTIMUM | O = 136
T = 14.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 136
T = Time Out | (out)(err)
S = OPTIMUM | O = 136
T = 14.83 | (out)(err)
S = OPTIMUM | O = 136
T = 14.06 | (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)
max_clq_150-15-7152-3.clq.wcnf S = OPTIMUM | O = 135
T = 96.93 | (out)(err)
S = OPTIMUM | O = 135
T = 12.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 136
T = Time Out | (out)(err)
S = OPTIMUM | O = 135
T = 13.00 | (out)(err)
S = OPTIMUM | O = 135
T = 12.39 | (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 = 151.23 | (out)(err)
max_clq_150-15-7152-4.clq.wcnf S = OPTIMUM | O = 136
T = 159.83 | (out)(err)
S = OPTIMUM | O = 136
T = 15.12 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 137
T = Time Out | (out)(err)
S = OPTIMUM | O = 136
T = 15.57 | (out)(err)
S = OPTIMUM | O = 136
T = 14.81 | (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)
max_clq_150-16-7599-1.clq.wcnf S = OPTIMUM | O = 134
T = 239.20 | (out)(err)
S = OPTIMUM | O = 134
T = 27.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 134
T = Time Out | (out)(err)
S = OPTIMUM | O = 134
T = 28.37 | (out)(err)
S = OPTIMUM | O = 134
T = 26.83 | (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 = 170.25 | (out)(err)
max_clq_150-16-7599-2.clq.wcnf S = OPTIMUM | O = 135
T = 295.04 | (out)(err)
S = OPTIMUM | O = 135
T = 32.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 135
T = Time Out | (out)(err)
S = OPTIMUM | O = 135
T = 34.52 | (out)(err)
S = OPTIMUM | O = 135
T = 32.52 | (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 = 211.66 | (out)(err)
max_clq_150-16-7599-3.clq.wcnf S = OPTIMUM | O = 134
T = 214.91 | (out)(err)
S = OPTIMUM | O = 134
T = 25.42 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 135
T = Time Out | (out)(err)
S = OPTIMUM | O = 134
T = 27.55 | (out)(err)
S = OPTIMUM | O = 134
T = 25.93 | (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 = 244.92 | (out)(err)
max_clq_150-16-7599-4.clq.wcnf S = OPTIMUM | O = 135
T = 306.50 | (out)(err)
S = OPTIMUM | O = 135
T = 31.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 135
T = Time Out | (out)(err)
S = OPTIMUM | O = 135
T = 33.79 | (out)(err)
S = OPTIMUM | O = 135
T = 31.86 | (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 = 218.08 | (out)(err)
max_clq_150-17-8046-1.clq.wcnf S = OPTIMUM | O = 132
T = 472.86 | (out)(err)
S = OPTIMUM | O = 132
T = 59.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 133
T = Time Out | (out)(err)
S = OPTIMUM | O = 132
T = 64.84 | (out)(err)
S = OPTIMUM | O = 132
T = 61.38 | (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)
max_clq_150-17-8046-2.clq.wcnf S = OPTIMUM | O = 133
T = 559.72 | (out)(err)
S = OPTIMUM | O = 133
T = 67.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 133
T = Time Out | (out)(err)
S = OPTIMUM | O = 133
T = 74.36 | (out)(err)
S = OPTIMUM | O = 133
T = 69.98 | (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 = 140.17 | (out)(err)
max_clq_150-17-8046-3.clq.wcnf S = OPTIMUM | O = 132
T = 405.88 | (out)(err)
S = OPTIMUM | O = 132
T = 56.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 133
T = Time Out | (out)(err)
S = OPTIMUM | O = 132
T = 59.97 | (out)(err)
S = OPTIMUM | O = 132
T = 56.39 | (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 = 175.65 | (out)(err)
max_clq_150-17-8046-4.clq.wcnf S = OPTIMUM | O = 132
T = 350.28 | (out)(err)
S = OPTIMUM | O = 132
T = 53.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 133
T = Time Out | (out)(err)
S = OPTIMUM | O = 132
T = 57.29 | (out)(err)
S = OPTIMUM | O = 132
T = 54.06 | (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)
max_clq_150-18-8493-1.clq.wcnf S = OPTIMUM | O = 130
T = 1149.68 | (out)(err)
S = OPTIMUM | O = 130
T = 144.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 132
T = Time Out | (out)(err)
S = OPTIMUM | O = 130
T = 155.32 | (out)(err)
S = OPTIMUM | O = 130
T = 145.58 | (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)
max_clq_150-18-8493-2.clq.wcnf S = OPTIMUM | O = 130
T = 1607.04 | (out)(err)
S = OPTIMUM | O = 130
T = 176.73 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 131
T = Time Out | (out)(err)
S = OPTIMUM | O = 130
T = 191.69 | (out)(err)
S = OPTIMUM | O = 130
T = 177.79 | (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)
max_clq_150-18-8493-3.clq.wcnf S = OPTIMUM | O = 129
T = 871.79 | (out)(err)
S = OPTIMUM | O = 129
T = 120.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 131
T = Time Out | (out)(err)
S = OPTIMUM | O = 129
T = 130.46 | (out)(err)
S = OPTIMUM | O = 129
T = 122.31 | (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 = 177.43 | (out)(err)
max_clq_150-18-8493-4.clq.wcnf S = OPTIMUM | O = 129
T = 829.13 | (out)(err)
S = OPTIMUM | O = 129
T = 126.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 130
T = Time Out | (out)(err)
S = OPTIMUM | O = 129
T = 136.25 | (out)(err)
S = OPTIMUM | O = 129
T = 127.77 | (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 = 188.85 | (out)(err)
max_clq_150-19-8940-1.clq.wcnf S = N/A | O = 128
T = Time Out | (out)(err)
S = OPTIMUM | O = 127
T = 547.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 129
T = Time Out | (out)(err)
S = OPTIMUM | O = 127
T = 604.04 | (out)(err)
S = OPTIMUM | O = 127
T = 555.59 | (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 = 326.79 | (out)(err)
max_clq_150-19-8940-2.clq.wcnf S = OPTIMUM | O = 126
T = 1676.19 | (out)(err)
S = OPTIMUM | O = 126
T = 336.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 127
T = Time Out | (out)(err)
S = OPTIMUM | O = 126
T = 369.80 | (out)(err)
S = OPTIMUM | O = 126
T = 342.70 | (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)
max_clq_150-19-8940-3.clq.wcnf S = N/A | O = 127
T = Time Out | (out)(err)
S = OPTIMUM | O = 127
T = 493.81 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 129
T = Time Out | (out)(err)
S = OPTIMUM | O = 127
T = 546.58 | (out)(err)
S = OPTIMUM | O = 127
T = 502.70 | (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 = 196.71 | (out)(err)
max_clq_150-19-8940-4.clq.wcnf S = N/A | O = 127
T = Time Out | (out)(err)
S = OPTIMUM | O = 127
T = 460.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 128
T = Time Out | (out)(err)
S = OPTIMUM | O = 127
T = 511.57 | (out)(err)
S = OPTIMUM | O = 127
T = 469.39 | (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 = 219.80 | (out)(err)
max_clq_150-2-1341-1.clq.wcnf S = OPTIMUM | O = 146
T = 20.85 | (out)(err)
S = OPTIMUM | O = 146
T = 1.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 146
T = 1.73 | (out)(err)
S = OPTIMUM | O = 146
T = 0.54 | (out)(err)
S = OPTIMUM | O = 146
T = 0.19 | (out)(err)
S = OPTIMUM | O = 146
T = 19.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 195.64 | (out)(err)
max_clq_150-2-1341-2.clq.wcnf S = OPTIMUM | O = 146
T = 20.07 | (out)(err)
S = OPTIMUM | O = 146
T = 1.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 146
T = 1.82 | (out)(err)
S = OPTIMUM | O = 146
T = 0.40 | (out)(err)
S = OPTIMUM | O = 146
T = 0.19 | (out)(err)
S = OPTIMUM | O = 146
T = 19.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 156.62 | (out)(err)
max_clq_150-2-1341-3.clq.wcnf S = OPTIMUM | O = 146
T = 19.83 | (out)(err)
S = OPTIMUM | O = 146
T = 1.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 146
T = 1.99 | (out)(err)
S = OPTIMUM | O = 146
T = 0.57 | (out)(err)
S = OPTIMUM | O = 146
T = 0.20 | (out)(err)
S = OPTIMUM | O = 146
T = 19.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 161.53 | (out)(err)
max_clq_150-2-1341-4.clq.wcnf S = OPTIMUM | O = 145
T = 22.75 | (out)(err)
S = OPTIMUM | O = 145
T = 1.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 145
T = 1.78 | (out)(err)
S = OPTIMUM | O = 145
T = 0.67 | (out)(err)
S = OPTIMUM | O = 145
T = 0.20 | (out)(err)
S = OPTIMUM | O = 145
T = 17.43 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 129.63 | (out)(err)
max_clq_150-20-9387-1.clq.wcnf S = N/A | O = 124
T = 1789.61 | (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 = 126
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 165.59 | (out)(err)
max_clq_150-20-9387-2.clq.wcnf S = N/A | O = 124
T = 1794.87 | (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 = 125
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-20-9387-3.clq.wcnf S = N/A | O = 123
T = Time Out | (out)(err)
S = OPTIMUM | O = 123
T = 1593.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 126
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 123
T = 1614.63 | (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)
max_clq_150-20-9387-4.clq.wcnf S = N/A | O = 123
T = 1797.35 | (out)(err)
S = OPTIMUM | O = 123
T = 1556.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 125
T = Time Out | (out)(err)
S = OPTIMUM | O = 123
T = 1783.20 | (out)(err)
S = OPTIMUM | O = 123
T = 1564.27 | (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)
max_clq_150-21-9834-1.clq.wcnf S = N/A | O = 117
T = 1793.93 | (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 = 120
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-21-9834-2.clq.wcnf S = N/A | O = 118
T = 1795.27 | (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 = 120
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-21-9834-3.clq.wcnf S = N/A | O = 117
T = 1790.27 | (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 = 118
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 164.89 | (out)(err)
max_clq_150-21-9834-4.clq.wcnf S = N/A | O = 119
T = 1792.39 | (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 = 121
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 205.94 | (out)(err)
max_clq_150-22-10281-1.clq.wcnf S = N/A | O = 107
T = 1796.99 | (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 = 112
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-22-10281-2.clq.wcnf S = N/A | O = 107
T = 1782.11 | (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 = 112
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-22-10281-3.clq.wcnf S = N/A | O = 109
T = 1783.00 | (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 = 112
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 192.63 | (out)(err)
max_clq_150-22-10281-4.clq.wcnf S = N/A | O = 108
T = 1783.11 | (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 = 112
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 290.44 | (out)(err)
max_clq_150-23-10728-1.clq.wcnf S = OPTIMUM | O = 91
T = 399.29 | (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 = 95
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 273.07 | (out)(err)
max_clq_150-23-10728-2.clq.wcnf S = OPTIMUM | O = 89
T = 479.35 | (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 = 93
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-23-10728-3.clq.wcnf S = OPTIMUM | O = 91
T = 568.92 | (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 = 96
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 222.32 | (out)(err)
max_clq_150-23-10728-4.clq.wcnf S = OPTIMUM | O = 90
T = 545.29 | (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 = 96
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-3-1788-1.clq.wcnf S = OPTIMUM | O = 145
T = 19.27 | (out)(err)
S = OPTIMUM | O = 145
T = 1.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 145
T = 2.11 | (out)(err)
S = OPTIMUM | O = 145
T = 0.56 | (out)(err)
S = OPTIMUM | O = 145
T = 0.22 | (out)(err)
S = OPTIMUM | O = 145
T = 24.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 175.35 | (out)(err)
max_clq_150-3-1788-2.clq.wcnf S = OPTIMUM | O = 145
T = 20.25 | (out)(err)
S = OPTIMUM | O = 145
T = 1.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 145
T = 2.12 | (out)(err)
S = OPTIMUM | O = 145
T = 0.54 | (out)(err)
S = OPTIMUM | O = 145
T = 0.21 | (out)(err)
S = OPTIMUM | O = 145
T = 25.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 132.59 | (out)(err)
max_clq_150-3-1788-3.clq.wcnf S = OPTIMUM | O = 145
T = 19.73 | (out)(err)
S = OPTIMUM | O = 145
T = 1.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 145
T = 2.02 | (out)(err)
S = OPTIMUM | O = 145
T = 0.64 | (out)(err)
S = OPTIMUM | O = 145
T = 0.22 | (out)(err)
S = OPTIMUM | O = 145
T = 24.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 143.63 | (out)(err)
max_clq_150-3-1788-4.clq.wcnf S = OPTIMUM | O = 145
T = 19.80 | (out)(err)
S = OPTIMUM | O = 145
T = 1.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 145
T = 2.13 | (out)(err)
S = OPTIMUM | O = 145
T = 0.48 | (out)(err)
S = OPTIMUM | O = 145
T = 0.21 | (out)(err)
S = OPTIMUM | O = 145
T = 21.48 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 141.18 | (out)(err)
max_clq_150-4-2235-1.clq.wcnf S = OPTIMUM | O = 144
T = 18.55 | (out)(err)
S = OPTIMUM | O = 144
T = 1.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 144
T = 2.14 | (out)(err)
S = OPTIMUM | O = 144
T = 0.53 | (out)(err)
S = OPTIMUM | O = 144
T = 0.25 | (out)(err)
S = OPTIMUM | O = 144
T = 31.30 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 132.28 | (out)(err)
max_clq_150-4-2235-2.clq.wcnf S = OPTIMUM | O = 145
T = 19.50 | (out)(err)
S = OPTIMUM | O = 145
T = 1.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 145
T = 2.32 | (out)(err)
S = OPTIMUM | O = 145
T = 0.55 | (out)(err)
S = OPTIMUM | O = 145
T = 0.25 | (out)(err)
S = OPTIMUM | O = 145
T = 30.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 133.97 | (out)(err)
max_clq_150-4-2235-3.clq.wcnf S = OPTIMUM | O = 144
T = 19.13 | (out)(err)
S = OPTIMUM | O = 144
T = 1.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 144
T = 2.21 | (out)(err)
S = OPTIMUM | O = 144
T = 0.48 | (out)(err)
S = OPTIMUM | O = 144
T = 0.25 | (out)(err)
S = OPTIMUM | O = 144
T = 30.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-4-2235-4.clq.wcnf S = OPTIMUM | O = 145
T = 18.58 | (out)(err)
S = OPTIMUM | O = 145
T = 1.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 145
T = 2.66 | (out)(err)
S = OPTIMUM | O = 145
T = 0.55 | (out)(err)
S = OPTIMUM | O = 145
T = 0.26 | (out)(err)
S = OPTIMUM | O = 145
T = 31.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 224.96 | (out)(err)
max_clq_150-5-2682-1.clq.wcnf S = OPTIMUM | O = 144
T = 19.43 | (out)(err)
S = OPTIMUM | O = 144
T = 1.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 144
T = 4.00 | (out)(err)
S = OPTIMUM | O = 144
T = 0.62 | (out)(err)
S = OPTIMUM | O = 144
T = 0.29 | (out)(err)
S = OPTIMUM | O = 144
T = 36.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 128.24 | (out)(err)
max_clq_150-5-2682-2.clq.wcnf S = OPTIMUM | O = 144
T = 18.34 | (out)(err)
S = OPTIMUM | O = 144
T = 1.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 144
T = 3.73 | (out)(err)
S = OPTIMUM | O = 144
T = 0.55 | (out)(err)
S = OPTIMUM | O = 144
T = 0.29 | (out)(err)
S = OPTIMUM | O = 144
T = 38.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-5-2682-3.clq.wcnf S = OPTIMUM | O = 144
T = 18.51 | (out)(err)
S = OPTIMUM | O = 144
T = 1.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 144
T = 4.26 | (out)(err)
S = OPTIMUM | O = 144
T = 0.61 | (out)(err)
S = OPTIMUM | O = 144
T = 0.30 | (out)(err)
S = OPTIMUM | O = 144
T = 38.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 182.75 | (out)(err)
max_clq_150-5-2682-4.clq.wcnf S = OPTIMUM | O = 144
T = 19.28 | (out)(err)
S = OPTIMUM | O = 144
T = 1.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 144
T = 2.97 | (out)(err)
S = OPTIMUM | O = 144
T = 0.52 | (out)(err)
S = OPTIMUM | O = 144
T = 0.29 | (out)(err)
S = OPTIMUM | O = 144
T = 47.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-6-3129-1.clq.wcnf S = OPTIMUM | O = 144
T = 19.28 | (out)(err)
S = OPTIMUM | O = 144
T = 1.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 144
T = 8.18 | (out)(err)
S = OPTIMUM | O = 144
T = 0.61 | (out)(err)
S = OPTIMUM | O = 144
T = 0.39 | (out)(err)
S = OPTIMUM | O = 144
T = 55.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 142.30 | (out)(err)
max_clq_150-6-3129-2.clq.wcnf S = OPTIMUM | O = 143
T = 20.77 | (out)(err)
S = OPTIMUM | O = 143
T = 1.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 143
T = 4.14 | (out)(err)
S = OPTIMUM | O = 143
T = 0.61 | (out)(err)
S = OPTIMUM | O = 143
T = 0.36 | (out)(err)
S = OPTIMUM | O = 143
T = 52.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 130.94 | (out)(err)
max_clq_150-6-3129-3.clq.wcnf S = OPTIMUM | O = 143
T = 18.01 | (out)(err)
S = OPTIMUM | O = 143
T = 1.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 143
T = 3.51 | (out)(err)
S = OPTIMUM | O = 143
T = 0.65 | (out)(err)
S = OPTIMUM | O = 143
T = 0.36 | (out)(err)
S = OPTIMUM | O = 143
T = 45.86 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 157.50 | (out)(err)
max_clq_150-6-3129-4.clq.wcnf S = OPTIMUM | O = 144
T = 19.82 | (out)(err)
S = OPTIMUM | O = 144
T = 1.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 144
T = 5.35 | (out)(err)
S = OPTIMUM | O = 144
T = 0.64 | (out)(err)
S = OPTIMUM | O = 144
T = 0.39 | (out)(err)
S = OPTIMUM | O = 144
T = 45.47 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 122.21 | (out)(err)
max_clq_150-7-3576-1.clq.wcnf S = OPTIMUM | O = 144
T = 20.29 | (out)(err)
S = OPTIMUM | O = 144
T = 1.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 144
T = 25.19 | (out)(err)
S = OPTIMUM | O = 144
T = 0.83 | (out)(err)
S = OPTIMUM | O = 144
T = 0.56 | (out)(err)
S = OPTIMUM | O = 144
T = 67.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 135.15 | (out)(err)
max_clq_150-7-3576-2.clq.wcnf S = OPTIMUM | O = 143
T = 19.55 | (out)(err)
S = OPTIMUM | O = 143
T = 1.30 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 143
T = 9.59 | (out)(err)
S = OPTIMUM | O = 143
T = 0.77 | (out)(err)
S = OPTIMUM | O = 143
T = 0.51 | (out)(err)
S = OPTIMUM | O = 143
T = 60.89 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 165.45 | (out)(err)
max_clq_150-7-3576-3.clq.wcnf S = OPTIMUM | O = 143
T = 20.25 | (out)(err)
S = OPTIMUM | O = 143
T = 1.30 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 143
T = 13.84 | (out)(err)
S = OPTIMUM | O = 143
T = 0.84 | (out)(err)
S = OPTIMUM | O = 143
T = 0.53 | (out)(err)
S = OPTIMUM | O = 143
T = 54.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 162.42 | (out)(err)
max_clq_150-7-3576-4.clq.wcnf S = OPTIMUM | O = 143
T = 19.53 | (out)(err)
S = OPTIMUM | O = 143
T = 1.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 143
T = 14.51 | (out)(err)
S = OPTIMUM | O = 143
T = 0.74 | (out)(err)
S = OPTIMUM | O = 143
T = 0.51 | (out)(err)
S = OPTIMUM | O = 143
T = 55.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 131.04 | (out)(err)
max_clq_150-8-4023-1.clq.wcnf S = OPTIMUM | O = 143
T = 21.88 | (out)(err)
S = OPTIMUM | O = 143
T = 1.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 143
T = 24.13 | (out)(err)
S = OPTIMUM | O = 143
T = 0.98 | (out)(err)
S = OPTIMUM | O = 143
T = 0.73 | (out)(err)
S = OPTIMUM | O = 143
T = 77.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 114.97 | (out)(err)
max_clq_150-8-4023-2.clq.wcnf S = OPTIMUM | O = 142
T = 21.68 | (out)(err)
S = OPTIMUM | O = 142
T = 1.42 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 142
T = 20.49 | (out)(err)
S = OPTIMUM | O = 142
T = 0.96 | (out)(err)
S = OPTIMUM | O = 142
T = 0.69 | (out)(err)
S = OPTIMUM | O = 142
T = 80.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 235.41 | (out)(err)
max_clq_150-8-4023-3.clq.wcnf S = OPTIMUM | O = 143
T = 21.36 | (out)(err)
S = OPTIMUM | O = 143
T = 1.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 143
T = 40.68 | (out)(err)
S = OPTIMUM | O = 143
T = 0.99 | (out)(err)
S = OPTIMUM | O = 143
T = 0.71 | (out)(err)
S = OPTIMUM | O = 143
T = 103.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 155.73 | (out)(err)
max_clq_150-8-4023-4.clq.wcnf S = OPTIMUM | O = 142
T = 20.64 | (out)(err)
S = OPTIMUM | O = 142
T = 1.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 142
T = 20.44 | (out)(err)
S = OPTIMUM | O = 142
T = 0.95 | (out)(err)
S = OPTIMUM | O = 142
T = 0.68 | (out)(err)
S = OPTIMUM | O = 142
T = 83.37 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-9-4470-1.clq.wcnf S = OPTIMUM | O = 142
T = 23.07 | (out)(err)
S = OPTIMUM | O = 142
T = 1.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 142
T = 46.54 | (out)(err)
S = OPTIMUM | O = 142
T = 1.20 | (out)(err)
S = OPTIMUM | O = 142
T = 0.94 | (out)(err)
S = OPTIMUM | O = 142
T = 105.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 151.52 | (out)(err)
max_clq_150-9-4470-2.clq.wcnf S = OPTIMUM | O = 142
T = 23.68 | (out)(err)
S = OPTIMUM | O = 142
T = 1.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 142
T = 53.89 | (out)(err)
S = OPTIMUM | O = 142
T = 1.24 | (out)(err)
S = OPTIMUM | O = 142
T = 0.98 | (out)(err)
S = OPTIMUM | O = 142
T = 113.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 184.34 | (out)(err)
max_clq_150-9-4470-3.clq.wcnf S = OPTIMUM | O = 142
T = 21.86 | (out)(err)
S = OPTIMUM | O = 142
T = 1.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 142
T = 74.10 | (out)(err)
S = OPTIMUM | O = 142
T = 1.25 | (out)(err)
S = OPTIMUM | O = 142
T = 0.95 | (out)(err)
S = OPTIMUM | O = 142
T = 146.29 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
max_clq_150-9-4470-4.clq.wcnf S = OPTIMUM | O = 142
T = 21.74 | (out)(err)
S = OPTIMUM | O = 142
T = 1.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 142
T = 63.27 | (out)(err)
S = OPTIMUM | O = 142
T = 1.21 | (out)(err)
S = OPTIMUM | O = 142
T = 0.95 | (out)(err)
S = OPTIMUM | O = 142
T = 108.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 194.52 | (out)(err)
MANN_a27.clq.wcnf S = OPTIMUM | O = 252
T = 25.35 | (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 = 253
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
MANN_a45.clq.wcnf S = N/A | O = 691
T = 1791.07 | (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 = 695
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 276.38 | (out)(err)
MANN_a81.clq.wcnf S = N/A | O = 2228
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 = 2225
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
MANN_a9.clq.wcnf S = OPTIMUM | O = 29
T = 1.01 | (out)(err)
S = OPTIMUM | O = 29
T = 1.04 | (out)(err)
S = OPTIMUM | O = 29
T = 0.49 | (out)(err)
S = OPTIMUM | O = 29
T = 208.32 | (out)(err)
S = OPTIMUM | O = 29
T = 2.65 | (out)(err)
S = OPTIMUM | O = 29
T = 2.50 | (out)(err)
S = OPTIMUM | O = 29
T = 0.46 | (out)(err)
S = OPTIMUM | O = 29
T = 0.03 | (out)(err)
S = OPTIMUM | O = 29
T = 0.04 | (out)(err)
brock200_1.clq.wcnf S = N/A | O = 180
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 = 180
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 290.94 | (out)(err)
brock200_2.clq.wcnf S = OPTIMUM | O = 188
T = 176.37 | (out)(err)
S = OPTIMUM | O = 188
T = 14.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 190
T = Time Out | (out)(err)
S = OPTIMUM | O = 188
T = 14.83 | (out)(err)
S = OPTIMUM | O = 188
T = 12.94 | (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)
brock200_3.clq.wcnf S = OPTIMUM | O = 185
T = 914.85 | (out)(err)
S = OPTIMUM | O = 185
T = 71.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 187
T = Time Out | (out)(err)
S = OPTIMUM | O = 185
T = 85.05 | (out)(err)
S = OPTIMUM | O = 185
T = 80.29 | (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 = 158.36 | (out)(err)
brock200_4.clq.wcnf S = N/A | O = 183
T = Time Out | (out)(err)
S = OPTIMUM | O = 183
T = 185.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 185
T = Time Out | (out)(err)
S = OPTIMUM | O = 183
T = 198.19 | (out)(err)
S = OPTIMUM | O = 183
T = 188.75 | (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)
brock400_1.clq.wcnf S = N/A | O = N/A
T = 11.00 | (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 = 379
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 212.09 | (out)(err)
brock400_2.clq.wcnf S = N/A | O = N/A
T = 10.76 | (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 = 379
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 399.09 | (out)(err)
brock400_3.clq.wcnf S = N/A | O = N/A
T = 11.82 | (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 = 378
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock400_4.clq.wcnf S = N/A | O = N/A
T = 10.89 | (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 = 379
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock800_1.clq.wcnf S = N/A | O = N/A
T = 11.68 | (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 = 782
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock800_2.clq.wcnf S = N/A | O = N/A
T = 14.27 | (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 = 782
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock800_3.clq.wcnf S = N/A | O = N/A
T = 12.98 | (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 = 782
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
brock800_4.clq.wcnf S = N/A | O = N/A
T = 14.37 | (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 = 782
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
c-fat200-1.clq.wcnf S = OPTIMUM | O = 188
T = 47.64 | (out)(err)
S = OPTIMUM | O = 188
T = 2.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 188
T = 1.67 | (out)(err)
S = OPTIMUM | O = 188
T = 1.47 | (out)(err)
S = OPTIMUM | O = 188
T = 0.33 | (out)(err)
S = OPTIMUM | O = 188
T = 42.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 148.44 | (out)(err)
c-fat200-2.clq.wcnf S = OPTIMUM | O = 176
T = 42.80 | (out)(err)
S = OPTIMUM | O = 176
T = 2.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 176
T = 1.72 | (out)(err)
S = OPTIMUM | O = 176
T = 1.18 | (out)(err)
S = OPTIMUM | O = 176
T = 0.35 | (out)(err)
S = OPTIMUM | O = 176
T = 30.94 | (out)(err)
S = OPTIMUM | O = 176
T = 55.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
c-fat200-5.clq.wcnf S = OPTIMUM | O = 142
T = 23.04 | (out)(err)
S = OPTIMUM | O = 142
T = 1.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 142
T = 1.49 | (out)(err)
S = OPTIMUM | O = 142
T = 0.53 | (out)(err)
S = OPTIMUM | O = 142
T = 0.28 | (out)(err)
S = OPTIMUM | O = 142
T = 39.70 | (out)(err)
S = OPTIMUM | O = 142
T = 1.38 | (out)(err)
S = OPTIMUM | O = 142
T = 1.73 | (out)(err)
c-fat500-1.clq.wcnf S = N/A | O = N/A
T = 11.06 | (out)(err)
S = OPTIMUM | O = 486
T = 30.89 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 486
T = 2.65 | (out)(err)
S = OPTIMUM | O = 486
T = 156.10 | (out)(err)
S = OPTIMUM | O = 486
T = 12.13 | (out)(err)
S = OPTIMUM | O = 486
T = 1423.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 203.89 | (out)(err)
c-fat500-10.clq.wcnf S = N/A | O = N/A
T = 22.16 | (out)(err)
S = OPTIMUM | O = 374
T = 35.77 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 374
T = 3.32 | (out)(err)
S = OPTIMUM | O = 374
T = 49.62 | (out)(err)
S = OPTIMUM | O = 374
T = 18.21 | (out)(err)
S = OPTIMUM | O = 374
T = 1561.85 | (out)(err)
S = OPTIMUM | O = 374
T = 24.66 | (out)(err)
S = OPTIMUM | O = 374
T = 24.73 | (out)(err)
c-fat500-2.clq.wcnf S = N/A | O = N/A
T = 10.29 | (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 = 474
T = 2.94 | (out)(err)
S = OPTIMUM | O = 474
T = 139.45 | (out)(err)
S = OPTIMUM | O = 474
T = 11.82 | (out)(err)
S = OPTIMUM | O = 474
T = 1379.88 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
c-fat500-5.clq.wcnf S = N/A | O = N/A
T = 46.20 | (out)(err)
S = OPTIMUM | O = 436
T = 35.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 436
T = 4.12 | (out)(err)
S = OPTIMUM | O = 436
T = 76.35 | (out)(err)
S = OPTIMUM | O = 436
T = 15.19 | (out)(err)
S = OPTIMUM | O = 436
T = 1300.04 | (out)(err)
S = OPTIMUM | O = 436
T = 37.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
hamming10-2.clq.wcnf S = N/A | O = 512
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 512
T = 4.91 | (out)(err)
S = N/A | O = 512
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 = 512
T = 3.71 | (out)(err)
S = OPTIMUM | O = 512
T = 3.15 | (out)(err)
S = OPTIMUM | O = 512
T = 5.91 | (out)(err)
hamming10-4.clq.wcnf S = N/A | O = N/A
T = 80.01 | (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 = 992
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
hamming6-2.clq.wcnf S = OPTIMUM | O = 32
T = 2.02 | (out)(err)
S = OPTIMUM | O = 32
T = 0.17 | (out)(err)
S = OPTIMUM | O = 32
T = 0.02 | (out)(err)
S = OPTIMUM | O = 32
T = 2.00 | (out)(err)
S = OPTIMUM | O = 32
T = 0.08 | (out)(err)
S = OPTIMUM | O = 32
T = 0.08 | (out)(err)
S = OPTIMUM | O = 32
T = 0.01 | (out)(err)
S = OPTIMUM | O = 32
T = 0.01 | (out)(err)
S = OPTIMUM | O = 32
T = 0.02 | (out)(err)
hamming6-4.clq.wcnf S = OPTIMUM | O = 60
T = 4.37 | (out)(err)
S = OPTIMUM | O = 60
T = 0.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 60
T = 1.07 | (out)(err)
S = OPTIMUM | O = 60
T = 0.03 | (out)(err)
S = OPTIMUM | O = 60
T = 0.02 | (out)(err)
S = OPTIMUM | O = 60
T = 1.53 | (out)(err)
S = OPTIMUM | O = 60
T = 27.91 | (out)(err)
S = OPTIMUM | O = 60
T = 4.74 | (out)(err)
hamming8-2.clq.wcnf S = N/A | O = 128
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 128
T = 0.37 | (out)(err)
S = N/A | O = 128
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 = 128
T = 0.20 | (out)(err)
S = OPTIMUM | O = 128
T = 0.14 | (out)(err)
S = OPTIMUM | O = 128
T = 0.34 | (out)(err)
hamming8-4.clq.wcnf S = N/A | O = 240
T = Time Out | (out)(err)
S = OPTIMUM | O = 240
T = 540.00 | (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 = 240
T = 573.05 | (out)(err)
S = OPTIMUM | O = 240
T = 548.31 | (out)(err)
S = OPTIMUM | O = 240
T = 1214.08 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 143.03 | (out)(err)
johnson16-2-4.clq.wcnf S = OPTIMUM | O = 112
T = 999.59 | (out)(err)
S = OPTIMUM | O = 112
T = 91.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 112
T = Time Out | (out)(err)
S = OPTIMUM | O = 112
T = 101.80 | (out)(err)
S = OPTIMUM | O = 112
T = 91.67 | (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 = 147.57 | (out)(err)
johnson32-2-4.clq.wcnf S = N/A | O = N/A
T = 19.21 | (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 = 480
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 219.30 | (out)(err)
johnson8-2-4.clq.wcnf S = OPTIMUM | O = 24
T = 1.39 | (out)(err)
S = OPTIMUM | O = 24
T = 0.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 0.64 | (out)(err)
S = OPTIMUM | O = 24
T = 0.01 | (out)(err)
S = OPTIMUM | O = 24
T = 0.01 | (out)(err)
S = OPTIMUM | O = 24
T = 0.03 | (out)(err)
S = OPTIMUM | O = 24
T = 0.02 | (out)(err)
S = OPTIMUM | O = 24
T = 0.07 | (out)(err)
johnson8-4-4.clq.wcnf S = OPTIMUM | O = 56
T = 4.44 | (out)(err)
S = OPTIMUM | O = 56
T = 0.43 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 56
T = 40.87 | (out)(err)
S = OPTIMUM | O = 56
T = 0.38 | (out)(err)
S = OPTIMUM | O = 56
T = 0.36 | (out)(err)
S = OPTIMUM | O = 56
T = 3.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 56
T = 55.96 | (out)(err)
keller4.clq.wcnf S = OPTIMUM | O = 160
T = 606.76 | (out)(err)
S = OPTIMUM | O = 160
T = 53.84 | (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 = 160
T = 67.71 | (out)(err)
S = OPTIMUM | O = 160
T = 64.01 | (out)(err)
S = OPTIMUM | O = 160
T = 263.79 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 235.95 | (out)(err)
keller5.clq.wcnf S = N/A | O = N/A
T = 42.77 | (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 = 754
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 258.37 | (out)(err)
p_hat1000-1.clq.wcnf S = N/A | O = N/A
T = 17.53 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 990
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (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 = 497.29 | (out)(err)
p_hat1000-2.clq.wcnf S = N/A | O = N/A
T = 16.20 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 969
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (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)
p_hat1000-3.clq.wcnf S = N/A | O = N/A
T = 293.21 | (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 = 961
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 446.44 | (out)(err)
p_hat300-1.clq.wcnf S = N/A | O = N/A
T = 11.15 | (out)(err)
S = OPTIMUM | O = 292
T = 11.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 292
T = 488.35 | (out)(err)
S = OPTIMUM | O = 292
T = 13.32 | (out)(err)
S = OPTIMUM | O = 292
T = 7.62 | (out)(err)
S = OPTIMUM | O = 292
T = 1669.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 138.06 | (out)(err)
p_hat300-2.clq.wcnf S = N/A | O = N/A
T = 33.40 | (out)(err)
S = OPTIMUM | O = 275
T = 229.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 280
T = Time Out | (out)(err)
S = OPTIMUM | O = 275
T = 229.27 | (out)(err)
S = OPTIMUM | O = 275
T = 232.36 | (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 = 213.88 | (out)(err)
p_hat300-3.clq.wcnf S = N/A | O = 264
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 = 273
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 203.23 | (out)(err)
p_hat500-1.clq.wcnf S = N/A | O = N/A
T = 34.13 | (out)(err)
S = OPTIMUM | O = 491
T = 171.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 491
T = Time Out | (out)(err)
S = OPTIMUM | O = 491
T = 219.88 | (out)(err)
S = OPTIMUM | O = 491
T = 143.67 | (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 = 325.36 | (out)(err)
p_hat500-2.clq.wcnf S = N/A | O = N/A
T = 21.14 | (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 = 473
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 223.52 | (out)(err)
p_hat500-3.clq.wcnf S = N/A | O = N/A
T = 16.28 | (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 = 463
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p_hat700-1.clq.wcnf S = N/A | O = N/A
T = 31.63 | (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 = 691
T = Time Out | (out)(err)
S = OPTIMUM | O = 689
T = 1326.39 | (out)(err)
S = OPTIMUM | O = 689
T = 790.97 | (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)
p_hat700-2.clq.wcnf S = N/A | O = N/A
T = 14.59 | (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 = 671
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 443.55 | (out)(err)
p_hat700-3.clq.wcnf S = N/A | O = N/A
T = 30.08 | (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 = 659
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 282.96 | (out)(err)
san1000.clq.wcnf S = N/A | O = N/A
T = 15.86 | (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 = 991
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san200_0.7_1.clq.wcnf S = N/A | O = 177
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 = 183
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 165.55 | (out)(err)
san200_0.7_2.clq.wcnf 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 = 185
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 154.50 | (out)(err)
san200_0.9_1.clq.wcnf S = OPTIMUM | O = 130
T = 84.62 | (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 = 150
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 = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 130
T = 2.06 | (out)(err)
san200_0.9_2.clq.wcnf S = N/A | O = 142
T = 1794.81 | (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 = 159
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 175.62 | (out)(err)
san200_0.9_3.clq.wcnf S = N/A | O = 164
T = 1782.39 | (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 = 166
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san400_0.5_1.clq.wcnf S = N/A | O = N/A
T = 14.90 | (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 = 392
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san400_0.7_1.clq.wcnf S = N/A | O = N/A
T = 47.16 | (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 = 379
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 360.18 | (out)(err)
san400_0.7_2.clq.wcnf S = N/A | O = N/A
T = 25.25 | (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 = 382
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 182.56 | (out)(err)
san400_0.7_3.clq.wcnf S = N/A | O = N/A
T = 21.27 | (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 = 384
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
san400_0.9_1.clq.wcnf S = N/A | O = 347
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 = 347
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 265.37 | (out)(err)
sanr200_0.7.clq.wcnf S = N/A | O = 182
T = Time Out | (out)(err)
S = OPTIMUM | O = 182
T = 486.77 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 183
T = Time Out | (out)(err)
S = OPTIMUM | O = 182
T = 517.62 | (out)(err)
S = OPTIMUM | O = 182
T = 493.73 | (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)
sanr200_0.9.clq.wcnf S = N/A | O = 160
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 = 164
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 167.91 | (out)(err)
sanr400_0.5.clq.wcnf S = N/A | O = N/A
T = 14.54 | (out)(err)
S = OPTIMUM | O = 387
T = 1648.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 388
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 387
T = 1697.37 | (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)
sanr400_0.7.clq.wcnf S = N/A | O = N/A
T = 12.80 | (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 = 381
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 = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.250.832706.cnf.wcnf S = OPTIMUM | O = 15
T = 12.40 | (out)(err)
S = OPTIMUM | O = 15
T = 2.99 | (out)(err)
S = OPTIMUM | O = 15
T = 0.01 | (out)(err)
S = OPTIMUM | O = 15
T = 70.64 | (out)(err)
S = OPTIMUM | O = 15
T = 14.10 | (out)(err)
S = OPTIMUM | O = 15
T = 14.59 | (out)(err)
S = OPTIMUM | O = 15
T = 0.01 | (out)(err)
S = OPTIMUM | O = 15
T = 0.01 | (out)(err)
S = OPTIMUM | O = 15
T = 0.01 | (out)(err)
cnf3.150.250.832707.cnf.wcnf S = OPTIMUM | O = 18
T = 63.71 | (out)(err)
S = OPTIMUM | O = 18
T = 30.71 | (out)(err)
S = OPTIMUM | O = 18
T = 0.01 | (out)(err)
S = OPTIMUM | O = 18
T = 1602.63 | (out)(err)
S = OPTIMUM | O = 18
T = 69.06 | (out)(err)
S = OPTIMUM | O = 18
T = 64.88 | (out)(err)
S = OPTIMUM | O = 18
T = 0.01 | (out)(err)
S = OPTIMUM | O = 18
T = 0.01 | (out)(err)
S = OPTIMUM | O = 18
T = 0.01 | (out)(err)
cnf3.150.250.832708.cnf.wcnf S = OPTIMUM | O = 20
T = 162.74 | (out)(err)
S = OPTIMUM | O = 20
T = 148.86 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
S = N/A | O = 23
T = Time Out | (out)(err)
S = OPTIMUM | O = 20
T = 295.78 | (out)(err)
S = OPTIMUM | O = 20
T = 295.25 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
cnf3.150.250.832709.cnf.wcnf S = OPTIMUM | O = 24
T = 853.57 | (out)(err)
S = OPTIMUM | O = 24
T = 1046.03 | (out)(err)
S = OPTIMUM | O = 24
T = 0.03 | (out)(err)
S = N/A | O = 24
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 1276.86 | (out)(err)
S = OPTIMUM | O = 24
T = 1189.84 | (out)(err)
S = OPTIMUM | O = 24
T = 0.03 | (out)(err)
S = OPTIMUM | O = 24
T = 0.01 | (out)(err)
S = OPTIMUM | O = 24
T = 0.02 | (out)(err)
cnf3.150.250.832710.cnf.wcnf S = OPTIMUM | O = 24
T = 830.12 | (out)(err)
S = OPTIMUM | O = 24
T = 861.43 | (out)(err)
S = OPTIMUM | O = 24
T = 0.01 | (out)(err)
S = N/A | O = 27
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 = 24
T = 0.02 | (out)(err)
S = OPTIMUM | O = 24
T = 0.01 | (out)(err)
S = OPTIMUM | O = 24
T = 0.02 | (out)(err)
cnf3.150.250.832711.cnf.wcnf S = OPTIMUM | O = 20
T = 269.95 | (out)(err)
S = OPTIMUM | O = 20
T = 120.15 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
S = N/A | O = 21
T = Time Out | (out)(err)
S = OPTIMUM | O = 20
T = 120.06 | (out)(err)
S = OPTIMUM | O = 20
T = 128.94 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
cnf3.150.250.832712.cnf.wcnf S = N/A | O = N/A
T = 1783.19 | (out)(err)
S = OPTIMUM | O = 23
T = 1214.54 | (out)(err)
S = OPTIMUM | O = 23
T = 0.02 | (out)(err)
S = N/A | O = 24
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 = 23
T = 0.02 | (out)(err)
S = OPTIMUM | O = 23
T = 0.01 | (out)(err)
S = OPTIMUM | O = 23
T = 0.02 | (out)(err)
cnf3.150.250.832713.cnf.wcnf S = OPTIMUM | O = 16
T = 60.38 | (out)(err)
S = OPTIMUM | O = 16
T = 12.53 | (out)(err)
S = OPTIMUM | O = 16
T = 0.01 | (out)(err)
S = OPTIMUM | O = 16
T = 1004.86 | (out)(err)
S = OPTIMUM | O = 16
T = 15.13 | (out)(err)
S = OPTIMUM | O = 16
T = 15.95 | (out)(err)
S = OPTIMUM | O = 16
T = 0.01 | (out)(err)
S = OPTIMUM | O = 16
T = 0.01 | (out)(err)
S = OPTIMUM | O = 16
T = 0.01 | (out)(err)
cnf3.150.250.832714.cnf.wcnf S = OPTIMUM | O = 23
T = 1204.98 | (out)(err)
S = OPTIMUM | O = 23
T = 594.39 | (out)(err)
S = OPTIMUM | O = 23
T = 0.01 | (out)(err)
S = N/A | O = 23
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 1077.87 | (out)(err)
S = OPTIMUM | O = 23
T = 1039.67 | (out)(err)
S = OPTIMUM | O = 23
T = 0.03 | (out)(err)
S = OPTIMUM | O = 23
T = 0.81 | (out)(err)
S = OPTIMUM | O = 23
T = 0.03 | (out)(err)
cnf3.150.250.832715.cnf.wcnf S = N/A | O = 24
T = 1789.03 | (out)(err)
S = OPTIMUM | O = 24
T = 1523.78 | (out)(err)
S = OPTIMUM | O = 24
T = 0.05 | (out)(err)
S = N/A | O = 25
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 1538.00 | (out)(err)
S = OPTIMUM | O = 24
T = 1613.23 | (out)(err)
S = OPTIMUM | O = 24
T = 0.02 | (out)(err)
S = OPTIMUM | O = 24
T = 0.04 | (out)(err)
S = OPTIMUM | O = 24
T = 0.02 | (out)(err)
cnf3.150.300.195561.cnf.wcnf S = N/A | O = N/A
T = 1793.17 | (out)(err)
S = OPTIMUM | O = 22
T = 90.25 | (out)(err)
S = OPTIMUM | O = 22
T = 0.01 | (out)(err)
S = N/A | O = 22
T = Time Out | (out)(err)
S = OPTIMUM | O = 22
T = 342.35 | (out)(err)
S = OPTIMUM | O = 22
T = 364.30 | (out)(err)
S = OPTIMUM | O = 22
T = 0.01 | (out)(err)
S = OPTIMUM | O = 22
T = 0.01 | (out)(err)
S = OPTIMUM | O = 22
T = 0.02 | (out)(err)
cnf3.150.300.195562.cnf.wcnf S = OPTIMUM | O = 22
T = 173.12 | (out)(err)
S = OPTIMUM | O = 22
T = 61.58 | (out)(err)
S = OPTIMUM | O = 22
T = 0.01 | (out)(err)
S = N/A | O = 23
T = Time Out | (out)(err)
S = OPTIMUM | O = 22
T = 85.39 | (out)(err)
S = OPTIMUM | O = 22
T = 84.16 | (out)(err)
S = OPTIMUM | O = 22
T = 0.04 | (out)(err)
S = OPTIMUM | O = 22
T = 0.01 | (out)(err)
S = OPTIMUM | O = 22
T = 0.02 | (out)(err)
cnf3.150.300.195563.cnf.wcnf S = OPTIMUM | O = 20
T = 287.72 | (out)(err)
S = OPTIMUM | O = 20
T = 178.73 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
S = N/A | O = 21
T = Time Out | (out)(err)
S = OPTIMUM | O = 20
T = 239.31 | (out)(err)
S = OPTIMUM | O = 20
T = 297.33 | (out)(err)
S = OPTIMUM | O = 20
T = 0.02 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
S = OPTIMUM | O = 20
T = 0.02 | (out)(err)
cnf3.150.300.195564.cnf.wcnf S = OPTIMUM | O = 26
T = 941.72 | (out)(err)
S = OPTIMUM | O = 26
T = 246.39 | (out)(err)
S = OPTIMUM | O = 26
T = 0.02 | (out)(err)
S = N/A | O = 29
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 471.15 | (out)(err)
S = OPTIMUM | O = 26
T = 461.48 | (out)(err)
S = OPTIMUM | O = 26
T = 0.02 | (out)(err)
S = OPTIMUM | O = 26
T = 0.01 | (out)(err)
S = OPTIMUM | O = 26
T = 0.02 | (out)(err)
cnf3.150.300.195565.cnf.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 1402.75 | (out)(err)
S = OPTIMUM | O = 27
T = 0.01 | (out)(err)
S = N/A | O = 31
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 = 27
T = 0.02 | (out)(err)
S = OPTIMUM | O = 27
T = 0.01 | (out)(err)
S = OPTIMUM | O = 27
T = 0.02 | (out)(err)
cnf3.150.300.195566.cnf.wcnf S = OPTIMUM | O = 21
T = 55.87 | (out)(err)
S = OPTIMUM | O = 21
T = 4.66 | (out)(err)
S = OPTIMUM | O = 21
T = 0.01 | (out)(err)
S = N/A | O = 22
T = Time Out | (out)(err)
S = OPTIMUM | O = 21
T = 31.66 | (out)(err)
S = OPTIMUM | O = 21
T = 29.73 | (out)(err)
S = OPTIMUM | O = 21
T = 0.01 | (out)(err)
S = OPTIMUM | O = 21
T = 0.01 | (out)(err)
S = OPTIMUM | O = 21
T = 0.02 | (out)(err)
cnf3.150.300.195567.cnf.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 231.47 | (out)(err)
S = OPTIMUM | O = 26
T = 0.02 | (out)(err)
S = N/A | O = 28
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 598.94 | (out)(err)
S = OPTIMUM | O = 26
T = 560.13 | (out)(err)
S = OPTIMUM | O = 26
T = 0.05 | (out)(err)
S = OPTIMUM | O = 26
T = 0.03 | (out)(err)
S = OPTIMUM | O = 26
T = 0.04 | (out)(err)
cnf3.150.300.195568.cnf.wcnf S = N/A | O = 25
T = 1783.49 | (out)(err)
S = OPTIMUM | O = 25
T = 497.02 | (out)(err)
S = OPTIMUM | O = 25
T = 0.03 | (out)(err)
S = N/A | O = 26
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 726.22 | (out)(err)
S = OPTIMUM | O = 25
T = 757.49 | (out)(err)
S = OPTIMUM | O = 25
T = 0.02 | (out)(err)
S = OPTIMUM | O = 25
T = 0.44 | (out)(err)
S = OPTIMUM | O = 25
T = 0.02 | (out)(err)
cnf3.150.300.195569.cnf.wcnf S = N/A | O = 28
T = 1790.23 | (out)(err)
S = OPTIMUM | O = 27
T = 797.27 | (out)(err)
S = OPTIMUM | O = 27
T = 235.97 | (out)(err)
S = N/A | O = 28
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 974.08 | (out)(err)
S = OPTIMUM | O = 27
T = 924.47 | (out)(err)
S = OPTIMUM | O = 27
T = 0.05 | (out)(err)
S = OPTIMUM | O = 27
T = 0.02 | (out)(err)
S = OPTIMUM | O = 27
T = 0.04 | (out)(err)
cnf3.150.300.195570.cnf.wcnf S = OPTIMUM | O = 20
T = 87.55 | (out)(err)
S = OPTIMUM | O = 20
T = 21.30 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
S = N/A | O = 20
T = Time Out | (out)(err)
S = OPTIMUM | O = 20
T = 138.03 | (out)(err)
S = OPTIMUM | O = 20
T = 128.70 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
S = OPTIMUM | O = 20
T = 0.01 | (out)(err)
S = OPTIMUM | O = 20
T = 0.02 | (out)(err)
cnf3.150.350.558416.cnf.wcnf S = OPTIMUM | O = 32
T = 1016.24 | (out)(err)
S = OPTIMUM | O = 32
T = 177.19 | (out)(err)
S = OPTIMUM | O = 32
T = 0.21 | (out)(err)
S = N/A | O = 36
T = Time Out | (out)(err)
S = OPTIMUM | O = 32
T = 764.32 | (out)(err)
S = OPTIMUM | O = 32
T = 793.41 | (out)(err)
S = OPTIMUM | O = 32
T = 0.10 | (out)(err)
S = OPTIMUM | O = 32
T = 0.05 | (out)(err)
S = OPTIMUM | O = 32
T = 0.04 | (out)(err)
cnf3.150.350.558417.cnf.wcnf S = N/A | O = 30
T = 1791.53 | (out)(err)
S = OPTIMUM | O = 30
T = 360.91 | (out)(err)
S = OPTIMUM | O = 30
T = 0.62 | (out)(err)
S = N/A | O = 30
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 590.90 | (out)(err)
S = OPTIMUM | O = 30
T = 502.09 | (out)(err)
S = OPTIMUM | O = 30
T = 0.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 0.24 | (out)(err)
cnf3.150.350.558418.cnf.wcnf S = N/A | O = N/A
T = 1784.39 | (out)(err)
S = OPTIMUM | O = 29
T = 161.25 | (out)(err)
S = OPTIMUM | O = 29
T = 0.03 | (out)(err)
S = N/A | O = 33
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 678.20 | (out)(err)
S = OPTIMUM | O = 29
T = 918.93 | (out)(err)
S = OPTIMUM | O = 29
T = 0.02 | (out)(err)
S = OPTIMUM | O = 29
T = 0.02 | (out)(err)
S = OPTIMUM | O = 29
T = 0.03 | (out)(err)
cnf3.150.350.558419.cnf.wcnf S = N/A | O = N/A
T = 1798.60 | (out)(err)
S = OPTIMUM | O = 29
T = 578.75 | (out)(err)
S = OPTIMUM | O = 29
T = 0.33 | (out)(err)
S = N/A | O = 29
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 791.74 | (out)(err)
S = OPTIMUM | O = 29
T = 768.42 | (out)(err)
S = OPTIMUM | O = 29
T = 0.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.04 | (out)(err)
cnf3.150.350.558420.cnf.wcnf S = N/A | O = N/A
T = 1782.93 | (out)(err)
S = OPTIMUM | O = 32
T = 321.98 | (out)(err)
S = OPTIMUM | O = 32
T = 14.07 | (out)(err)
S = N/A | O = 35
T = Time Out | (out)(err)
S = OPTIMUM | O = 32
T = 304.35 | (out)(err)
S = OPTIMUM | O = 32
T = 341.55 | (out)(err)
S = OPTIMUM | O = 32
T = 0.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 32
T = 0.06 | (out)(err)
cnf3.150.350.558421.cnf.wcnf S = N/A | O = N/A
T = 1798.24 | (out)(err)
S = OPTIMUM | O = 30
T = 219.80 | (out)(err)
S = OPTIMUM | O = 30
T = 16.42 | (out)(err)
S = N/A | O = 33
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 131.61 | (out)(err)
S = OPTIMUM | O = 30
T = 162.88 | (out)(err)
S = OPTIMUM | O = 30
T = 0.82 | (out)(err)
S = OPTIMUM | O = 30
T = 14.17 | (out)(err)
S = OPTIMUM | O = 30
T = 0.17 | (out)(err)
cnf3.150.350.558422.cnf.wcnf S = N/A | O = 30
T = 1794.29 | (out)(err)
S = OPTIMUM | O = 30
T = 681.38 | (out)(err)
S = OPTIMUM | O = 30
T = 0.13 | (out)(err)
S = N/A | O = 33
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 695.04 | (out)(err)
S = OPTIMUM | O = 30
T = 815.63 | (out)(err)
S = OPTIMUM | O = 30
T = 0.82 | (out)(err)
S = OPTIMUM | O = 30
T = 11.02 | (out)(err)
S = OPTIMUM | O = 30
T = 0.09 | (out)(err)
cnf3.150.350.558423.cnf.wcnf S = N/A | O = 26
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 97.44 | (out)(err)
S = OPTIMUM | O = 26
T = 0.02 | (out)(err)
S = N/A | O = 26
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 105.90 | (out)(err)
S = OPTIMUM | O = 26
T = 106.54 | (out)(err)
S = OPTIMUM | O = 26
T = 0.02 | (out)(err)
S = OPTIMUM | O = 26
T = 0.17 | (out)(err)
S = OPTIMUM | O = 26
T = 0.03 | (out)(err)
cnf3.150.350.558424.cnf.wcnf S = OPTIMUM | O = 24
T = 1124.38 | (out)(err)
S = OPTIMUM | O = 24
T = 29.17 | (out)(err)
S = OPTIMUM | O = 24
T = 0.04 | (out)(err)
S = N/A | O = 24
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 32.00 | (out)(err)
S = OPTIMUM | O = 24
T = 42.09 | (out)(err)
S = OPTIMUM | O = 24
T = 0.09 | (out)(err)
S = OPTIMUM | O = 24
T = 5.10 | (out)(err)
S = OPTIMUM | O = 24
T = 0.04 | (out)(err)
cnf3.150.350.558425.cnf.wcnf S = OPTIMUM | O = 27
T = 923.94 | (out)(err)
S = OPTIMUM | O = 27
T = 62.68 | (out)(err)
S = OPTIMUM | O = 27
T = 1.49 | (out)(err)
S = N/A | O = 27
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 186.38 | (out)(err)
S = OPTIMUM | O = 27
T = 237.07 | (out)(err)
S = OPTIMUM | O = 27
T = 0.03 | (out)(err)
S = OPTIMUM | O = 27
T = 0.03 | (out)(err)
S = OPTIMUM | O = 27
T = 0.03 | (out)(err)
cnf3.150.400.921271.cnf.wcnf S = N/A | O = 38
T = Time Out | (out)(err)
S = OPTIMUM | O = 38
T = 418.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 42
T = Time Out | (out)(err)
S = OPTIMUM | O = 38
T = 445.15 | (out)(err)
S = OPTIMUM | O = 38
T = 602.22 | (out)(err)
S = OPTIMUM | O = 38
T = 2.12 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 38
T = 59.40 | (out)(err)
cnf3.150.400.921272.cnf.wcnf S = N/A | O = 33
T = 1795.98 | (out)(err)
S = OPTIMUM | O = 33
T = 77.92 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 34
T = Time Out | (out)(err)
S = OPTIMUM | O = 33
T = 104.28 | (out)(err)
S = OPTIMUM | O = 33
T = 118.63 | (out)(err)
S = OPTIMUM | O = 33
T = 1.71 | (out)(err)
S = OPTIMUM | O = 33
T = 37.80 | (out)(err)
S = OPTIMUM | O = 33
T = 6.81 | (out)(err)
cnf3.150.400.921273.cnf.wcnf S = OPTIMUM | O = 31
T = 1733.44 | (out)(err)
S = OPTIMUM | O = 31
T = 66.37 | (out)(err)
S = OPTIMUM | O = 31
T = 113.81 | (out)(err)
S = N/A | O = 33
T = Time Out | (out)(err)
S = OPTIMUM | O = 31
T = 68.94 | (out)(err)
S = OPTIMUM | O = 31
T = 74.89 | (out)(err)
S = OPTIMUM | O = 31
T = 0.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 31
T = 0.67 | (out)(err)
cnf3.150.400.921274.cnf.wcnf S = OPTIMUM | O = 34
T = 1707.46 | (out)(err)
S = OPTIMUM | O = 34
T = 40.35 | (out)(err)
S = OPTIMUM | O = 34
T = 60.27 | (out)(err)
S = N/A | O = 36
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 48.84 | (out)(err)
S = OPTIMUM | O = 34
T = 56.37 | (out)(err)
S = OPTIMUM | O = 34
T = 0.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 0.06 | (out)(err)
cnf3.150.400.921275.cnf.wcnf S = N/A | O = N/A
T = 1792.04 | (out)(err)
S = OPTIMUM | O = 37
T = 394.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 37
T = Time Out | (out)(err)
S = OPTIMUM | O = 37
T = 386.82 | (out)(err)
S = OPTIMUM | O = 37
T = 477.85 | (out)(err)
S = OPTIMUM | O = 37
T = 12.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.400.921276.cnf.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 15.32 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 35
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 17.46 | (out)(err)
S = OPTIMUM | O = 34
T = 19.38 | (out)(err)
S = OPTIMUM | O = 34
T = 7.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.400.921277.cnf.wcnf S = OPTIMUM | O = 33
T = 1050.74 | (out)(err)
S = OPTIMUM | O = 33
T = 26.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 34
T = Time Out | (out)(err)
S = OPTIMUM | O = 33
T = 35.75 | (out)(err)
S = OPTIMUM | O = 33
T = 35.41 | (out)(err)
S = OPTIMUM | O = 33
T = 2.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 33
T = 109.89 | (out)(err)
cnf3.150.400.921278.cnf.wcnf S = OPTIMUM | O = 31
T = 404.73 | (out)(err)
S = OPTIMUM | O = 31
T = 21.85 | (out)(err)
S = OPTIMUM | O = 31
T = 289.72 | (out)(err)
S = N/A | O = 32
T = Time Out | (out)(err)
S = OPTIMUM | O = 31
T = 55.28 | (out)(err)
S = OPTIMUM | O = 31
T = 61.09 | (out)(err)
S = OPTIMUM | O = 31
T = 0.25 | (out)(err)
S = OPTIMUM | O = 31
T = 0.49 | (out)(err)
S = OPTIMUM | O = 31
T = 0.08 | (out)(err)
cnf3.150.400.921279.cnf.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 32.13 | (out)(err)
S = OPTIMUM | O = 28
T = 0.04 | (out)(err)
S = N/A | O = 31
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 76.22 | (out)(err)
S = OPTIMUM | O = 28
T = 76.31 | (out)(err)
S = OPTIMUM | O = 28
T = 0.07 | (out)(err)
S = OPTIMUM | O = 28
T = 38.86 | (out)(err)
S = OPTIMUM | O = 28
T = 0.04 | (out)(err)
cnf3.150.400.921280.cnf.wcnf S = OPTIMUM | O = 30
T = 355.99 | (out)(err)
S = OPTIMUM | O = 30
T = 8.04 | (out)(err)
S = OPTIMUM | O = 30
T = 0.09 | (out)(err)
S = N/A | O = 32
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 7.86 | (out)(err)
S = OPTIMUM | O = 30
T = 9.10 | (out)(err)
S = OPTIMUM | O = 30
T = 0.06 | (out)(err)
S = OPTIMUM | O = 30
T = 0.24 | (out)(err)
S = OPTIMUM | O = 30
T = 0.03 | (out)(err)
cnf3.150.450.284126.cnf.wcnf S = OPTIMUM | O = 43
T = 859.45 | (out)(err)
S = OPTIMUM | O = 43
T = 52.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 44
T = Time Out | (out)(err)
S = OPTIMUM | O = 43
T = 46.87 | (out)(err)
S = OPTIMUM | O = 43
T = 48.53 | (out)(err)
S = OPTIMUM | O = 43
T = 26.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 209.95 | (out)(err)
cnf3.150.450.284127.cnf.wcnf S = OPTIMUM | O = 34
T = 242.05 | (out)(err)
S = OPTIMUM | O = 34
T = 8.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 36
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 8.09 | (out)(err)
S = OPTIMUM | O = 34
T = 8.68 | (out)(err)
S = OPTIMUM | O = 34
T = 3.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.450.284128.cnf.wcnf S = OPTIMUM | O = 34
T = 565.26 | (out)(err)
S = OPTIMUM | O = 34
T = 13.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 35
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 13.65 | (out)(err)
S = OPTIMUM | O = 34
T = 16.09 | (out)(err)
S = OPTIMUM | O = 34
T = 2.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 13.46 | (out)(err)
cnf3.150.450.284129.cnf.wcnf S = OPTIMUM | O = 33
T = 259.65 | (out)(err)
S = OPTIMUM | O = 33
T = 14.41 | (out)(err)
S = OPTIMUM | O = 33
T = 124.24 | (out)(err)
S = N/A | O = 37
T = Time Out | (out)(err)
S = OPTIMUM | O = 33
T = 28.57 | (out)(err)
S = OPTIMUM | O = 33
T = 32.84 | (out)(err)
S = OPTIMUM | O = 33
T = 0.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 33
T = 0.13 | (out)(err)
cnf3.150.450.284130.cnf.wcnf S = OPTIMUM | O = 36
T = 162.41 | (out)(err)
S = OPTIMUM | O = 36
T = 6.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 36
T = Time Out | (out)(err)
S = OPTIMUM | O = 36
T = 22.02 | (out)(err)
S = OPTIMUM | O = 36
T = 25.17 | (out)(err)
S = OPTIMUM | O = 36
T = 8.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 36
T = 15.05 | (out)(err)
cnf3.150.450.284131.cnf.wcnf S = OPTIMUM | O = 31
T = 722.75 | (out)(err)
S = OPTIMUM | O = 31
T = 9.98 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 32
T = Time Out | (out)(err)
S = OPTIMUM | O = 31
T = 13.62 | (out)(err)
S = OPTIMUM | O = 31
T = 18.14 | (out)(err)
S = OPTIMUM | O = 31
T = 0.75 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 31
T = 2.03 | (out)(err)
cnf3.150.450.284132.cnf.wcnf S = OPTIMUM | O = 31
T = 320.47 | (out)(err)
S = OPTIMUM | O = 31
T = 9.93 | (out)(err)
S = OPTIMUM | O = 31
T = 497.63 | (out)(err)
S = N/A | O = 34
T = Time Out | (out)(err)
S = OPTIMUM | O = 31
T = 14.83 | (out)(err)
S = OPTIMUM | O = 31
T = 17.02 | (out)(err)
S = OPTIMUM | O = 31
T = 0.05 | (out)(err)
S = OPTIMUM | O = 31
T = 13.79 | (out)(err)
S = OPTIMUM | O = 31
T = 0.04 | (out)(err)
cnf3.150.450.284133.cnf.wcnf S = OPTIMUM | O = 39
T = 172.06 | (out)(err)
S = OPTIMUM | O = 39
T = 12.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 39
T = Time Out | (out)(err)
S = OPTIMUM | O = 39
T = 14.93 | (out)(err)
S = OPTIMUM | O = 39
T = 15.46 | (out)(err)
S = OPTIMUM | O = 39
T = 12.81 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.450.284134.cnf.wcnf S = OPTIMUM | O = 39
T = 255.75 | (out)(err)
S = OPTIMUM | O = 39
T = 87.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 41
T = Time Out | (out)(err)
S = OPTIMUM | O = 39
T = 106.16 | (out)(err)
S = OPTIMUM | O = 39
T = 100.79 | (out)(err)
S = OPTIMUM | O = 39
T = 36.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.450.284135.cnf.wcnf S = OPTIMUM | O = 35
T = 1684.74 | (out)(err)
S = OPTIMUM | O = 35
T = 37.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 38
T = Time Out | (out)(err)
S = OPTIMUM | O = 35
T = 39.08 | (out)(err)
S = OPTIMUM | O = 35
T = 46.44 | (out)(err)
S = OPTIMUM | O = 35
T = 1.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 35
T = 1.05 | (out)(err)
cnf3.150.500.646981.cnf.wcnf S = OPTIMUM | O = 47
T = 38.71 | (out)(err)
S = OPTIMUM | O = 47
T = 22.89 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 47
T = 178.84 | (out)(err)
S = OPTIMUM | O = 47
T = 50.79 | (out)(err)
S = OPTIMUM | O = 47
T = 36.12 | (out)(err)
S = OPTIMUM | O = 47
T = 103.75 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 256.85 | (out)(err)
cnf3.150.500.646982.cnf.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 46
T = 10.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 46
T = 178.31 | (out)(err)
S = OPTIMUM | O = 46
T = 7.41 | (out)(err)
S = OPTIMUM | O = 46
T = 9.12 | (out)(err)
S = OPTIMUM | O = 46
T = 80.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.500.646983.cnf.wcnf S = OPTIMUM | O = 47
T = 304.05 | (out)(err)
S = OPTIMUM | O = 47
T = 54.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 47
T = Time Out | (out)(err)
S = OPTIMUM | O = 47
T = 47.51 | (out)(err)
S = OPTIMUM | O = 47
T = 65.48 | (out)(err)
S = OPTIMUM | O = 47
T = 346.29 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.500.646984.cnf.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 42
T = 4.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 42
T = 498.30 | (out)(err)
S = OPTIMUM | O = 42
T = 9.21 | (out)(err)
S = OPTIMUM | O = 42
T = 8.60 | (out)(err)
S = OPTIMUM | O = 42
T = 29.13 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 283.59 | (out)(err)
cnf3.150.500.646985.cnf.wcnf S = N/A | O = 53
T = Time Out | (out)(err)
S = OPTIMUM | O = 53
T = 11.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 53
T = 147.68 | (out)(err)
S = OPTIMUM | O = 53
T = 9.06 | (out)(err)
S = OPTIMUM | O = 53
T = 12.71 | (out)(err)
S = OPTIMUM | O = 53
T = 130.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 233.42 | (out)(err)
cnf3.150.500.646986.cnf.wcnf S = N/A | O = 47
T = Time Out | (out)(err)
S = OPTIMUM | O = 47
T = 7.43 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 47
T = 79.30 | (out)(err)
S = OPTIMUM | O = 47
T = 9.31 | (out)(err)
S = OPTIMUM | O = 47
T = 7.34 | (out)(err)
S = OPTIMUM | O = 47
T = 42.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 218.04 | (out)(err)
cnf3.150.500.646987.cnf.wcnf S = OPTIMUM | O = 43
T = 20.96 | (out)(err)
S = OPTIMUM | O = 43
T = 3.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 43
T = 37.44 | (out)(err)
S = OPTIMUM | O = 43
T = 3.66 | (out)(err)
S = OPTIMUM | O = 43
T = 3.52 | (out)(err)
S = OPTIMUM | O = 43
T = 32.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 225.35 | (out)(err)
cnf3.150.500.646988.cnf.wcnf S = OPTIMUM | O = 41
T = 1753.75 | (out)(err)
S = OPTIMUM | O = 41
T = 3.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 41
T = 83.47 | (out)(err)
S = OPTIMUM | O = 41
T = 5.70 | (out)(err)
S = OPTIMUM | O = 41
T = 7.41 | (out)(err)
S = OPTIMUM | O = 41
T = 18.47 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.500.646989.cnf.wcnf S = OPTIMUM | O = 49
T = 957.52 | (out)(err)
S = OPTIMUM | O = 49
T = 9.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 49
T = 143.31 | (out)(err)
S = OPTIMUM | O = 49
T = 14.26 | (out)(err)
S = OPTIMUM | O = 49
T = 10.02 | (out)(err)
S = OPTIMUM | O = 49
T = 103.53 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 240.01 | (out)(err)
cnf3.150.500.646990.cnf.wcnf S = OPTIMUM | O = 44
T = 1694.52 | (out)(err)
S = OPTIMUM | O = 44
T = 8.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 44
T = 127.95 | (out)(err)
S = OPTIMUM | O = 44
T = 9.46 | (out)(err)
S = OPTIMUM | O = 44
T = 12.41 | (out)(err)
S = OPTIMUM | O = 44
T = 63.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 224.97 | (out)(err)
cnf3.150.550.009836.cnf.wcnf S = OPTIMUM | O = 54
T = 39.79 | (out)(err)
S = OPTIMUM | O = 54
T = 2.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 54
T = 3.51 | (out)(err)
S = OPTIMUM | O = 54
T = 1.65 | (out)(err)
S = OPTIMUM | O = 54
T = 2.29 | (out)(err)
S = OPTIMUM | O = 54
T = 30.71 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 302.07 | (out)(err)
cnf3.150.550.009837.cnf.wcnf S = OPTIMUM | O = 52
T = 611.83 | (out)(err)
S = OPTIMUM | O = 52
T = 10.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 52
T = 18.75 | (out)(err)
S = OPTIMUM | O = 52
T = 13.81 | (out)(err)
S = OPTIMUM | O = 52
T = 13.10 | (out)(err)
S = OPTIMUM | O = 52
T = 70.53 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 202.88 | (out)(err)
cnf3.150.550.009838.cnf.wcnf S = OPTIMUM | O = 45
T = 297.51 | (out)(err)
S = OPTIMUM | O = 45
T = 3.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 45
T = 15.06 | (out)(err)
S = OPTIMUM | O = 45
T = 6.94 | (out)(err)
S = OPTIMUM | O = 45
T = 5.40 | (out)(err)
S = OPTIMUM | O = 45
T = 24.42 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.550.009839.cnf.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 39
T = 6.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 39
T = 185.55 | (out)(err)
S = OPTIMUM | O = 39
T = 6.72 | (out)(err)
S = OPTIMUM | O = 39
T = 7.47 | (out)(err)
S = OPTIMUM | O = 39
T = 7.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 39
T = 156.70 | (out)(err)
cnf3.150.550.009840.cnf.wcnf S = OPTIMUM | O = 52
T = 76.55 | (out)(err)
S = OPTIMUM | O = 52
T = 6.69 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 52
T = 14.75 | (out)(err)
S = OPTIMUM | O = 52
T = 9.15 | (out)(err)
S = OPTIMUM | O = 52
T = 7.01 | (out)(err)
S = OPTIMUM | O = 52
T = 60.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 214.65 | (out)(err)
cnf3.150.550.009841.cnf.wcnf S = OPTIMUM | O = 57
T = 260.86 | (out)(err)
S = OPTIMUM | O = 57
T = 5.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 57
T = 23.83 | (out)(err)
S = OPTIMUM | O = 57
T = 9.87 | (out)(err)
S = OPTIMUM | O = 57
T = 8.77 | (out)(err)
S = OPTIMUM | O = 57
T = 84.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.550.009842.cnf.wcnf S = OPTIMUM | O = 45
T = 1290.53 | (out)(err)
S = OPTIMUM | O = 45
T = 4.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 45
T = 12.44 | (out)(err)
S = OPTIMUM | O = 45
T = 8.72 | (out)(err)
S = OPTIMUM | O = 45
T = 6.27 | (out)(err)
S = OPTIMUM | O = 45
T = 31.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.550.009843.cnf.wcnf S = OPTIMUM | O = 40
T = 12.68 | (out)(err)
S = OPTIMUM | O = 40
T = 2.69 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 40
T = 13.41 | (out)(err)
S = OPTIMUM | O = 40
T = 2.99 | (out)(err)
S = OPTIMUM | O = 40
T = 3.40 | (out)(err)
S = OPTIMUM | O = 40
T = 9.95 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 244.06 | (out)(err)
cnf3.150.550.009844.cnf.wcnf S = OPTIMUM | O = 47
T = 31.10 | (out)(err)
S = OPTIMUM | O = 47
T = 9.47 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 47
T = 36.36 | (out)(err)
S = OPTIMUM | O = 47
T = 7.10 | (out)(err)
S = OPTIMUM | O = 47
T = 11.64 | (out)(err)
S = OPTIMUM | O = 47
T = 58.37 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 229.36 | (out)(err)
cnf3.150.550.009845.cnf.wcnf S = OPTIMUM | O = 50
T = 12.63 | (out)(err)
S = OPTIMUM | O = 50
T = 3.55 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 50
T = 18.28 | (out)(err)
S = OPTIMUM | O = 50
T = 3.76 | (out)(err)
S = OPTIMUM | O = 50
T = 4.60 | (out)(err)
S = OPTIMUM | O = 50
T = 61.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 264.06 | (out)(err)
cnf3.150.600.372691.cnf.wcnf S = OPTIMUM | O = 63
T = 17.43 | (out)(err)
S = OPTIMUM | O = 63
T = 1.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 63
T = 2.05 | (out)(err)
S = OPTIMUM | O = 63
T = 1.15 | (out)(err)
S = OPTIMUM | O = 63
T = 1.03 | (out)(err)
S = OPTIMUM | O = 63
T = 24.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 182.04 | (out)(err)
cnf3.150.600.372692.cnf.wcnf S = OPTIMUM | O = 49
T = 112.55 | (out)(err)
S = OPTIMUM | O = 49
T = 3.87 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 49
T = 4.13 | (out)(err)
S = OPTIMUM | O = 49
T = 4.71 | (out)(err)
S = OPTIMUM | O = 49
T = 4.27 | (out)(err)
S = OPTIMUM | O = 49
T = 16.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.600.372693.cnf.wcnf S = OPTIMUM | O = 69
T = 8.48 | (out)(err)
S = OPTIMUM | O = 69
T = 0.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 69
T = 1.30 | (out)(err)
S = OPTIMUM | O = 69
T = 0.47 | (out)(err)
S = OPTIMUM | O = 69
T = 0.48 | (out)(err)
S = OPTIMUM | O = 69
T = 20.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.600.372694.cnf.wcnf S = OPTIMUM | O = 62
T = 11.87 | (out)(err)
S = OPTIMUM | O = 62
T = 0.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 62
T = 1.71 | (out)(err)
S = OPTIMUM | O = 62
T = 0.63 | (out)(err)
S = OPTIMUM | O = 62
T = 0.63 | (out)(err)
S = OPTIMUM | O = 62
T = 15.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 205.85 | (out)(err)
cnf3.150.600.372695.cnf.wcnf S = OPTIMUM | O = 53
T = 19.30 | (out)(err)
S = OPTIMUM | O = 53
T = 1.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 53
T = 2.56 | (out)(err)
S = OPTIMUM | O = 53
T = 1.11 | (out)(err)
S = OPTIMUM | O = 53
T = 1.00 | (out)(err)
S = OPTIMUM | O = 53
T = 11.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.600.372696.cnf.wcnf S = OPTIMUM | O = 53
T = 222.44 | (out)(err)
S = OPTIMUM | O = 53
T = 1.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 53
T = 3.06 | (out)(err)
S = OPTIMUM | O = 53
T = 1.29 | (out)(err)
S = OPTIMUM | O = 53
T = 1.41 | (out)(err)
S = OPTIMUM | O = 53
T = 15.81 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.600.372697.cnf.wcnf S = OPTIMUM | O = 46
T = 82.92 | (out)(err)
S = OPTIMUM | O = 46
T = 2.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 46
T = 6.49 | (out)(err)
S = OPTIMUM | O = 46
T = 2.08 | (out)(err)
S = OPTIMUM | O = 46
T = 2.54 | (out)(err)
S = OPTIMUM | O = 46
T = 24.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.600.372698.cnf.wcnf S = OPTIMUM | O = 57
T = 20.49 | (out)(err)
S = OPTIMUM | O = 57
T = 4.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 57
T = 4.80 | (out)(err)
S = OPTIMUM | O = 57
T = 4.03 | (out)(err)
S = OPTIMUM | O = 57
T = 5.12 | (out)(err)
S = OPTIMUM | O = 57
T = 29.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
cnf3.150.600.372699.cnf.wcnf S = OPTIMUM | O = 65
T = 13.50 | (out)(err)
S = OPTIMUM | O = 65
T = 1.12 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 65
T = 1.93 | (out)(err)
S = OPTIMUM | O = 65
T = 0.70 | (out)(err)
S = OPTIMUM | O = 65
T = 0.82 | (out)(err)
S = OPTIMUM | O = 65
T = 18.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 258.67 | (out)(err)
cnf3.150.600.372700.cnf.wcnf S = OPTIMUM | O = 60
T = 45.74 | (out)(err)
S = OPTIMUM | O = 60
T = 1.87 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 60
T = 2.86 | (out)(err)
S = OPTIMUM | O = 60
T = 1.39 | (out)(err)
S = OPTIMUM | O = 60
T = 1.55 | (out)(err)
S = OPTIMUM | O = 60
T = 26.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
3col100_5_1.shuffled.cnf.wcnf S = N/A | O = 100
T = Time Out | (out)(err)
S = OPTIMUM | O = 100
T = 3.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 100
T = 1.48 | (out)(err)
S = OPTIMUM | O = 100
T = 3.13 | (out)(err)
S = OPTIMUM | O = 100
T = 2.84 | (out)(err)
S = OPTIMUM | O = 100
T = 86.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
3col100_5_10.shuffled.cnf.wcnf S = OPTIMUM | O = 94
T = 1441.17 | (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 = 94
T = 1.62 | (out)(err)
S = OPTIMUM | O = 94
T = 3.61 | (out)(err)
S = OPTIMUM | O = 94
T = 2.54 | (out)(err)
S = OPTIMUM | O = 94
T = 81.67 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
3col100_5_2.shuffled.cnf.wcnf S = OPTIMUM | O = 104
T = 828.25 | (out)(err)
S = OPTIMUM | O = 104
T = 3.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 104
T = 1.75 | (out)(err)
S = OPTIMUM | O = 104
T = 3.95 | (out)(err)
S = OPTIMUM | O = 104
T = 3.27 | (out)(err)
S = OPTIMUM | O = 104
T = 92.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
3col100_5_3.shuffled.cnf.wcnf S = OPTIMUM | O = 92
T = 982.60 | (out)(err)
S = OPTIMUM | O = 92
T = 2.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 92
T = 1.66 | (out)(err)
S = OPTIMUM | O = 92
T = 2.29 | (out)(err)
S = OPTIMUM | O = 92
T = 2.69 | (out)(err)
S = OPTIMUM | O = 92
T = 68.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 229.96 | (out)(err)
3col100_5_4.shuffled.cnf.wcnf S = OPTIMUM | O = 97
T = 675.27 | (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 = 97
T = 1.48 | (out)(err)
S = OPTIMUM | O = 97
T = 3.60 | (out)(err)
S = OPTIMUM | O = 97
T = 2.28 | (out)(err)
S = OPTIMUM | O = 97
T = 69.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 385.59 | (out)(err)
3col100_5_5.shuffled.cnf.wcnf S = OPTIMUM | O = 86
T = 1559.09 | (out)(err)
S = OPTIMUM | O = 86
T = 3.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 86
T = 1.59 | (out)(err)
S = OPTIMUM | O = 86
T = 3.60 | (out)(err)
S = OPTIMUM | O = 86
T = 2.63 | (out)(err)
S = OPTIMUM | O = 86
T = 59.29 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 273.82 | (out)(err)
3col100_5_6.shuffled.cnf.wcnf S = OPTIMUM | O = 90
T = 837.79 | (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 = 1.52 | (out)(err)
S = OPTIMUM | O = 90
T = 2.47 | (out)(err)
S = OPTIMUM | O = 90
T = 1.67 | (out)(err)
S = OPTIMUM | O = 90
T = 97.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 261.45 | (out)(err)
3col100_5_7.shuffled.cnf.wcnf S = OPTIMUM | O = 85
T = 1026.24 | (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 = 85
T = 1.84 | (out)(err)
S = OPTIMUM | O = 85
T = 5.58 | (out)(err)
S = OPTIMUM | O = 85
T = 2.51 | (out)(err)
S = OPTIMUM | O = 85
T = 37.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 511.10 | (out)(err)
3col100_5_8.shuffled.cnf.wcnf S = N/A | O = 94
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 = 94
T = 1.70 | (out)(err)
S = OPTIMUM | O = 94
T = 3.26 | (out)(err)
S = OPTIMUM | O = 94
T = 3.76 | (out)(err)
S = OPTIMUM | O = 94
T = 135.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
3col100_5_9.shuffled.cnf.wcnf S = OPTIMUM | O = 94
T = 597.14 | (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 = 94
T = 1.70 | (out)(err)
S = OPTIMUM | O = 94
T = 3.37 | (out)(err)
S = OPTIMUM | O = 94
T = 1.41 | (out)(err)
S = OPTIMUM | O = 94
T = 72.97 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 211.90 | (out)(err)
3col120_5_1.shuffled.cnf.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 123
T = 93.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 123
T = 6.44 | (out)(err)
S = OPTIMUM | O = 123
T = 132.12 | (out)(err)
S = OPTIMUM | O = 123
T = 62.60 | (out)(err)
S = OPTIMUM | O = 123
T = 711.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 453.62 | (out)(err)
3col120_5_10.shuffled.cnf.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 125
T = 94.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 125
T = 7.38 | (out)(err)
S = OPTIMUM | O = 125
T = 105.53 | (out)(err)
S = OPTIMUM | O = 125
T = 93.16 | (out)(err)
S = OPTIMUM | O = 125
T = 555.46 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
3col120_5_2.shuffled.cnf.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 124
T = 102.98 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 124
T = 6.03 | (out)(err)
S = OPTIMUM | O = 124
T = 155.60 | (out)(err)
S = OPTIMUM | O = 124
T = 103.98 | (out)(err)
S = OPTIMUM | O = 124
T = 644.87 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 398.13 | (out)(err)
3col120_5_3.shuffled.cnf.wcnf S = N/A | O = N/A
T = 1797.27 | (out)(err)
S = OPTIMUM | O = 119
T = 127.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 119
T = 7.42 | (out)(err)
S = OPTIMUM | O = 119
T = 188.54 | (out)(err)
S = OPTIMUM | O = 119
T = 132.57 | (out)(err)
S = OPTIMUM | O = 119
T = 950.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 255.30 | (out)(err)
3col120_5_4.shuffled.cnf.wcnf 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 = 122
T = 5.51 | (out)(err)
S = OPTIMUM | O = 122
T = 112.14 | (out)(err)
S = OPTIMUM | O = 122
T = 117.74 | (out)(err)
S = OPTIMUM | O = 122
T = 802.37 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 428.44 | (out)(err)
3col120_5_5.shuffled.cnf.wcnf 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 = 112
T = 5.68 | (out)(err)
S = OPTIMUM | O = 112
T = 119.11 | (out)(err)
S = OPTIMUM | O = 112
T = 105.15 | (out)(err)
S = OPTIMUM | O = 112
T = 745.95 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
3col120_5_6.shuffled.cnf.wcnf 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 = 121
T = 7.27 | (out)(err)
S = OPTIMUM | O = 121
T = 99.67 | (out)(err)
S = OPTIMUM | O = 121
T = 99.15 | (out)(err)
S = OPTIMUM | O = 121
T = 622.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 551.45 | (out)(err)
3col120_5_7.shuffled.cnf.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 120
T = 150.77 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 120
T = 6.23 | (out)(err)
S = OPTIMUM | O = 120
T = 190.07 | (out)(err)
S = OPTIMUM | O = 120
T = 148.68 | (out)(err)
S = OPTIMUM | O = 120
T = 630.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
3col120_5_8.shuffled.cnf.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 110
T = 82.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 110
T = 7.64 | (out)(err)
S = OPTIMUM | O = 110
T = 223.58 | (out)(err)
S = OPTIMUM | O = 110
T = 78.17 | (out)(err)
S = OPTIMUM | O = 110
T = 605.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 316.42 | (out)(err)
3col120_5_9.shuffled.cnf.wcnf S = N/A | O = N/A
T = 1798.50 | (out)(err)
S = OPTIMUM | O = 117
T = 62.52 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 117
T = 4.79 | (out)(err)
S = OPTIMUM | O = 117
T = 111.18 | (out)(err)
S = OPTIMUM | O = 117
T = 74.56 | (out)(err)
S = OPTIMUM | O = 117
T = 672.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 369.63 | (out)(err)
3col140_5_1.shuffled.cnf.wcnf 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 = 121
T = 10.63 | (out)(err)
S = OPTIMUM | O = 121
T = 464.31 | (out)(err)
S = OPTIMUM | O = 121
T = 290.49 | (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)
3col140_5_10.shuffled.cnf.wcnf S = N/A | O = 132
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 = 122
T = 12.46 | (out)(err)
S = OPTIMUM | O = 122
T = 1302.48 | (out)(err)
S = OPTIMUM | O = 122
T = 450.65 | (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)
3col140_5_2.shuffled.cnf.wcnf S = N/A | O = N/A
T = Time Out | (