TSTP Solution Domain: AGT

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
AGT001+1
94-61-50-40		 AGT001+2
94-61-51-40		 AGT002+1
94-61-51-41		 AGT002+2
94-61-51-41		 AGT003+1
94-61-42-33		 AGT003+2
94-61-42-33		 AGT004+1
94-61-44-33
AGT004+2
94-61-49-37		 AGT005+1
94-61-34-27		 AGT005+2
94-61-42-33		 AGT006+1
94-61-9-8		 AGT006+2
94-61-14-11		 AGT007+1
94-61-9-9		 AGT007+2
94-61-9-8
AGT008+1
94-61-4-4		 AGT008+2
94-61-6-5		 AGT009+1
94-61-18-17		 AGT009+2
94-61-16-15		 AGT010+1
94-61-10-9		 AGT010+2
94-61-14-11		 AGT011+1
94-61-6-5
AGT011+2
94-61-9-7		 AGT012+1
94-61-15-14		 AGT012+2
94-61-12-11		 AGT013+1
94-61-10-10		 AGT013+2
94-61-8-7		 AGT014+1
94-61-43-34		 AGT014+2
94-61-47-35
AGT015+1
94-61-45-34		 AGT015+2
94-61-51-39		 AGT016+1
94-61-42-32		 AGT016+2
94-61-44-34		 AGT017+1
94-61-46-35		 AGT017+2
94-61-52-40		 AGT018+1
94-61-12-11
AGT018+2
94-61-11-10		 AGT019+1
94-61-14-13		 AGT019+2
94-61-11-10		 AGT020+1
94-61-13-12		 AGT020+2
94-61-13-11		 AGT021+1
94-61-5-5		 AGT021+2
94-61-7-6
AGT022+1
94-61-9-8		 AGT022+2
94-61-10-7		 AGT023+1
94-61-16-15		 AGT023+2
94-61-16-13		 AGT024+1
94-61-10-9		 AGT024+2
94-61-8-7		 AGT025+1
94-61-12-11
AGT025+2
94-61-9-8		 AGT026+1
94-61-11-10		 AGT026+2
94-61-13-10		 AGT027^1
93-20-5-5		 AGT027^2
93-20-5-5		 AGT028^1
93-20-10-7		 AGT028^2
93-20-13-8
AGT029^1
93-20-8-6		 AGT030^1
93-20-9-7		 AGT031^1
93-20-8-6		 AGT031^2
93-20-8-7		 AGT032^1
93-20-12-7		 AGT032^2
93-20-10-7		 AGT033^1
93-20-10-7
AGT033^2
93-20-12-8		 AGT034^1
93-20-9-7		 AGT034^2
93-20-9-7		 AGT035^1
93-20-13-7		 AGT035^2
93-20-11-8		 AGT036^1
93-20-13-7		 AGT037^1
93-20-9-7
AGT037^2
93-20-12-8		 AGT038^1
93-20-11-8		 AGT039^1
93-20-9-7		 AGT040^1
93-20-9-7		 AGT041^1
93-20-11-8		 AGT042+1
83-62-28-21		 AGT042-10
82-54-14-12