Sota solver details
QBFEVAL'19 - DQBF Solvers Track

Instance: term1.blif_0.60_1.00_3_3_henkin.dqdimacs
Best Solver: hqs Time: 0.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hqs+ql 0.93 - - iprover_hqspre 81.34
- - hqs+ql+fs 1.58 - - - -
hqs(0.91)
hqs+ql(0.93)
hqs+ql+fs(1.58)
iprover_hqspre(81.34)