Name | csp/os-taillard-15/ normalized-os-taillard-15-105-7.xml |
MD5SUM | 1253a1981d64e41207fa8a523d812b23 |
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 | 0.901862 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 3150 |
Maximum constraint arity | 2 |
Maximum domain size | 962 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3150 |
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:858 94 462 696 246 0 206 911 280 799 172 614 745 50 562 142 559 816 753 0 50 324 395 684 494 79 912 103 670 578 855 285 371 76 524 197 139 598 448 800 686 884 0 892 745 109 568 197 367 294 506 480 447 351 670 248 629 52 384 0 670 924 809 568 294 0 387 178 492 276 894 753 462 99 371 283 451 139 0 478 769 351 370 736 534 389 694 226 618 371 649 381 283 568 454 246 686 94 152 348 178 0 549 748 197 755 122 702 524 285 657 529 855 0 416 52 478 489 384 206 338 226 519 618 798 142 42 893 419 172 76 0 735 849 694 752 800 338 502 402 0 359 657 392 207 109 305 610 870 448 630 187 419 589 235 712 0 248 489 289 559 324 534 381 92 289 82 302 892 797 197 397 478 387 712 598 177 506 568 0 566 696 267 225 62 122 625 297 185 861 493 0 519 390 768 65 82 0 532 494 861 239 225 800 397 709 33 589 148 305 185 34 152 502 616 702 479 42 0 207 748 855 350 102 416