Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#1.asp
Best Solver: aspq2v3 Time: 0.57 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 1.29 Caqe-bloqqer 3.32 aspq3alt 6.38
- - Qute_opt500 1.29 - - ASPQ_2018 6.38
- - Qute_random 1.29 - - Rareqs_2018 6.58
- - Caqe-hqspre 1.3 - - Caqe-bloqqer-qdo 7
- - Iprover-HQSpre-Bloqqer 1.35 - - PortfolioDepQBFGhostQRaReQSQute___pf 7.24
- - depqbf_pre_QxQBH 1.62 - - predyndep 7.49
- - - - - - Cued_3_2018 10.49
- - - - - - Cued_2_2018 10.5
aspq2v3(0.57)
Qute_default(1.29)
Qute_opt500(1.29)
Qute_random(1.29)
Caqe-hqspre(1.3)
Iprover-HQSpre-Bloqqer(1.35)
depqbf_pre_QxQBH(1.62)
Caqe-bloqqer(3.32)
aspq3alt(6.38)
ASPQ_2018(6.38)
Rareqs_2018(6.58)
Caqe-bloqqer-qdo(7)
PortfolioDepQBFGhostQRaReQSQute___pf(7.24)
predyndep(7.49)
Cued_3_2018(10.49)
Cued_2_2018(10.5)
Heretiq-cube(276.97)