CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-6.xml
MD5SUM1c733877136bc0dc2d619d936a559dba
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 benchmark65.503
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1789
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+minisat1092604SAT 65.503 66.2343
Sugar v1.13+picosat1092603SAT 108.985 109.654
choco2_dwdeg 2008-06-261092607SAT 1123.89 1134.15
choco2_impwdeg 2008-06-261092606SAT 1140.16 1156.62
cpHydra k_101092616SAT 1247.68 1275.75
cpHydra k_401092617SAT 1748.12 1754.19
SAT4J CSP 2008-06-131092602? 215.813 216.311
galac E1092609? (problem) 70.9912 71.3984
galac M1092608? (problem) 76.8493 77.6908
bpsolver 2008-06-271092605? (TO) 1800.03 1816.21
Concrete + CSP4J - WMC Engine 2008-05-301092598? (TO) 1800.03 1821.32
Concrete + CSP4J - Tabu Engine 2008-05-301092597? (TO) 1800.03 1816.42
Mistral-prime 1.3131092611? (TO) 1800.03 1802.71
Mistral-option 1.3141092610? (TO) 1800.04 1803.51
casper zito1092613? (TO) 1800.05 1809.31
MDG-probe 2008-06-271092600? (TO) 1800.06 1810.91
MDG-noprobe 2008-06-271092601? (TO) 1800.06 1807.41
casper zao1092612? (TO) 1800.07 1802.72
Concrete + CPS4J 2008-05-301092599? (TO) 1800.09 1816.03
Minion/Tailor 2008-07-041105874? (TO) 1800.11 1812.51
Abscon 112v4 AC1092614? (TO) 1800.13 1813.95
Abscon 112v4 ESAC1092615? (TO) 1800.16 1803.16

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:
293 416 521 582 701 711 781 902 904 1004 1042 1107 1188 1226 1277 1358 1395 1467 1619 1690 7 87 232 322 405 529 536 655 672 685 757 785 858
976 1041 1091 1253 1323 1445 1477 10 153 238 301 372 436 524 551 581 654 753 763 814 931 1033 1548 1646 1690 1697 1730 29 189 241 246 250
334 388 391 488 535 544 557 693 858 906 978 981 1016 1152 1600 453 540 591 686 710 806 860 911 972 1104 1306 1397 1487 1511 1570 1629 1655
1733 1737 1740 25 67 114 124 151 269 361 449 485 518 574 707 717 743 821 890 1021 1124 1282 1523 245 264 302 465 515 546 634 730 829 911 988
992 1092 1279 1356 1446 1514 1615 1705 1735 96 121 168 178 226 309 371 374 412 527 613 974 1161 1226 1257 1306 1361 1441 1578 1749 63 80 250
275 352 414 442 494 499 531 568 663 733 875 933 1025 1188 1334 1415 1517 195 236 341 375 379 478 735 793 807 1024 1095 1192 1287 1351 1363
1380 1446 1588 1656 1736 116 143 355 387 399 498 553 589 617 726 935 1106 1206 1296 1301 1386 1543 1663 1667 1708 58 168 271 434 555 574 633
907 1156 1231 1278 1355 1363 1406 1436 1524 1564 1574 1650 1760 35 385 532 732 808 834 862 898 1103 1143 1175 1219 1293 1345 1392 1406 1467
1565 1652 1725 0 153 196 252 344 470 564 624 661 742 864 905 966 1064 1123 1218 1256 1375 1510 1767 30 87 183 194 275 722 835 1109 1197 1292
1318 1409 1466 1496 1528 1586 1626 1637 1688 1707 6 219 487 603 648 711 807 832 880 913 969 1023 1120 1307 1526 1567 1568 1585 1682 1763 203
260 282 444 472 551 615 681 727 802 898 982 1046 1166 1201 1210 1299 1607 1650 1703 100 190 242 268 383 459 514 591 1023 1105 1185 1258 1336
1345 1416 1495 1526 1605 1649 1663 158 217 274 661 708 721 756 828 902 958 1043 1095 1129 1221 1313 1394 1470 1561 1654 1701 3 31 120 123
198 229 316 382 452 486 505 589 680 740 1332 1372 1387 1453 1480 1626