TSTP Solution Domain: AGT

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
AGT001+1
93-61-52-41		 AGT001+2
93-61-53-41		 AGT002+1
93-61-53-42		 AGT002+2
93-61-54-43		 AGT003+1
93-61-42-32		 AGT003+2
93-61-43-33		 AGT004+1
93-61-45-33
AGT004+2
93-61-50-37		 AGT005+1
93-61-34-26		 AGT005+2
93-61-43-33		 AGT006+1
93-61-9-8		 AGT006+2
93-61-15-12		 AGT007+1
93-61-7-7		 AGT007+2
93-61-9-8
AGT008+1
93-61-6-6		 AGT008+2
93-61-7-6		 AGT009+1
93-61-16-15		 AGT009+2
93-61-15-14		 AGT010+1
93-61-10-9		 AGT010+2
93-61-15-12		 AGT011+1
93-61-6-5
AGT011+2
93-61-11-9		 AGT012+1
93-61-13-12		 AGT012+2
93-61-10-9		 AGT013+1
93-61-9-9		 AGT013+2
93-61-8-7		 AGT014+1
93-61-44-34		 AGT014+2
93-61-49-36
AGT015+1
93-61-48-36		 AGT015+2
93-61-52-39		 AGT016+1
93-61-43-32		 AGT016+2
93-61-45-34		 AGT017+1
93-61-48-36		 AGT017+2
93-61-54-41		 AGT018+1
93-61-12-11
AGT018+2
93-61-10-9		 AGT019+1
93-61-13-12		 AGT019+2
93-61-11-10		 AGT020+1
93-61-13-12		 AGT020+2
93-61-12-10		 AGT021+1
93-61-6-6		 AGT021+2
93-61-7-6
AGT022+1
93-61-10-9		 AGT022+2
93-61-13-10		 AGT023+1
93-61-16-15		 AGT023+2
93-61-17-14		 AGT024+1
93-61-10-9		 AGT024+2
93-61-10-9		 AGT025+1
93-61-11-10
AGT025+2
93-61-7-6		 AGT026+1
93-61-12-11		 AGT026+2
93-61-14-11		 AGT027^1
92-19-5-5		 AGT027^2
92-19-5-5		 AGT028^1
92-19-9-7		 AGT028^2
92-19-13-9
AGT029^1
92-19-8-6		 AGT030^1
92-19-7-6		 AGT031^1
92-19-10-7		 AGT031^2
92-19-7-6		 AGT032^1
92-19-12-7		 AGT032^2
92-19-10-6		 AGT033^1
92-19-10-7
AGT033^2
92-19-12-8		 AGT034^1
92-19-10-7		 AGT034^2
92-19-9-6		 AGT035^1
92-19-13-8		 AGT035^2
92-19-11-7		 AGT036^1
92-19-12-7		 AGT037^1
92-19-10-7
AGT037^2
92-19-12-8		 AGT038^1
92-19-11-8		 AGT039^1
92-19-10-7		 AGT040^1
92-19-10-7		 AGT041^1
92-19-11-8		 AGT042+1
82-63-28-21		 AGT042-10
81-55-16-15