TSTP Solution Domain: AGT

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