TPTP Problem Domain: SEV

SEV000^5.p SEV001^5.p SEV002^5.p SEV003^5.p SEV004^5.p SEV005^5.p SEV006^5.p
SEV007^5.p SEV008^5.p SEV009^5.p SEV010^5.p SEV011^5.p SEV012^5.p SEV013^5.p
SEV014^5.p SEV015^5.p SEV016^5.p SEV017^5.p SEV018^5.p SEV019^5.p SEV020^5.p
SEV021^5.p SEV021^6.p SEV021^7.p SEV022^5.p SEV023^5.p SEV024^5.p SEV025^5.p
SEV026^5.p SEV027^5.p SEV028^5.p SEV029^5.p SEV030^5.p SEV031^5.p SEV032^5.p
SEV033^5.p SEV034^5.p SEV035^5.p SEV036^5.rm SEV037^5.p SEV038^5.p SEV039^5.p
SEV040^5.p SEV041^5.p SEV042^5.p SEV043^5.p SEV044^5.p SEV045^5.p SEV046^5.p
SEV047^5.p SEV048^5.p SEV049^5.p SEV050^5.p SEV051^5.p SEV052^5.p SEV053^5.p
SEV054^5.p SEV055^5.p SEV056^5.p SEV057^5.p SEV058^5.p SEV059^5.p SEV060^5.p
SEV061^5.p SEV062^5.p SEV063^5.p SEV064^5.p SEV065^5.p SEV066^5.p SEV067^5.p
SEV068^5.p SEV069^5.rm SEV069^6.p SEV070^5.p SEV071^5.p SEV072^5.p SEV073^5.rm
SEV074^5.p SEV075^5.p SEV076^5.p SEV077^5.rm SEV078^5.rm SEV079^5.p SEV079^6.rm
SEV080^5.p SEV081^5.p SEV082^5.p SEV083^5.p SEV084^5.p SEV085^5.p SEV086^5.p
SEV087^5.p SEV088^5.p SEV089^5.p SEV090^5.p SEV091^5.p SEV092^5.p SEV093^5.p
SEV094^5.p SEV095^5.p SEV096^5.p SEV097^5.p SEV098^5.p SEV099^5.p SEV100^5.p
SEV101^5.p SEV102^5.p SEV103^5.p SEV104^5.p SEV105^5.p SEV106^5.p SEV107^5.p
SEV108^5.p SEV109^5.p SEV110^5.rm SEV111^5.rm SEV112^5.rm SEV113^5.p SEV114^5.p
SEV115^5.p SEV116^5.p SEV117^5.p SEV118^5.p SEV119^5.p SEV120^5.p SEV121^5.p
SEV121^6.rm SEV122^5.p SEV123^5.p SEV124^5.p SEV125^5.p SEV126^5.p SEV127^5.p
SEV128^5.p SEV129^5.p SEV130^5.p SEV131^5.p SEV132^5.p SEV133^5.p SEV134^5.p
SEV135^5.p SEV136^5.p SEV137^5.p SEV138^5.p SEV139^5.rm SEV140^5.p SEV141^5.p
SEV142^5.rm SEV143^5.p SEV144^5.p SEV145^5.rm SEV146^5.p SEV147^5.rm SEV148^5.p
SEV149^5.p SEV150^5.p SEV151^5.rm SEV152^5.p SEV153^5.p SEV154^5.p SEV155^5.p
SEV156^5.p SEV157^5.p SEV158^5.p SEV159^5.p SEV160^5.p SEV161^5.p SEV162^5.p
SEV163^5.p SEV164^5.p SEV165^5.p SEV166^5.p SEV167^5.p SEV168^5.p SEV169^5.p
SEV170^5.p SEV171^5.p SEV172^5.p SEV173^5.p SEV174^5.p SEV175^5.p SEV176^5.p
SEV177^5.p SEV178^5.rm SEV179^5.p SEV180^5.p SEV181^5.p SEV182^5.p SEV183^5.p
SEV184^5.p SEV185^5.p SEV186^5.p SEV187^5.p SEV188^5.p SEV189^5.p SEV190^5.p
SEV191^5.p SEV192^5.p SEV193^5.p SEV194^5.p SEV195^5.p SEV196^5.p SEV197^5.p
SEV198^5.p SEV199^5.p SEV200^5.p SEV201^5.rm SEV202^5.rm SEV203^5.p SEV204^5.p
SEV205^5.p SEV206^5.p SEV207^5.p SEV208^5.p SEV209^5.p SEV210^5.p SEV211^5.p
SEV212^5.p SEV213^5.p SEV214^5.p SEV215^5.p SEV216^5.p SEV217^5.p SEV218^5.p
SEV219^5.p SEV220^5.p SEV221^5.p SEV222^5.p SEV223^5.p SEV224^5.p SEV225^5.p
SEV226^5.p SEV227^5.p SEV228^5.p SEV229^5.p SEV230^5.p SEV231^5.p SEV232^5.p
SEV233^5.p SEV234^5.p SEV235^5.p SEV236^5.p SEV237^5.p SEV238^5.p SEV239^5.p
SEV240^5.p SEV241^5.p SEV242^5.p SEV243^5.p SEV244^5.rm SEV244^6.p SEV245^5.p
SEV245^6.p SEV246^5.p SEV246^6.p SEV247^5.rm SEV248^5.p SEV249^5.p SEV250^5.p
SEV251^5.p SEV252^5.p SEV253^5.p SEV254^5.p SEV255^5.rm SEV256^5.p SEV257^5.p
SEV258^5.p SEV259^5.p SEV260^5.p SEV261^5.p SEV262^5.p SEV263^5.p SEV264^5.p
SEV265^5.p SEV266^5.p SEV267^5.p SEV268^5.p SEV269^5.p SEV270^5.p SEV271^5.p
SEV272^5.p SEV273^5.p SEV274^5.p SEV275^5.p SEV276^5.p SEV277^5.p SEV278^5.p
SEV279^5.p SEV280^5.p SEV281^5.p SEV282^5.p SEV283^5.rm SEV284^5.rm SEV285^5.p
SEV286^5.p SEV287^5.rm SEV288^5.p SEV289^5.p SEV290^5.p SEV291^5.p SEV292^5.p
SEV293^5.p SEV294^5.p SEV295^5.p SEV296^5.p SEV297^5.p SEV298^5.p SEV299^5.p
SEV300^5.p SEV301^5.p SEV302^5.p SEV303^5.p SEV304^5.p SEV305^5.p SEV305^6.p
SEV306^5.p SEV307^5.rm SEV308^5.p SEV309^5.p SEV310^5.p SEV311^5.p SEV312^5.p
SEV313^5.p SEV314^5.p SEV315^5.p SEV316^5.p SEV317^5.p SEV318^5.p SEV319^5.p
SEV319^6.p SEV320^5.rm SEV321^5.p SEV322^5.p SEV323^5.p SEV324^5.p SEV325^5.p
SEV326^5.p SEV327^5.p SEV328^5.p SEV329^5.p SEV330^5.p SEV331^5.p SEV332^5.p
SEV333^5.p SEV334^5.p SEV335^5.p SEV336^5.p SEV337^5.p SEV338^5.p SEV339^5.p
SEV340^5.p SEV341^5.p SEV342^5.p SEV343^5.p SEV344^5.p SEV345^5.p SEV346^5.p
SEV347^5.p SEV348^5.p SEV349^5.p SEV350^5.p SEV351^5.p SEV352^5.p SEV353^5.rm
SEV354^5.p SEV355^5.p SEV356^5.p SEV357^5.p SEV358^5.p SEV359^5.p SEV360^5.p
SEV361^5.p SEV362^5.p SEV363^5.p SEV364^5.p SEV365^5.p SEV366^5.p SEV367^5.rm
SEV368^5.p SEV369^5.p SEV370^5.p SEV371^5.p SEV372^5.p SEV373^5.p SEV374^5.p
SEV375^5.p SEV376^5.p SEV377^5.p SEV378^5.p SEV379^5.p SEV380^5.p SEV381^5.p
SEV382^5.p SEV383^5.p SEV384^5.p SEV385^5.p SEV386^5.p SEV387^5.p SEV388^5.p
SEV389^5.p SEV390^5.p SEV391^5.p SEV392^5.p SEV393^5.p SEV394^5.p SEV395^5.rm
SEV396^5.p SEV397^5.p SEV398^5.p SEV399^5.p SEV400^5.p SEV401^5.p SEV402^5.p
SEV403^5.p SEV404^5.p SEV405^5.p SEV406^5.p SEV407^5.rm SEV408^5.p SEV409^5.p
SEV410^5.p SEV411^5.p SEV412^5.p SEV413^5.p SEV414^5.p SEV415^5.rm SEV416^5.p
SEV417^5.p SEV418^5.p SEV419^5.p SEV420^1.p SEV421_1.p SEV422_1.p SEV423_1.p
SEV424_1.p SEV425_1.p SEV426_1.p SEV427^1.p SEV428^1.p SEV429^1.p SEV430^1.p
SEV431^1.p SEV432^1.p SEV433^1.p SEV434^1.p SEV434_8.p SEV435+1.p SEV436-1.p
SEV437+1.p SEV438+1.p SEV439+1.p SEV440^1.p SEV441^1.p SEV442^1.p SEV443^1.p
SEV444^1.p SEV445^1.p SEV446^1.p SEV447^1.p SEV448^1.p SEV449^1.p SEV450^1.p
SEV451^1.p SEV452^1.p SEV453^1.p SEV454^1.p SEV455^1.p SEV456^1.p SEV457^1.p
SEV458^1.p SEV459^1.p SEV460^1.p SEV461^1.p SEV462^1.p SEV463^1.p SEV464^1.p
SEV465^1.p SEV466^1.p SEV467^1.p SEV468^1.p SEV469^1.p SEV470^1.p SEV471^1.p
SEV472^1.p SEV473^1.p SEV474^1.p SEV475^1.p SEV476^1.p SEV477^1.p SEV478^1.p
SEV479^1.p SEV480^1.p SEV481^1.p SEV482^1.p SEV483^1.p SEV484^1.p SEV485^1.p
SEV486^1.p SEV487^1.p SEV488^1.p SEV489^1.p SEV490^1.p SEV491^1.p SEV492^1.p
SEV493^1.p SEV494^1.p SEV495^1.p SEV496^1.p SEV497^1.p SEV498^1.p SEV499^1.p
SEV500^1.p SEV501^1.p SEV502^1.p SEV503^1.p SEV504^1.p SEV505^1.p SEV506^1.p
SEV507^1.p SEV508^1.p SEV509^1.p SEV510^1.p SEV511^1.p SEV512^1.p SEV513^1.p
SEV514^1.p SEV515+1.p SEV516+1.p SEV517+1.p SEV518+1.p SEV519+1.p SEV520+1.p
SEV521+1.p SEV522+1.p SEV523^1.p SEV524^1.p SEV525^1.p SEV526^1.p SEV527^1.p
SEV528^1.p SEV529^1.p SEV530^1.p SEV531^1.p SEV532^1.p