TSTP Solution Domain: PHI

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
PHI001^1
96-22-1-1		 PHI002^1
96-20-12-9		 PHI002^2
96-20-15-9		 PHI002^8
76-2-1-1		 PHI003^1
96-20-8-6		 PHI003^2
96-20-13-7		 PHI003^6
76-2-1-1
PHI003^7
76-2-0-0		 PHI003^8
76-2-1-1		 PHI004^1
96-20-11-9		 PHI004^2
96-20-12-8		 PHI004^4
89-19-8-6		 PHI004^8
76-2-1-1		 PHI005^1
96-20-0-0
PHI005^10
78-3-1-1		 PHI005^2
96-20-10-8		 PHI005^3
96-22-1-1		 PHI005^4
89-19-6-4		 PHI005^6
76-2-1-1		 PHI005^8
76-2-1-1		 PHI005^9
78-3-1-1
PHI006^4
89-19-6-5		 PHI006^5
89-19-6-5		 PHI007^4
89-19-6-3		 PHI007^5
89-19-6-5		 PHI008^4
89-19-8-6		 PHI009+1
89-63-50-41		 PHI010+1
89-63-54-44
PHI011+1
89-63-60-47		 PHI012+1
89-63-54-45		 PHI013+1
89-63-52-42		 PHI014+1
89-63-56-45		 PHI015+1
89-63-48-40		 PHI016+1
81-60-26-21		 PHI017+1
81-60-26-21
PHI018+1
81-60-26-21		 PHI019+1
81-60-26-21		 PHI020+1
81-60-26-21		 PHI021+1
81-60-26-21		 PHI022+1
83-59-54-44		 PHI023+1
83-59-51-42		 PHI024+1
81-60-26-21
PHI025+1
81-60-26-21		 PHI026+1
81-60-26-21		 PHI027+1
81-60-26-21		 PHI028+1
81-60-25-20		 PHI029+1
81-60-26-21		 PHI030+1
81-60-26-21		 PHI031+1
81-60-26-21
PHI032+1
81-60-26-21		 PHI033+1
81-60-26-21		 PHI034+1
81-60-26-21		 PHI035+1
81-60-25-20		 PHI036+1
81-60-26-21		 PHI037+1
81-60-26-21		 PHI038+1
81-60-26-21
PHI039+1
81-60-26-21		 PHI040+1
81-60-26-21		 PHI041+1
81-60-26-21		 PHI042+1
81-60-26-21		 PHI043^1
84-18-10-8		 PHI043^2
84-18-10-8		 PHI044_1
85-24-13-13
PHI045^10
78-3-1-1		 PHI045^6
76-15-14-11		 PHI045^7
78-3-1-1		 PHI045^8
78-3-1-1		 PHI045^9
78-3-1-1		 PHI046^10
78-3-1-1		 PHI046^9
78-3-1-1