Name | csp/js-taillard-15/ normalized-js-taillard-15-100-6.xml |
MD5SUM | 86cc81d2eef8616c56c5321a1700a380 |
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 | 127.328 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1235 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1785 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2080398 | SAT | 127.328 | 128.642 |
Sugar v1.14.6+minisat (complete) | 2080399 | SAT | 133.972 | 134.673 |
Choco2.1.1b 2009-07-16 (complete) | 2116545 | SAT | 957.715 | 962.475 |
Choco2.1.1 2009-06-10 (complete) | 2080397 | SAT | 1239.23 | 1239.74 |
SAT4J CSP 2.1.1 (complete) | 2080392 | ? | 305.38 | 305.878 |
Concrete DC 2009-07-14 (complete) | 2080396 | ? | 341 | 342.415 |
Concrete 2009-07-14 (complete) | 2080395 | ? (TO) | 1800.01 | 1813.62 |
bpsolver 09 (complete) | 2080402 | ? (TO) | 1800.02 | 1803.61 |
Mistral 1.545 (complete) | 2080401 | ? (TO) | 1800.1 | 1802.21 |
Abscon 112v4 ESAC (complete) | 2097268 | ? (TO) | 1800.1 | 1801.44 |
pcs 0.3.2 (complete) | 2080393 | ? (TO) | 1800.11 | 1809.99 |
pcs-restart 0.3.2 (complete) | 2080394 | ? (TO) | 1800.14 | 1805.09 |
Abscon 112v4 AC (complete) | 2097267 | ? (TO) | 1800.15 | 1800.58 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 53 72 78 103 113 139 545 676 703 752 819 899 946 1174 0 107 192 222 300 386 478 542 562 668 683 769 803 963 997 16 141 285 359 422 517 546 591 662 753 842 938 964 1139 1204 30 40 293 443 591 668 751 752 819 845 872 893 996 1070 1215 0 83 135 208 287 300 328 425 485 514 602 683 803 909 1200 25 52 83 304 401 622 800 883 894 903 996 1003 1052 1131 1176 2 98 205 209 260 445 450 570 622 669 724 774 883 1053 1145 0 25 229 353 368 438 501 642 734 838 968 1025 1041 1075 1174 0 104 138 176 483 570 618 677 740 769 872 932 979 1070 1176 156 213 287 356 421 488 545 678 709 728 811 920 1081 1138 1204 0 44 192 205 328 353 428 518 613 809 858 881 935 1045 1046 194 290 386 432 500 501 539 593 709 850 920 998 1071 1130 1172 0 205 286 298 474 496 680 773 802 836 875 901 1018 1061 1141 84 162 240 269 375 426 472 518 593 773 875 933 1045 1062 1124 0 137 181 262 294 338 423 477 500 603 669 704 752 986 1031