Name | csp/os-taillard-15/ normalized-os-taillard-15-105-8.xml |
MD5SUM | 5397915d5f29b2750a915fa9c415307c |
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.825874 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 3150 |
Maximum constraint arity | 2 |
Maximum domain size | 999 |
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:571 0 428 543 340 279 99 554 577 563 519 461 493 385 196 291 0 282 158 217 256 712 66 844 781 385 412 473 596 670 541 72 401 312 792 714 0 177 485 198 642 456 144 282 110 554 426 482 131 642 535 331 519 79 862 0 703 566 587 236 815 519 51 351 96 616 532 364 823 226 65 213 748 414 0 72 244 0 426 172 329 897 85 773 202 845 586 215 472 351 792 753 279 585 193 364 277 0 519 810 99 458 716 826 654 820 189 879 438 531 748 99 359 958 670 0 644 244 587 295 99 636 687 236 322 811 563 422 196 399 340 730 0 505 519 219 66 304 730 639 213 217 464 871 141 0 773 586 401 516 53 906 412 0 79 577 788 265 703 304 176 350 277 519 655 897 290 196 795 172 318 340 148 117 189 60 505 0 416 256 917 27 811 193 359 677 397 543 489 318 639 141 773 822 283 473 675 99 291 531 773 576 27 326 198 0 547 932 428 857 458 283 932 265 543 677 803 219 131 472 767 350 0 96 880