summaryrefslogtreecommitdiff
path: root/report/prune_results/cdec-hdt.ini
diff options
context:
space:
mode:
Diffstat (limited to 'report/prune_results/cdec-hdt.ini')
-rw-r--r--report/prune_results/cdec-hdt.ini8
1 files changed, 0 insertions, 8 deletions
diff --git a/report/prune_results/cdec-hdt.ini b/report/prune_results/cdec-hdt.ini
deleted file mode 100644
index ca00bc7e..00000000
--- a/report/prune_results/cdec-hdt.ini
+++ /dev/null
@@ -1,8 +0,0 @@
-cubepruning_pop_limit=200
-feature_function=LanguageModel lm.gz -o 3
-feature_function=WordPenalty
-feature_function=ArityPenalty
-add_pass_through_rules=true
-formalism=scfg
-grammar=test.grammar.gz
-weights=weights-hdt