| Name | csp/os-taillard-10/ normalized-os-taillard-10-105-8.xml |
| MD5SUM | ed927f81d90ae14bcb11eda3eb5fc524 |
| 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.248961 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 900 |
| Maximum constraint arity | 2 |
| Maximum domain size | 625 |
| 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:113 463 178 286 0 197 382 74 532 129 514 281 188 78 0 444 296 156 364 537 86 368 411 344 537 433 197 483 0 263 529 460 187 263 281 494 333 362 96 0 364 78 178 482 286 268 442 54 0 97 0 289 99 532 268 356 460 333 197 390 442 86 483 0 514 368 575 197 283 99 565 411 254 184 98 349 66 90 468 0 283 188 197 225 532 129 374 0 90 468 410 96 485 178 0 296 349 575 534 268