TSTP Solution Domain: AGT

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
AGT001+1
97-64-53-43		 AGT001+2
97-64-54-43		 AGT002+1
97-64-54-44		 AGT002+2
97-64-54-44		 AGT003+1
97-64-45-36		 AGT003+2
97-64-45-36		 AGT004+1
97-64-47-36
AGT004+2
97-64-52-40		 AGT005+1
97-64-37-30		 AGT005+2
97-64-45-36		 AGT006+1
97-64-10-9		 AGT006+2
97-64-17-14		 AGT007+1
97-64-11-11		 AGT007+2
97-64-11-10
AGT008+1
97-64-5-5		 AGT008+2
97-64-7-6		 AGT009+1
97-64-20-19		 AGT009+2
97-64-18-17		 AGT010+1
97-64-12-11		 AGT010+2
97-64-17-14		 AGT011+1
97-64-7-6
AGT011+2
97-64-10-8		 AGT012+1
97-64-17-16		 AGT012+2
97-64-13-12		 AGT013+1
97-64-12-12		 AGT013+2
97-64-9-8		 AGT014+1
97-64-46-37		 AGT014+2
97-64-50-38
AGT015+1
97-64-48-37		 AGT015+2
97-64-54-42		 AGT016+1
97-64-45-35		 AGT016+2
97-64-47-37		 AGT017+1
97-64-49-38		 AGT017+2
97-64-55-43		 AGT018+1
97-64-14-13
AGT018+2
97-64-12-11		 AGT019+1
97-64-16-15		 AGT019+2
97-64-12-11		 AGT020+1
97-64-14-13		 AGT020+2
97-64-14-12		 AGT021+1
97-64-6-6		 AGT021+2
97-64-8-7
AGT022+1
97-64-10-9		 AGT022+2
97-64-12-9		 AGT023+1
97-64-18-17		 AGT023+2
97-64-18-15		 AGT024+1
97-64-12-11		 AGT024+2
97-64-9-8		 AGT025+1
97-64-14-13
AGT025+2
97-64-10-9		 AGT026+1
97-64-13-12		 AGT026+2
97-64-15-12		 AGT027^1
96-20-5-5		 AGT027^2
96-20-5-5		 AGT028^1
96-20-10-7		 AGT028^2
96-20-13-8
AGT029^1
96-20-8-6		 AGT030^1
96-20-9-7		 AGT031^1
96-20-8-6		 AGT031^2
96-20-8-7		 AGT032^1
96-20-12-7		 AGT032^2
96-20-10-7		 AGT033^1
96-20-10-7
AGT033^2
96-20-12-8		 AGT034^1
96-20-9-7		 AGT034^2
96-20-9-7		 AGT035^1
96-20-13-7		 AGT035^2
96-20-11-8		 AGT036^1
96-20-13-7		 AGT037^1
96-20-9-7
AGT037^2
96-20-12-8		 AGT038^1
96-20-11-8		 AGT039^1
96-20-9-7		 AGT040^1
96-20-9-7		 AGT041^1
96-20-11-8		 AGT042+1
86-65-30-23		 AGT042-10
85-57-16-14