CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-15.xml
MD5SUMd4b8a3518de3d7b3c2da5e05ff268d86
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 benchmark57.2833
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1298
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+picosat1083078SAT 57.2833 57.9853
Sugar v1.13+minisat1083079SAT 963.645 966.86
SAT4J CSP 2008-06-131083077? 226.883 227.421
galac E1083084? (problem) 62.2485 62.5522
galac M1083083? (problem) 68.2886 69.0436
Concrete + CPS4J 2008-05-301083074? (TO) 1800 1825.62
cpHydra k_101083091? (TO) 1800.01 1825.23
cpHydra k_401083092? (TO) 1800.02 1820.44
MDG-probe 2008-06-271083075? (TO) 1800.03 1815.41
bpsolver 2008-06-271083080? (TO) 1800.04 1800.92
Concrete + CSP4J - Tabu Engine 2008-05-301083072? (TO) 1800.05 1814.42
casper zao1083087? (TO) 1800.05 1801.33
Mistral-option 1.3141083085? (TO) 1800.05 1814.31
Concrete + CSP4J - WMC Engine 2008-05-301083073? (TO) 1800.05 1809.02
casper zito1083088? (TO) 1800.08 1806.81
Abscon 112v4 ESAC1083090? (TO) 1800.09 1806.56
Mistral-prime 1.3131083086? (TO) 1800.09 1808.81
Minion/Tailor 2008-07-041107073? (TO) 1800.11 1807.41
MDG-noprobe 2008-06-271083076? (TO) 1800.12 1806.42
choco2_dwdeg 2008-06-261083082? (TO) 1800.13 1800.96
choco2_impwdeg 2008-06-261083081? (TO) 1800.13 1815.78
Abscon 112v4 AC1083089? (TO) 1800.16 1817.18

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:
24 93 215 214 312 311 389 388 484 485 561 560 638 639 689 693 845 846 911 914 954 955 1026 1025 1087 1088 1172 1173 1272 1273 0 1 8 7 109
110 211 210 263 264 332 331 373 372 463 464 499 498 556 557 663 664 864 865 1064 1063 1132 1133 1227 1226 180 179 267 268 314 315 336 335
446 445 581 582 661 662 725 724 774 773 868 867 953 954 1055 1056 1076 1075 1078 1079 1190 1191 6 7 108 109 126 127 182 181 190 191 365 366
381 382 458 459 484 485 563 562 662 661 733 732 830 831 912 913 934 935 0 1 194 197 293 294 311 312 423 424 515 516 554 552 636 637 658 657
911 910 1008 1009 1060 1059 1110 1111 1180 1179 1232 1233 0 1 95 96 150 151 190 191 263 262 332 333 365 364 465 464 515 516 655 654 724 725
842 843 876 877 910 911 1098 1099 26 27 102 101 462 463 562 563 660 659 744 743 815 816 863 862 959 960 1016 1015 1094 1095 1148 1147 1158
1159 1263 1264 1265 1264 0 1 48 47 171 172 612 611 647 648 681 680 740 741 779 780 828 829 846 847 912 911 1002 1003 1101 1102 1190 1191
1251 1250 380 381 545 546 562 561 611 612 635 634 637 636 715 716 758 754 779 778 804 803 961 962 1006 1005 1089 1090 1098 1097 1159 1160 1
2 186 187 291 292 404 405 451 452 462 463 500 501 566 567 651 650 678 677 724 725 763 762 930 927 1092 1093 1243 1242 15 16 38 39 88 89 209
210 212 211 259 260 263 262 622 623 691 692 715 716 777 776 906 905 1012 1011 1210 1211 1250 1249 69 68 268 267 314 315 336 337 459 458 661
660 681 680 762 763 828 829 903 902 953 954 990 991 1086 1085 1163 1164 1188 1187 3 2 41 42 122 123 153 154 192 193 267 268 300 301 386 387
484 485 499 498 512 513 594 593 655 654 700 701 815 816 64 65 97 96 202 203 269 270 339 340 418 419 530 529 604 603 789 788 865 864 877 878
961 960 1003 1002 1130 1129 1220 1219 0 1 95 94 113 114 168 167 236 237 314 313 345 346 412 411 477 479 577 576 774 775 885 886 1018 1017
1019 1020 1047 1048