Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: small-synabs-fixpoint-10
Best Solver: CADET_2017 Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Caqe-bloqqer 0.52
- - - - - - Heretiq-simple 0.56
- - - - - - ijtihad 0.56
- - - - - - Heretiq-cube 0.59
- - - - - - Rareqs_2018 0.6
- - - - - - aspq2v3 0.61
- - - - - - aspq3alt 0.9
- - - - - - ASPQ_2018 0.9
- - - - - - Caqe-bloqqer-qdo 0.91
- - - - - - Cued_2_2018 0.91
- - - - - - Cued_3_2018 0.92
CADET_2017(0)
Caqe-bloqqer(0.52)
Heretiq-simple(0.56)
ijtihad(0.56)
Heretiq-cube(0.59)
Rareqs_2018(0.6)
aspq2v3(0.61)
aspq3alt(0.9)
ASPQ_2018(0.9)
Caqe-bloqqer-qdo(0.91)
Cued_2_2018(0.91)
Cued_3_2018(0.92)
GhostQ-PG_plain(1.21)
GhostQ-PG_cegar(1.22)
predyndep(1.34)
Caqe-hqspre(1.6)
Iprover-HQSpre-Bloqqer(1.78)
depqbf_pre_QxQBH(1.98)
Qute_default(5.93)
Qute_opt500(5.93)
Qute_random(5.99)
PortfolioDepQBFGhostQRaReQSQute___pf(11.67)