Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: k_branch_p-10
Best Solver: depqbf_prefix_opt_qdo Time: 0.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Heretiq-cube 0.61
- - - - - - Heretiq-simple 0.61
- - - - - - ijtihad 0.61
- - - - - - Caqe-bloqqer 0.76
- - - - - - Rareqs_2018 1.94
- - - - - - Caqe-bloqqer-qdo 2.49
- - - - - - Cued_2_2018 2.55
- - - - - - Cued_3_2018 2.56
- - - - - - predyndep 2.56
depqbf_prefix_opt_qdo(0.03)
Heretiq-cube(0.61)
Heretiq-simple(0.61)
ijtihad(0.61)
Caqe-bloqqer(0.76)
Rareqs_2018(1.94)
Caqe-bloqqer-qdo(2.49)
Cued_2_2018(2.55)
Cued_3_2018(2.56)
predyndep(2.56)
Qute_random(7.11)
Qute_default(7.14)
Caqe-hqspre(7.2)
Qute_opt500(7.44)
Iprover-HQSpre-Bloqqer(9.04)
depqbf_pre_QxQBH(9.63)
PortfolioDepQBFGhostQRaReQSQute___pf(197.72)