components/tptp_grafite/hne_problems

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