Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort7.AE.stepl.003
Best Solver: qsts Time: 0.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - areqs 5.41
- - - - - - depqbf-v3 6.1
- - - - - - hiqqer1ldsq 6.6
- - - - - - hiqqer1 6.64
- - - - - - depqbf-v1 6.71
- - - - - - rareqs 7.41
- - - - - - aspQ 7.78
- - - - - - hiqqer3 9.09
- - - - - - depqbf-v2 22.41
qsts(0.24)
areqs(5.41)
depqbf-v3(6.1)
hiqqer1ldsq(6.6)
hiqqer1(6.64)
depqbf-v1(6.71)
rareqs(7.41)
aspQ(7.78)
hiqqer3(9.09)
depqbf-v2(22.41)
xb-qsts(50.06)
xb-bid-qsts(53.16)
qestos(173.3)
ghostq-cegar(494.3)