TPTP Problem Domain: GRA


GRA001-1.p GRA002+1.p GRA002+2.p GRA002+3.p GRA002+4.p GRA003+1.p GRA004+1.p
GRA005+1.p GRA006+1.p GRA007+1.p GRA007+2.p GRA008+1.p GRA008+2.p GRA009+1.p
GRA009+2.p GRA010+1.p GRA010+2.p GRA011+1.p GRA012+1.p GRA013+1.p GRA014+1.p
GRA015+1.p GRA016+1.p GRA017+1.p GRA018+1.p GRA019+1.p GRA020+1.p GRA021+1.p
GRA022+1.p GRA023+1.p GRA024+1.p GRA025+1.p GRA026+1.p GRA027^1.p GRA028^1.p
GRA029^1.p GRA029^2.p GRA030^1.p GRA031^1.p GRA031^2.p GRA032^1.p GRA032^2.p
GRA033^1.p GRA033^2.p GRA034^1.p GRA034^2.p GRA035^1.p GRA035^2.p GRA036^1.p
GRA036^2.p GRA037^1.p GRA037^2.p GRA038^1.p GRA038^2.p GRA039^1.p GRA039^2.p
GRA040^1.p GRA040^2.p GRA041^1.p GRA041^2.p GRA042^1.p GRA042^2.p GRA043^1.p
GRA043^2.p GRA044^1.p GRA044^2.p GRA045^1.p GRA045^2.p GRA046^1.p GRA046^2.p
GRA047^1.p GRA047^2.p GRA048^1.p GRA048^2.p GRA049^1.p GRA049^2.p GRA050^1.p
GRA050^2.p GRA051^1.p GRA051^2.p GRA052^1.p GRA052^2.p GRA053^1.p GRA053^2.p
GRA054^1.p GRA054^2.p GRA055^1.p GRA055^2.p GRA056^1.p GRA056^2.p GRA057^1.p
GRA057^2.p GRA058^1.p GRA058^2.p GRA059^1.p GRA059^2.p GRA060^1.p GRA060^2.p
GRA061^1.p GRA061^2.p GRA062^1.p GRA062^2.p GRA063^1.p GRA063^2.p GRA064^1.p
GRA064^2.p GRA065^1.p GRA065^2.p GRA066^1.p GRA066^2.p GRA067^1.p GRA067^2.p
GRA068^1.p GRA068^2.p GRA069^1.p GRA069^2.p GRA070^1.p GRA070^2.p GRA071^1.p
GRA071^2.p GRA072^1.p GRA072^2.p GRA073^1.p GRA073^2.p GRA074^1.p GRA074^2.p
GRA075+1.p