CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-8.xml
MD5SUM0d097f8ff67533661f8e19e6cea7f246
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 benchmark13.385
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1717
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+minisat1092625SAT 13.385 13.7906
Sugar v1.13+picosat1092624SAT 53.2279 53.6595
choco2_dwdeg 2008-06-261092628SAT 815.952 816.317
choco2_impwdeg 2008-06-261092627SAT 881.513 893.624
cpHydra k_101092637SAT 1002.01 1021.84
cpHydra k_401092638SAT 1618.86 1626.43
SAT4J CSP 2008-06-131092623? 214.286 213.682
galac E1092630? (problem) 63.5083 64.1541
galac M1092629? (problem) 67.1038 67.8333
Concrete + CSP4J - WMC Engine 2008-05-301092619? (TO) 1800.01 1801.02
Concrete + CPS4J 2008-05-301092620? (TO) 1800.01 1812.02
bpsolver 2008-06-271092626? (TO) 1800.03 1810.01
Mistral-option 1.3141092631? (TO) 1800.04 1804.31
casper zao1092633? (TO) 1800.05 1816.13
MDG-probe 2008-06-271092621? (TO) 1800.05 1809.51
Minion/Tailor 2008-07-041105876? (TO) 1800.06 1810.11
Mistral-prime 1.3131092632? (TO) 1800.06 1804.21
MDG-noprobe 2008-06-271092622? (TO) 1800.07 1804.31
Concrete + CSP4J - Tabu Engine 2008-05-301092618? (TO) 1800.07 1811.02
casper zito1092634? (TO) 1800.08 1804.51
Abscon 112v4 ESAC1092636? (TO) 1800.13 1814.08
Abscon 112v4 AC1092635? (TO) 1800.13 1801.15

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:
430 514 568 621 669 714 772 874 968 1051 1101 1125 1174 1255 1260 1334 1455 1576 1601 1681 41 117 185 215 256 371 448 538 559 665 706 780
811 885 976 1224 1290 1342 1569 1666 0 49 75 123 187 242 324 415 498 561 577 866 987 1057 1061 1137 1224 1410 1485 1686 187 242 417 454 486
593 658 723 816 919 1013 1105 1130 1295 1315 1346 1407 1598 1648 1670 60 254 340 361 463 501 608 808 911 1050 1144 1209 1220 1318 1366 1461
1554 1563 1584 1609 0 64 71 165 194 271 346 396 481 544 573 675 768 842 947 1027 1035 1104 1191 1534 101 150 209 300 359 384 428 478 519 678
843 1206 1210 1316 1398 1463 1494 1509 1511 1646 160 201 221 448 492 557 601 658 678 929 952 970 978 1050 1111 1185 1287 1330 1550 1606 74
132 157 191 285 339 538 550 601 689 767 771 852 935 1109 1563 1600 1625 1660 1684 0 33 130 205 291 388 465 552 596 633 700 733 820 922 1147
1318 1363 1456 1628 1650 16 33 133 190 215 307 341 394 474 532 663 763 831 915 1129 1213 1307 1376 1608 1688 57 262 341 639 726 808 830 897
927 978 1053 1096 1140 1211 1272 1326 1425 1436 1561 1636 322 357 508 607 679 771 861 887 987 1062 1178 1219 1264 1365 1423 1461 1480 1546
1578 1627 59 141 403 443 476 517 629 655 708 860 933 974 1070 1328 1472 1581 1635 1636 1638 1707 43 68 100 141 155 222 247 342 477 498 738
963 1153 1223 1275 1276 1278 1362 1486 1528 6 35 164 432 681 733 742 1072 1074 1155 1228 1244 1266 1438 1451 1470 1483 1533 1592 1683 110
201 244 336 397 503 699 791 833 855 953 1041 1088 1127 1152 1157 1294 1356 1419 1613 5 77 167 228 280 320 391 431 503 596 964 996 1055 1137
1174 1243 1247 1538 1619 1642 10 116 269 337 369 485 492 534 586 624 692 764 966 989 1145 1227 1328 1486 1555 1639 690 781 798 873 880 924
934 966 1044 1057 1126 1171 1258 1348 1409 1451 1453 1474 1536 1629