TSTP Solution Domain: PHI

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
PHI001^1
86-21-2-2		 PHI002^1
86-19-11-8		 PHI002^2
86-19-13-8		 PHI003^1
86-19-9-7		 PHI003^2
86-19-12-7		 PHI004^1
86-19-9-8		 PHI004^2
86-19-10-7
PHI004^4
79-18-6-4		 PHI005^1
86-19-1-1		 PHI005^2
86-19-8-7		 PHI005^3
86-21-2-2		 PHI005^4
79-18-6-4		 PHI006^4
79-18-7-6		 PHI006^5
79-18-7-6
PHI007^4
79-18-4-1		 PHI007^5
79-18-4-3		 PHI008^4
79-18-7-5		 PHI009+1
79-59-49-40		 PHI010+1
79-59-51-41		 PHI011+1
79-59-56-44		 PHI012+1
79-59-50-41
PHI013+1
79-59-49-39		 PHI014+1
79-59-52-42		 PHI015+1
79-59-45-37		 PHI016+1
71-56-25-21		 PHI017+1
71-56-25-21		 PHI018+1
71-56-25-21		 PHI019+1
71-56-25-21
PHI020+1
71-56-25-21		 PHI021+1
71-56-25-21		 PHI022+1
73-55-50-41		 PHI023+1
73-55-48-40		 PHI024+1
71-56-25-21		 PHI025+1
71-56-26-21		 PHI026+1
71-56-25-21
PHI027+1
71-56-25-21		 PHI028+1
71-56-24-20		 PHI029+1
71-56-25-21		 PHI030+1
71-56-25-21		 PHI031+1
71-56-25-21		 PHI032+1
71-56-25-21		 PHI033+1
71-56-25-21
PHI034+1
71-56-25-21		 PHI035+1
71-56-25-21		 PHI036+1
71-56-25-21		 PHI037+1
71-56-25-21		 PHI038+1
71-56-25-21		 PHI039+1
71-56-25-21		 PHI040+1
71-56-25-21
PHI041+1
71-56-25-21		 PHI042+1
71-56-25-21		 PHI043^1
74-17-9-7		 PHI043^2
74-17-9-7		 PHI044_1
75-23-13-12