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