Sota solver details
QBFEVAL'19 - DQBF Solvers Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hqs+ql 0.77 - - - -
- - hqs+ql+fs 1.33 - - - -
- - iprover_hqspre 1.49 - - - -
- - dCaqe 1.68 - - - -
hqs(0.7)
hqs+ql(0.77)
hqs+ql+fs(1.33)
iprover_hqspre(1.49)
dCaqe(1.68)