Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: query27_query42_1344n
Best Solver: QELL_default Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 0.17 ASPQ2 0.46 qesto 1.19
- - - - caqe_2017_v1 0.46 GhostQ-PG_cegar 1.74
- - - - - - xb-qsts_bqsts2.0 2.08
- - - - - - xb-qsts_xbqsts2.0 2.16
- - - - - - xb-qsts_xbqsts1.0 2.17
- - - - - - GhostQ-PG_plain 2.9
- - - - - - CUED1919_NL 3.17
QELL_default(0.06)
rareqs(0.17)
ASPQ2(0.46)
caqe_2017_v1(0.46)
qesto(1.19)
GhostQ-PG_cegar(1.74)
xb-qsts_bqsts2.0(2.08)
xb-qsts_xbqsts2.0(2.16)
xb-qsts_xbqsts1.0(2.17)
GhostQ-PG_plain(2.9)
CUED1919_NL(3.17)
QELL_unit(9.09)
CUED1919_NNL(12.46)
CADET_2017(14.06)
caqe_2017_v2(20.52)
caqe_2017_v3(20.57)
heretiq(30.67)
no-prefix-opt-depqbf(185.22)
qbfrelay-limited-depqbf(396.62)