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