MAX-CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-23.xml
MD5SUMf282a7bc045af28efe9331ccc5efb812
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints48
Best CPU time to get the best result obtained on this benchmark3600.08
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1171
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-301112543MSAT (TO)48 3600.08 3624.82
Concrete + CSP4J - Tabu Engine 2008-05-301112544MSAT (TO)82 3600.04 3600.22
AbsconMax 112 pc-d1112546? 207.608 207.99
AbsconMax 112 pc-w1112545? 232.194 234.476
Sugar v1.13+minisat1112548? (MO) 113.024 119.175
Sugar++ v1.13+minisat-inc1112547? (MO) 116.238 120.848

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: 48
Solution found:
57 56 133 172 287 285 592 402 738 755 857 892 901 877 942 961 1036 1006 25 28 179 92 327 301 422 480 608 852 941 944 240 265 349 338 610 620
719 831 899 898 1094 1095 6 10 149 145 255 274 370 368 460 469 506 489 580 597 660 622 911 909 153 162 319 323 393 382 523 580 841 899 1091
1093 44 80 187 171 468 487 1091 856 5 2 268 242 496 489 746 747 1112 1114 37 0 103 131 240 236 675 691 769 737 938 1006 1069 1026 1143 32
258 82 392 416 605 594 778 779 892 883 994 1050 1071 1080 117 104 215 214 287 284 324 316 391 414 483 478 654 657 730 743 883 842 221 1001
578 556 825 802 883 882 1023 1027 1158 1155 36 31 255 279 371 303 420 388 486 488 632 638 846 847 922 890 1013 1022 1123 1118 127 102 396
392 650 646 955 882 1070 1054 2 0 80 66 381 393 428 416 503 456 654 662 832 828 896 856 975 978 6 1027 103 113 401 507 718 639 839 950 1020
888 0 169 194 175 434 287 496 540 573 587 795 806 935 928 9 15 69 52 338 208 645 625 758 755 824 827 973 982 1118 1136 182 186 265 367 488
620 671 672 744 802 1046 909 15 3 187 135 477 469 507 535 645 651 761 764 841 837 990 986 1088 1089 56 100 227 183 302 295 352 348 437 500
776 744 824 823 935 930 1073 1062 54 49 267 268 442 359 485 484 607 629 864 1031 19 18 245 199 547 501 650 665 789 791 865 1009 1114 1112 0
1 147 119 274 358 542 520 639 655 688 676 750 752 1000 1057 0 23 155 132 386 403 558 494 619 738 750 711 816 815 917 951 287 305 403 399 472
451 628 627 796 907 1075 1045 1125 1129 2 4 49 53 297 300 498 489 538 543 686 904 993 1061 1120 1126 13 49 239 133 426 322 508 506 670 685
830 813 1153 1150 378 26 586 582 710 705 879 877 1090 1109 28 20 122 123 231 254 348 359 417 426 594 575 604 611 706 690 923 1002 1096 1098
16 30 164 140 191 193 282 286 417 399 438 439 519 509 1007 691 237 220 313 296 388 374 485 486 740 743 857 834 929 941