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