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