Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: sortnetsort9.AE.stepl.009
Best Solver: xb-qsts_bqsts2.0 Time: 14.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_xbqsts1.0 29.56 caqe_2017_v2 75.79 qesto 178.97
- - xb-qsts_xbqsts2.0 29.92 caqe_2017_v3 76.64 qbfrelay-limited-depqbf 319.5
- - rareqs 39.67 heretiq 94.23 QELL_default 718.52
- - rev_qfun0.1 54.37 caqe_2017_v1 100.6 CUED1919_NL 751.89
xb-qsts_bqsts2.0(14.16)
xb-qsts_xbqsts1.0(29.56)
xb-qsts_xbqsts2.0(29.92)
rareqs(39.67)
rev_qfun0.1(54.37)
caqe_2017_v2(75.79)
caqe_2017_v3(76.64)
heretiq(94.23)
caqe_2017_v1(100.6)
qesto(178.97)
qbfrelay-limited-depqbf(319.5)
QELL_default(718.52)
CUED1919_NL(751.89)