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



Solver Time Result
AIGSolve15.14SAT
iprover-QBF58.53SAT
iprover-QBF-bloqqer146.01SAT
qestos323.4SAT
rareqs514.93SAT
depqbf-v1593.12FAIL
depqbf-v2593.62FAIL
squeezebf+struqs599.71FAIL
hiqqer3599.71FAIL
depqbf-v3599.71FAIL
xb-bid-qsts599.71FAIL
struqs-10599.71FAIL
xb-qsts599.71FAIL
qesto599.71FAIL
qsts599.72FAIL
caqe-picosat599.8FAIL
ghostq-plain599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
caqe-minisat599.82FAIL
aqua-s2v599.82FAIL
ghostq-cegar599.91FAIL
aqua-s3o599.92FAIL
aqua-f3v600.02FAIL