MAX-CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/super-js/super-js-taillard-20-15/
normalized-super-js-taillard-20-15-24.xml
MD5SUM32c080069cd6a9f51c8c0a6f1b619a56
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints89
Best CPU time to get the best result obtained on this benchmark3600.07
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints9690
Maximum constraint arity2
Maximum domain size1288
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9690
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - MCRW Engine 2008-05-301112555MSAT (TO)89 3600.07 3633.72
Concrete + CSP4J - Tabu Engine 2008-05-301112556MSAT (TO)141 3600.08 3604.63
Sugar v1.13+minisat1112560? 189.931 196.913
Sugar++ v1.13+minisat-inc1112559? 190.403 196.038
AbsconMax 112 pc-w1112557? 693.797 694.875
AbsconMax 112 pc-d1112558? 708.489 712.496

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Number of falsified constraints: 89
Solution found:
58 63 779 773 1010 1003 1135 1140 1279 1276 74 79 581 576 884 794 930 941 1038 1040 1152 1143 290 263 476 474 1116 675 1242 1243 191 184 237
261 324 306 359 391 551 552 605 594 723 725 826 101 488 289 593 594 762 756 909 918 997 1006 1022 1017 1053 1039 0 4 15 18 120 106 391 429
554 557 698 678 772 771 929 945 1103 980 1212 1209 1234 1238 413 79 546 545 939 940 1184 1190 16 8 102 101 198 203 428 429 599 605 762 886
948 914 15 997 129 115 231 241 378 382 714 719 784 818 870 850 1237 973 0 61 112 520 763 859 942 930 1109 1092 1249 1207 185 191 381 388
1162 1142 244 133 338 300 432 448 856 738 1109 1118 1235 1138 0 3 225 222 462 255 592 570 837 812 884 888 956 1168 1265 1223 10 16 159 161
328 335 717 681 985 991 1030 1049 1231 1213 156 166 373 368 547 546 635 570 824 829 885 898 1126 982 573 259 823 1011 1044 1037 1154 103 293
294 511 519 772 765 1124 1138 3 4 26 64 409 391 535 530 627 597 720 650 824 823 914 913 962 972 1086 1209 1239 1250 4 5 120 116 805 801 1250
1249 10 7 170 277 474 539 570 845 888 696 1090 1097 149 174 443 448 667 661 1025 970 1209 289 352 91 450 449 895 892 1017 1188 25 0 67 126
222 233 454 441 794 796 78 1154 148 167 392 299 502 489 526 677 901 904 1177 1272 169 173 323 280 763 469 58 72 130 112 577 586 708 716 913
806 930 928 1063 1089 1132 1280 94 77 318 314 408 411 508 464 651 647 828 1154 1234 1233 124 6 220 221 373 661 913 878 1 18 83 80 151 255
278 271 434 437 559 548 667 671 961 960 1069 1031 1121 1122 1236 1231 1 3 114 110 219 217 670 660 986 89 225 275 816 322 1037 1157 1239 1192
72 15 320 322 440 437 528 621 710 716 1274 990 65 78 699 677 980 1099 1121 1146 152 148 191 240 572 293 725 741 908 1200 84 1075 259 278 446
457 622 624 1186 869 1247 1234 2 1 322 319 700 697 801 921 1023 1020 1091 1085 1152 1156 108 100 268 277 331 329 533 538 884 893 1025 1048
1142 1151 1232 1233 0 8 135 131 317 307 419 418 571 566 579 584 670 671 865 878 1020 1009 4 6 59 60 381 388 591 577 880 885 944 932 2 89 303
289 555 561 711 675 834 823 992 972 1031 1026 0 12 208 223 431 449 574 632 698 690 954 974 1065 1055 1195 1191 4 0 81 72 233 250 382 380 668
675 820 829 149 971 181 293 427 420 541 540 623 624 800 810 868 921 937 925 1134 1191 390 396 780 795 956 951 1138 1042 1212 83 238 222 303
290 393 385 555 465 901 906 1097 1084 288 274 658 656 742 758 974 975 38 138 373 255 501 471 598 844 872 881 1030 1040 1145 459 484 1159 596
597 762 751 928 931 954 945 1028 1015 1091 1092 1155 1143