Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: mult9.sat
Best Solver: CADET_2017 Time: 3.84 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - DynQBF-bloqqer-hqspre-it 12.65 xb-qsts_bqsts2.0 28.54 heretiq 92.44
- - dynQBF-bloqqer-hqspre 12.74 xb-qsts_xbqsts2.0 28.57 qbfrelay 121.74
- - - - xb-qsts_xbqsts1.0 28.76 qbfrelay-limited-depqbf 144.57
- - - - - - rareqs 144.79
- - - - - - no-prefix-opt-depqbf 174.76
- - - - - - ASPQ2 194.9
- - - - - - caqe_2017_v2 327.23
- - - - - - caqe_2017_v3 332.95
- - - - - - caqe_2017_v1 340.75
- - - - - - qesto 341.7
CADET_2017(3.84)
DynQBF-bloqqer-hqspre-it(12.65)
dynQBF-bloqqer-hqspre(12.74)
xb-qsts_bqsts2.0(28.54)
xb-qsts_xbqsts2.0(28.57)
xb-qsts_xbqsts1.0(28.76)
heretiq(92.44)
qbfrelay(121.74)
qbfrelay-limited-depqbf(144.57)
rareqs(144.79)
no-prefix-opt-depqbf(174.76)
ASPQ2(194.9)
caqe_2017_v2(327.23)
caqe_2017_v3(332.95)
caqe_2017_v1(340.75)
qesto(341.7)