| Name | csp/os-taillard-15/ normalized-os-taillard-15-100-3.xml |
| MD5SUM | 4464c4dbbc6767281e99ecdc6a7793b6 |
| 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 | 3.3125 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 3150 |
| Maximum constraint arity | 2 |
| Maximum domain size | 946 |
| 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) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2065727 | SAT | 3.3125 | 3.3446 |
| pcs 0.3.2 (complete) | 2065719 | SAT | 4.45432 | 4.48105 |
| Concrete 2009-07-14 (complete) | 2065721 | SAT | 4.80027 | 4.85096 |
| Abscon 112v4 ESAC (complete) | 2094600 | SAT | 6.29704 | 6.37061 |
| Abscon 112v4 AC (complete) | 2094599 | SAT | 6.69898 | 6.79113 |
| pcs-restart 0.3.2 (complete) | 2065720 | SAT | 8.19275 | 8.28247 |
| Choco2.1.1b 2009-07-16 (complete) | 2115211 | SAT | 11.6502 | 11.7834 |
| Choco2.1.1 2009-06-10 (complete) | 2065723 | SAT | 13.4899 | 13.5544 |
| Sugar v1.14.6+minisat (complete) | 2065725 | SAT | 17.1694 | 37.7355 |
| Sugar v1.14.6+picosat (complete) | 2065724 | SAT | 62.4955 | 63.4142 |
| SAT4J CSP 2.1.1 (complete) | 2065718 | ? | 326.323 | 327.543 |
| Concrete DC 2009-07-14 (complete) | 2065722 | ? | 1004.04 | 1007.17 |
| bpsolver 09 (complete) | 2065728 | ? (TO) | 1800.05 | 1811.71 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:600 0 322 221 25 410 684 361 108 856 481 845 756 68 538 297 600 207 677 523 0 915 749 390 907 435 91 736 821 73 863 207 387 321 263 893 111 29 0 625 381 521 716 538 822 455 815 373 783 690 51 561 271 317 672 525 885 150 0 202 34 427 0 619 148 321 139 753 405 96 712 134 227 892 793 219 753 323 445 721 227 544 707 126 625 410 73 874 0 930 744 873 354 646 249 51 595 721 427 292 0 122 168 499 482 882 783 219 58 471 369 602 535 0 96 719 473 675 745 834 914 688 852 447 274 132 25 63 556 614 869 247 753 368 713 299 179 327 90 410 0 634 499 387 863 776 258 716 544 361 390 108 0 843 565 621 770 902 90 278 867 489 29 733 185 134 497 352 618 548 753 565 684 821 405 1 37 0 661 855 278 0 468 621 29 855 179 545 337 164 902 132 405 713 212 278 576 463 618 320 712 150 768 63 0 263 373 242 858 498 533 28 815 138 0 744 595 22 219 867 305 500 59 349 666