Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp
Best Solver: Qute_default Time: 2.56 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - PortfolioDepQBFGhostQRaReQSQute___pf 11.17 - - aspq2v3 36.15
- - - - - - ASPQ_2018 37.27
- - - - - - aspq3alt 37.56
- - - - - - Qute_random 48.68
- - - - - - Qute_opt500 48.77
- - - - - - Heretiq-simple 59.4
- - - - - - Heretiq-cube 59.8
- - - - - - Rareqs_2018 156.35
Qute_default(2.56)
PortfolioDepQBFGhostQRaReQSQute___pf(11.17)
aspq2v3(36.15)
ASPQ_2018(37.27)
aspq3alt(37.56)
Qute_random(48.68)
Qute_opt500(48.77)
Heretiq-simple(59.4)
Heretiq-cube(59.8)
Rareqs_2018(156.35)
depqbf_pre_QxQBH(483.84)