matita/tests/TPTP/elenco_problemi_rating0_ancora_da_risolvere.txt

   1 Unsatisfiable/COL023-1.ma
   2 Unsatisfiable/COL027-1.ma
   3 Unsatisfiable/COL052-1.ma
   4 Unsatisfiable/COL059-1.ma
   5 Unsatisfiable/GRP195-1.ma
   6 Unsatisfiable/GRP406-1.ma
   7 Unsatisfiable/GRP407-1.ma
   8 Unsatisfiable/GRP408-1.ma
   9 Unsatisfiable/GRP415-1.ma
  10 Unsatisfiable/LAT010-1.ma
  11 Unsatisfiable/LAT019-1.ma
  12 Unsatisfiable/LAT021-1.ma
  13 Unsatisfiable/LCL162-1.ma