| Label | Meaning |
|---|---|
| S | Solution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
| O | Best solution found |
| T | CPU time (TO for Time Out) |
| (out)(err) | Standard output and standard error for each solver |
| Color | Meaning for Complete Solvers | Meaning for Incomplete Solvers |
|---|---|---|
| Text | Best solver column | Best solver column |
| Text | Optimal solution with the best CPU time | Best solution with the best CPU time |
| Text | Optimal solution and finished within the Time Out | Best solution without the best CPU time |
| Text | Optimal solution and did not finish within the Time Out | Solution found but not the best |
| Text | Time Out | Time Out |
| Text | Buggy solution | Buggy solution |
| Instance file name | Best solver | ISAC+-2016-in |
|---|---|---|
| s2v120c1200-1.cnf | O = 161 T = 6.10 |
O = 161 T = 6.10 |
| s2v120c1200-2.cnf | O = 159 T = 6.07 |
O = 159 T = 6.07 |
| s2v120c1200-3.cnf | O = 160 T = 6.41 |
O = 160 T = 6.41 |
| s2v120c1300-1.cnf | O = 180 T = 6.30 |
O = 180 T = 6.30 |
| s2v120c1300-2.cnf | O = 172 T = 6.55 |
O = 172 T = 6.55 |
| s2v120c1300-3.cnf | O = 173 T = 6.23 |
O = 173 T = 6.23 |
| s2v120c1400-1.cnf | O = 197 T = 6.56 |
O = 197 T = 6.56 |
| s2v120c1400-2.cnf | O = 191 T = 6.14 |
O = 191 T = 6.14 |
| s2v120c1400-3.cnf | O = 189 T = 6.16 |
O = 189 T = 6.16 |
| s2v120c1500-1.cnf | O = 211 T = 5.98 |
O = 211 T = 5.98 |
| s2v120c1500-2.cnf | O = 213 T = 6.11 |
O = 213 T = 6.11 |
| s2v120c1500-3.cnf | O = 207 T = 6.38 |
O = 207 T = 6.38 |
| s2v120c1600-1.cnf | O = 233 T = 6.22 |
O = 233 T = 6.22 |
| s2v120c1600-2.cnf | O = 239 T = 5.97 |
O = 239 T = 5.97 |
| s2v120c1600-3.cnf | O = 233 T = 6.15 |
O = 233 T = 6.15 |
| s2v120c1700-1.cnf | O = 257 T = 6.06 |
O = 257 T = 6.06 |
| s2v120c1700-2.cnf | O = 248 T = 6.04 |
O = 248 T = 6.04 |
| s2v120c1700-3.cnf | O = 239 T = 5.98 |
O = 239 T = 5.98 |
| s2v120c1800-1.cnf | O = 291 T = 6.30 |
O = 291 T = 6.30 |
| s2v120c1800-2.cnf | O = 262 T = 6.16 |
O = 262 T = 6.16 |
| s2v120c1800-3.cnf | O = 279 T = 5.98 |
O = 279 T = 5.98 |
| s2v120c1900-1.cnf | O = 293 T = 6.16 |
O = 293 T = 6.16 |
| s2v120c1900-2.cnf | O = 296 T = 6.36 |
O = 296 T = 6.36 |
| s2v120c1900-3.cnf | O = 294 T = 6.00 |
O = 294 T = 6.00 |
| s2v120c2000-1.cnf | O = 307 T = 6.18 |
O = 307 T = 6.18 |
| s2v120c2000-2.cnf | O = 321 T = 6.48 |
O = 321 T = 6.48 |
| s2v120c2000-3.cnf | O = 307 T = 6.31 |
O = 307 T = 6.31 |
| s2v120c2100-1.cnf | O = 336 T = 6.00 |
O = 336 T = 6.00 |
| s2v120c2100-2.cnf | O = 336 T = 6.13 |
O = 336 T = 6.13 |
| s2v120c2100-3.cnf | O = 332 T = 5.97 |
O = 332 T = 5.97 |
| s2v120c2200-1.cnf | O = 358 T = 6.23 |
O = 358 T = 6.23 |
| s2v120c2200-2.cnf | O = 371 T = 6.04 |
O = 371 T = 6.04 |
| s2v120c2200-3.cnf | O = 359 T = 6.06 |
O = 359 T = 6.06 |
| s2v120c2300-1.cnf | O = 380 T = 5.92 |
O = 380 T = 5.92 |
| s2v120c2300-2.cnf | O = 383 T = 6.36 |
O = 383 T = 6.36 |
| s2v120c2300-3.cnf | O = 365 T = 6.01 |
O = 365 T = 6.01 |
| s2v120c2400-1.cnf | O = 389 T = 6.52 |
O = 389 T = 6.52 |
| s2v120c2400-2.cnf | O = 402 T = 6.25 |
O = 402 T = 6.25 |
| s2v120c2400-3.cnf | O = 380 T = 6.27 |
O = 380 T = 6.27 |
| s2v120c2500-1.cnf | O = 418 T = 6.39 |
O = 418 T = 6.39 |
| s2v120c2500-2.cnf | O = 435 T = 6.42 |
O = 435 T = 6.42 |
| s2v120c2500-3.cnf | O = 425 T = 6.22 |
O = 425 T = 6.22 |
| s2v120c2600-1.cnf | O = 439 T = 6.21 |
O = 439 T = 6.21 |
| s2v120c2600-2.cnf | O = 458 T = 6.30 |
O = 458 T = 6.30 |
| s2v120c2600-3.cnf | O = 440 T = 6.15 |
O = 440 T = 6.15 |
| s2v140c1200-1.cnf | O = 144 T = 6.02 |
O = 144 T = 6.02 |
| s2v140c1200-2.cnf | O = 155 T = 6.42 |
O = 155 T = 6.42 |
| s2v140c1200-3.cnf | O = 155 T = 6.03 |
O = 155 T = 6.03 |
| s2v140c1300-1.cnf | O = 162 T = 6.34 |
O = 162 T = 6.34 |
| s2v140c1300-2.cnf | O = 171 T = 6.09 |
O = 171 T = 6.09 |
| s2v140c1300-3.cnf | O = 168 T = 6.61 |
O = 168 T = 6.61 |
| s2v140c1400-1.cnf | O = 182 T = 6.24 |
O = 182 T = 6.24 |
| s2v140c1400-2.cnf | O = 178 T = 5.97 |
O = 178 T = 5.97 |
| s2v140c1400-3.cnf | O = 193 T = 6.26 |
O = 193 T = 6.26 |
| s2v140c1500-1.cnf | O = 205 T = 6.33 |
O = 205 T = 6.33 |
| s2v140c1500-2.cnf | O = 199 T = 6.26 |
O = 199 T = 6.26 |
| s2v140c1500-3.cnf | O = 212 T = 6.44 |
O = 212 T = 6.44 |
| s2v140c1600-1.cnf | O = 221 T = 6.32 |
O = 221 T = 6.32 |
| s2v140c1600-2.cnf | O = 221 T = 6.28 |
O = 221 T = 6.28 |
| s2v140c1600-3.cnf | O = 226 T = 6.12 |
O = 226 T = 6.12 |
| s2v140c1700-1.cnf | O = 254 T = 6.66 |
O = 254 T = 6.66 |
| s2v140c1700-2.cnf | O = 242 T = 6.28 |
O = 242 T = 6.28 |
| s2v140c1700-3.cnf | O = 236 T = 6.01 |
O = 236 T = 6.01 |
| s2v140c1800-1.cnf | O = 254 T = 6.17 |
O = 254 T = 6.17 |
| s2v140c1800-2.cnf | O = 257 T = 6.49 |
O = 257 T = 6.49 |
| s2v140c1800-3.cnf | O = 255 T = 6.35 |
O = 255 T = 6.35 |
| s2v140c1900-1.cnf | O = 283 T = 6.39 |
O = 283 T = 6.39 |
| s2v140c1900-2.cnf | O = 273 T = 6.02 |
O = 273 T = 6.02 |
| s2v140c1900-3.cnf | O = 278 T = 6.36 |
O = 278 T = 6.36 |
| s2v140c2000-1.cnf | O = 298 T = 6.26 |
O = 298 T = 6.26 |
| s2v140c2000-2.cnf | O = 308 T = 6.17 |
O = 308 T = 6.17 |
| s2v140c2000-3.cnf | O = 296 T = 6.09 |
O = 296 T = 6.09 |
| s2v140c2100-1.cnf | O = 293 T = 6.10 |
O = 293 T = 6.10 |
| s2v140c2100-2.cnf | O = 310 T = 6.61 |
O = 310 T = 6.61 |
| s2v140c2100-3.cnf | O = 319 T = 6.12 |
O = 319 T = 6.12 |
| s2v140c2200-1.cnf | O = 336 T = 6.37 |
O = 336 T = 6.37 |
| s2v140c2200-2.cnf | O = 332 T = 6.02 |
O = 332 T = 6.02 |
| s2v140c2200-3.cnf | O = 329 T = 6.23 |
O = 329 T = 6.23 |
| s2v140c2300-1.cnf | O = 359 T = 6.41 |
O = 359 T = 6.41 |
| s2v140c2300-2.cnf | O = 365 T = 6.21 |
O = 365 T = 6.21 |
| s2v140c2300-3.cnf | O = 352 T = 6.20 |
O = 352 T = 6.20 |
| s2v140c2400-1.cnf | O = 388 T = 6.39 |
O = 388 T = 6.39 |
| s2v140c2400-2.cnf | O = 388 T = 6.14 |
O = 388 T = 6.14 |
| s2v140c2400-3.cnf | O = 381 T = 6.27 |
O = 381 T = 6.27 |
| s2v140c2500-1.cnf | O = 393 T = 6.15 |
O = 393 T = 6.15 |
| s2v140c2500-2.cnf | O = 407 T = 6.21 |
O = 407 T = 6.21 |
| s2v140c2500-3.cnf | O = 398 T = 6.49 |
O = 398 T = 6.49 |
| s2v140c2600-1.cnf | O = 422 T = 6.27 |
O = 422 T = 6.27 |
| s2v140c2600-2.cnf | O = 425 T = 6.64 |
O = 425 T = 6.64 |
| s2v140c2600-3.cnf | O = 406 T = 6.60 |
O = 406 T = 6.60 |
| s2v160c1200-1.cnf | O = 142 T = 6.25 |
O = 142 T = 6.25 |
| s2v160c1200-2.cnf | O = 133 T = 6.33 |
O = 133 T = 6.33 |
| s2v160c1200-3.cnf | O = 143 T = 6.06 |
O = 143 T = 6.06 |
| s2v160c1300-1.cnf | O = 167 T = 6.57 |
O = 167 T = 6.57 |
| s2v160c1300-2.cnf | O = 139 T = 6.45 |
O = 139 T = 6.45 |
| s2v160c1300-3.cnf | O = 157 T = 6.00 |
O = 157 T = 6.00 |
| s2v160c1400-1.cnf | O = 166 T = 6.43 |
O = 166 T = 6.43 |
| s2v160c1400-2.cnf | O = 164 T = 6.16 |
O = 164 T = 6.16 |
| s2v160c1400-3.cnf | O = 167 T = 6.31 |
O = 167 T = 6.31 |
| s2v160c1500-1.cnf | O = 183 T = 6.15 |
O = 183 T = 6.15 |
| s2v160c1500-2.cnf | O = 200 T = 6.45 |
O = 200 T = 6.45 |
| s2v160c1500-3.cnf | O = 184 T = 6.46 |
O = 184 T = 6.46 |
| s2v160c1600-1.cnf | O = 222 T = 6.45 |
O = 222 T = 6.45 |
| s2v160c1600-2.cnf | O = 222 T = 6.39 |
O = 222 T = 6.39 |
| s2v160c1600-3.cnf | O = 213 T = 6.24 |
O = 213 T = 6.24 |
| s2v160c1700-1.cnf | O = 226 T = 6.43 |
O = 226 T = 6.43 |
| s2v160c1700-2.cnf | O = 230 T = 6.54 |
O = 230 T = 6.54 |
| s2v160c1700-3.cnf | O = 249 T = 6.75 |
O = 249 T = 6.75 |
| s2v160c1800-1.cnf | O = 252 T = 6.25 |
O = 252 T = 6.25 |
| s2v160c1800-2.cnf | O = 256 T = 6.28 |
O = 256 T = 6.28 |
| s2v160c1800-3.cnf | O = 255 T = 6.71 |
O = 255 T = 6.71 |
| s2v160c1900-1.cnf | O = 261 T = 6.08 |
O = 261 T = 6.08 |
| s2v160c1900-2.cnf | O = 262 T = 6.37 |
O = 262 T = 6.37 |
| s2v160c1900-3.cnf | O = 264 T = 6.50 |
O = 264 T = 6.50 |
| s2v160c2000-1.cnf | O = 293 T = 6.35 |
O = 293 T = 6.35 |
| s2v160c2000-2.cnf | O = 272 T = 6.03 |
O = 272 T = 6.03 |
| s2v160c2000-3.cnf | O = 282 T = 6.10 |
O = 282 T = 6.10 |
| s2v160c2100-1.cnf | O = 294 T = 6.23 |
O = 294 T = 6.23 |
| s2v160c2100-2.cnf | O = 299 T = 6.48 |
O = 299 T = 6.48 |
| s2v160c2100-3.cnf | O = 305 T = 6.51 |
O = 305 T = 6.51 |
| s2v160c2200-1.cnf | O = 310 T = 6.68 |
O = 310 T = 6.68 |
| s2v160c2200-2.cnf | O = 333 T = 6.02 |
O = 333 T = 6.02 |
| s2v160c2200-3.cnf | O = 326 T = 6.30 |
O = 326 T = 6.30 |
| s2v160c2300-1.cnf | O = 353 T = 6.57 |
O = 353 T = 6.57 |
| s2v160c2300-2.cnf | O = 349 T = 6.07 |
O = 349 T = 6.07 |
| s2v160c2300-3.cnf | O = 343 T = 6.33 |
O = 343 T = 6.33 |
| s2v160c2400-1.cnf | O = 370 T = 6.47 |
O = 370 T = 6.47 |
| s2v160c2400-2.cnf | O = 365 T = 6.30 |
O = 365 T = 6.30 |
| s2v160c2400-3.cnf | O = 380 T = 6.14 |
O = 380 T = 6.14 |
| s2v160c2500-1.cnf | O = 383 T = 6.50 |
O = 383 T = 6.50 |
| s2v160c2500-2.cnf | O = 380 T = 6.24 |
O = 380 T = 6.24 |
| s2v160c2500-3.cnf | O = 382 T = 6.39 |
O = 382 T = 6.39 |
| s2v160c2600-1.cnf | O = 392 T = 6.17 |
O = 392 T = 6.17 |
| s2v160c2600-2.cnf | O = 397 T = 6.10 |
O = 397 T = 6.10 |
| s2v160c2600-3.cnf | O = 413 T = 6.39 |
O = 413 T = 6.39 |
| s2v180c1200-1.cnf | O = 134 T = 6.40 |
O = 134 T = 6.40 |
| s2v180c1200-2.cnf | O = 130 T = 6.23 |
O = 130 T = 6.23 |
| s2v180c1200-3.cnf | O = 131 T = 6.29 |
O = 131 T = 6.29 |
| s2v180c1200-4.cnf | O = 128 T = 6.63 |
O = 128 T = 6.63 |
| s2v180c1300-1.cnf | O = 153 T = 6.61 |
O = 153 T = 6.61 |
| s2v180c1300-2.cnf | O = 138 T = 6.44 |
O = 138 T = 6.44 |
| s2v180c1300-3.cnf | O = 150 T = 6.65 |
O = 150 T = 6.65 |
| s2v180c1300-4.cnf | O = 149 T = 6.24 |
O = 149 T = 6.24 |
| s2v180c1400-1.cnf | O = 165 T = 6.44 |
O = 165 T = 6.44 |
| s2v180c1400-2.cnf | O = 165 T = 6.31 |
O = 165 T = 6.31 |
| s2v180c1400-3.cnf | O = 156 T = 6.40 |
O = 156 T = 6.40 |
| s2v180c1400-4.cnf | O = 160 T = 6.04 |
O = 160 T = 6.04 |
| s2v180c1500-1.cnf | O = 184 T = 6.07 |
O = 184 T = 6.07 |
| s2v180c1500-2.cnf | O = 180 T = 6.22 |
O = 180 T = 6.22 |
| s2v180c1500-3.cnf | O = 179 T = 6.01 |
O = 179 T = 6.01 |
| s2v180c1500-4.cnf | O = 181 T = 6.56 |
O = 181 T = 6.56 |
| s2v180c1600-1.cnf | O = 200 T = 6.27 |
O = 200 T = 6.27 |
| s2v180c1600-2.cnf | O = 204 T = 6.08 |
O = 204 T = 6.08 |
| s2v180c1600-3.cnf | O = 216 T = 6.12 |
O = 216 T = 6.12 |
| s2v180c1600-4.cnf | O = 200 T = 6.24 |
O = 200 T = 6.24 |
| s2v180c1700-1.cnf | O = 225 T = 6.36 |
O = 225 T = 6.36 |
| s2v180c1700-2.cnf | O = 229 T = 6.36 |
O = 229 T = 6.36 |
| s2v180c1700-3.cnf | O = 209 T = 6.32 |
O = 209 T = 6.32 |
| s2v180c1700-4.cnf | O = 206 T = 6.17 |
O = 206 T = 6.17 |
| s2v180c1800-1.cnf | O = 241 T = 6.40 |
O = 241 T = 6.40 |
| s2v180c1800-2.cnf | O = 242 T = 6.86 |
O = 242 T = 6.86 |
| s2v180c1800-3.cnf | O = 232 T = 6.52 |
O = 232 T = 6.52 |
| s2v180c1800-4.cnf | O = 241 T = 6.54 |
O = 241 T = 6.54 |
| s2v180c1900-1.cnf | O = 245 T = 6.19 |
O = 245 T = 6.19 |
| s2v180c1900-2.cnf | O = 246 T = 10.90 |
O = 246 T = 10.90 |
| s2v180c1900-3.cnf | O = 252 T = 6.45 |
O = 252 T = 6.45 |
| s2v180c1900-4.cnf | O = 257 T = 6.59 |
O = 257 T = 6.59 |
| s2v180c2000-1.cnf | O = 282 T = 6.19 |
O = 282 T = 6.19 |
| s2v180c2000-2.cnf | O = 285 T = 6.47 |
O = 285 T = 6.47 |
| s2v180c2000-3.cnf | O = 271 T = 6.19 |
O = 271 T = 6.19 |
| s2v180c2000-4.cnf | O = 280 T = 6.53 |
O = 280 T = 6.53 |
| s2v180c2100-1.cnf | O = 294 T = 6.45 |
O = 294 T = 6.45 |
| s2v180c2100-2.cnf | O = 301 T = 6.65 |
O = 301 T = 6.65 |
| s2v180c2100-3.cnf | O = 293 T = 6.53 |
O = 293 T = 6.53 |
| s2v180c2100-4.cnf | O = 303 T = 6.24 |
O = 303 T = 6.24 |
| s2v180c2200-1.cnf | O = 330 T = 6.16 |
O = 330 T = 6.16 |
| s2v180c2200-2.cnf | O = 318 T = 6.69 |
O = 318 T = 6.69 |
| s2v180c2200-3.cnf | O = 306 T = 6.23 |
O = 306 T = 6.23 |
| s2v180c2200-4.cnf | O = 317 T = 6.31 |
O = 317 T = 6.31 |
| s2v200c1200-1.cnf | O = 118 T = 6.24 |
O = 118 T = 6.24 |
| s2v200c1200-2.cnf | O = 127 T = 6.30 |
O = 127 T = 6.30 |
| s2v200c1200-3.cnf | O = 125 T = 6.46 |
O = 125 T = 6.46 |
| s2v200c1200-4.cnf | O = 115 T = 6.00 |
O = 115 T = 6.00 |
| s2v200c1200-5.cnf | O = 117 T = 6.48 |
O = 117 T = 6.48 |
| s2v200c1200-6.cnf | O = 127 T = 6.65 |
O = 127 T = 6.65 |
| s2v200c1200-7.cnf | O = 112 T = 6.50 |
O = 112 T = 6.50 |
| s2v200c1300-1.cnf | O = 144 T = 6.25 |
O = 144 T = 6.25 |
| s2v200c1300-2.cnf | O = 143 T = 6.52 |
O = 143 T = 6.52 |
| s2v200c1300-3.cnf | O = 121 T = 6.61 |
O = 121 T = 6.61 |
| s2v200c1300-4.cnf | O = 139 T = 6.33 |
O = 139 T = 6.33 |
| s2v200c1300-5.cnf | O = 142 T = 6.25 |
O = 142 T = 6.25 |
| s2v200c1300-6.cnf | O = 134 T = 6.68 |
O = 134 T = 6.68 |
| s2v200c1300-7.cnf | O = 128 T = 6.42 |
O = 128 T = 6.42 |
| s2v200c1400-1.cnf | O = 156 T = 6.30 |
O = 156 T = 6.30 |
| s2v200c1400-2.cnf | O = 147 T = 6.46 |
O = 147 T = 6.46 |
| s2v200c1400-3.cnf | O = 150 T = 6.26 |
O = 150 T = 6.26 |
| s2v200c1400-4.cnf | O = 164 T = 6.64 |
O = 164 T = 6.64 |
| s2v200c1400-5.cnf | O = 153 T = 6.26 |
O = 153 T = 6.26 |
| s2v200c1400-6.cnf | O = 145 T = 6.24 |
O = 145 T = 6.24 |
| s2v200c1400-7.cnf | O = 142 T = 6.69 |
O = 142 T = 6.69 |
| s2v200c1500-1.cnf | O = 165 T = 6.46 |
O = 165 T = 6.46 |
| s2v200c1500-2.cnf | O = 165 T = 6.59 |
O = 165 T = 6.59 |
| s2v200c1500-3.cnf | O = 165 T = 6.05 |
O = 165 T = 6.05 |
| s2v200c1500-4.cnf | O = 178 T = 6.35 |
O = 178 T = 6.35 |
| s2v200c1500-5.cnf | O = 174 T = 6.36 |
O = 174 T = 6.36 |
| s2v200c1500-6.cnf | O = 180 T = 6.89 |
O = 180 T = 6.89 |
| s2v200c1500-7.cnf | O = 179 T = 6.52 |
O = 179 T = 6.52 |
| s2v200c1600-1.cnf | O = 195 T = 6.40 |
O = 195 T = 6.40 |
| s2v200c1600-2.cnf | O = 178 T = 6.22 |
O = 178 T = 6.22 |
| s2v200c1600-3.cnf | O = 186 T = 6.50 |
O = 186 T = 6.50 |
| s2v200c1600-4.cnf | O = 195 T = 6.70 |
O = 195 T = 6.70 |
| s2v200c1600-5.cnf | O = 194 T = 6.37 |
O = 194 T = 6.37 |
| s2v200c1600-6.cnf | O = 179 T = 6.28 |
O = 179 T = 6.28 |
| s2v200c1600-7.cnf | O = 192 T = 6.29 |
O = 192 T = 6.29 |
| s2v200c1700-1.cnf | O = 193 T = 6.67 |
O = 193 T = 6.67 |
| s2v200c1700-2.cnf | O = 207 T = 6.13 |
O = 207 T = 6.13 |
| s2v200c1700-3.cnf | O = 213 T = 6.74 |
O = 213 T = 6.74 |
| s2v200c1700-4.cnf | O = 212 T = 6.56 |
O = 212 T = 6.56 |
| s2v200c1700-5.cnf | O = 217 T = 6.28 |
O = 217 T = 6.28 |
| s2v200c1700-6.cnf | O = 209 T = 6.48 |
O = 209 T = 6.48 |
| s2v200c1700-7.cnf | O = 201 T = 6.91 |
O = 201 T = 6.91 |
| s2v200c1800-1.cnf | O = 206 T = 6.39 |
O = 206 T = 6.39 |
| s2v200c1800-2.cnf | O = 223 T = 6.25 |
O = 223 T = 6.25 |
| s2v200c1800-3.cnf | O = 229 T = 6.49 |
O = 229 T = 6.49 |
| s2v200c1800-4.cnf | O = 221 T = 6.42 |
O = 221 T = 6.42 |
| s2v200c1800-5.cnf | O = 220 T = 6.62 |
O = 220 T = 6.62 |
| s2v200c1800-6.cnf | O = 228 T = 6.57 |
O = 228 T = 6.57 |
| s2v200c1800-7.cnf | O = 226 T = 6.00 |
O = 226 T = 6.00 |
| s3v110c1000-1.cnf | O = 30 T = 7.13 |
O = 30 T = 7.13 |
| s3v110c1000-10.cnf | O = 31 T = 6.36 |
O = 31 T = 6.36 |
| s3v110c1000-2.cnf | O = 27 T = 6.46 |
O = 27 T = 6.46 |
| s3v110c1000-3.cnf | O = 28 T = 6.48 |
O = 28 T = 6.48 |
| s3v110c1000-4.cnf | O = 29 T = 6.46 |
O = 29 T = 6.46 |
| s3v110c1000-5.cnf | O = 30 T = 6.19 |
O = 30 T = 6.19 |
| s3v110c1000-6.cnf | O = 33 T = 6.20 |
O = 33 T = 6.20 |
| s3v110c1000-7.cnf | O = 31 T = 6.87 |
O = 31 T = 6.87 |
| s3v110c1000-8.cnf | O = 26 T = 6.61 |
O = 26 T = 6.61 |
| s3v110c1000-9.cnf | O = 29 T = 6.47 |
O = 29 T = 6.47 |
| s3v110c1100-1.cnf | O = 34 T = 6.22 |
O = 34 T = 6.22 |
| s3v110c1100-10.cnf | O = 36 T = 6.52 |
O = 36 T = 6.52 |
| s3v110c1100-2.cnf | O = 37 T = 6.66 |
O = 37 T = 6.66 |
| s3v110c1100-3.cnf | O = 38 T = 6.48 |
O = 38 T = 6.48 |
| s3v110c1100-4.cnf | O = 39 T = 6.32 |
O = 39 T = 6.32 |
| s3v110c1100-5.cnf | O = 39 T = 6.07 |
O = 39 T = 6.07 |
| s3v110c1100-6.cnf | O = 38 T = 6.33 |
O = 38 T = 6.33 |
| s3v110c1100-7.cnf | O = 38 T = 7.17 |
O = 38 T = 7.17 |
| s3v110c1100-8.cnf | O = 35 T = 6.50 |
O = 35 T = 6.50 |
| s3v110c1100-9.cnf | O = 36 T = 6.07 |
O = 36 T = 6.07 |
| s3v110c700-1.cnf | O = 11 T = 6.13 |
O = 11 T = 6.13 |
| s3v110c700-10.cnf | O = 9 T = 6.33 |
O = 9 T = 6.33 |
| s3v110c700-2.cnf | O = 12 T = 6.83 |
O = 12 T = 6.83 |
| s3v110c700-3.cnf | O = 10 T = 6.44 |
O = 10 T = 6.44 |
| s3v110c700-4.cnf | O = 11 T = 6.20 |
O = 11 T = 6.20 |
| s3v110c700-5.cnf | O = 10 T = 6.18 |
O = 10 T = 6.18 |
| s3v110c700-6.cnf | O = 11 T = 6.70 |
O = 11 T = 6.70 |
| s3v110c700-7.cnf | O = 9 T = 6.55 |
O = 9 T = 6.55 |
| s3v110c700-8.cnf | O = 12 T = 6.33 |
O = 12 T = 6.33 |
| s3v110c700-9.cnf | O = 10 T = 6.43 |
O = 10 T = 6.43 |
| s3v110c800-1.cnf | O = 17 T = 6.27 |
O = 17 T = 6.27 |
| s3v110c800-10.cnf | O = 14 T = 6.67 |
O = 14 T = 6.67 |
| s3v110c800-2.cnf | O = 17 T = 6.75 |
O = 17 T = 6.75 |
| s3v110c800-3.cnf | O = 15 T = 6.60 |
O = 15 T = 6.60 |
| s3v110c800-4.cnf | O = 18 T = 6.23 |
O = 18 T = 6.23 |
| s3v110c800-5.cnf | O = 17 T = 6.95 |
O = 17 T = 6.95 |
| s3v110c800-6.cnf | O = 18 T = 6.69 |
O = 18 T = 6.69 |
| s3v110c800-7.cnf | O = 16 T = 6.19 |
O = 16 T = 6.19 |
| s3v110c800-8.cnf | O = 17 T = 6.46 |
O = 17 T = 6.46 |
| s3v110c800-9.cnf | O = 16 T = 6.38 |
O = 16 T = 6.38 |
| s3v110c900-1.cnf | O = 22 T = 6.65 |
O = 22 T = 6.65 |
| s3v110c900-10.cnf | O = 21 T = 6.52 |
O = 21 T = 6.52 |
| s3v110c900-2.cnf | O = 22 T = 6.13 |
O = 22 T = 6.13 |
| s3v110c900-3.cnf | O = 17 T = 6.39 |
O = 17 T = 6.39 |
| s3v110c900-4.cnf | O = 21 T = 6.50 |
O = 21 T = 6.50 |
| s3v110c900-5.cnf | O = 22 T = 6.37 |
O = 22 T = 6.37 |
| s3v110c900-6.cnf | O = 23 T = 7.11 |
O = 23 T = 7.11 |
| s3v110c900-7.cnf | O = 21 T = 6.15 |
O = 21 T = 6.15 |
| s3v110c900-8.cnf | O = 22 T = 6.94 |
O = 22 T = 6.94 |
| s3v110c900-9.cnf | O = 26 T = 6.54 |
O = 26 T = 6.54 |
| s3v70c1000-1.cnf | O = 47 T = 6.02 |
O = 47 T = 6.02 |
| s3v70c1000-2.cnf | O = 43 T = 6.48 |
O = 43 T = 6.48 |
| s3v70c1000-3.cnf | O = 45 T = 6.38 |
O = 45 T = 6.38 |
| s3v70c1000-4.cnf | O = 47 T = 6.82 |
O = 47 T = 6.82 |
| s3v70c1000-5.cnf | O = 42 T = 6.26 |
O = 42 T = 6.26 |
| s3v70c1100-1.cnf | O = 56 T = 6.37 |
O = 56 T = 6.37 |
| s3v70c1100-2.cnf | O = 55 T = 6.15 |
O = 55 T = 6.15 |
| s3v70c1100-3.cnf | O = 53 T = 6.20 |
O = 53 T = 6.20 |
| s3v70c1100-4.cnf | O = 52 T = 6.65 |
O = 52 T = 6.65 |
| s3v70c1100-5.cnf | O = 53 T = 6.48 |
O = 53 T = 6.48 |
| s3v70c1200-1.cnf | O = 66 T = 6.17 |
O = 66 T = 6.17 |
| s3v70c1200-2.cnf | O = 63 T = 6.36 |
O = 63 T = 6.36 |
| s3v70c1200-3.cnf | O = 65 T = 6.53 |
O = 65 T = 6.53 |
| s3v70c1200-4.cnf | O = 67 T = 6.29 |
O = 67 T = 6.29 |
| s3v70c1200-5.cnf | O = 65 T = 6.60 |
O = 65 T = 6.60 |
| s3v70c1300-1.cnf | O = 75 T = 6.44 |
O = 75 T = 6.44 |
| s3v70c1300-2.cnf | O = 74 T = 6.25 |
O = 74 T = 6.25 |
| s3v70c1300-3.cnf | O = 70 T = 6.24 |
O = 70 T = 6.24 |
| s3v70c1300-4.cnf | O = 68 T = 6.58 |
O = 68 T = 6.58 |
| s3v70c1300-5.cnf | O = 70 T = 6.21 |
O = 70 T = 6.21 |
| s3v70c1400-1.cnf | O = 78 T = 6.51 |
O = 78 T = 6.51 |
| s3v70c1400-2.cnf | O = 83 T = 6.33 |
O = 83 T = 6.33 |
| s3v70c1400-3.cnf | O = 79 T = 6.47 |
O = 79 T = 6.47 |
| s3v70c1400-4.cnf | O = 75 T = 5.97 |
O = 75 T = 5.97 |
| s3v70c1400-5.cnf | O = 82 T = 6.27 |
O = 82 T = 6.27 |
| s3v70c1500-1.cnf | O = 90 T = 7.02 |
O = 90 T = 7.02 |
| s3v70c1500-2.cnf | O = 89 T = 5.96 |
O = 89 T = 5.96 |
| s3v70c1500-3.cnf | O = 86 T = 6.47 |
O = 86 T = 6.47 |
| s3v70c1500-4.cnf | O = 91 T = 6.24 |
O = 91 T = 6.24 |
| s3v70c1500-5.cnf | O = 94 T = 6.30 |
O = 94 T = 6.30 |
| s3v70c700-1.cnf | O = 21 T = 6.16 |
O = 21 T = 6.16 |
| s3v70c700-2.cnf | O = 21 T = 6.33 |
O = 21 T = 6.33 |
| s3v70c700-3.cnf | O = 25 T = 6.14 |
O = 25 T = 6.14 |
| s3v70c700-4.cnf | O = 24 T = 6.39 |
O = 24 T = 6.39 |
| s3v70c700-5.cnf | O = 22 T = 5.96 |
O = 22 T = 5.96 |
| s3v70c800-1.cnf | O = 31 T = 6.26 |
O = 31 T = 6.26 |
| s3v70c800-2.cnf | O = 34 T = 6.00 |
O = 34 T = 6.00 |
| s3v70c800-3.cnf | O = 30 T = 6.06 |
O = 30 T = 6.06 |
| s3v70c800-4.cnf | O = 28 T = 6.03 |
O = 28 T = 6.03 |
| s3v70c800-5.cnf | O = 31 T = 6.42 |
O = 31 T = 6.42 |
| s3v70c900-1.cnf | O = 39 T = 6.32 |
O = 39 T = 6.32 |
| s3v70c900-2.cnf | O = 38 T = 6.09 |
O = 38 T = 6.09 |
| s3v70c900-3.cnf | O = 39 T = 6.59 |
O = 39 T = 6.59 |
| s3v70c900-4.cnf | O = 39 T = 6.38 |
O = 39 T = 6.38 |
| s3v70c900-5.cnf | O = 40 T = 6.15 |
O = 40 T = 6.15 |
| s3v90c1000-1.cnf | O = 34 T = 6.36 |
O = 34 T = 6.36 |
| s3v90c1000-2.cnf | O = 38 T = 6.94 |
O = 38 T = 6.94 |
| s3v90c1000-3.cnf | O = 39 T = 6.74 |
O = 39 T = 6.74 |
| s3v90c1000-4.cnf | O = 34 T = 6.04 |
O = 34 T = 6.04 |
| s3v90c1000-5.cnf | O = 41 T = 6.24 |
O = 41 T = 6.24 |
| s3v90c1000-6.cnf | O = 41 T = 6.33 |
O = 41 T = 6.33 |
| s3v90c1000-7.cnf | O = 38 T = 6.26 |
O = 38 T = 6.26 |
| s3v90c1100-1.cnf | O = 44 T = 7.08 |
O = 44 T = 7.08 |
| s3v90c1100-2.cnf | O = 44 T = 6.35 |
O = 44 T = 6.35 |
| s3v90c1100-3.cnf | O = 47 T = 6.80 |
O = 47 T = 6.80 |
| s3v90c1100-4.cnf | O = 43 T = 6.40 |
O = 43 T = 6.40 |
| s3v90c1100-5.cnf | O = 44 T = 6.14 |
O = 44 T = 6.14 |
| s3v90c1100-6.cnf | O = 47 T = 6.41 |
O = 47 T = 6.41 |
| s3v90c1100-7.cnf | O = 47 T = 5.95 |
O = 47 T = 5.95 |
| s3v90c1200-1.cnf | O = 47 T = 6.59 |
O = 47 T = 6.59 |
| s3v90c1200-2.cnf | O = 54 T = 6.48 |
O = 54 T = 6.48 |
| s3v90c1200-3.cnf | O = 50 T = 6.19 |
O = 50 T = 6.19 |
| s3v90c1200-4.cnf | O = 55 T = 6.80 |
O = 55 T = 6.80 |
| s3v90c1200-5.cnf | O = 59 T = 6.77 |
O = 59 T = 6.77 |
| s3v90c1200-6.cnf | O = 55 T = 6.84 |
O = 55 T = 6.84 |
| s3v90c1200-7.cnf | O = 55 T = 6.88 |
O = 55 T = 6.88 |
| s3v90c1300-1.cnf | O = 60 T = 6.04 |
O = 60 T = 6.04 |
| s3v90c1300-2.cnf | O = 64 T = 6.47 |
O = 64 T = 6.47 |
| s3v90c1300-3.cnf | O = 64 T = 6.33 |
O = 64 T = 6.33 |
| s3v90c1300-4.cnf | O = 63 T = 6.48 |
O = 63 T = 6.48 |
| s3v90c1300-5.cnf | O = 58 T = 6.72 |
O = 58 T = 6.72 |
| s3v90c1300-6.cnf | O = 59 T = 6.23 |
O = 59 T = 6.23 |
| s3v90c1300-7.cnf | O = 63 T = 6.63 |
O = 63 T = 6.63 |
| s3v90c700-1.cnf | O = 16 T = 6.56 |
O = 16 T = 6.56 |
| s3v90c700-2.cnf | O = 17 T = 6.54 |
O = 17 T = 6.54 |
| s3v90c700-3.cnf | O = 15 T = 6.42 |
O = 15 T = 6.42 |
| s3v90c700-4.cnf | O = 18 T = 6.15 |
O = 18 T = 6.15 |
| s3v90c700-5.cnf | O = 16 T = 6.09 |
O = 16 T = 6.09 |
| s3v90c700-6.cnf | O = 18 T = 6.24 |
O = 18 T = 6.24 |
| s3v90c700-7.cnf | O = 18 T = 6.47 |
O = 18 T = 6.47 |
| s3v90c800-1.cnf | O = 22 T = 6.50 |
O = 22 T = 6.50 |
| s3v90c800-2.cnf | O = 23 T = 6.37 |
O = 23 T = 6.37 |
| s3v90c800-3.cnf | O = 23 T = 6.62 |
O = 23 T = 6.62 |
| s3v90c800-4.cnf | O = 20 T = 6.37 |
O = 20 T = 6.37 |
| s3v90c800-5.cnf | O = 24 T = 6.14 |
O = 24 T = 6.14 |
| s3v90c800-6.cnf | O = 26 T = 6.32 |
O = 26 T = 6.32 |
| s3v90c800-7.cnf | O = 24 T = 6.73 |
O = 24 T = 6.73 |
| s3v90c900-1.cnf | O = 28 T = 6.38 |
O = 28 T = 6.38 |
| s3v90c900-2.cnf | O = 28 T = 6.44 |
O = 28 T = 6.44 |
| s3v90c900-3.cnf | O = 32 T = 6.98 |
O = 32 T = 6.98 |
| s3v90c900-4.cnf | O = 28 T = 6.71 |
O = 28 T = 6.71 |
| s3v90c900-5.cnf | O = 25 T = 6.53 |
O = 25 T = 6.53 |
| s3v90c900-6.cnf | O = 30 T = 6.14 |
O = 30 T = 6.14 |
| s3v90c900-7.cnf | O = 27 T = 6.32 |
O = 27 T = 6.32 |
| HG-3SAT-V250-C1000-1.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-10.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-100.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-11.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-12.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-13.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-14.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-15.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-16.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-17.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-18.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-19.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-2.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-20.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-21.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-22.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-23.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-24.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-3.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-4.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-5.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-6.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-7.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-8.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V250-C1000-9.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-1.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-10.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-100.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-11.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-12.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-13.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-14.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-15.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-16.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-17.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-18.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-19.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-2.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-20.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-21.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-22.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-23.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-24.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-3.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-4.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-5.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-6.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-7.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-8.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-3SAT-V300-C1200-9.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V100-C900-14.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V100-C900-19.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V100-C900-2.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V100-C900-20.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V100-C900-23.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V100-C900-4.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V100-C900-7.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-1.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-10.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-100.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-11.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-12.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-13.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-14.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-15.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-16.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-17.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-18.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-19.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-2.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-20.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-21.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-22.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-23.cnf | O = 0 T = 5.98 |
O = 0 T = 5.98 |
| HG-4SAT-V150-C1350-24.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-3.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-4.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-5.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-6.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-7.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-8.cnf | O = N/A T = TO |
O = N/A T = TO |
| HG-4SAT-V150-C1350-9.cnf | O = N/A T = TO |
O = N/A T = TO |