TSTP Solution Domain: PRO

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
PRO001+1
92-60-6-4		 PRO001+2
92-60-12-9		 PRO001+3
92-60-8-6		 PRO001+4
92-60-19-14		 PRO002+1
92-60-9-6		 PRO002+2
92-60-22-16		 PRO002+3
92-60-19-14
PRO002+4
92-60-25-19		 PRO003+1
92-60-10-6		 PRO003+2
92-60-24-17		 PRO003+3
92-60-23-17		 PRO003+4
92-60-23-17		 PRO004+1
92-60-5-5		 PRO004+2
92-60-25-19
PRO004+3
92-60-21-16		 PRO004+4
92-60-26-20		 PRO005+1
92-60-6-5		 PRO005+2
92-60-24-18		 PRO005+3
92-60-19-15		 PRO005+4
92-60-24-19		 PRO006+1
92-60-5-5
PRO006+2
92-60-20-14		 PRO006+3
92-60-18-14		 PRO006+4
92-60-21-15		 PRO007+1
92-63-9-9		 PRO007+2
92-63-8-8		 PRO007+3
92-63-8-8		 PRO007+4
92-63-8-8
PRO008+1
92-60-11-9		 PRO008+2
92-63-8-8		 PRO008+3
92-60-13-8		 PRO008+4
92-60-19-12		 PRO009+1
92-60-30-23		 PRO009+2
92-60-44-36		 PRO009+3
92-60-35-28
PRO009+4
92-60-39-32		 PRO010+1
92-60-39-31		 PRO010+2
92-60-42-33		 PRO010+3
92-60-42-33		 PRO010+4
92-60-41-32		 PRO011+1
92-60-39-31		 PRO011+2
92-60-42-33
PRO011+3
92-60-42-33		 PRO011+4
92-60-44-34		 PRO012+1
92-60-24-17		 PRO012+2
92-60-44-36		 PRO012+3
92-60-23-16		 PRO012+4
92-60-28-21		 PRO013+1
92-63-8-8
PRO013+2
92-63-9-9		 PRO013+3
92-63-8-8		 PRO013+4
92-63-10-10		 PRO014+1
92-60-23-17		 PRO014+2
92-60-38-30		 PRO014+3
92-60-24-18		 PRO014+4
92-60-27-20
PRO015+1
92-60-0-0		 PRO015+2
92-60-0-0		 PRO015+3
92-60-0-0		 PRO015+4
92-60-0-0		 PRO016+1
92-60-8-7		 PRO016+2
92-60-11-6		 PRO016+3
92-60-23-18
PRO016+4
92-60-26-19		 PRO017+1
92-60-14-9		 PRO017+2
92-60-27-20		 PRO017+3
92-60-19-15		 PRO017+4
92-60-20-16		 PRO018+1
92-60-14-10		 PRO018+2
92-60-21-17
PRO018+3
92-60-19-15		 PRO018+4
92-60-23-18		 PRO019^1
83-7-7-4		 PRO020^1
83-7-0-0		 PRO021^1
83-7-0-0		 PRO022^1
83-7-0-0		 PRO023^1
83-7-3-2
PRO024^1
83-7-5-2		 PRO025^1
83-7-5-2		 PRO026^1
83-7-6-3		 PRO027^1
83-7-0-0		 PRO028^1
83-7-0-0		 PRO029^16
74-15-10-8		 PRO030_1
72-12-0-0
PRO031_1
72-13-0-0		 PRO032_1
72-12-0-0		 PRO033_1
72-12-0-0