branch for universe

[helm.git] / matita / tests / TPTP / elenco_problemi_veloci_per_test.txt

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 (file)
index 0000000..355142b
--- /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