diff options
Diffstat (limited to 'src/solvers/coord/dr.h')
| -rw-r--r-- | src/solvers/coord/dr.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/solvers/coord/dr.h b/src/solvers/coord/dr.h index 607cc39..d986742 100644 --- a/src/solvers/coord/dr.h +++ b/src/solvers/coord/dr.h | |||
| @@ -32,6 +32,22 @@ STATIC coord_t coordinate_dr = { | |||
| 32 | }, | 32 | }, |
| 33 | .is_admissible = &solution_lastqt_cw, | 33 | .is_admissible = &solution_lastqt_cw, |
| 34 | .is_solvable = &is_eoco_solvable, | 34 | .is_solvable = &is_eoco_solvable, |
| 35 | .pruning_distribution = { | ||
| 36 | [0] = 1, | ||
| 37 | [1] = 1, | ||
| 38 | [2] = 5, | ||
| 39 | [3] = 44, | ||
| 40 | [4] = 487, | ||
| 41 | [5] = 5841, | ||
| 42 | [6] = 68364, | ||
| 43 | [7] = 776568, | ||
| 44 | [8] = 7950748, | ||
| 45 | [9] = 52098876, | ||
| 46 | [10] = 76236234, | ||
| 47 | [11] = 3771112, | ||
| 48 | [12] = 129, | ||
| 49 | }, | ||
| 50 | .pruning_max = 12, | ||
| 35 | .sym = { | 51 | .sym = { |
| 36 | .classes = DREOESEP_CLASSES, | 52 | .classes = DREOESEP_CLASSES, |
| 37 | .max = DREOESEP_MAX, | 53 | .max = DREOESEP_MAX, |
