Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: add6_REDUCED
Best Solver: depqbf_prefix_opt_qdo Time: 116.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 240.67 - - - -
- - Caqe-hqspre 246.14 - - - -
- - caqe-pre 250.78 - - - -
depqbf_prefix_opt_qdo(116.68)
Caqe-bloqqer-qdo(240.67)
Caqe-hqspre(246.14)
caqe-pre(250.78)