TSTP Solution Domain: PRO

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
PRO001+1
95-64-9-7		 PRO001+2
95-64-16-13		 PRO001+3
95-64-11-9		 PRO001+4
95-64-24-19		 PRO002+1
95-64-13-10		 PRO002+2
95-64-27-21		 PRO002+3
95-64-24-19
PRO002+4
95-64-30-24		 PRO003+1
95-64-13-9		 PRO003+2
95-64-29-22		 PRO003+3
95-64-29-23		 PRO003+4
95-64-28-22		 PRO004+1
95-64-8-8		 PRO004+2
95-64-30-24
PRO004+3
95-64-25-20		 PRO004+4
95-64-31-25		 PRO005+1
95-64-9-8		 PRO005+2
95-64-30-24		 PRO005+3
95-64-24-20		 PRO005+4
95-64-29-24		 PRO006+1
95-64-8-8
PRO006+2
95-64-24-18		 PRO006+3
95-64-23-19		 PRO006+4
95-64-27-21		 PRO007+1
95-68-10-10		 PRO007+2
95-68-9-9		 PRO007+3
95-68-11-11		 PRO007+4
95-68-10-10
PRO008+1
95-64-15-13		 PRO008+2
95-68-10-10		 PRO008+3
95-64-18-13		 PRO008+4
95-64-25-18		 PRO009+1
95-64-36-29		 PRO009+2
95-64-49-41		 PRO009+3
95-64-40-33
PRO009+4
95-64-44-37		 PRO010+1
95-64-43-35		 PRO010+2
95-64-46-37		 PRO010+3
95-64-47-38		 PRO010+4
95-64-45-36		 PRO011+1
95-64-44-36		 PRO011+2
95-64-46-37
PRO011+3
95-64-47-38		 PRO011+4
95-64-49-39		 PRO012+1
95-64-29-22		 PRO012+2
95-64-49-41		 PRO012+3
95-64-29-22		 PRO012+4
95-64-33-26		 PRO013+1
95-68-10-10
PRO013+2
95-68-11-11		 PRO013+3
95-68-10-10		 PRO013+4
95-68-12-12		 PRO014+1
95-64-28-22		 PRO014+2
95-64-42-34		 PRO014+3
95-64-29-23		 PRO014+4
95-64-32-25
PRO015+1
95-64-0-0		 PRO015+2
95-64-0-0		 PRO015+3
95-64-0-0		 PRO015+4
95-64-0-0		 PRO016+1
95-64-13-12		 PRO016+2
95-64-14-9		 PRO016+3
95-64-28-23
PRO016+4
95-64-31-24		 PRO017+1
95-64-20-15		 PRO017+2
95-64-32-25		 PRO017+3
95-64-24-20		 PRO017+4
95-64-26-22		 PRO018+1
95-64-19-15		 PRO018+2
95-64-26-22
PRO018+3
95-64-24-20		 PRO018+4
95-64-29-24		 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-2-1
PRO024^1
86-7-4-1		 PRO025^1
86-7-4-1		 PRO026^1
86-7-6-3		 PRO027^1
86-7-0-0		 PRO028^1
86-7-0-0		 PRO029^16
76-14-9-8		 PRO030_1
73-14-0-0
PRO031_1
73-15-0-0		 PRO032_1
73-14-0-0		 PRO033_1
73-14-0-0