Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: itc-b13-fixpoint-7
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.76
- - - - - - Heretiq-cube 0.77
- - - - - - ijtihad 0.77
- - - - - - Rareqs_2018 0.77
- - - - - - Heretiq-simple 0.81
- - - - - - aspq2v3 0.83
CADET_2017(0)
Caqe-bloqqer(0.76)
Heretiq-cube(0.77)
ijtihad(0.77)
Rareqs_2018(0.77)
Heretiq-simple(0.81)
aspq2v3(0.83)
Caqe-hqspre(2.61)
Iprover-HQSpre-Bloqqer(2.82)
depqbf_pre_QxQBH(3.16)
GhostQ-PG_plain(3.85)
Qute_default(4.3)
Qute_opt500(4.36)
Qute_random(4.38)
aspq3alt(4.67)
Caqe-bloqqer-qdo(4.67)
ASPQ_2018(4.68)
Cued_3_2018(4.72)
Cued_2_2018(4.73)
predyndep(5.31)
PortfolioDepQBFGhostQRaReQSQute___pf(11.56)
GhostQ-PG_cegar(12.08)