Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: T-adeu-6
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
- - - - aqua-s3o 1.94 rareqs 2.34
- - - - - - qesto 2.4
- - - - - - aqua-s2v 2.51
- - - - - - qestos 2.52
- - - - - - aqua-f3v 2.58
- - - - - - caqe-picosat 3.68
- - - - - - hiqqer1ldsq 4.51
- - - - - - hiqqer1 4.55
- - - - - - depqbf-v2 6.31
- - - - - - hiqqer3 8.35
- - - - - - xb-qsts 8.52
- - - - - - xb-bid-qsts 8.83
- - - - - - depqbf-v3 12.74
depqbf-v1(0.21)
aqua-s3o(1.94)
rareqs(2.34)
qesto(2.4)
aqua-s2v(2.51)
qestos(2.52)
aqua-f3v(2.58)
caqe-picosat(3.68)
hiqqer1ldsq(4.51)
hiqqer1(4.55)
depqbf-v2(6.31)
hiqqer3(8.35)
xb-qsts(8.52)
xb-bid-qsts(8.83)
depqbf-v3(12.74)
qsts(81.57)