Name | csp/graphColoring/register/zeroin/ normalized-zeroin-i-2-30.xml |
MD5SUM | 59cdcd97f898686db9120d1400ac3135 |
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.133979 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 211 |
Number of constraints | 3541 |
Maximum constraint arity | 2 |
Maximum domain size | 30 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3541 |
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:2 0 3 15 14 13 12 10 9 8 6 7 5 4 11 1 0 15 14 13 12 11 10 4 3 2 1 5 9 6 8 7 25 0 0 16 0 0 0 0 19 0 18 0 21 0 17 24 0 0 20 0 0 17 0 26 24 0 22 23 22 16 16 16 16 16 17 18 16 16 16 16 16 16 16 16 16 16 20 16 22 16 21 19 16 0 0 16 0 16 18 16 0 0 0 0 0 0 18 0 17 0 0 0 0 22 23 22 22 23 0 0 0 0 0 0 22 0 0 27 26 26 0 26 23 26 26 17 17 17 24 19 20 22 18 17 23 21 25 19 20 22 23 21 26 26 26 26 0 0 20 20 0 22 0 22 0 0 0 0 0 26 27 26 26 24 25 25 0 25 0 25 26 27 26 27 27 28 28 27 26 26 21 21 21 21 0 0 0 26 25 27 24 28 28 29 28 28 29 27 26 26 0 28 25 25 27 24 0 22 23