Name | csp/graphColoring/school/ normalized-school1-15.xml |
MD5SUM | 7f43a710148f9fc29b50318085372768 |
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 | 1.2908 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 385 |
Number of constraints | 19095 |
Maximum constraint arity | 2 |
Maximum domain size | 15 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 19095 |
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:9 0 4 2 14 3 12 9 0 5 1 11 0 6 9 10 0 4 5 10 0 6 12 2 14 9 8 4 13 9 0 10 12 11 4 5 2 10 0 2 14 1 11 8 14 12 13 9 14 4 13 9 10 0 6 7 9 5 1 8 2 10 0 12 7 3 11 13 9 11 13 12 7 3 5 1 8 2 10 5 1 8 2 10 5 1 11 13 12 7 3 11 13 12 7 3 2 10 7 0 5 1 6 0 8 14 4 1 8 7 3 12 5 2 11 2 11 2 11 4 5 1 2 3 7 11 9 14 0 10 13 10 13 10 13 1 1 1 13 6 3 13 6 12 7 4 5 0 1 11 10 3 1 6 0 0 11 13 9 7 14 3 1 8 11 5 4 9 2 10 0 13 9 14 12 10 4 12 7 2 1 11 3 7 2 8 6 1 13 11 12 0 2 1 0 4 9 4 4 14 12 14 10 5 1 12 7 13 9 14 12 1 8 9 7 10 2 1 8 2 3 11 13 2 10 6 7 5 9 3 5 12 8 3 9 0 9 0 9 0 0 1 0 4 5 6 11 13 9 3 2 10 0 14 7 4 1 8 14 7 3 13 9 10 0 4 11 8 13 9 11 6 7 3 2 10 2 14 7 3 2 10 0 0 0 4 1 8 11 13 5 13 10 4 8 1 9 14 7 2 0 4 5 6 3 0 8 13 2 14 12 7 1 0 0 1 7 11 9 14 12 1 4 5 2 3 4 2 3 11 4 14 6 7 14 12 7 10 4 2 5 1 8 5 1 8 4 5 1 14 3 12 5 1 6 11 1 12 7 3 2 9 0 4 5 1 11 13 9 14 12 7 2 10 0 8 8 9 4 11 13 2 3 3 3