Sota solver details
QBFEVAL'18 - 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
- - - - ijtihad 0.51 Caqe-bloqqer-qdo 6.21
- - - - Caqe-bloqqer 0.56 Cued_2_2018 6.23
- - - - Heretiq-cube 0.57 Cued_3_2018 6.33
- - - - Heretiq-simple 0.59 predyndep 6.75
- - - - Rareqs_2018 0.61 - -
depqbf_prefix_opt_qdo(0.09)
ijtihad(0.51)
Caqe-bloqqer(0.56)
Heretiq-cube(0.57)
Heretiq-simple(0.59)
Rareqs_2018(0.61)
Caqe-bloqqer-qdo(6.21)
Cued_2_2018(6.23)
Cued_3_2018(6.33)
predyndep(6.75)
Caqe-hqspre(47.29)
Iprover-HQSpre-Bloqqer(57.88)
Qute_opt500(70.07)
Qute_default(76.64)
Qute_random(77.3)
depqbf_pre_QxQBH(131.47)