TSTP Solution Domain: PHI

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
PHI001^1
95-22-1-1		 PHI002^1
95-20-12-9		 PHI002^2
95-20-15-9		 PHI002^8
75-2-1-1		 PHI003^1
95-20-8-6		 PHI003^2
95-20-13-7		 PHI003^6
75-2-1-1
PHI003^7
75-2-0-0		 PHI003^8
75-2-1-1		 PHI004^1
95-20-11-9		 PHI004^2
95-20-12-8		 PHI004^4
88-19-8-6		 PHI004^8
75-2-1-1		 PHI005^1
95-20-0-0
PHI005^10
77-3-1-1		 PHI005^2
95-20-10-8		 PHI005^3
95-22-1-1		 PHI005^4
88-19-5-3		 PHI005^6
75-2-1-1		 PHI005^8
75-2-1-1		 PHI005^9
77-3-1-1
PHI006^4
88-19-6-5		 PHI006^5
88-19-6-5		 PHI007^4
88-19-5-2		 PHI007^5
88-19-5-4		 PHI008^4
88-19-8-6		 PHI009+1
88-62-49-40		 PHI010+1
88-62-53-43
PHI011+1
88-62-59-46		 PHI012+1
88-62-53-44		 PHI013+1
88-62-51-41		 PHI014+1
88-62-55-44		 PHI015+1
88-62-48-40		 PHI016+1
80-59-26-21		 PHI017+1
80-59-26-21
PHI018+1
80-59-26-21		 PHI019+1
80-59-26-21		 PHI020+1
80-59-26-21		 PHI021+1
80-59-26-21		 PHI022+1
82-58-53-43		 PHI023+1
82-58-50-41		 PHI024+1
80-59-26-21
PHI025+1
80-59-26-21		 PHI026+1
80-59-26-21		 PHI027+1
80-59-26-21		 PHI028+1
80-59-25-20		 PHI029+1
80-59-26-21		 PHI030+1
80-59-26-21		 PHI031+1
80-59-26-21
PHI032+1
80-59-26-21		 PHI033+1
80-59-26-21		 PHI034+1
80-59-26-21		 PHI035+1
80-59-25-20		 PHI036+1
80-59-26-21		 PHI037+1
80-59-26-21		 PHI038+1
80-59-26-21
PHI039+1
80-59-26-21		 PHI040+1
80-59-26-21		 PHI041+1
80-59-26-21		 PHI042+1
80-59-26-21		 PHI043^1
83-18-10-8		 PHI043^2
83-18-10-8		 PHI044_1
84-24-13-13
PHI045^10
77-3-1-1		 PHI045^6
75-15-14-11		 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