Sota solver details
QBFEVAL'18 - Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_random 2.11 PortfolioDepQBFGhostQRaReQSQute___pf 12.91 Caqe-hqspre 31.4
- - - - - - Qute_default 141.81
Qute_opt500(2.09)
Qute_random(2.11)
PortfolioDepQBFGhostQRaReQSQute___pf(12.91)
Caqe-hqspre(31.4)
Qute_default(141.81)