matita/tests/TPTP/elenco_problemi_veloci_per_test.txt

   1 COL007-1.p
   2 COL012-1.p
   3 COL013-1.p
   4 COL058-2.p
   5 COL060-2.p
   6 COL060-3.p
   7 COL061-2.p
   8 COL061-3.p
   9 COL062-2.p
  10 COL062-3.p
  11 COL063-2.p
  12 COL063-3.p
  13 COL063-4.p
  14 COL063-5.p
  15 COL063-6.p
  16 COL064-2.p
  17 COL064-3.p
  18 COL064-4.p
  19 COL064-5.p
  20 COL064-6.p
  21 COL064-7.p
  22 COL064-8.p
  23 COL064-9.p
  24 COL085-1.p
  25 COL086-1.p
  26 GRP023-2.p
  27 GRP136-1.p
  28 GRP137-1.p
  29 GRP160-1.p
  30 GRP161-1.p
  31 GRP454-1.p
  32 GRP457-1.p
  33 GRP460-1.p
  34 GRP463-1.p
  35 GRP541-1.p
  36 GRP545-1.p
  37 GRP549-1.p
  38 LAT033-1.p
  39 LAT034-1.p
  40 ROB030-1.p
  41 SYN083-1.p
  42 BOO006-4.p
  43 BOO011-2.p
  44 BOO011-4.p
  45 COL004-3.p
  46 COL008-1.p
  47 COL016-1.p
  48 COL022-1.p
  49 COL045-1.p
  50 COL048-1.p
  51 COL050-1.p
  52 COL058-3.p
  53 COL083-1.p
  54 COL084-1.p
  55 GRP010-4.p
  56 GRP022-2.p
  57 GRP151-1.p
  58 GRP496-1.p
  59 GRP542-1.p
  60 GRP546-1.p
  61 RNG007-4.p
  62 ROB010-1.p
  63 ROB013-1.p
  64 BOO018-4.p
  65 COL015-1.p
  66 COL017-1.p
  67 COL025-1.p
  68 GRP011-4.p
  69 GRP012-4.p
  70 GRP182-1.p
  71 GRP481-1.p
  72 GRP487-1.p
  73 GRP493-1.p
  74 GRP550-1.p
  75 GRP552-1.p
  76 BOO003-2.p
  77 BOO006-2.p
  78 COL018-1.p
  79 COL024-1.p
  80 GRP001-4.p
  81 GRP115-1.p
  82 GRP117-1.p
  83 GRP182-3.p
  84 GRP455-1.p
  85 GRP458-1.p
  86 GRP490-1.p
  87 GRP494-1.p
  88 GRP544-1.p
  89 GRP573-1.p
  90 GRP581-1.p
  91 LCL132-1.p
  92 ROB002-1.p
  93 GRP001-2.p
  94 GRP142-1.p
  95 GRP144-1.p
  96 GRP189-1.p
  97 GRP206-1.p
  98 GRP562-1.p
  99 GRP566-1.p
 100 GRP569-1.p
 101 GRP570-1.p
 102 LDA001-1.p
 103 GRP173-1.p
 104 GRP182-2.p
 105 GRP188-2.p
 106 GRP484-1.p
 107 GRP491-1.p
 108 GRP548-1.p
 109 GRP558-1.p
 110 GRP565-1.p
 111 LCL133-1.p
 112 LCL134-1.p
 113 LCL135-1.p
 114 BOO004-2.p
 115 BOO009-2.p
 116 GRP150-1.p
 117 GRP153-1.p
 118 GRP174-1.p
 119 GRP182-4.p
 120 GRP189-2.p
 121 BOO010-2.p
 122 BOO010-4.p
 123 GRP118-1.p
 124 GRP143-1.p
 125 GRP145-1.p
 126 GRP152-1.p
 127 GRP188-1.p
 128 GRP485-1.p
 129 GRP510-1.p
 130 GRP577-1.p
 131 LCL161-1.p
 132 GRP518-1.p
 133 GRP520-1.p
 134 BOO003-4.p
 135 BOO004-4.p
 136 GRP514-1.p
 137 GRP516-1.p
 138 GRP574-1.p
 139 GRP586-1.p
 140 LDA007-3.p
 141 BOO005-4.p
 142 COL014-1.p
 143 GRP139-1.p
 144 GRP141-1.p
 145 BOO005-2.p
 146 GRP497-1.p
 147 GRP512-1.p
 148 GRP561-1.p
 149 GRP564-1.p
 150 GRP582-1.p
 151 LCL164-1.p
 152 GRP590-1.p
 153 GRP595-1.p
 154 GRP146-1.p
 155 GRP149-1.p
 156 GRP162-1.p
 157 GRP576-1.p
 158 RNG024-6.p
 159 GRP157-1.p
 160 GRP163-1.p
 161 GRP456-1.p
 162 RNG008-4.p
 163 RNG023-6.p
 164 GRP459-1.p
 165 GRP578-1.p
 166 BOO017-2.p
 167 GRP159-1.p
 168 GRP186-3.p
 169 GRP192-1.p
 170 GRP560-1.p
 171 GRP598-1.p
 172 GRP543-1.p
 173 BOO016-2.p
 174 GRP158-1.p
 175 GRP186-4.p
 176 GRP572-1.p
 177 GRP592-1.p
 178 RNG011-5.p
 179 GRP495-1.p
 180 GRP596-1.p
 181 GRP614-1.p
 182 LCL156-1.p
 183 LCL110-2.p
 184 LCL154-1.p
 185 LCL157-1.p
 186 GRP154-1.p
 187 GRP616-1.p
 188 LCL112-2.p
 189 LCL140-1.p
 190 GRP168-1.p
 191 GRP612-1.p
 192 LCL113-2.p
 193 BOO009-4.p
 194 GRP116-1.p
 195 LCL155-1.p
 196 RNG023-7.p
 197 RNG024-7.p
 198 GRP600-1.p
 199 LCL153-1.p
 200 LCL158-1.p
 201 GRP498-1.p
 202 COL021-1.p
 203 GRP155-1.p
 204 GRP176-2.p
 205 LCL139-1.p
 206 GRP486-1.p
 207 GRP606-1.p
 208 LCL114-2.p
 209 BOO013-2.p
 210 GRP156-1.p
 211 GRP176-1.p
 212 LAT045-1.p
 213 GRP168-2.p
 214 GRP608-1.p
 215 GRP551-1.p
 216 GRP588-1.p
 217 LAT039-1.p
 218 LAT039-2.p
 219 GRP584-1.p
 220 BOO012-2.p
 221 GRP568-1.p
 222 GRP492-1.p
 223 GRP602-1.p
 224 GRP603-1.p
 225 GRP467-1.p
 226 GRP613-1.p
 227 GRP547-1.p
 228 BOO012-4.p
 229 GRP580-1.p
 230 GRP597-1.p
 231 GRP517-1.p
 232 BOO075-1.p
 233 LCL115-2.p
 234 LCL141-1.p
 235 GRP605-1.p
 236 GRP515-1.p
 237 GRP509-1.p
 238 GRP604-1.p
 239 GRP513-1.p
 240 GRP556-1.p
 241 BOO013-4.p
 242 GRP615-1.p
 243 BOO001-1.p
 244 GRP488-1.p
 245 GRP583-1.p
 246 GRP511-1.p
 247 LAT008-1.p
 248 BOO069-1.p
 249 ROB009-1.p
 250 BOO071-1.p
 251 GRP567-1.p
 252 BOO034-1.p
 253 LAT040-1.p
 254 GRP599-1.p
 255 COL010-1.p