TSTP Solution Domain: PHI

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