]> matita.cs.unibo.it Git - helm.git/blob - matita/tests/TPTP/README
developments added
[helm.git] / matita / tests / TPTP / README
1 to generate the problems:
2
3   cd ../../../components/binaries/tptp2grafite/
4   make generate
5   cd ../../../matita/tests/TPTP
6   ./classify.sh
7
8 to start a run:
9
10   be sure to have matitac.opt in ../../
11   ./try | tee logname
12
13 if you have a file containing the list of files to execute, like 
14
15   ...
16   Unsatisfiable/BOO001-1.ma
17   Unsatisfiable/BOO002-1.ma
18   Unsatisfiable/BOO004-2.ma
19   Unsatisfiable/LCL113-2.ma
20   ...
21
22   you can run 
23   
24   ./try filewithproblemlist | tee logname
25
26 logname format
27
28   log.SECONDS.DAY-MONTH.MESSAGE
29
30