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

Instance: ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp
Best Solver: quabs___caqe-hqspre Time: 10.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - quabs___caqe-bloqqer 11.65 PortfolioGhostQQfunQuAbSQute___pf2 95.76 Quabs_2018 163.17
- - - - PortfolioGhostQQfunQuAbSQute___pf3 99.32 - -
- - - - PortfolioGhostQQfunQuAbSQute___pfs 100.05 - -
quabs___caqe-hqspre(10.09)
quabs___caqe-bloqqer(11.65)
PortfolioGhostQQfunQuAbSQute___pf2(95.76)
PortfolioGhostQQfunQuAbSQute___pf3(99.32)
PortfolioGhostQQfunQuAbSQute___pfs(100.05)
Quabs_2018(163.17)