Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: axquery_query42_1344n
Best Solver: no-prefix-opt-depqbf Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 0.09 qbfrelay-limited-depqbf 0.23 GhostQ-PG_cegar 0.41
- - caqe_2017_v3 0.09 CUED1919_NNL 0.28 GhostQ-PG_plain 0.41
- - rareqs 0.12 QELL_default 0.29 ASPQ2 0.46
- - caqe_2017_v1 0.15 - - CUED1919_NL 0.5
- - qesto 0.17 - - xb-qsts_bqsts2.0 1.54
- - QELL_unit 0.19 - - xb-qsts_xbqsts2.0 1.65
- - - - - - xb-qsts_xbqsts1.0 1.68
no-prefix-opt-depqbf(0.04)
caqe_2017_v2(0.09)
caqe_2017_v3(0.09)
rareqs(0.12)
caqe_2017_v1(0.15)
qesto(0.17)
QELL_unit(0.19)
qbfrelay-limited-depqbf(0.23)
CUED1919_NNL(0.28)
QELL_default(0.29)
GhostQ-PG_cegar(0.41)
GhostQ-PG_plain(0.41)
ASPQ2(0.46)
CUED1919_NL(0.5)
xb-qsts_bqsts2.0(1.54)
xb-qsts_xbqsts2.0(1.65)
xb-qsts_xbqsts1.0(1.68)
heretiq(30.57)
ghostq-cegar(84.44)
CADET_2017(119.35)
rev_qfun0.1(291.53)
DynQBF-bloqqer-hqspre-it(727.66)