Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: S-adeu-6
Best Solver: depqbf-v1 Time: 1.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s2v 1.62 depqbf-v2 7.31 caqe-picosat 15.24
- - aqua-s3o 1.63 hiqqer3 8.87 caqe-minisat 96.11
- - aqua-f3v 1.64 xb-qsts 11.49 - -
- - rareqs 2.25 xb-bid-qsts 12.13 - -
- - qsts 2.28 - - - -
- - qestos 2.53 - - - -
- - qesto 2.88 - - - -
- - hiqqer1 4.92 - - - -
- - hiqqer1ldsq 5.06 - - - -
depqbf-v1(1.31)
aqua-s2v(1.62)
aqua-s3o(1.63)
aqua-f3v(1.64)
rareqs(2.25)
qsts(2.28)
qestos(2.53)
qesto(2.88)
hiqqer1(4.92)
hiqqer1ldsq(5.06)
depqbf-v2(7.31)
hiqqer3(8.87)
xb-qsts(11.49)
xb-bid-qsts(12.13)
caqe-picosat(15.24)
caqe-minisat(96.11)
depqbf-v3(467.8)