]> matita.cs.unibo.it Git - helm.git/tree - matita/tests/TPTP/
fix
[helm.git] / matita / tests / TPTP /
drwxr-xr-x   ..
-rw-r--r-- 523 README
-rwxr-xr-x 604 classify.sh
-rw-r--r-- 197153 compare.ods
-rw-r--r-- 6885 elenco_problemi_veloci_per_test.txt
-rw-r--r-- 43810 log.120.orsay.txt
-rw-r--r-- 30679 log.300.26-5.menvcorti
-rw-r--r-- 43243 log.300.26-5.menvcorti.con_rating
-rw-r--r-- 4324 log.300.29-5.CASC
-rw-r--r-- 7569 risultati_CASC_2005.txt
-rwxr-xr-x 489 try.sh