Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort7.AE.stepl.004
Best Solver: qsts Time: 1.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aspQ 6.07 hiqqer1 9.15 hiqqer3 15.87
- - rareqs 6.1 hiqqer1ldsq 9.17 xb-qsts 36.77
- - - - areqs 10.97 xb-bid-qsts 37.33
- - - - - - depqbf-v1 58.01
- - - - - - depqbf-v2 61.51
- - - - - - depqbf-v3 86.26
qsts(1.42)
aspQ(6.07)
rareqs(6.1)
hiqqer1(9.15)
hiqqer1ldsq(9.17)
areqs(10.97)
hiqqer3(15.87)
xb-qsts(36.77)
xb-bid-qsts(37.33)
depqbf-v1(58.01)
depqbf-v2(61.51)
depqbf-v3(86.26)
qestos(171.8)