Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: query21_query42_1344n
Best Solver: ASPQ2 Time: 1.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 1.21 xb-qsts_bqsts2.0 5.79 QELL_default 28.16
- - caqe_2017_v1 2.25 QELL_unit 6.29 CUED1919_NNL 37.07
- - no-prefix-opt-depqbf 2.25 xb-qsts_xbqsts2.0 6.94 CUED1919_NL 69.82
- - qbfrelay-limited-depqbf 2.51 xb-qsts_xbqsts1.0 7.09 heretiq 100.16
- - GhostQ-PG_cegar 4.57 GhostQ-PG_plain 7.53 - -
- - - - qesto 9.58 - -
ASPQ2(1.05)
rareqs(1.21)
caqe_2017_v1(2.25)
no-prefix-opt-depqbf(2.25)
qbfrelay-limited-depqbf(2.51)
GhostQ-PG_cegar(4.57)
xb-qsts_bqsts2.0(5.79)
QELL_unit(6.29)
xb-qsts_xbqsts2.0(6.94)
xb-qsts_xbqsts1.0(7.09)
GhostQ-PG_plain(7.53)
qesto(9.58)
QELL_default(28.16)
CUED1919_NNL(37.07)
CUED1919_NL(69.82)
heretiq(100.16)
caqe_2017_v3(128.68)
caqe_2017_v2(128.76)