TSTP Solution Domain: GRA

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
GRA001-1
94-54-46-28		 GRA002+1
94-61-9-8		 GRA002+2
94-61-20-18		 GRA002+3
94-61-34-27		 GRA002+4
94-61-44-35		 GRA003+1
94-61-44-35		 GRA004+1
94-61-34-28
GRA005+1
94-61-44-36		 GRA006+1
94-61-23-18		 GRA007+1
94-61-26-21		 GRA007+2
94-61-25-20		 GRA008+1
94-61-20-16		 GRA008+2
94-61-32-25		 GRA009+1
94-61-20-16
GRA009+2
94-61-20-16		 GRA010+1
94-61-48-38		 GRA010+2
94-61-48-38		 GRA011+1
94-61-11-10		 GRA012+1
94-61-9-8		 GRA013+1
94-65-29-21		 GRA014+1
94-62-45-32
GRA015+1
94-65-20-14		 GRA016+1
94-65-19-13		 GRA017+1
94-65-18-12		 GRA018+1
94-65-12-10		 GRA019+1
94-63-0-0		 GRA020+1
94-65-20-14		 GRA021+1
94-65-21-15
GRA022+1
94-65-19-13		 GRA023+1
94-65-16-11		 GRA024+1
94-65-18-13		 GRA025+1
94-65-14-10		 GRA026+1
94-65-11-8		 GRA027^1
93-20-4-2		 GRA028^1
93-20-7-5
GRA029^1
93-20-0-0		 GRA029^2
93-20-1-1		 GRA030^1
93-20-9-7		 GRA031^1
93-20-2-2		 GRA031^2
93-20-0-0		 GRA032^1
93-20-0-0		 GRA032^2
93-20-1-1
GRA033^1
93-20-2-2		 GRA033^2
93-20-2-2		 GRA034^1
93-20-1-1		 GRA034^2
93-20-1-1		 GRA035^1
93-20-2-2		 GRA035^2
93-20-2-2		 GRA036^1
93-20-1-1
GRA036^2
93-20-1-1		 GRA037^1
93-20-2-2		 GRA037^2
93-20-2-2		 GRA038^1
93-20-2-2		 GRA038^2
93-20-2-2		 GRA039^1
93-20-1-1		 GRA039^2
93-20-1-1
GRA040^1
93-20-2-2		 GRA040^2
93-20-2-2		 GRA041^1
93-20-1-1		 GRA041^2
93-20-1-1		 GRA042^1
93-20-2-2		 GRA042^2
93-20-2-2		 GRA043^1
93-20-1-1
GRA043^2
93-20-1-1		 GRA044^1
93-20-1-1		 GRA044^2
93-20-1-1		 GRA045^1
93-20-2-2		 GRA045^2
93-20-2-2		 GRA046^1
93-20-1-1		 GRA046^2
93-20-1-1
GRA047^1
93-20-2-2		 GRA047^2
93-20-2-2		 GRA048^1
93-20-1-1		 GRA048^2
93-20-1-1		 GRA049^1
93-20-2-2		 GRA049^2
93-20-2-2		 GRA050^1
93-20-1-1
GRA050^2
93-20-1-1		 GRA051^1
93-20-2-2		 GRA051^2
93-20-2-2		 GRA052^1
93-20-1-1		 GRA052^2
93-20-1-1		 GRA053^1
93-20-2-2		 GRA053^2
93-20-2-2
GRA054^1
93-20-0-0		 GRA054^2
93-20-0-0		 GRA055^1
93-20-1-1		 GRA055^2
93-20-1-1		 GRA056^1
93-20-2-2		 GRA056^2
93-20-2-2		 GRA057^1
93-20-0-0
GRA057^2
93-20-0-0		 GRA058^1
93-20-2-2		 GRA058^2
93-20-2-2		 GRA059^1
93-20-2-2		 GRA059^2
93-20-2-2		 GRA060^1
93-20-0-0		 GRA060^2
93-20-0-0
GRA061^1
93-20-2-2		 GRA061^2
93-20-2-2		 GRA062^1
93-20-0-0		 GRA062^2
93-20-0-0		 GRA063^1
93-20-0-0		 GRA063^2
93-20-1-1		 GRA064^1
93-20-2-2
GRA064^2
93-20-2-2		 GRA065^1
93-20-0-0		 GRA065^2
93-20-1-1		 GRA066^1
93-20-2-2		 GRA066^2
93-20-2-2		 GRA067^1
93-20-0-0		 GRA067^2
93-20-1-1
GRA068^1
93-20-2-2		 GRA068^2
93-20-2-2		 GRA069^1
93-20-0-0		 GRA069^2
93-20-1-1		 GRA070^1
93-20-2-2		 GRA070^2
93-20-2-2		 GRA071^1
93-20-2-2
GRA071^2
93-20-2-2		 GRA072^1
93-20-0-0		 GRA072^2
93-20-1-1		 GRA073^1
93-20-2-2		 GRA073^2
93-20-2-2		 GRA074^1
93-20-0-0		 GRA074^2
93-20-1-1
GRA075+1
83-61-22-20		 GRA076_1.001
72-4-1-0		 GRA076_1.002
72-4-2-2		 GRA076_1.005
72-4-1-0		 GRA076_1.009
72-4-1-0		 GRA076_1.013
72-4-1-0		 GRA076_1.017
72-4-1-0
GRA077_1.010
72-4-0-0		 GRA078_1.002
72-4-1-1		 GRA078_1.018
72-4-0-0		 GRA079_1.002
72-4-0-0		 GRA080_1.006
72-6-0-0		 GRA080_1.014
72-6-0-0		 GRA081^1
72-15-4-3
GRA082^1
72-15-3-3		 GRA083^1
72-15-3-3		 GRA084^1
72-15-0-0		 GRA085^1
72-15-0-0		 GRA086^1
72-15-3-3		 GRA087^1
72-15-3-3		 GRA088^1
72-15-3-3
GRA089^1
72-15-3-3		 GRA090^1
72-15-3-3		 GRA091^1
72-15-3-3		 GRA092^1
72-15-3-3		 GRA093^1
72-15-0-0		 GRA094^1
72-15-0-0		 GRA095^1
72-15-0-0
GRA096^1
72-15-2-2		 GRA097^1
72-15-2-2		 GRA098^1
72-15-1-1		 GRA099^1
72-15-2-2		 GRA100^1
72-15-2-2		 GRA101^1
72-15-1-1		 GRA102^1
72-15-2-2
GRA103^1
72-15-0-0		 GRA104^1
72-15-0-0		 GRA105^1
72-15-3-3		 GRA106^1
72-15-3-3		 GRA107^1
72-15-3-3		 GRA108^1
72-15-1-1		 GRA109^1
72-15-2-2
GRA110^1
72-15-1-1		 GRA111^1
72-15-3-3		 GRA112^1
72-15-2-2		 GRA113^1
72-15-2-2		 GRA114^1
72-15-2-2		 GRA115^1
72-15-1-1		 GRA116^1
72-15-0-0
GRA117+1
74-55-15-9		 GRA117-1
74-46-14-8		 GRA117^1
74-15-6-4		 GRA118+1
74-55-8-6		 GRA118-1
74-45-8-6		 GRA118^1
74-15-4-3		 GRA119+1
74-55-7-5
GRA119-1
74-45-7-5		 GRA119^1
74-15-4-3		 GRA120+1
74-55-7-5		 GRA120-1
74-46-8-5		 GRA120^1
74-15-3-1		 GRA121+1
74-55-3-1		 GRA121-1
74-45-3-2
GRA121^1
74-15-1-0		 GRA122+1
74-55-0-0		 GRA122-1
74-46-0-0		 GRA122^1
74-15-0-0		 GRA123+1
74-55-1-1		 GRA123-1
74-45-1-1		 GRA123^1
74-15-0-0
GRA124+1
74-55-0-0		 GRA124-1
74-46-0-0		 GRA124^1
74-15-0-0		 GRA125+1
74-55-0-0		 GRA125-1
74-46-0-0		 GRA125^1
74-15-0-0		 GRA126-1
74-45-8-5
GRA126^1
74-15-3-3		 GRA127-1
74-45-8-5		 GRA127^1
74-15-3-3		 GRA128-1
74-45-6-4		 GRA128^1
74-15-3-3		 GRA129-1
74-45-6-4		 GRA129^1
74-15-3-3
GRA130-1
74-45-7-5		 GRA130^1
74-15-2-2		 GRA131-1
74-45-6-4		 GRA131^1
74-15-2-2		 GRA132-1
74-45-6-4		 GRA132^1
74-15-1-1		 GRA133-1
74-45-6-4
GRA133^1
74-15-3-3		 GRA134-1
74-45-7-5		 GRA134^1
74-15-2-2		 GRA135-1
74-45-7-5		 GRA135^1
74-15-2-2		 GRA136-1
74-45-7-5		 GRA136^1
74-15-2-2
GRA137-1
74-45-6-4		 GRA137^1
74-15-2-2		 GRA138-1
74-45-7-4		 GRA138^1
74-15-3-3		 GRA139-1
74-45-6-4		 GRA139^1
74-15-3-3		 GRA140-1
74-45-6-4
GRA140^1
74-15-2-2		 GRA141-1
74-45-6-4		 GRA141^1
74-15-2-2		 GRA142-1
74-45-6-4		 GRA142^1
74-15-1-1		 GRA143-1
74-45-5-3		 GRA143^1
74-15-1-1
GRA144-1
74-45-6-4		 GRA144^1
74-15-3-3		 GRA145-1
74-45-6-4		 GRA145^1
74-15-1-1		 GRA146-1
74-45-6-4		 GRA146^1
74-15-1-1		 GRA147-1
74-45-6-4
GRA147^1
74-15-1-1		 GRA148-1
74-45-6-4		 GRA148^1
74-15-2-2		 GRA149-1
74-45-5-3		 GRA149^1
74-15-0-0		 GRA150-1
74-45-6-4		 GRA150^1
74-15-1-1
GRA151-1
74-45-5-3		 GRA151^1
74-15-1-1		 GRA152-1
74-45-3-1		 GRA152^1
74-15-0-0		 GRA153-1
74-45-6-4		 GRA153^1
74-15-3-3		 GRA154-1
74-45-6-4
GRA154^1
74-15-1-1		 GRA155-1
74-45-6-4		 GRA155^1
74-15-1-1		 GRA156-1
74-45-5-3		 GRA156^1
74-15-1-1		 GRA157-1
74-45-4-2		 GRA157^1
74-15-0-0
GRA158-1
74-45-5-3		 GRA158^1
74-15-1-1		 GRA159-1
74-45-4-2		 GRA159^1
74-15-0-0		 GRA160-1
74-45-5-3		 GRA160^1
74-15-0-0		 GRA161-1
74-45-5-3
GRA161^1
74-15-1-1		 GRA162-1
74-45-8-5		 GRA162^1
74-15-3-3		 GRA163-1
74-45-8-5		 GRA163^1
74-15-3-3		 GRA164-1
74-45-6-4		 GRA164^1
74-15-3-3
GRA165-1
74-45-6-4		 GRA165^1
74-15-3-3		 GRA166-1
74-45-7-5		 GRA166^1
74-15-2-2		 GRA167-1
74-45-6-4		 GRA167^1
74-15-2-2		 GRA168-1
74-45-6-4
GRA168^1
74-15-2-2		 GRA169-1
74-45-7-5		 GRA169^1
74-15-3-3		 GRA170-1
74-45-7-5		 GRA170^1
74-15-3-3		 GRA171-1
74-45-7-5		 GRA171^1
74-15-3-3
GRA172-1
74-45-8-5		 GRA172^1
74-15-3-3		 GRA173-1
74-45-7-5		 GRA173^1
74-15-2-2		 GRA174-1
74-45-6-4		 GRA174^1
74-15-3-3		 GRA175-1
74-45-0-0
GRA175^1
74-15-0-0