Sota solver details
QBFEVAL'18 - DQBF Solvers Track

Instance: amba_decomposed_lock_environment_2.dqdimacs
Best Solver: iprover_hqspre Time: 1.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - idq 2.7 iprover_dqbf18 12.78 dCaqe 33.67
- - hqs 3.01 - - - -
iprover_hqspre(1.76)
idq(2.7)
hqs(3.01)
iprover_dqbf18(12.78)
dCaqe(33.67)