Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 48.58 Qute_default 146.16 Heretiq-simple 211.57
- - - - - - aspq2v3 289.78
- - - - - - ASPQ_2018 301.45
- - - - - - aspq3alt 302.57
- - - - - - Qute_random 392.47
- - - - - - Qute_opt500 405.62
PortfolioDepQBFGhostQRaReQSQute___pf(15.24)
Rareqs_2018(48.58)
Qute_default(146.16)
Heretiq-simple(211.57)
aspq2v3(289.78)
ASPQ_2018(301.45)
aspq3alt(302.57)
Qute_random(392.47)
Qute_opt500(405.62)