TSTP Solution Domain: GRA

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
GRA001-1
97-57-49-31		 GRA002+1
97-64-11-10		 GRA002+2
97-64-23-21		 GRA002+3
97-64-37-30		 GRA002+4
97-64-47-38		 GRA003+1
97-64-47-38		 GRA004+1
97-64-37-31
GRA005+1
97-64-47-39		 GRA006+1
97-64-26-21		 GRA007+1
97-64-29-24		 GRA007+2
97-64-28-23		 GRA008+1
97-64-23-19		 GRA008+2
97-64-35-28		 GRA009+1
97-64-22-18
GRA009+2
97-64-22-18		 GRA010+1
97-64-51-41		 GRA010+2
97-64-51-41		 GRA011+1
97-64-13-12		 GRA012+1
97-64-11-10		 GRA013+1
97-68-31-23		 GRA014+1
97-65-48-35
GRA015+1
97-68-22-16		 GRA016+1
97-68-21-15		 GRA017+1
97-68-20-14		 GRA018+1
97-68-14-12		 GRA019+1
97-66-0-0		 GRA020+1
97-68-22-16		 GRA021+1
97-68-23-17
GRA022+1
97-68-21-15		 GRA023+1
97-68-18-13		 GRA024+1
97-68-20-15		 GRA025+1
97-68-16-12		 GRA026+1
97-68-13-10		 GRA027^1
96-20-4-2		 GRA028^1
96-20-7-5
GRA029^1
96-20-0-0		 GRA029^2
96-20-1-1		 GRA030^1
96-20-9-7		 GRA031^1
96-20-2-2		 GRA031^2
96-20-0-0		 GRA032^1
96-20-0-0		 GRA032^2
96-20-1-1
GRA033^1
96-20-2-2		 GRA033^2
96-20-2-2		 GRA034^1
96-20-1-1		 GRA034^2
96-20-1-1		 GRA035^1
96-20-2-2		 GRA035^2
96-20-2-2		 GRA036^1
96-20-1-1
GRA036^2
96-20-1-1		 GRA037^1
96-20-2-2		 GRA037^2
96-20-2-2		 GRA038^1
96-20-2-2		 GRA038^2
96-20-2-2		 GRA039^1
96-20-1-1		 GRA039^2
96-20-1-1
GRA040^1
96-20-2-2		 GRA040^2
96-20-2-2		 GRA041^1
96-20-1-1		 GRA041^2
96-20-1-1		 GRA042^1
96-20-2-2		 GRA042^2
96-20-2-2		 GRA043^1
96-20-1-1
GRA043^2
96-20-1-1		 GRA044^1
96-20-1-1		 GRA044^2
96-20-1-1		 GRA045^1
96-20-2-2		 GRA045^2
96-20-2-2		 GRA046^1
96-20-1-1		 GRA046^2
96-20-1-1
GRA047^1
96-20-2-2		 GRA047^2
96-20-2-2		 GRA048^1
96-20-1-1		 GRA048^2
96-20-1-1		 GRA049^1
96-20-2-2		 GRA049^2
96-20-2-2		 GRA050^1
96-20-1-1
GRA050^2
96-20-1-1		 GRA051^1
96-20-2-2		 GRA051^2
96-20-2-2		 GRA052^1
96-20-1-1		 GRA052^2
96-20-1-1		 GRA053^1
96-20-2-2		 GRA053^2
96-20-2-2
GRA054^1
96-20-0-0		 GRA054^2
96-20-0-0		 GRA055^1
96-20-1-1		 GRA055^2
96-20-1-1		 GRA056^1
96-20-2-2		 GRA056^2
96-20-2-2		 GRA057^1
96-20-0-0
GRA057^2
96-20-0-0		 GRA058^1
96-20-2-2		 GRA058^2
96-20-2-2		 GRA059^1
96-20-2-2		 GRA059^2
96-20-2-2		 GRA060^1
96-20-0-0		 GRA060^2
96-20-0-0
GRA061^1
96-20-2-2		 GRA061^2
96-20-2-2		 GRA062^1
96-20-0-0		 GRA062^2
96-20-0-0		 GRA063^1
96-20-0-0		 GRA063^2
96-20-1-1		 GRA064^1
96-20-2-2
GRA064^2
96-20-2-2		 GRA065^1
96-20-0-0		 GRA065^2
96-20-1-1		 GRA066^1
96-20-2-2		 GRA066^2
96-20-2-2		 GRA067^1
96-20-0-0		 GRA067^2
96-20-1-1
GRA068^1
96-20-2-2		 GRA068^2
96-20-2-2		 GRA069^1
96-20-0-0		 GRA069^2
96-20-1-1		 GRA070^1
96-20-2-2		 GRA070^2
96-20-2-2		 GRA071^1
96-20-2-2
GRA071^2
96-20-2-2		 GRA072^1
96-20-0-0		 GRA072^2
96-20-1-1		 GRA073^1
96-20-2-2		 GRA073^2
96-20-2-2		 GRA074^1
96-20-0-0		 GRA074^2
96-20-1-1
GRA075+1
86-64-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-4-3
GRA082^1
75-15-3-3		 GRA083^1
75-15-3-3		 GRA084^1
75-15-0-0		 GRA085^1
75-15-0-0		 GRA086^1
75-15-3-3		 GRA087^1
75-15-3-3		 GRA088^1
75-15-3-3
GRA089^1
75-15-3-3		 GRA090^1
75-15-3-3		 GRA091^1
75-15-3-3		 GRA092^1
75-15-3-3		 GRA093^1
75-15-0-0		 GRA094^1
75-15-0-0		 GRA095^1
75-15-0-0
GRA096^1
75-15-2-2		 GRA097^1
75-15-2-2		 GRA098^1
75-15-1-1		 GRA099^1
75-15-2-2		 GRA100^1
75-15-2-2		 GRA101^1
75-15-1-1		 GRA102^1
75-15-2-2
GRA103^1
75-15-0-0		 GRA104^1
75-15-0-0		 GRA105^1
75-15-3-3		 GRA106^1
75-15-3-3		 GRA107^1
75-15-3-3		 GRA108^1
75-15-1-1		 GRA109^1
75-15-2-2
GRA110^1
75-15-1-1		 GRA111^1
75-15-3-3		 GRA112^1
75-15-2-2		 GRA113^1
75-15-2-2		 GRA114^1
75-15-2-2		 GRA115^1
75-15-1-1		 GRA116^1
75-15-0-0
GRA117+1
77-58-17-11		 GRA117-1
77-49-16-10		 GRA117^1
77-15-6-4		 GRA118+1
77-58-10-8		 GRA118-1
77-48-9-7		 GRA118^1
77-15-4-3		 GRA119+1
77-58-9-7
GRA119-1
77-48-9-7		 GRA119^1
77-15-4-3		 GRA120+1
77-58-9-7		 GRA120-1
77-49-10-7		 GRA120^1
77-15-3-1		 GRA121+1
77-58-3-1		 GRA121-1
77-48-3-2
GRA121^1
77-15-1-0		 GRA122+1
77-58-0-0		 GRA122-1
77-49-0-0		 GRA122^1
77-15-0-0		 GRA123+1
77-58-1-1		 GRA123-1
77-48-1-1		 GRA123^1
77-15-0-0
GRA124+1
77-58-0-0		 GRA124-1
77-49-0-0		 GRA124^1
77-15-0-0		 GRA125+1
77-58-0-0		 GRA125-1
77-49-0-0		 GRA125^1
77-15-0-0		 GRA126-1
77-48-9-6
GRA126^1
77-15-3-3		 GRA127-1
77-48-9-6		 GRA127^1
77-15-3-3		 GRA128-1
77-48-7-5		 GRA128^1
77-15-3-3		 GRA129-1
77-48-7-5		 GRA129^1
77-15-3-3
GRA130-1
77-48-8-6		 GRA130^1
77-15-2-2		 GRA131-1
77-48-6-4		 GRA131^1
77-15-2-2		 GRA132-1
77-48-7-5		 GRA132^1
77-15-1-1		 GRA133-1
77-48-7-5
GRA133^1
77-15-3-3		 GRA134-1
77-48-8-6		 GRA134^1
77-15-2-2		 GRA135-1
77-48-8-6		 GRA135^1
77-15-2-2		 GRA136-1
77-48-7-5		 GRA136^1
77-15-2-2
GRA137-1
77-48-6-4		 GRA137^1
77-15-2-2		 GRA138-1
77-48-8-5		 GRA138^1
77-15-3-3		 GRA139-1
77-48-7-5		 GRA139^1
77-15-3-3		 GRA140-1
77-48-7-5
GRA140^1
77-15-2-2		 GRA141-1
77-48-7-5		 GRA141^1
77-15-2-2		 GRA142-1
77-48-7-5		 GRA142^1
77-15-1-1		 GRA143-1
77-48-5-3		 GRA143^1
77-15-1-1
GRA144-1
77-48-7-5		 GRA144^1
77-15-3-3		 GRA145-1
77-48-7-5		 GRA145^1
77-15-1-1		 GRA146-1
77-48-7-5		 GRA146^1
77-15-1-1		 GRA147-1
77-48-7-5
GRA147^1
77-15-1-1		 GRA148-1
77-48-7-5		 GRA148^1
77-15-2-2		 GRA149-1
77-48-5-3		 GRA149^1
77-15-0-0		 GRA150-1
77-48-7-5		 GRA150^1
77-15-1-1
GRA151-1
77-48-6-4		 GRA151^1
77-15-1-1		 GRA152-1
77-48-3-1		 GRA152^1
77-15-0-0		 GRA153-1
77-48-7-5		 GRA153^1
77-15-3-3		 GRA154-1
77-48-7-5
GRA154^1
77-15-1-1		 GRA155-1
77-48-7-5		 GRA155^1
77-15-1-1		 GRA156-1
77-48-6-4		 GRA156^1
77-15-1-1		 GRA157-1
77-48-4-2		 GRA157^1
77-15-0-0
GRA158-1
77-48-6-4		 GRA158^1
77-15-1-1		 GRA159-1
77-48-4-2		 GRA159^1
77-15-0-0		 GRA160-1
77-48-5-3		 GRA160^1
77-15-0-0		 GRA161-1
77-48-6-4
GRA161^1
77-15-1-1		 GRA162-1
77-48-9-6		 GRA162^1
77-15-3-3		 GRA163-1
77-48-9-6		 GRA163^1
77-15-3-3		 GRA164-1
77-48-7-5		 GRA164^1
77-15-3-3
GRA165-1
77-48-7-5		 GRA165^1
77-15-3-3		 GRA166-1
77-48-8-6		 GRA166^1
77-15-2-2		 GRA167-1
77-48-7-5		 GRA167^1
77-15-2-2		 GRA168-1
77-48-7-5
GRA168^1
77-15-2-2		 GRA169-1
77-48-8-6		 GRA169^1
77-15-3-3		 GRA170-1
77-48-8-6		 GRA170^1
77-15-3-3		 GRA171-1
77-48-8-6		 GRA171^1
77-15-3-3
GRA172-1
77-48-8-5		 GRA172^1
77-15-3-3		 GRA173-1
77-48-7-5		 GRA173^1
77-15-2-2		 GRA174-1
77-48-7-5		 GRA174^1
77-15-3-3		 GRA175-1
77-48-0-0
GRA175^1
77-15-0-0