Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: S-adeu-49
Best Solver: aqua-f3v Time: 1.2 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s2v 1.2 depqbf-v3 7.07 - -
- - aqua-s3o 1.23 depqbf-v2 8.61 - -
- - depqbf-v1 1.32 xb-qsts 9.12 - -
- - hiqqer1ldsq 1.35 xb-bid-qsts 9.55 - -
- - hiqqer3 1.36 caqe-picosat 9.8 - -
- - hiqqer1 1.37 caqe-minisat 9.81 - -
- - qsts 2.14 - - - -
- - rareqs 3.28 - - - -
- - qestos 3.36 - - - -
- - qesto 4.57 - - - -
aqua-f3v(1.2)
aqua-s2v(1.2)
aqua-s3o(1.23)
depqbf-v1(1.32)
hiqqer1ldsq(1.35)
hiqqer3(1.36)
hiqqer1(1.37)
qsts(2.14)
rareqs(3.28)
qestos(3.36)
qesto(4.57)
depqbf-v3(7.07)
depqbf-v2(8.61)
xb-qsts(9.12)
xb-bid-qsts(9.55)
caqe-picosat(9.8)
caqe-minisat(9.81)