Name | csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-20.xml |
MD5SUM | 303cb267479eea95161f15c5bcd9c03a |
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 | 150.792 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 5580 |
Maximum constraint arity | 2 |
Maximum domain size | 1334 |
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) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:97 96 132 133 228 229 388 387 461 460 637 638 677 678 797 798 878 877 893 894 984 983 1156 1157 1211 1210 1247 1248 1333 1332 422 421 506 505 548 547 572 573 602 603 655 654 726 727 743 742 838 839 893 894 1058 1057 1071 1070 1194 1195 1257 1258 1303 1304 0 1 100 99 177 178 249 250 271 272 446 445 486 485 578 577 660 659 720 721 791 777 927 926 952 951 1167 1166 1264 1265 0 1 118 117 249 248 325 324 435 436 517 518 575 574 577 576 621 622 727 726 760 761 896 895 1115 1116 1168 1169 1221 1237 0 1 111 110 150 151 226 225 325 324 327 328 366 365 441 442 555 554 716 717 794 795 799 798 810 811 945 944 1112 1113 0 1 74 75 103 102 146 147 194 193 251 278 736 737 825 824 849 850 907 908 958 957 997 998 1036 1035 1057 1058 1231 1230 0 1 10 11 92 91 178 177 454 453 553 552 584 585 810 809 884 883 995 994 997 998 1130 1129 1205 1237 1290 1291 1309 1308 1 2 46 47 77 78 123 124 347 348 454 453 545 546 670 671 868 869 957 958 995 996 1015 1014 1057 1058 1075 1076 1227 1226 132 133 177 176 237 236 324 325 387 386 438 439 500 501 514 515 658 659 685 684 720 721 736 735 766 765 1222 1221 1273 1274 4 3 31 32 46 45 193 192 420 421 494 495 562 561 621 622 641 640 776 777 827 828 1078 1077 1161 1162 1253 1252 1323 1322 127 128 341 340 435 436 487 486 491 490 638 639 658 659 726 727 856 855 914 915 957 958 1009 1008 1108 1109 1198 1197 1260 1261 284 285 345 346 353 354 435 434 518 517 576 577 660 659 676 770 780 779 850 849 857 858 861 860 988 989 1009 1010 1022 1021 25 26 124 125 211 212 217 218 308 307 548 547 650 651 771 770 777 776 858 857 867 866 911 912 997 998 1088 1089 1259 1260 0 1 38 39 322 321 353 354 422 421 476 475 487 486 635 634 874 875 957 958 1026 1027 1082 1083 1183 1182 1227 1228 1312 1311 0 1 178 177 216 217 281 280 298 299 341 342 388 389 602 601 706 707 803 802 832 831 919 918 1036 1037 1130 1131 1276 1277