MAX-CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/super-os/super-os-taillard-20/
normalized-super-os-taillard-20-29.xml
MD5SUM094c252b9befceb10e49353ca5017fcb
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints94
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints23200
Maximum constraint arity2
Maximum domain size1256
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-301112449MSAT (TO)94 3600.03 3601.62
Concrete + CSP4J - Tabu Engine 2008-05-301112450MSAT (TO)115 3600.02 3621.12
AbsconMax 112 pc-d1112452? 158.444 160.257
AbsconMax 112 pc-w1112451? 171.015 172.695
Sugar++ v1.13+minisat-inc1112453? 246.549 254.95
Sugar v1.13+minisat1112454? 258.421 268.103

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: 94
Solution found:
904 1122 1010 1008 978 1117 112 1216 129 1171 52 1154 482 1110 27 1163 64 1154 806 1122 387 1118 296 1166 240 243 772 1094 3 4 752 1104 176
1142 574 1192 630 1228 675 1146 176 1167 387 1126 479 1191 66 1216 16 1238 854 1091 543 1239 197 1173 1 1233 471 1143 982 1120 282 284 579
578 384 1131 812 1219 676 1217 718 1167 930 1199 708 1146 118 1233 807 1108 57 55 285 1102 955 1185 703 1229 397 1131 1021 1215 58 2 909
1160 855 1230 890 1159 669 1166 120 1185 60 1163 734 1168 188 1160 366 1221 5 1200 461 1150 556 1116 231 15 82 1179 292 1156 911 1120 514
1152 655 1245 482 1200 394 1167 243 1185 679 1171 797 1118 0 1157 886 1160 995 1119 27 39 588 1166 743 1168 178 1198 977 1133 127 1204 703
1192 535 1219 45 1154 903 1120 211 1164 1004 1125 749 1142 653 1181 984 1113 132 1181 510 1177 462 458 110 1241 0 1225 570 1199 275 1139 951
1228 850 1217 301 1198 374 1145 385 1188 251 1177 1077 1205 4 467 306 1182 27 24 774 1250 942 1125 785 1128 814 1195 902 1210 970 1155 716
1187 363 1184 568 1190 534 1134 125 1180 805 1124 651 1207 182 1177 1254 1229 122 1230 769 1215 403 1149 986 1135 570 582 766 136 502 1168
338 1182 891 889 546 1220 47 1164 291 1209 168 1127 680 1150 930 922 814 1224 850 852 1056 1079 0 1205 910 1190 55 51 695 1186 143 1173 400
1162 479 1239 513 1174 26 1171 570 650 716 1118 968 992 761 1184 595 1186 215 1137 1092 1229 91 96 8 1236 616 1186 835 1188 309 1135 473
1129 235 1164 99 1208 987 1091 538 1082 371 1087 158 1166 720 1128 471 1188 279 1163 21 1198 661 1208 11 1227 817 1196 67 1109 931 929 983
1139 687 1131 4 1243 596 1162 374 1170 758 1211 827 1130 704 1150 254 1191 617 1189 140 1172 390 1169 925 1159 874 1187 820 1204 482 1146
511 1122 1023 1127 1003 1121 8 1177 642 1183 295 1198 44 1162 184 1179 985 1124 903 1251 126 1180 909 907 989 1089 336 339 166 1177 638 1157
1 1240 749 1177 312 1232 386 1100 256 1139 793 1152 883 1130 596 1202 47 48 654 1146 474 1090 13 1220 380 382 830 1145 657 1152 838 1133 282
1158 1028 1188 944 1227 45 1192 186 1134 273 1162 965 1184 1087 1185 778 1222 531 535 49 1172 133 1219 1103 1140 577 1157 475 482 159 8 138
1186 461 1149 138 1186 650 1186 1023 1140 383 1198 645 1172 208 1222 748 1167 988 1223 926 1159 303 1132 35 1136 614 1129 833 1171 558 1224
712 1217 1025 1138 256 1199 829 1137 485 1148 277 1207 384 1157 482 1157 120 1209 1017 1187 680 1178 836 1207 635 1231 594 1209 54 1201 384
1157 770 1165 645 1224 910 1167 979 1158 4 1188 320 1199 177 1158 905 1192 848 1170 145 1198 992 1166 719 1167 576 1103 55 1158 925 1168 370
1133 814 1233 477 1187 991 1165 193 182 292 1182 17 1146 836 1245 480 1155 0 1140 368 1099 664 1083 134 1228 370 1130 134 1208 149 1094 604
1127 287 1224 708 1179 550 1150 915 1208 398 1124 944 1208 633 1172 486 1143 311 1167 6 1189 26 1174 806 817 485 1169 70 1195 20 1235 1016
1139 573 1163 368 1172 650 1193 32 38 281 1238 471 1130 922 1233 214 1195 6 1234 1000 1125 821 822 232 1193 1036 1169 689 1226 951 1185 107
1158 301 1163 706 1153 800 1228 473 1140 279 1162 127 128 1071 1104 939 1221 409 1199 2 1238 745 1182 648 642 830 1162 557 1208 921 1181 968
1152 34 1146 26 1157 731 1155 185 1221 33 1145 489 1161 228 1203 372 1160 370 1153 465 1099 283 1166 987 1222 58 1104 104 1147 527 526 710
1159 582 1149 461 1108 588 1093 0 3 732 1172 262 1128 979 1242 168 1152 996 1175 887 885 396 1086 805 1072 317 1150 404 1194 1066 1174 31
1147 992 1212 570 1250 681 1212 819 1160 235 1151 565 1240 3 1232 832 1179 124 123 986 1217 472 1154 576 1149 903 1154 475 1162 795 1162 718
1163