TPTP Problem Domain: NUN


NUN000_5.p NUN001_5.p NUN002_5.p NUN003_5.p NUN004_5.p NUN005_5.p NUN006_5.p
NUN007_5.p NUN008_5.p NUN009_5.p NUN010_5.p NUN011_5.p NUN012_5.p NUN013_5.p
NUN014_5.p NUN015_5.p NUN016_5.p NUN017_5.p NUN018_5.p NUN019+1.p NUN020+1.p
NUN021^1.p NUN022^1.p NUN023^1.p NUN023^2.p NUN024^1.p NUN024^2.p NUN025^1.p
NUN025^2.p NUN025^3.p NUN026^1.p NUN027^1.p NUN028^1.p NUN029^1.p NUN030^1.p
NUN031^1.p NUN032^1.p NUN033^1.p NUN034^1.p NUN035^1.p NUN036^1.p NUN037^1.p
NUN038^1.p NUN039^1.p NUN040^1.p NUN041^1.p NUN042^1.p NUN043^1.p NUN044^1.p
NUN045^1.p NUN046^1.p NUN047^1.p NUN048^1.p NUN049^1.p NUN050^1.p NUN051^1.p
NUN052^1.p NUN053^4.p NUN054+1.p NUN054+2.p NUN055+1.p NUN055+2.p NUN056+1.p
NUN056+2.p NUN057+1.p NUN057+2.p NUN058+1.p NUN058+2.p NUN059+1.p NUN059+2.p
NUN060+1.p NUN060+2.p NUN061+1.p NUN061+2.p NUN062+1.p NUN062+2.p NUN063+1.p
NUN063+2.p NUN064+1.p NUN064+2.p NUN065+1.p NUN065+2.p NUN066+1.p NUN066+2.p
NUN067+1.p NUN067+2.p NUN068+1.p NUN068+2.p NUN069+1.p NUN069+2.p NUN070+1.p
NUN070+2.p NUN071+1.p NUN071+2.p NUN072+1.p NUN072+2.p NUN073+1.p NUN073+2.p
NUN074+1.p NUN074+2.p NUN075+1.p NUN075+2.p NUN076+1.p NUN076+2.p NUN077+1.p
NUN077+2.p NUN078+1.p NUN078+2.p NUN079+1.p NUN079+2.p NUN080+1.p NUN080+2.p
NUN081+1.p NUN081+2.p NUN082+1.p NUN082+2.p NUN083+1.p NUN083+2.p NUN084+1.p
NUN084+2.p NUN085+1.p NUN085+2.p NUN086+1.p NUN086+2.p NUN087+1.p NUN087+2.p
NUN088+1.p NUN088+2.p NUN088+3.p NUN089+1.p NUN089+2.p NUN090+1.p NUN090+2.p
NUN091+1.p NUN092+1.p NUN092+2.p NUN093^1.p NUN094^1.p NUN095^1.p NUN096^1.p
NUN097^1.p NUN098^1.p NUN099^1.p NUN100^1.p NUN101^1.p NUN102^1.p NUN103^1.p
NUN104^1.p NUN105^1.p NUN106^1.p NUN107^1.p NUN108^1.p NUN109^1.p NUN110^1.p
NUN111^1.p NUN112^1.p NUN113^1.p NUN114^1.p NUN115^1.p NUN116^1.p NUN117^1.p
NUN118^1.p NUN119^1.p NUN120^1.p NUN121^1.p NUN122^1.p NUN123^1.p NUN124^1.p
NUN125^1.p NUN126^1.p NUN127^1.p NUN128^1.p NUN129^1.p NUN130^1.p NUN131^1.p
NUN132^1.p