MAX-CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/super-os/super-os-taillard-20/
normalized-super-os-taillard-20-27.xml

Jump to solvers results

General information on the benchmark

Namecsp/super-os/super-os-taillard-20/
normalized-super-os-taillard-20-27.xml
MD5SUMec22dd72fedf3b6844826e496bf5d03b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints90
Best CPU time to get the best result obtained on this benchmark3600.07
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints23200
Maximum constraint arity2
Maximum domain size1284
Number of constraints which are defined in extension0
Number of constraints which are defined in intension23200
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-301112455MSAT (TO)90 3600.07 3626.32
Concrete + CSP4J - Tabu Engine 2008-05-301112456MSAT (TO)118 3600.08 3626.02
AbsconMax 112 pc-d1112458? 154.219 154.323
AbsconMax 112 pc-w1112457? 157.916 158.062
Sugar v1.13+minisat1112460? 227.641 1272.09
Sugar++ v1.13+minisat-inc1112459? 233.794 242.299

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: 90
Solution found:
657 30 951 950 212 36 1142 35 1197 1216 1163 18 1259 68 529 533 761 754 1040 7 141 21 833 3 344 48 626 14 250 2 396 46 880 83 1272 130 1057
0 467 474 0 179 457 462 890 40 1214 5 904 31 1251 523 591 15 628 109 356 15 546 27 938 28 208 14 794 34 424 7 1125 83 769 129 930 99 1027 68
312 40 856 5 206 5 940 5 575 40 825 829 335 8 236 32 1262 25 665 661 433 17 520 52 972 974 561 37 329 816 705 707 1167 16 1039 16 131 46 343
350 1281 31 1122 1118 265 271 637 62 1253 131 525 103 1264 49 568 561 372 11 665 44 435 30 827 109 1213 1211 762 0 885 28 937 59 191 61 1147
9 1044 1043 930 11 165 6 1151 55 825 0 1229 1232 431 90 142 15 445 1 1095 1099 961 53 420 73 244 4 316 7 1203 1 681 39 436 55 876 17 581 8
755 52 625 91 532 533 1277 16 1043 93 607 7 1127 18 793 796 258 255 701 62 324 2 718 25 1038 56 962 3 1040 41 168 151 907 5 678 2 590 9 1154
1150 491 58 399 5 388 21 1234 1235 317 13 1235 6 189 192 701 704 1124 6 277 68 333 10 125 95 496 40 382 7 1267 25 964 28 795 17 856 7 525 62
606 19 969 32 1195 11 900 5 1074 27 608 2 1124 18 932 33 746 7 236 8 1061 5 247 46 800 55 499 504 269 59 272 10 349 24 152 53 152 4 893 47
974 975 1247 3 651 3 401 397 580 9 1163 58 826 1 215 213 650 30 556 4 353 31 249 256 1168 43 958 0 751 3 639 14 858 24 1041 50 446 5 455 11
348 2 1141 7 969 5 165 17 1181 7 1260 5 812 0 162 149 1199 27 951 88 428 17 503 7 271 2 1166 46 424 70 546 83 972 27 866 870 694 37 1067 9
981 34 253 4 597 13 720 41 371 34 1128 23 615 663 359 110 152 18 783 786 1161 11 701 6 375 4 889 40 1272 1281 287 122 1104 56 995 23 523 14
491 45 1274 24 1254 26 245 14 642 13 325 30 1018 27 1240 1242 279 35 553 6 690 82 365 6 320 55 787 3 651 27 799 0 160 64 851 1 1137 4 390 35
877 52 953 12 1071 2 899 111 735 737 132 153 344 134 685 701 163 148 1035 2 350 4 546 7 456 38 798 29 807 9 1072 64 622 8 1245 13 1000 12
427 0 908 13 247 14 1169 0 1155 44 447 49 1059 0 758 25 946 19 838 1 140 12 436 17 438 27 554 1 250 6 164 34 418 14 377 9 819 14 1072 15 248
24 965 15 1176 4 709 9 1270 1269 620 38 1195 0 1124 66 864 0 428 29 452 32 828 27 1230 9 1036 17 1017 16 549 9 725 45 392 28 313 8 414 34
1193 14 1279 2 247 1 1140 50 637 46 209 15 159 123 926 919 549 0 1105 1106 763 15 286 290 560 20 973 12 158 159 252 23 1030 2 1274 10 611
622 772 774 1181 1180 1282 31 1260 23 370 28 880 20 879 16 438 443 705 704 334 79 544 24 1167 26 1254 1238 384 57 849 10 986 6 244 2 567 27
508 41 417 9 701 1 952 18 1046 50 189 4 840 38 407 39 1079 1074 631 35 251 62 542 37 686 4 945 31 443 1 1035 28 882 8 1114 1113 614 0 309 17
784 102 664 1264 1184 23 211 54 251 10 277 32 1279 1278 978 985 122 2 805 9 417 80 970 24 1071 1067 637 19 867 6 1223 10 446 462 265 266 870
0 541 0 671 2 149 51 770 16 587 599 706 36 234 107 882 16 1163 4 798 99 972 72 344 354 1139 1142 1207 22 759 24 965 57 975 4 344 7 832 108
1283 1272 653 645 853 143 866 44 603 19 714 77 528 7 157 11 219 229 433 2 1054 24 881 37 1279 100