From: Enrico Tassi Date: Fri, 29 Sep 2006 12:23:23 +0000 (+0000) Subject: maittaprover uses another format X-Git-Tag: 0.4.95@7852~976 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1bb2f29abc629de13c680a3b11f4a8e4f2de0448;p=helm.git maittaprover uses another format --- 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