Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort7.AE.stepl.005
Best Solver: qsts Time: 19.48 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 26.25 depqbf-v2 136.71 depqbf-v1 317.31
- - xb-qsts 56.55 areqs 148.3 depqbf-v3 387.84
- - hiqqer1 63.16 - - - -
- - hiqqer1ldsq 63.67 - - - -
- - hiqqer3 65.06 - - - -
- - xb-bid-qsts 72.99 - - - -
qsts(19.48)
rareqs(26.25)
xb-qsts(56.55)
hiqqer1(63.16)
hiqqer1ldsq(63.67)
hiqqer3(65.06)
xb-bid-qsts(72.99)
depqbf-v2(136.71)
areqs(148.3)
depqbf-v1(317.31)
depqbf-v3(387.84)