Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: query06_query42_1344n
Best Solver: QELL_default Time: 3.32 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 5.89 GhostQ-PG_plain 18.04 GhostQ-PG_cegar 45.53
- - caqe_2017_v2 6.3 caqe_2017_v1 19.22 rareqs 46.97
- - caqe_2017_v3 6.35 xb-qsts_bqsts2.0 27.46 qesto 91.87
- - - - xb-qsts_xbqsts1.0 28.27 CUED1919_NNL 160.88
- - - - xb-qsts_xbqsts2.0 28.32 ASPQ2 167.59
- - - - - - no-prefix-opt-depqbf 229.59
QELL_default(3.32)
QELL_unit(5.89)
caqe_2017_v2(6.3)
caqe_2017_v3(6.35)
GhostQ-PG_plain(18.04)
caqe_2017_v1(19.22)
xb-qsts_bqsts2.0(27.46)
xb-qsts_xbqsts1.0(28.27)
xb-qsts_xbqsts2.0(28.32)
GhostQ-PG_cegar(45.53)
rareqs(46.97)
qesto(91.87)
CUED1919_NNL(160.88)
ASPQ2(167.59)
no-prefix-opt-depqbf(229.59)