helm/software/components/binaries/matitaprover/eligible_unit_equality_problems

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