Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: T-edau-8
Best Solver: depqbf-v1 Time: 0.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qsts 0.42 rareqs 2.6 xb-qsts 3.43
- - hiqqer1 1.06 qesto 3.01 qestos 3.46
- - hiqqer1ldsq 1.06 - - caqe-minisat 3.47
- - hiqqer3 1.07 - - caqe-picosat 3.48
- - aqua-s3o 1.49 - - xb-bid-qsts 3.51
- - aqua-f3v 1.51 - - depqbf-v2 8.72
- - aqua-s2v 1.51 - - depqbf-v3 12.95
depqbf-v1(0.31)
qsts(0.42)
hiqqer1(1.06)
hiqqer1ldsq(1.06)
hiqqer3(1.07)
aqua-s3o(1.49)
aqua-f3v(1.51)
aqua-s2v(1.51)
rareqs(2.6)
qesto(3.01)
xb-qsts(3.43)
qestos(3.46)
caqe-minisat(3.47)
caqe-picosat(3.48)
xb-bid-qsts(3.51)
depqbf-v2(8.72)
depqbf-v3(12.95)