Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp
Best Solver: Caqe-hqspre Time: 1.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 1.36 predyndep 7.27 - -
- - Qute_opt500 1.37 PortfolioDepQBFGhostQRaReQSQute___pf 7.41 - -
- - Qute_random 1.38 Cued_3_2018 9.95 - -
- - Iprover-HQSpre-Bloqqer 1.46 Cued_2_2018 9.97 - -
- - depqbf_pre_QxQBH 1.66 Caqe-bloqqer 10.06 - -
- - - - Rareqs_2018 10.64 - -
- - - - Caqe-bloqqer-qdo 12.53 - -
Caqe-hqspre(1.3)
Qute_default(1.36)
Qute_opt500(1.37)
Qute_random(1.38)
Iprover-HQSpre-Bloqqer(1.46)
depqbf_pre_QxQBH(1.66)
predyndep(7.27)
PortfolioDepQBFGhostQRaReQSQute___pf(7.41)
Cued_3_2018(9.95)
Cued_2_2018(9.97)
Caqe-bloqqer(10.06)
Rareqs_2018(10.64)
Caqe-bloqqer-qdo(12.53)
Heretiq-simple(696.17)
GhostQ-PG_cegar(870.48)