Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort6.AE.stepl.006
Best Solver: qsts Time: 1.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 1.91 areqs 8.97 xb-qsts 66.12
- - hiqqer1 6.21 hiqqer3 10.48 xb-bid-qsts 67.03
- - hiqqer1ldsq 6.21 ghostq-cegar 13.98 qestos 82.1
- - depqbf-v3 7.28 - - - -
- - rareqs 8.33 - - - -
qsts(1.71)
depqbf-v1(1.91)
hiqqer1(6.21)
hiqqer1ldsq(6.21)
depqbf-v3(7.28)
rareqs(8.33)
areqs(8.97)
hiqqer3(10.48)
ghostq-cegar(13.98)
xb-qsts(66.12)
xb-bid-qsts(67.03)
qestos(82.1)
depqbf-v2(291.31)