Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort9.AE.stepl.008
Best Solver: hiqqer1ldsq Time: 13.32 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 13.35 rareqs 120.59 qsts 430.28
- - xb-bid-qsts 36.04 - - - -
- - xb-qsts 37.46 - - - -
hiqqer1ldsq(13.32)
hiqqer1(13.35)
xb-bid-qsts(36.04)
xb-qsts(37.46)
rareqs(120.59)
qsts(430.28)