Results for instance c1_Debug_s5_f1_e1_v2
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
iprover-QBF281.15FAIL
rareqs544.76SAT
depqbf-v1592.32FAIL
depqbf-v2592.94FAIL
ghostq-plain598.91FAIL
ghostq-cegar598.91FAIL
qsts599.11FAIL
iprover-QBF-bloqqer599.12FAIL
qesto599.52FAIL
qestos599.61FAIL
caqe-picosat599.68FAIL
caqe-minisat599.68FAIL
xb-qsts599.71FAIL
squeezebf+struqs599.71FAIL
xb-bid-qsts599.72FAIL
AIGSolve599.72FAIL
hiqqer3599.72FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
depqbf-v3599.81FAIL
struqs-10599.81FAIL
aqua-s3o600FAIL
aqua-s2v600FAIL
aqua-f3v600FAIL