Update eligible problem list (now sorted)

diff --git a/helm/software/components/binaries/matitaprover/eligible_unit_equality_problems b/helm/software/components/binaries/matitaprover/eligible_unit_equality_problems
index 75568e133b0c419cb0145e4438501f1f58b69d93..46a69ebfbb227fff84e69a778ce8e4c47205bc1a 100644 (file)
--- a/helm/software/components/binaries/matitaprover/eligible_unit_equality_problems
+++ b/helm/software/components/binaries/matitaprover/eligible_unit_equality_problems
@@ -1,42 +1,148 @@
 BOO007-2.p
 BOO007-4.p
+BOO019-1.p
+BOO023-1.p
+BOO030-1.p
 BOO031-1.p
+BOO032-1.p
+BOO033-1.p
+BOO034-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-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
 COL011-1.p
 COL034-1.p
+COL036-1.p
 COL037-1.p
+COL038-1.p
 COL041-1.p
+COL042-1.p
+COL043-1.p
+COL043-3.p
 COL044-1.p
+COL044-6.p
+COL044-7.p
+COL044-8.p
+COL044-9.p
+COL046-1.p
+COL047-1.p
 COL049-1.p
 COL057-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
 GRP014-1.p
+GRP024-5.p
+GRP114-1.p
+GRP164-1.p
+GRP164-2.p
 GRP167-1.p
 GRP167-2.p
+GRP167-3.p
+GRP167-4.p
+GRP177-1.p
+GRP177-2.p
 GRP178-1.p
 GRP178-2.p
+GRP179-1.p
+GRP179-2.p
+GRP179-3.p
+GRP180-1.p
+GRP180-2.p
+GRP181-1.p
+GRP181-2.p
 GRP181-3.p
+GRP181-4.p
+GRP183-1.p
+GRP183-2.p
+GRP183-3.p
+GRP183-4.p
+GRP184-1.p
 GRP184-2.p
+GRP184-3.p
 GRP185-1.p
 GRP185-2.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
+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
+GRP420-1.p
 GRP422-1.p
 GRP423-1.p
 GRP429-1.p
 GRP444-1.p
 GRP452-1.p
+GRP453-1.p
 GRP469-1.p
 GRP470-1.p
 GRP471-1.p
@@ -46,53 +152,16 @@ GRP477-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
+LAT017-1.p
+LAT018-1.p
+LAT020-1.p
 LAT024-1.p
 LAT025-1.p
 LAT046-1.p
@@ -102,10 +171,36 @@ LAT049-1.p
 LAT050-1.p
 LAT051-1.p
 LAT052-1.p
+LAT053-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
 LAT098-1.p
+LAT099-1.p
 LAT100-1.p
 LAT101-1.p
 LAT102-1.p
@@ -116,6 +211,7 @@ LAT106-1.p
 LAT107-1.p
 LAT108-1.p
 LAT109-1.p
+LAT110-1.p
 LAT111-1.p
 LAT112-1.p
 LAT113-1.p
@@ -123,6 +219,7 @@ LAT114-1.p
 LAT115-1.p
 LAT116-1.p
 LAT117-1.p
+LAT118-1.p
 LAT119-1.p
 LAT120-1.p
 LAT121-1.p
@@ -142,100 +239,71 @@ LAT134-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
 LAT171-1.p
+LAT172-1.p
+LAT173-1.p
+LAT174-1.p
+LAT175-1.p
+LAT176-1.p
+LAT177-1.p
+LCL109-2.p
 LCL136-1.p
 LCL137-1.p
+LCL138-1.p
+LCL159-1.p
+LCL160-1.p
 LCL165-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
+RNG021-6.p
 RNG021-7.p
 RNG025-4.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
 RNG025-5.p
+RNG025-6.p
 RNG025-7.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
+RNG025-8.p
+RNG025-9.p
 RNG026-6.p
 RNG026-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
@@ -247,97 +315,29 @@ RNG028-9.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
 RNG030-6.p
 RNG030-7.p
+RNG031-6.p
+RNG031-7.p
 RNG032-6.p
 RNG032-7.p
 RNG033-6.p
 RNG033-7.p
 RNG033-8.p
 RNG033-9.p
+RNG035-7.p
 RNG036-7.p
 ROB001-1.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
+ROB026-1.p
 ROB027-1.p
 ROB031-1.p
 ROB032-1.p
+SYN305-1.p