Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: qshifter_8
Best Solver: struqs-10 Time: 1.39 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qestos 5.61 xb-qsts 10.83 cadet 18.44
- - aspQ 5.62 xb-bid-qsts 10.86 depqbf-v3 24.64
- - rareqs 5.68 iprover-QBF-bloqqer 10.89 dynQBF 40.5
- - hiqqer3 5.71 depqbf-v2 11.91 - -
- - hiqqer1 5.73 - - - -
- - hiqqer1ldsq 5.73 - - - -
- - areqs 5.89 - - - -

struqs-10(1.39)
qestos(5.61)
aspQ(5.62)
rareqs(5.68)
hiqqer3(5.71)
hiqqer1(5.73)
hiqqer1ldsq(5.73)
areqs(5.89)
xb-qsts(10.83)
xb-bid-qsts(10.86)
iprover-QBF-bloqqer(10.89)
depqbf-v2(11.91)
cadet(18.44)
depqbf-v3(24.64)
dynQBF(40.5)
squeezebf+struqs(226.88)