Sota solver details
DQBF Solvers Track

Instance: marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacs
Best Solver: dqbdd Time: 7.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hqs 8.17 - - - -
dqbdd(7.28)
hqs(8.17)