TSTP Solution Domain: PRO

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