TSTP Solution Domain: AGT

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

AGT001+1
89-61-52-41
AGT001+2
89-61-53-41
AGT002+1
89-61-53-42
AGT002+2
89-61-54-43
AGT003+1
89-61-43-33
AGT003+2
89-61-44-34
AGT004+1
89-61-46-34
AGT004+2
89-61-51-38
AGT005+1
89-61-35-27
AGT005+2
89-61-44-34
AGT006+1
89-61-10-9
AGT006+2
89-61-14-11
AGT007+1
89-61-8-8
AGT007+2
89-61-11-10
AGT008+1
89-61-6-6
AGT008+2
89-61-8-7
AGT009+1
89-61-16-15
AGT009+2
89-61-16-15
AGT010+1
89-61-11-10
AGT010+2
89-61-16-13
AGT011+1
89-61-9-8
AGT011+2
89-61-12-10
AGT012+1
89-61-15-14
AGT012+2
89-61-11-10
AGT013+1
89-61-10-10
AGT013+2
89-61-9-8
AGT014+1
89-61-45-35
AGT014+2
89-61-49-36
AGT015+1
89-61-48-36
AGT015+2
89-61-53-40
AGT016+1
89-61-45-34
AGT016+2
89-61-46-35
AGT017+1
89-61-48-36
AGT017+2
89-61-54-41
AGT018+1
89-61-13-12
AGT018+2
89-61-13-12
AGT019+1
89-61-14-13
AGT019+2
89-61-12-11
AGT020+1
89-61-13-12
AGT020+2
89-61-13-11
AGT021+1
89-61-6-6
AGT021+2
89-61-7-6
AGT022+1
89-61-9-8
AGT022+2
89-61-13-10
AGT023+1
89-61-18-17
AGT023+2
89-61-21-18
AGT024+1
89-61-10-9
AGT024+2
89-61-9-8
AGT025+1
89-61-12-11
AGT025+2
89-61-9-8
AGT026+1
89-61-12-11
AGT026+2
89-61-14-11
AGT027^1
88-19-5-5
AGT027^2
88-19-5-5
AGT028^1
88-19-10-7
AGT028^2
88-19-13-8
AGT029^1
88-19-8-6
AGT030^1
88-19-7-6
AGT031^1
88-19-10-7
AGT031^2
88-19-8-7
AGT032^1
88-19-12-7
AGT032^2
88-19-11-7
AGT033^1
88-19-10-7
AGT033^2
88-19-12-8
AGT034^1
88-19-10-7
AGT034^2
88-19-10-7
AGT035^1
88-19-13-7
AGT035^2
88-19-12-8
AGT036^1
88-19-12-6
AGT037^1
88-19-10-7
AGT037^2
88-19-11-7
AGT038^1
88-19-11-8
AGT039^1
88-19-9-6
AGT040^1
88-19-10-7
AGT041^1
88-19-11-8
AGT042+1
78-63-30-22
AGT042-10
77-55-14-14