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