Name | csp/super-os/super-os-taillard-10/ normalized-super-os-taillard-10-18.xml |
MD5SUM | 3074edf8a49e2ed2abf95b9cd7a6a56e |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 8.36673 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Maximum constraint arity | 2 |
Maximum domain size | 625 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2800 |
Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:59 60 573 102 0 1 137 138 301 302 218 217 585 586 504 503 357 356 450 451 59 60 433 432 545 546 169 168 347 348 281 282 620 619 184 185 1 0 338 337 261 262 433 432 357 186 393 392 0 1 212 213 536 535 386 503 76 573 85 580 347 348 187 186 0 1 261 262 97 98 581 580 302 301 76 75 412 411 497 498 369 370 467 466 0 1 558 557 116 117 169 168 281 282 33 531 36 186 225 224 558 557 497 498 0 1 369 370 379 378 272 271 74 73 212 213 139 138 413 412 233 426 531 390 251 217 585 85 457 458 121 480 330 331 59 58 158 157 450 472 352 353 413 412 126 127 596 595 33 32 289 290 210 209 467 466 198 199 545 546 480 481 352 353 595 596 97 96 393 392 255 254 110 224 0 1 137 138 547 546 547 546 330 331 383 382 97 267 102 103 255 254 272 271 0 1 184 185 441 442