Results for instance ken.flash^10.C-f3
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
depqbf-v30.04UNSAT
AIGSolve0.07UNSAT
rareqs0.07UNSAT
qestos0.07UNSAT
qesto0.07UNSAT
struqs-100.08UNSAT
depqbf-v20.09UNSAT
squeezebf+struqs0.19SAT
hiqqer10.2UNSAT
hiqqer1ldsq0.2UNSAT
hiqqer30.21UNSAT
aqua-s3o0.21UNSAT
aqua-f3v0.21UNSAT
aqua-s2v0.21UNSAT
xb-qsts0.32UNSAT
caqe-minisat0.33UNSAT
xb-bid-qsts0.34UNSAT
caqe-picosat0.35UNSAT
iprover-QBF-bloqqer0.36FAIL
depqbf-v10.41UNSAT
qsts0.87UNSAT
ghostq-plain9.01UNSAT
ghostq-cegar9.18UNSAT
iprover-QBF40.09UNSAT