Name | csp/QCP-25/ normalized-qcp-25-264-1_ext.xml |
MD5SUM | 79e6a324f7cdeb5e62d757131dbe1778 |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 137.596 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 625 |
Number of constraints | 10142 |
Maximum constraint arity | 2 |
Maximum domain size | 25 |
Number of constraints which are defined in extension | 10142 |
Number of constraints which are defined in intension | 0 |
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:6 18 13 10 17 14 1 20 7 12 21 8 5 11 19 15 4 0 3 22 23 2 16 24 9 2 17 23 22 14 10 8 15 9 20 1 24 4 21 13 16 11 3 6 19 18 0 5 7 12 5 11 2 15 7 4 17 16 3 24 19 14 1 6 20 10 8 18 21 13 22 12 23 9 0 9 20 17 2 8 16 24 11 21 10 13 19 22 7 1 3 18 12 23 0 14 5 6 4 15 15 0 1 7 6 8 12 10 2 4 11 23 21 14 24 18 22 5 9 3 16 20 19 13 17 4 7 8 21 10 5 18 3 24 22 15 0 20 2 9 6 12 1 16 23 11 17 13 19 14 8 13 19 9 23 22 14 18 6 5 12 10 15 4 16 21 1 11 17 24 20 7 0 3 2 22 21 20 8 19 18 6 13 0 16 9 1 14 17 10 23 24 15 12 11 7 3 4 2 5 16 22 11 13 24 9 4 0 12 1 10 17 6 3 5 8 14 19 18 7 15 23 2 20 21 0 19 16 18 5 7 3 12 20 6 23 22 13 9 2 4 15 10 11 14 17 21 24 8 1 24 9 5 17 20 12 23 21 4 0 14 15 7 19 3 1 13 6 22 10 2 8 18 11 16 11 5 9 23 16 19 15 4 14 13 0 7 2 20 21 12 3 8 1 17 6 24 22 18 10 17 6 12 19 21 23 20 14 15 9 22 16 3 18 8 13 5 24 0 2 10 4 11 1 7 20 8 10 11 22 13 9 1 19 17 2 21 0 24 12 7 23 16 5 18 4 14 15 6 3 3 16 22 1 2 11 7 19 8 18 5 9 17 12 23 0 6 4 20 21 24 15 10 14 13 14 24 3 20 0 15 10 22 5 19 16 2 18 8 11 17 9 23 7 4 21 13 1 12 6 18 1 21 14 15 6 13 23 10 3 24 11 12 5 0 2 20 22 8 16 19 9 7 17 4 1 3 18 6 11 17 5 24 22 15 4 12 9 13 7 19 16 14 2 20 0 10 8 21 23 13 12 14 3 9 21 11 7 17 8 6 4 23 0 22 5 10 2 19 15 1 18 20 16 24 12 2 24 16 4 0 21 17 13 11 8 18 10 22 6 9 7 20 15 5 3 1 14 23 19 21 10 15 4 3 24 0 2 23 14 7 20 11 1 18 22 19 9 13 6 12 16 17 5 8 10 15 6 0 13 1 2 9 16 7 20 5 19 23 4 24 21 17 14 12 8 11 3 22 18 7 14 4 5 12 2 22 8 18 23 3 6 16 10 15 20 17 13 24 1 9 19 21 0 11 19 23 7 12 1 20 16 5 11 2 18 3 24 15 17 14 0 21 4 8 13 6 9 10 22 23 4 0 24 18 3 19 6 1 21 17 13 8 16 14 11 2 7 10 9 5 22 12 15 20