CASC-16 Very Similar Problems Groups
ALC
Translated modal logic problems.
SYN418+1 SYN418-1 SYN419+1 SYN419-1 SYN420+1 SYN420-1 SYN421+1 SYN421-1
SYN422+1 SYN422-1 SYN423+1 SYN423-1 SYN424+1 SYN424-1 SYN425+1 SYN425-1
SYN426+1 SYN426-1 SYN427+1 SYN427-1 SYN428+1 SYN428-1 SYN429+1 SYN429-1
SYN430+1 SYN430-1 SYN431+1 SYN431-1 SYN432+1 SYN432-1 SYN433+1 SYN433-1
SYN434+1 SYN434-1 SYN435+1 SYN435-1 SYN436+1 SYN436-1 SYN437+1 SYN437-1
SYN438+1 SYN438-1 SYN439+1 SYN439-1 SYN440+1 SYN440-1 SYN441+1 SYN441-1
SYN442+1 SYN442-1 SYN443+1 SYN443-1 SYN444+1 SYN444-1 SYN445+1 SYN445-1
SYN446+1 SYN446-1 SYN447+1 SYN447-1 SYN448+1 SYN448-1 SYN449+1 SYN449-1
SYN450+1 SYN450-1 SYN451+1 SYN451-1 SYN452+1 SYN452-1 SYN453+1 SYN453-1
SYN454+1 SYN454-1 SYN455+1 SYN455-1 SYN456+1 SYN456-1 SYN457+1 SYN457-1
SYN458+1 SYN458-1 SYN459+1 SYN459-1 SYN460+1 SYN460-1 SYN461+1 SYN461-1
SYN462+1 SYN462-1 SYN463+1 SYN463-1 SYN464+1 SYN464-1 SYN465+1 SYN465-1
SYN466+1 SYN466-1 SYN467+1 SYN467-1 SYN468+1 SYN468-1 SYN469+1 SYN469-1
SYN470+1 SYN470-1 SYN471+1 SYN471-1 SYN472+1 SYN472-1 SYN473+1 SYN473-1
SYN474+1 SYN474-1 SYN475+1 SYN475-1 SYN476+1 SYN476-1 SYN477+1 SYN477-1
SYN478+1 SYN478-1 SYN479+1 SYN479-1 SYN480+1 SYN480-1 SYN481+1 SYN481-1
SYN482+1 SYN482-1 SYN483+1 SYN483-1 SYN484+1 SYN484-1 SYN485+1 SYN485-1
SYN486+1 SYN486-1 SYN487+1 SYN487-1 SYN488+1 SYN488-1 SYN489+1 SYN489-1
SYN490+1 SYN490-1 SYN491+1 SYN491-1 SYN492+1 SYN492-1 SYN493+1 SYN493-1
SYN494+1 SYN494-1 SYN495+1 SYN495-1 SYN496+1 SYN496-1 SYN497+1 SYN497-1
SYN498+1 SYN498-1 SYN499+1 SYN499-1 SYN500+1 SYN500-1 SYN501+1 SYN501-1
SYN502+1 SYN502-1 SYN503+1 SYN503-1 SYN504+1 SYN504-1 SYN505+1 SYN505-1
SYN506+1 SYN506-1 SYN507+1 SYN507-1 SYN508+1 SYN508-1 SYN509+1 SYN509-1
SYN510+1 SYN510-1 SYN511+1 SYN511-1 SYN512+1 SYN512-1 SYN513+1 SYN513-1
SYN514+1 SYN514-1 SYN515+1 SYN515-1 SYN516+1 SYN516-1 SYN517+1 SYN517-1
SYN518+1 SYN518-1 SYN519+1 SYN519-1 SYN520+1 SYN520-1 SYN521+1 SYN521-1
SYN522+1 SYN522-1 SYN523+1 SYN523-1 SYN524+1 SYN524-1 SYN525+1 SYN525-1
SYN526+1 SYN526-1 SYN527+1 SYN527-1 SYN528+1 SYN528-1 SYN529+1 SYN529-1
SYN530+1 SYN530-1 SYN531+1 SYN531-1 SYN532+1 SYN532-1 SYN533+1 SYN533-1
SYN534+1 SYN534-1 SYN535+1 SYN535-1 SYN536+1 SYN536-1 SYN537+1 SYN537-1
SYN538+1 SYN538-1 SYN539+1 SYN539-1 SYN540+1 SYN540-1 SYN541+1 SYN541-1
SYN542+1 SYN542-1 SYN543+1 SYN543-1 SYN544+1 SYN544-1 SYN545+1 SYN545-1
SYN546+1 SYN546-1 SYN547+1 SYN547-1
CDE
Condensed detachment problems.
LCL001-1 LCL002-1 LCL003-1 LCL004-1 LCL005-1 LCL006-1 LCL007-1 LCL008-1
LCL009-1 LCL010-1 LCL011-1 LCL012-1 LCL013-1 LCL014-1 LCL015-1 LCL016-1
LCL017-1 LCL018-1 LCL019-1 LCL020-1 LCL021-1 LCL022-1 LCL023-1 LCL024-1
LCL025-1 LCL026-1 LCL027-1 LCL028-1 LCL029-1 LCL030-1 LCL031-1 LCL032-1
LCL033-1 LCL034-1 LCL035-1 LCL036-1 LCL037-1 LCL038-1 LCL039-1 LCL040-1
LCL041-1 LCL042-1 LCL043-1 LCL044-1 LCL045-1 LCL046-1 LCL047-1 LCL048-1
LCL049-1 LCL050-1 LCL051-1 LCL052-1 LCL053-1 LCL054-1 LCL055-1 LCL056-1
LCL057-1 LCL058-1 LCL059-1 LCL060-1 LCL061-1 LCL062-1 LCL063-1 LCL064-1
LCL064-2 LCL065-1 LCL066-1 LCL067-1 LCL068-1 LCL069-1 LCL070-1 LCL071-1
LCL072-1 LCL073-1 LCL074-1 LCL075-1 LCL076-1 LCL076-2 LCL076-3 LCL077-1
LCL077-2 LCL078-1 LCL079-1 LCL080-1 LCL080-2 LCL081-1 LCL082-1 LCL083-1
LCL083-2 LCL084-1 LCL084-2 LCL084-3 LCL085-1 LCL086-1 LCL087-1 LCL088-1
LCL089-1 LCL090-1 LCL091-1 LCL092-1 LCL093-1 LCL094-1 LCL095-1 LCL096-1
LCL097-1 LCL098-1 LCL099-1 LCL100-1 LCL101-1 LCL102-1 LCL103-1 LCL104-1
LCL105-1 LCL106-1 LCL107-1 LCL108-1 LCL109-1 LCL110-1 LCL111-1 LCL112-1
LCL113-1 LCL114-1 LCL115-1 LCL116-1 LCL117-1 LCL118-1 LCL119-1 LCL120-1
LCL121-1 LCL122-1 LCL123-1 LCL124-1 LCL125-1 LCL126-1 LCL127-1 LCL128-1
LCL129-1 LCL130-1 LCL131-1 LCL166-1 LCL167-1 LCL168-1 LCL256-1 LCL257-1
PAS
Set theory based on SET006+0.ax.
SET002+4 SET012+4 SET013+4 SET014+4 SET015+4 SET016+4 SET018+4 SET019+4
SET027+4 SET062+4 SET063+4 SET095+4 SET143+4 SET148+4 SET155+4 SET156+4
SET159+4 SET162+4 SET169+4 SET171+4 SET199+4 SET347+4 SET351+4 SET352+4
SET355+4 SET358+4 SET366+4 SET372+4 SET595+4 SET602+4 SET603+4 SET687+4
SET688+4 SET689+4 SET690+4 SET691+4 SET692+4 SET693+4 SET694+4 SET695+4
SET696+4 SET697+4 SET698+4 SET699+4 SET700+4 SET701+4 SET702+4 SET703+4
SET704+4 SET705+4 SET706+4 SET707+4 SET708+4 SET709+4 SET710+4 SET711+4
SET712+4 SET713+4 SET714+4 SET715+4 SET716+4 SET717+4 SET718+4 SET719+4
SET720+4 SET721+4 SET722+4 SET723+4 SET724+4 SET725+4 SET726+4 SET727+4
SET728+4 SET729+4 SET730+4 SET731+4 SET732+4 SET733+4 SET734+4 SET735+4
SET736+4 SET737+4 SET738+4 SET739+4 SET740+4 SET741+4 SET742+4 SET743+4
SET744+4 SET745+4 SET746+4 SET747+4 SET748+4 SET749+4 SET750+4 SET751+4
SET752+4 SET753+4 SET754+4 SET755+4 SET756+4 SET757+4 SET758+4 SET759+4
SET760+4 SET761+4 SET762+4 SET763+4 SET764+4 SET765+4 SET766+4 SET767+4
SET768+4 SET769+4 SET770+4 SET771+4 SET772+4 SET773+4 SET774+4 SET775+4
SET776+4
QUA
Set and number theory based on SET004-0.ax.
ALG001-3 NUM028-1 NUM029-1 NUM030-1 NUM031-1 NUM032-1 NUM033-1 NUM034-1
NUM035-1 NUM036-1 NUM037-1 NUM038-1 NUM039-1 NUM040-1 NUM041-1 NUM042-1
NUM043-1 NUM044-1 NUM045-1 NUM046-1 NUM047-1 NUM048-1 NUM049-1 NUM050-1
NUM051-1 NUM052-1 NUM053-1 NUM054-1 NUM055-1 NUM056-1 NUM057-1 NUM058-1
NUM059-1 NUM060-1 NUM061-1 NUM062-1 NUM063-1 NUM064-1 NUM065-1 NUM066-1
NUM067-1 NUM068-1 NUM069-1 NUM070-1 NUM071-1 NUM072-1 NUM073-1 NUM074-1
NUM075-1 NUM076-1 NUM077-1 NUM078-1 NUM079-1 NUM080-1 NUM081-1 NUM082-1
NUM083-1 NUM084-1 NUM085-1 NUM086-1 NUM087-1 NUM088-1 NUM089-1 NUM090-1
NUM091-1 NUM092-1 NUM093-1 NUM094-1 NUM095-1 NUM096-1 NUM097-1 NUM098-1
NUM099-1 NUM100-1 NUM101-1 NUM102-1 NUM103-1 NUM104-1 NUM105-1 NUM106-1
NUM107-1 NUM108-1 NUM109-1 NUM110-1 NUM111-1 NUM112-1 NUM113-1 NUM114-1
NUM115-1 NUM116-1 NUM117-1 NUM118-1 NUM119-1 NUM120-1 NUM121-1 NUM122-1
NUM123-1 NUM124-1 NUM125-1 NUM126-1 NUM127-1 NUM128-1 NUM129-1 NUM130-1
NUM131-1 NUM132-1 NUM133-1 NUM134-1 NUM135-1 NUM136-1 NUM137-1 NUM138-1
NUM139-1 NUM140-1 NUM141-1 NUM142-1 NUM143-1 NUM144-1 NUM145-1 NUM146-1
NUM147-1 NUM148-1 NUM149-1 NUM150-1 NUM151-1 NUM152-1 NUM153-1 NUM154-1
NUM155-1 NUM156-1 NUM157-1 NUM158-1 NUM159-1 NUM160-1 NUM161-1 NUM162-1
NUM163-1 NUM164-1 NUM165-1 NUM166-1 NUM167-1 NUM168-1 NUM169-1 NUM170-1
NUM171-1 NUM172-1 NUM173-1 NUM174-1 NUM175-1 NUM176-1 NUM177-1 NUM178-1
NUM179-1 NUM180-1 NUM181-1 NUM182-1 NUM183-1 NUM184-1 NUM185-1 NUM186-1
NUM187-1 NUM188-1 NUM189-1 NUM190-1 NUM191-1 NUM192-1 NUM193-1 NUM194-1
NUM195-1 NUM196-1 NUM197-1 NUM198-1 NUM199-1 NUM200-1 NUM201-1 NUM202-1
NUM203-1 NUM204-1 NUM205-1 NUM206-1 NUM207-1 NUM208-1 NUM209-1 NUM210-1
NUM211-1 NUM212-1 NUM213-1 NUM214-1 NUM215-1 NUM216-1 NUM217-1 NUM218-1
NUM219-1 NUM220-1 NUM221-1 NUM222-1 NUM223-1 NUM224-1 NUM225-1 NUM226-1
NUM227-1 NUM228-1 NUM229-1 NUM230-1 NUM231-1 NUM232-1 NUM233-1 NUM234-1
NUM235-1 NUM236-1 NUM237-1 NUM238-1 NUM239-1 NUM240-1 NUM241-1 NUM242-1
NUM243-1 NUM244-1 NUM245-1 NUM245-2 NUM246-1 NUM246-2 NUM247-1 NUM247-2
NUM248-1 NUM248-2 NUM249-1 NUM249-2 NUM250-1 NUM250-2 NUM251-1 NUM251-2
NUM252-1 NUM252-2 NUM253-1 NUM253-2 NUM254-1 NUM254-2 NUM255-1 NUM255-2
NUM256-1 NUM256-2 NUM257-1 NUM257-2 NUM258-1 NUM258-2 NUM259-1 NUM259-2
NUM260-1 NUM260-2 NUM261-1 NUM261-2 NUM262-1 NUM262-2 NUM263-1 NUM263-2
NUM264-1 NUM264-2 NUM265-1 NUM266-1 NUM267-1 NUM268-1 NUM269-1 NUM270-1
NUM271-1 NUM272-1 NUM273-1 NUM274-1 NUM275-1 NUM276-1 NUM277-1 NUM277-2
NUM278-1 NUM279-1 NUM280-1 NUM281-1 NUM282-1 SET002-6 SET014-6 SET016-6
SET017-6 SET018-6 SET020-6 SET021-6 SET024-6 SET025-6 SET027-6 SET030-6
SET032-6 SET033-6 SET034-6 SET035-6 SET036-6 SET037-6 SET038-6 SET040-6
SET041-6 SET050-6 SET051-6 SET052-6 SET053-6 SET054-6 SET056-6 SET057-6
SET058-6 SET059-6 SET060-6 SET061-6 SET062-6 SET063-6 SET064-6 SET065-6
SET066-6 SET067-6 SET068-6 SET069-6 SET070-6 SET071-6 SET072-6 SET073-6
SET074-6 SET075-6 SET076-6 SET077-6 SET078-6 SET079-6 SET080-6 SET081-6
SET082-6 SET083-6 SET084-6 SET085-6 SET086-6 SET087-6 SET088-6 SET089-6
SET090-6 SET091-6 SET092-6 SET093-6 SET094-6 SET095-6 SET096-6 SET097-6
SET098-6 SET099-6 SET100-6 SET101-6 SET102-6 SET103-6 SET104-6 SET105-6
SET108-6 SET109-6 SET110-6 SET111-6 SET112-6 SET113-6 SET114-6 SET115-6
SET116-6 SET117-6 SET118-6 SET119-6 SET120-6 SET121-6 SET122-6 SET123-6
SET124-6 SET125-6 SET126-6 SET127-6 SET128-6 SET129-6 SET130-6 SET131-6
SET132-6 SET133-6 SET134-6 SET135-6 SET136-6 SET137-6 SET138-6 SET139-6
SET140-6 SET141-6 SET142-6 SET143-6 SET144-6 SET145-6 SET146-6 SET147-6
SET148-6 SET149-6 SET150-6 SET151-6 SET152-6 SET153-6 SET154-6 SET155-6
SET156-6 SET157-6 SET158-6 SET159-6 SET160-6 SET161-6 SET162-6 SET163-6
SET165-6 SET166-6 SET167-6 SET168-6 SET169-6 SET170-6 SET171-6 SET172-6
SET173-6 SET174-6 SET175-6 SET176-6 SET177-6 SET178-6 SET179-6 SET180-6
SET181-6 SET182-6 SET183-6 SET184-6 SET185-6 SET186-6 SET187-6 SET188-6
SET189-6 SET190-6 SET191-6 SET192-6 SET193-6 SET194-6 SET195-6 SET196-6
SET197-6 SET199-6 SET200-6 SET201-6 SET202-6 SET203-6 SET204-6 SET205-6
SET206-6 SET207-6 SET208-6 SET209-6 SET210-6 SET211-6 SET212-6 SET213-6
SET214-6 SET215-6 SET216-6 SET217-6 SET218-6 SET219-6 SET220-6 SET221-6
SET222-6 SET223-6 SET224-6 SET225-6 SET226-6 SET227-6 SET228-6 SET229-6
SET230-6 SET231-6 SET232-6 SET233-6 SET234-6 SET235-6 SET236-6 SET237-6
SET238-6 SET239-6 SET240-6 SET241-6 SET242-6 SET243-6 SET244-6 SET245-6
SET246-6 SET247-6 SET248-6 SET249-6 SET250-6 SET251-6 SET252-6 SET253-6
SET254-6 SET255-6 SET256-6 SET257-6 SET258-6 SET259-6 SET260-6 SET261-6
SET262-6 SET263-6 SET264-6 SET265-6 SET266-6 SET267-6 SET268-6 SET269-6
SET270-6 SET271-6 SET272-6 SET273-6 SET274-6 SET275-6 SET276-6 SET277-6
SET278-6 SET279-6 SET280-6 SET281-6 SET282-6 SET283-6 SET284-6 SET285-6
SET286-6 SET287-6 SET288-6 SET289-6 SET290-6 SET291-6 SET292-6 SET293-6
SET294-6 SET295-6 SET296-6 SET297-6 SET298-6 SET299-6 SET300-6 SET301-6
SET302-6 SET303-6 SET304-6 SET305-6 SET306-6 SET307-6 SET308-6 SET309-6
SET310-6 SET311-6 SET312-6 SET313-6 SET314-6 SET315-6 SET316-6 SET317-6
SET318-6 SET319-6 SET320-6 SET321-6 SET322-6 SET323-6 SET324-6 SET325-6
SET326-6 SET327-6 SET328-6 SET329-6 SET330-6 SET331-6 SET332-6 SET333-6
SET334-6 SET335-6 SET336-6 SET337-6 SET338-6 SET339-6 SET340-6 SET341-6
SET342-6 SET343-6 SET344-6 SET345-6 SET346-6 SET347-6 SET348-6 SET349-6
SET350-6 SET351-6 SET352-6 SET353-6 SET354-6 SET355-6 SET356-6 SET357-6
SET358-6 SET359-6 SET360-6 SET361-6 SET362-6 SET363-6 SET364-6 SET365-6
SET366-6 SET367-6 SET368-6 SET369-6 SET370-6 SET371-6 SET372-6 SET373-6
SET374-6 SET375-6 SET376-6 SET377-6 SET378-6 SET379-6 SET380-6 SET381-6
SET382-6 SET383-6 SET384-6 SET385-6 SET386-6 SET387-6 SET388-6 SET389-6
SET390-6 SET391-6 SET392-6 SET393-6 SET394-6 SET395-6 SET396-6 SET397-6
SET398-6 SET399-6 SET400-6 SET401-6 SET402-6 SET403-6 SET404-6 SET405-6
SET406-6 SET407-6 SET408-6 SET409-6 SET410-6 SET411-6 SET412-6 SET413-6
SET414-6 SET415-6 SET416-6 SET417-6 SET418-6 SET419-6 SET420-6 SET421-6
SET422-6 SET423-6 SET424-6 SET425-6 SET426-6 SET427-6 SET428-6 SET429-6
SET430-6 SET431-6 SET432-6 SET433-6 SET434-6 SET435-6 SET436-6 SET437-6
SET438-6 SET439-6 SET440-6 SET441-6 SET442-6 SET443-6 SET444-6 SET445-6
SET446-6 SET447-6 SET448-6 SET449-6 SET450-6 SET451-6 SET452-6 SET453-6
SET454-6 SET455-6 SET456-6 SET457-6 SET458-6 SET459-6 SET460-6 SET461-6
SET462-6 SET463-6 SET464-6 SET465-6 SET466-6 SET467-6 SET468-6 SET469-6
SET470-6 SET471-6 SET472-6 SET473-6 SET474-6 SET475-6 SET476-6 SET477-6
SET478-6 SET479-6 SET480-6 SET481-6 SET482-6 SET483-6 SET484-6 SET485-6
SET486-6 SET487-6 SET488-6 SET489-6 SET490-6 SET491-6 SET492-6 SET493-6
SET494-6 SET495-6 SET496-6 SET497-6 SET498-6 SET499-6 SET500-6 SET501-6
SET502-6 SET503-6 SET504-6 SET505-6 SET506-6 SET507-6 SET508-6 SET509-6
SET510-6 SET511-6 SET512-6 SET513-6 SET514-6 SET515-6 SET516-6 SET517-6
SET518-6 SET519-6 SET520-6 SET521-6 SET522-6 SET523-6 SET524-6 SET525-6
SET526-6 SET527-6 SET528-6 SET529-6 SET530-6 SET531-6 SET532-6 SET533-6
SET534-6 SET535-6 SET536-6 SET537-6 SET538-6 SET539-6 SET540-6 SET541-6
SET542-6 SET543-6 SET544-6 SET545-6 SET546-6 SET547-6 SET548-6 SET549-6
SET550-6 SET551-6 SET552-6 SET553-6 SET554-6 SET555-6 SET556-6 SET557-6
SET558-6 SET559-6 SET560-6 SET561-6 SET562-6 SET563-6 SET564-6 SET565-6
SET566-6 SET567-6