Interactive evaluation results

benchmark	EPO LTR	EPO RTL	RPO LTR	RPO RTL	KBO LTR	KBO RTL	appRPO LTR	appRPO RTL	appKBO LTR	appKBO RTL
TPTP/ALG/ALG001^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/ALG/ALG270^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/ALG/ALG271^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	unsat	unsat
TPTP/ALG/ALG272^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	unsat	unsat
TPTP/ALG/ALG273^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	unsat	unsat
TPTP/ALG/ALG274^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/ALG/ALG275^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/ALG/ALG276^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/ALG/ALG277^5.p	unsat	unsat	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/ALG/ALG278^5.p	unsat	unsat	unsat	timeout	unsat	unsat	unsat	timeout	unsat	unsat
TPTP/ALG/ALG279^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/ALG/ALG280^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/ALG/ALG281^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/ALG/ALG282^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/ALG/ALG283^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/ALG/ALG284^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/ALG/ALG285^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/ALG/ALG286^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/ALG/ALG287^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/ALG/ALG298^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/CAT/CAT038^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/CAT/CAT038^2.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/COM/COM024^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/CSR/CSR142^3.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/DAT/DAT056^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/DAT/DAT139^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	sat	timeout	timeout
TPTP/DAT/DAT143^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	sat	timeout	timeout
TPTP/DAT/DAT259^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT260^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT261^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT262^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT263^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT266^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT267^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT270^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT271^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT275^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT276^1.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat
TPTP/DAT/DAT277^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT279^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT280^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/DAT/DAT281^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT282^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/DAT/DAT284^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/DAT/DAT297^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/DAT/DAT315^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/DAT/DAT319^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/DAT/DAT320^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/DAT/DAT322^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/GEG/GEG002^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/GRP/GRP001^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/LCL/LCL732^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM016^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM020^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM021^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM415^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM416^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM417^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM418^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM419^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM635^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM639^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM640^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM641^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM642^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM648^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM660^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM668^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM669^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM671^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM672^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM673^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM674^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM676^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM677^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM683^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM684^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM692^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM694^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM697^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM699^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM700^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM701^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM703^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM706^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM707^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM708^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM709^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM726^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM727^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/NUM/NUM728^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM729^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM736^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM737^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/NUM/NUM738^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM740^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM741^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/NUM/NUM747^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM748^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM749^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM750^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM751^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM752^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM753^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM754^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM758^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM759^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM760^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM767^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM769^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM770^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM771^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM781^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM781^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM781^3.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM782^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM792^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM793^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM795^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM796^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM798^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM799^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM800^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM801^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM803^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/NUM/NUM804^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/NUM/NUM805^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/NUM/NUM806^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/NUM/NUM807^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/NUM/NUM827^5.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM828^5.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM829^5.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUM/NUM830^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM924^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM924^2.p	timeout	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM925^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM926^1.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/NUM/NUM926^2.p	timeout	timeout	unsat	unsat	timeout	timeout	unsat	unsat	timeout	timeout
TPTP/NUN/NUN021^1.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	timeout	timeout	timeout
TPTP/NUN/NUN046^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/PUZ/PUZ031^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/PUZ/PUZ047^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/PUZ/PUZ088^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/PUZ/PUZ090^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/PUZ/PUZ091^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/PUZ/PUZ092^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/PUZ/PUZ093^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/PUZ/PUZ094^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/PUZ/PUZ111^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/PUZ/PUZ112^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/PUZ/PUZ121^5.p	timeout	timeout	timeout	timeout	sat	sat	timeout	timeout	sat	sat
TPTP/PUZ/PUZ127^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/PUZ/PUZ140^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/PUZ/PUZ140^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/PUZ/PUZ141^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/PUZ/PUZ142^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/PUZ/PUZ143^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/PUZ/PUZ144^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/PUZ/PUZ145^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/PUZ/PUZ146^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SET/SET043^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SET/SET044^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SET/SET045^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SET/SET046^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SET/SET062^6.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU501^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU505^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU512^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU513^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU514^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU515^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU516^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU518^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU521^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU522^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU523^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU524^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU528^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU529^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU530^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU532^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU533^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU547^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU548^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU551^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU551^3.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU552^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU553^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU559^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU560^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU561^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU562^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU563^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU564^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU565^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU566^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU567^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU568^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU569^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU570^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU571^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU572^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU573^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU574^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU575^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU576^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU577^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU578^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU579^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU582^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU584^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU587^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU588^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU596^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU597^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU598^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU599^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU604^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU605^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU606^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU607^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU608^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU609^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU617^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU618^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU619^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU620^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU621^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU622^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU623^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU625^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU626^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU627^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU628^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU629^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU632^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU634^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU635^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU636^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU641^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU642^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU644^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU646^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU647^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU648^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU649^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU650^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU651^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU652^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU653^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU654^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU657^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU658^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU659^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU660^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU661^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU662^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU663^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU664^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU690^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU692^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU693^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU694^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU706^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU712^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU713^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU714^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU715^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU716^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU717^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU718^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU719^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU720^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU721^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU722^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU723^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU724^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU725^2.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU726^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU727^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU728^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU729^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU730^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU731^2.p	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat	timeout	timeout
TPTP/SEU/SEU732^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU733^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU734^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU735^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU736^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU737^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU738^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU739^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU740^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU741^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU742^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU743^2.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU744^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU745^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU746^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU747^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU749^2.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU750^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU751^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU752^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU753^2.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat
TPTP/SEU/SEU754^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU755^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU756^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU757^2.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU758^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU759^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU760^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU761^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU762^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU764^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU773^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU774^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU781^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU783^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU784^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU785^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU786^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU787^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU788^2.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SEU/SEU789^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU790^2.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SEU/SEU791^2.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SEU/SEU792^2.p	unsat	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU803^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU805^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU806^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU807^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU808^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU809^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU812^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU813^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU814^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU816^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU817^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU818^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU819^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU821^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU822^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU823^2.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU824^2.p	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SEU/SEU825^3.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SEU/SEU841^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU882^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEU/SEU883^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU884^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU885^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU886^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU888^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU889^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU890^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU891^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU893^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU895^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU896^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU897^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEU/SEU899^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU917^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEU/SEU918^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SEU/SEU919^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU920^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU921^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU922^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU923^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU925^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU928^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU930^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU931^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU932^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU934^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU935^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU936^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU937^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU941^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU953^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEU/SEU954^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEU/SEU995^5.p	sat	sat	timeout	timeout	sat	sat	sat	sat	sat	sat
TPTP/SEU/SEU996^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU997^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU998^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEU/SEU999^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV000^5.p	timeout	timeout	unsat	timeout	unsat	timeout	unsat	timeout	unsat	timeout
TPTP/SEV/SEV001^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SEV/SEV002^5.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat
TPTP/SEV/SEV003^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SEV/SEV004^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SEV/SEV005^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SEV/SEV006^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV007^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SEV/SEV012^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV013^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV045^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV051^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV053^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV059^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV067^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV079^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV091^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV096^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV097^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV104^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV107^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV159^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV160^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV166^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV171^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV172^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV173^5.p	timeout	timeout	timeout	timeout	timeout	timeout	sat	sat	sat	sat
TPTP/SEV/SEV176^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV225^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV285^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV286^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV322^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV323^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV324^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV325^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV326^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV327^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV328^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV329^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV330^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV331^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV332^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV333^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV334^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV335^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV336^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV337^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV338^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV339^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV340^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV341^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV342^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV343^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV344^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV345^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV346^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV347^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV348^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV349^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV350^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV351^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV352^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV354^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV355^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV356^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV357^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV358^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV359^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV360^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV361^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV362^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV363^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV364^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV365^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV366^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV368^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV369^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV370^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV371^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV372^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV373^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV374^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV375^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV376^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV377^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV378^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV379^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV380^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV381^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV388^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV389^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV390^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV391^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV392^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV393^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV396^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV397^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV411^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV412^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV413^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV416^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SEV/SEV429^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV430^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV431^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV432^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SEV/SEV433^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SWW/SWW469^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN036^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN049^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN051^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN055^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN056^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN057^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN058^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN059^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN064^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN355^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN356^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN357^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN358^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN360^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN361^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN364^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN365^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN374^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN375^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN377^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN381^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN382^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN386^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN731^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN732^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN987^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYN/SYN988^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYN/SYN989^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN989^3.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYN/SYN990^1.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SYN/SYN993^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYN/SYN994^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYN/SYN996^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO015^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO019^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO021^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO023^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO038^1.002.304.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SYO/SYO038^1.003.003.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO038^1.003.004.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SYO/SYO038^1.004.004.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SYO/SYO038^1.005.005.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SYO/SYO076^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO077^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO078^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO079^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO080^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO081^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO082^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO083^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO084^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO085^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO086^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO087^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO088^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO089^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO090^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO092^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO093^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO094^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO095^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO096^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO098^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO099^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO101^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO102^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO103^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO104^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO105^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO107^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO108^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO109^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO111^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO112^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO113^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO114^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO118^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO119^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO120^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO121^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO122^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO123^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO124^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO125^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO128^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO129^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO130^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO131^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO133^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO134^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO135^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO136^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO137^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO138^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO139^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO140^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO141^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO142^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO143^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO144^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO145^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO146^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO147^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO148^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO149^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO150^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO151^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO152^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO153^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO154^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO155^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO156^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO157^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO158^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO159^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO160^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO161^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO163^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO164^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO165^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO166^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SYO/SYO167^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SYO/SYO168^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SYO/SYO169^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO170^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO171^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO173^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO174^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO175^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO178^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO179^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO180^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO181^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SYO/SYO182^5.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
TPTP/SYO/SYO185^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO194^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO203^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO211^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO215^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO216^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO219^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO232^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO238^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO250^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO257^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO270^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO279^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO295^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO344^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO350^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO355^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO360^5.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO380^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO381^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO382^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO383^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO384^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO385^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO386^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO387^5.p	timeout	timeout	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO388^5.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	unsat	unsat
TPTP/SYO/SYO389^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO390^5.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO391^5.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	unsat	unsat
TPTP/SYO/SYO502^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO516^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO526^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
TPTP/SYO/SYO527^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO550^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO551^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO552^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO553^1.p	sat	sat	sat	sat	sat	sat	sat	sat	sat	sat
TPTP/SYO/SYO554^1.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0001.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0002.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0003.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	unsat	timeout	timeout	timeout
SH/arr/arr0004.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0005.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	unsat	timeout	timeout	timeout
SH/arr/arr0006.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0007.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0008.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0009.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0010.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0011.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat
SH/arr/arr0012.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0013.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0014.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0015.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0016.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0017.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0018.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0019.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0020.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0021.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0022.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0023.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0024.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0025.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0026.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0027.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0028.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0029.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout
SH/arr/arr0030.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0031.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0032.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0033.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0034.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0035.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	unsat	timeout	timeout
SH/arr/arr0036.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0037.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	unsat	timeout	timeout
SH/arr/arr0038.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0039.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/arr/arr0040.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/arr/arr0041.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0042.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0043.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0044.pfho.p	unsat	unsat	timeout	timeout	unsat	unsat	timeout	unsat	timeout	timeout
SH/arr/arr0045.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0046.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0047.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0048.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/arr/arr0049.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0050.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0051.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0052.pfho.p	unsat	timeout	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout
SH/arr/arr0053.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0054.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0055.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0056.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0057.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0058.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0059.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0060.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0061.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0062.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0063.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	unsat	unsat
SH/arr/arr0064.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0065.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/arr/arr0066.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/arr/arr0067.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0068.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0069.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/arr/arr0070.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0071.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	timeout	timeout
SH/arr/arr0072.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0073.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0074.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0075.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0076.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0077.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0078.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0079.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	timeout	timeout
SH/arr/arr0080.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0081.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0082.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0083.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0084.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0085.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0086.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0087.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0088.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0089.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0090.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0091.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0092.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0093.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0094.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/arr/arr0095.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0096.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0097.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0098.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/arr/arr0099.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0001.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0002.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0003.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0004.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0005.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0006.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0007.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0008.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0009.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0010.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0011.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0012.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/auth/auth0013.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout
SH/auth/auth0014.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/auth/auth0015.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0016.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0017.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0018.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0019.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0020.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0021.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0022.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0023.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0024.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/auth/auth0025.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/auth/auth0026.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/auth/auth0027.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/auth/auth0028.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0029.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/auth/auth0030.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0031.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0032.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0033.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0034.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0035.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0036.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat
SH/auth/auth0037.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	unsat	unsat
SH/auth/auth0038.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0039.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0040.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0041.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0042.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0043.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat
SH/auth/auth0044.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/auth/auth0045.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0046.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0047.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0048.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat
SH/auth/auth0049.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0050.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0051.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0052.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0053.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0054.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0055.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0056.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0057.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0058.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0059.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0060.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0061.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0062.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0063.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0064.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0065.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0066.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0067.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0068.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0069.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0070.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0071.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0072.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0073.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0074.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0075.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0076.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0077.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0078.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/auth/auth0079.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0080.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0081.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0082.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0083.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0084.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0085.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0086.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat
SH/auth/auth0087.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	timeout	timeout
SH/auth/auth0088.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0089.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0090.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0091.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0092.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0093.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0094.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0095.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0096.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0097.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/auth/auth0098.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0099.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0100.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0101.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0102.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0103.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/auth/auth0104.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0001.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0002.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0003.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0004.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0005.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0006.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0007.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0008.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0009.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0010.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0011.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0012.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0013.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0014.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/fft/fft0015.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat
SH/fft/fft0016.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0017.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0018.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0019.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0020.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0021.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0022.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0023.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/fft/fft0024.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat
SH/fft/fft0025.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat
SH/fft/fft0026.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0027.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0028.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0029.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0030.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0031.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0032.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0033.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0034.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0035.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0036.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0037.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0038.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0039.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout
SH/fft/fft0040.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0041.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0042.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0043.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0044.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0045.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0046.pfho.p	unsat	unsat	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0047.pfho.p	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat	timeout
SH/fft/fft0048.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0049.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0050.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0051.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0052.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0053.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0054.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0055.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	unsat	timeout	timeout	timeout
SH/fft/fft0056.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0057.pfho.p	timeout	timeout	timeout	timeout	unsat	timeout	unsat	timeout	unsat	timeout
SH/fft/fft0058.pfho.p	timeout	timeout	unsat	unsat	unsat	timeout	unsat	unsat	unsat	timeout
SH/fft/fft0059.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0060.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0061.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0062.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0063.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0064.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0065.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0066.pfho.p	timeout	timeout	unsat	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0067.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	timeout	unsat
SH/fft/fft0068.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0069.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0070.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0071.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0072.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0073.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0074.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0075.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0076.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0077.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0078.pfho.p	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat	timeout	timeout
SH/fft/fft0079.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/fft/fft0080.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0081.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0082.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/fft/fft0083.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0084.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0085.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0086.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0087.pfho.p	unsat	timeout	unsat	unsat	timeout	timeout	unsat	unsat	timeout	timeout
SH/fft/fft0088.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0089.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0090.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0091.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0092.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0093.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0094.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0095.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0096.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0097.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fft/fft0098.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0099.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0100.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/fft/fft0101.pfho.p	unsat	timeout	timeout	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/fft/fft0102.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0103.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0104.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0105.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0106.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0107.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0108.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0109.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0110.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0111.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0112.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0113.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout
SH/fft/fft0114.pfho.p	unsat	unsat	unsat	timeout	unsat	unsat	unsat	timeout	unsat	unsat
SH/fft/fft0115.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0116.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0117.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0118.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0119.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0120.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout
SH/fft/fft0121.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0122.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0123.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0124.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0125.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0126.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0127.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/fft/fft0128.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0129.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0130.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0131.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0132.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0133.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0134.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0135.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	unsat	unsat
SH/fft/fft0136.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0137.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fft/fft0138.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0001.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0002.pfho.p	unsat	unsat	timeout	unsat	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0003.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0004.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0005.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0006.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0007.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0008.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0009.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0010.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0011.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0012.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0013.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0014.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0015.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat
SH/fta/fta0016.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0017.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0018.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0019.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0020.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0021.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0022.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0023.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0024.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0025.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0026.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0027.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0028.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0029.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0030.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0031.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0032.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0033.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0034.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0035.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0036.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0037.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0038.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout
SH/fta/fta0039.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0040.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0041.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0042.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0043.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0044.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0045.pfho.p	unsat	unsat	timeout	unsat	unsat	unsat	timeout	unsat	unsat	unsat
SH/fta/fta0046.pfho.p	timeout	timeout	timeout	unsat	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0047.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0048.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0049.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0050.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0051.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0052.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0053.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0054.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0055.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0056.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/fta/fta0057.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0058.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0059.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0060.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0061.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0062.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0063.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/fta/fta0064.pfho.p	unsat	unsat	timeout	timeout	timeout	unsat	timeout	timeout	timeout	unsat
SH/fta/fta0065.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0066.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0067.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0068.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0069.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0070.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0071.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/fta/fta0072.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	unsat	timeout	timeout
SH/fta/fta0073.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0074.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0075.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0076.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0077.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0078.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0079.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0080.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0081.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/fta/fta0082.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0083.pfho.p	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0084.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	unsat
SH/fta/fta0085.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0086.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0087.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0088.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0089.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0090.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0091.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0092.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0093.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0094.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0095.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0096.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0097.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0098.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0099.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0100.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0101.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0102.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0103.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0104.pfho.p	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat	timeout	unsat
SH/fta/fta0105.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0106.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0107.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0108.pfho.p	timeout	timeout	timeout	timeout	timeout	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0109.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0110.pfho.p	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat	unsat
SH/fta/fta0111.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0112.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0113.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0114.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0115.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0116.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0117.pfho.p	unsat	unsat	unsat	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0118.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0119.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0120.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	timeout	timeout
SH/fta/fta0121.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0122.pfho.p	unsat	unsat	unsat	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0123.pfho.p	unsat	unsat	unsat	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0124.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0125.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0126.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0127.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	timeout	timeout
SH/fta/fta0128.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0129.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0130.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0131.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/fta/fta0132.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0133.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0134.pfho.p	unsat	unsat	timeout	timeout	timeout	timeout	unsat	unsat	unsat	timeout
SH/fta/fta0135.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0136.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0137.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0138.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0139.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0140.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0141.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0142.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	unsat	timeout	unsat	unsat
SH/fta/fta0143.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0144.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0145.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0146.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0147.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0148.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0149.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0150.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0151.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0152.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0153.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0154.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0155.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0156.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0157.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0158.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0159.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0160.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0161.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0162.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0163.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0164.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0165.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0166.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0167.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0168.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0169.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0170.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0171.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0172.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/fta/fta0173.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0174.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0175.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	unsat	unsat
SH/fta/fta0176.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	unsat	timeout	timeout
SH/fta/fta0177.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	unsat
SH/fta/fta0178.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0179.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	unsat
SH/fta/fta0180.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0181.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0182.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0183.pfho.p	unsat	unsat	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0184.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0185.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0186.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/fta/fta0187.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0188.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	timeout
SH/fta/fta0189.pfho.p	timeout	timeout	timeout	timeout	timeout	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0190.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0191.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0192.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0193.pfho.p	timeout	timeout	timeout	timeout	unsat	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0194.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0195.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0196.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0197.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0198.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0199.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0200.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	timeout
SH/fta/fta0201.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0202.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0203.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0204.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout
SH/fta/fta0205.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0206.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0207.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0208.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat
SH/fta/fta0209.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0210.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0211.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout
SH/fta/fta0212.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	timeout
SH/fta/fta0213.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0214.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0215.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0216.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0217.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0218.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0219.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0220.pfho.p	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout	unsat	unsat
SH/fta/fta0221.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0222.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0223.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0224.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0225.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0226.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0227.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/fta/fta0228.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0229.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0230.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0231.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0232.pfho.p	unsat	unsat	unsat	unsat	timeout	timeout	unsat	timeout	unsat	unsat
SH/fta/fta0233.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0234.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0235.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0236.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0237.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0238.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0239.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0240.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	unsat	unsat
SH/fta/fta0241.pfho.p	timeout	timeout	timeout	timeout	unsat	timeout	timeout	timeout	unsat	unsat
SH/fta/fta0242.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0243.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0244.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0245.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0246.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0247.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0248.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0249.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0250.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0251.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0252.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0253.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0254.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0255.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0256.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0257.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0258.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0259.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0260.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0261.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0262.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	timeout
SH/fta/fta0263.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0264.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0265.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0266.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0267.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0268.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0269.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0270.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0271.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0272.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0273.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0274.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0275.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0276.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0277.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0278.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0279.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0280.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0281.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0282.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0283.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0284.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0285.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	unsat
SH/fta/fta0286.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0287.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/fta/fta0288.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout
SH/fta/fta0289.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout
SH/fta/fta0290.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0291.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0292.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat
SH/fta/fta0293.pfho.p	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0294.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0295.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0296.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0297.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/fta/fta0298.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0299.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0300.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0301.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0302.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0303.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat
SH/fta/fta0304.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0305.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0306.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0307.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0308.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0309.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0310.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout
SH/fta/fta0311.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0312.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0313.pfho.p	unsat	unsat	timeout	timeout	unsat	timeout	unsat	unsat	unsat	unsat
SH/fta/fta0314.pfho.p	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	unsat	unsat
SH/fta/fta0315.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/fta/fta0316.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0317.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0318.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0319.pfho.p	timeout	timeout	timeout	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0320.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0321.pfho.p	unsat	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0322.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0323.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0324.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0325.pfho.p	timeout	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0326.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0327.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat	unsat
SH/fta/fta0328.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0329.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0330.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0331.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0332.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0333.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0334.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0335.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0336.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0337.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0338.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0339.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0340.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0341.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0342.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0343.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0344.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0345.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0346.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0347.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0348.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0349.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0350.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0351.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0352.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0353.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0354.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0355.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0356.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0357.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0358.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0359.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0360.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0361.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0362.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0363.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0364.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0365.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0366.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/fta/fta0367.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0368.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0369.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0370.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0371.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0372.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0373.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0374.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0375.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0376.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0377.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0378.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0379.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/fta/fta0380.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0381.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0382.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0383.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0384.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0385.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0386.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0387.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0388.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0389.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0390.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat
SH/fta/fta0391.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/fta/fta0392.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0393.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0394.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0395.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0396.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0397.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0398.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0399.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0400.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0401.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0402.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0403.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0404.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0405.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0406.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0407.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/fta/fta0408.pfho.p	unsat	unsat	unsat	timeout	unsat	unsat	unsat	timeout	unsat	unsat
SH/fta/fta0409.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0410.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0411.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/fta/fta0412.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0001.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0002.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0003.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0004.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0005.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0006.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0007.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	unsat	timeout	unsat	unsat
SH/hoa/hoa0008.pfho.p	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout	unsat	unsat
SH/hoa/hoa0009.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0010.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0011.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0012.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0013.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0014.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0015.pfho.p	timeout	unsat	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0016.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0017.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0018.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0019.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0020.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0021.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0022.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0023.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0024.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0025.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/hoa/hoa0026.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0027.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0028.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0029.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0030.pfho.p	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0031.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0032.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/hoa/hoa0033.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0034.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0035.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0036.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0037.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0038.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0039.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0040.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0041.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0042.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0043.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0044.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0045.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0046.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0047.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0048.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0049.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0050.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/hoa/hoa0051.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0052.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0053.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0054.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	unsat	unsat
SH/hoa/hoa0055.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	unsat	unsat
SH/hoa/hoa0056.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0057.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0058.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0059.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0060.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0061.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0062.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0063.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0064.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0065.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0066.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0067.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0068.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0069.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0070.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0071.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0072.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0073.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0074.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0075.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0076.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0077.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0078.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0079.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0080.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0081.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0082.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0083.pfho.p	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout	unsat	unsat
SH/hoa/hoa0084.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/hoa/hoa0085.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0086.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0087.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0088.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0089.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0090.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0091.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0092.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0093.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0094.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0095.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0096.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0097.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0098.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0099.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0100.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0101.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0102.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0103.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0104.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0105.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0106.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0107.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0108.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0109.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0110.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0111.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0112.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0113.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0114.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0115.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0116.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0117.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0118.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0119.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0120.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0121.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0122.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0123.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0124.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0125.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0126.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0127.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/hoa/hoa0128.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/hoa/hoa0129.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0130.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0131.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0132.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0133.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0134.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0135.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0136.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0137.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0138.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0139.pfho.p	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout	timeout	unsat
SH/hoa/hoa0140.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0141.pfho.p	timeout	timeout	unsat	unsat	unsat	timeout	timeout	timeout	unsat	unsat
SH/hoa/hoa0142.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0143.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0144.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0145.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0146.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0147.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0148.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0149.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0150.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0151.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0152.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0153.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0154.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0155.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0156.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0157.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0158.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0159.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0160.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0161.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0162.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0163.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0164.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0165.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0166.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0167.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0168.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0169.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0170.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0171.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0172.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0173.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0174.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0175.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0176.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0177.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0178.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0179.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0180.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0181.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/hoa/hoa0182.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0183.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0184.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0185.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0186.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0187.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0188.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0189.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0190.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0191.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0192.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/hoa/hoa0193.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0194.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0195.pfho.p	sat	sat	sat	sat	sat	sat	Countersat	Countersat	Countersat	Countersat
SH/hoa/hoa0196.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0197.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/hoa/hoa0198.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0199.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0200.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0201.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/hoa/hoa0202.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/hoa/hoa0203.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0001.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0002.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0003.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0004.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0005.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0006.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	unsat	timeout
SH/jin/jin0007.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0008.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0009.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0010.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0011.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0012.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0013.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0014.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0015.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0016.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0017.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0018.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0019.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0020.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0021.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0022.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0023.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0024.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0025.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0026.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0027.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0028.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0029.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0030.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0031.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0032.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0033.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0034.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0035.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0036.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/jin/jin0037.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0038.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0039.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0040.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0041.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0042.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0043.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0044.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0045.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0046.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0047.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0048.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0049.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0050.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0051.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0052.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/jin/jin0053.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0054.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0055.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0056.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0057.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0058.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0059.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0060.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0061.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0062.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/jin/jin0063.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/jin/jin0064.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0065.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0066.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/jin/jin0067.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/jin/jin0068.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0069.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0070.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/jin/jin0071.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0072.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0073.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0074.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0075.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0076.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0077.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0078.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0079.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0080.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/jin/jin0081.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0082.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0083.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0084.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/jin/jin0085.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0086.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/jin/jin0087.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0088.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0089.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0090.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0091.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0092.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0093.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0094.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0095.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0096.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0097.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0098.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	timeout	timeout
SH/jin/jin0099.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0100.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0101.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0102.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0103.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0104.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/jin/jin0105.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/jin/jin0106.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout
SH/jin/jin0107.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0108.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0109.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0110.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0111.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0112.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	unsat	unsat
SH/jin/jin0113.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0114.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0115.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout
SH/jin/jin0116.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0117.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0118.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/jin/jin0119.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0120.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0121.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/jin/jin0122.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0123.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0124.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/jin/jin0125.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0126.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0127.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0128.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0129.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0130.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0131.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0132.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0133.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0134.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0135.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0136.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0137.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0138.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0139.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0140.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0141.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0142.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0143.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/jin/jin0144.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0145.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0146.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0147.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0148.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0149.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0150.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0151.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0152.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0153.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0154.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0155.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0156.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0157.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	unsat	timeout	unsat	unsat
SH/jin/jin0158.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0159.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0160.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0161.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	unsat	timeout	timeout
SH/jin/jin0162.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/jin/jin0163.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0164.pfho.p	timeout	timeout	unsat	unsat	timeout	timeout	unsat	timeout	timeout	timeout
SH/jin/jin0165.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/jin/jin0166.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0167.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0168.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout
SH/jin/jin0169.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0170.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0171.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0172.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0173.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/jin/jin0174.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0175.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0176.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0177.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0178.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0179.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0180.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/jin/jin0181.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/jin/jin0182.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0001.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0002.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0003.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0004.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0005.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0006.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0007.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0008.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0009.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0010.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0011.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0012.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0013.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0014.pfho.p	unsat	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/sn/sn0015.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0016.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0017.pfho.p	timeout	timeout	timeout	timeout	unsat	unsat	timeout	timeout	timeout	timeout
SH/sn/sn0018.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0019.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0020.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/sn/sn0021.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0022.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0023.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0024.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0025.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0026.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0027.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0028.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0029.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0030.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	timeout	timeout
SH/sn/sn0031.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0032.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0033.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0034.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0035.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0036.pfho.p	timeout	unsat	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0037.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0038.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/sn/sn0039.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0040.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0041.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0042.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0043.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0044.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0045.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0046.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0047.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0048.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/sn/sn0049.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0050.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0051.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/sn/sn0052.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0053.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0054.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0055.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0056.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0057.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/sn/sn0058.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	timeout
SH/sn/sn0059.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0060.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout
SH/sn/sn0061.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0062.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0063.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	timeout	unsat	unsat
SH/sn/sn0064.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0065.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0066.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0067.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0068.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0069.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0070.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0071.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0072.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0073.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0074.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0075.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0076.pfho.p	timeout	timeout	unsat	timeout	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0077.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0078.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0079.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0080.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0081.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0082.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0083.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0084.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0085.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0086.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0087.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0088.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0089.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0090.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0091.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0092.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0093.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0094.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0095.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0096.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0097.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0098.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0099.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0100.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0101.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0102.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0103.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0104.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0105.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0106.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0107.pfho.p	unsat	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/sn/sn0108.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0109.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0110.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout
SH/sn/sn0111.pfho.p	timeout	timeout	unsat	unsat	unsat	unsat	timeout	timeout	timeout	timeout
SH/sn/sn0112.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	timeout	timeout
SH/sn/sn0113.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	timeout	unsat	unsat
SH/sn/sn0114.pfho.p	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat	unsat
SH/sn/sn0115.pfho.p	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout	timeout