TSTP Solution Domain: GRA

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
GRA001-1
87-52-46-28		 GRA002+1
87-59-9-8		 GRA002+2
87-59-22-20		 GRA002+3
87-59-37-29		 GRA002+4
87-59-44-35		 GRA003+1
87-59-43-33		 GRA004+1
87-59-35-28
GRA005+1
87-59-43-34		 GRA006+1
87-59-25-21		 GRA007+1
87-59-27-23		 GRA007+2
87-59-26-22		 GRA008+1
87-59-21-17		 GRA008+2
87-59-34-26		 GRA009+1
87-59-21-17
GRA009+2
87-59-20-16		 GRA010+1
87-59-46-35		 GRA010+2
87-59-47-36		 GRA011+1
87-59-13-12		 GRA012+1
87-59-9-8		 GRA013+1
87-64-29-22		 GRA014+1
87-60-46-33
GRA015+1
87-64-20-15		 GRA016+1
87-64-19-14		 GRA017+1
87-64-18-13		 GRA018+1
87-64-13-11		 GRA019+1
87-62-1-1		 GRA020+1
87-64-20-15		 GRA021+1
87-64-21-16
GRA022+1
87-64-18-14		 GRA023+1
87-64-17-12		 GRA024+1
87-64-16-13		 GRA025+1
87-64-14-10		 GRA026+1
87-64-13-10		 GRA027^1
86-19-4-2		 GRA028^1
86-19-5-3
GRA029^1
86-19-0-0		 GRA029^2
86-19-0-0		 GRA030^1
86-19-6-5		 GRA031^1
86-19-2-1		 GRA031^2
86-19-0-0		 GRA032^1
86-19-0-0		 GRA032^2
86-19-0-0
GRA033^1
86-19-2-1		 GRA033^2
86-19-2-1		 GRA034^1
86-19-0-0		 GRA034^2
86-19-0-0		 GRA035^1
86-19-2-1		 GRA035^2
86-19-2-1		 GRA036^1
86-19-0-0
GRA036^2
86-19-0-0		 GRA037^1
86-19-2-1		 GRA037^2
86-19-2-1		 GRA038^1
86-19-2-1		 GRA038^2
86-19-2-1		 GRA039^1
86-19-0-0		 GRA039^2
86-19-0-0
GRA040^1
86-19-2-1		 GRA040^2
86-19-2-1		 GRA041^1
86-19-0-0		 GRA041^2
86-19-0-0		 GRA042^1
86-19-2-1		 GRA042^2
86-19-2-1		 GRA043^1
86-19-0-0
GRA043^2
86-19-0-0		 GRA044^1
86-19-0-0		 GRA044^2
86-19-0-0		 GRA045^1
86-19-2-1		 GRA045^2
86-19-2-1		 GRA046^1
86-19-0-0		 GRA046^2
86-19-0-0
GRA047^1
86-19-2-1		 GRA047^2
86-19-2-1		 GRA048^1
86-19-0-0		 GRA048^2
86-19-0-0		 GRA049^1
86-19-2-1		 GRA049^2
86-19-2-1		 GRA050^1
86-19-0-0
GRA050^2
86-19-0-0		 GRA051^1
86-19-2-1		 GRA051^2
86-19-2-1		 GRA052^1
86-19-0-0		 GRA052^2
86-19-0-0		 GRA053^1
86-19-2-1		 GRA053^2
86-19-2-1
GRA054^1
86-19-0-0		 GRA054^2
86-19-0-0		 GRA055^1
86-19-0-0		 GRA055^2
86-19-0-0		 GRA056^1
86-19-2-1		 GRA056^2
86-19-2-1		 GRA057^1
86-19-0-0
GRA057^2
86-19-0-0		 GRA058^1
86-19-2-1		 GRA058^2
86-19-2-1		 GRA059^1
86-19-2-1		 GRA059^2
86-19-2-1		 GRA060^1
86-19-0-0		 GRA060^2
86-19-0-0
GRA061^1
86-19-2-1		 GRA061^2
86-19-2-1		 GRA062^1
86-19-0-0		 GRA062^2
86-19-0-0		 GRA063^1
86-19-0-0		 GRA063^2
86-19-0-0		 GRA064^1
86-19-2-1
GRA064^2
86-19-2-1		 GRA065^1
86-19-0-0		 GRA065^2
86-19-0-0		 GRA066^1
86-19-2-1		 GRA066^2
86-19-2-1		 GRA067^1
86-19-0-0		 GRA067^2
86-19-0-0
GRA068^1
86-19-2-1		 GRA068^2
86-19-2-1		 GRA069^1
86-19-0-0		 GRA069^2
86-19-0-0		 GRA070^1
86-19-2-1		 GRA070^2
86-19-2-1		 GRA071^1
86-19-1-0
GRA071^2
86-19-1-0		 GRA072^1
86-19-0-0		 GRA072^2
86-19-0-0		 GRA073^1
86-19-1-0		 GRA073^2
86-19-1-0		 GRA074^1
86-19-0-0		 GRA074^2
86-19-0-0
GRA075+1
76-60-24-21