diff options
author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-12 03:42:39 +0000 |
---|---|---|
committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-12 03:42:39 +0000 |
commit | 7220bd3685bb7cbd6a68749f55314892af5605c9 (patch) | |
tree | 524621fbdb2a2a3a4bfceb82bca72172f12412d1 /tests/system_tests/australia/stderr | |
parent | 1cf86da06f6a0ab5d9a78bd39a1627df142ea8c5 (diff) |
inebriated, but sped up inside/outside pruning and made cube poplimit scale with promise of nodes from previous global pruning, if --promise_power=N for N>0.
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@219 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'tests/system_tests/australia/stderr')
0 files changed, 0 insertions, 0 deletions