| Name | csp/os-taillard-10/ normalized-os-taillard-10-105-0.xml |
| MD5SUM | 19af59ef491e51a4f7a48130718bf9ce |
| 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.347947 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 900 |
| Maximum constraint arity | 2 |
| Maximum domain size | 675 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 900 |
| 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:316 220 520 667 68 453 115 364 571 0 267 359 97 574 538 502 0 419 251 163 184 452 580 0 44 114 120 280 362 490 589 491 393 606 71 302 184 0 429 115 429 163 357 659 71 270 84 0 55 524 0 512 265 152 179 55 429 362 302 617 360 72 249 453 538 0 633 318 152 209 490 571 267 0 114 361 390 493 594 184 184 280 110 0 72 445 520 357 318 427 393 220 429 179 625 512 278 594 0 84