Sota solver details
DQBF Solvers Track

Instance: battleship-10-19-sat.cnf.dqdimacs
Best Solver: dqbdd Time: 10.48 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hqs 25.15 - - iprover_hqspre_single 135.16
- - - - - - iprover_hqspre_schedule 135.33
dqbdd(10.48)
hqs(25.15)
iprover_hqspre_single(135.16)
iprover_hqspre_schedule(135.33)