| Name | csp/os-taillard-15/ normalized-os-taillard-15-100-7.xml |
| MD5SUM | ab54a3befb7bc28d039702d9f31a2fb5 |
| 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.9497 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 3150 |
| Maximum constraint arity | 2 |
| Maximum domain size | 916 |
| 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 |
|---|---|---|---|---|
| pcs-restart 0.3.2 (complete) | 2065764 | SAT | 1.9497 | 1.96014 |
| Concrete 2009-07-14 (complete) | 2065765 | SAT | 4.63829 | 4.68604 |
| Mistral 1.545 (complete) | 2065771 | SAT | 5.49016 | 5.54116 |
| pcs 0.3.2 (complete) | 2065763 | SAT | 8.15976 | 8.20382 |
| Abscon 112v4 AC (complete) | 2094607 | SAT | 9.47856 | 9.49543 |
| Abscon 112v4 ESAC (complete) | 2094608 | SAT | 10.2884 | 10.3933 |
| Sugar v1.14.6+minisat (complete) | 2065769 | SAT | 18.0583 | 18.3658 |
| Choco2.1.1 2009-06-10 (complete) | 2065767 | SAT | 23.1155 | 23.3767 |
| Choco2.1.1b 2009-07-16 (complete) | 2115215 | SAT | 26.8309 | 26.988 |
| Sugar v1.14.6+picosat (complete) | 2065768 | SAT | 58.8141 | 59.5914 |
| SAT4J CSP 2.1.1 (complete) | 2065762 | ? | 315.929 | 311.659 |
| Concrete DC 2009-07-14 (complete) | 2065766 | ? | 920.521 | 921.625 |
| bpsolver 09 (complete) | 2065772 | ? (TO) | 1800.12 | 1800.92 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:63 209 455 809 0 168 907 525 741 638 206 308 390 846 116 16 909 282 571 634 253 381 109 837 773 85 709 209 0 452 122 239 839 0 677 751 487 151 546 409 63 325 333 545 622 51 554 464 0 796 697 30 615 14 413 180 139 243 853 302 333 130 433 138 0 186 525 648 76 90 877 817 285 731 810 416 880 610 183 824 494 785 808 349 697 544 279 86 24 901 666 404 280 571 184 881 684 24 0 663 83 477 756 773 831 578 100 751 810 652 452 372 851 602 184 30 910 833 248 378 621 279 504 203 633 409 482 0 833 822 714 367 156 55 780 187 765 0 460 326 680 263 190 633 535 21 647 139 373 296 251 426 846 739 158 125 585 522 474 550 339 780 100 677 0 92 648 158 0 100 824 743 477 603 518 325 630 409 606 243 556 208 92 635 183 239 122 0 888 383 497 358 671 801 302 156 758 615 381 798 51 858 0 95 285 835 535 827 662 443 0 731 678 739 211 592 643 279 339 821 76 447 394 6 143