Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort8.AE.stepl.007
Best Solver: hiqqer1 Time: 9.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 9.19 areqs 85.74 qsts 99.81
- - aspQ 17.07 - - depqbf-v1 138.52
- - hiqqer3 18.24 - - qestos 213.5
- - xb-bid-qsts 26.04 - - - -
- - xb-qsts 26.55 - - - -
- - depqbf-v2 28.11 - - - -
- - rareqs 34.77 - - - -
hiqqer1(9.09)
hiqqer1ldsq(9.19)
aspQ(17.07)
hiqqer3(18.24)
xb-bid-qsts(26.04)
xb-qsts(26.55)
depqbf-v2(28.11)
rareqs(34.77)
areqs(85.74)
qsts(99.81)
depqbf-v1(138.52)
qestos(213.5)