TSTP Solution Domain: PRO

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