Name | csp/js-taillard-15/ normalized-js-taillard-15-105-4.xml |
MD5SUM | cc1626b385ab160ac31e70a43bb38e50 |
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 | 4.03239 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1298 |
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 |
---|---|---|---|---|
Mistral 1.545 (complete) | 2080313 | SAT | 4.03239 | 4.0361 |
Sugar v1.14.6+minisat (complete) | 2080311 | SAT | 9.27559 | 11.0702 |
Choco2.1.1 2009-06-10 (complete) | 2080309 | SAT | 11.3803 | 11.4648 |
Sugar v1.14.6+picosat (complete) | 2080310 | SAT | 18.3132 | 18.5456 |
Choco2.1.1b 2009-07-16 (complete) | 2116537 | SAT | 21.0918 | 21.1399 |
pcs-restart 0.3.2 (complete) | 2080306 | SAT | 135.513 | 136.812 |
pcs 0.3.2 (complete) | 2080305 | SAT | 952.651 | 953.148 |
Concrete DC 2009-07-14 (complete) | 2080308 | ? | 241.737 | 244.058 |
SAT4J CSP 2.1.1 (complete) | 2080304 | ? (exit code) | 339.251 | 340.556 |
Concrete 2009-07-14 (complete) | 2080307 | ? (TO) | 1800.04 | 1814.82 |
bpsolver 09 (complete) | 2080314 | ? (TO) | 1800.05 | 1811.11 |
Abscon 112v4 AC (complete) | 2097251 | ? (TO) | 1800.12 | 1801.87 |
Abscon 112v4 ESAC (complete) | 2097252 | ? (TO) | 1800.14 | 1812.08 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:22 90 186 322 417 526 685 708 798 931 947 1039 1091 1175 1274 0 2 90 189 241 309 322 383 418 475 520 613 651 795 915 97 287 419 433 587 617 696 758 795 872 873 970 986 988 1149 8 27 42 84 92 164 179 255 316 394 478 540 713 1018 1168 0 134 205 208 276 367 404 505 634 719 945 1009 1059 1099 1234 43 57 68 97 169 179 210 308 358 441 506 592 652 685 1061 27 324 414 513 651 731 802 849 945 1001 1079 1132 1142 1234 1265 0 48 168 312 322 357 395 551 599 615 795 988 1061 1188 1234 279 338 361 410 433 434 512 551 601 610 912 947 1030 1038 1120 21 58 184 231 277 320 433 493 577 627 642 679 764 982 1137 0 29 222 277 347 371 433 563 631 652 713 782 889 999 1047 231 337 389 410 512 598 644 708 773 823 934 959 1032 1129 1145 0 21 101 131 186 715 738 839 931 945 962 1031 1091 1170 1202 62 421 516 568 682 715 782 863 972 1047 1059 1142 1145 1235 1292 163 257 275 329 371 441 470 513 563 638 849 889 1233 1245 1286