Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: query31_reachqu_1344n
Best Solver: GhostQ-PG_cegar Time: 2.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - caqe_2017_v2 13.58 caqe_2017_v1 26.99
- - - - caqe_2017_v3 13.77 qesto 44.83
- - - - rareqs 13.82 CUED1919_NNL 97.86
- - - - - - CUED1919_NL 104.1
- - - - - - QELL_default 184.1
GhostQ-PG_cegar(2.07)
caqe_2017_v2(13.58)
caqe_2017_v3(13.77)
rareqs(13.82)
caqe_2017_v1(26.99)
qesto(44.83)
CUED1919_NNL(97.86)
CUED1919_NL(104.1)
QELL_default(184.1)
xb-qsts_xbqsts2.0(213.76)
xb-qsts_bqsts2.0(214.85)
xb-qsts_xbqsts1.0(214.85)
QELL_unit(248.31)
GhostQ-PG_plain(600.86)