TPTP Problem Domain: GEO


GEO001-1.p GEO001_1.p GEO001-2.p GEO001-3.p GEO001-4.p GEO002-1.p GEO002-2.p
GEO002-3.p GEO002-4.p GEO003-1.p GEO003-2.p GEO003-3.p GEO004-1.p GEO004-2.p
GEO005-1.p GEO005-2.p GEO006-1.p GEO006-2.p GEO006-3.p GEO007-1.p GEO007-2.p
GEO007-3.p GEO008-1.p GEO008-2.p GEO008-3.p GEO009-1.p GEO009-2.p GEO009-3.p
GEO010-1.p GEO010-2.p GEO010-3.p GEO011-1.p GEO011-2.p GEO011-3.p GEO011-4.p
GEO011-5.p GEO012-1.p GEO012-2.p GEO012-3.p GEO013-1.p GEO013-2.p GEO013-3.p
GEO014-2.p GEO015-2.p GEO015-3.p GEO016-2.p GEO016-3.p GEO017-2.p GEO017-3.p
GEO018-2.p GEO018-3.p GEO019-2.p GEO019-3.p GEO020-2.p GEO020-3.p GEO021-2.p
GEO021-3.p GEO022-2.p GEO022-3.p GEO024-2.p GEO024-3.p GEO025-2.p GEO025-3.p
GEO026-2.p GEO026-3.p GEO027-2.p GEO027-3.p GEO028-2.p GEO028-3.p GEO029-2.p
GEO029-3.p GEO030-2.p GEO030-3.p GEO031-2.p GEO031-3.p GEO032-2.p GEO032-3.p
GEO033-2.p GEO033-3.p GEO034-2.p GEO034-3.p GEO035-2.p GEO035-3.p GEO036-2.p
GEO036-3.p GEO037-2.p GEO037-3.p GEO038-2.p GEO038-3.p GEO039-2.p GEO039-3.p
GEO040-2.p GEO040-3.p GEO041-2.p GEO041-3.p GEO042-2.p GEO042-3.p GEO043-2.p
GEO043-3.p GEO044-2.p GEO044-3.p GEO045-2.p GEO045-3.p GEO046-2.p GEO046-3.p
GEO047-2.p GEO047-3.p GEO048-2.p GEO048-3.p GEO049-2.p GEO049-3.p GEO050-2.p
GEO050-3.p GEO051-2.p GEO051-3.p GEO052-2.p GEO052-3.p GEO053-2.p GEO053-3.p
GEO054-2.p GEO054-3.p GEO055-2.p GEO055-3.p GEO056-2.p GEO056-3.p GEO057-2.p
GEO057-3.p GEO058-2.p GEO058-3.p GEO059-2.p GEO059-3.p GEO060-2.p GEO061-2.p
GEO061-3.p GEO062-2.p GEO062-3.p GEO063-2.p GEO063-3.p GEO064-2.p GEO064-3.p
GEO065-2.p GEO065-3.p GEO066-2.p GEO066-3.p GEO067-2.p GEO067-3.p GEO068-2.p
GEO068-3.p GEO069-2.p GEO069-3.p GEO070-2.p GEO070-3.p GEO071-2.p GEO071-3.p
GEO072-2.p GEO072-3.p GEO073-1.p GEO073-2.p GEO073-3.p GEO074-2.p GEO075-2.p
GEO076-4.p GEO077-4.p GEO078-4.p GEO078-5.p GEO078-6.p GEO078-7.p GEO079-1.p
GEO080+1.p GEO080-1.p GEO081+1.p GEO081-1.p GEO082+1.p GEO082-1.p GEO083+1.p
GEO083-1.p GEO084+1.p GEO084-1.p GEO085+1.p GEO085-1.p GEO086+1.p GEO086-1.p
GEO087+1.p GEO087-1.p GEO088+1.p GEO088-1.p GEO089+1.p GEO089-1.p GEO090+1.p
GEO090-1.p GEO091+1.p GEO091-1.p GEO092+1.p GEO092-1.p GEO093+1.p GEO093-1.p
GEO094+1.p GEO094-1.p GEO095+1.p GEO095-1.p GEO096+1.p GEO096-1.p GEO097+1.p
GEO097-1.p GEO098+1.p GEO098-1.p GEO099+1.p GEO099-1.p GEO100+1.p GEO100-1.p
GEO101+1.p GEO101-1.p GEO102+1.p GEO102-1.p GEO103+1.p GEO103-1.p GEO104+1.p
GEO104-1.p GEO105+1.p GEO105-1.p GEO106+1.p GEO106-1.p GEO107+1.p GEO107-1.p
GEO108+1.p GEO108-1.p GEO109+1.p GEO109-1.p GEO110+1.p GEO110-1.p GEO111+1.p
GEO111-1.p GEO112+1.p GEO112-1.p GEO113+1.p GEO113-1.p GEO114+1.p GEO114-1.p
GEO115+1.p GEO115-1.p GEO116+1.p GEO116-1.p GEO117+1.p GEO117-1.p GEO118+1.p
GEO118-1.p GEO119+1.p GEO119-1.p GEO120+1.p GEO120-1.p GEO121+1.p GEO121-1.p
GEO122+1.p GEO122-1.p GEO123+1.p GEO123-1.p GEO124+1.p GEO124-1.p GEO125+1.p
GEO125-1.p GEO126+1.p GEO126-1.p GEO127+1.p GEO127-1.p GEO128+1.p GEO128-1.p
GEO129+1.p GEO129-1.p GEO130+1.p GEO130-1.p GEO131+1.p GEO131-1.p GEO132+1.p
GEO132-1.p GEO133+1.p GEO133-1.p GEO134+1.p GEO134-1.p GEO135+1.p GEO135-1.p
GEO136+1.p GEO136-1.p GEO137+1.p GEO137-1.p GEO138+1.p GEO138-1.p GEO139+1.p
GEO139-1.p GEO140+1.p GEO140-1.p GEO141+1.p GEO141-1.p GEO142+1.p GEO142-1.p
GEO143+1.p GEO143-1.p GEO144+1.p GEO144-1.p GEO145+1.p GEO145-1.p GEO146+1.p
GEO146-1.p GEO147+1.p GEO147-1.p GEO148+1.p GEO148-1.p GEO149+1.p GEO149-1.p
GEO150+1.p GEO150-1.p GEO151+1.p GEO151-1.p GEO152+1.p GEO152-1.p GEO153-1.p
GEO153-2.p GEO154-1.p GEO154-2.p GEO155-1.p GEO156-1.p GEO157-1.p GEO158+1.p
GEO158-1.p GEO159+1.p GEO159-1.p GEO160+1.p GEO160-1.p GEO161+1.p GEO161-1.p
GEO162-1.p GEO163-1.p GEO164+1.p GEO165+1.p GEO166+1.p GEO167+1.p GEO168+1.p
GEO169+1.p GEO169+2.p GEO170+1.p GEO170+2.p GEO170+3.p GEO171+1.p GEO171+2.p
GEO171+3.p GEO172+1.p GEO172+2.p GEO172+3.p GEO173+1.p GEO173+2.p GEO173+3.p
GEO174+1.p GEO174+2.p GEO174+3.p GEO175+1.p GEO175+2.p GEO175+3.p GEO176+1.p
GEO176+2.p GEO176+3.p GEO177+1.p GEO177+2.p GEO177+3.p GEO178+1.p GEO178+2.p
GEO178+3.p GEO179+1.p GEO179+2.p GEO179+3.p GEO180+1.p GEO180+2.p GEO180+3.p
GEO181+1.p GEO181+2.p GEO181+3.p GEO182+1.p GEO182+2.p GEO182+3.p GEO183+1.p
GEO183+2.p GEO183+3.p GEO184+1.p GEO184+2.p GEO184+3.p GEO185+1.p GEO185+2.p
GEO185+3.p GEO186+1.p GEO186+2.p GEO186+3.p GEO187+1.p GEO187+2.p GEO187+3.p
GEO188+1.p GEO188+2.p GEO188+3.p GEO189+1.p GEO189+2.p GEO189+3.p GEO190+1.p
GEO190+2.p GEO190+3.p GEO191+1.p GEO191+2.p GEO191+3.p GEO192+1.p GEO192+2.p
GEO192+3.p GEO193+1.p GEO193+2.p GEO193+3.p GEO194+1.p GEO194+2.p GEO194+3.p
GEO195+1.p GEO195+2.p GEO195+3.p GEO196+1.p GEO196+2.p GEO196+3.p GEO197+1.p
GEO197+2.p GEO197+3.p GEO198+1.p GEO198+2.p GEO198+3.p GEO199+1.p GEO199+2.p
GEO199+3.p GEO200+1.p GEO200+2.p GEO200+3.p GEO201+1.p GEO201+2.p GEO201+3.p
GEO202+1.p GEO202+2.p GEO202+3.p GEO203+1.p GEO203+2.p GEO203+3.p GEO204+1.p
GEO204+2.p GEO204+3.p GEO205+1.p GEO205+2.p GEO205+3.p GEO206+1.p GEO206+2.p
GEO206+3.p GEO207+1.p GEO207+2.p GEO207+3.p GEO208+1.p GEO208+2.p GEO208+3.p
GEO209+1.p GEO209+2.p GEO209+3.p GEO210+1.p GEO210+2.p GEO210+3.p GEO211+1.p
GEO211+2.p GEO211+3.p GEO212+1.p GEO212+2.p GEO212+3.p GEO213+1.p GEO213+2.p
GEO213+3.p GEO214+1.p GEO214+2.p GEO214+3.p GEO215+1.p GEO215+2.p GEO215+3.p
GEO216+1.p GEO216+2.p GEO216+3.p GEO217+1.p GEO217+2.p GEO217+3.p GEO218+1.p
GEO218+2.p GEO218+3.p GEO219+1.p GEO219+2.p GEO219+3.p GEO220+1.p GEO220+2.p
GEO220+3.p GEO221+1.p GEO221+2.p GEO221+3.p GEO222+1.p GEO222+2.p GEO222+3.p
GEO223+1.p GEO223+2.p GEO223+3.p GEO224+1.p GEO224+2.p GEO224+3.p GEO225+1.p
GEO225+2.p GEO225+3.p GEO226+1.p GEO226+2.p GEO226+3.p GEO227+1.p GEO227+3.p
GEO228+1.p GEO228+3.p GEO229+1.p GEO229+3.p GEO230+1.p GEO230+3.p GEO231+1.p
GEO231+3.p GEO232+1.p GEO232+3.p GEO233+1.p GEO233+3.p GEO234+1.p GEO234+3.p
GEO235+1.p GEO235+3.p GEO236+1.p GEO236+3.p GEO237+1.p GEO237+3.p GEO238+1.p
GEO238+3.p GEO239+1.p GEO239+3.p GEO240+1.p GEO240+3.p GEO241+1.p GEO241+3.p
GEO242+1.p GEO242+3.p GEO243+1.p GEO243+3.p GEO244+1.p GEO244+3.p GEO245+1.p
GEO245+3.p GEO246+1.p GEO246+3.p GEO247+1.p GEO247+3.p GEO248+1.p GEO248+3.p
GEO249+1.p GEO249+3.p GEO250+1.p GEO250+3.p GEO251+1.p GEO251+3.p GEO252+1.p
GEO252+3.p GEO253+1.p GEO253+3.p GEO254+1.p GEO254+3.p GEO255+1.p GEO255+3.p
GEO256+1.p GEO256+3.p GEO257+1.p GEO257+3.p GEO258+1.p GEO258+3.p GEO259+1.p
GEO259+3.p GEO260+1.p GEO260+3.p GEO261+1.p GEO261+3.p GEO262+1.p GEO262+3.p
GEO263+1.p GEO263+3.p GEO264+1.p GEO264+3.p GEO265+3.p GEO266+3.p GEO267+3.p
GEO268+3.p GEO269+3.p GEO270+1.p GEO271+1.p GEO272+1.p GEO273+1.p GEO274+1.p
GEO275+1.p GEO276+1.p GEO277+1.p GEO278+1.p GEO279+1.p GEO280+1.p GEO281+1.p
GEO282+1.p GEO283+1.p GEO284+1.p GEO285+1.p GEO286+1.p GEO287+1.p GEO288+1.p
GEO289+1.p GEO290+1.p GEO291+1.p GEO292+1.p GEO293+1.p GEO294+1.p GEO295+1.p
GEO296+1.p GEO297+1.p GEO298+1.p GEO299+1.p GEO300+1.p GEO301+1.p GEO302+1.p
GEO303+1.p GEO304+1.p GEO305+1.p GEO306+1.p GEO307+1.p GEO308+1.p GEO309+1.p
GEO310+1.p GEO311+1.p GEO312+1.p GEO313+1.p GEO314+1.p GEO315+1.p GEO316+1.p
GEO317+1.p GEO318+1.p GEO319+1.p GEO320+1.p GEO321+1.p GEO322+1.p GEO323+1.p
GEO324+1.p GEO325+1.p GEO326+1.p GEO327+1.p GEO328+1.p GEO329+1.p GEO330+1.p
GEO331+1.p GEO332+1.p GEO333+1.p GEO334+1.p GEO335+1.p GEO336+1.p GEO337+1.p
GEO338+1.p GEO339+1.p GEO340+1.p GEO341+1.p GEO342+1.p GEO343+1.p GEO344+1.p
GEO345+1.p GEO346+1.p GEO347+1.p GEO348+1.p GEO349+1.p GEO350+1.p GEO351+1.p
GEO352-1.p GEO353+1.p GEO354+1.p GEO355+1.p GEO356^1.p GEO357^1.p GEO358^1.p
GEO359^1.p GEO360^1.p GEO361^1.p GEO362^1.p GEO363^1.p GEO364^1.p GEO365^1.p
GEO366^1.p GEO367^1.p GEO368^1.p GEO369^1.p GEO370^1.p GEO371^1.p GEO372^1.p
GEO373^1.p GEO374^1.p GEO375^1.p GEO376^1.p GEO377^1.p GEO378^1.p GEO379^1.p
GEO380^1.p GEO381^1.p GEO382^1.p GEO383^1.p GEO384^1.p GEO385^1.p GEO386^1.p
GEO387^1.p GEO388^1.p GEO389^1.p GEO390^1.p GEO391^1.p GEO392^1.p GEO393^1.p
GEO394^1.p GEO395^1.p GEO396^1.p GEO397^1.p GEO398^1.p GEO399^1.p GEO400^1.p
GEO401^1.p GEO402^1.p GEO403^1.p GEO404^1.p GEO405^1.p GEO406^1.p GEO407^1.p
GEO408^1.p GEO409^1.p GEO410^1.p GEO411^1.p GEO412^1.p GEO413^1.p GEO414^1.p
GEO415^1.p GEO416^1.p GEO417^1.p GEO418^1.p GEO419^1.p GEO420^1.p GEO421^1.p
GEO422^1.p GEO423^1.p GEO424^1.p GEO425^1.p GEO426^1.p GEO427^1.p GEO428^1.p
GEO429^1.p GEO430^1.p GEO431^1.p GEO432^1.p GEO433^1.p GEO434^1.p GEO435^1.p
GEO436^1.p GEO437^1.p GEO438^1.p GEO439^1.p GEO440+1.p GEO441+1.p GEO442+1.p
GEO443+1.p GEO444+1.p GEO445+1.p GEO446+1.p GEO447+1.p GEO448+1.p GEO449+1.p
GEO450+1.p GEO451+1.p GEO452+1.p GEO453+1.p GEO454+1.p GEO455+1.p GEO456+1.p
GEO457+1.p GEO458+1.p GEO459+1.p GEO460+1.p GEO461+1.p GEO462+1.p GEO463+1.p
GEO464+1.p GEO465+1.p GEO466+1.p GEO467+1.p GEO468+1.p GEO469+1.p GEO470+1.p
GEO471+1.p GEO472+1.p GEO473+1.p GEO474+1.p GEO475+1.p GEO476+1.p GEO477+1.p
GEO478+1.p GEO479+1.p GEO480+1.p GEO481+1.p GEO482+1.p GEO483+1.p GEO484+1.p
GEO485+1.p GEO486+1.p GEO487+1.p GEO488+1.p GEO489+1.p GEO490+1.p GEO491+1.p
GEO492+1.p GEO493+1.p GEO494+1.p GEO495+1.p GEO496+1.p GEO497+1.p GEO498+1.p
GEO499+1.p GEO500+1.p GEO501+1.p GEO502+1.p GEO503+1.p GEO504+1.p GEO505+1.p
GEO506+1.p GEO507+1.p GEO508+1.p GEO509+1.p GEO510+1.p GEO511+1.p GEO512+1.p
GEO513+1.p GEO514+1.p GEO515+1.p GEO516+1.p GEO517+1.p GEO518+1.p GEO519+1.p
GEO520+1.p GEO521+1.p GEO522+1.p GEO523+1.p GEO524+1.p GEO525+1.p GEO526+1.p
GEO527+1.p GEO528+1.p GEO529+1.p GEO530+1.p GEO531+1.p GEO532+1.p GEO533+1.p
GEO534+1.p GEO535+1.p GEO536+1.p GEO537+1.p GEO538+1.p GEO539+1.p GEO540+1.p
GEO541+1.p GEO542+1.p GEO543+1.p GEO544+1.p GEO545+1.p GEO546+1.p GEO547+1.p
GEO548+1.p GEO549+1.p GEO550+1.p GEO551+1.p GEO552+1.p GEO553+1.p GEO554+1.p
GEO555+1.p GEO556+1.p GEO557+1.p GEO558+1.p GEO559+1.p GEO560+1.p GEO561+1.p
GEO562+1.p GEO563+1.p GEO564+1.p GEO565+1.p GEO566+1.p GEO567+1.p GEO568+1.p
GEO569+1.p GEO570+1.p GEO571+1.p GEO572+1.p GEO573+1.p GEO574+1.p GEO575+1.p
GEO576+1.p GEO577+1.p GEO578+1.p GEO579+1.p GEO580+1.p GEO581+1.p GEO582+1.p
GEO583+1.p GEO584+1.p GEO585+1.p GEO586+1.p GEO587+1.p GEO588+1.p GEO589+1.p
GEO590+1.p GEO591+1.p GEO592+1.p GEO593+1.p GEO594+1.p GEO595+1.p GEO596+1.p
GEO597+1.p GEO598+1.p GEO599+1.p GEO600+1.p GEO601+1.p GEO602+1.p GEO603+1.p
GEO604+1.p GEO605+1.p GEO606+1.p GEO607+1.p GEO608+1.p GEO609+1.p GEO610+1.p
GEO611+1.p GEO612+1.p GEO613+1.p GEO614+1.p GEO615+1.p GEO616+1.p GEO617+1.p
GEO618+1.p GEO619+1.p GEO620+1.p GEO621+1.p GEO622+1.p GEO623+1.p GEO624+1.p
GEO625+1.p GEO626+1.p GEO627+1.p GEO628+1.p GEO629+1.p GEO630+1.p GEO631+1.p
GEO632+1.p GEO633+1.p GEO634+1.p GEO635+1.p GEO636+1.p GEO637+1.p GEO638+1.p
GEO639+1.p GEO640+1.p GEO641+1.p GEO642+1.p GEO643+1.p GEO644+1.p GEO645+1.p
GEO646+1.p GEO647+1.p GEO648+1.p GEO649+1.p GEO650+1.p GEO651+1.p GEO652+1.p
GEO653+1.p GEO654+1.p GEO655+1.p GEO656+1.p GEO657+1.p GEO658+1.p GEO659+1.p
GEO660+1.p