Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: k_branch_n-12
Best Solver: Hiqqer2019_3 Time: 2.26 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_2 2.31 Hiqqer2019_1 18.33 caqe-pre 23.2
- - Caqe-bloqqer-qdo 7.4 Caqe-hqspre 21.18 depqbf_pre_QxQBH 27.57
- - - - - - Qute_rrs 27.7
- - - - - - Qute_opt500 28.2
- - - - - - Qute_default 28.78
Hiqqer2019_3(2.26)
Hiqqer2019_2(2.31)
Caqe-bloqqer-qdo(7.4)
Hiqqer2019_1(18.33)
Caqe-hqspre(21.18)
caqe-pre(23.2)
depqbf_pre_QxQBH(27.57)
Qute_rrs(27.7)
Qute_opt500(28.2)
Qute_default(28.78)