Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp
Best Solver: aspq2v3 Time: 0.96 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 1.29 aspq3alt 6.23 Cued_2_2018 9.85
- - Qute_default 1.37 ASPQ_2018 6.26 Cued_3_2018 9.94
- - Qute_opt500 1.37 predyndep 7.28 Caqe-bloqqer 10.03
- - Qute_random 1.37 PortfolioDepQBFGhostQRaReQSQute___pf 7.46 Rareqs_2018 10.66
- - Iprover-HQSpre-Bloqqer 1.39 - - Caqe-bloqqer-qdo 12.7
- - depqbf_pre_QxQBH 1.71 - - - -
aspq2v3(0.96)
Caqe-hqspre(1.29)
Qute_default(1.37)
Qute_opt500(1.37)
Qute_random(1.37)
Iprover-HQSpre-Bloqqer(1.39)
depqbf_pre_QxQBH(1.71)
aspq3alt(6.23)
ASPQ_2018(6.26)
predyndep(7.28)
PortfolioDepQBFGhostQRaReQSQute___pf(7.46)
Cued_2_2018(9.85)
Cued_3_2018(9.94)
Caqe-bloqqer(10.03)
Rareqs_2018(10.66)
Caqe-bloqqer-qdo(12.7)