Name | csp/super-os/super-os-taillard-10/ normalized-super-os-taillard-10-11.xml |
MD5SUM | 58b76529f110bf666837f8cb6f5feb85 |
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 | 15.5406 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Maximum constraint arity | 2 |
Maximum domain size | 675 |
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:341 342 230 231 390 392 0 441 443 444 491 490 177 178 9 10 558 559 79 78 342 341 147 148 240 255 33 32 546 266 653 654 282 283 563 562 6 7 435 434 432 433 534 533 588 589 407 408 327 328 575 576 197 198 262 261 106 107 12 11 63 64 149 148 238 32 572 571 638 639 410 411 81 80 269 270 502 501 341 340 137 138 32 33 564 565 655 656 668 667 2 3 194 195 278 279 550 551 380 379 621 620 439 440 70 69 11 521 183 182 341 342 537 536 109 110 281 280 23 22 215 214 6 470 76 77 325 324 572 573 130 129 495 496 529 528 32 31 414 413 83 84 87 88 582 583 235 236 175 174 414 413 445 446 532 533 333 334 107 108 99 98 341 342 208 209 526 525 598 599 496 520 393 394 312 313 637 636 502 508 642 641 538 537 13 12 398 397 607 606 454 455 193 194 277 278 309 308 87 86