Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: S-adeu-29
Best Solver: depqbf-v1 Time: 1.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s2v 1.65 depqbf-v2 8.31 xb-qsts 14.63
- - aqua-s3o 1.66 caqe-picosat 8.83 xb-bid-qsts 15.07
- - aqua-f3v 1.67 hiqqer3 11.42 - -
- - qsts 2.1 - - - -
- - rareqs 2.48 - - - -
- - qestos 2.71 - - - -
- - qesto 4.14 - - - -
- - hiqqer1 5.28 - - - -
- - hiqqer1ldsq 5.28 - - - -
- - depqbf-v3 6.06 - - - -
depqbf-v1(1.41)
aqua-s2v(1.65)
aqua-s3o(1.66)
aqua-f3v(1.67)
qsts(2.1)
rareqs(2.48)
qestos(2.71)
qesto(4.14)
hiqqer1(5.28)
hiqqer1ldsq(5.28)
depqbf-v3(6.06)
depqbf-v2(8.31)
caqe-picosat(8.83)
hiqqer3(11.42)
xb-qsts(14.63)
xb-bid-qsts(15.07)