TSTP Solution Domain: AGT

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
AGT001+1
99-66-55-44		 AGT001+2
99-66-56-44		 AGT002+1
99-66-56-45		 AGT002+2
99-66-56-45		 AGT003+1
99-66-47-37		 AGT003+2
99-66-47-37		 AGT004+1
99-66-49-37
AGT004+2
99-66-54-41		 AGT005+1
99-66-39-31		 AGT005+2
99-66-47-37		 AGT006+1
99-66-11-9		 AGT006+2
99-66-18-14		 AGT007+1
99-66-12-11		 AGT007+2
99-66-12-10
AGT008+1
99-66-6-5		 AGT008+2
99-66-8-6		 AGT009+1
99-66-22-20		 AGT009+2
99-66-20-18		 AGT010+1
99-66-13-11		 AGT010+2
99-66-18-14		 AGT011+1
99-66-8-6
AGT011+2
99-66-11-8		 AGT012+1
99-66-19-17		 AGT012+2
99-66-15-13		 AGT013+1
99-66-14-13		 AGT013+2
99-66-10-8		 AGT014+1
99-66-48-38		 AGT014+2
99-66-52-39
AGT015+1
99-66-50-38		 AGT015+2
99-66-56-43		 AGT016+1
99-66-47-36		 AGT016+2
99-66-49-38		 AGT017+1
99-66-51-39		 AGT017+2
99-66-57-44		 AGT018+1
99-66-16-14
AGT018+2
99-66-14-12		 AGT019+1
99-66-18-16		 AGT019+2
99-66-14-12		 AGT020+1
99-66-16-14		 AGT020+2
99-66-15-12		 AGT021+1
99-66-7-6		 AGT021+2
99-66-9-7
AGT022+1
99-66-11-9		 AGT022+2
99-66-13-9		 AGT023+1
99-66-20-18		 AGT023+2
99-66-20-16		 AGT024+1
99-66-14-12		 AGT024+2
99-66-11-9		 AGT025+1
99-66-16-14
AGT025+2
99-66-12-10		 AGT026+1
99-66-14-12		 AGT026+2
99-66-16-12		 AGT027^1
98-20-5-5		 AGT027^2
98-20-5-5		 AGT028^1
98-20-11-8		 AGT028^2
98-20-14-9
AGT029^1
98-20-9-7		 AGT030^1
98-20-10-8		 AGT031^1
98-20-9-7		 AGT031^2
98-20-9-8		 AGT032^1
98-20-13-8		 AGT032^2
98-20-11-8		 AGT033^1
98-20-11-8
AGT033^2
98-20-13-9		 AGT034^1
98-20-10-8		 AGT034^2
98-20-10-8		 AGT035^1
98-20-14-8		 AGT035^2
98-20-12-9		 AGT036^1
98-20-14-8		 AGT037^1
98-20-10-8
AGT037^2
98-20-13-9		 AGT038^1
98-20-12-9		 AGT039^1
98-20-10-8		 AGT040^1
98-20-10-8		 AGT041^1
98-20-12-9		 AGT042+1
88-67-30-23		 AGT042-10
87-58-16-14