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