| Name | csp/super-js/super-js-taillard-20-15/ normalized-super-js-taillard-20-15-14.xml |
| MD5SUM | fcc319e6fc9e5f3f4a12aa7c5c9c75e3 |
| 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 | 806.525 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 600 |
| Number of constraints | 9690 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1424 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 9690 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Sugar v1.14.6+picosat (complete) | 2081597 | SAT | 806.525 | 812.104 |
| Concrete DC 2009-07-14 (complete) | 2081595 | ? | 185.268 | 187.046 |
| SAT4J CSP 2.1.1 (complete) | 2081591 | ? (exit code) | 230.656 | 231.184 |
| Concrete 2009-07-14 (complete) | 2081594 | ? (TO) | 1800.01 | 1805.82 |
| bpsolver 09 (complete) | 2081601 | ? (TO) | 1800.03 | 1801.02 |
| Abscon 112v4 ESAC (complete) | 2097486 | ? (TO) | 1800.07 | 1811.86 |
| Choco2.1.1b 2009-07-16 (complete) | 2116654 | ? (TO) | 1800.09 | 1803.48 |
| Sugar v1.14.6+minisat (complete) | 2081598 | ? (TO) | 1800.09 | 1809.49 |
| Mistral 1.545 (complete) | 2081600 | ? (TO) | 1800.1 | 1806.82 |
| pcs-restart 0.3.2 (complete) | 2081593 | ? (TO) | 1800.12 | 1813.13 |
| pcs 0.3.2 (complete) | 2081592 | ? (TO) | 1800.13 | 1810.04 |
| Choco2.1.1 2009-06-10 (complete) | 2081596 | ? (TO) | 1800.18 | 1808.28 |
| Abscon 112v4 AC (complete) | 2097485 | ? (TO) | 1800.2 | 1814.68 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 1 105 106 520 521 571 570 682 681 832 797 862 863 958 959 981 982 1024 1023 1125 1124 1194 1195 1285 1284 1373 1374 1394 1393 209 210 337 336 401 402 441 440 523 522 562 561 628 629 644 643 911 910 976 975 1190 1189 1245 1246 1281 1280 1284 1283 1334 1333 0 1 48 47 98 97 153 154 233 232 282 283 524 525 673 672 713 714 764 765 784 785 871 872 902 901 981 980 1077 1076 40 41 107 106 282 193 303 304 325 326 375 376 386 385 411 412 683 684 1160 1159 1235 1232 1295 1296 1348 1347 1356 1357 1387 1386 0 1 55 54 87 88 131 130 229 230 275 440 632 631 735 734 795 820 1025 1026 1194 1195 1243 1242 1311 1312 1373 1374 1409 1408 0 1 15 14 37 36 146 147 313 312 356 355 396 397 517 518 616 615 792 793 850 849 927 926 1100 1101 1131 1132 1185 1184 2 1 170 52 225 226 249 248 274 275 462 461 663 664 766 765 886 885 938 939 988 987 1077 1078 1100 1099 1176 1175 1300 1301 2 3 41 40 260 259 286 287 318 317 336 337 396 395 484 483 517 518 617 616 668 667 866 865 1164 1163 1233 1234 1387 1386 1 0 91 90 128 436 448 447 469 470 481 480 577 578 678 679 770 769 912 913 1131 1130 1166 1165 1222 1221 1327 1326 1363 1362 11 10 355 356 505 504 595 596 759 758 846 847 865 866 971 972 1036 1035 1055 1054 1077 1078 1158 1159 1173 1174 1366 1367 1389 1388 0 1 48 47 449 448 517 518 538 537 564 565 572 573 609 610 621 622 779 778 860 861 893 894 1001 1002 1039 1040 1244 1245 0 1 21 20 120 124 181 180 291 290 326 327 353 352 477 476 672 671 1029 854 1077 1078 1220 1221 1287 1286 1304 1303 1356 1355 69 70 105 104 139 140 227 226 274 275 324 323 376 377 538 539 619 620 698 699 879 878 938 937 1009 1010 1229 1230 1373 1374 5 6 91 90 177 178 206 205 282 283 327 326 410 411 491 490 572 573 583 582 595 596 727 726 998 997 1325 1326 1370 1371 638 637 701 700 776 775 816 815 853 854 947 948 958 959 1000 999 1049 1048 1077 1078 1134 1135 1198 1199 1260 1259 1299 1300 1372 1370 117 116 287 288 412 411 503 504 519 520 593 594 627 628 703 702 765 766 849 848 900 901 942 941 1058 1059 1341 1342 1412 1411 0 1 2 1 102 101 201 200 242 243 367 366 409 408 495 496 585 584 689 690 834 833 908 907 1077 1078 1148 1149 1357 1358 25 26 131 132 197 198 274 275 396 397 481 482 539 538 571 570 630 629 686 685 701 700 775 776 788 787 802 803 815 816 21 20 42 41 214 215 325 293 335 336 411 410 461 460 553 552 672 671 849 848 1036 1035 1196 1156 1256 1257 1310 1309 1363 1362 179 175 209 208 411 412 503 504 698 699 798 797 905 904 907 908 953 952 1023 1024 1114 1113 1124 1125 1212 1211 1269 1270 1391 1392