diff options
Diffstat (limited to 'src/solvers/coord/dreo.h')
| -rw-r--r-- | src/solvers/coord/dreo.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/solvers/coord/dreo.h b/src/solvers/coord/dreo.h index 1cce4e2..f6fa3e9 100644 --- a/src/solvers/coord/dreo.h +++ b/src/solvers/coord/dreo.h | |||
| @@ -27,6 +27,20 @@ STATIC coord_t coordinate_dreo = { | |||
| 27 | }, | 27 | }, |
| 28 | .is_admissible = &solution_lastqt_cw, | 28 | .is_admissible = &solution_lastqt_cw, |
| 29 | .is_solvable = &is_dreo_solvable, | 29 | .is_solvable = &is_dreo_solvable, |
| 30 | .pruning_distribution = { | ||
| 31 | [0] = 1, | ||
| 32 | [1] = 1, | ||
| 33 | [2] = 4, | ||
| 34 | [3] = 22, | ||
| 35 | [4] = 160, | ||
| 36 | [5] = 1286, | ||
| 37 | [6] = 8550, | ||
| 38 | [7] = 42152, | ||
| 39 | [8] = 90748, | ||
| 40 | [9] = 33466, | ||
| 41 | [10] = 757, | ||
| 42 | }, | ||
| 43 | .pruning_max = 10, | ||
| 30 | .sym = { | 44 | .sym = { |
| 31 | .classes = DRESEP_CLASSES, | 45 | .classes = DRESEP_CLASSES, |
| 32 | .max = COMB_12_4, | 46 | .max = COMB_12_4, |
