| Name | csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-11.xml |
| MD5SUM | 711195861ae8d6ea60c538674c25157e |
| 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 | 72.9219 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 5580 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1309 |
| 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) | 2081542 | SAT | 72.9219 | 73.6871 |
| Sugar v1.14.6+minisat (complete) | 2081543 | SAT | 1264.6 | 1265.72 |
| Concrete DC 2009-07-14 (complete) | 2081540 | ? | 164 | 165.667 |
| SAT4J CSP 2.1.1 (complete) | 2081536 | ? | 249.66 | 251.118 |
| Concrete 2009-07-14 (complete) | 2081539 | ? (TO) | 1800.01 | 1800.73 |
| Mistral 1.545 (complete) | 2081545 | ? (TO) | 1800.05 | 1812.51 |
| bpsolver 09 (complete) | 2081546 | ? (TO) | 1800.06 | 1815.12 |
| Abscon 112v4 ESAC (complete) | 2097476 | ? (TO) | 1800.09 | 1811.87 |
| pcs-restart 0.3.2 (complete) | 2081538 | ? (TO) | 1800.09 | 1804.74 |
| pcs 0.3.2 (complete) | 2081537 | ? (TO) | 1800.09 | 1802.54 |
| Choco2.1.1 2009-06-10 (complete) | 2081541 | ? (TO) | 1800.12 | 1808.49 |
| Choco2.1.1b 2009-07-16 (complete) | 2116649 | ? (TO) | 1800.14 | 1814.16 |
| Abscon 112v4 AC (complete) | 2097475 | ? (TO) | 1800.2 | 1816.2 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:6 7 134 133 240 241 318 317 434 422 460 461 601 603 682 681 773 772 804 805 840 841 948 947 1040 1041 1155 1154 1226 1225 2 3 95 96 128 127 219 218 284 283 344 345 435 436 444 443 481 482 693 666 772 773 842 841 916 915 936 935 1200 1201 0 1 261 262 344 343 384 385 575 574 627 628 853 852 879 880 886 887 941 940 1009 1010 1092 1091 1112 1113 1152 1151 1195 1194 127 126 201 200 270 269 451 450 508 509 562 563 670 669 728 729 861 862 927 926 1018 1019 1049 1050 1106 1105 1133 1134 1284 1285 0 1 84 80 108 107 143 144 204 203 240 241 270 269 366 365 471 472 551 550 627 628 875 874 931 966 1034 1032 1188 1187 66 65 172 171 234 233 344 343 418 419 446 445 477 478 627 626 710 722 800 801 895 894 945 946 1038 1039 1228 1229 1279 1278 0 1 26 25 101 102 122 121 127 126 625 626 721 722 764 765 822 821 934 935 1011 1010 1054 1055 1079 1078 1117 1116 1241 1242 110 111 200 201 258 259 268 267 322 323 415 416 670 631 827 828 894 895 901 900 1063 1064 1071 1072 1237 1238 1243 1244 1302 1301 58 57 143 144 174 173 270 271 362 361 378 379 478 479 662 663 753 752 907 908 964 963 1092 1091 1101 1100 1205 1204 1294 1293 0 1 6 5 65 66 96 95 156 157 199 200 217 216 283 284 373 372 452 451 546 547 968 967 1112 1111 1214 1213 1295 1296 295 296 386 387 414 450 451 419 459 460 562 561 694 693 783 784 833 834 866 865 894 895 1035 1036 1192 1193 1199 1198 1234 1235 2 1 52 51 96 95 200 201 363 362 476 477 542 543 627 628 693 694 722 721 783 782 890 889 1004 1003 1133 1134 1221 1220 0 1 198 199 266 265 365 366 386 385 417 418 451 452 485 484 589 590 640 648 752 750 822 823 1030 1029 1166 1167 1263 1264 0 1 30 29 77 76 128 129 253 252 270 274 384 385 490 489 831 832 895 894 913 914 945 946 987 988 1192 1193 1272 1273 0 1 64 68 91 90 137 138 257 258 352 351 451 452 543 544 617 616 657 656 711 710 724 723 1082 1083 1176 1177 1197 1198