Sota solver details
DQBF Solvers Track

Instance: DeQuBlRaGe_400_700_3545989440129390151.dqdimacs
Best Solver: hqs Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
dqbdd 0 - - iprover_hqspre_single 0.07 - -
- - - - iprover_hqspre_schedule 0.08 - -
dqbdd(0)
hqs(0)
iprover_hqspre_single(0.07)
iprover_hqspre_schedule(0.08)