Results for instance Core1108_tbm_21.tex.module.000008
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
xb-qsts13.99SAT
qsts15.77SAT
xb-bid-qsts15.8SAT
hiqqer162.91SAT
hiqqer1ldsq63.34SAT
hiqqer366.84SAT
caqe-picosat448.9SAT
iprover-QBF484.83FAIL
depqbf-v3578.87SAT
depqbf-v1587.42SAT
depqbf-v2592.83FAIL
iprover-QBF-bloqqer599.12FAIL
struqs-10599.71FAIL
squeezebf+struqs599.71FAIL
qesto599.71FAIL
qestos599.71FAIL
rareqs599.71FAIL
aqua-s2v599.75FAIL
caqe-minisat599.75FAIL
AIGSolve599.78FAIL
ghostq-cegar599.81FAIL
aqua-f3v599.82FAIL
aqua-s3o599.84FAIL
ghostq-plain599.91FAIL