Name | csp/os-taillard-15/ normalized-os-taillard-15-105-0.xml |
MD5SUM | 5a2387650a417487d5414425e566caef |
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.563913 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 3150 |
Maximum constraint arity | 2 |
Maximum domain size | 1004 |
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:98 173 399 467 128 449 251 428 353 557 488 0 304 642 771 500 605 882 809 0 98 338 676 51 410 74 959 259 579 182 740 496 931 796 994 581 193 662 428 81 0 337 128 828 251 571 264 363 657 58 0 618 931 740 229 460 542 128 866 794 622 359 579 923 865 817 135 196 397 500 0 440 130 289 88 48 575 0 823 81 351 399 451 285 321 148 523 706 230 781 796 903 206 251 166 694 497 137 0 94 289 580 457 341 847 626 493 882 341 0 319 143 78 233 259 857 706 410 363 390 351 657 137 275 558 972 86 780 605 0 193 517 422 720 440 58 646 269 397 64 602 923 0 173 549 484 809 727 148 338 0 909 542 759 874 178 121 135 457 397 657 818 665 269 78 569 285 628 0 342 523 428 857 909 818 79 771 694 143 488 353 708 64 451 558 0 771 196 628 428 131 865 460 264 781 284 275 319 496 415 114 337 86 823 146 225 618 759 676 0 549 880 484 79 922 788 367 182 342 94 251 225 390 581 0