helm/software/components/binaries/matitaprover/CASC_2008

   1 BOO007-2.p
   2 BOO007-4.p
   3 BOO031-1.p
   4 BOO034-1.p
   5 BOO072-1.p
   6 BOO073-1.p
   7 BOO076-1.p
   8 COL003-12.p
   9 COL003-1.p
  10 COL003-20.p
  11 COL006-6.p
  12 COL011-1.p
  13 COL037-1.p
  14 COL038-1.p
  15 COL043-3.p
  16 COL044-8.p
  17 COL046-1.p
  18 COL049-1.p
  19 COL057-1.p
  20 COL060-1.p
  21 COL061-1.p
  22 COL063-1.p
  23 COL064-1.p
  24 COL065-1.p
  25 GRP014-1.p
  26 GRP024-5.p
  27 GRP114-1.p
  28 GRP164-2.p
  29 GRP167-1.p
  30 GRP178-2.p
  31 GRP181-4.p
  32 GRP183-4.p
  33 GRP184-1.p
  34 GRP184-3.p
  35 GRP185-2.p
  36 GRP185-3.p
  37 GRP186-1.p
  38 GRP186-2.p
  39 GRP187-1.p
  40 GRP200-1.p
  41 GRP202-1.p
  42 GRP404-1.p
  43 GRP405-1.p
  44 GRP422-1.p
  45 GRP423-1.p
  46 GRP444-1.p
  47 GRP452-1.p
  48 GRP453-1.p
  49 GRP471-1.p
  50 GRP477-1.p
  51 GRP506-1.p
  52 GRP508-1.p
  53 LAT080-1.p
  54 LAT087-1.p
  55 LAT093-1.p
  56 LAT138-1.p
  57 LAT140-1.p
  58 LAT146-1.p
  59 LAT148-1.p
  60 LAT152-1.p
  61 LAT156-1.p
  62 LAT159-1.p
  63 LAT164-1.p
  64 LAT165-1.p
  65 LAT166-1.p
  66 LAT169-1.p
  67 LAT170-1.p
  68 LAT173-1.p
  69 LAT175-1.p
  70 RNG009-7.p
  71 RNG019-6.p
  72 RNG019-7.p
  73 RNG020-6.p
  74 RNG026-6.p
  75 RNG027-7.p
  76 RNG028-9.p
  77 RNG029-7.p
  78 RNG035-7.p
  79 ROB006-1.p
  80 ROB006-2.p