Name | csp/os-taillard-15/ normalized-os-taillard-15-100-1.xml |
MD5SUM | 09005a04dc5c1739caa9ba602a098243 |
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 | 1.01284 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 3150 |
Maximum constraint arity | 2 |
Maximum domain size | 957 |
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:0 60 106 504 649 845 536 176 783 259 887 432 340 716 928 230 375 729 0 319 416 616 528 89 287 845 583 888 183 505 203 507 89 0 402 723 257 670 181 867 279 86 352 453 418 92 911 190 293 591 701 0 509 809 429 614 57 884 727 324 264 76 774 416 826 216 174 425 602 0 324 680 141 279 748 0 649 467 424 205 536 702 174 602 866 748 84 302 344 682 76 0 751 261 344 702 567 496 931 66 790 86 640 424 163 0 293 866 792 205 540 621 896 716 392 425 106 834 447 467 103 460 616 521 432 254 751 0 77 176 352 66 407 670 834 141 261 425 0 888 702 867 179 592 790 497 686 502 94 340 407 247 0 425 302 621 809 604 902 94 729 540 682 152 375 453 299 647 723 0 743 90 511 141 377 567 259 163 316 834 792 77 887 745 326 0 264 460 152 502 600 635 216 419 377 314 447 760 105 0 340 714 254 838 792 604 429 497 203 126 507 888 171 558 338 421 792 257 692 838 78 0 83 299 127