| Name | csp/os-taillard-15/ normalized-os-taillard-15-105-9.xml |
| MD5SUM | f3a501a01b9bc5992030d707bcd8787f |
| 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.377941 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 3150 |
| Maximum constraint arity | 2 |
| Maximum domain size | 982 |
| 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) | 2065760 | SAT | 0.377941 | 0.387055 |
| pcs-restart 0.3.2 (complete) | 2065753 | SAT | 1.89171 | 1.90819 |
| Abscon 112v4 AC (complete) | 2094605 | SAT | 3.45447 | 3.49975 |
| Abscon 112v4 ESAC (complete) | 2094606 | SAT | 3.66944 | 3.76349 |
| Concrete 2009-07-14 (complete) | 2065754 | SAT | 3.99439 | 4.02608 |
| pcs 0.3.2 (complete) | 2065752 | SAT | 6.26105 | 6.29624 |
| Choco2.1.1 2009-06-10 (complete) | 2065756 | SAT | 13.128 | 13.24 |
| Choco2.1.1b 2009-07-16 (complete) | 2115214 | SAT | 16.2695 | 16.3192 |
| Sugar v1.14.6+minisat (complete) | 2065758 | SAT | 17.6073 | 17.9508 |
| Sugar v1.14.6+picosat (complete) | 2065757 | SAT | 65.561 | 66.022 |
| bpsolver 09 (complete) | 2065761 | SAT | 900.124 | 900.978 |
| SAT4J CSP 2.1.1 (complete) | 2065751 | ? | 308.995 | 310.083 |
| Concrete DC 2009-07-14 (complete) | 2065755 | ? | 1207.81 | 1219.29 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:321 95 388 774 305 439 872 899 545 0 631 729 167 821 248 308 54 753 264 626 689 566 821 110 527 465 0 496 209 895 814 571 314 167 42 726 388 458 58 879 934 207 741 0 628 78 224 756 264 755 555 884 167 782 0 209 691 841 759 633 434 9 283 348 179 793 721 891 242 814 81 909 762 493 533 157 374 460 434 0 167 143 295 811 911 54 566 792 875 691 279 756 815 657 332 245 581 0 400 156 841 722 101 95 911 166 305 81 814 16 460 345 639 513 741 279 491 598 884 568 51 566 903 469 912 357 388 146 828 305 803 166 0 704 623 414 449 202 824 68 0 788 892 284 345 87 538 30 639 704 155 342 245 129 352 192 30 582 733 649 0 314 439 895 814 722 321 208 594 932 45 415 842 224 664 146 0 904 508 275 509 215 414 135 476 0 151 42 756 847 91 919 911 167 550 531 369 0 623 803 704 722 110 202 447 78 295 890 553 568 309 618 797 88 902 509 454 245 388 146 0 421 842 702 803