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



Solver Time Result
qsts0.01SAT
rareqs0.22SAT
qestos0.22SAT
qesto0.22SAT
depqbf-v30.26SAT
ghostq-plain0.28SAT
ghostq-cegar0.28SAT
aqua-s3o0.49SAT
aqua-s2v0.49SAT
aqua-f3v0.49SAT
hiqqer1ldsq0.49SAT
hiqqer10.5SAT
hiqqer30.51SAT
depqbf-v20.91SAT
xb-qsts1SAT
xb-bid-qsts1.01SAT
caqe-picosat1.03SAT
caqe-minisat1.04SAT
iprover-QBF-bloqqer1.06SAT
AIGSolve2.09SAT
squeezebf+struqs8.52SAT
struqs-108.68SAT
depqbf-v1592.62FAIL
iprover-QBF599.22FAIL