Sota solver details
DQBF Solvers Track

Instance: lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf.dqdimacs
Best Solver: hqs Time: 4.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - dqbdd 5.51 - - iprover_hqspre_schedule 254.61
hqs(4.71)
dqbdd(5.51)
iprover_hqspre_schedule(254.61)