Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: query04_query25_1344n
Best Solver: caqe_2017_v1 Time: 0.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 0.32 qesto 1.12 ijtihad_v2 2.88
- - rareqs 0.32 - - heretiq 7
- - ASPQ2 0.58 - - ijtihad_v1 7.02
- - CUED1919_NNL 0.8 - - QELL_default 10.41
- - CUED1919_NL 0.9 - - QELL_unit 13.73
- - - - - - caqe_2017_v3 15.28
- - - - - - caqe_2017_v2 15.41
caqe_2017_v1(0.22)
GhostQ-PG_cegar(0.32)
rareqs(0.32)
ASPQ2(0.58)
CUED1919_NNL(0.8)
CUED1919_NL(0.9)
qesto(1.12)
ijtihad_v2(2.88)
heretiq(7)
ijtihad_v1(7.02)
QELL_default(10.41)
QELL_unit(13.73)
caqe_2017_v3(15.28)
caqe_2017_v2(15.41)
xb-qsts_xbqsts2.0(119.09)
xb-qsts_xbqsts1.0(119.13)
xb-qsts_bqsts2.0(119.6)
dynQBF-bloqqer-hqspre(179.46)
DynQBF-bloqqer-hqspre-it(200.02)
GhostQ-PG_plain(225.33)