Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: nxquery_query50_1344n
Best Solver: caqe_2017_v1 Time: 1.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - CUED1919_NNL 1.58 QELL_default 6.5 heretiq 41.23
- - CUED1919_NL 1.61 dynQBF-bloqqer-hqspre 6.9 - -
- - rareqs 2.39 DynQBF-bloqqer-hqspre-it 6.93 - -
- - GhostQ-PG_plain 2.41 qesto 8.06 - -
- - GhostQ-PG_cegar 2.47 qbfrelay 10.32 - -
- - xb-qsts_bqsts2.0 2.82 QELL_unit 11.34 - -
- - xb-qsts_xbqsts1.0 2.88 - - - -
- - xb-qsts_xbqsts2.0 2.89 - - - -
- - caqe_2017_v2 3.13 - - - -
- - caqe_2017_v3 3.13 - - - -
- - DynQBF-bloqqer-variant 3.91 - - - -
- - ASPQ2 5.36 - - - -
caqe_2017_v1(1.22)
CUED1919_NNL(1.58)
CUED1919_NL(1.61)
rareqs(2.39)
GhostQ-PG_plain(2.41)
GhostQ-PG_cegar(2.47)
xb-qsts_bqsts2.0(2.82)
xb-qsts_xbqsts1.0(2.88)
xb-qsts_xbqsts2.0(2.89)
caqe_2017_v2(3.13)
caqe_2017_v3(3.13)
DynQBF-bloqqer-variant(3.91)
ASPQ2(5.36)
QELL_default(6.5)
dynQBF-bloqqer-hqspre(6.9)
DynQBF-bloqqer-hqspre-it(6.93)
qesto(8.06)
qbfrelay(10.32)
QELL_unit(11.34)
heretiq(41.23)
no-prefix-opt-depqbf(167.14)
qbfrelay-limited-depqbf(263.45)