Sota solver details
QBFEVAL'19 - DQBF Solvers Track

Instance: battleship-6-9-unsat.cnf.dqdimacs
Best Solver: hqs+ql Time: 0.9 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hqs 0.91 dCaqe 4.98 - -
hqs+ql(0.9)
hqs+ql+fs(0.9)
hqs(0.91)
dCaqe(4.98)