TSTP Solution Domain: GRA

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
GRA001-1
98-57-51-32		 GRA002+1
98-64-13-12		 GRA002+2
98-64-25-22		 GRA002+3
98-64-38-30		 GRA002+4
98-64-48-38		 GRA003+1
98-64-47-37		 GRA004+1
98-64-38-31
GRA005+1
98-64-48-39		 GRA006+1
98-64-28-22		 GRA007+1
98-64-30-24		 GRA007+2
98-64-29-23		 GRA008+1
98-64-24-20		 GRA008+2
98-64-37-29		 GRA009+1
98-64-25-20
GRA009+2
98-64-25-20		 GRA010+1
98-64-51-40		 GRA010+2
98-64-51-40		 GRA011+1
98-64-16-14		 GRA012+1
98-64-13-12		 GRA013+1
98-69-32-23		 GRA014+1
98-65-49-35
GRA015+1
98-69-22-16		 GRA016+1
98-69-21-15		 GRA017+1
98-69-20-14		 GRA018+1
98-69-14-12		 GRA019+1
98-67-0-0		 GRA020+1
98-69-22-16		 GRA021+1
98-69-23-17
GRA022+1
98-69-21-15		 GRA023+1
98-69-18-13		 GRA024+1
98-69-19-14		 GRA025+1
98-69-15-11		 GRA026+1
98-69-13-10		 GRA027^1
97-20-4-2		 GRA028^1
97-20-6-4
GRA029^1
97-20-0-0		 GRA029^2
97-20-1-1		 GRA030^1
97-20-9-7		 GRA031^1
97-20-2-2		 GRA031^2
97-20-0-0		 GRA032^1
97-20-0-0		 GRA032^2
97-20-1-1
GRA033^1
97-20-2-2		 GRA033^2
97-20-2-2		 GRA034^1
97-20-1-1		 GRA034^2
97-20-1-1		 GRA035^1
97-20-2-2		 GRA035^2
97-20-2-2		 GRA036^1
97-20-1-1
GRA036^2
97-20-1-1		 GRA037^1
97-20-2-2		 GRA037^2
97-20-2-2		 GRA038^1
97-20-2-2		 GRA038^2
97-20-2-2		 GRA039^1
97-20-1-1		 GRA039^2
97-20-1-1
GRA040^1
97-20-2-2		 GRA040^2
97-20-2-2		 GRA041^1
97-20-1-1		 GRA041^2
97-20-1-1		 GRA042^1
97-20-2-2		 GRA042^2
97-20-2-2		 GRA043^1
97-20-1-1
GRA043^2
97-20-1-1		 GRA044^1
97-20-1-1		 GRA044^2
97-20-1-1		 GRA045^1
97-20-2-2		 GRA045^2
97-20-2-2		 GRA046^1
97-20-1-1		 GRA046^2
97-20-1-1
GRA047^1
97-20-2-2		 GRA047^2
97-20-2-2		 GRA048^1
97-20-1-1		 GRA048^2
97-20-1-1		 GRA049^1
97-20-2-2		 GRA049^2
97-20-2-2		 GRA050^1
97-20-1-1
GRA050^2
97-20-1-1		 GRA051^1
97-20-2-2		 GRA051^2
97-20-2-2		 GRA052^1
97-20-1-1		 GRA052^2
97-20-1-1		 GRA053^1
97-20-2-2		 GRA053^2
97-20-2-2
GRA054^1
97-20-0-0		 GRA054^2
97-20-0-0		 GRA055^1
97-20-1-1		 GRA055^2
97-20-1-1		 GRA056^1
97-20-2-2		 GRA056^2
97-20-2-2		 GRA057^1
97-20-0-0
GRA057^2
97-20-0-0		 GRA058^1
97-20-2-2		 GRA058^2
97-20-2-2		 GRA059^1
97-20-2-2		 GRA059^2
97-20-2-2		 GRA060^1
97-20-0-0		 GRA060^2
97-20-0-0
GRA061^1
97-20-2-2		 GRA061^2
97-20-2-2		 GRA062^1
97-20-0-0		 GRA062^2
97-20-0-0		 GRA063^1
97-20-0-0		 GRA063^2
97-20-1-1		 GRA064^1
97-20-2-2
GRA064^2
97-20-2-2		 GRA065^1
97-20-0-0		 GRA065^2
97-20-1-1		 GRA066^1
97-20-2-2		 GRA066^2
97-20-2-2		 GRA067^1
97-20-0-0		 GRA067^2
97-20-1-1
GRA068^1
97-20-2-2		 GRA068^2
97-20-2-2		 GRA069^1
97-20-0-0		 GRA069^2
97-20-1-1		 GRA070^1
97-20-2-2		 GRA070^2
97-20-2-2		 GRA071^1
97-20-2-2
GRA071^2
97-20-2-2		 GRA072^1
97-20-0-0		 GRA072^2
97-20-1-1		 GRA073^1
97-20-2-2		 GRA073^2
97-20-2-2		 GRA074^1
97-20-0-0		 GRA074^2
97-20-1-1
GRA075+1
87-65-24-22		 GRA076_1.001
75-4-1-0		 GRA076_1.002
75-4-2-2		 GRA076_1.005
75-4-1-0		 GRA076_1.009
75-4-1-0		 GRA076_1.013
75-4-1-0		 GRA076_1.017
75-4-1-0
GRA077_1.010
75-4-0-0		 GRA078_1.002
75-4-1-1		 GRA078_1.018
75-4-0-0		 GRA079_1.002
75-4-0-0		 GRA080_1.006
75-6-0-0		 GRA080_1.014
75-6-0-0		 GRA081^1
75-15-5-4
GRA082^1
75-15-4-4		 GRA083^1
75-15-4-4		 GRA084^1
75-15-0-0		 GRA085^1
75-15-0-0		 GRA086^1
75-15-4-4		 GRA087^1
75-15-4-4		 GRA088^1
75-15-4-4
GRA089^1
75-15-4-4		 GRA090^1
75-15-4-4		 GRA091^1
75-15-4-4		 GRA092^1
75-15-4-4		 GRA093^1
75-15-0-0		 GRA094^1
75-15-0-0		 GRA095^1
75-15-0-0
GRA096^1
75-15-3-3		 GRA097^1
75-15-3-3		 GRA098^1
75-15-2-2		 GRA099^1
75-15-3-3		 GRA100^1
75-15-3-3		 GRA101^1
75-15-2-2		 GRA102^1
75-15-3-3
GRA103^1
75-15-0-0		 GRA104^1
75-15-0-0		 GRA105^1
75-15-4-4		 GRA106^1
75-15-4-4		 GRA107^1
75-15-4-4		 GRA108^1
75-15-2-2		 GRA109^1
75-15-3-3
GRA110^1
75-15-2-2		 GRA111^1
75-15-4-4		 GRA112^1
75-15-3-3		 GRA113^1
75-15-3-3		 GRA114^1
75-15-3-3		 GRA115^1
75-15-2-2		 GRA116^1
75-15-0-0