Results for instance CHAIN21v.22
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qestos0.01SAT
rareqs0.01SAT
qesto0.01SAT
AIGSolve0.02SAT
aqua-s2v0.04SAT
aqua-s3o0.04SAT
aqua-f3v0.04SAT
hiqqer1ldsq0.05SAT
squeezebf+struqs0.05SAT
qsts0.05UNSAT
hiqqer30.06SAT
depqbf-v30.06SAT
hiqqer10.06SAT
struqs-100.11SAT
depqbf-v20.11SAT
caqe-picosat0.12SAT
xb-qsts0.13SAT
caqe-minisat0.13SAT
iprover-QBF-bloqqer0.15SAT
xb-bid-qsts0.19SAT
iprover-QBF2.07SAT
ghostq-plain5.85SAT
ghostq-cegar12.63SAT
depqbf-v1148.31SAT