TPTP Problem Domain: KRS


KRS001-1.p KRS002-1.p KRS003-1.p KRS003_1.p KRS004-1.p KRS005-1.p KRS006-1.p
KRS007-1.p KRS008-1.p KRS009-1.p KRS010-1.p KRS011-1.p KRS012-1.p KRS013-1.p
KRS014-1.p KRS015-1.p KRS016-1.p KRS017-1.p KRS018+1.p KRS019+1.p KRS020+1.p
KRS021+1.p KRS022+1.p KRS023+1.p KRS024+1.p KRS025+1.p KRS026+1.p KRS027+1.p
KRS028+1.p KRS029+1.p KRS030+1.p KRS031+1.p KRS032+1.p KRS033+1.p KRS034+1.p
KRS035+1.p KRS036+1.p KRS037+1.p KRS038+1.p KRS039+1.p KRS040+1.p KRS041+1.p
KRS042+1.p KRS043+1.p KRS044+1.p KRS045+1.p KRS046+1.p KRS047+1.p KRS048+1.p
KRS049+1.p KRS050+1.p KRS051+1.p KRS052+1.p KRS053+1.p KRS054+1.p KRS055+1.p
KRS056+1.p KRS057+1.p KRS058+1.p KRS059+1.p KRS060+1.p KRS061+1.p KRS062+1.p
KRS063+1.p KRS064+1.p KRS065+1.p KRS066+1.p KRS067+1.p KRS068+1.p KRS069+1.p
KRS070+1.p KRS071+1.p KRS072+1.p KRS073+1.p KRS074+1.p KRS075+1.p KRS076+1.p
KRS077+1.p KRS078+1.p KRS079+1.p KRS080+1.p KRS081+1.p KRS082+1.p KRS083+1.p
KRS084+1.p KRS085+1.p KRS086+1.p KRS087+1.p KRS088+1.p KRS089+1.p KRS090+1.p
KRS091+1.p KRS092+1.p KRS093+1.p KRS094+1.p KRS095+1.p KRS096+1.p KRS097+1.p
KRS098+1.p KRS099+1.p KRS100+1.p KRS101+1.p KRS102+1.p KRS103+1.p KRS104+1.p
KRS105+1.p KRS106+1.p KRS107+1.p KRS108+1.p KRS109+1.p KRS110+1.p KRS111+1.p
KRS112+1.p KRS113+1.p KRS114+1.p KRS115+1.p KRS116+1.p KRS117+1.p KRS118+1.p
KRS119+1.p KRS120+1.p KRS121+1.p KRS122+1.p KRS123+1.p KRS124+1.p KRS125+1.p
KRS126+1.p KRS127+1.p KRS128+1.p KRS129+1.p KRS130+1.p KRS131+1.p KRS132+1.p
KRS133+1.p KRS134+1.p KRS135+1.p KRS136+1.p KRS137+1.p KRS138+1.p KRS139+1.p
KRS140+1.p KRS141+1.p KRS142+1.p KRS143+1.p KRS144+1.p KRS145+1.p KRS146+1.p
KRS147+1.p KRS148+1.p KRS149+1.p KRS150+1.p KRS151+1.p KRS152+1.p KRS153+1.p
KRS154+1.p KRS155+1.p KRS156+1.p KRS157+1.p KRS158+1.p KRS159+1.p KRS160+1.p
KRS161+1.p KRS162+1.p KRS163+1.p KRS164+1.p KRS165+1.p KRS166+1.p KRS167+1.p
KRS168+1.p KRS169+1.p KRS170+1.p KRS171+1.p KRS172+1.p KRS173+1.p KRS174+1.p
KRS175+1.p KRS176+1.p KRS177+1.p KRS178+1.p KRS179+1.p KRS180+1.p KRS181+1.p
KRS182+1.p KRS183+1.p KRS184+1.p KRS185+1.p KRS186+1.p KRS187+1.p KRS188+1.p
KRS189+1.p KRS190+1.p KRS191+1.p KRS192+1.p KRS193+1.p KRS194+1.p KRS195+1.p
KRS196+1.p KRS197+1.p KRS198+1.p KRS199+1.p KRS200+1.p KRS201+1.p KRS202+1.p
KRS203+1.p KRS204+1.p KRS205+1.p KRS206+1.p KRS207+1.p KRS208+1.p KRS209+1.p
KRS210+1.p KRS211+1.p KRS212+1.p KRS213+1.p KRS214+1.p KRS215+1.p KRS216+1.p
KRS217+1.p KRS218+1.p KRS219+1.p KRS220+1.p KRS221+1.p KRS222+1.p KRS223+1.p
KRS224+1.p KRS225+1.p KRS226+1.p KRS227+1.p KRS228+1.p KRS229+1.p KRS230+1.p
KRS231+1.p KRS232+1.p KRS233+1.p KRS234+1.p KRS235+1.p KRS236+1.p KRS237+1.p
KRS238+1.p KRS239+1.p KRS240+1.p KRS241+1.p KRS242+1.p KRS243+1.p KRS244+1.p
KRS245+1.p KRS246+1.p KRS247+1.p KRS248+1.p KRS249+1.p KRS250+1.p KRS251+1.p
KRS252+1.p KRS253+1.p KRS254+1.p KRS255+1.p KRS256+1.p KRS257+1.p KRS258+1.p
KRS259+1.p KRS260+1.p KRS261+1.p KRS262+1.p KRS263+1.p KRS264+1.p KRS265+1.p
KRS266+1.p KRS267+1.p KRS268+1.p KRS269+1.p KRS270+1.p KRS271+1.p KRS272^7.p
KRS273^7.p KRS274^7.p KRS275^7.p KRS276^7.p KRS277^7.p KRS278+1.p KRS278-1.p
KRS279+1.p KRS279-1.p KRS280+1.p KRS280-1.p KRS281+1.p KRS281-1.p KRS282+1.p
KRS282-1.p KRS283+1.p KRS284+1.p KRS284-1.p KRS285+1.p KRS285-1.p KRS286+1.p
KRS286-1.p KRS287+1.p KRS287-1.p KRS288+1.p KRS288-1.p KRS289+1.p KRS289-1.p
KRS290+1.p KRS290-1.p KRS291+1.p KRS291-1.p