Name | csp/js-taillard-15/ normalized-js-taillard-15-105-7.xml |
MD5SUM | 6e8e9ba1a290bfaa92f9ada7bfecc4c2 |
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 | 14.2868 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1282 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1785 |
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:38 121 129 309 363 536 658 739 748 797 848 889 1031 1130 1218 0 5 73 154 187 271 422 572 697 780 876 975 1013 1051 1206 0 46 121 262 373 461 519 575 621 680 779 833 944 968 1035 0 85 216 393 491 499 580 662 700 739 954 1013 1095 1125 1210 0 85 278 314 371 490 524 539 542 855 984 993 1133 1228 1255 0 28 39 165 174 209 463 538 661 742 835 933 1023 1095 1187 46 77 203 298 303 326 342 420 571 662 715 767 869 1187 1245 0 49 205 319 406 447 461 692 771 831 920 929 1013 1112 1150 0 77 323 467 536 569 597 933 939 973 1000 1051 1137 1165 1281 67 152 225 295 374 507 739 773 803 856 909 1007 1013 1035 1142 82 128 167 205 210 211 262 325 426 558 633 1100 1176 1218 1234 0 103 186 234 308 323 333 422 464 561 696 712 759 838 1015 0 152 174 187 241 341 595 623 773 933 981 1013 1019 1043 1150 87 105 183 195 253 260 266 271 319 405 488 516 519 610 762 151 175 396 400 523 647 751 798 815 829 933 1019 1115 1218 1279