Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: Umbrella_tbm_05.tex.module.000039
Best Solver: Caqe-hqspre Time: 25.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 25.7 Hiqqer2019_1 135.26 - -
- - depqbf_prefix_opt_qdo 53.96 Hiqqer2019_3 147 - -
- - Hiqqer2019_2 81.19 Caqe-bloqqer-qdo 225.83 - -
- - depqbf_pre_QxQBH 118.05 - - - -
Caqe-hqspre(25.63)
caqe-pre(25.7)
depqbf_prefix_opt_qdo(53.96)
Hiqqer2019_2(81.19)
depqbf_pre_QxQBH(118.05)
Hiqqer2019_1(135.26)
Hiqqer2019_3(147)
Caqe-bloqqer-qdo(225.83)