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