Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: k_branch_n-11
Best Solver: Hiqqer2019_3 Time: 1.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 1.84 caqe-pre 14.51 depqbf_pre_QxQBH 17.56
- - Hiqqer2019_2 1.86 Caqe-hqspre 14.6 - -
- - Caqe-bloqqer-qdo 5.44 Qute_rrs 15.92 - -
- - - - Qute_opt500 16.43 - -
- - - - Qute_default 16.61 - -
Hiqqer2019_3(1.7)
Hiqqer2019_1(1.84)
Hiqqer2019_2(1.86)
Caqe-bloqqer-qdo(5.44)
caqe-pre(14.51)
Caqe-hqspre(14.6)
Qute_rrs(15.92)
Qute_opt500(16.43)
Qute_default(16.61)
depqbf_pre_QxQBH(17.56)