matita/tests/TPTP/elenco_CASC.txt

   1 Unsatisfiable/BOO023-1.ma
   2 Unsatisfiable/BOO073-1.ma
   3 Unsatisfiable/COL002-5.ma
   4 Unsatisfiable/COL004-1.ma
   5 Unsatisfiable/COL006-1.ma
   6 Unsatisfiable/COL006-6.ma
   7 Unsatisfiable/COL006-7.ma
   8 Unsatisfiable/COL034-1.ma
   9 Unsatisfiable/COL036-1.ma
  10 Unsatisfiable/COL041-1.ma
  11 Unsatisfiable/COL042-1.ma
  12 Unsatisfiable/COL043-3.ma
  13 Unsatisfiable/COL044-1.ma
  14 Unsatisfiable/COL044-9.ma
  15 Unsatisfiable/COL046-1.ma
  16 Unsatisfiable/COL049-1.ma
  17 Unsatisfiable/COL060-1.ma
  18 Unsatisfiable/COL061-1.ma
  19 Unsatisfiable/COL064-1.ma
  20 Unsatisfiable/COL066-1.ma
  21 Unsatisfiable/GRP114-1.ma
  22 Unsatisfiable/GRP167-4.ma
  23 Unsatisfiable/GRP177-2.ma
  24 Unsatisfiable/GRP179-1.ma
  25 Unsatisfiable/GRP179-2.ma
  26 Unsatisfiable/GRP179-3.ma
  27 Unsatisfiable/GRP180-1.ma
  28 Unsatisfiable/GRP181-1.ma
  29 Unsatisfiable/GRP181-3.ma
  30 Unsatisfiable/GRP183-1.ma
  31 Unsatisfiable/GRP183-3.ma
  32 Unsatisfiable/GRP183-4.ma
  33 Unsatisfiable/GRP184-1.ma
  34 Unsatisfiable/GRP184-3.ma
  35 Unsatisfiable/GRP186-1.ma
  36 Unsatisfiable/GRP186-2.ma
  37 Unsatisfiable/GRP196-1.ma
  38 Unsatisfiable/GRP200-1.ma
  39 Unsatisfiable/GRP201-1.ma
  40 Unsatisfiable/GRP205-1.ma
  41 Unsatisfiable/GRP405-1.ma
  42 Unsatisfiable/GRP410-1.ma
  43 Unsatisfiable/GRP419-10.ma
  44 Unsatisfiable/GRP422-1.ma
  45 Unsatisfiable/GRP423-1.ma
  46 Unsatisfiable/GRP444-1.ma
  47 Unsatisfiable/GRP475-1.ma
  48 Unsatisfiable/GRP476-1.ma
  49 Unsatisfiable/GRP505-1.ma
  50 Unsatisfiable/GRP506-1.ma
  51 Unsatisfiable/GRP508-1.ma
  52 Unsatisfiable/LAT080-1.ma
  53 Unsatisfiable/LAT081-1.ma
  54 Unsatisfiable/LAT083-1.ma
  55 Unsatisfiable/LAT084-1.ma
  56 Unsatisfiable/LAT086-1.ma
  57 Unsatisfiable/LAT087-1.ma
  58 Unsatisfiable/LAT092-1.ma
  59 Unsatisfiable/LAT093-1.ma
  60 Unsatisfiable/LAT094-1.ma
  61 Unsatisfiable/LAT096-1.ma
  62 Unsatisfiable/LAT145-1.ma
  63 Unsatisfiable/LAT147-1.ma
  64 Unsatisfiable/LAT148-1.ma
  65 Unsatisfiable/LAT151-1.ma
  66 Unsatisfiable/LAT152-1.ma
  67 Unsatisfiable/LAT154-10.ma
  68 Unsatisfiable/LAT156-1.ma
  69 Unsatisfiable/LAT160-1.ma
  70 Unsatisfiable/LAT162-1.ma
  71 Unsatisfiable/LAT164-1.ma
  72 Unsatisfiable/LAT165-1.ma
  73 Unsatisfiable/LAT169-1.ma
  74 Unsatisfiable/LCL138-1.ma
  75 Unsatisfiable/RNG009-5.ma
  76 Unsatisfiable/RNG009-7.ma
  77 Unsatisfiable/RNG019-6.ma
  78 Unsatisfiable/RNG020-6.ma
  79 Unsatisfiable/RNG021-7.ma
  80 Unsatisfiable/RNG025-4.ma
  81 Unsatisfiable/RNG025-5.ma
  82 Unsatisfiable/RNG025-6.ma
  83 Unsatisfiable/RNG026-6.ma
  84 Unsatisfiable/RNG026-7.ma
  85 Unsatisfiable/RNG027-5.ma
  86 Unsatisfiable/RNG027-7.ma
  87 Unsatisfiable/RNG027-8.ma
  88 Unsatisfiable/RNG027-9.ma
  89 Unsatisfiable/RNG028-7.ma
  90 Unsatisfiable/RNG028-8.ma
  91 Unsatisfiable/RNG029-6.ma
  92 Unsatisfiable/RNG029-7.ma
  93 Unsatisfiable/RNG035-7.ma
  94 Unsatisfiable/ROB006-1.ma
  95 Unsatisfiable/GRP187-1.ma
  96 Unsatisfiable/LAT020-1.ma
  97 Unsatisfiable/GRP164-1.ma
  98 Unsatisfiable/BOO067-1.ma
  99 Unsatisfiable/LAT171-1.ma
 100 Unsatisfiable/LAT150-1.ma
 101 Unsatisfiable/BOO076-1.ma
 102 Unsatisfiable/LAT146-1.ma
 103 Unsatisfiable/LAT172-1.ma
 104 Unsatisfiable/LAT175-1.ma
 105 Unsatisfiable/LAT144-1.ma
 106 Unsatisfiable/LAT157-1.ma
 107 Unsatisfiable/LAT155-1.ma
 108 Unsatisfiable/LAT158-1.ma
 109 Unsatisfiable/LAT166-1.ma
 110 Unsatisfiable/LAT153-1.ma
 111 Unsatisfiable/LAT174-1.ma
 112 Unsatisfiable/LAT142-1.ma
 113 Unsatisfiable/LAT173-1.ma
 114 Unsatisfiable/LAT167-1.ma
 115 Unsatisfiable/LAT163-1.ma
 116 Unsatisfiable/LAT176-1.ma
 117 Unsatisfiable/LAT159-1.ma
 118 Unsatisfiable/LAT149-1.ma
 119 Unsatisfiable/LAT170-1.ma