Sota solver details
DQBF Solvers Track

Instance: php-010-008.shuffled-as.sat05-1171.cnf.dqdimacs
Best Solver: hqs Time: 0.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - iprover_hqspre_schedule 1.43 - - - -
- - iprover_hqspre_single 1.44 - - - -
dqbdd(0.76)
hqs(0.76)
iprover_hqspre_schedule(1.43)
iprover_hqspre_single(1.44)