Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: Core1108_tbm_21.tex.module.000030
Best Solver: Caqe-hqspre Time: 17.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 17.19 depqbf_pre_QxQBH 103.57 Qute_rrs 324.4
- - depqbf_prefix_opt_qdo 32.29 - - - -
- - Hiqqer2019_2 54.66 - - - -
- - Hiqqer2019_1 56.84 - - - -
- - Hiqqer2019_3 60.66 - - - -
- - Caqe-bloqqer-qdo 82.68 - - - -
Caqe-hqspre(17.18)
caqe-pre(17.19)
depqbf_prefix_opt_qdo(32.29)
Hiqqer2019_2(54.66)
Hiqqer2019_1(56.84)
Hiqqer2019_3(60.66)
Caqe-bloqqer-qdo(82.68)
depqbf_pre_QxQBH(103.57)
Qute_rrs(324.4)