Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
Best Solver: depqbf_prefix_opt_qdo Time: 3.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - PortfolioDepQBFGhostQRaReQSQute___pf 14.01 Qute_opt500 20.9 Heretiq-simple 43.97
- - Caqe-hqspre 15.67 Qute_default 21 Heretiq-cube 44.47
- - GhostQ-PG_cegar 16.94 Qute_random 21.26 depqbf_pre_QxQBH 65.44
- - - - Caqe-bloqqer 22.5 predyndep 273.83
- - - - Caqe-bloqqer-qdo 29.8 - -
depqbf_prefix_opt_qdo(3.68)
PortfolioDepQBFGhostQRaReQSQute___pf(14.01)
Caqe-hqspre(15.67)
GhostQ-PG_cegar(16.94)
Qute_opt500(20.9)
Qute_default(21)
Qute_random(21.26)
Caqe-bloqqer(22.5)
Caqe-bloqqer-qdo(29.8)
Heretiq-simple(43.97)
Heretiq-cube(44.47)
depqbf_pre_QxQBH(65.44)
predyndep(273.83)
Cued_2_2018(488.52)
Cued_3_2018(502.85)