Sota solver details
QBFEVAL'19 - DQBF Solvers Track

Instance: crn_11_100_s.cnf.dqdimacs
Best Solver: dCaqe Time: 11.36 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hqs+ql+fs 22.51 - - - -
- - hqs+ql 26.98 - - - -
- - hqs 26.99 - - - -
dCaqe(11.36)
hqs+ql+fs(22.51)
hqs+ql(26.98)
hqs(26.99)