Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort5.AE.stepl.004
Best Solver: qsts Time: 0.32 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.61 depqbf-v3 2.81 hiqqer1ldsq 3.29
- - - - areqs 2.87 hiqqer1 3.3
- - - - - - aspQ 5.23
- - - - - - hiqqer3 6.13
- - - - - - rareqs 8.88
qsts(0.32)
depqbf-v1(0.61)
depqbf-v3(2.81)
areqs(2.87)
hiqqer1ldsq(3.29)
hiqqer1(3.3)
aspQ(5.23)
hiqqer3(6.13)
rareqs(8.88)
xb-qsts(34.05)
depqbf-v2(41.31)
xb-bid-qsts(47.36)
ghostq-cegar(52.9)
qestos(77.7)
ghostq-plain(226.65)