Name | csp/os-taillard-20/ normalized-os-taillard-20-100-0.xml |
MD5SUM | 23a05b88381e0b0d602652448f9fdc61 |
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 | 9.30158 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 7600 |
Maximum constraint arity | 2 |
Maximum domain size | 1215 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 7600 |
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:452 0 745 612 245 843 58 285 165 907 588 503 1051 786 962 350 261 155 1150 179 675 452 410 375 201 370 356 136 57 1092 814 517 718 951 258 0 602 1049 364 896 365 750 179 1150 85 896 799 1087 42 1072 840 1179 282 226 972 577 450 673 191 507 382 537 817 481 1116 897 597 245 145 981 458 575 105 201 1092 285 691 112 0 718 285 786 632 190 877 317 575 497 106 54 962 454 0 922 703 507 990 518 1033 387 675 492 280 972 482 1156 1108 537 745 332 382 152 1035 120 237 458 42 851 0 658 440 242 817 140 742 249 662 1011 1081 304 0 278 684 112 520 602 106 938 1160 396 1113 378 0 514 798 457 272 970 190 751 273 703 67 156 641 317 904 586 761 350 275 132 488 1020 242 493 71 897 1152 96 787 734 343 970 444 843 0 156 707 612 390 159 637 507 133 1179 785 654 990 964 0 450 304 870 588 1143 242 71 1067 689 877 223 1067 780 908 495 658 527 55 330 703 159 85 516 394 300 575 0 22 597 759 214 428 507 0 520 984 360 474 897 376 670 303 942 588 575 152 54 1139 1068 751 136 731 974 457 525 112 1160 59 851 625 1035 1111 242 0 120 584 360 916 381 493 278 0 249 751 867 396 984 1051 102 304 85 525 364 53 793 639 668 192 258 390 1050 805 529 942 720 1135 141 1178 105 625 0 379 57 1004 201 282 884 46 452 884 447 973 339 612 0 482 194 1116 504 814 275 745 1014 432 394 684 1122 529 98 201 344 851 578 317 227 750 0 447 975 785 1068 504 22 703 884 1143 365 102 641 572 864 452 1122 799 551 941 192 588 908 46 1014 0 1128 135 285 632 59 720 375 701 578 907 61 223 493 362 981 216 67 751 14 410 191 250 0 155 602 1111 37 447 61 432 317 745 673 551 1004 0 1050 227 951 1104 439 379 805 140 869 612 424