Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
Best Solver: Caqe-hqspre Time: 58.99 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 59.03 Caqe-bloqqer-qdo 311.34 - -
- - depqbf_prefix_opt_qdo 72.15 - - - -
- - Hiqqer2019_2 142.92 - - - -
- - Hiqqer2019_1 147.03 - - - -
- - Hiqqer2019_3 163.68 - - - -
Caqe-hqspre(58.99)
caqe-pre(59.03)
depqbf_prefix_opt_qdo(72.15)
Hiqqer2019_2(142.92)
Hiqqer2019_1(147.03)
Hiqqer2019_3(163.68)
Caqe-bloqqer-qdo(311.34)