Results for instance bs16n.dqdimacs
QBFEVAL'18 - DQBF Solvers Track



Solver Time Result
iprover_hqspre81.66SAT
dCaqe900FAIL
hqs900FAIL
idq900FAIL
iprover_dqbf18900FAIL