| Name | csp/js-taillard-20/ normalized-js-taillard-20-105-9.xml |
| MD5SUM | 501f6fc5db626afa3267b44860e8f65f |
| 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 | 46.7539 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 4180 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1697 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 4180 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Sugar v1.14.6+picosat (complete) | 2086745 | SAT | 46.7539 | 47.3568 |
| Sugar v1.14.6+minisat (complete) | 2086746 | SAT | 52.2541 | 52.8149 |
| Choco2.1.1 2009-06-10 (complete) | 2086744 | SAT | 1162.54 | 1163.2 |
| Concrete DC 2009-07-14 (complete) | 2086743 | ? | 253.236 | 254.254 |
| SAT4J CSP 2.1.1 (complete) | 2086739 | ? | 258.264 | 259.709 |
| Concrete 2009-07-14 (complete) | 2086742 | ? (TO) | 1800.01 | 1801.62 |
| bpsolver 09 (complete) | 2086749 | ? (TO) | 1800.03 | 1804.91 |
| Mistral 1.545 (complete) | 2086748 | ? (TO) | 1800.04 | 1801.82 |
| pcs-restart 0.3.2 (complete) | 2086741 | ? (TO) | 1800.08 | 1801.26 |
| Choco2.1.1b 2009-07-16 (complete) | 2117122 | ? (TO) | 1800.12 | 1807.74 |
| Abscon 112v4 ESAC (complete) | 2098422 | ? (TO) | 1800.12 | 1813.47 |
| pcs 0.3.2 (complete) | 2086740 | ? (TO) | 1800.15 | 1808.86 |
| Abscon 112v4 AC (complete) | 2098421 | ? (TO) | 1800.16 | 1806.74 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:172 336 346 380 442 511 571 650 702 802 892 907 960 1096 1121 1160 1242 1374 1425 1611 0 117 200 260 344 418 434 452 470 482 545 576 844 941 996 997 1000 1218 1283 1375 0 86 139 198 210 317 465 467 601 839 932 1026 1125 1206 1284 1459 1479 1511 1588 1637 0 52 102 169 182 245 342 493 532 568 717 745 894 978 1138 1270 1331 1499 1553 1610 25 66 140 432 450 563 638 950 965 1087 1098 1129 1133 1145 1162 1196 1231 1299 1605 1676 0 11 27 126 244 554 645 715 779 792 841 854 947 1022 1102 1148 1217 1316 1382 1462 245 345 408 424 552 598 661 743 781 871 948 1034 1293 1305 1323 1375 1402 1454 1575 1621 61 134 223 378 412 636 668 746 898 902 918 1007 1100 1115 1223 1402 1473 1559 1605 1644 0 61 127 189 285 344 461 543 557 656 775 1011 1101 1175 1347 1388 1424 1485 1528 1665 0 80 198 250 451 466 487 549 631 717 776 868 957 1039 1149 1194 1302 1330 1504 1635 0 182 282 363 430 553 621 723 787 839 918 1039 1098 1103 1121 1359 1410 1491 1599 1653 86 106 189 327 426 645 695 738 776 847 909 951 1028 1087 1228 1247 1317 1505 1606 1643 139 336 417 497 555 650 740 837 888 924 1089 1173 1210 1262 1328 1389 1453 1553 1638 1664 7 127 173 182 229 310 417 425 428 559 597 614 755 836 1230 1256 1286 1382 1467 1533 30 61 169 220 412 628 724 786 882 957 1039 1125 1215 1346 1361 1391 1457 1507 1588 1600 0 6 79 142 256 282 382 515 618 682 713 715 784 856 872 990 1099 1440 1511 1601 0 3 139 259 352 434 451 453 455 490 526 556 656 753 773 987 1037 1135 1361 1534 0 63 143 222 311 368 427 466 505 563 722 834 968 1060 1101 1132 1177 1254 1536 1622 65 139 173 251 352 378 426 468 492 552 650 742 839 858 1180 1288 1429 1622 1675 1692 46 210 549 680 748 835 902 1000 1122 1200 1219 1243 1310 1320 1407 1507 1565 1617 1659 1692