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

drwxr-xr-x		..
-rw-r--r--	3558	BOO001-1.p.ma	blob \| history \| raw
-rw-r--r--	4052	BOO003-2.p.ma	blob \| history \| raw
-rw-r--r--	3572	BOO003-4.p.ma	blob \| history \| raw
-rw-r--r--	4040	BOO004-2.p.ma	blob \| history \| raw
-rw-r--r--	3547	BOO004-4.p.ma	blob \| history \| raw
-rw-r--r--	4142	BOO005-2.p.ma	blob \| history \| raw
-rw-r--r--	3649	BOO005-4.p.ma	blob \| history \| raw
-rw-r--r--	4081	BOO006-2.p.ma	blob \| history \| raw
-rw-r--r--	3601	BOO006-4.p.ma	blob \| history \| raw
-rw-r--r--	4100	BOO009-2.p.ma	blob \| history \| raw
-rw-r--r--	3620	BOO009-4.p.ma	blob \| history \| raw
-rw-r--r--	4099	BOO010-2.p.ma	blob \| history \| raw
-rw-r--r--	3645	BOO010-4.p.ma	blob \| history \| raw
-rw-r--r--	4221	BOO011-2.p.ma	blob \| history \| raw
-rw-r--r--	3660	BOO011-4.p.ma	blob \| history \| raw
-rw-r--r--	4073	BOO012-2.p.ma	blob \| history \| raw
-rw-r--r--	3599	BOO012-4.p.ma	blob \| history \| raw
-rw-r--r--	4411	BOO013-2.p.ma	blob \| history \| raw
-rw-r--r--	3704	BOO013-4.p.ma	blob \| history \| raw
-rw-r--r--	4117	BOO016-2.p.ma	blob \| history \| raw
-rw-r--r--	4117	BOO017-2.p.ma	blob \| history \| raw
-rw-r--r--	3660	BOO018-4.p.ma	blob \| history \| raw
-rw-r--r--	4051	BOO034-1.p.ma	blob \| history \| raw
-rw-r--r--	1949	BOO069-1.p.ma	blob \| history \| raw
-rw-r--r--	1949	BOO071-1.p.ma	blob \| history \| raw
-rw-r--r--	1735	BOO075-1.p.ma	blob \| history \| raw
-rw-r--r--	2271	COL004-3.p.ma	blob \| history \| raw
-rw-r--r--	1988	COL007-1.p.ma	blob \| history \| raw
-rw-r--r--	2232	COL008-1.p.ma	blob \| history \| raw
-rw-r--r--	2245	COL010-1.p.ma	blob \| history \| raw
-rw-r--r--	2001	COL012-1.p.ma	blob \| history \| raw
-rw-r--r--	2186	COL013-1.p.ma	blob \| history \| raw
-rw-r--r--	2145	COL014-1.p.ma	blob \| history \| raw
-rw-r--r--	2113	COL015-1.p.ma	blob \| history \| raw
-rw-r--r--	2289	COL016-1.p.ma	blob \| history \| raw
-rw-r--r--	2252	COL017-1.p.ma	blob \| history \| raw
-rw-r--r--	2306	COL018-1.p.ma	blob \| history \| raw
-rw-r--r--	2293	COL021-1.p.ma	blob \| history \| raw
-rw-r--r--	2265	COL022-1.p.ma	blob \| history \| raw
-rw-r--r--	2293	COL024-1.p.ma	blob \| history \| raw
-rw-r--r--	2221	COL025-1.p.ma	blob \| history \| raw
-rw-r--r--	2305	COL045-1.p.ma	blob \| history \| raw
-rw-r--r--	2257	COL048-1.p.ma	blob \| history \| raw
-rw-r--r--	2621	COL050-1.p.ma	blob \| history \| raw
-rw-r--r--	2546	COL058-2.p.ma	blob \| history \| raw
-rw-r--r--	2451	COL058-3.p.ma	blob \| history \| raw
-rw-r--r--	2288	COL060-2.p.ma	blob \| history \| raw
-rw-r--r--	2288	COL060-3.p.ma	blob \| history \| raw
-rw-r--r--	2293	COL061-2.p.ma	blob \| history \| raw
-rw-r--r--	2293	COL061-3.p.ma	blob \| history \| raw
-rw-r--r--	2333	COL062-2.p.ma	blob \| history \| raw
-rw-r--r--	2333	COL062-3.p.ma	blob \| history \| raw
-rw-r--r--	2334	COL063-2.p.ma	blob \| history \| raw
-rw-r--r--	2334	COL063-3.p.ma	blob \| history \| raw
-rw-r--r--	2334	COL063-4.p.ma	blob \| history \| raw
-rw-r--r--	2334	COL063-5.p.ma	blob \| history \| raw
-rw-r--r--	2308	COL063-6.p.ma	blob \| history \| raw
-rw-r--r--	2380	COL064-2.p.ma	blob \| history \| raw
-rw-r--r--	2354	COL064-3.p.ma	blob \| history \| raw
-rw-r--r--	2380	COL064-4.p.ma	blob \| history \| raw
-rw-r--r--	2380	COL064-5.p.ma	blob \| history \| raw
-rw-r--r--	2354	COL064-6.p.ma	blob \| history \| raw
-rw-r--r--	2380	COL064-7.p.ma	blob \| history \| raw
-rw-r--r--	2354	COL064-8.p.ma	blob \| history \| raw
-rw-r--r--	2380	COL064-9.p.ma	blob \| history \| raw
-rw-r--r--	1821	COL083-1.p.ma	blob \| history \| raw
-rw-r--r--	1821	COL084-1.p.ma	blob \| history \| raw
-rw-r--r--	1583	COL085-1.p.ma	blob \| history \| raw
-rw-r--r--	1583	COL086-1.p.ma	blob \| history \| raw
-rw-r--r--	4404	GRP001-2.p.ma	blob \| history \| raw
-rw-r--r--	2273	GRP001-4.p.ma	blob \| history \| raw
-rw-r--r--	2214	GRP010-4.p.ma	blob \| history \| raw
-rw-r--r--	2159	GRP011-4.p.ma	blob \| history \| raw
-rw-r--r--	4138	GRP012-4.p.ma	blob \| history \| raw
-rw-r--r--	4024	GRP022-2.p.ma	blob \| history \| raw
-rw-r--r--	3910	GRP023-2.p.ma	blob \| history \| raw
-rw-r--r--	1763	GRP115-1.p.ma	blob \| history \| raw
-rw-r--r--	1756	GRP116-1.p.ma	blob \| history \| raw
-rw-r--r--	1757	GRP117-1.p.ma	blob \| history \| raw
-rw-r--r--	1820	GRP118-1.p.ma	blob \| history \| raw
-rw-r--r--	7250	GRP136-1.p.ma	blob \| history \| raw
-rw-r--r--	7255	GRP137-1.p.ma	blob \| history \| raw
-rw-r--r--	7463	GRP139-1.p.ma	blob \| history \| raw
-rw-r--r--	7494	GRP141-1.p.ma	blob \| history \| raw
-rw-r--r--	7210	GRP142-1.p.ma	blob \| history \| raw
-rw-r--r--	7238	GRP143-1.p.ma	blob \| history \| raw
-rw-r--r--	7210	GRP144-1.p.ma	blob \| history \| raw
-rw-r--r--	7238	GRP145-1.p.ma	blob \| history \| raw
-rw-r--r--	7449	GRP146-1.p.ma	blob \| history \| raw
-rw-r--r--	7487	GRP149-1.p.ma	blob \| history \| raw
-rw-r--r--	7222	GRP150-1.p.ma	blob \| history \| raw
-rw-r--r--	7203	GRP151-1.p.ma	blob \| history \| raw
-rw-r--r--	7222	GRP152-1.p.ma	blob \| history \| raw
-rw-r--r--	7203	GRP153-1.p.ma	blob \| history \| raw
-rw-r--r--	7408	GRP154-1.p.ma	blob \| history \| raw
-rw-r--r--	7282	GRP155-1.p.ma	blob \| history \| raw
-rw-r--r--	7407	GRP156-1.p.ma	blob \| history \| raw
-rw-r--r--	7276	GRP157-1.p.ma	blob \| history \| raw
-rw-r--r--	7282	GRP158-1.p.ma	blob \| history \| raw
-rw-r--r--	7286	GRP159-1.p.ma	blob \| history \| raw
-rw-r--r--	7146	GRP160-1.p.ma	blob \| history \| raw
-rw-r--r--	7149	GRP161-1.p.ma	blob \| history \| raw
-rw-r--r--	7284	GRP162-1.p.ma	blob \| history \| raw
-rw-r--r--	7289	GRP163-1.p.ma	blob \| history \| raw
-rw-r--r--	7589	GRP168-1.p.ma	blob \| history \| raw
-rw-r--r--	7454	GRP168-2.p.ma	blob \| history \| raw
-rw-r--r--	7508	GRP173-1.p.ma	blob \| history \| raw
-rw-r--r--	7311	GRP174-1.p.ma	blob \| history \| raw
-rw-r--r--	7625	GRP176-1.p.ma	blob \| history \| raw
-rw-r--r--	7430	GRP176-2.p.ma	blob \| history \| raw
-rw-r--r--	7699	GRP182-1.p.ma	blob \| history \| raw
-rw-r--r--	7837	GRP182-2.p.ma	blob \| history \| raw
-rw-r--r--	7339	GRP182-3.p.ma	blob \| history \| raw
-rw-r--r--	7477	GRP182-4.p.ma	blob \| history \| raw
-rw-r--r--	7311	GRP186-3.p.ma	blob \| history \| raw
-rw-r--r--	7423	GRP186-4.p.ma	blob \| history \| raw
-rw-r--r--	7168	GRP188-1.p.ma	blob \| history \| raw
-rw-r--r--	7306	GRP188-2.p.ma	blob \| history \| raw
-rw-r--r--	7149	GRP189-1.p.ma	blob \| history \| raw
-rw-r--r--	7287	GRP189-2.p.ma	blob \| history \| raw
-rw-r--r--	7283	GRP192-1.p.ma	blob \| history \| raw
-rw-r--r--	2628	GRP206-1.p.ma	blob \| history \| raw
-rw-r--r--	2020	GRP454-1.p.ma	blob \| history \| raw
-rw-r--r--	2010	GRP455-1.p.ma	blob \| history \| raw
-rw-r--r--	2106	GRP456-1.p.ma	blob \| history \| raw
-rw-r--r--	2020	GRP457-1.p.ma	blob \| history \| raw
-rw-r--r--	2010	GRP458-1.p.ma	blob \| history \| raw
-rw-r--r--	2080	GRP459-1.p.ma	blob \| history \| raw
-rw-r--r--	2020	GRP460-1.p.ma	blob \| history \| raw
-rw-r--r--	2020	GRP463-1.p.ma	blob \| history \| raw
-rw-r--r--	1896	GRP467-1.p.ma	blob \| history \| raw
-rw-r--r--	2262	GRP481-1.p.ma	blob \| history \| raw
-rw-r--r--	2135	GRP484-1.p.ma	blob \| history \| raw
-rw-r--r--	2125	GRP485-1.p.ma	blob \| history \| raw
-rw-r--r--	2195	GRP486-1.p.ma	blob \| history \| raw
-rw-r--r--	2135	GRP487-1.p.ma	blob \| history \| raw
-rw-r--r--	2125	GRP488-1.p.ma	blob \| history \| raw
-rw-r--r--	2135	GRP490-1.p.ma	blob \| history \| raw
-rw-r--r--	2125	GRP491-1.p.ma	blob \| history \| raw
-rw-r--r--	2195	GRP492-1.p.ma	blob \| history \| raw
-rw-r--r--	2135	GRP493-1.p.ma	blob \| history \| raw
-rw-r--r--	2125	GRP494-1.p.ma	blob \| history \| raw
-rw-r--r--	2195	GRP495-1.p.ma	blob \| history \| raw
-rw-r--r--	2135	GRP496-1.p.ma	blob \| history \| raw
-rw-r--r--	2125	GRP497-1.p.ma	blob \| history \| raw
-rw-r--r--	2195	GRP498-1.p.ma	blob \| history \| raw
-rw-r--r--	1836	GRP509-1.p.ma	blob \| history \| raw
-rw-r--r--	1826	GRP510-1.p.ma	blob \| history \| raw
-rw-r--r--	1861	GRP511-1.p.ma	blob \| history \| raw
-rw-r--r--	1857	GRP512-1.p.ma	blob \| history \| raw
-rw-r--r--	1768	GRP513-1.p.ma	blob \| history \| raw
-rw-r--r--	1745	GRP514-1.p.ma	blob \| history \| raw
-rw-r--r--	1806	GRP515-1.p.ma	blob \| history \| raw
-rw-r--r--	1776	GRP516-1.p.ma	blob \| history \| raw
-rw-r--r--	1755	GRP517-1.p.ma	blob \| history \| raw
-rw-r--r--	1745	GRP518-1.p.ma	blob \| history \| raw
-rw-r--r--	1776	GRP520-1.p.ma	blob \| history \| raw
-rw-r--r--	2051	GRP541-1.p.ma	blob \| history \| raw
-rw-r--r--	2041	GRP542-1.p.ma	blob \| history \| raw
-rw-r--r--	2076	GRP543-1.p.ma	blob \| history \| raw
-rw-r--r--	2072	GRP544-1.p.ma	blob \| history \| raw
-rw-r--r--	2051	GRP545-1.p.ma	blob \| history \| raw
-rw-r--r--	2041	GRP546-1.p.ma	blob \| history \| raw
-rw-r--r--	2076	GRP547-1.p.ma	blob \| history \| raw
-rw-r--r--	2072	GRP548-1.p.ma	blob \| history \| raw
-rw-r--r--	2051	GRP549-1.p.ma	blob \| history \| raw
-rw-r--r--	2067	GRP550-1.p.ma	blob \| history \| raw
-rw-r--r--	2076	GRP551-1.p.ma	blob \| history \| raw
-rw-r--r--	2072	GRP552-1.p.ma	blob \| history \| raw
-rw-r--r--	1908	GRP556-1.p.ma	blob \| history \| raw
-rw-r--r--	1877	GRP558-1.p.ma	blob \| history \| raw
-rw-r--r--	1908	GRP560-1.p.ma	blob \| history \| raw
-rw-r--r--	1900	GRP561-1.p.ma	blob \| history \| raw
-rw-r--r--	1877	GRP562-1.p.ma	blob \| history \| raw
-rw-r--r--	1908	GRP564-1.p.ma	blob \| history \| raw
-rw-r--r--	2142	GRP565-1.p.ma	blob \| history \| raw
-rw-r--r--	2132	GRP566-1.p.ma	blob \| history \| raw
-rw-r--r--	2228	GRP567-1.p.ma	blob \| history \| raw
-rw-r--r--	2211	GRP568-1.p.ma	blob \| history \| raw
-rw-r--r--	2142	GRP569-1.p.ma	blob \| history \| raw
-rw-r--r--	2132	GRP570-1.p.ma	blob \| history \| raw
-rw-r--r--	2211	GRP572-1.p.ma	blob \| history \| raw
-rw-r--r--	2142	GRP573-1.p.ma	blob \| history \| raw
-rw-r--r--	2132	GRP574-1.p.ma	blob \| history \| raw
-rw-r--r--	2198	GRP576-1.p.ma	blob \| history \| raw
-rw-r--r--	2142	GRP577-1.p.ma	blob \| history \| raw
-rw-r--r--	2132	GRP578-1.p.ma	blob \| history \| raw
-rw-r--r--	2198	GRP580-1.p.ma	blob \| history \| raw
-rw-r--r--	2142	GRP581-1.p.ma	blob \| history \| raw
-rw-r--r--	2132	GRP582-1.p.ma	blob \| history \| raw
-rw-r--r--	2228	GRP583-1.p.ma	blob \| history \| raw
-rw-r--r--	2198	GRP584-1.p.ma	blob \| history \| raw
-rw-r--r--	1937	GRP586-1.p.ma	blob \| history \| raw
-rw-r--r--	1968	GRP588-1.p.ma	blob \| history \| raw
-rw-r--r--	1937	GRP590-1.p.ma	blob \| history \| raw
-rw-r--r--	1981	GRP592-1.p.ma	blob \| history \| raw
-rw-r--r--	1998	GRP595-1.p.ma	blob \| history \| raw
-rw-r--r--	1981	GRP596-1.p.ma	blob \| history \| raw
-rw-r--r--	1947	GRP597-1.p.ma	blob \| history \| raw
-rw-r--r--	1963	GRP598-1.p.ma	blob \| history \| raw
-rw-r--r--	1998	GRP599-1.p.ma	blob \| history \| raw
-rw-r--r--	1981	GRP600-1.p.ma	blob \| history \| raw
-rw-r--r--	1963	GRP602-1.p.ma	blob \| history \| raw
-rw-r--r--	1998	GRP603-1.p.ma	blob \| history \| raw
-rw-r--r--	1981	GRP604-1.p.ma	blob \| history \| raw
-rw-r--r--	1947	GRP605-1.p.ma	blob \| history \| raw
-rw-r--r--	1937	GRP606-1.p.ma	blob \| history \| raw
-rw-r--r--	1968	GRP608-1.p.ma	blob \| history \| raw
-rw-r--r--	1981	GRP612-1.p.ma	blob \| history \| raw
-rw-r--r--	1947	GRP613-1.p.ma	blob \| history \| raw
-rw-r--r--	1937	GRP614-1.p.ma	blob \| history \| raw
-rw-r--r--	1998	GRP615-1.p.ma	blob \| history \| raw
-rw-r--r--	1968	GRP616-1.p.ma	blob \| history \| raw
-rw-r--r--	2145	LAT008-1.p.ma	blob \| history \| raw
-rw-r--r--	2307	LAT033-1.p.ma	blob \| history \| raw
-rw-r--r--	2307	LAT034-1.p.ma	blob \| history \| raw
-rw-r--r--	4108	LAT039-1.p.ma	blob \| history \| raw
-rw-r--r--	4106	LAT039-2.p.ma	blob \| history \| raw
-rw-r--r--	4155	LAT040-1.p.ma	blob \| history \| raw
-rw-r--r--	4498	LAT045-1.p.ma	blob \| history \| raw
-rw-r--r--	3891	LCL110-2.p.ma	blob \| history \| raw
-rw-r--r--	3956	LCL112-2.p.ma	blob \| history \| raw
-rw-r--r--	3838	LCL113-2.p.ma	blob \| history \| raw
-rw-r--r--	3929	LCL114-2.p.ma	blob \| history \| raw
-rw-r--r--	3826	LCL115-2.p.ma	blob \| history \| raw
-rw-r--r--	3439	LCL132-1.p.ma	blob \| history \| raw
-rw-r--r--	3556	LCL133-1.p.ma	blob \| history \| raw
-rw-r--r--	3482	LCL134-1.p.ma	blob \| history \| raw
-rw-r--r--	3831	LCL135-1.p.ma	blob \| history \| raw
-rw-r--r--	3490	LCL139-1.p.ma	blob \| history \| raw
-rw-r--r--	3474	LCL140-1.p.ma	blob \| history \| raw
-rw-r--r--	3840	LCL141-1.p.ma	blob \| history \| raw
-rw-r--r--	7840	LCL153-1.p.ma	blob \| history \| raw
-rw-r--r--	7838	LCL154-1.p.ma	blob \| history \| raw
-rw-r--r--	7838	LCL155-1.p.ma	blob \| history \| raw
-rw-r--r--	7839	LCL156-1.p.ma	blob \| history \| raw
-rw-r--r--	7851	LCL157-1.p.ma	blob \| history \| raw
-rw-r--r--	7855	LCL158-1.p.ma	blob \| history \| raw
-rw-r--r--	4728	LCL161-1.p.ma	blob \| history \| raw
-rw-r--r--	4780	LCL164-1.p.ma	blob \| history \| raw
-rw-r--r--	1798	LDA001-1.p.ma	blob \| history \| raw
-rw-r--r--	2153	LDA007-3.p.ma	blob \| history \| raw
-rw-r--r--	5240	RNG007-4.p.ma	blob \| history \| raw
-rw-r--r--	5360	RNG008-4.p.ma	blob \| history \| raw
-rw-r--r--	5014	RNG011-5.p.ma	blob \| history \| raw
-rw-r--r--	5064	RNG023-6.p.ma	blob \| history \| raw
-rw-r--r--	6212	RNG023-7.p.ma	blob \| history \| raw
-rw-r--r--	5066	RNG024-6.p.ma	blob \| history \| raw
-rw-r--r--	6214	RNG024-7.p.ma	blob \| history \| raw
-rw-r--r--	3506	ROB002-1.p.ma	blob \| history \| raw
-rw-r--r--	3299	ROB009-1.p.ma	blob \| history \| raw
-rw-r--r--	3356	ROB010-1.p.ma	blob \| history \| raw
-rw-r--r--	3246	ROB013-1.p.ma	blob \| history \| raw
-rw-r--r--	3554	ROB030-1.p.ma	blob \| history \| raw
-rw-r--r--	1606	SYN083-1.p.ma	blob \| history \| raw