matita/tests/TPTP/hne_problems.txt

   1 Unsatisfiable/ANA003-2.ma
   2 Unsatisfiable/LCL001-1.ma
   3 Unsatisfiable/LCL002-1.ma
   4 Unsatisfiable/LCL005-1.ma
   5 Unsatisfiable/LCL019-1.ma
   6 Unsatisfiable/LCL020-1.ma
   7 Unsatisfiable/LCL021-1.ma
   8 Unsatisfiable/LCL024-1.ma
   9 Unsatisfiable/LCL032-1.ma
  10 Unsatisfiable/LCL037-1.ma
  11 Unsatisfiable/LCL038-1.ma
  12 Unsatisfiable/LCL061-1.ma
  13 Unsatisfiable/LCL062-1.ma
  14 Unsatisfiable/LCL063-1.ma
  15 Unsatisfiable/LCL074-1.ma
  16 Unsatisfiable/LCL084-2.ma
  17 Unsatisfiable/LCL084-3.ma
  18 Unsatisfiable/LCL085-1.ma
  19 Unsatisfiable/LCL105-1.ma
  20 Unsatisfiable/LCL119-1.ma
  21 Unsatisfiable/LCL122-1.ma
  22 Unsatisfiable/LCL124-1.ma
  23 Unsatisfiable/LCL125-1.ma
  24 Unsatisfiable/LCL166-1.ma
  25 Unsatisfiable/LCL167-1.ma
  26 Unsatisfiable/LCL218-1.ma
  27 Unsatisfiable/LCL227-1.ma
  28 Unsatisfiable/LCL230-1.ma
  29 Unsatisfiable/LCL231-1.ma
  30 Unsatisfiable/LCL249-1.ma
  31 Unsatisfiable/LCL253-1.ma
  32 Unsatisfiable/LCL369-1.ma
  33 Unsatisfiable/LCL375-1.ma
  34 Unsatisfiable/LCL377-1.ma
  35 Unsatisfiable/LCL393-1.ma
  36 Unsatisfiable/LCL394-1.ma
  37 Unsatisfiable/LCL395-1.ma
  38 Unsatisfiable/LCL423-1.ma
  39 Unsatisfiable/LCL425-1.ma
  40 Unsatisfiable/NUM017-1.ma
  41 Unsatisfiable/PLA001-1.ma
  42 Unsatisfiable/PLA004-1.ma
  43 Unsatisfiable/PLA004-2.ma
  44 Unsatisfiable/PLA005-1.ma
  45 Unsatisfiable/PLA005-2.ma
  46 Unsatisfiable/PLA007-1.ma
  47 Unsatisfiable/PLA008-1.ma
  48 Unsatisfiable/PLA009-1.ma
  49 Unsatisfiable/PLA009-2.ma
  50 Unsatisfiable/PLA010-1.ma
  51 Unsatisfiable/PLA011-1.ma
  52 Unsatisfiable/PLA011-2.ma
  53 Unsatisfiable/PLA012-1.ma
  54 Unsatisfiable/PLA013-1.ma
  55 Unsatisfiable/PLA014-1.ma
  56 Unsatisfiable/PLA014-2.ma
  57 Unsatisfiable/PLA015-1.ma
  58 Unsatisfiable/PLA016-1.ma
  59 Unsatisfiable/PLA018-1.ma
  60 Unsatisfiable/PLA019-1.ma
  61 Unsatisfiable/PLA021-1.ma
  62 Unsatisfiable/PLA023-1.ma
  63 Unsatisfiable/PUZ039-1.ma
  64 Unsatisfiable/PUZ040-1.ma
  65 Unsatisfiable/PUZ042-1.ma
  66 Unsatisfiable/PUZ050-1.ma
  67 Unsatisfiable/RNG001-2.ma
  68 Unsatisfiable/RNG004-3.ma
  69 Unsatisfiable/SWV014-1.ma
  70 Unsatisfiable/SYN556-1.ma
  71 Unsatisfiable/SYN598-1.ma
  72 Unsatisfiable/SYN599-1.ma
  73 Unsatisfiable/SYN600-1.ma
  74 Unsatisfiable/SYN614-1.ma
  75 Unsatisfiable/SYN615-1.ma
  76 Unsatisfiable/SYN617-1.ma
  77 Unsatisfiable/SYN628-1.ma
  78 Unsatisfiable/SYN631-1.ma
  79 Unsatisfiable/SYN639-1.ma
  80 Unsatisfiable/SYN640-1.ma
  81 Unsatisfiable/SYN646-1.ma
  82 Unsatisfiable/SYN647-1.ma
  83 Unsatisfiable/SYN649-1.ma
  84 Unsatisfiable/SYN653-1.ma
  85 Unsatisfiable/SYN654-1.ma
  86 Unsatisfiable/SYN655-1.ma
  87 Unsatisfiable/SYN704-1.ma
  88 Unsatisfiable/SYN707-1.ma
  89 Unsatisfiable/SYN708-1.ma
  90 Unsatisfiable/SYN711-1.ma