Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort9.AE.stepl.010
Best Solver: hiqqer1ldsq Time: 30.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 30.35 - - - -
- - aspQ 51.93 - - - -
- - hiqqer3 54.12 - - - -
- - depqbf-v2 65.31 - - - -
- - xb-qsts 108.49 - - - -
- - areqs 115.62 - - - -
- - xb-bid-qsts 123.38 - - - -
- - rareqs 131.07 - - - -
hiqqer1ldsq(30.19)
hiqqer1(30.35)
aspQ(51.93)
hiqqer3(54.12)
depqbf-v2(65.31)
xb-qsts(108.49)
areqs(115.62)
xb-bid-qsts(123.38)
rareqs(131.07)