Implemented test: prover9 output -> LKProof -> expansionTree -> deepFormula -> validity check with veriT
Currently skipped due to veriT problem (--proof-version missing)


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1828 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fixes issue 259.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1829 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
* reverting gen. cut-intro variable names back to x_i (see issue 250)
* log as much information as possible in test-run (even for timeout, failures, etc.)



git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1830 85d21ef8-add0-11de-ae77-5bfb9c5a3f34