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

drwxr-xr-x		..
-rw-r--r--	3516	BOO001-1.p.ma	blob \| history \| raw
-rw-r--r--	4010	BOO003-2.p.ma	blob \| history \| raw
-rw-r--r--	3530	BOO003-4.p.ma	blob \| history \| raw
-rw-r--r--	3998	BOO004-2.p.ma	blob \| history \| raw
-rw-r--r--	3505	BOO004-4.p.ma	blob \| history \| raw
-rw-r--r--	4100	BOO005-2.p.ma	blob \| history \| raw
-rw-r--r--	3607	BOO005-4.p.ma	blob \| history \| raw
-rw-r--r--	4039	BOO006-2.p.ma	blob \| history \| raw
-rw-r--r--	3559	BOO006-4.p.ma	blob \| history \| raw
-rw-r--r--	4058	BOO009-2.p.ma	blob \| history \| raw
-rw-r--r--	3578	BOO009-4.p.ma	blob \| history \| raw
-rw-r--r--	4057	BOO010-2.p.ma	blob \| history \| raw
-rw-r--r--	3603	BOO010-4.p.ma	blob \| history \| raw
-rw-r--r--	4179	BOO011-2.p.ma	blob \| history \| raw
-rw-r--r--	3618	BOO011-4.p.ma	blob \| history \| raw
-rw-r--r--	4031	BOO012-2.p.ma	blob \| history \| raw
-rw-r--r--	3557	BOO012-4.p.ma	blob \| history \| raw
-rw-r--r--	4369	BOO013-2.p.ma	blob \| history \| raw
-rw-r--r--	3662	BOO013-4.p.ma	blob \| history \| raw
-rw-r--r--	4075	BOO016-2.p.ma	blob \| history \| raw
-rw-r--r--	4075	BOO017-2.p.ma	blob \| history \| raw
-rw-r--r--	3618	BOO018-4.p.ma	blob \| history \| raw
-rw-r--r--	4009	BOO034-1.p.ma	blob \| history \| raw
-rw-r--r--	1907	BOO069-1.p.ma	blob \| history \| raw
-rw-r--r--	1907	BOO071-1.p.ma	blob \| history \| raw
-rw-r--r--	1693	BOO075-1.p.ma	blob \| history \| raw
-rw-r--r--	2229	COL004-3.p.ma	blob \| history \| raw
-rw-r--r--	1946	COL007-1.p.ma	blob \| history \| raw
-rw-r--r--	2190	COL008-1.p.ma	blob \| history \| raw
-rw-r--r--	2203	COL010-1.p.ma	blob \| history \| raw
-rw-r--r--	1959	COL012-1.p.ma	blob \| history \| raw
-rw-r--r--	2144	COL013-1.p.ma	blob \| history \| raw
-rw-r--r--	2103	COL014-1.p.ma	blob \| history \| raw
-rw-r--r--	2071	COL015-1.p.ma	blob \| history \| raw
-rw-r--r--	2247	COL016-1.p.ma	blob \| history \| raw
-rw-r--r--	2210	COL017-1.p.ma	blob \| history \| raw
-rw-r--r--	2264	COL018-1.p.ma	blob \| history \| raw
-rw-r--r--	2251	COL021-1.p.ma	blob \| history \| raw
-rw-r--r--	2223	COL022-1.p.ma	blob \| history \| raw
-rw-r--r--	2251	COL024-1.p.ma	blob \| history \| raw
-rw-r--r--	2179	COL025-1.p.ma	blob \| history \| raw
-rw-r--r--	2263	COL045-1.p.ma	blob \| history \| raw
-rw-r--r--	2215	COL048-1.p.ma	blob \| history \| raw
-rw-r--r--	2579	COL050-1.p.ma	blob \| history \| raw
-rw-r--r--	2504	COL058-2.p.ma	blob \| history \| raw
-rw-r--r--	2409	COL058-3.p.ma	blob \| history \| raw
-rw-r--r--	2246	COL060-2.p.ma	blob \| history \| raw
-rw-r--r--	2246	COL060-3.p.ma	blob \| history \| raw
-rw-r--r--	2251	COL061-2.p.ma	blob \| history \| raw
-rw-r--r--	2251	COL061-3.p.ma	blob \| history \| raw
-rw-r--r--	2291	COL062-2.p.ma	blob \| history \| raw
-rw-r--r--	2291	COL062-3.p.ma	blob \| history \| raw
-rw-r--r--	2292	COL063-2.p.ma	blob \| history \| raw
-rw-r--r--	2292	COL063-3.p.ma	blob \| history \| raw
-rw-r--r--	2292	COL063-4.p.ma	blob \| history \| raw
-rw-r--r--	2292	COL063-5.p.ma	blob \| history \| raw
-rw-r--r--	2266	COL063-6.p.ma	blob \| history \| raw
-rw-r--r--	2338	COL064-2.p.ma	blob \| history \| raw
-rw-r--r--	2312	COL064-3.p.ma	blob \| history \| raw
-rw-r--r--	2338	COL064-4.p.ma	blob \| history \| raw
-rw-r--r--	2338	COL064-5.p.ma	blob \| history \| raw
-rw-r--r--	2312	COL064-6.p.ma	blob \| history \| raw
-rw-r--r--	2338	COL064-7.p.ma	blob \| history \| raw
-rw-r--r--	2312	COL064-8.p.ma	blob \| history \| raw
-rw-r--r--	2338	COL064-9.p.ma	blob \| history \| raw
-rw-r--r--	1779	COL083-1.p.ma	blob \| history \| raw
-rw-r--r--	1779	COL084-1.p.ma	blob \| history \| raw
-rw-r--r--	1541	COL085-1.p.ma	blob \| history \| raw
-rw-r--r--	1541	COL086-1.p.ma	blob \| history \| raw
-rw-r--r--	4362	GRP001-2.p.ma	blob \| history \| raw
-rw-r--r--	2231	GRP001-4.p.ma	blob \| history \| raw
-rw-r--r--	2172	GRP010-4.p.ma	blob \| history \| raw
-rw-r--r--	2117	GRP011-4.p.ma	blob \| history \| raw
-rw-r--r--	4096	GRP012-4.p.ma	blob \| history \| raw
-rw-r--r--	3982	GRP022-2.p.ma	blob \| history \| raw
-rw-r--r--	3868	GRP023-2.p.ma	blob \| history \| raw
-rw-r--r--	1721	GRP115-1.p.ma	blob \| history \| raw
-rw-r--r--	1714	GRP116-1.p.ma	blob \| history \| raw
-rw-r--r--	1715	GRP117-1.p.ma	blob \| history \| raw
-rw-r--r--	1778	GRP118-1.p.ma	blob \| history \| raw
-rw-r--r--	7208	GRP136-1.p.ma	blob \| history \| raw
-rw-r--r--	7213	GRP137-1.p.ma	blob \| history \| raw
-rw-r--r--	7421	GRP139-1.p.ma	blob \| history \| raw
-rw-r--r--	7452	GRP141-1.p.ma	blob \| history \| raw
-rw-r--r--	7168	GRP142-1.p.ma	blob \| history \| raw
-rw-r--r--	7196	GRP143-1.p.ma	blob \| history \| raw
-rw-r--r--	7168	GRP144-1.p.ma	blob \| history \| raw
-rw-r--r--	7196	GRP145-1.p.ma	blob \| history \| raw
-rw-r--r--	7407	GRP146-1.p.ma	blob \| history \| raw
-rw-r--r--	7445	GRP149-1.p.ma	blob \| history \| raw
-rw-r--r--	7180	GRP150-1.p.ma	blob \| history \| raw
-rw-r--r--	7161	GRP151-1.p.ma	blob \| history \| raw
-rw-r--r--	7180	GRP152-1.p.ma	blob \| history \| raw
-rw-r--r--	7161	GRP153-1.p.ma	blob \| history \| raw
-rw-r--r--	7366	GRP154-1.p.ma	blob \| history \| raw
-rw-r--r--	7240	GRP155-1.p.ma	blob \| history \| raw
-rw-r--r--	7365	GRP156-1.p.ma	blob \| history \| raw
-rw-r--r--	7234	GRP157-1.p.ma	blob \| history \| raw
-rw-r--r--	7240	GRP158-1.p.ma	blob \| history \| raw
-rw-r--r--	7244	GRP159-1.p.ma	blob \| history \| raw
-rw-r--r--	7104	GRP160-1.p.ma	blob \| history \| raw
-rw-r--r--	7107	GRP161-1.p.ma	blob \| history \| raw
-rw-r--r--	7242	GRP162-1.p.ma	blob \| history \| raw
-rw-r--r--	7247	GRP163-1.p.ma	blob \| history \| raw
-rw-r--r--	7547	GRP168-1.p.ma	blob \| history \| raw
-rw-r--r--	7412	GRP168-2.p.ma	blob \| history \| raw
-rw-r--r--	7466	GRP173-1.p.ma	blob \| history \| raw
-rw-r--r--	7269	GRP174-1.p.ma	blob \| history \| raw
-rw-r--r--	7583	GRP176-1.p.ma	blob \| history \| raw
-rw-r--r--	7388	GRP176-2.p.ma	blob \| history \| raw
-rw-r--r--	7657	GRP182-1.p.ma	blob \| history \| raw
-rw-r--r--	7795	GRP182-2.p.ma	blob \| history \| raw
-rw-r--r--	7297	GRP182-3.p.ma	blob \| history \| raw
-rw-r--r--	7435	GRP182-4.p.ma	blob \| history \| raw
-rw-r--r--	7269	GRP186-3.p.ma	blob \| history \| raw
-rw-r--r--	7381	GRP186-4.p.ma	blob \| history \| raw
-rw-r--r--	7126	GRP188-1.p.ma	blob \| history \| raw
-rw-r--r--	7264	GRP188-2.p.ma	blob \| history \| raw
-rw-r--r--	7107	GRP189-1.p.ma	blob \| history \| raw
-rw-r--r--	7245	GRP189-2.p.ma	blob \| history \| raw
-rw-r--r--	7241	GRP192-1.p.ma	blob \| history \| raw
-rw-r--r--	2586	GRP206-1.p.ma	blob \| history \| raw
-rw-r--r--	1978	GRP454-1.p.ma	blob \| history \| raw
-rw-r--r--	1968	GRP455-1.p.ma	blob \| history \| raw
-rw-r--r--	2064	GRP456-1.p.ma	blob \| history \| raw
-rw-r--r--	1978	GRP457-1.p.ma	blob \| history \| raw
-rw-r--r--	1968	GRP458-1.p.ma	blob \| history \| raw
-rw-r--r--	2038	GRP459-1.p.ma	blob \| history \| raw
-rw-r--r--	1978	GRP460-1.p.ma	blob \| history \| raw
-rw-r--r--	1978	GRP463-1.p.ma	blob \| history \| raw
-rw-r--r--	1854	GRP467-1.p.ma	blob \| history \| raw
-rw-r--r--	2220	GRP481-1.p.ma	blob \| history \| raw
-rw-r--r--	2093	GRP484-1.p.ma	blob \| history \| raw
-rw-r--r--	2083	GRP485-1.p.ma	blob \| history \| raw
-rw-r--r--	2153	GRP486-1.p.ma	blob \| history \| raw
-rw-r--r--	2093	GRP487-1.p.ma	blob \| history \| raw
-rw-r--r--	2083	GRP488-1.p.ma	blob \| history \| raw
-rw-r--r--	2093	GRP490-1.p.ma	blob \| history \| raw
-rw-r--r--	2083	GRP491-1.p.ma	blob \| history \| raw
-rw-r--r--	2153	GRP492-1.p.ma	blob \| history \| raw
-rw-r--r--	2093	GRP493-1.p.ma	blob \| history \| raw
-rw-r--r--	2083	GRP494-1.p.ma	blob \| history \| raw
-rw-r--r--	2153	GRP495-1.p.ma	blob \| history \| raw
-rw-r--r--	2093	GRP496-1.p.ma	blob \| history \| raw
-rw-r--r--	2083	GRP497-1.p.ma	blob \| history \| raw
-rw-r--r--	2153	GRP498-1.p.ma	blob \| history \| raw
-rw-r--r--	1794	GRP509-1.p.ma	blob \| history \| raw
-rw-r--r--	1784	GRP510-1.p.ma	blob \| history \| raw
-rw-r--r--	1819	GRP511-1.p.ma	blob \| history \| raw
-rw-r--r--	1815	GRP512-1.p.ma	blob \| history \| raw
-rw-r--r--	1726	GRP513-1.p.ma	blob \| history \| raw
-rw-r--r--	1703	GRP514-1.p.ma	blob \| history \| raw
-rw-r--r--	1764	GRP515-1.p.ma	blob \| history \| raw
-rw-r--r--	1734	GRP516-1.p.ma	blob \| history \| raw
-rw-r--r--	1713	GRP517-1.p.ma	blob \| history \| raw
-rw-r--r--	1703	GRP518-1.p.ma	blob \| history \| raw
-rw-r--r--	1734	GRP520-1.p.ma	blob \| history \| raw
-rw-r--r--	2009	GRP541-1.p.ma	blob \| history \| raw
-rw-r--r--	1999	GRP542-1.p.ma	blob \| history \| raw
-rw-r--r--	2034	GRP543-1.p.ma	blob \| history \| raw
-rw-r--r--	2030	GRP544-1.p.ma	blob \| history \| raw
-rw-r--r--	2009	GRP545-1.p.ma	blob \| history \| raw
-rw-r--r--	1999	GRP546-1.p.ma	blob \| history \| raw
-rw-r--r--	2034	GRP547-1.p.ma	blob \| history \| raw
-rw-r--r--	2030	GRP548-1.p.ma	blob \| history \| raw
-rw-r--r--	2009	GRP549-1.p.ma	blob \| history \| raw
-rw-r--r--	2025	GRP550-1.p.ma	blob \| history \| raw
-rw-r--r--	2034	GRP551-1.p.ma	blob \| history \| raw
-rw-r--r--	2030	GRP552-1.p.ma	blob \| history \| raw
-rw-r--r--	1866	GRP556-1.p.ma	blob \| history \| raw
-rw-r--r--	1835	GRP558-1.p.ma	blob \| history \| raw
-rw-r--r--	1866	GRP560-1.p.ma	blob \| history \| raw
-rw-r--r--	1858	GRP561-1.p.ma	blob \| history \| raw
-rw-r--r--	1835	GRP562-1.p.ma	blob \| history \| raw
-rw-r--r--	1866	GRP564-1.p.ma	blob \| history \| raw
-rw-r--r--	2100	GRP565-1.p.ma	blob \| history \| raw
-rw-r--r--	2090	GRP566-1.p.ma	blob \| history \| raw
-rw-r--r--	2186	GRP567-1.p.ma	blob \| history \| raw
-rw-r--r--	2169	GRP568-1.p.ma	blob \| history \| raw
-rw-r--r--	2100	GRP569-1.p.ma	blob \| history \| raw
-rw-r--r--	2090	GRP570-1.p.ma	blob \| history \| raw
-rw-r--r--	2169	GRP572-1.p.ma	blob \| history \| raw
-rw-r--r--	2100	GRP573-1.p.ma	blob \| history \| raw
-rw-r--r--	2090	GRP574-1.p.ma	blob \| history \| raw
-rw-r--r--	2156	GRP576-1.p.ma	blob \| history \| raw
-rw-r--r--	2100	GRP577-1.p.ma	blob \| history \| raw
-rw-r--r--	2090	GRP578-1.p.ma	blob \| history \| raw
-rw-r--r--	2156	GRP580-1.p.ma	blob \| history \| raw
-rw-r--r--	2100	GRP581-1.p.ma	blob \| history \| raw
-rw-r--r--	2090	GRP582-1.p.ma	blob \| history \| raw
-rw-r--r--	2186	GRP583-1.p.ma	blob \| history \| raw
-rw-r--r--	2156	GRP584-1.p.ma	blob \| history \| raw
-rw-r--r--	1895	GRP586-1.p.ma	blob \| history \| raw
-rw-r--r--	1926	GRP588-1.p.ma	blob \| history \| raw
-rw-r--r--	1895	GRP590-1.p.ma	blob \| history \| raw
-rw-r--r--	1939	GRP592-1.p.ma	blob \| history \| raw
-rw-r--r--	1956	GRP595-1.p.ma	blob \| history \| raw
-rw-r--r--	1939	GRP596-1.p.ma	blob \| history \| raw
-rw-r--r--	1905	GRP597-1.p.ma	blob \| history \| raw
-rw-r--r--	1921	GRP598-1.p.ma	blob \| history \| raw
-rw-r--r--	1956	GRP599-1.p.ma	blob \| history \| raw
-rw-r--r--	1939	GRP600-1.p.ma	blob \| history \| raw
-rw-r--r--	1921	GRP602-1.p.ma	blob \| history \| raw
-rw-r--r--	1956	GRP603-1.p.ma	blob \| history \| raw
-rw-r--r--	1939	GRP604-1.p.ma	blob \| history \| raw
-rw-r--r--	1905	GRP605-1.p.ma	blob \| history \| raw
-rw-r--r--	1895	GRP606-1.p.ma	blob \| history \| raw
-rw-r--r--	1926	GRP608-1.p.ma	blob \| history \| raw
-rw-r--r--	1939	GRP612-1.p.ma	blob \| history \| raw
-rw-r--r--	1905	GRP613-1.p.ma	blob \| history \| raw
-rw-r--r--	1895	GRP614-1.p.ma	blob \| history \| raw
-rw-r--r--	1956	GRP615-1.p.ma	blob \| history \| raw
-rw-r--r--	1926	GRP616-1.p.ma	blob \| history \| raw
-rw-r--r--	2103	LAT008-1.p.ma	blob \| history \| raw
-rw-r--r--	2265	LAT033-1.p.ma	blob \| history \| raw
-rw-r--r--	2265	LAT034-1.p.ma	blob \| history \| raw
-rw-r--r--	4066	LAT039-1.p.ma	blob \| history \| raw
-rw-r--r--	4064	LAT039-2.p.ma	blob \| history \| raw
-rw-r--r--	4113	LAT040-1.p.ma	blob \| history \| raw
-rw-r--r--	4456	LAT045-1.p.ma	blob \| history \| raw
-rw-r--r--	3849	LCL110-2.p.ma	blob \| history \| raw
-rw-r--r--	3914	LCL112-2.p.ma	blob \| history \| raw
-rw-r--r--	3796	LCL113-2.p.ma	blob \| history \| raw
-rw-r--r--	3887	LCL114-2.p.ma	blob \| history \| raw
-rw-r--r--	3784	LCL115-2.p.ma	blob \| history \| raw
-rw-r--r--	3397	LCL132-1.p.ma	blob \| history \| raw
-rw-r--r--	3514	LCL133-1.p.ma	blob \| history \| raw
-rw-r--r--	3440	LCL134-1.p.ma	blob \| history \| raw
-rw-r--r--	3789	LCL135-1.p.ma	blob \| history \| raw
-rw-r--r--	3448	LCL139-1.p.ma	blob \| history \| raw
-rw-r--r--	3432	LCL140-1.p.ma	blob \| history \| raw
-rw-r--r--	3798	LCL141-1.p.ma	blob \| history \| raw
-rw-r--r--	7798	LCL153-1.p.ma	blob \| history \| raw
-rw-r--r--	7796	LCL154-1.p.ma	blob \| history \| raw
-rw-r--r--	7796	LCL155-1.p.ma	blob \| history \| raw
-rw-r--r--	7797	LCL156-1.p.ma	blob \| history \| raw
-rw-r--r--	7809	LCL157-1.p.ma	blob \| history \| raw
-rw-r--r--	7813	LCL158-1.p.ma	blob \| history \| raw
-rw-r--r--	4686	LCL161-1.p.ma	blob \| history \| raw
-rw-r--r--	4738	LCL164-1.p.ma	blob \| history \| raw
-rw-r--r--	1756	LDA001-1.p.ma	blob \| history \| raw
-rw-r--r--	2111	LDA007-3.p.ma	blob \| history \| raw
-rw-r--r--	5198	RNG007-4.p.ma	blob \| history \| raw
-rw-r--r--	5318	RNG008-4.p.ma	blob \| history \| raw
-rw-r--r--	4972	RNG011-5.p.ma	blob \| history \| raw
-rw-r--r--	5022	RNG023-6.p.ma	blob \| history \| raw
-rw-r--r--	6170	RNG023-7.p.ma	blob \| history \| raw
-rw-r--r--	5024	RNG024-6.p.ma	blob \| history \| raw
-rw-r--r--	6172	RNG024-7.p.ma	blob \| history \| raw
-rw-r--r--	3464	ROB002-1.p.ma	blob \| history \| raw
-rw-r--r--	3257	ROB009-1.p.ma	blob \| history \| raw
-rw-r--r--	3314	ROB010-1.p.ma	blob \| history \| raw
-rw-r--r--	3204	ROB013-1.p.ma	blob \| history \| raw
-rw-r--r--	3512	ROB030-1.p.ma	blob \| history \| raw
-rw-r--r--	1564	SYN083-1.p.ma	blob \| history \| raw