Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: ntrivil_query42_1344n
Best Solver: no-prefix-opt-depqbf Time: 0.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 0.2 xb-qsts_bqsts2.0 0.88 xb-qsts_xbqsts2.0 1.26
- - QELL_unit 0.21 - - xb-qsts_xbqsts1.0 1.28
- - QELL_default 0.22 - - GhostQ-PG_plain 1.39
- - qbfrelay-limited-depqbf 0.25 - - GhostQ-PG_cegar 1.52
- - caqe_2017_v1 0.3 - - CUED1919_NNL 3.49
- - qesto 0.37 - - - -
- - CADET_2017 0.45 - - - -
- - ASPQ2 0.48 - - - -
- - caqe_2017_v2 0.5 - - - -
- - caqe_2017_v3 0.5 - - - -
no-prefix-opt-depqbf(0.1)
rareqs(0.2)
QELL_unit(0.21)
QELL_default(0.22)
qbfrelay-limited-depqbf(0.25)
caqe_2017_v1(0.3)
qesto(0.37)
CADET_2017(0.45)
ASPQ2(0.48)
caqe_2017_v2(0.5)
caqe_2017_v3(0.5)
xb-qsts_bqsts2.0(0.88)
xb-qsts_xbqsts2.0(1.26)
xb-qsts_xbqsts1.0(1.28)
GhostQ-PG_plain(1.39)
GhostQ-PG_cegar(1.52)
CUED1919_NNL(3.49)
CUED1919_NL(22.89)
heretiq(30.3)
ghostq-cegar(518.52)