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



Solver Time Result
AIGSolve4.39UNSAT
iprover-QBF-bloqqer239.25FAIL
iprover-QBF451.15FAIL
depqbf-v1593.12FAIL
depqbf-v2593.32FAIL
caqe-minisat599.7FAIL
caqe-picosat599.71FAIL
rareqs599.71FAIL
xb-qsts599.71FAIL
squeezebf+struqs599.71FAIL
xb-bid-qsts599.71FAIL
hiqqer3599.71FAIL
qsts599.72FAIL
struqs-10599.72FAIL
depqbf-v3599.81FAIL
aqua-s3o599.81FAIL
qesto599.81FAIL
qestos599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
aqua-f3v599.82FAIL
aqua-s2v599.92FAIL
ghostq-plain600.01FAIL
ghostq-cegar600.01FAIL