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

drwxr-xr-x		..
-rw-r--r--	3553	BOO001-1.p.ma	blob \| history \| raw
-rw-r--r--	4047	BOO003-2.p.ma	blob \| history \| raw
-rw-r--r--	3567	BOO003-4.p.ma	blob \| history \| raw
-rw-r--r--	4035	BOO004-2.p.ma	blob \| history \| raw
-rw-r--r--	3542	BOO004-4.p.ma	blob \| history \| raw
-rw-r--r--	4137	BOO005-2.p.ma	blob \| history \| raw
-rw-r--r--	3644	BOO005-4.p.ma	blob \| history \| raw
-rw-r--r--	4076	BOO006-2.p.ma	blob \| history \| raw
-rw-r--r--	3596	BOO006-4.p.ma	blob \| history \| raw
-rw-r--r--	4095	BOO009-2.p.ma	blob \| history \| raw
-rw-r--r--	3615	BOO009-4.p.ma	blob \| history \| raw
-rw-r--r--	4094	BOO010-2.p.ma	blob \| history \| raw
-rw-r--r--	3640	BOO010-4.p.ma	blob \| history \| raw
-rw-r--r--	4216	BOO011-2.p.ma	blob \| history \| raw
-rw-r--r--	3655	BOO011-4.p.ma	blob \| history \| raw
-rw-r--r--	4068	BOO012-2.p.ma	blob \| history \| raw
-rw-r--r--	3594	BOO012-4.p.ma	blob \| history \| raw
-rw-r--r--	4406	BOO013-2.p.ma	blob \| history \| raw
-rw-r--r--	3699	BOO013-4.p.ma	blob \| history \| raw
-rw-r--r--	4112	BOO016-2.p.ma	blob \| history \| raw
-rw-r--r--	4112	BOO017-2.p.ma	blob \| history \| raw
-rw-r--r--	3655	BOO018-4.p.ma	blob \| history \| raw
-rw-r--r--	4046	BOO034-1.p.ma	blob \| history \| raw
-rw-r--r--	1944	BOO069-1.p.ma	blob \| history \| raw
-rw-r--r--	1944	BOO071-1.p.ma	blob \| history \| raw
-rw-r--r--	1730	BOO075-1.p.ma	blob \| history \| raw
-rw-r--r--	2266	COL004-3.p.ma	blob \| history \| raw
-rw-r--r--	1983	COL007-1.p.ma	blob \| history \| raw
-rw-r--r--	2227	COL008-1.p.ma	blob \| history \| raw
-rw-r--r--	2240	COL010-1.p.ma	blob \| history \| raw
-rw-r--r--	1996	COL012-1.p.ma	blob \| history \| raw
-rw-r--r--	2181	COL013-1.p.ma	blob \| history \| raw
-rw-r--r--	2140	COL014-1.p.ma	blob \| history \| raw
-rw-r--r--	2108	COL015-1.p.ma	blob \| history \| raw
-rw-r--r--	2284	COL016-1.p.ma	blob \| history \| raw
-rw-r--r--	2247	COL017-1.p.ma	blob \| history \| raw
-rw-r--r--	2301	COL018-1.p.ma	blob \| history \| raw
-rw-r--r--	2288	COL021-1.p.ma	blob \| history \| raw
-rw-r--r--	2260	COL022-1.p.ma	blob \| history \| raw
-rw-r--r--	2288	COL024-1.p.ma	blob \| history \| raw
-rw-r--r--	2216	COL025-1.p.ma	blob \| history \| raw
-rw-r--r--	2300	COL045-1.p.ma	blob \| history \| raw
-rw-r--r--	2252	COL048-1.p.ma	blob \| history \| raw
-rw-r--r--	2616	COL050-1.p.ma	blob \| history \| raw
-rw-r--r--	2541	COL058-2.p.ma	blob \| history \| raw
-rw-r--r--	2446	COL058-3.p.ma	blob \| history \| raw
-rw-r--r--	2283	COL060-2.p.ma	blob \| history \| raw
-rw-r--r--	2283	COL060-3.p.ma	blob \| history \| raw
-rw-r--r--	2288	COL061-2.p.ma	blob \| history \| raw
-rw-r--r--	2288	COL061-3.p.ma	blob \| history \| raw
-rw-r--r--	2328	COL062-2.p.ma	blob \| history \| raw
-rw-r--r--	2328	COL062-3.p.ma	blob \| history \| raw
-rw-r--r--	2329	COL063-2.p.ma	blob \| history \| raw
-rw-r--r--	2329	COL063-3.p.ma	blob \| history \| raw
-rw-r--r--	2329	COL063-4.p.ma	blob \| history \| raw
-rw-r--r--	2329	COL063-5.p.ma	blob \| history \| raw
-rw-r--r--	2303	COL063-6.p.ma	blob \| history \| raw
-rw-r--r--	2375	COL064-2.p.ma	blob \| history \| raw
-rw-r--r--	2349	COL064-3.p.ma	blob \| history \| raw
-rw-r--r--	2375	COL064-4.p.ma	blob \| history \| raw
-rw-r--r--	2375	COL064-5.p.ma	blob \| history \| raw
-rw-r--r--	2349	COL064-6.p.ma	blob \| history \| raw
-rw-r--r--	2375	COL064-7.p.ma	blob \| history \| raw
-rw-r--r--	2349	COL064-8.p.ma	blob \| history \| raw
-rw-r--r--	2375	COL064-9.p.ma	blob \| history \| raw
-rw-r--r--	1816	COL083-1.p.ma	blob \| history \| raw
-rw-r--r--	1816	COL084-1.p.ma	blob \| history \| raw
-rw-r--r--	1578	COL085-1.p.ma	blob \| history \| raw
-rw-r--r--	1578	COL086-1.p.ma	blob \| history \| raw
-rw-r--r--	4399	GRP001-2.p.ma	blob \| history \| raw
-rw-r--r--	2268	GRP001-4.p.ma	blob \| history \| raw
-rw-r--r--	2209	GRP010-4.p.ma	blob \| history \| raw
-rw-r--r--	2154	GRP011-4.p.ma	blob \| history \| raw
-rw-r--r--	4133	GRP012-4.p.ma	blob \| history \| raw
-rw-r--r--	4019	GRP022-2.p.ma	blob \| history \| raw
-rw-r--r--	3905	GRP023-2.p.ma	blob \| history \| raw
-rw-r--r--	1758	GRP115-1.p.ma	blob \| history \| raw
-rw-r--r--	1751	GRP116-1.p.ma	blob \| history \| raw
-rw-r--r--	1752	GRP117-1.p.ma	blob \| history \| raw
-rw-r--r--	1815	GRP118-1.p.ma	blob \| history \| raw
-rw-r--r--	7245	GRP136-1.p.ma	blob \| history \| raw
-rw-r--r--	7250	GRP137-1.p.ma	blob \| history \| raw
-rw-r--r--	7458	GRP139-1.p.ma	blob \| history \| raw
-rw-r--r--	7489	GRP141-1.p.ma	blob \| history \| raw
-rw-r--r--	7205	GRP142-1.p.ma	blob \| history \| raw
-rw-r--r--	7233	GRP143-1.p.ma	blob \| history \| raw
-rw-r--r--	7205	GRP144-1.p.ma	blob \| history \| raw
-rw-r--r--	7233	GRP145-1.p.ma	blob \| history \| raw
-rw-r--r--	7444	GRP146-1.p.ma	blob \| history \| raw
-rw-r--r--	7482	GRP149-1.p.ma	blob \| history \| raw
-rw-r--r--	7217	GRP150-1.p.ma	blob \| history \| raw
-rw-r--r--	7198	GRP151-1.p.ma	blob \| history \| raw
-rw-r--r--	7217	GRP152-1.p.ma	blob \| history \| raw
-rw-r--r--	7198	GRP153-1.p.ma	blob \| history \| raw
-rw-r--r--	7403	GRP154-1.p.ma	blob \| history \| raw
-rw-r--r--	7277	GRP155-1.p.ma	blob \| history \| raw
-rw-r--r--	7402	GRP156-1.p.ma	blob \| history \| raw
-rw-r--r--	7271	GRP157-1.p.ma	blob \| history \| raw
-rw-r--r--	7277	GRP158-1.p.ma	blob \| history \| raw
-rw-r--r--	7281	GRP159-1.p.ma	blob \| history \| raw
-rw-r--r--	7141	GRP160-1.p.ma	blob \| history \| raw
-rw-r--r--	7144	GRP161-1.p.ma	blob \| history \| raw
-rw-r--r--	7279	GRP162-1.p.ma	blob \| history \| raw
-rw-r--r--	7284	GRP163-1.p.ma	blob \| history \| raw
-rw-r--r--	7579	GRP168-1.p.ma	blob \| history \| raw
-rw-r--r--	7444	GRP168-2.p.ma	blob \| history \| raw
-rw-r--r--	7503	GRP173-1.p.ma	blob \| history \| raw
-rw-r--r--	7306	GRP174-1.p.ma	blob \| history \| raw
-rw-r--r--	7620	GRP176-1.p.ma	blob \| history \| raw
-rw-r--r--	7425	GRP176-2.p.ma	blob \| history \| raw
-rw-r--r--	7694	GRP182-1.p.ma	blob \| history \| raw
-rw-r--r--	7832	GRP182-2.p.ma	blob \| history \| raw
-rw-r--r--	7334	GRP182-3.p.ma	blob \| history \| raw
-rw-r--r--	7472	GRP182-4.p.ma	blob \| history \| raw
-rw-r--r--	7306	GRP186-3.p.ma	blob \| history \| raw
-rw-r--r--	7418	GRP186-4.p.ma	blob \| history \| raw
-rw-r--r--	7163	GRP188-1.p.ma	blob \| history \| raw
-rw-r--r--	7301	GRP188-2.p.ma	blob \| history \| raw
-rw-r--r--	7144	GRP189-1.p.ma	blob \| history \| raw
-rw-r--r--	7282	GRP189-2.p.ma	blob \| history \| raw
-rw-r--r--	7278	GRP192-1.p.ma	blob \| history \| raw
-rw-r--r--	2623	GRP206-1.p.ma	blob \| history \| raw
-rw-r--r--	2015	GRP454-1.p.ma	blob \| history \| raw
-rw-r--r--	2005	GRP455-1.p.ma	blob \| history \| raw
-rw-r--r--	2101	GRP456-1.p.ma	blob \| history \| raw
-rw-r--r--	2015	GRP457-1.p.ma	blob \| history \| raw
-rw-r--r--	2005	GRP458-1.p.ma	blob \| history \| raw
-rw-r--r--	2075	GRP459-1.p.ma	blob \| history \| raw
-rw-r--r--	2015	GRP460-1.p.ma	blob \| history \| raw
-rw-r--r--	2015	GRP463-1.p.ma	blob \| history \| raw
-rw-r--r--	1891	GRP467-1.p.ma	blob \| history \| raw
-rw-r--r--	2257	GRP481-1.p.ma	blob \| history \| raw
-rw-r--r--	2130	GRP484-1.p.ma	blob \| history \| raw
-rw-r--r--	2120	GRP485-1.p.ma	blob \| history \| raw
-rw-r--r--	2190	GRP486-1.p.ma	blob \| history \| raw
-rw-r--r--	2130	GRP487-1.p.ma	blob \| history \| raw
-rw-r--r--	2120	GRP488-1.p.ma	blob \| history \| raw
-rw-r--r--	2130	GRP490-1.p.ma	blob \| history \| raw
-rw-r--r--	2120	GRP491-1.p.ma	blob \| history \| raw
-rw-r--r--	2190	GRP492-1.p.ma	blob \| history \| raw
-rw-r--r--	2130	GRP493-1.p.ma	blob \| history \| raw
-rw-r--r--	2120	GRP494-1.p.ma	blob \| history \| raw
-rw-r--r--	2190	GRP495-1.p.ma	blob \| history \| raw
-rw-r--r--	2130	GRP496-1.p.ma	blob \| history \| raw
-rw-r--r--	2120	GRP497-1.p.ma	blob \| history \| raw
-rw-r--r--	2190	GRP498-1.p.ma	blob \| history \| raw
-rw-r--r--	1831	GRP509-1.p.ma	blob \| history \| raw
-rw-r--r--	1821	GRP510-1.p.ma	blob \| history \| raw
-rw-r--r--	1856	GRP511-1.p.ma	blob \| history \| raw
-rw-r--r--	1852	GRP512-1.p.ma	blob \| history \| raw
-rw-r--r--	1763	GRP513-1.p.ma	blob \| history \| raw
-rw-r--r--	1740	GRP514-1.p.ma	blob \| history \| raw
-rw-r--r--	1801	GRP515-1.p.ma	blob \| history \| raw
-rw-r--r--	1771	GRP516-1.p.ma	blob \| history \| raw
-rw-r--r--	1750	GRP517-1.p.ma	blob \| history \| raw
-rw-r--r--	1740	GRP518-1.p.ma	blob \| history \| raw
-rw-r--r--	1771	GRP520-1.p.ma	blob \| history \| raw
-rw-r--r--	2046	GRP541-1.p.ma	blob \| history \| raw
-rw-r--r--	2036	GRP542-1.p.ma	blob \| history \| raw
-rw-r--r--	2071	GRP543-1.p.ma	blob \| history \| raw
-rw-r--r--	2067	GRP544-1.p.ma	blob \| history \| raw
-rw-r--r--	2046	GRP545-1.p.ma	blob \| history \| raw
-rw-r--r--	2036	GRP546-1.p.ma	blob \| history \| raw
-rw-r--r--	2071	GRP547-1.p.ma	blob \| history \| raw
-rw-r--r--	2067	GRP548-1.p.ma	blob \| history \| raw
-rw-r--r--	2046	GRP549-1.p.ma	blob \| history \| raw
-rw-r--r--	2062	GRP550-1.p.ma	blob \| history \| raw
-rw-r--r--	2071	GRP551-1.p.ma	blob \| history \| raw
-rw-r--r--	2067	GRP552-1.p.ma	blob \| history \| raw
-rw-r--r--	1903	GRP556-1.p.ma	blob \| history \| raw
-rw-r--r--	1872	GRP558-1.p.ma	blob \| history \| raw
-rw-r--r--	1903	GRP560-1.p.ma	blob \| history \| raw
-rw-r--r--	1895	GRP561-1.p.ma	blob \| history \| raw
-rw-r--r--	1872	GRP562-1.p.ma	blob \| history \| raw
-rw-r--r--	1903	GRP564-1.p.ma	blob \| history \| raw
-rw-r--r--	2137	GRP565-1.p.ma	blob \| history \| raw
-rw-r--r--	2127	GRP566-1.p.ma	blob \| history \| raw
-rw-r--r--	2223	GRP567-1.p.ma	blob \| history \| raw
-rw-r--r--	2206	GRP568-1.p.ma	blob \| history \| raw
-rw-r--r--	2137	GRP569-1.p.ma	blob \| history \| raw
-rw-r--r--	2127	GRP570-1.p.ma	blob \| history \| raw
-rw-r--r--	2206	GRP572-1.p.ma	blob \| history \| raw
-rw-r--r--	2137	GRP573-1.p.ma	blob \| history \| raw
-rw-r--r--	2127	GRP574-1.p.ma	blob \| history \| raw
-rw-r--r--	2193	GRP576-1.p.ma	blob \| history \| raw
-rw-r--r--	2137	GRP577-1.p.ma	blob \| history \| raw
-rw-r--r--	2127	GRP578-1.p.ma	blob \| history \| raw
-rw-r--r--	2193	GRP580-1.p.ma	blob \| history \| raw
-rw-r--r--	2137	GRP581-1.p.ma	blob \| history \| raw
-rw-r--r--	2127	GRP582-1.p.ma	blob \| history \| raw
-rw-r--r--	2223	GRP583-1.p.ma	blob \| history \| raw
-rw-r--r--	2193	GRP584-1.p.ma	blob \| history \| raw
-rw-r--r--	1932	GRP586-1.p.ma	blob \| history \| raw
-rw-r--r--	1963	GRP588-1.p.ma	blob \| history \| raw
-rw-r--r--	1932	GRP590-1.p.ma	blob \| history \| raw
-rw-r--r--	1976	GRP592-1.p.ma	blob \| history \| raw
-rw-r--r--	1993	GRP595-1.p.ma	blob \| history \| raw
-rw-r--r--	1976	GRP596-1.p.ma	blob \| history \| raw
-rw-r--r--	1942	GRP597-1.p.ma	blob \| history \| raw
-rw-r--r--	1958	GRP598-1.p.ma	blob \| history \| raw
-rw-r--r--	1993	GRP599-1.p.ma	blob \| history \| raw
-rw-r--r--	1976	GRP600-1.p.ma	blob \| history \| raw
-rw-r--r--	1958	GRP602-1.p.ma	blob \| history \| raw
-rw-r--r--	1993	GRP603-1.p.ma	blob \| history \| raw
-rw-r--r--	1976	GRP604-1.p.ma	blob \| history \| raw
-rw-r--r--	1942	GRP605-1.p.ma	blob \| history \| raw
-rw-r--r--	1932	GRP606-1.p.ma	blob \| history \| raw
-rw-r--r--	1963	GRP608-1.p.ma	blob \| history \| raw
-rw-r--r--	1976	GRP612-1.p.ma	blob \| history \| raw
-rw-r--r--	1942	GRP613-1.p.ma	blob \| history \| raw
-rw-r--r--	1932	GRP614-1.p.ma	blob \| history \| raw
-rw-r--r--	1993	GRP615-1.p.ma	blob \| history \| raw
-rw-r--r--	1963	GRP616-1.p.ma	blob \| history \| raw
-rw-r--r--	2140	LAT008-1.p.ma	blob \| history \| raw
-rw-r--r--	2302	LAT033-1.p.ma	blob \| history \| raw
-rw-r--r--	2302	LAT034-1.p.ma	blob \| history \| raw
-rw-r--r--	4103	LAT039-1.p.ma	blob \| history \| raw
-rw-r--r--	4101	LAT039-2.p.ma	blob \| history \| raw
-rw-r--r--	4150	LAT040-1.p.ma	blob \| history \| raw
-rw-r--r--	4493	LAT045-1.p.ma	blob \| history \| raw
-rw-r--r--	3886	LCL110-2.p.ma	blob \| history \| raw
-rw-r--r--	3951	LCL112-2.p.ma	blob \| history \| raw
-rw-r--r--	3833	LCL113-2.p.ma	blob \| history \| raw
-rw-r--r--	3924	LCL114-2.p.ma	blob \| history \| raw
-rw-r--r--	3821	LCL115-2.p.ma	blob \| history \| raw
-rw-r--r--	3434	LCL132-1.p.ma	blob \| history \| raw
-rw-r--r--	3551	LCL133-1.p.ma	blob \| history \| raw
-rw-r--r--	3477	LCL134-1.p.ma	blob \| history \| raw
-rw-r--r--	3826	LCL135-1.p.ma	blob \| history \| raw
-rw-r--r--	3485	LCL139-1.p.ma	blob \| history \| raw
-rw-r--r--	3469	LCL140-1.p.ma	blob \| history \| raw
-rw-r--r--	3835	LCL141-1.p.ma	blob \| history \| raw
-rw-r--r--	7835	LCL153-1.p.ma	blob \| history \| raw
-rw-r--r--	7833	LCL154-1.p.ma	blob \| history \| raw
-rw-r--r--	7833	LCL155-1.p.ma	blob \| history \| raw
-rw-r--r--	7834	LCL156-1.p.ma	blob \| history \| raw
-rw-r--r--	7846	LCL157-1.p.ma	blob \| history \| raw
-rw-r--r--	7850	LCL158-1.p.ma	blob \| history \| raw
-rw-r--r--	4723	LCL161-1.p.ma	blob \| history \| raw
-rw-r--r--	4775	LCL164-1.p.ma	blob \| history \| raw
-rw-r--r--	1793	LDA001-1.p.ma	blob \| history \| raw
-rw-r--r--	2148	LDA007-3.p.ma	blob \| history \| raw
-rw-r--r--	5235	RNG007-4.p.ma	blob \| history \| raw
-rw-r--r--	5355	RNG008-4.p.ma	blob \| history \| raw
-rw-r--r--	5009	RNG011-5.p.ma	blob \| history \| raw
-rw-r--r--	5059	RNG023-6.p.ma	blob \| history \| raw
-rw-r--r--	6207	RNG023-7.p.ma	blob \| history \| raw
-rw-r--r--	5061	RNG024-6.p.ma	blob \| history \| raw
-rw-r--r--	6209	RNG024-7.p.ma	blob \| history \| raw
-rw-r--r--	3501	ROB002-1.p.ma	blob \| history \| raw
-rw-r--r--	3294	ROB009-1.p.ma	blob \| history \| raw
-rw-r--r--	3351	ROB010-1.p.ma	blob \| history \| raw
-rw-r--r--	3241	ROB013-1.p.ma	blob \| history \| raw
-rw-r--r--	3549	ROB030-1.p.ma	blob \| history \| raw
-rw-r--r--	1601	SYN083-1.p.ma	blob \| history \| raw