Sota solver details
QBFEVAL'19 - DQBF Solvers Track

Instance: term1.blif_0.10_1.00_5_1_henkin.dqdimacs
Best Solver: hqs+ql+fs Time: 24.67 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hqs+ql 24.86 - - - -
- - hqs 25.58 - - - -
- - iprover_hqspre 109.77 - - - -
hqs+ql+fs(24.67)
hqs+ql(24.86)
hqs(25.58)
iprover_hqspre(109.77)