TSTP Solution Domain: PRO

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