Results for instance k_ph_p-15
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
iprover-QBF292.55FAIL
depqbf-v1592.84FAIL
depqbf-v2592.94FAIL
iprover-QBF-bloqqer599.22FAIL
xb-qsts599.71FAIL
rareqs599.71FAIL
qsts599.71FAIL
aqua-s2v599.71FAIL
squeezebf+struqs599.71FAIL
xb-bid-qsts599.71FAIL
qestos599.72FAIL
caqe-picosat599.73FAIL
caqe-minisat599.78FAIL
hiqqer3599.81FAIL
hiqqer1599.81FAIL
ghostq-plain599.81FAIL
depqbf-v3599.81FAIL
qesto599.81FAIL
struqs-10599.81FAIL
hiqqer1ldsq599.82FAIL
aqua-s3o599.82FAIL
aqua-f3v599.82FAIL
AIGSolve599.82FAIL
ghostq-cegar599.91FAIL