TPTP Problem Domain: ALG


ALG001-1.p ALG001-2.p ALG001-3.p ALG001^5.p ALG002-1.p ALG003-1.p ALG004-1.p
ALG005-1.p ALG006-1.p ALG007-1.p ALG008-10.p ALG008-1.p ALG009-1.p ALG010-1.p
ALG011-1.p ALG012-1.p ALG013-1.p ALG014+1.p ALG014^7.p ALG015+1.p ALG015^7.p
ALG016+1.p ALG016^7.p ALG017+1.p ALG017^7.p ALG018+1.p ALG018^7.p ALG019+1.p
ALG020+1.p ALG020^7.p ALG021+1.p ALG021^7.p ALG022+1.p ALG022^7.p ALG023+1.p
ALG023^7.p ALG024+1.p ALG025+1.p ALG026+1.p ALG027+1.p ALG028+1.p ALG029+1.p
ALG030-10.p ALG030+1.p ALG031+1.p ALG032+1.p ALG033+1.p ALG034+1.p ALG035+1.p
ALG036+1.p ALG037+1.p ALG038+1.p ALG039+1.p ALG040+1.p ALG041+1.p ALG042+1.p
ALG043+1.p ALG044+1.p ALG045+1.p ALG046+1.p ALG047+1.p ALG048+1.p ALG049+1.p
ALG050+1.p ALG051+1.p ALG052+1.p ALG053+1.p ALG054+1.p ALG055+1.p ALG056+1.p
ALG057+1.p ALG058+1.p ALG059+1.p ALG060+1.p ALG061+1.p ALG062+1.p ALG063+1.p
ALG064+1.p ALG065+1.p ALG066+1.p ALG067+1.p ALG068+1.p ALG069-10.p ALG069+1.p
ALG070+1.p ALG071+1.p ALG072+1.p ALG073+1.p ALG074+1.p ALG075+1.p ALG076+1.p
ALG077+1.p ALG078+1.p ALG079+1.p ALG080+1.p ALG081+1.p ALG082+1.p ALG083+1.p
ALG084+1.p ALG085+1.p ALG086+1.p ALG087+1.p ALG088+1.p ALG089+1.p ALG090+1.p
ALG091+1.p ALG092+1.p ALG093+1.p ALG094+1.p ALG095+1.p ALG096+1.p ALG097+1.p
ALG098+1.p ALG099+1.p ALG100+1.p ALG101+1.p ALG102+1.p ALG103+1.p ALG104+1.p
ALG105+1.p ALG106+1.p ALG107+1.p ALG108+1.p ALG109+1.p ALG110+1.p ALG111+1.p
ALG112+1.p ALG113+1.p ALG114+1.p ALG115+1.p ALG116+1.p ALG117+1.p ALG118+1.p
ALG119+1.p ALG120+1.p ALG121+1.p ALG122+1.p ALG123+1.p ALG124+1.p ALG125+1.p
ALG126+1.p ALG127+1.p ALG128+1.p ALG129+1.p ALG130+1.p ALG131+1.p ALG132+1.p
ALG133+1.p ALG134+1.p ALG135+1.p ALG136+1.p ALG137+1.p ALG138+1.p ALG139+1.p
ALG140+1.p ALG141+1.p ALG142+1.p ALG143+1.p ALG144+1.p ALG145+1.p ALG146+1.p
ALG147+1.p ALG148+1.p ALG149+1.p ALG150+1.p ALG151+1.p ALG152+1.p ALG153+1.p
ALG154+1.p ALG155+1.p ALG156+1.p ALG157+1.p ALG158+1.p ALG159+1.p ALG160+1.p
ALG161+1.p ALG162+1.p ALG163+1.p ALG164+1.p ALG165+1.p ALG166+1.p ALG167+1.p
ALG168+1.p ALG169+1.p ALG170+1.p ALG171+1.p ALG172+1.p ALG173+1.p ALG174+1.p
ALG175+1.p ALG176+1.p ALG177+1.p ALG178+1.p ALG179+1.p ALG180+1.p ALG181+1.p
ALG182+1.p ALG183+1.p ALG184+1.p ALG185+1.p ALG186+1.p ALG187+1.p ALG188+1.p
ALG189+1.p ALG190+1.p ALG191+1.p ALG192+1.p ALG193+1.p ALG194+1.p ALG195+1.p
ALG196+1.p ALG197+1.p ALG198+1.p ALG199+1.p ALG200+1.p ALG201+1.p ALG202+1.p
ALG203+1.p ALG204+1.p ALG205+1.p ALG206+1.p ALG207+1.p ALG208+1.p ALG209+1.p
ALG210+1.p ALG210+2.p ALG211+1.p ALG212+1.p ALG213+1.p ALG214+1.p ALG214+2.p
ALG214+3.p ALG214+4.p ALG215+1.p ALG215+2.p ALG215+3.p ALG215+4.p ALG216+1.p
ALG216+2.p ALG216+3.p ALG216+4.p ALG217+1.p ALG217+2.p ALG217+3.p ALG217+4.p
ALG218+1.p ALG218+2.p ALG218+3.p ALG218+4.p ALG219+1.p ALG219+2.p ALG219+3.p
ALG219+4.p ALG220+1.p ALG220+2.p ALG220+3.p ALG220+4.p ALG221+1.p ALG221+2.p
ALG221+3.p ALG221+4.p ALG222+1.p ALG222+2.p ALG222+3.p ALG222+4.p ALG223+1.p
ALG223+2.p ALG223+3.p ALG223+4.p ALG224+1.p ALG224+2.p ALG224+3.p ALG224+4.p
ALG225+1.p ALG225+2.p ALG225+3.p ALG225+4.p ALG226+1.p ALG226+2.p ALG226+3.p
ALG226+4.p ALG227+1.p ALG227+2.p ALG227+3.p ALG227+4.p ALG228+1.p ALG228+2.p
ALG228+3.p ALG228+4.p ALG229+1.p ALG229+2.p ALG229+3.p ALG229+4.p ALG230+1.p
ALG230+2.p ALG230+3.p ALG230+4.p ALG231+1.p ALG231+2.p ALG231+3.p ALG231+4.p
ALG232+1.p ALG232+2.p ALG232+3.p ALG232+4.p ALG233+1.p ALG233+2.p ALG233+3.p
ALG233+4.p ALG234+1.p ALG234+2.p ALG234+3.p ALG234+4.p ALG235-1.p ALG236-1.p
ALG237-1.p ALG238-1.p ALG239-1.p ALG240-1.p ALG241-1.p ALG242-1.p ALG243-1.p
ALG244-1.p ALG245-1.p ALG246-1.p ALG247^2.p ALG248^1.p ALG248^2.p ALG248^3.p
ALG249^3.p ALG250^3.p ALG251^1.p ALG251^2.p ALG251^3.p ALG252^1.p ALG252^2.p
ALG253^1.p ALG253^2.p ALG254^1.p ALG254^2.p ALG255^1.p ALG256^1.p ALG256^2.p
ALG257^1.p ALG257^2.p ALG258^1.p ALG258^2.p ALG259^1.p ALG259^2.p ALG260^1.p
ALG260^2.p ALG261^1.p ALG261^2.p ALG262^2.p ALG263^1.p ALG263^2.rm ALG263^3.p
ALG264^1.p ALG264^2.rm ALG264^3.p ALG265^2.p ALG266^1.p ALG266^2.p ALG267^1.p
ALG267^2.p ALG268^1.p ALG268^2.p ALG268^3.p ALG268^4.p ALG268^5.p ALG268^6.p
ALG269^1.p ALG269^2.p ALG269^3.p ALG269^4.p ALG270^5.p ALG271^5.p ALG272^5.p
ALG273^5.p ALG274^5.p ALG275^5.p ALG276^5.p ALG277^5.p ALG278^5.p ALG279^5.p
ALG280^5.p ALG281^5.p ALG282^5.p ALG283^5.p ALG284^5.p ALG285^5.p ALG286^5.p
ALG287^5.p ALG288^5.p ALG289^5.p ALG290^5.p ALG291^5.p ALG292^5.p ALG293^5.p
ALG294^5.p ALG295^5.p ALG296^5.p ALG297^5.p ALG298^5.p ALG299-1.p ALG300-1.p
ALG301-1.p ALG302-1.p ALG303-1.p ALG304-1.p ALG305-1.p ALG306-1.p ALG307-1.p
ALG308-1.p ALG309-1.p ALG310-1.p ALG311-1.p ALG312-1.p ALG313-1.p ALG314-1.p
ALG315-1.p ALG316-1.p ALG317-1.p ALG318-1.p ALG319-1.p ALG320-1.p ALG321-1.p
ALG322-1.p ALG323-1.p ALG324-1.p ALG325-1.p ALG326-1.p ALG327-1.p ALG328-1.p
ALG329-1.p ALG330-1.p ALG331-1.p ALG332-1.p ALG333-1.p ALG334-1.p ALG335-1.p
ALG336-1.p ALG337-1.p ALG338-1.p ALG339-1.p ALG340-1.p ALG341-1.p ALG342-1.p
ALG343-1.p ALG344-1.p ALG345-1.p ALG346-1.p ALG347-1.p ALG348-1.p ALG349-1.p
ALG350-1.p ALG351-1.p ALG352-1.p ALG353-1.p ALG354-1.p ALG355-1.p ALG356-1.p
ALG357-1.p ALG358-1.p ALG359-1.p ALG360-1.p ALG361-1.p ALG362-1.p ALG363-1.p
ALG364-1.p ALG365-1.p ALG366-1.p ALG367-1.p ALG368-1.p ALG369-1.p ALG370-1.p
ALG371-1.p ALG372-1.p ALG373-1.p ALG374-1.p ALG375-1.p ALG376-1.p ALG377-1.p
ALG378-1.p ALG379-1.p ALG380-1.p ALG381-1.p ALG382-1.p ALG383-1.p ALG384-1.p
ALG385-1.p ALG386-1.p ALG387-1.p ALG388-1.p ALG389-1.p ALG390-1.p ALG391-1.p
ALG392-1.p ALG393-1.p ALG394-1.p ALG395-1.p ALG396-1.p ALG397-1.p ALG398-1.p
ALG399-1.p ALG400-1.p ALG401-1.p ALG402-1.p ALG403-1.p ALG404-1.p ALG405-1.p
ALG406-1.p ALG407-1.p ALG408-1.p ALG409-1.p ALG410-1.p ALG411-1.p ALG412-1.p
ALG413-1.p ALG414-1.p ALG415-1.p ALG416-1.p ALG417-1.p ALG418-1.p ALG419-1.p
ALG420-1.p ALG421-1.p ALG422-1.p ALG423-1.p ALG424-1.p ALG425-1.p ALG426-1.p
ALG427-1.p ALG428-1.p ALG429-1.p ALG430-1.p ALG431-1.p ALG432-1.p ALG433-1.p
ALG434-1.p ALG435-1.p ALG436-1.p ALG437-1.p ALG438-1.p ALG439-1.p ALG440-1.p
ALG441-10.p ALG441-1.p ALG442-1.p ALG443+1.p ALG444^1.p