Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: k_branch_p-18
Best Solver: depqbf_prefix_opt_qdo Time: 0.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Heretiq-cube 1.8 - - predyndep 9.45
- - ijtihad 1.84 - - Caqe-bloqqer-qdo 9.89
- - Heretiq-simple 1.86 - - Cued_3_2018 9.89
- - - - - - Cued_2_2018 9.94
- - - - - - Caqe-bloqqer 15.03
depqbf_prefix_opt_qdo(0.63)
Heretiq-cube(1.8)
ijtihad(1.84)
Heretiq-simple(1.86)
predyndep(9.45)
Caqe-bloqqer-qdo(9.89)
Cued_3_2018(9.89)
Cued_2_2018(9.94)
Caqe-bloqqer(15.03)
depqbf_pre_QxQBH(165.83)
Qute_default(220.75)
Caqe-hqspre(251.59)
Qute_random(285.36)
Qute_opt500(299.89)
Iprover-HQSpre-Bloqqer(361.01)