| Name | csp/js-taillard-20-15/ normalized-js-taillard-20-15-105-2.xml |
| MD5SUM | 889428b741c69397c034d6ea53d00acd |
| 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 | 17.5893 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 3130 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1436 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 3130 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Sugar v1.14.6+minisat (complete) | 2080234 | SAT | 17.5893 | 17.8317 |
| Sugar v1.14.6+picosat (complete) | 2080233 | SAT | 52.479 | 53.0733 |
| Choco2.1.1b 2009-07-16 (complete) | 2116530 | SAT | 162.184 | 162.319 |
| Choco2.1.1 2009-06-10 (complete) | 2080232 | SAT | 193.495 | 194.473 |
| Concrete DC 2009-07-14 (complete) | 2080231 | ? | 237.998 | 238.826 |
| SAT4J CSP 2.1.1 (complete) | 2080227 | ? (exit code) | 283.798 | 283.966 |
| Concrete 2009-07-14 (complete) | 2080230 | ? (TO) | 1800.04 | 1808.62 |
| pcs-restart 0.3.2 (complete) | 2080229 | ? (TO) | 1800.08 | 1802.76 |
| bpsolver 09 (complete) | 2080237 | ? (TO) | 1800.09 | 1804.01 |
| Mistral 1.545 (complete) | 2080236 | ? (TO) | 1800.09 | 1817.21 |
| Abscon 112v4 ESAC (complete) | 2097238 | ? (TO) | 1800.11 | 1804.28 |
| Abscon 112v4 AC (complete) | 2097237 | ? (TO) | 1800.14 | 1815.07 |
| pcs 0.3.2 (complete) | 2080228 | ? (TO) | 1800.17 | 1806.26 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:17 121 138 142 205 272 302 450 657 984 1082 1099 1121 1136 1380 18 95 175 241 318 342 427 591 607 713 750 844 1127 1416 1424 1 100 103 115 172 230 389 491 532 539 617 1121 1151 1218 1241 96 284 329 683 771 828 1096 1145 1194 1272 1303 1306 1331 1381 1383 262 383 509 544 588 625 641 972 1057 1119 1171 1184 1260 1329 1340 359 444 524 526 608 661 758 839 847 869 928 1047 1099 1222 1388 140 204 298 457 470 619 645 811 831 1024 1052 1115 1117 1286 1374 108 164 262 332 360 361 457 488 526 567 661 738 913 976 1430 394 499 597 661 712 801 897 985 998 1108 1165 1222 1321 1332 1340 3 93 247 327 375 462 564 663 677 801 803 863 935 962 1025 20 67 117 215 232 303 308 479 530 599 631 772 783 881 1267 109 178 432 570 724 823 985 1001 1090 1107 1205 1292 1300 1341 1387 105 245 274 296 346 378 440 638 682 707 763 981 1242 1267 1316 6 44 126 178 297 376 407 458 527 591 852 1048 1177 1329 1399 16 153 193 209 248 468 478 565 597 645 767 1221 1258 1271 1301 30 106 237 311 402 518 524 698 773 869 920 971 1070 1140 1417 89 141 146 205 258 404 484 568 615 640 726 821 898 949 1421 1 12 35 41 101 184 345 619 660 752 801 893 1086 1380 1405 149 269 350 366 430 474 850 858 951 1023 1122 1205 1270 1313 1401 122 289 352 536 762 791 825 882 971 1021 1049 1064 1091 1258 1357