Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: S-adeu-15
Best Solver: rareqs Time: 1.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s3o 1.23 hiqqer1ldsq 5.8 xb-qsts 11.34
- - qestos 1.23 hiqqer1 5.82 xb-bid-qsts 12
- - aqua-s2v 1.24 depqbf-v3 6.19 hiqqer3 15.68
- - aqua-f3v 1.25 depqbf-v2 9.01 caqe-minisat 22.72
- - depqbf-v1 1.31 - - caqe-picosat 27.52
- - qsts 2.22 - - - -
- - qesto 2.41 - - - -
rareqs(1.04)
aqua-s3o(1.23)
qestos(1.23)
aqua-s2v(1.24)
aqua-f3v(1.25)
depqbf-v1(1.31)
qsts(2.22)
qesto(2.41)
hiqqer1ldsq(5.8)
hiqqer1(5.82)
depqbf-v3(6.19)
depqbf-v2(9.01)
xb-qsts(11.34)
xb-bid-qsts(12)
hiqqer3(15.68)
caqe-minisat(22.72)
caqe-picosat(27.52)