TSTP Solution Domain: PHI

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
PHI001^1
94-22-1-1		 PHI002^1
94-20-11-8		 PHI002^2
94-20-14-8		 PHI002^8
75-2-1-1		 PHI003^1
94-20-8-6		 PHI003^2
94-20-13-7		 PHI003^6
75-2-1-1
PHI003^7
75-2-0-0		 PHI003^8
75-2-1-1		 PHI004^1
94-20-10-8		 PHI004^2
94-20-11-7		 PHI004^4
87-19-7-5		 PHI004^8
75-2-1-1		 PHI005^1
94-20-0-0
PHI005^10
77-3-1-1		 PHI005^2
94-20-9-7		 PHI005^3
94-22-1-1		 PHI005^4
87-19-6-4		 PHI005^6
75-2-1-1		 PHI005^8
75-2-1-1		 PHI005^9
77-3-1-1
PHI006^4
87-19-6-5		 PHI006^5
87-19-6-5		 PHI007^4
87-19-6-3		 PHI007^5
87-19-5-4		 PHI008^4
87-19-8-6		 PHI009+1
87-62-48-40		 PHI010+1
87-62-51-42
PHI011+1
87-62-57-45		 PHI012+1
87-62-51-43		 PHI013+1
87-62-50-41		 PHI014+1
87-62-53-43		 PHI015+1
87-62-46-39		 PHI016+1
80-59-27-23		 PHI017+1
80-59-27-23
PHI018+1
80-59-27-23		 PHI019+1
80-59-27-23		 PHI020+1
80-59-27-23		 PHI021+1
80-59-27-23		 PHI022+1
81-58-52-43		 PHI023+1
81-58-50-42		 PHI024+1
80-59-27-23
PHI025+1
80-59-27-23		 PHI026+1
80-59-27-23		 PHI027+1
80-59-27-23		 PHI028+1
80-59-26-22		 PHI029+1
80-59-27-23		 PHI030+1
80-59-27-23		 PHI031+1
80-59-27-23
PHI032+1
80-59-27-23		 PHI033+1
80-59-27-23		 PHI034+1
80-59-27-23		 PHI035+1
80-59-26-22		 PHI036+1
80-59-27-23		 PHI037+1
80-59-27-23		 PHI038+1
80-59-27-23
PHI039+1
80-59-27-23		 PHI040+1
80-59-27-23		 PHI041+1
80-59-27-23		 PHI042+1
80-59-27-23		 PHI043^1
82-18-9-7		 PHI043^2
82-18-9-7		 PHI044_1
83-24-12-12
PHI045^10
77-3-1-1		 PHI045^6
75-15-13-10		 PHI045^7
77-3-1-1		 PHI045^8
77-3-1-1		 PHI045^9
77-3-1-1		 PHI046^10
77-3-1-1		 PHI046^9
77-3-1-1