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

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
quabs___caqe-hqspre(0)
Qute_opt993(2.59)
PortfolioGhostQQfunQuAbSQute___pf2(4.85)
PortfolioGhostQQfunQuAbSQute___pfs(5.01)
PortfolioGhostQQfunQuAbSQute___pf3(5.17)
Quabs_2018(5.28)
Qute_hybrid(5.3)
Qute_opt617(34.36)
GhostQ_PG___plain_qcir_2018(89.26)
quabs___caqe-bloqqer(693.57)