TSTP Solution Domain: PHI

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