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.830872 |
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) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
bpsolver 09 (complete) | 2065750 | SAT | 0.830872 | 0.839208 |
Mistral 1.545 (complete) | 2065749 | SAT | 0.955853 | 0.963458 |
pcs 0.3.2 (complete) | 2065741 | SAT | 2.22866 | 2.23528 |
Abscon 112v4 ESAC (complete) | 2094604 | SAT | 3.3095 | 3.34571 |
pcs-restart 0.3.2 (complete) | 2065742 | SAT | 3.35549 | 3.37912 |
Abscon 112v4 AC (complete) | 2094603 | SAT | 3.67744 | 3.76512 |
Concrete 2009-07-14 (complete) | 2065743 | SAT | 4.26935 | 4.33197 |
Choco2.1.1 2009-06-10 (complete) | 2065745 | SAT | 13.6919 | 13.729 |
Choco2.1.1b 2009-07-16 (complete) | 2115213 | SAT | 17.7213 | 17.7618 |
Sugar v1.14.6+minisat (complete) | 2065747 | SAT | 17.8113 | 18.2399 |
Sugar v1.14.6+picosat (complete) | 2065746 | SAT | 67.1488 | 67.9482 |
SAT4J CSP 2.1.1 (complete) | 2065740 | ? | 308.986 | 309.94 |
Concrete DC 2009-07-14 (complete) | 2065744 | ? | 870.168 | 871.491 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:404 0 450 433 359 765 230 211 182 710 329 575 641 667 99 291 522 254 0 798 157 623 426 835 76 404 737 329 175 897 453 163 444 268 0 353 771 82 734 597 548 681 99 914 259 171 95 728 0 262 151 819 516 409 544 183 331 765 461 633 516 198 76 427 0 234 898 524 98 353 408 211 673 545 702 399 488 307 595 839 875 82 0 437 548 702 175 268 659 766 803 648 287 456 372 99 837 0 687 821 193 587 766 753 525 374 433 267 875 681 95 785 331 753 545 182 64 623 488 0 280 518 374 618 869 417 754 99 941 704 456 182 0 607 557 263 414 0 898 633 230 261 780 806 708 348 525 249 167 97 167 64 548 893 262 372 708 46 465 0 172 798 143 623 860 261 710 97 417 450 232 525 0 862 437 465 585 605 157 379 544 280 377 99 624 189 674 448 819 409 724 95 785 0 342 623 0 99 771 883 381 465 681 291 198 835 806 734 862 548 897 307 724 585 911 534 0 704 77 261 465 377 165 501 607