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

Instance: ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp
Best Solver: quabs___caqe-bloqqer Time: 5.99 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - quabs___caqe-hqspre 8.05 PortfolioGhostQQfunQuAbSQute___pfs 46.85 Quabs_2018 185.91
- - - - PortfolioGhostQQfunQuAbSQute___pf3 46.99 - -
- - - - PortfolioGhostQQfunQuAbSQute___pf2 47.97 - -
quabs___caqe-bloqqer(5.99)
quabs___caqe-hqspre(8.05)
PortfolioGhostQQfunQuAbSQute___pfs(46.85)
PortfolioGhostQQfunQuAbSQute___pf3(46.99)
PortfolioGhostQQfunQuAbSQute___pf2(47.97)
Quabs_2018(185.91)
Cqesto_2018(675.88)