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



Solver Time Result
xb-bid-qsts41.65SAT
iprover-QBF-bloqqer295.98FAIL
iprover-QBF362.03FAIL
qsts393.93FAIL
depqbf-v1592.12FAIL
depqbf-v2593.02FAIL
squeezebf+struqs599.71FAIL
ghostq-plain599.71FAIL
xb-qsts599.71FAIL
struqs-10599.71FAIL
caqe-minisat599.71FAIL
rareqs599.71FAIL
qesto599.71FAIL
qestos599.71FAIL
caqe-picosat599.81FAIL
hiqqer3599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
depqbf-v3599.81FAIL
aqua-s2v599.83FAIL
aqua-f3v599.83FAIL
AIGSolve599.84FAIL
ghostq-cegar599.91FAIL
aqua-s3o599.93FAIL