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 (file)
index 0000000..6112a79
--- /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 (file)
index 0000000..3245c5d
--- /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