From: Andrea Asperti Date: Fri, 26 Jun 2009 12:01:30 +0000 (+0000) Subject: convenient problem lists X-Git-Tag: make_still_working~3784 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ba973eae07a1c2542ba0dc12931ef465a42eddf9;p=helm.git convenient problem lists --- diff --git a/helm/software/components/binaries/matitaprover/CASC_2008 b/helm/software/components/binaries/matitaprover/CASC_2008 new file mode 100644 index 000000000..6112a795f --- /dev/null +++ b/helm/software/components/binaries/matitaprover/CASC_2008 @@ -0,0 +1,80 @@ +BOO007-2.p +BOO007-4.p +BOO031-1.p +BOO034-1.p +BOO072-1.p +BOO073-1.p +BOO076-1.p +COL003-12.p +COL003-1.p +COL003-20.p +COL006-6.p +COL011-1.p +COL037-1.p +COL038-1.p +COL043-3.p +COL044-8.p +COL046-1.p +COL049-1.p +COL057-1.p +COL060-1.p +COL061-1.p +COL063-1.p +COL064-1.p +COL065-1.p +GRP014-1.p +GRP024-5.p +GRP114-1.p +GRP164-2.p +GRP167-1.p +GRP178-2.p +GRP181-4.p +GRP183-4.p +GRP184-1.p +GRP184-3.p +GRP185-2.p +GRP185-3.p +GRP186-1.p +GRP186-2.p +GRP187-1.p +GRP200-1.p +GRP202-1.p +GRP404-1.p +GRP405-1.p +GRP422-1.p +GRP423-1.p +GRP444-1.p +GRP452-1.p +GRP453-1.p +GRP471-1.p +GRP477-1.p +GRP506-1.p +GRP508-1.p +LAT080-1.p +LAT087-1.p +LAT093-1.p +LAT138-1.p +LAT140-1.p +LAT146-1.p +LAT148-1.p +LAT152-1.p +LAT156-1.p +LAT159-1.p +LAT164-1.p +LAT165-1.p +LAT166-1.p +LAT169-1.p +LAT170-1.p +LAT173-1.p +LAT175-1.p +RNG009-7.p +RNG019-6.p +RNG019-7.p +RNG020-6.p +RNG026-6.p +RNG027-7.p +RNG028-9.p +RNG029-7.p +RNG035-7.p +ROB006-1.p +ROB006-2.p diff --git a/helm/software/components/binaries/matitaprover/Veloci b/helm/software/components/binaries/matitaprover/Veloci new file mode 100644 index 000000000..3245c5dd5 --- /dev/null +++ b/helm/software/components/binaries/matitaprover/Veloci @@ -0,0 +1,255 @@ +BOO001-1.p +BOO003-2.p +BOO003-4.p +BOO004-2.p +BOO004-4.p +BOO005-2.p +BOO005-4.p +BOO006-2.p +BOO006-4.p +BOO009-2.p +BOO009-4.p +BOO010-2.p +BOO010-4.p +BOO011-2.p +BOO011-4.p +BOO012-2.p +BOO012-4.p +BOO013-2.p +BOO013-4.p +BOO016-2.p +BOO017-2.p +BOO018-4.p +BOO034-1.p +BOO069-1.p +BOO071-1.p +BOO075-1.p +COL004-3.p +COL007-1.p +COL008-1.p +COL010-1.p +COL012-1.p +COL013-1.p +COL014-1.p +COL015-1.p +COL016-1.p +COL017-1.p +COL018-1.p +COL021-1.p +COL022-1.p +COL024-1.p +COL025-1.p +COL045-1.p +COL048-1.p +COL050-1.p +COL058-2.p +COL058-3.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 +COL083-1.p +COL084-1.p +COL085-1.p +COL086-1.p +GRP001-2.p +GRP001-4.p +GRP010-4.p +GRP011-4.p +GRP012-4.p +GRP022-2.p +GRP023-2.p +GRP115-1.p +GRP116-1.p +GRP117-1.p +GRP118-1.p +GRP136-1.p +GRP137-1.p +GRP139-1.p +GRP141-1.p +GRP142-1.p +GRP143-1.p +GRP144-1.p +GRP145-1.p +GRP146-1.p +GRP149-1.p +GRP150-1.p +GRP151-1.p +GRP152-1.p +GRP153-1.p +GRP154-1.p +GRP155-1.p +GRP156-1.p +GRP157-1.p +GRP158-1.p +GRP159-1.p +GRP160-1.p +GRP161-1.p +GRP162-1.p +GRP163-1.p +GRP168-1.p +GRP168-2.p +GRP173-1.p +GRP174-1.p +GRP176-1.p +GRP176-2.p +GRP182-1.p +GRP182-2.p +GRP182-3.p +GRP182-4.p +GRP186-3.p +GRP186-4.p +GRP188-1.p +GRP188-2.p +GRP189-1.p +GRP189-2.p +GRP192-1.p +GRP206-1.p +GRP454-1.p +GRP455-1.p +GRP456-1.p +GRP457-1.p +GRP458-1.p +GRP459-1.p +GRP460-1.p +GRP463-1.p +GRP467-1.p +GRP481-1.p +GRP484-1.p +GRP485-1.p +GRP486-1.p +GRP487-1.p +GRP488-1.p +GRP490-1.p +GRP491-1.p +GRP492-1.p +GRP493-1.p +GRP494-1.p +GRP495-1.p +GRP496-1.p +GRP497-1.p +GRP498-1.p +GRP509-1.p +GRP510-1.p +GRP511-1.p +GRP512-1.p +GRP513-1.p +GRP514-1.p +GRP515-1.p +GRP516-1.p +GRP517-1.p +GRP518-1.p +GRP520-1.p +GRP541-1.p +GRP542-1.p +GRP543-1.p +GRP544-1.p +GRP545-1.p +GRP546-1.p +GRP547-1.p +GRP548-1.p +GRP549-1.p +GRP550-1.p +GRP551-1.p +GRP552-1.p +GRP556-1.p +GRP558-1.p +GRP560-1.p +GRP561-1.p +GRP562-1.p +GRP564-1.p +GRP565-1.p +GRP566-1.p +GRP567-1.p +GRP568-1.p +GRP569-1.p +GRP570-1.p +GRP572-1.p +GRP573-1.p +GRP574-1.p +GRP576-1.p +GRP577-1.p +GRP578-1.p +GRP580-1.p +GRP581-1.p +GRP582-1.p +GRP583-1.p +GRP584-1.p +GRP586-1.p +GRP588-1.p +GRP590-1.p +GRP592-1.p +GRP595-1.p +GRP596-1.p +GRP597-1.p +GRP598-1.p +GRP599-1.p +GRP600-1.p +GRP602-1.p +GRP603-1.p +GRP604-1.p +GRP605-1.p +GRP606-1.p +GRP608-1.p +GRP612-1.p +GRP613-1.p +GRP614-1.p +GRP615-1.p +GRP616-1.p +LAT008-1.p +LAT033-1.p +LAT034-1.p +LAT039-1.p +LAT039-2.p +LAT040-1.p +LAT045-1.p +LCL110-2.p +LCL112-2.p +LCL113-2.p +LCL114-2.p +LCL115-2.p +LCL132-1.p +LCL133-1.p +LCL134-1.p +LCL135-1.p +LCL139-1.p +LCL140-1.p +LCL141-1.p +LCL153-1.p +LCL154-1.p +LCL155-1.p +LCL156-1.p +LCL157-1.p +LCL158-1.p +LCL161-1.p +LCL164-1.p +LDA001-1.p +LDA007-3.p +RNG007-4.p +RNG008-4.p +RNG011-5.p +RNG023-6.p +RNG023-7.p +RNG024-6.p +RNG024-7.p +ROB002-1.p +ROB009-1.p +ROB010-1.p +ROB013-1.p +ROB030-1.p +SYN083-1.p