MAX-CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/os-taillard-20/
normalized-os-taillard-20-95-2.xml

Jump to solvers results

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-95-2.xml
MD5SUMcf2755c41c9629ae5bc712eeb2cf6ab2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints24
Best CPU time to get the best result obtained on this benchmark3600.06
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1229
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
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 - Tabu Engine 2008-05-301111522MSAT (TO)24 3600.06 3616.02
Concrete + CSP4J - MCRW Engine 2008-05-301111521MSAT (TO)32 3600.01 3634.22
Sugar v1.13+minisat1111526? 171.329 191.333
Sugar++ v1.13+minisat-inc1111525? 177.88 185.949
AbsconMax 112 pc-w1111523? 189.406 191.631
AbsconMax 112 pc-d1111524? 189.454 191.693

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: 24
Solution found:
428 366 1152 710 587 1118 284 117 506 208 75 868 1032 765 0 924 796 645 953 906 820 993 627 1073 683 534 1150 482 428 322 541 112 7 377 758
901 246 1016 471 163 9 164 215 630 851 1011 579 323 225 474 1164 773 1154 87 732 386 788 565 929 1064 97 51 645 578 444 268 1102 962 1141
330 863 176 4 812 771 927 532 1077 689 986 730 580 1158 814 500 1045 882 493 368 0 172 276 78 1132 688 1002 399 479 788 769 807 160 1064 8
362 700 309 938 131 41 608 274 1007 514 442 1164 531 670 1199 865 107 812 1139 521 92 67 908 1227 161 1037 874 672 1 633 331 384 463 24 615
926 660 967 857 141 734 1006 4 487 525 102 410 289 947 564 368 583 598 213 1110 803 817 420 376 446 745 477 106 287 571 0 1164 1217 1123 206
1007 1074 503 164 910 662 56 245 648 567 1 1061 776 88 1042 129 428 1131 899 952 174 727 483 747 820 333 352 958 865 1186 384 182 98 749 806
1105 714 628 824 264 190 515 424 545 0 1038 495 1092 547 880 380 1141 74 217 48 322 935 710 204 117 964 785 1026 825 648 1177 481 817 63 342
914 754 313 733 888 285 1085 990 356 536 454 1188 1 630 266 172 412 913 222 188 586 316 675 838 1084 129 588 971 164 755 3 1109 179 60 506
315 239 633 1080 1055 973 479 698 1193 67 537 1160 163 3 1081 326 369 107 763 1040 859 17 115 703 873 189 9 543 426 985 1139 325 607 924 478
1017 1170 216 221 760 495 856 718 419 258 477 56 903 181 1166 815 126 1203 1103 224 1000 399 1198 373 3 641 1058 76 386 1085 1030 774 704
479 175 919 379 1108 117 836 548 2 1195 271 328 622 661 18 560 502 188 745 270 928 841 995 1101 437 462 637 984 350 57 1089 1168 99 398 0 98
1212 167 358 1021 374 768 1130 936 229 550 1083 685 470 592 859 468 304