Sota solver details
QBFEVAL'18 - Prenex non-CNF Track

Instance: ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp
Best Solver: quabs___caqe-bloqqer Time: 3.88 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - quabs___caqe-hqspre 12.87 PortfolioGhostQQfunQuAbSQute___pfs 32.68 Cqesto_2018 185.05
- - - - PortfolioGhostQQfunQuAbSQute___pf3 32.7 Quabs_2018 239.36
- - - - PortfolioGhostQQfunQuAbSQute___pf2 33.75 - -
quabs___caqe-bloqqer(3.88)
quabs___caqe-hqspre(12.87)
PortfolioGhostQQfunQuAbSQute___pfs(32.68)
PortfolioGhostQQfunQuAbSQute___pf3(32.7)
PortfolioGhostQQfunQuAbSQute___pf2(33.75)
Cqesto_2018(185.05)
Quabs_2018(239.36)