From: denes Date: Wed, 29 Jul 2009 16:50:34 +0000 (+0000) Subject: Update eligible problem list (now sorted) X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=befd0e7820308a9a09d3499c8131e26578efc462 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 75568e133..46a69ebfb 100644 --- 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