Name | csp/QCP-20/ normalized-qcp-20-187-6_ext.xml |
MD5SUM | b99e09050d1e5a990b013139f5dfdb16 |
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 | 4.98824 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 5540 |
Maximum constraint arity | 2 |
Maximum domain size | 20 |
Number of constraints which are defined in extension | 5540 |
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:0 3 17 18 7 14 4 5 12 9 8 15 19 6 2 11 16 1 10 13 10 6 16 12 4 8 3 14 1 11 7 13 9 0 5 17 15 19 18 2 8 4 15 5 10 11 12 9 18 2 19 14 17 3 16 6 1 13 0 7 14 0 7 16 3 15 11 6 17 13 12 5 8 19 18 9 2 4 1 10 2 19 10 3 11 9 6 15 16 0 13 12 1 7 4 14 18 8 17 5 7 1 6 4 14 10 17 3 11 16 18 0 5 13 19 2 8 12 15 9 15 11 18 6 9 7 13 17 8 1 3 16 2 4 14 5 12 10 19 0 6 15 11 7 13 18 0 2 3 5 10 19 12 17 8 1 4 9 14 16 5 16 0 15 1 19 8 18 9 4 6 10 7 11 12 13 17 2 3 14 17 9 4 10 2 3 5 0 15 12 14 1 16 8 13 19 7 11 6 18 11 2 9 13 16 12 7 10 19 8 17 6 0 18 1 3 14 5 4 15 16 8 19 14 12 5 1 13 4 6 0 18 15 9 17 7 10 3 2 11 12 5 14 9 19 17 2 1 0 7 15 4 3 16 10 18 11 6 13 8 1 17 12 2 15 13 19 8 14 18 4 7 11 10 3 16 5 0 9 6 3 12 13 17 18 2 10 7 5 14 1 9 4 15 6 8 0 16 11 19 13 14 8 0 6 1 15 4 2 19 11 17 10 5 7 12 9 18 16 3 19 10 1 8 5 16 18 11 6 17 9 2 13 12 0 15 3 14 7 4 9 18 5 1 17 0 16 19 10 3 2 11 6 14 15 4 13 7 8 12 18 7 3 19 0 4 9 16 13 15 5 8 14 2 11 10 6 17 12 1 4 13 2 11 8 6 14 12 7 10 16 3 18 1 9 0 19 15 5 17