Name | csp/QCP-25/ normalized-qcp-25-264-2_ext.xml |
MD5SUM | 45a624dd25b687dc97019ab33ec3f72b |
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 | 10.5704 |
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:24 21 3 10 18 8 6 12 17 19 11 15 13 14 23 2 1 5 20 0 4 9 22 7 16 13 23 12 8 4 17 24 2 20 18 7 16 11 1 5 21 10 9 19 22 15 3 14 6 0 10 16 18 2 23 9 20 19 12 22 5 11 21 7 17 14 15 1 13 24 3 4 0 8 6 16 6 9 20 13 12 21 10 11 2 15 14 1 0 24 5 23 22 17 3 7 18 19 4 8 0 17 19 14 22 16 2 1 15 4 10 5 20 6 3 23 18 7 8 21 13 11 24 12 9 14 20 21 4 2 0 22 9 16 10 18 17 7 15 8 11 19 3 6 5 12 23 1 13 24 21 8 16 5 19 3 23 0 9 12 24 6 4 10 18 13 22 11 14 20 1 7 2 15 17 15 1 24 22 9 6 17 13 19 8 21 2 18 23 11 3 14 10 0 4 16 20 12 5 7 19 4 17 9 11 10 15 5 2 7 8 20 0 12 14 1 16 18 23 13 6 21 3 24 22 1 2 10 21 17 13 9 8 0 20 14 4 12 22 19 24 11 6 3 7 5 15 16 18 23 3 0 4 18 16 19 8 11 6 9 22 13 15 17 12 20 24 2 1 10 14 5 7 23 21 11 22 13 6 14 23 4 7 5 1 20 18 3 8 21 15 0 19 16 12 17 24 9 10 2 22 3 7 17 8 20 12 24 23 21 4 9 5 11 0 18 2 14 15 6 19 16 10 1 13 2 10 23 24 15 22 14 18 13 5 1 12 17 9 16 8 6 21 7 11 20 0 4 3 19 20 11 15 12 6 14 1 23 18 17 0 3 22 13 7 19 5 16 4 9 24 8 21 2 10 18 13 8 1 5 7 19 6 3 24 12 22 16 21 10 0 4 20 2 15 9 17 23 11 14 5 7 14 3 12 2 10 17 24 13 16 19 8 18 22 9 21 15 11 23 0 1 6 20 4 12 9 6 0 20 15 18 21 22 11 23 7 24 2 1 16 13 4 5 19 10 14 8 17 3 23 5 20 16 7 11 0 3 10 14 13 24 2 4 15 6 12 17 22 8 21 19 18 9 1 9 12 5 11 0 24 7 4 1 23 3 10 6 16 20 17 8 13 21 14 22 2 15 19 18 17 14 1 19 21 4 16 20 7 15 2 0 10 3 6 12 9 8 24 18 23 13 5 22 11 7 18 22 15 1 21 13 14 8 3 19 23 9 24 2 4 17 12 10 16 11 6 20 0 5 8 24 11 23 3 1 5 22 4 6 9 21 14 19 13 7 20 0 12 2 18 10 17 16 15 6 19 0 13 10 18 3 15 14 16 17 8 23 5 4 22 7 24 9 1 2 12 11 21 20 4 15 2 7 24 5 11 16 21 0 6 1 19 20 9 10 3 23 18 17 8 22 13 14 12