CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/js-taillard-20/
normalized-js-taillard-20-105-3.xml

Jump to solvers results

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-3.xml
MD5SUM223aaf1483a6ca1bf0f0bb4b746a8074
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark54.0714
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1748
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sugar v1.13+minisat1092499SAT 54.0714 49.7195
choco2_dwdeg 2008-06-261092502SAT 65.3291 65.3707
choco2_impwdeg 2008-06-261092501SAT 66.9518 67.3347
Sugar v1.13+picosat1092498SAT 71.2742 71.4773
cpHydra k_101092511SAT 82.5694 84.2237
cpHydra k_401092512SAT 763.635 766.121
SAT4J CSP 2008-06-131092497? 226.006 226.011
galac E1092504? (problem) 72.613 73.3549
galac M1092503? (problem) 72.9309 73.3136
Concrete + CSP4J - Tabu Engine 2008-05-301092492? (TO) 1800.02 1805.52
bpsolver 2008-06-271092500? (TO) 1800.03 1806.51
casper zao1092507? (TO) 1800.04 1807.82
Concrete + CSP4J - WMC Engine 2008-05-301092493? (TO) 1800.04 1804.12
MDG-noprobe 2008-06-271092496? (TO) 1800.05 1812.61
Concrete + CPS4J 2008-05-301092494? (TO) 1800.06 1810.53
casper zito1092508? (TO) 1800.06 1811.01
Mistral-prime 1.3131092506? (TO) 1800.07 1816.41
MDG-probe 2008-06-271092495? (TO) 1800.09 1815.11
Mistral-option 1.3141092505? (TO) 1800.1 1803.81
Abscon 112v4 ESAC1092510? (TO) 1800.1 1803.56
Minion/Tailor 2008-07-041105872? (TO) 1800.12 1810.21
Abscon 112v4 AC1092509? (TO) 1800.16 1805.19

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:
1 31 467 509 601 641 746 771 892 959 1012 1032 1084 1113 1164 1199 1362 1380 1423 1469 18 126 363 366 592 797 805 828 916 988 1016 1105 1312
1396 1460 1501 1531 1574 1670 1734 120 141 220 633 704 755 818 850 869 932 939 987 1077 1140 1165 1237 1329 1417 1486 1665 127 185 220 302
345 431 552 616 745 1008 1033 1106 1132 1172 1323 1431 1459 1541 1583 1665 83 85 126 141 216 247 313 419 485 581 643 672 721 907 957 1014
1186 1276 1315 1365 75 113 145 273 360 415 464 630 649 687 957 1032 1308 1383 1455 1556 1567 1600 1624 1660 0 4 26 125 135 227 306 308 362
466 501 559 598 690 854 1140 1184 1230 1363 1474 113 132 134 325 385 501 518 615 889 960 1053 1073 1141 1194 1248 1307 1406 1560 1641 1706
83 140 156 711 810 892 983 995 1014 1073 1116 1136 1220 1244 1324 1384 1466 1528 1657 1686 49 221 312 476 573 576 610 660 755 817 830 914
936 1044 1124 1182 1235 1241 1508 1649 2 299 308 380 468 594 788 866 948 971 978 1013 1107 1311 1321 1327 1412 1544 1562 1656 284 340 408
501 512 537 683 727 778 847 978 1020 1102 1145 1278 1326 1403 1500 1575 1704 67 91 177 235 461 564 589 619 658 664 705 724 783 885 995 1091
1123 1128 1174 1559 69 160 248 637 702 780 820 1060 1124 1132 1188 1198 1291 1319 1441 1589 1615 1648 1711 1713 299 314 359 455 506 608 647
669 742 821 939 1018 1238 1303 1327 1365 1382 1385 1589 1648 87 90 144 161 275 390 407 486 555 606 738 831 913 974 1133 1192 1278 1496 1579
1665 118 194 203 240 373 491 560 604 689 704 788 820 931 999 1094 1164 1245 1323 1628 1690 4 17 113 139 143 232 330 413 421 491 589 626 646
681 780 807 819 1458 1550 1673 0 166 167 202 299 334 499 564 617 737 802 908 986 1076 1085 1495 1562 1600 1739 1740 48 75 111 181 202 234
274 308 392 442 481 487 592 1303 1422 1520 1584 1625 1654 1658