Prepared cut-introduction code for experiments:

1) cutIntro1 is now cutIntro. This is (and should remain) the stable version, e.g. for system demonstrations. It should be changed only very conservatively. It does not log anything but has our traditional user-feedback for the CLI.

2) cutIntro2 is now cutIntroExp. This is the experimental version. It collects performance data extensively. I intend to change it frequently to try out different algorithms.

3) testCutIntro contains a 3rd category now which tests (reasonable finite parts of) our own example proof sequences.

4) Collecting of performance data is now done exclusively via the Logger. It is done uniformely for TSTP, veriT and our own example proof sequences: CutIntroDataLogger produces a csv-file. Every line in this file corresponds to one call of cutIntroExp, sucessful or not. The details of the format are documented in testing/resultsCutIntro/stats.ods (sheet 'format').

5) If you want to run the evaluation, please reconfigure your log4j.xml-file:
   - CutIntro1Logger and CutIntro2Logger have been removed
   - CutIntroDataLogger has been added

6) testing/resultsCutIntro/stats.ods contains a rudimentary demo evaluation in the rDEMO_*-sheets. In plan to run a full evaluation of all three categories in the next week.



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