Name | csp/os-taillard-20/ normalized-os-taillard-20-105-8.xml |
MD5SUM | 86b24a9ba558d9e8e32f84b5d3fc0678 |
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 | 2.41663 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 7600 |
Maximum constraint arity | 2 |
Maximum domain size | 1388 |
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:763 1042 171 647 294 751 330 654 250 422 506 1107 0 49 148 207 836 913 676 969 469 229 389 1070 57 767 0 315 647 1129 132 1137 827 1234 97 448 563 1000 656 66 676 226 506 640 748 578 416 227 229 722 458 473 171 969 363 95 448 1283 0 274 97 265 746 1067 578 163 359 1194 0 1321 981 307 1159 649 858 493 1271 49 883 234 916 93 1180 970 504 315 0 99 718 253 658 873 816 849 1008 154 402 568 455 1066 456 513 1297 235 913 361 56 1087 893 76 737 268 674 654 1115 132 0 227 968 565 267 294 473 611 503 166 470 268 518 397 1050 911 66 0 1098 112 874 836 313 1004 1318 1036 979 823 634 564 513 130 44 1052 226 66 386 712 0 951 207 574 160 1087 719 1006 507 649 968 778 868 99 265 560 1121 266 1035 447 423 196 0 324 244 1067 325 1008 0 700 1344 985 1117 497 898 574 687 630 227 401 112 1192 50 1159 806 1052 816 491 942 422 329 901 737 96 658 612 1096 253 1042 498 593 196 673 0 1234 1147 897 76 613 325 795 556 985 191 719 413 500 1004 1354 1047 0 168 883 208 274 687 832 0 773 177 623 940 712 1006 50 1036 890 401 479 1166 553 979 1066 321 130 238 856 282 96 795 521 1078 1216 458 259 427 324 1139 361 748 191 659 563 611 0 913 427 207 892 1129 1226 1051 639 0 611 254 507 773 980 98 748 307 1115 1283 168 496 234 458 981 0 673 611 507 691 827 563 1078 330 898 447 479 80 171 1294 469 384 773 849 268 0 958 321 921 57 308 1074 564 722 416 656 1104 80 502 177 939 975 839 673 313 470 1070 630 496 565 979 99 648 0 221 1137 1141 956 748 363 422 130 238 775 1141 951 1031 654 897 423 95 823 704 639 1224 0 767 329 564 1297 1074 504 700 856 282 198 502 439 1036 911 984 447 452 778 0 493 361 99 623 521 473 1216