| Name | csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-17.xml |
| MD5SUM | 20e23229ee104462f117a47e593e32b4 |
| 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 | 103.62 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 5580 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1297 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 5580 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Sugar v1.14.6+picosat (complete) | 2081553 | SAT | 103.62 | 104.781 |
| Sugar v1.14.6+minisat (complete) | 2081554 | SAT | 762.645 | 769.008 |
| Concrete DC 2009-07-14 (complete) | 2081551 | ? | 197.568 | 199.471 |
| SAT4J CSP 2.1.1 (complete) | 2081547 | ? | 234.261 | 235.226 |
| pcs 0.3.2 (complete) | 2081548 | ? (TO) | 1800.06 | 1802.24 |
| Abscon 112v4 AC (complete) | 2097477 | ? (TO) | 1800.06 | 1815.74 |
| Concrete 2009-07-14 (complete) | 2081550 | ? (TO) | 1800.09 | 1811.42 |
| bpsolver 09 (complete) | 2081557 | ? (TO) | 1800.1 | 1816.71 |
| Mistral 1.545 (complete) | 2081556 | ? (TO) | 1800.1 | 1801.11 |
| Choco2.1.1b 2009-07-16 (complete) | 2116650 | ? (TO) | 1800.13 | 1801.17 |
| Abscon 112v4 ESAC (complete) | 2097478 | ? (TO) | 1800.14 | 1811.38 |
| Choco2.1.1 2009-06-10 (complete) | 2081552 | ? (TO) | 1800.15 | 1800.88 |
| pcs-restart 0.3.2 (complete) | 2081549 | ? (TO) | 1800.15 | 1808.64 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:36 37 89 88 108 109 157 156 177 178 206 205 279 278 606 550 718 719 757 756 776 775 949 948 1030 1031 1041 1042 1243 1244 0 1 288 287 373 374 393 392 474 473 560 561 652 651 713 716 768 769 879 878 995 994 1077 1078 1116 1117 1172 1173 1212 1213 0 1 63 64 136 135 210 211 369 370 465 464 500 501 525 524 560 559 673 674 764 763 963 962 991 992 1200 1201 1266 1265 0 1 29 30 178 177 274 273 353 354 525 524 649 650 669 670 718 719 744 743 855 856 877 876 1036 1035 1131 1130 1285 1286 175 176 259 258 314 313 385 384 464 465 472 471 523 522 620 621 848 849 892 893 974 973 1034 1035 1126 1125 1207 1206 1261 1262 0 1 5 4 37 36 171 170 401 402 746 745 785 786 866 867 883 882 942 941 1057 1058 1065 1066 1116 1117 1192 1193 1238 1237 11 12 63 64 160 178 225 233 284 285 362 361 411 410 454 453 507 506 569 570 593 594 643 642 778 777 1115 1114 1206 1207 4 3 29 30 112 111 191 192 209 210 277 276 449 450 573 572 692 693 806 807 889 890 947 946 1081 1082 1119 1118 1218 1219 2 1 182 178 214 213 465 464 506 507 594 593 642 643 703 701 766 767 796 797 946 947 995 996 1039 1040 1131 1130 1238 1237 0 1 38 37 90 89 160 159 225 226 327 328 385 384 520 519 578 577 595 594 785 784 889 888 1093 1094 1199 1200 1266 1265 0 1 45 44 211 212 278 279 367 368 463 477 552 551 651 650 736 735 837 836 878 879 896 895 960 950 1032 1031 1107 1106 116 115 175 176 198 199 245 244 256 255 257 258 279 278 284 285 371 370 620 621 777 778 877 887 1044 1045 1106 1107 1149 1148 0 1 373 374 594 540 623 622 679 681 703 704 734 733 827 828 855 854 874 875 913 912 939 940 991 990 1035 1036 1202 1203 43 42 127 126 313 312 482 483 623 622 687 688 736 735 779 780 856 855 962 963 1006 1005 1014 1015 1203 1204 1220 1221 1283 1284 0 1 90 91 135 136 177 176 268 269 279 278 364 365 381 380 431 432 523 522 569 570 605 604 650 651 966 967 1012 1013