Results for instance fpu-10Xe-correct01-uniform-depth-22
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
depqbf-v30.74UNSAT
depqbf-v20.81UNSAT
struqs-101.65UNSAT
qesto1.9UNSAT
qestos1.9UNSAT
rareqs1.9UNSAT
AIGSolve3.25UNSAT
hiqqer1ldsq4.18UNSAT
hiqqer14.24UNSAT
hiqqer34.25UNSAT
xb-bid-qsts8.21UNSAT
iprover-QBF-bloqqer8.22FAIL
caqe-minisat8.31UNSAT
xb-qsts8.37UNSAT
caqe-picosat8.75UNSAT
depqbf-v19.61UNSAT
squeezebf+struqs19.71SAT
aqua-s3o20.5UNSAT
aqua-f3v20.5UNSAT
aqua-s2v20.51UNSAT
iprover-QBF30.14FAIL
qsts101.91UNSAT
ghostq-cegar165.85UNSAT
ghostq-plain168.27UNSAT