Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: s15850_PR_8_90
Best Solver: depqbf_prefix_opt_qdo Time: 0.73 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Heretiq-cube 0.84 GhostQ-PG_cegar 6.86 PortfolioDepQBFGhostQRaReQSQute___pf 8.47
- - ijtihad 0.86 GhostQ-PG_plain 6.97 Cued_2_2018 12.89
- - Heretiq-simple 0.87 - - Cued_3_2018 12.9
- - Rareqs_2018 0.89 - - predyndep 14.32
- - Iprover-HQSpre-Bloqqer 0.93 - - - -
- - Caqe-bloqqer 0.96 - - - -
- - Qute_default 1.28 - - - -
- - Qute_opt500 1.36 - - - -
- - Qute_random 1.36 - - - -
- - depqbf_pre_QxQBH 1.43 - - - -
- - Caqe-hqspre 1.51 - - - -
- - Caqe-bloqqer-qdo 2.57 - - - -
depqbf_prefix_opt_qdo(0.73)
Heretiq-cube(0.84)
ijtihad(0.86)
Heretiq-simple(0.87)
Rareqs_2018(0.89)
Iprover-HQSpre-Bloqqer(0.93)
Caqe-bloqqer(0.96)
Qute_default(1.28)
Qute_opt500(1.36)
Qute_random(1.36)
depqbf_pre_QxQBH(1.43)
Caqe-hqspre(1.51)
Caqe-bloqqer-qdo(2.57)
GhostQ-PG_cegar(6.86)
GhostQ-PG_plain(6.97)
PortfolioDepQBFGhostQRaReQSQute___pf(8.47)
Cued_2_2018(12.89)
Cued_3_2018(12.9)
predyndep(14.32)