Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: S-edau-34
Best Solver: qsts Time: 0.67 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 1.33 qestos 4.29 depqbf-v3 7.19
- - hiqqer1 1.35 - - depqbf-v2 8.82
- - hiqqer3 1.36 - - xb-qsts 11.21
- - aqua-s3o 1.4 - - xb-bid-qsts 12.1
- - aqua-s2v 1.41 - - caqe-picosat 27.44
- - depqbf-v1 1.41 - - caqe-minisat 43.27
- - aqua-f3v 1.43 - - - -
- - rareqs 3.16 - - - -
- - qesto 3.34 - - - -
qsts(0.67)
hiqqer1ldsq(1.33)
hiqqer1(1.35)
hiqqer3(1.36)
aqua-s3o(1.4)
aqua-s2v(1.41)
depqbf-v1(1.41)
aqua-f3v(1.43)
rareqs(3.16)
qesto(3.34)
qestos(4.29)
depqbf-v3(7.19)
depqbf-v2(8.82)
xb-qsts(11.21)
xb-bid-qsts(12.1)
caqe-picosat(27.44)
caqe-minisat(43.27)