Sota solver details
QBFEVAL'18 - DQBF Solvers Track

Instance: ltl2dba_R_environment_1.dqdimacs
Best Solver: idq Time: 0.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - dCaqe 0.3 - - - -
- - hqs 0.45 - - - -
- - iprover_dqbf18 0.61 - - - -
- - iprover_hqspre 0.99 - - - -
idq(0.24)
dCaqe(0.3)
hqs(0.45)
iprover_dqbf18(0.61)
iprover_hqspre(0.99)