Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort8.AE.stepl.003
Best Solver: qsts Time: 0.57 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - rareqs 5.11 hiqqer1ldsq 10.54
- - - - - - hiqqer1 10.6
- - - - - - hiqqer3 19.78
- - - - - - depqbf-v3 21.92
- - - - - - areqs 21.99
- - - - - - xb-qsts 23.43
- - - - - - depqbf-v2 23.91
- - - - - - xb-bid-qsts 26.97
- - - - - - depqbf-v1 28.11
- - - - - - qestos 54.19
qsts(0.57)
rareqs(5.11)
hiqqer1ldsq(10.54)
hiqqer1(10.6)
hiqqer3(19.78)
depqbf-v3(21.92)
areqs(21.99)
xb-qsts(23.43)
depqbf-v2(23.91)
xb-bid-qsts(26.97)
depqbf-v1(28.11)
qestos(54.19)