Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: load_2c_comp_comp7_REAL.sat
Best Solver: rareqs Time: 10.45 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_bqsts2.0 11.98 qbfrelay-limited-depqbf 97.62 DynQBF-bloqqer-variant 117.34
- - qbfrelay 14.07 - - ijtihad_v2 655.9
- - xb-qsts_xbqsts2.0 16.27 - - ijtihad_v1 667.47
- - xb-qsts_xbqsts1.0 16.29 - - - -
- - ASPQ2 16.36 - - - -
- - caqe_2017_v1 20.7 - - - -
- - qesto 28.83 - - - -
- - dynQBF-bloqqer-hqspre 46.86 - - - -
- - DynQBF-bloqqer-hqspre-it 46.86 - - - -
rareqs(10.45)
xb-qsts_bqsts2.0(11.98)
qbfrelay(14.07)
xb-qsts_xbqsts2.0(16.27)
xb-qsts_xbqsts1.0(16.29)
ASPQ2(16.36)
caqe_2017_v1(20.7)
qesto(28.83)
dynQBF-bloqqer-hqspre(46.86)
DynQBF-bloqqer-hqspre-it(46.86)
qbfrelay-limited-depqbf(97.62)
DynQBF-bloqqer-variant(117.34)
ijtihad_v2(655.9)
ijtihad_v1(667.47)