Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp
Best Solver: PortfolioDepQBFGhostQRaReQSQute___pf Time: 10.9 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Heretiq-simple 45.6 Qute_default 71.05 depqbf_pre_QxQBH 579.94
- - Heretiq-cube 45.85 - - ASPQ_2018 639.37
- - - - - - aspq3alt 639.86
- - - - - - aspq2v3 650.05
PortfolioDepQBFGhostQRaReQSQute___pf(10.9)
Heretiq-simple(45.6)
Heretiq-cube(45.85)
Qute_default(71.05)
depqbf_pre_QxQBH(579.94)
ASPQ_2018(639.37)
aspq3alt(639.86)
aspq2v3(650.05)