Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort5.AE.stepl.005
Best Solver: qsts Time: 0.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-v1 0.91 ghostq-cegar 1.59
- - - - - - areqs 2.82
- - - - - - rareqs 2.94
- - - - - - depqbf-v3 3.12
- - - - - - hiqqer1ldsq 3.32
- - - - - - hiqqer1 3.35
- - - - - - aspQ 4.08
- - - - - - qestos 5.31
- - - - - - hiqqer3 6.19
qsts(0.1)
depqbf-v1(0.91)
ghostq-cegar(1.59)
areqs(2.82)
rareqs(2.94)
depqbf-v3(3.12)
hiqqer1ldsq(3.32)
hiqqer1(3.35)
aspQ(4.08)
qestos(5.31)
hiqqer3(6.19)
xb-qsts(39.18)
xb-bid-qsts(42.03)
depqbf-v2(68.91)
ghostq-plain(531.76)