Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: T-edau-2
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.42 aqua-s3o 1.59 rareqs 2.89
- - - - aqua-s2v 1.81 qesto 3.09
- - - - aqua-f3v 1.97 qestos 3.28
- - - - - - hiqqer1ldsq 3.7
- - - - - - hiqqer1 3.71
- - - - - - caqe-picosat 5.75
- - - - - - caqe-minisat 6.97
- - - - - - depqbf-v2 7.21
- - - - - - hiqqer3 7.45
- - - - - - xb-qsts 9.42
- - - - - - xb-bid-qsts 9.72
- - - - - - depqbf-v3 14.75
depqbf-v1(0.21)
qsts(0.42)
aqua-s3o(1.59)
aqua-s2v(1.81)
aqua-f3v(1.97)
rareqs(2.89)
qesto(3.09)
qestos(3.28)
hiqqer1ldsq(3.7)
hiqqer1(3.71)
caqe-picosat(5.75)
caqe-minisat(6.97)
depqbf-v2(7.21)
hiqqer3(7.45)
xb-qsts(9.42)
xb-bid-qsts(9.72)
depqbf-v3(14.75)