Name | csp/QWH-25/ normalized-qwh-25-235-0_ext.xml |
MD5SUM | 31554748f07a2fd0846470dec9671185 |
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 | 19.9 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 625 |
Number of constraints | 9300 |
Maximum constraint arity | 2 |
Maximum domain size | 25 |
Number of constraints which are defined in extension | 9300 |
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 10 23 15 4 19 16 17 7 21 24 1 18 22 6 8 13 20 3 5 14 12 9 11 2 18 12 1 6 19 13 0 8 15 23 14 3 9 17 7 22 21 10 4 11 2 20 5 24 16 9 6 8 12 1 22 23 19 0 14 21 11 20 24 2 3 16 18 5 13 7 15 4 17 10 8 24 22 16 9 10 17 14 4 13 2 19 12 20 15 5 7 21 23 3 11 1 6 0 18 24 5 2 14 15 20 10 0 23 6 3 18 1 13 8 9 4 17 16 22 21 7 11 19 12 7 3 4 21 17 23 1 6 9 2 8 12 22 15 0 24 11 14 20 16 10 5 18 13 19 20 4 10 9 0 1 14 2 11 22 13 7 17 6 23 12 19 5 24 18 8 16 3 21 15 5 9 0 18 13 24 7 21 10 17 22 23 16 8 4 14 1 11 15 2 12 19 20 6 3 6 22 18 13 14 12 15 7 3 19 5 4 8 9 20 16 0 2 17 10 1 24 21 23 11 15 13 9 4 18 7 6 16 2 12 10 22 21 5 24 17 8 23 1 19 3 11 0 14 20 3 0 21 10 11 15 18 4 19 16 6 20 5 12 17 13 23 9 14 7 22 2 24 1 8 12 8 24 20 22 2 21 15 18 1 17 6 11 4 3 19 10 13 0 14 16 23 7 9 5 23 2 11 3 8 17 20 9 14 7 4 0 15 10 22 6 5 16 19 12 24 21 1 18 13 17 15 20 11 6 5 8 24 12 4 0 9 23 2 10 18 3 22 7 21 19 13 14 16 1 4 14 17 7 20 11 2 3 16 8 15 21 13 1 9 23 12 19 6 24 18 10 22 5 0 21 11 6 2 16 0 3 23 13 9 7 17 24 19 5 20 14 1 12 4 15 18 10 8 22 10 17 16 23 5 14 22 11 1 24 19 2 6 7 18 21 20 15 13 8 4 0 12 3 9 2 21 5 0 23 18 24 22 6 11 16 15 14 3 19 4 17 12 8 1 20 9 13 10 7 1 16 15 8 12 9 4 5 21 3 18 13 7 23 14 10 2 24 11 6 0 22 19 20 17 19 18 13 1 2 8 11 12 22 20 9 16 3 0 21 7 15 6 10 23 5 14 17 4 24 16 20 19 5 24 21 12 13 17 0 11 10 2 14 1 15 22 3 18 9 6 4 8 7 23 14 19 7 22 10 3 13 1 24 5 23 8 4 11 12 2 18 0 9 20 17 6 16 15 21 13 7 12 19 3 6 9 10 20 15 1 5 0 18 16 11 24 4 21 17 23 8 2 22 14 11 1 14 17 7 16 19 20 5 18 12 24 10 21 13 0 6 8 22 15 9 3 23 2 4 22 23 3 24 21 4 5 18 8 10 20 14 19 16 11 1 9 7 2 0 13 17 15 12 6