Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_random 5.47 Caqe-hqspre 20.77 Qute_default 28.58
- - Qute_opt500 5.5 PortfolioDepQBFGhostQRaReQSQute___pf 21.78 Caqe-bloqqer-qdo 35.4
- - ASPQ_2018 6.85 - - Caqe-bloqqer 156.88
- - aspq3alt 6.89 - - - -
aspq2v3(2.77)
Qute_random(5.47)
Qute_opt500(5.5)
ASPQ_2018(6.85)
aspq3alt(6.89)
Caqe-hqspre(20.77)
PortfolioDepQBFGhostQRaReQSQute___pf(21.78)
Qute_default(28.58)
Caqe-bloqqer-qdo(35.4)
Caqe-bloqqer(156.88)