Sota solver details
QBFEVAL'18 - DQBF Solvers Track

Instance: round_robin_arbiter_environment_2.dqdimacs
Best Solver: iprover_hqspre Time: 1.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hqs 1.81 dCaqe 9.08 - -
- - idq 2.32 - - - -
- - iprover_dqbf18 3.13 - - - -
iprover_hqspre(1.04)
hqs(1.81)
idq(2.32)
iprover_dqbf18(3.13)
dCaqe(9.08)