TPTP Problem Domain: GRP


GRP001-1.p GRP001-2.p GRP001-3.p GRP001-4.p GRP001-5.p GRP001^5.p GRP001+6.p
GRP002-10.p GRP002-1.p GRP002-2.p GRP002-3.p GRP002-4.p GRP003-1.p GRP003-2.p
GRP004-1.p GRP004-2.p GRP005-1.p GRP006-1.p GRP007-1.p GRP008-1.p GRP009-1.p
GRP010-1.p GRP010-4.p GRP011-4.p GRP012-1.p GRP012-2.p GRP012-3.p GRP012-4.p
GRP012+5.p GRP013-1.p GRP014-1.p GRP015-1.p GRP016-1.p GRP017-1.p GRP018-1.p
GRP019-1.p GRP020-1.p GRP021-1.p GRP022-1.p GRP022-2.p GRP023-1.p GRP023-2.p
GRP024-4.p GRP024-5.p GRP025-1.p GRP025-2.p GRP025-3.p GRP025-4.p GRP026-1.p
GRP026-2.p GRP026-3.p GRP026-4.p GRP027-1.p GRP027-2.p GRP028-1.p GRP028-2.p
GRP028-3.p GRP028-4.p GRP029-1.p GRP029-2.p GRP030-1.p GRP031-1.p GRP031-2.p
GRP032-3.p GRP033-3.p GRP033-4.p GRP034-3.p GRP034-4.p GRP035-3.p GRP036-3.p
GRP037-3.p GRP038-3.p GRP039-1.p GRP039-2.p GRP039-3.p GRP039-4.p GRP039-5.p
GRP039-6.p GRP039-7.p GRP040-3.p GRP040-4.p GRP041-2.p GRP042-2.p GRP043-2.p
GRP044-2.p GRP045-2.p GRP046-2.p GRP047-2.p GRP048-10.p GRP048-2.p GRP049-1.p
GRP050-1.p GRP051-1.p GRP052-1.p GRP053-1.p GRP054-1.p GRP055-1.p GRP056-1.p
GRP057-1.p GRP058-1.p GRP059-1.p GRP060-1.p GRP061-1.p GRP062-1.p GRP063-1.p
GRP064-1.p GRP065-1.p GRP066-1.p GRP067-1.p GRP068-1.p GRP069-1.p GRP070-1.p
GRP071-1.p GRP072-1.p GRP073-1.p GRP074-1.p GRP075-1.p GRP076-1.p GRP077-1.p
GRP078-1.p GRP079-1.p GRP080-1.p GRP081-1.p GRP082-1.p GRP083-1.p GRP084-1.p
GRP085-1.p GRP086-1.p GRP087-1.p GRP088-1.p GRP089-1.p GRP090-1.p GRP091-1.p
GRP092-1.p GRP093-1.p GRP094-1.p GRP095-1.p GRP096-1.p GRP097-1.p GRP098-1.p
GRP099-1.p GRP100-1.p GRP101-1.p GRP102-1.p GRP103-1.p GRP104-1.p GRP105-1.p
GRP106-1.p GRP107-1.p GRP108-1.p GRP109-1.p GRP110-1.p GRP111-1.p GRP112-10.p
GRP112-1.p GRP113-1.p GRP114-1.p GRP115-1.p GRP116-1.p GRP117-1.p GRP118-1.p
GRP119-1.p GRP120-1.p GRP121-1.p GRP122-1.p GRP123-1.003.p GRP123-1.005.p GRP123-2.003.p
GRP123-2.005.p GRP123-3.003.p GRP123-3.004.p GRP123-4.003.p GRP123-4.004.p GRP123-6.003.p GRP123-6.005.p
GRP123-7.003.p GRP123-7.005.p GRP123-8.003.p GRP123-8.004.p GRP123-9.003.p GRP123-9.004.p GRP124-1.003.rm
GRP124-1.004.p GRP124-1.005.p GRP124-2.003.rm GRP124-2.004.p GRP124-2.005.p GRP124-3.003.rm GRP124-3.004.p
GRP124-3.005.p GRP124-4.003.rm GRP124-4.004.p GRP124-4.005.p GRP124-6.003.rm GRP124-6.004.p GRP124-6.005.p
GRP124-7.003.rm GRP124-7.004.p GRP124-7.005.p GRP124-8.003.rm GRP124-8.004.p GRP124-8.005.p GRP124-9.004.p
GRP124-9.005.p GRP125-1.003.p GRP125-1.004.p GRP125-2.003.rm GRP125-2.004.p GRP125-2.005.p GRP125-3.003.rm
GRP125-3.004.p GRP125-3.005.p GRP125-4.003.p GRP125-4.004.p GRP126-1.003.rm GRP126-1.004.p GRP126-1.005.p
GRP126-2.003.rm GRP126-2.004.p GRP126-2.005.p GRP126-3.003.rm GRP126-3.004.p GRP126-3.005.p GRP126-4.003.rm
GRP126-4.004.p GRP126-4.005.p GRP127-1.003.rm GRP127-1.004.p GRP127-1.005.p GRP127-2.003.rm GRP127-2.005.p
GRP127-2.006.p GRP127-3.003.rm GRP127-3.004.p GRP127-3.005.p GRP127-4.003.rm GRP127-4.004.p GRP127-4.005.p
GRP128-1.003.p GRP128-1.004.p GRP128-2.003.rm GRP128-2.004.p GRP128-2.006.p GRP128-3.003.rm GRP128-3.004.p
GRP128-3.005.p GRP128-4.003.p GRP128-4.004.p GRP129-1.002.rm GRP129-1.003.p GRP129-1.005.p GRP129-2.002.rm
GRP129-2.004.p GRP129-2.005.p GRP129-3.002.rm GRP129-3.004.p GRP129-3.005.p GRP129-4.002.rm GRP129-4.004.p
GRP129-4.005.p GRP130-1.002.rm GRP130-1.003.p GRP130-1.005.p GRP130-2.002.rm GRP130-2.003.p GRP130-2.005.p
GRP130-3.002.rm GRP130-3.003.p GRP130-3.004.p GRP130-4.002.rm GRP130-4.003.p GRP130-4.004.p GRP131-1.002.p
GRP131-1.005.p GRP131-2.002.p GRP131-2.005.p GRP132-1.002.p GRP132-1.005.p GRP132-2.002.p GRP132-2.005.p
GRP133-1.002.rm GRP133-1.003.p GRP133-1.004.p GRP133-2.002.rm GRP133-2.003.p GRP133-2.004.p GRP134-1.002.rm
GRP134-1.003.p GRP134-1.005.p GRP134-2.002.rm GRP134-2.003.p GRP134-2.005.p GRP135-1.002.p GRP135-1.005.p
GRP135-2.002.p GRP135-2.005.p GRP136-1.p GRP137-1.p GRP138-1.p GRP139-1.p GRP140-1.p
GRP141-1.p GRP142-1.p GRP143-1.p GRP144-1.p GRP145-1.p GRP146-1.p GRP147-1.p
GRP148-1.p GRP149-1.p GRP150-1.p GRP151-1.p GRP152-1.p GRP153-1.p GRP154-1.p
GRP155-1.p GRP156-1.p GRP157-1.p GRP158-1.p GRP159-1.p GRP160-1.p GRP161-1.p
GRP162-1.p GRP163-1.p GRP164-1.p GRP164-2.p GRP165-1.p GRP165-2.p GRP166-1.p
GRP166-2.p GRP166-3.p GRP166-4.p GRP167-1.p GRP167-2.p GRP167-3.p GRP167-4.p
GRP167-5.p GRP168-1.p GRP168-2.p GRP169-1.p GRP169-2.p GRP170-1.p GRP170-2.p
GRP170-3.p GRP170-4.p GRP171-1.p GRP171-2.p GRP172-1.p GRP172-2.p GRP173-1.p
GRP174-1.p GRP175-1.p GRP175-2.p GRP175-3.p GRP175-4.p GRP176-1.p GRP176-2.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 GRP182-1.p
GRP182-2.p GRP182-3.p GRP182-4.p GRP183-1.p GRP183-2.p GRP183-3.p GRP183-4.p
GRP184-1.p GRP184-2.p GRP184-3.p GRP184-4.p GRP185-1.p GRP185-2.p GRP185-3.p
GRP185-4.p GRP186-1.p GRP186-2.p GRP186-3.p GRP186-4.p GRP187-1.p GRP188-1.p
GRP188-2.p GRP189-1.p GRP189-2.p GRP190-1.p GRP190-2.p GRP191-1.p GRP191-2.p
GRP192-1.p GRP193-1.p GRP193-2.p GRP194+1.p GRP195-1.p GRP196-1.p GRP197-1.p
GRP198-1.p GRP199-1.p GRP200-1.p GRP201-1.p GRP202-1.p GRP203-1.p GRP204-1.p
GRP205-1.p GRP206-1.p GRP207-1.p GRP208-1.p GRP209-1.p GRP210-1.p GRP211-1.p
GRP212-1.p GRP213-1.p GRP214-1.p GRP215-1.p GRP216-1.p GRP217-1.p GRP218-1.p
GRP219-1.p GRP220-1.p GRP221-1.p GRP222-1.p GRP223-1.p GRP224-1.p GRP225-1.p
GRP226-1.p GRP227-1.p GRP228-1.p GRP229-1.p GRP230-1.p GRP231-1.p GRP232-1.p
GRP233-1.p GRP234-1.p GRP235-1.p GRP236-1.p GRP237-1.p GRP238-1.p GRP239-1.p
GRP240-1.p GRP241-1.p GRP242-1.p GRP243-1.p GRP244-1.p GRP245-1.p GRP246-1.p
GRP247-1.p GRP248-1.p GRP249-1.p GRP250-1.p GRP251-1.p GRP252-1.p GRP253-1.p
GRP254-1.p GRP255-1.p GRP256-1.p GRP257-1.p GRP258-1.p GRP259-1.p GRP260-1.p
GRP261-1.p GRP262-1.p GRP263-1.p GRP264-1.p GRP265-1.p GRP266-1.p GRP267-1.p
GRP268-1.p GRP269-1.p GRP270-1.p GRP271-1.p GRP272-1.p GRP273-1.p GRP274-1.p
GRP275-1.p GRP276-1.p GRP277-1.p GRP278-1.p GRP279-1.p GRP280-1.p GRP281-1.p
GRP282-1.p GRP283-1.p GRP284-1.p GRP285-1.p GRP286-1.p GRP287-1.p GRP288-1.p
GRP289-1.p GRP290-1.p GRP291-1.p GRP292-1.p GRP293-1.p GRP294-1.p GRP295-1.p
GRP296-1.p GRP297-1.p GRP298-1.p GRP299-1.p GRP300-1.p GRP301-1.p GRP302-1.p
GRP303-1.p GRP304-1.p GRP305-1.p GRP306-1.p GRP307-1.p GRP308-1.p GRP309-1.p
GRP310-1.p GRP311-1.p GRP312-1.p GRP313-1.p GRP314-1.p GRP315-1.p GRP316-1.p
GRP317-1.p GRP318-1.p GRP319-1.p GRP320-1.p GRP321-1.p GRP322-1.p GRP323-1.p
GRP324-1.p GRP325-1.p GRP326-1.p GRP327-1.p GRP328-1.p GRP329-1.p GRP330-1.p
GRP331-1.p GRP332-1.p GRP333-1.p GRP334-1.p GRP335-1.p GRP336-1.p GRP337-1.p
GRP338-1.p GRP339-1.p GRP340-1.p GRP341-1.p GRP342-1.p GRP343-1.p GRP344-1.p
GRP345-1.p GRP346-1.p GRP347-1.p GRP348-1.p GRP349-1.p GRP350-1.p GRP351-1.p
GRP352-1.p GRP353-1.p GRP354-1.p GRP355-1.p GRP356-1.p GRP357-1.p GRP358-1.p
GRP359-1.p GRP360-1.p GRP361-1.p GRP362-1.p GRP363-1.p GRP364-1.p GRP365-1.p
GRP366-1.p GRP367-1.p GRP368-1.p GRP369-1.p GRP370-1.p GRP371-1.p GRP372-1.p
GRP373-1.p GRP374-1.p GRP375-1.p GRP376-1.p GRP377-1.p GRP378-1.p GRP379-1.p
GRP380-1.p GRP381-1.p GRP382-1.p GRP383-1.p GRP384-1.p GRP385-1.p GRP386-1.p
GRP387-1.p GRP388-1.p GRP389-1.p GRP390-1.p GRP391-1.p GRP392-1.p GRP393-1.p
GRP393-2.p GRP394-1.p GRP394-2.p GRP394+3.p GRP394-3.p GRP395-1.p GRP396+1.p
GRP397-1.p GRP398-1.p GRP398-2.p GRP398-3.p GRP399-1.p GRP400-1.p GRP401-1.p
GRP402-1.p GRP403-1.p GRP404-1.p GRP405-1.p GRP406-1.p GRP407-1.p GRP408-1.p
GRP409-1.p GRP410-1.p GRP411-1.p GRP412-1.p GRP413-1.p GRP414-1.p GRP415-1.p
GRP416-1.p GRP417-1.p GRP418-1.p GRP419-1.p GRP420-1.p GRP421-1.p GRP422-1.p
GRP423-1.p GRP424-1.p GRP425-1.p GRP426-1.p GRP427-1.p GRP428-1.p GRP429-1.p
GRP430-1.p GRP431-1.p GRP432-1.p GRP433-1.p GRP434-1.p GRP435-1.p GRP436-1.p
GRP437-1.p GRP438-1.p GRP439-1.p GRP440-1.p GRP441-1.p GRP442-1.p GRP443-1.p
GRP444-1.p GRP445-1.p GRP446-1.p GRP447-1.p GRP448-1.p GRP449-1.p GRP450-1.p
GRP451-1.p GRP452-1.p GRP453-1.p GRP454-1.p GRP455-1.p GRP456-1.p GRP457-1.p
GRP458-1.p GRP459-1.p GRP460-1.p GRP461-1.p GRP462-1.p GRP463-1.p GRP464-1.p
GRP465-1.p GRP466-1.p GRP467-1.p GRP468-1.p GRP469-1.p GRP470-1.p GRP471-1.p
GRP472-1.p GRP473-1.p GRP474-1.p GRP475-1.p GRP476-1.p GRP477-1.p GRP478-1.p
GRP479-1.p GRP480-1.p GRP481-1.p GRP482-1.p GRP483-1.p GRP484-1.p GRP485-1.p
GRP486-1.p GRP487-1.p GRP488-1.p GRP489-1.p GRP490-1.p GRP491-1.p GRP492-1.p
GRP493-1.p GRP494-1.p GRP495-1.p GRP496-1.p GRP497-1.p GRP498-1.p GRP499-1.p
GRP500-1.p GRP501-1.p GRP502-1.p GRP503-1.p GRP504-1.p GRP505-1.p GRP506-1.p
GRP507-1.p GRP508-1.p GRP509-1.p GRP510-1.p GRP511-1.p GRP512-1.p GRP513-1.p
GRP514-1.p GRP515-1.p GRP516-1.p GRP517-1.p GRP518-1.p GRP519-1.p GRP520-1.p
GRP521-1.p GRP522-1.p GRP523-1.p GRP524-1.p GRP525-1.p GRP526-1.p GRP527-1.p
GRP528-1.p GRP529-1.p GRP530-1.p GRP531-1.p GRP532-1.p GRP533-1.p GRP534-1.p
GRP535-1.p GRP536-1.p GRP537-1.p GRP538-1.p GRP539-1.p GRP540-1.p GRP541-1.p
GRP542-1.p GRP543-1.p GRP544-1.p GRP545-1.p GRP546-1.p GRP547-1.p GRP548-1.p
GRP549-1.p GRP550-1.p GRP551-1.p GRP552-1.p GRP553-1.p GRP554-1.p GRP555-1.p
GRP556-1.p GRP557-1.p GRP558-1.p GRP559-1.p GRP560-1.p GRP561-1.p GRP562-1.p
GRP563-1.p GRP564-1.p GRP565-1.p GRP566-1.p GRP567-1.p GRP568-1.p GRP569-1.p
GRP570-1.p GRP571-1.p GRP572-1.p GRP573-1.p GRP574-1.p GRP575-1.p GRP576-1.p
GRP577-1.p GRP578-1.p GRP579-1.p GRP580-1.p GRP581-1.p GRP582-1.p GRP583-1.p
GRP584-1.p GRP585-1.p GRP586-1.p GRP587-1.p GRP588-1.p GRP589-1.p GRP590-1.p
GRP591-1.p GRP592-1.p GRP593-1.p GRP594-1.p GRP595-1.p GRP596-1.p GRP597-1.p
GRP598-1.p GRP599-1.p GRP600-1.p GRP601-1.p GRP602-1.p GRP603-1.p GRP604-1.p
GRP605-1.p GRP606-1.p GRP607-1.p GRP608-1.p GRP609-1.p GRP610-1.p GRP611-1.p
GRP612-1.p GRP613-1.p GRP614-1.p GRP615-1.p GRP616-1.p GRP617-1.p GRP618+1.p
GRP618+2.p GRP618+3.p GRP618+4.p GRP619+1.p GRP619+2.p GRP619+3.p GRP619+4.p
GRP620+1.p GRP620+2.p GRP620+3.p GRP620+4.p GRP621+1.p GRP621+2.p GRP621+3.p
GRP621+4.p GRP622+1.p GRP622+2.p GRP622+3.p GRP622+4.p GRP623+1.p GRP623+2.p
GRP623+3.p GRP623+4.p GRP624+1.p GRP624+2.p GRP624+3.p GRP624+4.p GRP625+1.p
GRP625+2.p GRP625+3.p GRP625+4.p GRP626+1.p GRP626+2.p GRP626+3.p GRP626+4.p
GRP627+1.p GRP627+2.p GRP627+3.p GRP627+4.p GRP628+1.p GRP628+2.p GRP628+3.p
GRP628+4.p GRP629+1.p GRP629+2.p GRP629+3.p GRP629+4.p GRP630+1.p GRP630+2.p
GRP630+3.p GRP630+4.p GRP631+1.p GRP631+2.p GRP631+3.p GRP631+4.p GRP632+1.p
GRP632+2.p GRP632+3.p GRP632+4.p GRP633+1.p GRP633+2.p GRP633+3.p GRP633+4.p
GRP634+1.p GRP634+2.p GRP634+3.p GRP634+4.p GRP635+1.p GRP635+2.p GRP635+3.p
GRP635+4.p GRP636+1.p GRP636+2.p GRP636+3.p GRP636+4.p GRP637+1.p GRP637+2.p
GRP637+3.p GRP637+4.p GRP638+1.p GRP638+2.p GRP638+3.p GRP638+4.p GRP639+1.p
GRP639+2.p GRP639+3.p GRP639+4.p GRP640+1.p GRP640+2.p GRP640+3.p GRP640+4.p
GRP641+1.p GRP641+2.p GRP641+3.p GRP641+4.p GRP642+1.p GRP642+2.p GRP642+3.p
GRP642+4.p GRP643+1.p GRP643+2.p GRP643+3.p GRP643+4.p GRP644+1.p GRP644+2.p
GRP644+3.p GRP644+4.p GRP645+1.p GRP645+2.p GRP645+3.p GRP645+4.p GRP646+1.p
GRP646+2.p GRP646+3.p GRP646+4.p GRP647+1.p GRP647+2.p GRP647+3.p GRP647+4.p
GRP648+1.p GRP648+2.p GRP648+3.p GRP648+4.p GRP649+1.p GRP649+2.p GRP649+3.p
GRP649+4.p GRP650+1.p GRP650+2.p GRP650+3.p GRP650+4.p GRP651+1.p GRP651+2.p
GRP651+3.p GRP651+4.p GRP652+1.p GRP652+2.p GRP652+3.p GRP652+4.p GRP653+1.p
GRP653+2.p GRP653+3.p GRP653+4.p GRP654-10.p GRP654+1.p GRP654+2.p GRP654+3.p
GRP655+1.p GRP655+2.p GRP655+3.p GRP656+1.p GRP657+1.p GRP658+1.p GRP659+1.p
GRP660+1.p GRP660+2.p GRP660+3.p GRP661-1.p GRP662-1.p GRP663-1.p GRP664+1.p
GRP665+1.p GRP666+1.p GRP666-2.p GRP666-3.p GRP666-4.p GRP666-5.p GRP666+6.p
GRP667-10.p GRP667+1.p GRP667-2.p GRP667-3.p GRP667-4.p GRP667-5.p GRP667+6.p
GRP668-1.p GRP669-1.p GRP670-1.p GRP671-1.p GRP672+1.p GRP673+1.p GRP674+1.p
GRP675-1.p GRP676-1.p GRP677-1.p GRP678-1.p GRP679-1.p GRP680-1.p GRP681-1.p
GRP682+1.p GRP683+1.p GRP684-1.p GRP685+1.p GRP686-1.p GRP687-1.p GRP688-1.p
GRP689-1.p GRP690-1.p GRP691-1.p GRP692-1.p GRP693-1.p GRP694-1.p GRP695-1.p
GRP696-1.p GRP697-1.p GRP698-1.p GRP699-1.p GRP700+1.p GRP701-1.p GRP702+1.p
GRP703+1.p GRP704+1.p GRP705-1.p GRP706-1.p GRP707-1.p GRP708-1.p GRP709-1.p
GRP710+1.p GRP711+1.p GRP712-1.p GRP713-1.p GRP714-1.p GRP715+1.p GRP716-1.p
GRP717-1.p GRP718-1.p GRP719-1.p GRP720+1.p GRP720-2.p GRP721-1.p GRP722-1.p
GRP723-1.p GRP724-1.p GRP725-1.p GRP726-1.p GRP727-1.p GRP728-1.p GRP729-1.p
GRP730-1.p GRP731-1.p GRP732-1.p GRP733+1.p GRP734+1.p GRP735-1.p GRP736-1.p
GRP737-1.p GRP738-1.p GRP739-1.p GRP740-1.p GRP741-1.p GRP742-1.p GRP743-1.p
GRP744-1.p GRP745+1.p GRP746+1.p GRP747+1.p GRP748+1.p GRP748-2.p GRP748-3.p
GRP748-4.p GRP748-5.p GRP749-1.p GRP750-1.p GRP751-1.p GRP752-1.p GRP753-1.p
GRP754-1.p GRP755-1.p GRP756-1.p GRP757+1.p GRP758+1.p GRP759+1.p GRP760-10.p
GRP760+1.p GRP761+1.p GRP762+1.p GRP763-10.p GRP763+1.p GRP764-1.p GRP765-1.p
GRP766-1.p GRP767-1.p GRP768-1.p GRP769-1.p GRP770-1.p GRP771-1.p GRP772-1.p
GRP773-1.p GRP774+1.p GRP775+1.p GRP776+1.p GRP777+1.p GRP778+1.p GRP779+1.p
GRP780+1.p GRP781-1.p GRP782+1.p GRP782^1.p GRP783^1.p GRP784+1.p GRP784^1.p
GRP785^1.p GRP786+1.p GRP786^1.p GRP787^1.p GRP788+1.p GRP788^1.p GRP789^1.p
GRP790+1.p GRP790^1.p GRP791^1.p GRP792+1.p GRP792^1.p GRP793^1.p GRP794+1.p
GRP794^1.p GRP795^1.p GRP796+1.p GRP796^1.p GRP797^1.p GRP798+1.p GRP798^1.p
GRP799^1.p GRP800+1.p GRP800^1.p GRP801^1.p GRP802+1.p GRP802^1.p GRP803^1.p
GRP804+1.p GRP804^1.p GRP805^1.p GRP806+1.p GRP806^1.p GRP807^1.p GRP808+1.p
GRP808^1.p GRP809^1.p GRP810+1.p GRP810^1.p GRP811^1.p GRP812+1.p GRP812^1.p
GRP813^1.p GRP814+1.p GRP814^1.p GRP815^1.p GRP816+1.p GRP816^1.p GRP817^1.p
GRP818+1.p GRP818^1.p GRP819^1.p GRP820+1.p GRP820^1.p GRP821^1.p