X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Ftests%2FTPTP%2Felenco_problemi_veloci_per_test.txt;fp=matita%2Ftests%2FTPTP%2Felenco_problemi_veloci_per_test.txt;h=355142b2e57c6f3d19301ed4a6821468437df5db;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1 diff --git a/matita/tests/TPTP/elenco_problemi_veloci_per_test.txt b/matita/tests/TPTP/elenco_problemi_veloci_per_test.txt new file mode 100644 index 000000000..355142b2e --- /dev/null +++ b/matita/tests/TPTP/elenco_problemi_veloci_per_test.txt @@ -0,0 +1,255 @@ +COL007-1.p +COL012-1.p +COL013-1.p +COL058-2.p +COL060-2.p +COL060-3.p +COL061-2.p +COL061-3.p +COL062-2.p +COL062-3.p +COL063-2.p +COL063-3.p +COL063-4.p +COL063-5.p +COL063-6.p +COL064-2.p +COL064-3.p +COL064-4.p +COL064-5.p +COL064-6.p +COL064-7.p +COL064-8.p +COL064-9.p +COL085-1.p +COL086-1.p +GRP023-2.p +GRP136-1.p +GRP137-1.p +GRP160-1.p +GRP161-1.p +GRP454-1.p +GRP457-1.p +GRP460-1.p +GRP463-1.p +GRP541-1.p +GRP545-1.p +GRP549-1.p +LAT033-1.p +LAT034-1.p +ROB030-1.p +SYN083-1.p +BOO006-4.p +BOO011-2.p +BOO011-4.p +COL004-3.p +COL008-1.p +COL016-1.p +COL022-1.p +COL045-1.p +COL048-1.p +COL050-1.p +COL058-3.p +COL083-1.p +COL084-1.p +GRP010-4.p +GRP022-2.p +GRP151-1.p +GRP496-1.p +GRP542-1.p +GRP546-1.p +RNG007-4.p +ROB010-1.p +ROB013-1.p +BOO018-4.p +COL015-1.p +COL017-1.p +COL025-1.p +GRP011-4.p +GRP012-4.p +GRP182-1.p +GRP481-1.p +GRP487-1.p +GRP493-1.p +GRP550-1.p +GRP552-1.p +BOO003-2.p +BOO006-2.p +COL018-1.p +COL024-1.p +GRP001-4.p +GRP115-1.p +GRP117-1.p +GRP182-3.p +GRP455-1.p +GRP458-1.p +GRP490-1.p +GRP494-1.p +GRP544-1.p +GRP573-1.p +GRP581-1.p +LCL132-1.p +ROB002-1.p +GRP001-2.p +GRP142-1.p +GRP144-1.p +GRP189-1.p +GRP206-1.p +GRP562-1.p +GRP566-1.p +GRP569-1.p +GRP570-1.p +LDA001-1.p +GRP173-1.p +GRP182-2.p +GRP188-2.p +GRP484-1.p +GRP491-1.p +GRP548-1.p +GRP558-1.p +GRP565-1.p +LCL133-1.p +LCL134-1.p +LCL135-1.p +BOO004-2.p +BOO009-2.p +GRP150-1.p +GRP153-1.p +GRP174-1.p +GRP182-4.p +GRP189-2.p +BOO010-2.p +BOO010-4.p +GRP118-1.p +GRP143-1.p +GRP145-1.p +GRP152-1.p +GRP188-1.p +GRP485-1.p +GRP510-1.p +GRP577-1.p +LCL161-1.p +GRP518-1.p +GRP520-1.p +BOO003-4.p +BOO004-4.p +GRP514-1.p +GRP516-1.p +GRP574-1.p +GRP586-1.p +LDA007-3.p +BOO005-4.p +COL014-1.p +GRP139-1.p +GRP141-1.p +BOO005-2.p +GRP497-1.p +GRP512-1.p +GRP561-1.p +GRP564-1.p +GRP582-1.p +LCL164-1.p +GRP590-1.p +GRP595-1.p +GRP146-1.p +GRP149-1.p +GRP162-1.p +GRP576-1.p +RNG024-6.p +GRP157-1.p +GRP163-1.p +GRP456-1.p +RNG008-4.p +RNG023-6.p +GRP459-1.p +GRP578-1.p +BOO017-2.p +GRP159-1.p +GRP186-3.p +GRP192-1.p +GRP560-1.p +GRP598-1.p +GRP543-1.p +BOO016-2.p +GRP158-1.p +GRP186-4.p +GRP572-1.p +GRP592-1.p +RNG011-5.p +GRP495-1.p +GRP596-1.p +GRP614-1.p +LCL156-1.p +LCL110-2.p +LCL154-1.p +LCL157-1.p +GRP154-1.p +GRP616-1.p +LCL112-2.p +LCL140-1.p +GRP168-1.p +GRP612-1.p +LCL113-2.p +BOO009-4.p +GRP116-1.p +LCL155-1.p +RNG023-7.p +RNG024-7.p +GRP600-1.p +LCL153-1.p +LCL158-1.p +GRP498-1.p +COL021-1.p +GRP155-1.p +GRP176-2.p +LCL139-1.p +GRP486-1.p +GRP606-1.p +LCL114-2.p +BOO013-2.p +GRP156-1.p +GRP176-1.p +LAT045-1.p +GRP168-2.p +GRP608-1.p +GRP551-1.p +GRP588-1.p +LAT039-1.p +LAT039-2.p +GRP584-1.p +BOO012-2.p +GRP568-1.p +GRP492-1.p +GRP602-1.p +GRP603-1.p +GRP467-1.p +GRP613-1.p +GRP547-1.p +BOO012-4.p +GRP580-1.p +GRP597-1.p +GRP517-1.p +BOO075-1.p +LCL115-2.p +LCL141-1.p +GRP605-1.p +GRP515-1.p +GRP509-1.p +GRP604-1.p +GRP513-1.p +GRP556-1.p +BOO013-4.p +GRP615-1.p +BOO001-1.p +GRP488-1.p +GRP583-1.p +GRP511-1.p +LAT008-1.p +BOO069-1.p +ROB009-1.p +BOO071-1.p +GRP567-1.p +BOO034-1.p +LAT040-1.p +GRP599-1.p +COL010-1.p