Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: depots08_6
Best Solver: ijtihad Time: 30.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Heretiq-simple 30.49 - - - -
- - Heretiq-cube 30.54 - - - -
- - Caqe-hqspre 36.46 - - - -
- - Iprover-HQSpre-Bloqqer 37.01 - - - -
- - Rareqs_2018 37.54 - - - -
- - depqbf_pre_QxQBH 41.85 - - - -
- - Qute_default 48.16 - - - -
- - Caqe-bloqqer 48.51 - - - -
- - Qute_opt500 48.94 - - - -
- - Qute_random 49.07 - - - -
- - PortfolioDepQBFGhostQRaReQSQute___pf 58.73 - - - -
- - Caqe-bloqqer-qdo 127.6 - - - -
ijtihad(30.46)
Heretiq-simple(30.49)
Heretiq-cube(30.54)
Caqe-hqspre(36.46)
Iprover-HQSpre-Bloqqer(37.01)
Rareqs_2018(37.54)
depqbf_pre_QxQBH(41.85)
Qute_default(48.16)
Caqe-bloqqer(48.51)
Qute_opt500(48.94)
Qute_random(49.07)
PortfolioDepQBFGhostQRaReQSQute___pf(58.73)
Caqe-bloqqer-qdo(127.6)