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



Solver Time Result
qsts0.02UNSAT
aqua-f3v0.43SAT
aqua-s2v0.43SAT
aqua-s3o0.43SAT
ghostq-plain0.59SAT
ghostq-cegar0.6SAT
depqbf-v23.22SAT
depqbf-v33.87SAT
AIGSolve6.62SAT
rareqs11.41SAT
qestos11.43SAT
qesto11.44SAT
xb-qsts14.21SAT
xb-bid-qsts14.25SAT
caqe-minisat14.48SAT
iprover-QBF-bloqqer14.52SAT
caqe-picosat14.58SAT
squeezebf+struqs39.33SAT
struqs-1044.41SAT
hiqqer1ldsq70.92SAT
hiqqer372.04SAT
hiqqer172.27SAT
iprover-QBF432.03FAIL
depqbf-v1593.42FAIL