Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp
Best Solver: ASPQ2 Time: 0.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 1.35 xb-qsts_bqsts2.0 6.35 rareqs 10.67
- - caqe_2017_v3 1.36 dynQBF-bloqqer-hqspre 7.42 iProver-qbf-bloqqer-2017-07-27-v3 18.84
- - - - DynQBF-bloqqer-hqspre-it 7.68 caqe_2017_v1 23.97
- - - - xb-qsts_xbqsts2.0 7.69 qesto 64.81
- - - - qbfrelay 7.76 - -
- - - - xb-qsts_xbqsts1.0 7.77 - -
ASPQ2(0.78)
caqe_2017_v2(1.35)
caqe_2017_v3(1.36)
xb-qsts_bqsts2.0(6.35)
dynQBF-bloqqer-hqspre(7.42)
DynQBF-bloqqer-hqspre-it(7.68)
xb-qsts_xbqsts2.0(7.69)
qbfrelay(7.76)
xb-qsts_xbqsts1.0(7.77)
rareqs(10.67)
iProver-qbf-bloqqer-2017-07-27-v3(18.84)
caqe_2017_v1(23.97)
qesto(64.81)
qbfrelay-limited-depqbf(81.56)
ghostq-cegar(817.14)
GhostQ-PG_cegar(878.17)