Sota solver details
QBFEVAL'19 - DQBF Solvers Track

Instance: marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacs
Best Solver: hqs+ql+fs Time: 3.27 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hqs+ql 7.33 - - - -
- - hqs 7.35 - - - -
- - dCaqe 7.76 - - - -
hqs+ql+fs(3.27)
hqs+ql(7.33)
hqs(7.35)
dCaqe(7.76)