Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp
Best Solver: Caqe-hqspre Time: 11.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer 17.26 - - Qute_default 133.75
- - PortfolioDepQBFGhostQRaReQSQute___pf 20.9 - - Rareqs_2018 154.18
- - Caqe-bloqqer-qdo 40.56 - - Qute_opt500 544.57
- - - - - - Qute_random 545.1
Caqe-hqspre(11.1)
Caqe-bloqqer(17.26)
PortfolioDepQBFGhostQRaReQSQute___pf(20.9)
Caqe-bloqqer-qdo(40.56)
Qute_default(133.75)
Rareqs_2018(154.18)
Qute_opt500(544.57)
Qute_random(545.1)