Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort5.AE.stepl.003
Best Solver: qsts Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.11 - - areqs 1.72
- - - - - - depqbf-v3 2.35
- - - - - - aspQ 2.76
- - - - - - rareqs 4.53
qsts(0.05)
depqbf-v1(0.11)
areqs(1.72)
depqbf-v3(2.35)
aspQ(2.76)
rareqs(4.53)
ghostq-cegar(5.63)
hiqqer1ldsq(7.15)
hiqqer1(7.19)
hiqqer3(9.87)
xb-qsts(15.5)
depqbf-v2(15.61)
xb-bid-qsts(16.14)
ghostq-plain(28.45)
qestos(35.31)