TSTP Solution Domain: PHI

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
PHI001^1
91-22-1-1		 PHI002^1
91-20-11-8		 PHI002^2
91-20-14-8		 PHI002^8
72-2-1-1		 PHI003^1
91-20-8-6		 PHI003^2
91-20-13-7		 PHI003^6
72-2-1-1
PHI003^7
72-2-0-0		 PHI003^8
72-2-1-1		 PHI004^1
91-20-10-8		 PHI004^2
91-20-11-7		 PHI004^4
84-19-7-5		 PHI004^8
72-2-1-1		 PHI005^1
91-20-0-0
PHI005^10
74-3-1-1		 PHI005^2
91-20-9-7		 PHI005^3
91-22-1-1		 PHI005^4
84-19-6-4		 PHI005^6
72-2-1-1		 PHI005^8
72-2-1-1		 PHI005^9
74-3-1-1
PHI006^4
84-19-6-5		 PHI006^5
84-19-6-5		 PHI007^4
84-19-6-3		 PHI007^5
84-19-5-4		 PHI008^4
84-19-8-6		 PHI009+1
84-59-46-38		 PHI010+1
84-59-48-39
PHI011+1
84-59-54-42		 PHI012+1
84-59-48-40		 PHI013+1
84-59-47-38		 PHI014+1
84-59-50-40		 PHI015+1
84-59-43-36		 PHI016+1
77-56-25-21		 PHI017+1
77-56-25-21
PHI018+1
77-56-25-21		 PHI019+1
77-56-25-21		 PHI020+1
77-56-25-21		 PHI021+1
77-56-25-21		 PHI022+1
78-55-49-40		 PHI023+1
78-55-47-39		 PHI024+1
77-56-25-21
PHI025+1
77-56-25-21		 PHI026+1
77-56-25-21		 PHI027+1
77-56-25-21		 PHI028+1
77-56-24-20		 PHI029+1
77-56-25-21		 PHI030+1
77-56-25-21		 PHI031+1
77-56-25-21
PHI032+1
77-56-25-21		 PHI033+1
77-56-25-21		 PHI034+1
77-56-25-21		 PHI035+1
77-56-24-20		 PHI036+1
77-56-25-21		 PHI037+1
77-56-25-21		 PHI038+1
77-56-25-21
PHI039+1
77-56-25-21		 PHI040+1
77-56-25-21		 PHI041+1
77-56-25-21		 PHI042+1
77-56-25-21		 PHI043^1
79-18-9-7		 PHI043^2
79-18-9-7		 PHI044_1
80-22-10-10
PHI045^10
74-3-1-1		 PHI045^6
72-15-13-10		 PHI045^7
74-3-1-1		 PHI045^8
74-3-1-1		 PHI045^9
74-3-1-1		 PHI046^10
74-3-1-1		 PHI046^9
74-3-1-1