Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.asp
Best Solver: Qute_random Time: 2.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 2.19 PortfolioDepQBFGhostQRaReQSQute___pf 13.01 Caqe-hqspre 33.5
- - - - - - Qute_default 138.64
Qute_random(2.16)
Qute_opt500(2.19)
PortfolioDepQBFGhostQRaReQSQute___pf(13.01)
Caqe-hqspre(33.5)
Qute_default(138.64)