helm/software/components/binaries/matitaprover/eligible_unit_equality_problems

   1 BOO007-2.p
   2 BOO007-4.p
   3 BOO019-1.p
   4 BOO023-1.p
   5 BOO030-1.p
   6 BOO031-1.p
   7 BOO032-1.p
   8 BOO033-1.p
   9 BOO034-1.p
  10 BOO072-1.p
  11 BOO073-1.p
  12 BOO074-1.p
  13 BOO076-1.p
  14 BOO077-1.p
  15 BOO078-1.p
  16 BOO079-1.p
  17 BOO080-1.p
  18 BOO081-1.p
  19 BOO082-1.p
  20 BOO083-1.p
  21 BOO084-1.p
  22 BOO085-1.p
  23 BOO086-1.p
  24 BOO087-1.p
  25 BOO088-1.p
  26 BOO089-1.p
  27 BOO090-1.p
  28 BOO091-1.p
  29 BOO092-1.p
  30 BOO093-1.p
  31 BOO094-1.p
  32 BOO095-1.p
  33 BOO096-1.p
  34 BOO097-1.p
  35 BOO098-1.p
  36 BOO099-1.p
  37 BOO100-1.p
  38 BOO101-1.p
  39 BOO102-1.p
  40 BOO103-1.p
  41 BOO104-1.p
  42 BOO105-1.p
  43 BOO106-1.p
  44 BOO107-1.p
  45 BOO108-1.p
  46 COL003-12.p
  47 COL003-17.p
  48 COL003-18.p
  49 COL003-19.p
  50 COL003-1.p
  51 COL003-20.p
  52 COL004-1.p
  53 COL004-3.p
  54 COL005-1.p
  55 COL006-1.p
  56 COL006-5.p
  57 COL006-6.p
  58 COL006-7.p
  59 COL011-1.p
  60 COL034-1.p
  61 COL036-1.p
  62 COL037-1.p
  63 COL038-1.p
  64 COL041-1.p
  65 COL042-1.p
  66 COL043-1.p
  67 COL043-3.p
  68 COL044-1.p
  69 COL044-6.p
  70 COL044-7.p
  71 COL044-8.p
  72 COL044-9.p
  73 COL046-1.p
  74 COL047-1.p
  75 COL049-1.p
  76 COL057-1.p
  77 COL060-1.p
  78 COL061-1.p
  79 COL062-1.p
  80 COL063-1.p
  81 COL064-1.p
  82 COL065-1.p
  83 COL066-1.p
  84 COL067-1.p
  85 COL068-1.p
  86 COL069-1.p
  87 COL071-1.p
  88 COL073-1.p
  89 COL087-1.p
  90 GRP014-1.p
  91 GRP024-5.p
  92 GRP114-1.p
  93 GRP164-1.p
  94 GRP164-2.p
  95 GRP167-1.p
  96 GRP167-2.p
  97 GRP167-3.p
  98 GRP167-4.p
  99 GRP177-1.p
 100 GRP177-2.p
 101 GRP178-1.p
 102 GRP178-2.p
 103 GRP179-1.p
 104 GRP179-2.p
 105 GRP179-3.p
 106 GRP180-1.p
 107 GRP180-2.p
 108 GRP181-1.p
 109 GRP181-2.p
 110 GRP181-3.p
 111 GRP181-4.p
 112 GRP183-1.p
 113 GRP183-2.p
 114 GRP183-3.p
 115 GRP183-4.p
 116 GRP184-1.p
 117 GRP184-2.p
 118 GRP184-3.p
 119 GRP185-1.p
 120 GRP185-2.p
 121 GRP185-3.p
 122 GRP185-4.p
 123 GRP186-1.p
 124 GRP186-2.p
 125 GRP187-1.p
 126 GRP196-1.p
 127 GRP200-1.p
 128 GRP201-1.p
 129 GRP202-1.p
 130 GRP204-1.p
 131 GRP205-1.p
 132 GRP207-1.p
 133 GRP399-1.p
 134 GRP404-1.p
 135 GRP405-1.p
 136 GRP410-1.p
 137 GRP411-1.p
 138 GRP419-1.p
 139 GRP420-1.p
 140 GRP422-1.p
 141 GRP423-1.p
 142 GRP429-1.p
 143 GRP444-1.p
 144 GRP452-1.p
 145 GRP453-1.p
 146 GRP469-1.p
 147 GRP470-1.p
 148 GRP471-1.p
 149 GRP475-1.p
 150 GRP476-1.p
 151 GRP477-1.p
 152 GRP478-1.p
 153 GRP479-1.p
 154 GRP480-1.p
 155 GRP505-1.p
 156 GRP506-1.p
 157 GRP507-1.p
 158 GRP508-1.p
 159 HWC004-1.p
 160 LAT007-1.p
 161 LAT016-1.p
 162 LAT017-1.p
 163 LAT018-1.p
 164 LAT020-1.p
 165 LAT024-1.p
 166 LAT025-1.p
 167 LAT046-1.p
 168 LAT047-1.p
 169 LAT048-1.p
 170 LAT049-1.p
 171 LAT050-1.p
 172 LAT051-1.p
 173 LAT052-1.p
 174 LAT053-1.p
 175 LAT054-1.p
 176 LAT062-1.p
 177 LAT063-1.p
 178 LAT070-1.p
 179 LAT071-1.p
 180 LAT072-1.p
 181 LAT073-1.p
 182 LAT074-1.p
 183 LAT075-1.p
 184 LAT076-1.p
 185 LAT077-1.p
 186 LAT078-1.p
 187 LAT079-1.p
 188 LAT080-1.p
 189 LAT081-1.p
 190 LAT082-1.p
 191 LAT083-1.p
 192 LAT084-1.p
 193 LAT085-1.p
 194 LAT086-1.p
 195 LAT087-1.p
 196 LAT092-1.p
 197 LAT093-1.p
 198 LAT094-1.p
 199 LAT095-1.p
 200 LAT096-1.p
 201 LAT097-1.p
 202 LAT098-1.p
 203 LAT099-1.p
 204 LAT100-1.p
 205 LAT101-1.p
 206 LAT102-1.p
 207 LAT103-1.p
 208 LAT104-1.p
 209 LAT105-1.p
 210 LAT106-1.p
 211 LAT107-1.p
 212 LAT108-1.p
 213 LAT109-1.p
 214 LAT110-1.p
 215 LAT111-1.p
 216 LAT112-1.p
 217 LAT113-1.p
 218 LAT114-1.p
 219 LAT115-1.p
 220 LAT116-1.p
 221 LAT117-1.p
 222 LAT118-1.p
 223 LAT119-1.p
 224 LAT120-1.p
 225 LAT121-1.p
 226 LAT122-1.p
 227 LAT123-1.p
 228 LAT124-1.p
 229 LAT125-1.p
 230 LAT126-1.p
 231 LAT127-1.p
 232 LAT128-1.p
 233 LAT129-1.p
 234 LAT130-1.p
 235 LAT131-1.p
 236 LAT132-1.p
 237 LAT133-1.p
 238 LAT134-1.p
 239 LAT135-1.p
 240 LAT136-1.p
 241 LAT137-1.p
 242 LAT138-1.p
 243 LAT139-1.p
 244 LAT140-1.p
 245 LAT141-1.p
 246 LAT142-1.p
 247 LAT144-1.p
 248 LAT145-1.p
 249 LAT146-1.p
 250 LAT147-1.p
 251 LAT148-1.p
 252 LAT149-1.p
 253 LAT150-1.p
 254 LAT151-1.p
 255 LAT152-1.p
 256 LAT153-1.p
 257 LAT154-1.p
 258 LAT155-1.p
 259 LAT156-1.p
 260 LAT157-1.p
 261 LAT158-1.p
 262 LAT159-1.p
 263 LAT160-1.p
 264 LAT161-1.p
 265 LAT162-1.p
 266 LAT163-1.p
 267 LAT164-1.p
 268 LAT165-1.p
 269 LAT166-1.p
 270 LAT167-1.p
 271 LAT168-1.p
 272 LAT169-1.p
 273 LAT170-1.p
 274 LAT171-1.p
 275 LAT172-1.p
 276 LAT173-1.p
 277 LAT174-1.p
 278 LAT175-1.p
 279 LAT176-1.p
 280 LAT177-1.p
 281 LCL109-2.p
 282 LCL136-1.p
 283 LCL137-1.p
 284 LCL138-1.p
 285 LCL159-1.p
 286 LCL160-1.p
 287 LCL165-1.p
 288 RNG009-5.p
 289 RNG009-7.p
 290 RNG010-5.p
 291 RNG010-6.p
 292 RNG010-7.p
 293 RNG019-6.p
 294 RNG019-7.p
 295 RNG020-6.p
 296 RNG020-7.p
 297 RNG021-6.p
 298 RNG021-7.p
 299 RNG025-4.p
 300 RNG025-5.p
 301 RNG025-6.p
 302 RNG025-7.p
 303 RNG025-8.p
 304 RNG025-9.p
 305 RNG026-6.p
 306 RNG026-7.p
 307 RNG027-5.p
 308 RNG027-7.p
 309 RNG027-8.p
 310 RNG027-9.p
 311 RNG028-5.p
 312 RNG028-7.p
 313 RNG028-8.p
 314 RNG028-9.p
 315 RNG029-5.p
 316 RNG029-6.p
 317 RNG029-7.p
 318 RNG030-6.p
 319 RNG030-7.p
 320 RNG031-6.p
 321 RNG031-7.p
 322 RNG032-6.p
 323 RNG032-7.p
 324 RNG033-6.p
 325 RNG033-7.p
 326 RNG033-8.p
 327 RNG033-9.p
 328 RNG035-7.p
 329 RNG036-7.p
 330 ROB001-1.p
 331 ROB005-1.p
 332 ROB006-1.p
 333 ROB006-2.p
 334 ROB007-1.p
 335 ROB007-2.p
 336 ROB020-1.p
 337 ROB020-2.p
 338 ROB024-1.p
 339 ROB026-1.p
 340 ROB027-1.p
 341 ROB031-1.p
 342 ROB032-1.p
 343 SYN305-1.p