TSTP Solution Domain: ANA

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
ANA001-1
87-54-0-0		 ANA002-1
87-51-16-10		 ANA002-2
87-51-22-14		 ANA002-3
87-51-16-11		 ANA002-4
87-51-25-17		 ANA003-1
87-52-8-8		 ANA003-2
87-52-18-16
ANA003-3
87-51-5-3		 ANA003-4
87-51-26-19		 ANA004-1
87-52-6-6		 ANA004-10
74-51-0-0		 ANA004-2
87-55-1-1		 ANA004-3
87-51-1-1		 ANA004-4
87-51-26-19
ANA004-5
87-51-4-4		 ANA005-1
87-52-3-3		 ANA005-10
75-51-0-0		 ANA005-2
87-55-1-1		 ANA005-3
87-54-0-0		 ANA005-4
87-54-0-0		 ANA005-5
87-54-0-0
ANA006-1
87-54-14-13		 ANA006-2
87-54-14-11		 ANA007-1
87-51-18-16		 ANA007-2
87-52-43-30		 ANA009-1
87-51-14-14		 ANA009-2
87-52-43-30		 ANA010-1
87-51-5-5
ANA010-2
87-52-41-30		 ANA012-1
87-51-15-15		 ANA012-2
87-51-41-29		 ANA013-1
87-51-24-19		 ANA013-2
87-52-47-32		 ANA014-1
87-51-5-5		 ANA014-2
87-51-25-21
ANA015-1
87-51-5-5		 ANA015-2
87-52-35-26		 ANA016-1
87-51-10-10		 ANA016-2
87-51-36-28		 ANA017-1
87-51-4-4		 ANA017-2
87-52-35-26		 ANA018-1
87-51-7-7
ANA018-2
87-52-40-29		 ANA019-1
87-51-6-6		 ANA019-2
87-51-31-25		 ANA020-1
87-51-19-16		 ANA020-2
87-52-43-30		 ANA021-1
87-51-12-12		 ANA021-2
87-51-39-28
ANA022-1
87-51-6-6		 ANA022-2
87-51-22-18		 ANA023-1
87-51-16-16		 ANA023-10
73-50-32-30		 ANA023-2
87-52-44-31		 ANA024-1
87-51-15-15		 ANA024-2
87-52-43-30
ANA025-1
87-51-15-14		 ANA025-2
87-51-43-30		 ANA026-1
87-51-5-5		 ANA026-2
87-51-15-13		 ANA027-1
87-51-14-14		 ANA027-2
87-52-42-30		 ANA028-1
87-51-9-9
ANA028-2
87-52-29-23		 ANA029-1
87-51-15-14		 ANA029-2
87-51-43-30		 ANA030-1
87-51-2-2		 ANA030-2
87-52-29-25		 ANA031-1
87-51-4-4		 ANA031-2
87-52-30-24
ANA032-1
87-51-8-8		 ANA032-2
87-52-33-25		 ANA033-1
87-51-0-0		 ANA034-1
87-51-6-6		 ANA034-10
75-51-25-22		 ANA034-2
87-52-34-25		 ANA035-1
87-51-10-10
ANA035-2
87-52-38-28		 ANA036-1
87-51-0-0		 ANA037-1
87-51-12-11		 ANA037-2
87-52-46-33		 ANA038-1
87-51-10-9		 ANA038-2
87-52-46-33		 ANA039-1
87-51-20-17
ANA039-2
87-52-46-33		 ANA041-1
87-51-39-27		 ANA041-2
87-52-45-30		 ANA042-1
87-51-29-23		 ANA042-2
87-52-47-32		 ANA043-1
87-51-6-6		 ANA043-2
87-52-37-26
ANA044-1
87-51-14-13		 ANA044-2
87-52-42-29		 ANA045-1
87-51-23-20		 ANA045-2
87-52-43-30		 ANA046^1
76-0-0-0		 ANA047^1
76-0-0-0		 ANA048^1
76-0-0-0
ANA049^1
76-0-0-0		 ANA050^1
76-0-0-0		 ANA051^1
76-0-0-0		 ANA052^1
76-0-0-0		 ANA053^1
76-0-0-0		 ANA054^1
76-0-0-0		 ANA055^1
76-0-0-0
ANA056^1
76-0-0-0		 ANA057^1
76-0-0-0		 ANA058^1
76-0-0-0		 ANA059^1
76-0-0-0		 ANA060^1
76-0-0-0		 ANA061^1
76-0-0-0		 ANA062^1
76-0-0-0
ANA063^1
76-0-0-0		 ANA064^1
76-0-0-0		 ANA065^1
76-0-0-0		 ANA066^1
76-0-0-0		 ANA067^1
76-0-0-0		 ANA068^1
76-7-6-3		 ANA069^1
76-7-5-2
ANA070^1
76-7-5-2		 ANA071^1
76-7-5-2		 ANA072^1
76-7-5-2		 ANA073^1
76-7-0-0		 ANA074^1
76-7-6-3		 ANA075^1
76-7-4-1		 ANA076^1
76-7-4-1
ANA077^1
76-7-6-3		 ANA078^1
76-7-0-0		 ANA079^1
76-7-4-1		 ANA080^1
76-7-5-2		 ANA081^1
76-7-6-3		 ANA082^1
76-7-5-2		 ANA083^1
76-7-6-3
ANA084^1
76-7-5-2		 ANA085^1
76-7-0-0		 ANA086^1
76-7-6-3		 ANA087^1
76-7-4-1		 ANA088^1
76-7-4-1		 ANA089^1
76-7-6-3		 ANA090^1
76-7-1-1
ANA091^1
76-7-4-1		 ANA092^1
76-7-5-2		 ANA093^1
76-7-0-0		 ANA094^1
76-7-0-0		 ANA095^1
76-7-6-3		 ANA096^1
76-7-6-3		 ANA097^1
76-7-5-2
ANA098^1
76-7-4-2		 ANA099^1
76-7-4-1		 ANA100^1
76-7-3-1		 ANA101^1
76-7-1-1		 ANA102^1
76-7-5-2		 ANA103^1
76-7-0-0		 ANA104^1
76-7-0-0
ANA105^1
76-7-6-3		 ANA106^1
76-7-5-2		 ANA107^1
76-7-5-2		 ANA108^1
76-7-6-3		 ANA109^1
76-7-6-3		 ANA110^1
76-7-5-2		 ANA111^1
76-7-5-2
ANA112^1
76-7-5-2		 ANA113^1
76-7-6-3		 ANA114^1
76-7-0-0		 ANA115^1
76-7-6-3		 ANA116^1
76-7-2-1		 ANA117^1
76-7-0-0		 ANA118^1
76-7-4-2
ANA119^1
76-7-7-4		 ANA120^1
76-7-0-0		 ANA121^1
76-7-0-0		 ANA122^1
76-7-6-3		 ANA123^1
76-7-7-4		 ANA124^1
76-7-0-0		 ANA125^1
76-18-11-7
ANA126^1
76-18-6-4		 ANA127^1
76-18-7-4		 ANA128^1
76-7-0-0		 ANA129^1
76-18-1-1		 ANA130^1
76-7-0-0		 ANA131^1
76-7-0-0		 ANA132^1
76-7-0-0
ANA133-1
66-47-18-18		 ANA134_1.002.008
65-15-0-0		 ANA134_1.002.016
65-15-0-0		 ANA134_1.002.032
65-15-0-0		 ANA134_1.004.016
65-15-0-0		 ANA134_1.004.032
65-15-0-0		 ANA134_1.004.064
65-15-0-0
ANA134_1.008.032
65-15-0-0		 ANA134_1.008.064
65-15-0-0		 ANA134_1.008.128
65-15-0-0		 ANA135_1
65-15-2-2		 ANA136_1
65-15-0-0		 ANA137_1
65-15-0-0		 ANA138_1
65-15-0-0
ANA139_1
65-15-12-11		 ANA140_1
65-15-11-10		 ANA141_1
65-15-0-0		 ANA142_1
65-15-0-0		 ANA143_1.002.008
65-15-0-0		 ANA143_1.002.016
65-15-0-0		 ANA143_1.002.032
65-15-0-0
ANA143_1.004.016
65-15-0-0		 ANA143_1.004.032
65-15-0-0		 ANA143_1.004.064
65-15-0-0		 ANA143_1.008.032
65-15-0-0		 ANA143_1.008.064
65-15-0-0		 ANA143_1.008.128
65-15-0-0