git-svn-id: svn+ssh://data/usr/people/robertk/work/svn-archive/solver-bench@22 a51bd792-bdb9-40e7-a344-b38f594a6942