Sota solver details
DQBF Solvers Track

Instance: battleship-6-9-unsat.cnf.dqdimacs
Best Solver: dqbdd Time: 0.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hqs 1.27 - - - -
dqbdd(0.91)
hqs(1.27)