Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: eequery_query42_1344n
Best Solver: rareqs Time: 5.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ASPQ2 14.01 GhostQ-PG_cegar 34.07 qesto 56.61
- - caqe_2017_v1 24.92 - - CUED1919_NL 58.28
- - - - - - caqe_2017_v3 74.13
- - - - - - caqe_2017_v2 74.15
- - - - - - CUED1919_NNL 120.53
- - - - - - QELL_default 173.3
- - - - - - QELL_unit 190.71
- - - - - - xb-qsts_xbqsts1.0 335.33
- - - - - - xb-qsts_xbqsts2.0 335.79
- - - - - - xb-qsts_bqsts2.0 336.81
rareqs(5.31)
ASPQ2(14.01)
caqe_2017_v1(24.92)
GhostQ-PG_cegar(34.07)
qesto(56.61)
CUED1919_NL(58.28)
caqe_2017_v3(74.13)
caqe_2017_v2(74.15)
CUED1919_NNL(120.53)
QELL_default(173.3)
QELL_unit(190.71)
xb-qsts_xbqsts1.0(335.33)
xb-qsts_xbqsts2.0(335.79)
xb-qsts_bqsts2.0(336.81)
GhostQ-PG_plain(867.84)