Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp
Best Solver: aspq2v3 Time: 1.49 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ASPQ_2018 3.86 Caqe-hqspre 11.4 Caqe-bloqqer 18.23
- - aspq3alt 3.9 - - PortfolioDepQBFGhostQRaReQSQute___pf 20.88
- - - - - - Caqe-bloqqer-qdo 40.52
- - - - - - Qute_default 134.55
aspq2v3(1.49)
ASPQ_2018(3.86)
aspq3alt(3.9)
Caqe-hqspre(11.4)
Caqe-bloqqer(18.23)
PortfolioDepQBFGhostQRaReQSQute___pf(20.88)
Caqe-bloqqer-qdo(40.52)
Qute_default(134.55)
Rareqs_2018(164.2)
Qute_random(553.03)
Qute_opt500(558.74)