Results for instance bs16n.dqdimacs
DQBF Solvers Track



Solver Time Result
iprover_hqspre_schedule184.58SAT
iprover_hqspre_single184.72SAT
hqs900FAIL
dqbdd900FAIL