Results for instance CHAIN19v.20
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qestos0.01SAT
rareqs0.01SAT
qesto0.01SAT
AIGSolve0.01SAT
aqua-s2v0.03SAT
aqua-s3o0.03SAT
aqua-f3v0.03SAT
squeezebf+struqs0.04SAT
qsts0.04UNSAT
hiqqer1ldsq0.05SAT
depqbf-v30.05SAT
hiqqer10.05SAT
hiqqer30.06SAT
struqs-100.08SAT
xb-qsts0.1SAT
caqe-minisat0.1SAT
caqe-picosat0.1SAT
depqbf-v20.11SAT
iprover-QBF-bloqqer0.12SAT
xb-bid-qsts0.15SAT
iprover-QBF1.55SAT
ghostq-plain4.24SAT
ghostq-cegar23.08SAT
depqbf-v146.71SAT