CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-7.xml
MD5SUM933af775481748d76719206dbc8b6623
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 benchmark18.9771
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1715
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+minisat1092583SAT 18.9771 19.299
Sugar v1.13+picosat1092582SAT 38.4442 40.3807
choco2_dwdeg 2008-06-261092586SAT 46.4489 46.4736
choco2_impwdeg 2008-06-261092585SAT 54.6977 55.2613
cpHydra k_101092595SAT 72.8339 73.2823
cpHydra k_401092596SAT 748.631 754.449
SAT4J CSP 2008-06-131092581? 220.666 221.69
galac E1092588? (problem) 68.5536 68.9376
galac M1092587? (problem) 74.8546 75.3098
casper zito1092592? (TO) 1800.01 1807.51
MDG-probe 2008-06-271092579? (TO) 1800.03 1811.81
Concrete + CSP4J - Tabu Engine 2008-05-301092576? (TO) 1800.03 1802.52
bpsolver 2008-06-271092584? (TO) 1800.04 1817.61
Mistral-prime 1.3131092590? (TO) 1800.05 1800.81
Mistral-option 1.3141092589? (TO) 1800.05 1804.71
MDG-noprobe 2008-06-271092580? (TO) 1800.07 1811.31
Concrete + CPS4J 2008-05-301092578? (TO) 1800.07 1807.62
Minion/Tailor 2008-07-041105875? (TO) 1800.08 1800.71
Concrete + CSP4J - WMC Engine 2008-05-301092577? (TO) 1800.09 1811.12
Abscon 112v4 AC1092593? (TO) 1800.1 1817.28
casper zao1092591? (TO) 1800.11 1808.52
Abscon 112v4 ESAC1092594? (TO) 1800.14 1808.58

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:
55 88 96 149 236 429 443 484 573 846 896 1180 1290 1316 1351 1434 1459 1507 1558 1616 0 5 39 87 116 231 406 545 558 683 691 822 828 829 888
985 992 1047 1513 1673 28 95 163 300 331 452 481 502 539 621 660 693 694 767 802 885 974 1091 1183 1227 15 75 160 361 445 522 542 605 606
632 638 688 709 717 731 865 943 1001 1033 1153 124 195 207 341 426 473 511 583 666 717 730 782 795 1104 1195 1235 1240 1331 1355 1486 188
271 369 454 476 485 513 606 611 723 826 948 1004 1299 1360 1442 1451 1539 1574 1664 79 117 195 286 307 395 488 503 574 642 768 836 871 882
950 1048 1289 1482 1617 1632 5 8 145 164 504 570 648 765 788 837 955 1127 1204 1276 1360 1405 1431 1580 1608 1696 9 88 116 215 310 327 411
547 579 611 699 797 856 923 967 1052 1260 1537 1607 1666 26 53 70 76 138 228 246 333 474 556 648 744 820 878 944 1016 1076 1208 1234 1326
314 460 469 540 615 672 728 736 825 870 1281 1331 1368 1505 1510 1523 1587 1658 1686 1688 75 160 304 319 446 557 648 801 982 1054 1121 1215
1266 1287 1344 1383 1400 1540 1648 1690 71 165 245 328 446 499 550 637 758 1039 1132 1214 1226 1302 1388 1423 1470 1573 1648 1711 29 48 106
136 271 281 662 694 830 903 964 995 1089 1150 1254 1345 1443 1478 1533 1622 2 120 133 229 312 542 625 738 821 915 934 1144 1212 1247 1293
1298 1364 1460 1467 1581 8 57 118 128 373 379 421 675 758 765 816 871 961 990 1107 1379 1469 1549 1650 1670 330 419 452 479 506 508 537 664
707 769 1011 1070 1174 1181 1440 1506 1520 1607 1649 1657 358 452 584 696 788 802 843 919 985 1062 1122 1215 1259 1352 1456 1469 1542 1586
1601 1620 3 211 245 317 399 427 479 501 534 699 726 860 938 1003 1009 1053 1138 1200 1239 1360 24 122 197 280 560 572 613 775 854 1055 1067
1085 1122 1123 1229 1305 1310 1392 1473 1510