MAX-CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-22.xml
MD5SUMb143b6832d0d7021c7c579e11837017e
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.03
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1200
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-301112537MSAT (TO)51 3600.03 3617.12
Concrete + CSP4J - Tabu Engine 2008-05-301112538MSAT (TO)85 3600 3616.83
AbsconMax 112 pc-d1112540? 306.456 308.668
AbsconMax 112 pc-w1112539? 327.093 330.352
Sugar++ v1.13+minisat-inc1112541? (MO) 113.873 490.326
Sugar v1.13+minisat1112542? (MO) 119.508 124.186

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:
35 8 421 192 583 579 648 682 866 871 32 54 386 197 485 528 574 529 73 811 190 203 301 299 309 339 904 406 976 975 128 130 237 287 410 401
482 546 718 726 17 159 229 160 340 338 385 395 541 482 753 755 821 820 913 842 1053 1059 1160 1153 80 77 256 268 523 535 631 637 740 744 55
84 237 206 753 688 113 938 170 174 329 252 441 452 588 582 1041 1009 1107 1101 138 212 230 205 276 247 368 380 838 844 925 919 957 961 1124
1097 105 89 264 257 518 531 842 811 948 949 1045 1047 1155 1189 5 14 153 137 219 209 394 411 464 466 526 528 592 705 802 816 1112 991 129
201 278 199 477 495 841 856 936 919 1062 1045 2 6 313 317 397 400 505 665 691 717 776 772 947 962 1131 1125 5 212 298 537 634 627 793 804
877 865 953 965 1123 1066 123 141 205 208 297 293 491 459 535 586 890 778 1049 1067 1088 1072 1 2 268 204 434 431 657 653 829 830 972 987
1129 1130 5 1 103 128 334 326 438 488 753 797 1023 1027 1152 1156 1194 58 109 138 523 402 554 547 622 777 821 691 973 1011 1072 1073 291 314
446 444 494 503 611 711 878 695 1095 1099 41 53 140 182 227 225 432 403 810 530 873 852 1076 1034 1141 1145 1173 1175 5 1 85 72 160 365 430
415 448 446 678 583 827 783 916 927 1130 1118 42 4 193 217 340 315 597 460 697 740 1039 1034 250 248 356 373 435 439 562 546 685 683 780 783
16 20 156 159 267 246 341 535 634 504 643 738 948 956 1007 1018 1063 1088 65 72 181 499 537 531 580 587 600 597 690 716 889 834 960 953 971
995 1076 1079 34 1159 216 214 297 296 665 387 814 808 12 123 391 401 1177 1173 72 57 123 138 267 270 353 449 519 516 590 577 683 692 708 705
755 788 869 875 917 1029 1075 1059 13 226 305 354 544 548 634 627 718 695 797 790 841 845 873 876 944 940 1119 1115 34 31 584 576 733 714
795 772 878 877 79 242 285 311 866 453 1012 1021 1048 1042 5 20 83 72 155 434 456 463 573 566 734 725 848 846 935 944 1025 1032 1071 1065