Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: T-edau-9
Best Solver: depqbf-v1 Time: 0.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qsts 0.37 aqua-s3o 1.49 rareqs 2.34
- - - - aqua-s2v 1.56 qesto 2.43
- - - - aqua-f3v 1.58 qestos 2.63
- - - - - - caqe-picosat 5.86
- - - - - - depqbf-v2 7.41
- - - - - - xb-qsts 16.38
- - - - - - xb-bid-qsts 16.63
- - - - - - depqbf-v3 16.76
- - - - - - hiqqer1ldsq 18.53
- - - - - - hiqqer1 18.57
depqbf-v1(0.21)
qsts(0.37)
aqua-s3o(1.49)
aqua-s2v(1.56)
aqua-f3v(1.58)
rareqs(2.34)
qesto(2.43)
qestos(2.63)
caqe-picosat(5.86)
depqbf-v2(7.41)
xb-qsts(16.38)
xb-bid-qsts(16.63)
depqbf-v3(16.76)
hiqqer1ldsq(18.53)
hiqqer1(18.57)
hiqqer3(36.64)
caqe-minisat(113.18)