CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-14.xml
MD5SUM706565457ea7a4d0a1ce73135f4ed524
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 benchmark106.091
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1240
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+picosat1083099SAT 106.091 107.231
Sugar v1.13+minisat1083100SAT 995.789 1000.78
galac E1083105? (problem) 73.7758 73.873
galac M1083104? (problem) 78.0281 78.4373
SAT4J CSP 2008-06-131083098? (exit code) 223.419 223.673
Concrete + CSP4J - WMC Engine 2008-05-301083094? (TO) 1800 1808.82
bpsolver 2008-06-271083101? (TO) 1800.01 1814.61
cpHydra k_101083112? (TO) 1800.01 1810.03
cpHydra k_401083113? (TO) 1800.02 1827.83
MDG-probe 2008-06-271083096? (TO) 1800.03 1815.02
Mistral-option 1.3141083106? (TO) 1800.04 1811.91
Concrete + CPS4J 2008-05-301083095? (TO) 1800.04 1814.52
Concrete + CSP4J - Tabu Engine 2008-05-301083093? (TO) 1800.04 1824.72
Mistral-prime 1.3131083107? (TO) 1800.05 1801.72
casper zao1083108? (TO) 1800.05 1807.52
MDG-noprobe 2008-06-271083097? (TO) 1800.06 1809.11
Minion/Tailor 2008-07-041107072? (TO) 1800.09 1807.41
casper zito1083109? (TO) 1800.11 1800.91
choco2_dwdeg 2008-06-261083103? (TO) 1800.11 1813.74
Abscon 112v4 AC1083110? (TO) 1800.12 1810.89
Abscon 112v4 ESAC1083111? (TO) 1800.13 1815.68
choco2_impwdeg 2008-06-261083102? (TO) 1800.13 1817.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 157 158 232 231 274 275 311 310 419 418 515 516 604 603 637 638 677 679 830 829 902 903 1020 1021 1094 1095 1150 1149 0 1 282 281 364
363 452 453 504 505 554 555 622 621 665 666 816 817 901 900 962 963 993 992 1049 1050 1069 1068 1160 1161 241 242 369 368 410 409 448 449
582 583 643 642 732 736 814 815 870 869 887 888 985 984 1022 1023 1074 1073 1076 1077 1149 1148 11 12 90 89 168 169 253 252 349 350 369 370
389 388 484 483 541 542 661 662 758 759 789 788 871 870 973 974 1122 1121 20 21 544 543 604 605 613 612 642 643 675 674 758 759 812 808 829
830 946 945 1025 1026 1120 1121 1149 1148 1179 1180 1197 1196 3 2 114 113 184 185 293 294 394 393 460 461 632 618 727 726 731 732 747 746
762 763 848 847 889 888 967 966 1175 1176 0 1 66 65 157 158 180 181 231 230 312 311 447 446 512 511 535 534 643 642 725 726 764 763 817 818
831 830 853 854 0 1 43 13 65 64 125 126 252 251 361 362 460 461 521 520 573 574 599 598 687 688 791 792 936 937 966 965 1207 1206 13 14 64
65 139 138 209 210 376 377 445 446 450 449 545 546 653 652 702 703 768 767 855 832 927 926 1014 1013 1145 1144 0 1 37 36 71 72 137 136 201
202 263 264 306 305 372 373 495 496 590 591 646 645 709 710 718 717 882 883 1203 1202 175 174 238 237 247 248 337 336 414 415 443 442 545
546 626 627 690 689 878 879 973 972 1058 1059 1131 1130 1149 1150 1229 1228 59 60 135 134 197 196 281 282 528 529 628 627 690 691 731 730
818 819 885 884 977 976 1019 1020 1028 1027 1049 1050 1074 1075 1 2 11 10 34 33 43 44 52 51 106 107 145 144 287 288 446 445 457 458 535 536
784 783 917 918 1100 1101 1183 1184 0 1 137 138 145 144 236 312 375 374 466 467 471 470 487 488 644 645 741 742 797 820 1011 1012 1027 1028
1120 1121 1229 1228 237 238 288 289 313 312 338 337 359 360 395 393 509 510 545 544 614 616 630 629 675 676 771 772 882 881 905 904 1175
1176