Sota solver details
DQBF Solvers Track

Instance: sgen3-n120-s12930489-sat.cnf.dqdimacs
Best Solver: dqbdd Time: 21.77 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hqs 32.78 iprover_hqspre_schedule 157.86 - -
- - - - iprover_hqspre_single 159.95 - -
dqbdd(21.77)
hqs(32.78)
iprover_hqspre_schedule(157.86)
iprover_hqspre_single(159.95)