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