Results for instance stmt17_18_19
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qestos0SAT
qesto0SAT
rareqs0SAT
AIGSolve0.01SAT
aqua-f3v0.01SAT
aqua-s2v0.01SAT
aqua-s3o0.01SAT
hiqqer1ldsq0.02SAT
hiqqer10.03SAT
caqe-minisat0.04SAT
hiqqer30.04SAT
xb-bid-qsts0.04SAT
xb-qsts0.04SAT
caqe-picosat0.05SAT
iprover-QBF-bloqqer0.07SAT
ghostq-cegar0.1SAT
ghostq-plain0.11SAT
qsts0.11SAT
depqbf-v20.11SAT
depqbf-v30.23SAT
depqbf-v17.01SAT
squeezebf+struqs29.22SAT
struqs-1029.29SAT
iprover-QBF327.15FAIL