components/tptp_grafite/heq_problems

   1 ANA003-1
   2 ANA004-1
   3 ANA005-1
   4 CAT018-4
   5 COL003-10
   6 COL003-2
   7 COL003-3
   8 COL003-4
   9 COL003-5
  10 COL003-6
  11 COL003-7
  12 COL003-8
  13 COL003-9
  14 COL006-2
  15 COL006-3
  16 COL006-4
  17 COL042-2
  18 COL042-3
  19 COL042-4
  20 COL042-5
  21 COL043-2
  22 COL044-2
  23 COL044-3
  24 COL044-4
  25 COL044-5
  26 HWC002-1
  27 HWC003-1
  28 HWC003-2
  29 HWV002-1
  30 HWV003-1
  31 HWV004-1
  32 LAT001-1
  33 LAT002-1
  34 LAT041-1
  35 LCL109-4
  36 LCL149-1
  37 LCL150-1
  38 LCL152-1
  39 LCL181-3
  40 LCL191-3
  41 LCL192-3
  42 LCL193-3
  43 LCL194-3
  44 LCL195-3
  45 LCL208-3
  46 LCL213-3
  47 LCL214-3
  48 LCL215-3
  49 LCL216-3
  50 LCL217-3
  51 LCL220-3
  52 LCL221-3
  53 LCL222-3
  54 LCL223-3
  55 LCL224-3
  56 LCL225-3
  57 LCL227-3
  58 LCL229-3
  59 LCL230-3
  60 LCL231-3
  61 LCL242-3
  62 LCL243-3
  63 LCL245-3
  64 LCL246-3
  65 LCL247-3
  66 LCL249-3
  67 LCL251-3
  68 LCL252-3
  69 LCL253-3
  70 LCL254-3
  71 LCL255-3
  72 LCL260-3
  73 LCL262-3
  74 LCL263-3
  75 LCL264-3
  76 LCL265-3
  77 LCL266-3
  78 LCL269-3
  79 LCL270-3
  80 LCL271-3
  81 LCL272-3
  82 LCL273-3
  83 LCL274-3
  84 LCL275-3
  85 LCL276-3
  86 LCL277-3
  87 LCL278-3
  88 LCL281-3
  89 LCL282-3
  90 LCL283-3
  91 LCL284-3
  92 LCL285-3
  93 LCL286-3
  94 LCL289-3
  95 LCL293-3
  96 LCL295-3
  97 LCL298-3
  98 LCL299-3
  99 LCL300-3
 100 LCL302-3
 101 LCL303-3
 102 LCL304-3
 103 LCL305-3
 104 LCL306-3
 105 LCL307-3
 106 LCL308-3
 107 LCL309-3
 108 LCL310-3
 109 LCL311-3
 110 LCL312-3
 111 LCL313-3
 112 LCL314-3
 113 LCL315-3
 114 LCL316-3
 115 LCL319-3
 116 LCL324-3
 117 LCL325-3
 118 LCL327-3
 119 LCL328-3
 120 LCL329-3
 121 LCL330-3
 122 LCL331-3
 123 LCL332-3
 124 LCL334-3
 125 LCL335-3
 126 LCL336-3
 127 LCL337-3
 128 LCL339-3
 129 LCL340-3
 130 LCL341-3
 131 LCL344-3
 132 LCL345-3
 133 LCL346-3
 134 LCL347-3
 135 LCL348-3
 136 LCL349-3
 137 LCL351-3
 138 LCL353-3
 139 LDA004-1
 140 ROB014-1
 141 ROB015-2
 142 ROB018-1