Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: add5_COMPLETE
Best Solver: Caqe-hqspre Time: 71.4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 72.77 depqbf_prefix_opt_qdo 398.41 Hiqqer2019_1 768.34
- - Caqe-bloqqer-qdo 248.04 - - Hiqqer2019_3 774.12
Caqe-hqspre(71.4)
caqe-pre(72.77)
Caqe-bloqqer-qdo(248.04)
depqbf_prefix_opt_qdo(398.41)
Hiqqer2019_1(768.34)
Hiqqer2019_3(774.12)