Results for instance CHAIN17v.18
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qestos0.01SAT
rareqs0.01SAT
qesto0.01SAT
AIGSolve0.01SAT
aqua-s2v0.02SAT
aqua-s3o0.02SAT
aqua-f3v0.02SAT
squeezebf+struqs0.03SAT
qsts0.03UNSAT
hiqqer1ldsq0.04SAT
depqbf-v30.04SAT
hiqqer30.05SAT
hiqqer10.05SAT
struqs-100.05SAT
xb-qsts0.07SAT
caqe-minisat0.07SAT
caqe-picosat0.07SAT
iprover-QBF-bloqqer0.1SAT
depqbf-v20.11SAT
xb-bid-qsts0.11SAT
iprover-QBF1.14SAT
ghostq-plain3.02SAT
ghostq-cegar8.2SAT
depqbf-v115.81SAT