TPTP Problem Domain: ITP


ITP001+1.p ITP001^1.p ITP001_1.p ITP001+2.p ITP001^2.p ITP001_2.p ITP001^3.p
ITP001_3.p ITP001+4.p ITP001^4.p ITP001_4.p ITP001+5.p ITP001^5.p ITP001_5.p
ITP001^7.p ITP001_7.p ITP002+1.p ITP002^1.p ITP002_1.p ITP002+2.p ITP002^2.p
ITP002_2.p ITP002^3.p ITP002_3.p ITP002+4.p ITP002^4.p ITP002_4.p ITP002+5.p
ITP002^5.p ITP002_5.p ITP002^7.p ITP002_7.p ITP003+1.p ITP003^1.p ITP003_1.p
ITP003+2.p ITP003^2.p ITP003_2.p ITP003^3.p ITP003_3.p ITP003+4.p ITP003^4.p
ITP003_4.p ITP003+5.p ITP003^5.p ITP003_5.p ITP003^7.p ITP003_7.p ITP004+1.p
ITP004^1.p ITP004_1.p ITP004+2.p ITP004^2.p ITP004_2.p ITP004^3.p ITP004_3.p
ITP004+4.p ITP004^4.p ITP004_4.p ITP004+5.p ITP004^5.p ITP004_5.p ITP004^7.p
ITP004_7.p ITP005+1.p ITP005^1.p ITP005_1.p ITP005+2.p ITP005^2.p ITP005_2.p
ITP005^3.p ITP005_3.p ITP005+4.p ITP005^4.p ITP005_4.p ITP005+5.p ITP005^5.p
ITP005_5.p ITP005^7.p ITP005_7.p ITP006+1.p ITP006^1.p ITP006_1.p ITP006+2.p
ITP006^2.p ITP006_2.p ITP006^3.p ITP006_3.p ITP006+4.p ITP006^4.p ITP006_4.p
ITP006+5.p ITP006^5.p ITP006_5.p ITP006^7.p ITP006_7.p ITP007+1.p ITP007^1.p
ITP007_1.p ITP007+2.p ITP007^2.p ITP007_2.p ITP007^3.p ITP007_3.p ITP007+4.p
ITP007^4.p ITP007_4.p ITP007+5.p ITP007^5.p ITP007_5.p ITP007^7.p ITP007_7.p
ITP008+1.p ITP008^1.p ITP008_1.p ITP008+2.p ITP008^2.p ITP008_2.p ITP008^3.p
ITP008_3.p ITP008+4.p ITP008^4.p ITP008_4.p ITP008+5.p ITP008^5.p ITP008_5.p
ITP008^7.p ITP008_7.p ITP009+1.p ITP009^1.p ITP009_1.p ITP009+2.p ITP009^2.p
ITP009_2.p ITP009^3.p ITP009_3.p ITP009+4.p ITP009^4.p ITP009_4.p ITP009+5.p
ITP009^5.p ITP009_5.p ITP009^7.p ITP009_7.p ITP010+1.p ITP010^1.p ITP010_1.p
ITP010+2.p ITP010^2.p ITP010_2.p ITP010^3.p ITP010_3.p ITP010+4.p ITP010^4.p
ITP010_4.p ITP010+5.p ITP010^5.p ITP010_5.p ITP010^7.p ITP010_7.p ITP011+1.p
ITP011^1.p ITP011_1.p ITP011+2.p ITP011^2.p ITP011_2.p ITP011^3.p ITP011_3.p
ITP011+4.p ITP011^4.p ITP011_4.p ITP011+5.p ITP011^5.p ITP011_5.p ITP011^7.p
ITP011_7.p ITP012+1.p ITP012^1.p ITP012_1.p ITP012+2.p ITP012^2.p ITP012_2.p
ITP012^3.p ITP012_3.p ITP012+4.p ITP012^4.p ITP012_4.p ITP012+5.p ITP012^5.p
ITP012_5.p ITP012^7.p ITP012_7.p ITP013+1.p ITP013^1.p ITP013_1.p ITP013+2.p
ITP013^2.p ITP013_2.p ITP013^3.p ITP013_3.p ITP013+4.p ITP013^4.p ITP013_4.p
ITP013+5.p ITP013^5.p ITP013_5.p ITP013^7.p ITP013_7.p ITP014+1.p ITP014^1.p
ITP014_1.p ITP014+2.p ITP014^2.p ITP014_2.p ITP014^3.p ITP014_3.p ITP014+4.p
ITP014^4.p ITP014_4.p ITP014+5.p ITP014^5.p ITP014_5.p ITP014^7.p ITP014_7.p
ITP015+1.p ITP015^1.p ITP015_1.p ITP015+2.p ITP015^2.p ITP015_2.p ITP015^3.p
ITP015_3.p ITP015+4.p ITP015^4.p ITP015_4.p ITP015+5.p ITP015^5.p ITP015_5.p
ITP015^7.p ITP015_7.p ITP016+1.p ITP016^1.p ITP016_1.p ITP016+2.p ITP016^2.p
ITP016_2.p ITP016^3.p ITP016_3.p ITP016+4.p ITP016^4.p ITP016_4.p ITP016+5.p
ITP016^5.p ITP016_5.p ITP016^7.p ITP016_7.p ITP017+1.p ITP017^1.p ITP017_1.p
ITP017+2.p ITP017^2.p ITP017_2.p ITP017^3.p ITP017_3.p ITP017+4.p ITP017^4.p
ITP017_4.p ITP017+5.p ITP017^5.p ITP017_5.p ITP017^7.p ITP017_7.p ITP018+1.p
ITP018^1.p ITP018_1.p ITP018+2.p ITP018^2.p ITP018_2.p ITP018^3.p ITP018_3.p
ITP018+4.p ITP018^4.p ITP018_4.p ITP018+5.p ITP018^5.p ITP018_5.p ITP018^7.p
ITP018_7.p ITP019+1.p ITP019^1.p ITP019_1.p ITP019+2.p ITP019^2.p ITP019_2.p
ITP019^3.p ITP019_3.p ITP019+4.p ITP019^4.p ITP019_4.p ITP019+5.p ITP019^5.p
ITP019_5.p ITP019^7.p ITP019_7.p ITP020+1.p ITP020^1.p ITP020_1.p ITP020+2.p
ITP020^2.p ITP020_2.p ITP020^3.p ITP020_3.p ITP020+4.p ITP020^4.p ITP020_4.p
ITP020+5.p ITP020^5.p ITP020_5.p ITP020^7.p ITP020_7.p ITP021+1.p ITP021^1.p
ITP021_1.p ITP021+2.p ITP021^2.p ITP021_2.p ITP021^3.p ITP021_3.p ITP021+4.p
ITP021^4.p ITP021_4.p ITP021+5.p ITP021^5.p ITP021_5.p ITP021^7.p ITP021_7.p
ITP022+1.p ITP022^1.p ITP022_1.p ITP022+2.p ITP022^2.p ITP022_2.p ITP022^3.p
ITP022_3.p ITP022+4.p ITP022^4.p ITP022_4.p ITP022+5.p ITP022^5.p ITP022_5.p
ITP022^7.p ITP022_7.p ITP023+1.p ITP023^1.p ITP023_1.p ITP023+2.p ITP023^2.p
ITP023_2.p ITP023^3.p ITP023_3.p ITP023+4.p ITP023^4.p ITP023_4.p ITP023+5.p
ITP023^5.p ITP023_5.p ITP023^7.p ITP023_7.p ITP024+1.p ITP024^1.p ITP024_1.p
ITP024+2.p ITP024^2.p ITP024_2.p ITP024^3.p ITP024_3.p ITP024+4.p ITP024^4.p
ITP024_4.p ITP024+5.p ITP024^5.p ITP024_5.p ITP024^7.p ITP024_7.p ITP025+1.p
ITP025^1.p ITP025_1.p ITP025+2.p ITP025^2.p ITP025_2.p ITP025^3.p ITP025_3.p
ITP025+4.p ITP025^4.p ITP025_4.p ITP025+5.p ITP025^5.p ITP025_5.p ITP025^7.p
ITP025_7.p ITP026^1.p ITP026^2.p ITP027^1.p ITP027^2.p ITP028^1.p ITP028^2.p
ITP029^1.p ITP029^2.p ITP030^1.p ITP030^2.p ITP031^1.p ITP031^2.p ITP032^1.p
ITP032^2.p ITP033^1.p ITP033^2.p ITP034^1.p ITP034^2.p ITP035^1.p ITP035^2.p
ITP036^1.p ITP036^2.p ITP037^1.p ITP037^2.p ITP038^1.p ITP038^2.p ITP039^1.p
ITP039^2.p ITP040^1.p ITP040^2.p ITP041^1.p ITP041^2.p ITP042^1.p ITP042^2.p
ITP043^1.p ITP043^2.p ITP044^1.p ITP044^2.p ITP045^1.p ITP045^2.p ITP046^1.p
ITP046^2.p ITP047^1.p ITP047^2.p ITP048^1.p ITP048^2.p ITP049^1.p ITP049^2.p
ITP050^1.p ITP050^2.p ITP051^1.p ITP051^2.p ITP052^1.p ITP052^2.p ITP053^1.p
ITP053^2.p ITP054^1.p ITP054^2.p ITP055^1.p ITP055^2.p ITP056^1.p ITP056^2.p
ITP057^1.p ITP057^2.p ITP058^1.p ITP058^2.p ITP059^1.p ITP059^2.p ITP060^1.p
ITP060^2.p ITP061^1.p ITP061^2.p ITP062^1.p ITP062^2.p ITP063^1.p ITP063^2.p
ITP064^1.p ITP064^2.p ITP065^1.p ITP065^2.p ITP066^1.p ITP066^2.p ITP067^1.p
ITP067^2.p ITP068^1.p ITP068^2.p ITP069^1.p ITP069^2.p ITP070^1.p ITP070^2.p
ITP071^1.p ITP071^2.p ITP072^1.p ITP072^2.p ITP073^1.p ITP073^2.p ITP074^1.p
ITP074^2.p ITP075^1.p ITP075^2.p ITP076^1.p ITP076^2.p ITP077^1.p ITP077^2.p
ITP078^1.p ITP078^2.p ITP079^1.p ITP079^2.p ITP080^1.p ITP080^2.p ITP081^1.p
ITP081^2.p ITP082^1.p ITP082^2.p ITP083^1.p ITP083^2.p ITP084^1.p ITP084^2.p
ITP085^1.p ITP085^2.p ITP086^1.p ITP086^2.p ITP087^1.p ITP087^2.p ITP088^1.p
ITP088^2.p ITP089^1.p ITP089^2.p ITP090^1.p ITP090^2.p ITP091^1.p ITP091^2.p
ITP092^1.p ITP092^2.p ITP093^1.p ITP093^2.p ITP094^1.p ITP094^2.p ITP095^1.p
ITP095^2.p ITP096^1.p ITP096^2.p ITP097^1.p ITP097^2.p ITP098^1.p ITP098^2.p
ITP099^1.p ITP099^2.p ITP100^1.p ITP100^2.p ITP101^1.p ITP101^2.p ITP102^1.p
ITP102^2.p ITP103^1.p ITP103^2.p ITP104^1.p ITP104^2.p ITP105^1.p ITP105^2.p
ITP106^1.p ITP106^2.p ITP107^1.p ITP107^2.p ITP108^1.p ITP108^2.p ITP109^1.p
ITP109^2.p ITP110^1.p ITP110^2.p ITP111^1.p ITP111^2.p ITP112^1.p ITP112^2.p
ITP113^1.p ITP113^2.p ITP114^1.p ITP114^2.p ITP115^1.p ITP115^2.p ITP116^1.p
ITP116^2.p ITP117^1.p ITP117^2.p ITP118^1.p ITP118^2.p ITP119^1.p ITP119^2.p
ITP120^1.p ITP120^2.p ITP121^1.p ITP121^2.p ITP122^1.p ITP122^2.p ITP123^1.p
ITP123^2.p ITP124^1.p ITP124^2.p ITP125^1.p ITP125^2.p ITP126^1.p ITP126^2.p
ITP127^1.p ITP127^2.p ITP128^1.p ITP128^2.p ITP129^1.p ITP129^2.p ITP130^1.p
ITP130^2.p ITP131^1.p ITP131^2.p ITP132^1.p ITP132^2.p ITP133^1.p ITP133^2.p
ITP134^1.p ITP134^2.p ITP135^1.p ITP135^2.p ITP136^1.p ITP136^2.p ITP137^1.p
ITP137^2.p ITP138^1.p ITP138^2.p ITP139^1.p ITP139^2.p ITP140^1.p ITP140^2.p
ITP141^1.p ITP141^2.p ITP142^1.p ITP142^2.p ITP143^1.p ITP143^2.p ITP144^1.p
ITP144^2.p ITP145^1.p ITP145^2.p ITP146^1.p ITP146^2.p ITP147^1.p ITP147^2.p
ITP148^1.p ITP148^2.p ITP149^1.p ITP149^2.p ITP150^1.p ITP150^2.p ITP151^1.p
ITP151^2.p ITP152^1.p ITP152^2.p ITP153^1.p ITP153^2.p ITP154^1.p ITP154^2.p
ITP155^1.p ITP155^2.p ITP156^1.p ITP156^2.p ITP157^1.p ITP157^2.p ITP158^1.p
ITP158^2.p ITP159^1.p ITP159^2.p ITP160^1.p ITP160^2.p ITP161^1.p ITP161^2.p
ITP162^1.p ITP162^2.p ITP163^1.p ITP163^2.p ITP164^1.p ITP164^2.p ITP165^1.p
ITP165^2.p ITP166^1.p ITP166^2.p ITP167^1.p ITP167^2.p ITP168^1.p ITP168^2.p
ITP169^1.p ITP169^2.p ITP170^1.p ITP170^2.p ITP171^1.p ITP171^2.p ITP172^1.p
ITP172^2.p ITP173^1.p ITP173^2.p ITP174^1.p ITP174^2.p ITP175^1.p ITP175^2.p
ITP176^1.p ITP176^2.p ITP177^1.p ITP177^2.p ITP178^1.p ITP178^2.p ITP179^1.p
ITP179^2.p ITP180^1.p ITP180^2.p ITP181^1.p ITP181^2.p ITP182^1.p ITP182^2.p
ITP183^1.p ITP183^2.p ITP184^1.p ITP184^2.p ITP185^1.p ITP185^2.p ITP186^1.p
ITP186^2.p ITP187^1.p ITP187^2.p ITP188^1.p ITP188^2.p ITP189^1.p ITP189^2.p
ITP190^1.p ITP190^2.p ITP191^1.p ITP191^2.p ITP192^1.p ITP192^2.p ITP193^1.p
ITP193^2.p ITP194^1.p ITP194^2.p ITP195^1.p ITP195^2.p ITP196^1.p ITP196^2.p
ITP197^1.p ITP197^2.p ITP198^1.p ITP198^2.p ITP199^1.p ITP199^2.p ITP200^1.p
ITP200^2.p ITP201^1.p ITP201^2.p ITP202^1.p ITP202^2.p ITP203^1.p ITP203^2.p
ITP204^1.p ITP204^2.p ITP205^1.p ITP205^2.p