Name | csp/js-taillard-15/ normalized-js-taillard-15-100-1.xml |
MD5SUM | 74d19ad62f918a217b76261cff1ec0a6 |
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 | 5.77812 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1263 |
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+minisat (complete) | 2080388 | SAT | 5.77812 | 5.96934 |
Sugar v1.14.6+picosat (complete) | 2080387 | SAT | 24.0573 | 24.4284 |
Choco2.1.1 2009-06-10 (complete) | 2080386 | SAT | 108.361 | 109.477 |
Choco2.1.1b 2009-07-16 (complete) | 2116544 | SAT | 109.389 | 109.676 |
Concrete DC 2009-07-14 (complete) | 2080385 | ? | 242.092 | 242.766 |
SAT4J CSP 2.1.1 (complete) | 2080381 | ? (exit code) | 356.754 | 358.777 |
Concrete 2009-07-14 (complete) | 2080384 | ? (TO) | 1800.03 | 1813.42 |
pcs 0.3.2 (complete) | 2080382 | ? (TO) | 1800.09 | 1815.36 |
Abscon 112v4 ESAC (complete) | 2097266 | ? (TO) | 1800.09 | 1816.75 |
Mistral 1.545 (complete) | 2080390 | ? (TO) | 1800.1 | 1812.71 |
Abscon 112v4 AC (complete) | 2097265 | ? (TO) | 1800.1 | 1801.45 |
bpsolver 09 (complete) | 2080391 | ? (TO) | 1800.11 | 1805.61 |
pcs-restart 0.3.2 (complete) | 2080383 | ? (TO) | 1800.13 | 1815.48 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:68 154 283 294 367 432 526 597 622 720 769 812 827 1169 1190 0 385 413 514 550 648 683 720 758 820 1034 1124 1138 1158 1240 4 37 116 322 431 521 702 809 897 917 983 1023 1102 1141 1181 185 198 214 287 414 455 479 557 627 829 939 1012 1194 1252 1259 36 129 231 345 419 438 486 568 683 793 874 977 1076 1149 1244 63 125 185 351 375 399 471 559 628 693 734 780 903 979 1201 10 68 140 230 264 308 313 321 346 416 490 591 972 1055 1140 106 166 496 643 687 750 861 905 906 1004 1023 1082 1094 1135 1146 212 305 413 464 502 593 780 843 883 959 986 1002 1085 1134 1240 114 119 160 181 212 278 281 353 451 514 578 654 748 765 1112 1 36 78 142 210 331 358 410 449 776 803 867 901 951 1087 81 104 136 171 181 348 501 558 642 700 762 801 833 841 932 1 29 60 104 132 205 375 404 1005 1086 1099 1143 1185 1187 1210 218 229 331 358 417 479 566 602 609 686 793 853 950 1009 1062 149 195 293 361 385 469 516 588 589 680 882 950 992 1121 1151