CSP 2009 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 benchmark12.1841
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.14.6+minisat (complete)2086823SAT 12.1841 30.9912
Sugar v1.14.6+picosat (complete)2086822SAT 51.9731 52.5509
Choco2.1.1b 2009-07-16 (complete)2117129SAT 634.619 640.676
Concrete DC 2009-07-14 (complete)2086820? 230.709 232.963
SAT4J CSP 2.1.1 (complete)2086816? 254.711 255.574
Concrete 2009-07-14 (complete)2086819? (TO) 1800.04 1801.02
Mistral 1.545 (complete)2086825? (TO) 1800.05 1800.81
bpsolver 09 (complete)2086826? (TO) 1800.05 1810.91
Choco2.1.1 2009-06-10 (complete)2086821? (TO) 1800.07 1804.74
Abscon 112v4 AC (complete)2098435? (TO) 1800.11 1802.67
pcs-restart 0.3.2 (complete)2086818? (TO) 1800.11 1815.06
Abscon 112v4 ESAC (complete)2098436? (TO) 1800.13 1817.35
pcs 0.3.2 (complete)2086817? (TO) 1800.15 1803.96

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