Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort6.AE.stepl.005
Best Solver: qsts Time: 1.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - hiqqer3 8.33 depqbf-v1 12.31
- - - - rareqs 9.23 hiqqer1 14.38
- - - - depqbf-v3 9.97 hiqqer1ldsq 14.41
- - - - areqs 10.11 depqbf-v2 18.91
- - - - - - qestos 24.62
- - - - - - xb-bid-qsts 53.16
- - - - - - xb-qsts 54.24
qsts(1.06)
hiqqer3(8.33)
rareqs(9.23)
depqbf-v3(9.97)
areqs(10.11)
depqbf-v1(12.31)
hiqqer1(14.38)
hiqqer1ldsq(14.41)
depqbf-v2(18.91)
qestos(24.62)
xb-bid-qsts(53.16)
xb-qsts(54.24)