TSTP Solution Domain: PHI

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
PHI001^1
89-21-2-2		 PHI002^1
89-19-11-8		 PHI002^2
89-19-13-8		 PHI003^1
89-19-9-7		 PHI003^2
89-19-12-7		 PHI004^1
89-19-9-8		 PHI004^2
89-19-10-7
PHI004^4
82-18-6-4		 PHI005^1
89-19-1-1		 PHI005^2
89-19-8-7		 PHI005^3
89-21-2-2		 PHI005^4
82-18-6-4		 PHI006^4
82-18-7-6		 PHI006^5
82-18-7-6
PHI007^4
82-18-5-2		 PHI007^5
82-18-4-3		 PHI008^4
82-18-7-5		 PHI009+1
82-62-51-42		 PHI010+1
82-62-53-43		 PHI011+1
82-62-58-46		 PHI012+1
82-62-52-43
PHI013+1
82-62-51-41		 PHI014+1
82-62-54-44		 PHI015+1
82-62-47-39		 PHI016+1
74-59-27-22		 PHI017+1
74-59-27-22		 PHI018+1
74-59-27-22		 PHI019+1
74-59-27-22
PHI020+1
74-59-27-22		 PHI021+1
74-59-27-22		 PHI022+1
76-58-52-43		 PHI023+1
76-58-50-42		 PHI024+1
74-59-27-22		 PHI025+1
74-59-28-22		 PHI026+1
74-59-27-22
PHI027+1
74-59-27-22		 PHI028+1
74-59-26-21		 PHI029+1
74-59-27-22		 PHI030+1
74-59-27-22		 PHI031+1
74-59-27-22		 PHI032+1
74-59-27-22		 PHI033+1
74-59-27-22
PHI034+1
74-59-27-22		 PHI035+1
74-59-27-22		 PHI036+1
74-59-27-22		 PHI037+1
74-59-27-22		 PHI038+1
74-59-27-22		 PHI039+1
74-59-27-22		 PHI040+1
74-59-27-22
PHI041+1
74-59-27-22		 PHI042+1
74-59-27-22		 PHI043^1
77-17-8-6		 PHI043^2
77-17-8-6		 PHI044_1
78-25-14-13