CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-12.xml

Jump to solvers results

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-12.xml
MD5SUM7160ac9735ff4cdf08aa3c1a73aa6e48
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 benchmark91.5701
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1326
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5580
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sugar v1.13+picosat1083162SAT 91.5701 92.8227
Sugar v1.13+minisat1083163SAT 1114.45 1125.26
SAT4J CSP 2008-06-131083161? 227.107 227.87
galac E1083168? (problem) 66.6669 67.3664
galac M1083167? (problem) 71.1402 71.8735
Concrete + CSP4J - WMC Engine 2008-05-301083157? (TO) 1800.01 1801.02
casper zito1083172? (TO) 1800.02 1806.51
cpHydra k_101083175? (TO) 1800.03 1833.75
Concrete + CSP4J - Tabu Engine 2008-05-301083156? (TO) 1800.04 1807.22
cpHydra k_401083176? (TO) 1800.04 1820.73
Minion/Tailor 2008-07-041107071? (TO) 1800.06 1806.41
MDG-noprobe 2008-06-271083160? (TO) 1800.07 1803.31
bpsolver 2008-06-271083164? (TO) 1800.07 1807.41
choco2_impwdeg 2008-06-261083165? (TO) 1800.08 1810.34
casper zao1083171? (TO) 1800.08 1807.72
Concrete + CPS4J 2008-05-301083158? (TO) 1800.08 1809.72
Abscon 112v4 AC1083173? (TO) 1800.1 1803.95
Mistral-prime 1.3131083170? (TO) 1800.1 1807.61
Mistral-option 1.3141083169? (TO) 1800.11 1800.91
MDG-probe 2008-06-271083159? (TO) 1800.11 1810.01
Abscon 112v4 ESAC1083174? (TO) 1800.13 1807.98
choco2_dwdeg 2008-06-261083166? (TO) 1800.14 1815.26

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:
0 1 89 88 214 215 268 267 353 354 469 470 565 564 636 637 681 680 780 779 832 831 898 899 982 993 1134 1135 1253 1252 0 1 72 73 149 150 244
243 331 330 424 425 460 459 498 497 527 526 590 589 676 677 742 741 753 760 837 838 1303 1302 0 1 34 35 183 184 280 279 395 396 659 660 741
740 803 802 891 892 920 919 998 999 1021 1020 1145 1144 1183 1184 1243 1244 87 88 135 134 149 150 223 222 324 325 370 369 423 422 501 502
618 617 912 913 981 980 1054 1055 1251 1252 1310 1311 1322 1321 41 42 144 145 197 196 316 315 329 330 349 350 419 418 509 510 570 569 654
655 742 741 902 901 1004 1003 1101 1100 1307 1306 0 1 85 84 146 145 240 239 401 402 589 431 662 661 754 755 827 828 913 914 955 954 1001
1002 1068 1067 1145 1146 1256 1255 67 66 171 170 328 327 430 429 497 498 542 541 547 548 556 555 584 583 702 703 759 758 907 908 1047 1046
1109 1110 1199 1198 0 1 102 103 167 168 425 424 497 498 561 560 652 653 674 673 801 802 898 897 919 918 1000 1001 1013 1012 1054 1055 1195
1196 188 187 292 293 371 372 460 459 556 555 647 648 786 784 861 862 955 954 1023 1024 1077 1078 1094 1095 1178 1177 1229 1228 1290 1289 0 1
11 10 135 136 339 338 353 354 420 419 423 424 561 560 696 697 760 761 829 830 906 905 1065 1064 1083 1082 1196 1197 0 1 46 47 111 110 211
210 332 333 429 428 456 457 521 520 576 577 655 656 731 730 750 752 821 820 871 872 1145 1144 61 60 157 156 256 257 292 291 302 303 332 331
773 774 794 795 839 838 936 935 1016 1015 1094 1093 1127 1128 1200 1201 1234 1235 1 0 29 30 63 64 171 176 281 282 348 347 407 439 463 464
1066 1065 1147 1148 1156 1155 1200 1201 1243 1244 1246 1245 1269 1270 6 7 117 118 225 226 256 257 544 543 647 648 673 672 741 740 784 783
886 887 951 952 1019 1018 1126 1127 1190 1166 1253 1254 0 1 72 71 253 254 292 291 316 317 401 400 448 449 542 541 581 582 673 674 907 908
976 977 1033 1034 1105 1106 1136 1160