Sota solver details
QBFEVAL'19 - DQBF Solvers Track

Instance: battleship-7-12-unsat.cnf.dqdimacs
Best Solver: hqs+ql Time: 292.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hqs+ql+fs 304.65 - - - -
- - hqs 306.74 - - - -
- - dCaqe 841.05 - - - -
hqs+ql(292.94)
hqs+ql+fs(304.65)
hqs(306.74)
dCaqe(841.05)