Results for instance stay4n.dqdimacs
QBFEVAL'19 - DQBF Solvers Track



Solver Time Result
dCaqe0SAT
hqs0SAT
hqs+ql0SAT
hqs+ql+fs0SAT
iprover_hqspre39.84SAT