Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: k_branch_p-16
Best Solver: depqbf_prefix_opt_qdo Time: 0.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - Hiqqer2019_1 0.79 Hiqqer2019_2 1.34
- - - - Hiqqer2019_3 0.81 Caqe-bloqqer-qdo 8.11
depqbf_prefix_opt_qdo(0.09)
Hiqqer2019_1(0.79)
Hiqqer2019_3(0.81)
Hiqqer2019_2(1.34)
Caqe-bloqqer-qdo(8.11)
Caqe-hqspre(41.58)
caqe-pre(46.5)
Qute_opt500(64.27)
Qute_rrs(64.51)
Qute_default(75.11)
depqbf_pre_QxQBH(133.21)