Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: query64_query11_1344n
Best Solver: GhostQ-PG_cegar Time: 19.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - rareqs 300.33
- - - - - - xb-qsts_xbqsts2.0 413.34
- - - - - - xb-qsts_xbqsts1.0 414.98
- - - - - - xb-qsts_bqsts2.0 417.58
- - - - - - ASPQ2 628.44
GhostQ-PG_cegar(19.78)
rareqs(300.33)
xb-qsts_xbqsts2.0(413.34)
xb-qsts_xbqsts1.0(414.98)
xb-qsts_bqsts2.0(417.58)
ASPQ2(628.44)