Sota solver details
DQBF Solvers Track

Instance: DeQuBlRaGe_800_1500_3545957297944809611.dqdimacs
Best Solver: hqs Time: 20.49 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - dqbdd 40.78 iprover_hqspre_single 156.16 - -
- - - - iprover_hqspre_schedule 159.76 - -
hqs(20.49)
dqbdd(40.78)
iprover_hqspre_single(156.16)
iprover_hqspre_schedule(159.76)