TSTP Solution Domain: PHI

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

PHI001^1
83-20-1-1
PHI002^1
83-18-12-9
PHI002^2
83-18-14-9
PHI003^1
83-18-8-6
PHI003^2
83-18-13-8
PHI004^1
83-18-10-9
PHI004^2
83-18-11-8
PHI004^4
76-17-6-4
PHI005^1
83-18-0-0
PHI005^2
83-18-8-7
PHI005^3
83-20-1-1
PHI005^4
76-17-6-4
PHI006^4
76-17-5-4
PHI006^5
76-17-5-4
PHI007^4
76-17-4-1
PHI007^5
76-17-5-4
PHI008^4
76-17-8-6
PHI009+1
76-56-46-37
PHI010+1
76-56-48-38
PHI011+1
76-56-53-41
PHI012+1
76-56-47-38
PHI013+1
76-56-46-36
PHI014+1
76-56-49-39
PHI015+1
76-56-44-36
PHI016+1
68-53-24-21
PHI017+1
68-53-24-21
PHI018+1
68-53-24-21
PHI019+1
68-53-24-21
PHI020+1
68-53-24-21
PHI021+1
68-53-24-21
PHI022+1
70-52-47-38
PHI023+1
70-52-45-37
PHI024+1
68-53-24-21
PHI025+1
68-53-24-21
PHI026+1
68-53-24-21
PHI027+1
68-53-24-21
PHI028+1
68-53-23-20
PHI029+1
68-53-24-21
PHI030+1
68-53-24-21
PHI031+1
68-53-24-21
PHI032+1
68-53-24-21
PHI033+1
68-53-24-21
PHI034+1
68-53-24-21
PHI035+1
68-53-24-21
PHI036+1
68-53-24-21
PHI037+1
68-53-24-21
PHI038+1
68-53-24-21
PHI039+1
68-53-24-21
PHI040+1
68-53-24-21
PHI041+1
68-53-24-21
PHI042+1
68-53-24-21
PHI043^1
71-16-9-8
PHI043^2
71-16-9-8
PHI044_1
72-21-13-12