Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: sortnetsort6.AE.stepl.003
Best Solver: qsts Time: 0.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-v1 0.81 areqs 3.93
- - - - - - hiqqer1 4
- - - - - - hiqqer1ldsq 4
- - - - - - aspQ 5.63
- - - - - - depqbf-v3 5.97
- - - - - - hiqqer3 6.5
- - - - - - rareqs 10.64
- - - - - - depqbf-v2 12.02
qsts(0.13)
depqbf-v1(0.81)
areqs(3.93)
hiqqer1(4)
hiqqer1ldsq(4)
aspQ(5.63)
depqbf-v3(5.97)
hiqqer3(6.5)
rareqs(10.64)
depqbf-v2(12.02)
xb-qsts(40.56)
xb-bid-qsts(45.57)
qestos(62.39)
ghostq-cegar(78.33)
ghostq-plain(490.68)