Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: query55_query42_1344n
Best Solver: GhostQ-PG_cegar Time: 9.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - ASPQ2 56.65 qesto 96.14
- - - - - - rareqs 265.01
- - - - - - caqe_2017_v1 382.54
- - - - - - xb-qsts_bqsts2.0 733.38
- - - - - - xb-qsts_xbqsts2.0 740.88
- - - - - - xb-qsts_xbqsts1.0 742.6
- - - - - - CUED1919_NL 781.98
GhostQ-PG_cegar(9.18)
ASPQ2(56.65)
qesto(96.14)
rareqs(265.01)
caqe_2017_v1(382.54)
xb-qsts_bqsts2.0(733.38)
xb-qsts_xbqsts2.0(740.88)
xb-qsts_xbqsts1.0(742.6)
CUED1919_NL(781.98)