MAX-CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-30.xml
MD5SUM008c1f6eb2772a7d547f78fa2d1b705f
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints51
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1207
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 NameTraceIDAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - MCRW Engine 2008-05-301112549MSAT (TO)51 3600.02 3618.42
Concrete + CSP4J - Tabu Engine 2008-05-301112550MSAT (TO)91 3600.04 3601.82
AbsconMax 112 pc-d1112552? 445.473 451.073
AbsconMax 112 pc-w1112551? 447.505 450.422
Sugar++ v1.13+minisat-inc1112553? (MO) 122.076 125.681
Sugar v1.13+minisat1112554? (MO) 334.809 349.013

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: 51
Solution found:
0 3 85 87 388 390 500 483 1033 1021 1191 1146 5 4 101 105 208 217 232 231 453 462 778 784 864 1006 1108 1114 1202 1198 167 165 276 286 332
351 455 452 640 648 700 711 865 939 975 997 1106 1114 6 329 395 423 486 481 765 898 964 938 1176 1175 7 5 415 402 540 547 621 682 685 692
800 792 973 972 10 2 310 375 601 630 687 670 784 791 818 814 918 916 1092 1102 102 119 143 146 620 621 749 853 937 928 985 976 1073 1086
1133 1115 35 40 170 172 275 278 463 472 837 712 905 902 1172 1189 41 52 149 156 214 356 448 449 613 593 656 665 742 740 1114 1084 4 7 237
208 334 319 425 403 479 499 564 555 817 827 166 202 653 283 955 721 106 118 230 377 507 488 625 672 882 664 1027 1020 1045 1112 1163 1169
148 629 828 632 878 889 1102 1098 55 4 64 69 260 414 746 757 2 52 176 498 559 573 672 666 771 738 1104 1055 44 135 567 225 792 683 962 1006
1137 982 20 3 138 146 380 208 445 444 657 818 907 903 1073 1092 337 345 491 539 603 624 673 819 834 837 917 916 966 955 1020 1025 218 232
336 361 436 462 602 634 991 815 1045 1053 1199 1188 107 112 253 259 311 425 443 440 774 460 880 907 1013 1010 1106 1089 7 16 106 123 153 162
277 300 438 429 567 565 680 672 763 789 972 1017 1065 1062 1102 1115 71 73 217 206 478 666 1192 1193 3 6 178 151 277 405 535 534 576 582 774
700 930 946 979 972 207 199 293 290 447 415 490 500 784 774 903 916 1098 1129 149 151 232 349 363 355 542 529 717 731 884 880 1170 1000 1201
1189 310 141 800 688 969 859 977 975 1061 1062 1070 1081 1093 1092 43 44 402 375 553 557 563 561 703 675 731 766 851 855 1163 1190 4 1 80 71
140 130 366 316 443 433 724 722 1011 1012 2 1 81 80 255 234 326 332 400 395 517 498 565 552 717 713 815 812 114 88 233 220 352 342 848 827
979 971 1185 1172 86 330 347 228 412 399 630 638 661 718 1090 1003 2 43 174 199 329 324 438 452 500 499 677 667 820 799 1034 1025 1114 1141