Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: query52_query42_1344n
Best Solver: rareqs Time: 18.86 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ASPQ2 21.4 - - caqe_2017_v2 212.75
- - GhostQ-PG_cegar 22.03 - - caqe_2017_v3 213.62
- - qesto 78.35 - - xb-qsts_bqsts2.0 633.31
- - caqe_2017_v1 88.01 - - xb-qsts_xbqsts2.0 635.49
- - - - - - xb-qsts_xbqsts1.0 636.41
- - - - - - CUED1919_NL 649.15
- - - - - - QELL_unit 726.08
- - - - - - QELL_default 737.59
- - - - - - CUED1919_NNL 878.56
rareqs(18.86)
ASPQ2(21.4)
GhostQ-PG_cegar(22.03)
qesto(78.35)
caqe_2017_v1(88.01)
caqe_2017_v2(212.75)
caqe_2017_v3(213.62)
xb-qsts_bqsts2.0(633.31)
xb-qsts_xbqsts2.0(635.49)
xb-qsts_xbqsts1.0(636.41)
CUED1919_NL(649.15)
QELL_unit(726.08)
QELL_default(737.59)
CUED1919_NNL(878.56)