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

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - quabs___caqe-hqspre 11.09 - - PortfolioGhostQQfunQuAbSQute___pfs 166.8
- - - - - - PortfolioGhostQQfunQuAbSQute___pf3 168
- - - - - - PortfolioGhostQQfunQuAbSQute___pf2 171.31
- - - - - - Quabs_2018 314.92
- - - - - - Cqesto_2018 650.39
quabs___caqe-bloqqer(9.24)
quabs___caqe-hqspre(11.09)
PortfolioGhostQQfunQuAbSQute___pfs(166.8)
PortfolioGhostQQfunQuAbSQute___pf3(168)
PortfolioGhostQQfunQuAbSQute___pf2(171.31)
Quabs_2018(314.92)
Cqesto_2018(650.39)