matita.cs.unibo.it Git - helm.git/tree - matita/matita/tests/TPTP/

drwxr-xr-x		..
-rw-r--r--	859	README	blob \| history \| raw
drwxr-xr-x	-	Veloci	tree \| history
-rw-r--r--	604	classify.sh	blob \| history \| raw
-rw-r--r--	247881	compare.ods	blob \| history \| raw
-rw-r--r--	208	da_indagare_perche_non_astrarre_i_letin_sulle_meta_del_body_spacca_tutto.txt	blob \| history \| raw
-rw-r--r--	3099	elenco_CASC.txt	blob \| history \| raw
-rw-r--r--	338	elenco_problemi_rating0_ancora_da_risolvere.txt	blob \| history \| raw
-rw-r--r--	3060	elenco_problemi_veloci_per_test.txt	blob \| history \| raw
-rw-r--r--	7678	elenco_unsatisfiable.txt	blob \| history \| raw
-rw-r--r--	1054	fetch_results_tptp.lua	blob \| history \| raw
-rw-r--r--	2340	hne_problems.txt	blob \| history \| raw
-rw-r--r--	43810	log.120.orsay.txt	blob \| history \| raw
-rw-r--r--	43495	log.300.19-6.txt	blob \| history \| raw
-rw-r--r--	30679	log.300.26-5.menvcorti	blob \| history \| raw
-rw-r--r--	43243	log.300.26-5.menvcorti.con_rating	blob \| history \| raw
-rw-r--r--	4096	log.300.27-6.fixprove.fixsimpl-infergoal	blob \| history \| raw
-rw-r--r--	43565	log.300.28-6.fixprove.fixsimpl-infergoal	blob \| history \| raw
-rw-r--r--	4324	log.300.29-5.CASC	blob \| history \| raw
-rw-r--r--	15825	log.300.29-6.fix-demodulationgoalwithcurr	blob \| history \| raw
-rw-r--r--	921	log.300.30-6.fixdemodgoalinpassive	blob \| history \| raw
-rw-r--r--	52697	log.600.15-7.comedasvn_stampapesomassimoeqinprovanellog.txt	blob \| history \| raw
-rw-r--r--	45113	log.600.22-7.matitaprover.txt	blob \| history \| raw
-rw-r--r--	34358	log.600.30-6.weghtNOTlookingatgoalsymbols	blob \| history \| raw
-rw-r--r--	44992	log.600.30-6.weghtlookingatgoalsymbols.txt	blob \| history \| raw
-rw-r--r--	17236	maxweight.txt	blob \| history \| raw
-rw-r--r--	228	merge_sorted_logs.awk	blob \| history \| raw
-rw-r--r--	36411	prova_LAT145_rating_93.tar.gz	blob \| history \| raw
-rw-r--r--	7569	risultati_CASC_2005.txt	blob \| history \| raw
-rw-r--r--	80	simulate_casc.sh	blob \| history \| raw
-rw-r--r--	1013	try.sh	blob \| history \| raw
-rw-r--r--	7650	unit_equality_problems.txt	blob \| history \| raw