]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/binaries/matitaprover/eligible_unit_equality_problems
+BOO019-1.p
+BOO023-1.p
+BOO030-1.p
+BOO032-1.p
+BOO033-1.p
+BOO034-1.p
BOO072-1.p
BOO073-1.p
BOO074-1.p
BOO072-1.p
BOO073-1.p
BOO074-1.p
+BOO076-1.p
+BOO077-1.p
+BOO078-1.p
+BOO079-1.p
+BOO080-1.p
+BOO081-1.p
+BOO082-1.p
+BOO083-1.p
+BOO084-1.p
+BOO085-1.p
+BOO086-1.p
+BOO087-1.p
+BOO088-1.p
+BOO089-1.p
+BOO090-1.p
+BOO091-1.p
+BOO092-1.p
+BOO093-1.p
+BOO094-1.p
+BOO095-1.p
+BOO096-1.p
+BOO097-1.p
+BOO098-1.p
+BOO099-1.p
+BOO100-1.p
+BOO101-1.p
+BOO102-1.p
+BOO103-1.p
+BOO104-1.p
+BOO105-1.p
+BOO106-1.p
+BOO107-1.p
+BOO108-1.p
COL003-12.p
COL003-17.p
COL003-18.p
COL003-19.p
COL003-12.p
COL003-17.p
COL003-18.p
COL003-19.p
+COL003-1.p
+COL003-20.p
+COL004-1.p
+COL004-3.p
+COL005-1.p
+COL006-1.p
+COL006-5.p
+COL006-6.p
+COL006-7.p
+COL042-1.p
+COL043-1.p
+COL043-3.p
+COL044-6.p
+COL044-7.p
+COL044-8.p
+COL044-9.p
+COL046-1.p
+COL047-1.p
+COL060-1.p
+COL061-1.p
+COL062-1.p
+COL063-1.p
+COL064-1.p
+COL065-1.p
+COL066-1.p
+COL067-1.p
+COL068-1.p
+COL069-1.p
+COL071-1.p
+COL073-1.p
+COL087-1.p
+GRP024-5.p
+GRP114-1.p
+GRP164-1.p
+GRP164-2.p
+GRP167-3.p
+GRP167-4.p
+GRP177-1.p
+GRP177-2.p
+GRP179-1.p
+GRP179-2.p
+GRP179-3.p
+GRP180-1.p
+GRP180-2.p
+GRP181-1.p
+GRP181-2.p
+GRP181-4.p
+GRP183-1.p
+GRP183-2.p
+GRP183-3.p
+GRP183-4.p
+GRP184-1.p
+GRP185-3.p
+GRP185-4.p
+GRP186-1.p
+GRP186-2.p
+GRP187-1.p
+GRP196-1.p
GRP200-1.p
GRP201-1.p
GRP202-1.p
GRP200-1.p
GRP201-1.p
GRP202-1.p
+GRP204-1.p
+GRP205-1.p
+GRP207-1.p
+GRP399-1.p
GRP404-1.p
GRP405-1.p
GRP410-1.p
GRP411-1.p
GRP419-1.p
GRP404-1.p
GRP405-1.p
GRP410-1.p
GRP411-1.p
GRP419-1.p
GRP422-1.p
GRP423-1.p
GRP429-1.p
GRP444-1.p
GRP452-1.p
GRP422-1.p
GRP423-1.p
GRP429-1.p
GRP444-1.p
GRP452-1.p
GRP469-1.p
GRP470-1.p
GRP471-1.p
GRP469-1.p
GRP470-1.p
GRP471-1.p
GRP478-1.p
GRP479-1.p
GRP480-1.p
GRP478-1.p
GRP479-1.p
GRP480-1.p
-LAT168-1.p
-LCL109-2.p
-LCL138-1.p
-LCL159-1.p
-RNG019-6.p
-RNG021-6.p
-RNG025-6.p
-ROB005-1.p
-BOO019-1.p
-BOO030-1.p
-BOO032-1.p
-BOO033-1.p
-COL003-20.p
-COL004-3.p
-COL005-1.p
-COL038-1.p
-COL046-1.p
-COL047-1.p
-COL060-1.p
-COL061-1.p
-COL062-1.p
-COL071-1.p
-COL073-1.p
-GRP024-5.p
-GRP114-1.p
-GRP167-4.p
-GRP177-2.p
-GRP179-3.p
-GRP180-2.p
-GRP181-4.p
-GRP183-1.p
-GRP183-3.p
-GRP183-4.p
-GRP184-1.p
-GRP184-3.p
-GRP185-3.p
-GRP185-4.p
-GRP186-2.p
-GRP204-1.p
-GRP205-1.p
-GRP207-1.p
-GRP399-1.p
-GRP420-1.p
-GRP453-1.p
+GRP505-1.p
+GRP506-1.p
+GRP507-1.p
+GRP508-1.p
HWC004-1.p
LAT007-1.p
LAT016-1.p
HWC004-1.p
LAT007-1.p
LAT016-1.p
+LAT017-1.p
+LAT018-1.p
+LAT020-1.p
LAT024-1.p
LAT025-1.p
LAT046-1.p
LAT024-1.p
LAT025-1.p
LAT046-1.p
LAT050-1.p
LAT051-1.p
LAT052-1.p
LAT050-1.p
LAT051-1.p
LAT052-1.p
LAT054-1.p
LAT062-1.p
LAT063-1.p
LAT054-1.p
LAT062-1.p
LAT063-1.p
+LAT070-1.p
+LAT071-1.p
+LAT072-1.p
+LAT073-1.p
+LAT074-1.p
+LAT075-1.p
+LAT076-1.p
+LAT077-1.p
+LAT078-1.p
+LAT079-1.p
+LAT080-1.p
+LAT081-1.p
+LAT082-1.p
+LAT083-1.p
+LAT084-1.p
+LAT085-1.p
+LAT086-1.p
+LAT087-1.p
+LAT092-1.p
+LAT093-1.p
+LAT094-1.p
+LAT095-1.p
+LAT096-1.p
+LAT097-1.p
LAT100-1.p
LAT101-1.p
LAT102-1.p
LAT100-1.p
LAT101-1.p
LAT102-1.p
LAT107-1.p
LAT108-1.p
LAT109-1.p
LAT107-1.p
LAT108-1.p
LAT109-1.p
LAT111-1.p
LAT112-1.p
LAT113-1.p
LAT111-1.p
LAT112-1.p
LAT113-1.p
LAT115-1.p
LAT116-1.p
LAT117-1.p
LAT115-1.p
LAT116-1.p
LAT117-1.p
LAT119-1.p
LAT120-1.p
LAT121-1.p
LAT119-1.p
LAT120-1.p
LAT121-1.p
LAT135-1.p
LAT136-1.p
LAT137-1.p
LAT135-1.p
LAT136-1.p
LAT137-1.p
+LAT138-1.p
+LAT139-1.p
+LAT140-1.p
+LAT141-1.p
+LAT142-1.p
+LAT144-1.p
+LAT145-1.p
+LAT146-1.p
+LAT147-1.p
+LAT148-1.p
+LAT149-1.p
+LAT150-1.p
+LAT151-1.p
+LAT152-1.p
+LAT153-1.p
+LAT154-1.p
+LAT155-1.p
+LAT156-1.p
+LAT157-1.p
+LAT158-1.p
+LAT159-1.p
+LAT160-1.p
+LAT161-1.p
+LAT162-1.p
+LAT163-1.p
+LAT164-1.p
+LAT165-1.p
+LAT166-1.p
+LAT167-1.p
+LAT168-1.p
+LAT169-1.p
+LAT170-1.p
+LAT172-1.p
+LAT173-1.p
+LAT174-1.p
+LAT175-1.p
+LAT176-1.p
+LAT177-1.p
+LCL109-2.p
+LCL138-1.p
+LCL159-1.p
+LCL160-1.p
+RNG009-5.p
+RNG009-7.p
+RNG010-5.p
+RNG010-6.p
+RNG010-7.p
+RNG019-6.p
RNG019-7.p
RNG020-6.p
RNG020-7.p
RNG019-7.p
RNG020-6.p
RNG020-7.p
-RNG025-8.p
-RNG025-9.p
-BOO023-1.p
-BOO034-1.p
-COL004-1.p
-COL006-6.p
-COL036-1.p
-COL063-1.p
-GRP167-3.p
-GRP179-1.p
-GRP179-2.p
-GRP180-1.p
-GRP183-2.p
-GRP186-1.p
-LAT017-1.p
-LAT020-1.p
-COL006-1.p
-COL006-5.p
-COL006-7.p
-COL044-6.p
-COL044-7.p
-COL064-1.p
-COL065-1.p
-GRP181-1.p
-GRP181-2.p
-GRP187-1.p
-GRP505-1.p
-GRP507-1.p
-GRP508-1.p
-LAT080-1.p
-LAT083-1.p
-LAT092-1.p
-LAT093-1.p
-LAT094-1.p
-LAT095-1.p
-LAT096-1.p
-LAT097-1.p
-LAT146-1.p
-LAT148-1.p
-LAT156-1.p
-LAT160-1.p
-LCL160-1.p
-RNG009-5.p
-RNG009-7.p
-BOO076-1.p
-COL003-1.p
-COL042-1.p
-COL043-3.p
-COL044-8.p
-COL044-9.p
-GRP506-1.p
-LAT053-1.p
-LAT081-1.p
-LAT084-1.p
-LAT086-1.p
-LAT087-1.p
-LAT099-1.p
-LAT110-1.p
-LAT118-1.p
-LAT142-1.p
-LAT147-1.p
-LAT154-1.p
-LAT155-1.p
-LAT170-1.p
-RNG031-6.p
-RNG031-7.p
-SYN305-1.p
-COL043-1.p
-COL066-1.p
-LAT018-1.p
-LAT082-1.p
-LAT085-1.p
-LAT144-1.p
-LAT150-1.p
-LAT151-1.p
-LAT152-1.p
-LAT159-1.p
-LAT162-1.p
-LAT164-1.p
-LAT169-1.p
-LAT174-1.p
RNG027-5.p
RNG027-7.p
RNG027-8.p
RNG027-5.p
RNG027-7.p
RNG027-8.p
RNG029-5.p
RNG029-6.p
RNG029-7.p
RNG029-5.p
RNG029-6.p
RNG029-7.p
-ROB006-1.p
-ROB006-2.p
-ROB026-1.p
-GRP164-1.p
-GRP164-2.p
-GRP196-1.p
-LAT070-1.p
-LAT138-1.p
-LAT140-1.p
-LAT145-1.p
-LAT149-1.p
-LAT153-1.p
-LAT157-1.p
-LAT158-1.p
-LAT163-1.p
-LAT165-1.p
-LAT166-1.p
-LAT167-1.p
-LAT172-1.p
-LAT173-1.p
-LAT175-1.p
-LAT176-1.p
-RNG035-7.p
-BOO077-1.p
-BOO078-1.p
-BOO079-1.p
-BOO080-1.p
-BOO081-1.p
-BOO082-1.p
-BOO083-1.p
-BOO084-1.p
-BOO085-1.p
-BOO086-1.p
-BOO087-1.p
-BOO088-1.p
-BOO089-1.p
-BOO090-1.p
-BOO091-1.p
-BOO092-1.p
-BOO093-1.p
-BOO094-1.p
-BOO095-1.p
-BOO096-1.p
-BOO097-1.p
-BOO098-1.p
-BOO099-1.p
-BOO100-1.p
-BOO101-1.p
-BOO102-1.p
-BOO103-1.p
-BOO104-1.p
-BOO105-1.p
-BOO106-1.p
-BOO107-1.p
-BOO108-1.p
-COL067-1.p
-COL068-1.p
-COL069-1.p
-COL087-1.p
-GRP177-1.p
-LAT071-1.p
-LAT072-1.p
-LAT073-1.p
-LAT074-1.p
-LAT075-1.p
-LAT076-1.p
-LAT077-1.p
-LAT078-1.p
-LAT079-1.p
-LAT139-1.p
-LAT141-1.p
-LAT161-1.p
-LAT177-1.p
-RNG010-5.p
-RNG010-6.p
-RNG010-7.p
RNG032-6.p
RNG032-7.p
RNG033-6.p
RNG033-7.p
RNG033-8.p
RNG033-9.p
RNG032-6.p
RNG032-7.p
RNG033-6.p
RNG033-7.p
RNG033-8.p
RNG033-9.p
+ROB005-1.p
+ROB006-1.p
+ROB006-2.p
ROB007-1.p
ROB007-2.p
ROB020-1.p
ROB020-2.p
ROB024-1.p
ROB007-1.p
ROB007-2.p
ROB020-1.p
ROB020-2.p
ROB024-1.p
ROB027-1.p
ROB031-1.p
ROB032-1.p
ROB027-1.p
ROB031-1.p
ROB032-1.p