Name | csp/os-taillard-15/ normalized-os-taillard-15-105-3.xml |
MD5SUM | 5e792bc79615f181544eb9a50a682e17 |
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 | 0.350946 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 3150 |
Maximum constraint arity | 2 |
Maximum domain size | 993 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3150 |
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:90 643 476 0 565 679 194 79 266 763 368 454 348 549 605 392 937 193 609 278 134 90 463 837 709 0 716 121 535 596 717 360 764 253 565 623 97 0 949 380 251 902 193 476 676 438 495 257 763 0 160 833 717 280 602 380 66 937 565 620 504 661 610 454 0 182 364 79 425 121 763 165 266 551 796 472 0 565 683 440 257 477 239 90 426 549 763 183 353 667 321 96 646 440 169 843 713 623 545 483 662 212 764 0 247 416 224 396 302 81 55 759 699 96 0 667 709 620 154 837 683 329 602 0 778 213 348 886 510 393 190 302 97 699 353 517 679 937 0 761 92 597 182 392 426 850 227 545 291 366 0 380 833 862 606 99 533 717 886 196 798 457 662 761 291 213 510 457 425 196 92 606 358 160 0 551 676 194 280 291 509 620 902 810 213 652 145 348 424 66 182 588 82 477 0 321 182 610 227 667 937 90 0 850 454 595 720 646 366 517 495 349 644 99 280 424 380 364 0 180 302 949 758 853 556