Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: k_branch_p-21
Best Solver: depqbf_prefix_opt_qdo Time: 1.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - predyndep 26.05
- - - - - - Caqe-bloqqer-qdo 30.52
depqbf_prefix_opt_qdo(1.02)
predyndep(26.05)
Caqe-bloqqer-qdo(30.52)
depqbf_pre_QxQBH(209.63)
Caqe-bloqqer(227.88)
Iprover-HQSpre-Bloqqer(369.69)
Qute_default(410.1)
Qute_random(422.12)
Caqe-hqspre(530.68)