Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: query08_query42_1344n
Best Solver: rareqs Time: 2.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ASPQ2 2.85 GhostQ-PG_cegar 16.31 heretiq 32.65
- - caqe_2017_v2 7.11 QELL_unit 18.93 CADET_2017 46.91
- - caqe_2017_v3 7.13 GhostQ-PG_plain 20.26 QELL_default 168.69
- - qesto 10.24 xb-qsts_xbqsts2.0 22.8 - -
- - xb-qsts_bqsts2.0 10.56 xb-qsts_xbqsts1.0 23.01 - -
- - - - caqe_2017_v1 23.42 - -
rareqs(2.58)
ASPQ2(2.85)
caqe_2017_v2(7.11)
caqe_2017_v3(7.13)
qesto(10.24)
xb-qsts_bqsts2.0(10.56)
GhostQ-PG_cegar(16.31)
QELL_unit(18.93)
GhostQ-PG_plain(20.26)
xb-qsts_xbqsts2.0(22.8)
xb-qsts_xbqsts1.0(23.01)
caqe_2017_v1(23.42)
heretiq(32.65)
CADET_2017(46.91)
QELL_default(168.69)
qbfrelay-limited-depqbf(393.74)
no-prefix-opt-depqbf(809.05)