X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Ftests%2FTPTP%2Felenco_problemi_veloci_per_test.txt;h=355142b2e57c6f3d19301ed4a6821468437df5db;hb=1bb2f29abc629de13c680a3b11f4a8e4f2de0448;hp=d8503a4fcbffd68a9a890ddbbf28a48b1a7ee3df;hpb=027d780050fc28643896c08cc82fd47e30835a76;p=helm.git

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