Sota solver details
QBFEVAL'18 - DQBF Solvers Track

Instance: load_balancer_system_4.dqdimacs
Best Solver: iprover_hqspre Time: 5.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - hqs 72.19
- - - - - - iprover_dqbf18 539.23
iprover_hqspre(5.58)
hqs(72.19)
iprover_dqbf18(539.23)