Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
Best Solver: Caqe-hqspre Time: 39.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 39.86 - - depqbf_pre_QxQBH 644.99
- - depqbf_prefix_opt_qdo 86.17 - - - -
- - Hiqqer2019_1 126.02 - - - -
- - Hiqqer2019_2 127.56 - - - -
- - Hiqqer2019_3 136.62 - - - -
- - Caqe-bloqqer-qdo 196.39 - - - -
Caqe-hqspre(39.68)
caqe-pre(39.86)
depqbf_prefix_opt_qdo(86.17)
Hiqqer2019_1(126.02)
Hiqqer2019_2(127.56)
Hiqqer2019_3(136.62)
Caqe-bloqqer-qdo(196.39)
depqbf_pre_QxQBH(644.99)