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
77-2-1-1		 PHI003^1
96-20-8-6		 PHI003^2
96-20-13-7		 PHI003^6
77-2-1-1
PHI003^7
77-2-0-0		 PHI003^8
77-2-1-1		 PHI004^1
96-20-11-9		 PHI004^2
96-20-12-8		 PHI004^4
89-19-8-6		 PHI004^8
77-2-1-1		 PHI005^1
96-20-0-0
PHI005^10
79-3-1-1		 PHI005^2
96-20-10-8		 PHI005^3
96-22-1-1		 PHI005^4
89-19-6-4		 PHI005^6
77-2-1-1		 PHI005^8
77-2-1-1		 PHI005^9
79-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-64-50-41		 PHI010+1
89-64-54-44
PHI011+1
89-64-60-47		 PHI012+1
89-64-54-45		 PHI013+1
89-64-52-42		 PHI014+1
89-64-56-45		 PHI015+1
89-64-48-40		 PHI016+1
82-61-27-22		 PHI017+1
82-61-27-22
PHI018+1
82-61-27-22		 PHI019+1
82-61-27-22		 PHI020+1
82-61-27-22		 PHI021+1
82-61-27-22		 PHI022+1
83-60-55-45		 PHI023+1
83-60-52-43		 PHI024+1
82-61-27-22
PHI025+1
82-61-27-22		 PHI026+1
82-61-27-22		 PHI027+1
82-61-27-22		 PHI028+1
82-61-26-21		 PHI029+1
82-61-27-22		 PHI030+1
82-61-27-22		 PHI031+1
82-61-27-22
PHI032+1
82-61-27-22		 PHI033+1
82-61-27-22		 PHI034+1
82-61-27-22		 PHI035+1
82-61-26-21		 PHI036+1
82-61-27-22		 PHI037+1
82-61-27-22		 PHI038+1
82-61-27-22
PHI039+1
82-61-27-22		 PHI040+1
82-61-27-22		 PHI041+1
82-61-27-22		 PHI042+1
82-61-27-22		 PHI043^1
84-18-10-8		 PHI043^2
84-18-10-8		 PHI044_1
85-24-13-13
PHI045^10
79-3-1-1		 PHI045^6
77-15-14-11		 PHI045^7
79-3-1-1		 PHI045^8
79-3-1-1		 PHI045^9
79-3-1-1		 PHI046^10
79-3-1-1		 PHI046^9
79-3-1-1