Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: GuidanceService
Best Solver: CADET_2017 Time: 0.15 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 0.31 - - xb-qsts_bqsts2.0 2.34
- - - - - - xb-qsts_xbqsts1.0 2.53
- - - - - - xb-qsts_xbqsts2.0 2.55
- - - - - - caqe_2017_v2 3.41
- - - - - - caqe_2017_v3 3.46
- - - - - - CUED1919_NNL 9.85
- - - - - - ASPQ2 11.72
- - - - - - CUED1919_NL 11.8
CADET_2017(0.15)
rareqs(0.31)
xb-qsts_bqsts2.0(2.34)
xb-qsts_xbqsts1.0(2.53)
xb-qsts_xbqsts2.0(2.55)
caqe_2017_v2(3.41)
caqe_2017_v3(3.46)
CUED1919_NNL(9.85)
ASPQ2(11.72)
CUED1919_NL(11.8)
ghostq-cegar(53.62)
rev_qfun0.1(86.63)
caqe_2017_v1(244.85)