| Name | csp/super-os/super-os-taillard-20/ normalized-super-os-taillard-20-15.xml |
| MD5SUM | e4d8056326b04b00114496ca953a2edb |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 92.195 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 800 |
| Number of constraints | 23200 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1366 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 23200 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Abscon 112v4 ESAC (complete) | 2097396 | SAT | 92.195 | 92.49 |
| Abscon 112v4 AC (complete) | 2097395 | SAT | 98.0441 | 98.8116 |
| SAT4J CSP 2.1.1 (complete) | 2081096 | ? | 241.007 | 240.696 |
| Concrete DC 2009-07-14 (complete) | 2081100 | ? | 1223.75 | 1233.79 |
| Sugar v1.14.6+minisat (complete) | 2081103 | ? (MO) | 122.172 | 126.05 |
| Sugar v1.14.6+picosat (complete) | 2081102 | ? (MO) | 302.295 | 308.256 |
| Concrete 2009-07-14 (complete) | 2081099 | ? (TO) | 1800.07 | 1816.03 |
| Mistral 1.545 (complete) | 2081105 | ? (TO) | 1800.09 | 1812.12 |
| bpsolver 09 (complete) | 2081106 | ? (TO) | 1800.1 | 1802.22 |
| pcs 0.3.2 (complete) | 2081097 | ? (TO) | 1800.1 | 1802.36 |
| Choco2.1.1 2009-06-10 (complete) | 2081101 | ? (TO) | 1800.14 | 1812.03 |
| pcs-restart 0.3.2 (complete) | 2081098 | ? (TO) | 1800.15 | 1808.85 |
| Choco2.1.1b 2009-07-16 (complete) | 2116609 | ? (TO) | 1800.17 | 1808.01 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:474 1186 635 1186 693 1186 1106 1107 370 1151 1018 1227 0 1186 507 1203 66 1186 264 1186 849 1186 384 1186 744 1186 175 1186 990 1142 547 1186 819 1190 1179 1180 876 1186 932 1202 325 1202 1012 1202 149 1202 349 1202 437 1203 1059 1202 867 1202 66 1202 420 421 769 1202 220 1202 279 1202 1106 1227 594 1202 0 1202 507 1202 675 1202 395 1202 1184 1185 956 1202 137 1158 939 1099 772 773 601 1185 1127 1170 441 529 978 1158 63 1167 698 1183 1037 1186 1087 1158 233 1158 380 1158 285 1202 416 1181 845 1227 963 964 452 1158 0 1203 538 1174 94 1190 876 1181 759 1151 857 1018 939 1227 0 1131 189 1170 621 1128 541 1018 421 1142 92 1160 836 1186 547 1203 504 1088 806 1062 696 1037 282 283 888 1032 72 1018 325 1107 370 1227 696 697 0 1127 1301 1181 787 788 1005 1006 183 184 206 1203 868 1183 1076 1170 539 1202 744 1174 108 1127 52 53 444 1127 299 1160 806 1151 634 635 355 356 965 966 732 733 202 1167 1276 1167 534 535 445 446 290 291 21 424 1025 1181 905 906 819 1167 354 355 39 368 60 1167 1115 1203 698 699 607 1227 144 145 673 674 165 497 0 1170 0 1227 1077 1078 420 421 501 500 983 1203 629 628 648 1203 891 1203 370 371 303 1203 787 1203 130 131 1049 1050 547 548 90 1107 1167 1168 189 1203 838 839 180 181 926 1203 728 729 1325 1227 1209 1210 772 773 354 355 421 1227 504 505 878 879 1123 1124 956 566 868 869 1040 1227 977 978 0 533 939 938 285 1227 96 1227 188 189 630 1227 157 1174 623 624 1166 1167 552 553 830 831 1289 1170 10 11 79 80 308 309 206 207 889 890 956 1174 734 735 444 1227 155 1203 269 1183 0 19 395 396 471 1170 1093 1094 52 1170 1143 1144 157 1227 872 0 380 1185 966 1203 849 1121 185 1185 43 1185 121 1185 1060 1100 281 1185 559 1185 1077 1078 1291 1185 757 758 538 1107 897 898 693 1185 630 631 470 471 471 1183 381 1183 793 1183 329 1062 651 652 90 1183 185 1227 1037 1038 990 1202 54 1183 351 352 889 890 1091 1092 166 167 157 980 1304 1190 0 1183 700 1203 560 1183 262 1185 205 1185 445 446 784 785 43 1170 90 1227 289 290 538 1160 621 1203 825 826 889 890 157 158 1296 1160 369 1202 183 341 708 709 0 1160 926 927 1073 1074 495 1160 255 256 793 1203 623 1181 149 150 72 1131 1289 1183 879 1151 501 502 21 1170 279 1186 1060 1128 1007 1008 982 1167 471 1227 507 1160 701 702 189 190 539 1128 759 760 368 1140 1099 1100 830 1131 651 1209 1121 1122 143 1209 1091 1131 381 382 1048 1209 25 20 968 1209 205 1209 555 556 784 1209 1184 1227 303 1209 879 1209 474 1209 74 1209 0 1 175 1209 744 1209 1015 1190 857 1186 529 530 634 1202 96 1181 195 196 121 1181 769 1181 891 1181 656 1227 965 1183 1319 1181 1092 1181 1080 1081 1107 1108 644 645 384 1203 437 1181 282 283 0 1185 635 1166 205 1183 734 1186 555 556 195 1166 329 1185 286 287 1115 278 1073 1166 568 1227 0 1167 166 874 905 1166 448 1174 63 1203 55 56 1300 1166 1158 1170 775 776 984 1166 963 1179 137 158 871 1190 643 644 154 155 401 1183 745 746 1330 1179 92 93 560 1179 479 1181 419 1179 233 234 590 591 157 158 901 902 1087 1186 1348 1203 0 1 310 1227 897 1190 471 472 0 1190 1167 1168 968 1190 810 1190 1294 1190 279 278 108 1190 1060 1190 663 1190 181 182 1123 1190 568 1190 501 1227 384 1190 299 1203 60 1190 747 1190 984 1190 966 1181 555 1170 648 1190 708 1140 1025 1026 262 1227 1037 1151 901 902 822 1202 188 189 75 83 1093 1094 1302 1203 0 1 94 1160 872 1167 310 1183 784 1186 55 56 414 415 1339 1203 845 846 675 1151 25 19 1012 1170 424 425 748 1227 448 449 58 59 181 1186 82 130 526 527 251 252 213 1143 888 1181 1105 1185 132 133 361 1143 601 1174 83 0