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



Solver Time Result
AIGSolve0.03UNSAT
aqua-s2v3.37UNSAT
aqua-s3o3.7UNSAT
depqbf-v24.32UNSAT
xb-qsts6.15UNSAT
xb-bid-qsts6.27UNSAT
hiqqer127.49UNSAT
hiqqer1ldsq27.51UNSAT
hiqqer327.54UNSAT
depqbf-v335.8UNSAT
depqbf-v151.31UNSAT
aqua-f3v70.45UNSAT
caqe-minisat75.86UNSAT
squeezebf+struqs114.74UNSAT
struqs-10115.35UNSAT
caqe-picosat138.83UNSAT
qesto359.46UNSAT
rareqs553.51UNSAT
iprover-QBF599.22FAIL
iprover-QBF-bloqqer599.23FAIL
qestos599.71FAIL
qsts599.71FAIL
ghostq-plain599.91FAIL
ghostq-cegar599.91FAIL