Name | csp/os-taillard-20/ normalized-os-taillard-20-100-1.xml |
MD5SUM | 4cf62a1b83c7d6776b82d5fd63452e47 |
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 | 7.92679 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 7600 |
Maximum constraint arity | 2 |
Maximum domain size | 1332 |
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:1268 416 464 349 1017 653 1077 870 755 160 954 137 221 88 686 65 1202 527 0 283 642 1154 1213 308 963 1301 389 458 882 61 527 155 91 227 853 784 1003 1062 0 419 373 252 490 572 0 347 1124 1017 1100 762 855 64 938 637 398 155 566 72 527 746 90 374 478 176 283 0 777 1061 486 201 726 860 612 1120 701 963 572 1184 1266 179 226 1083 310 570 0 747 142 1207 187 58 661 486 157 699 398 150 854 50 1165 1002 371 623 860 537 0 773 1062 531 999 261 162 1110 894 72 276 824 444 1205 694 292 633 442 216 0 777 1010 1167 570 894 948 506 1289 1156 315 651 80 222 413 289 705 747 89 600 773 537 294 1260 699 652 442 862 1028 1083 0 275 758 257 949 188 349 216 318 72 824 701 874 1261 0 240 1079 1091 200 637 445 541 170 500 1173 949 391 568 744 1140 697 226 361 77 1010 458 139 0 533 650 308 318 1034 859 780 964 912 141 1001 591 75 629 697 1227 326 276 0 806 299 240 500 347 416 1242 1079 882 531 623 308 260 373 877 0 61 1293 188 1069 538 453 1007 949 1183 1140 1252 800 704 1110 1119 691 311 118 673 844 419 348 377 0 808 94 926 213 541 239 442 1159 58 652 444 92 812 566 582 252 1001 0 239 1142 542 881 794 346 1120 1213 144 954 704 1050 77 480 389 1250 874 1055 652 205 1086 0 197 160 772 1131 227 292 568 697 50 955 1034 116 374 533 144 881 361 201 619 1156 500 912 458 238 0 95 61 1207 1094 800 894 1101 92 1215 294 938 831 141 1252 445 0 381 794 653 762 556 310 1156 999 200 142 1061 572 812 221 451 651 391 755 1260 694 490 1205 0 1002 88 1175 874 308 912 946 298 750 642 429 1119 0 216 1252 653 94 568 533 381 487 162 1028 1173 1003 859 292 137 582 0 806 1062 116 934 1202 1261 346 973 205 80 1159 478 731 381 649 536