Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: T-adeu-15
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
- - aqua-s2v 1.08 qsts 2.13 rareqs 3.19
- - aqua-f3v 1.09 - - qestos 3.51
- - aqua-s3o 1.1 - - qesto 4.17
- - - - - - hiqqer1ldsq 4.89
- - - - - - hiqqer1 4.91
- - - - - - depqbf-v3 6.62
- - - - - - depqbf-v2 8.82
- - - - - - xb-qsts 11.71
- - - - - - hiqqer3 12.09
- - - - - - xb-bid-qsts 12.12
- - - - - - caqe-picosat 18.79
- - - - - - caqe-minisat 26.88
depqbf-v1(0.31)
aqua-s2v(1.08)
aqua-f3v(1.09)
aqua-s3o(1.1)
qsts(2.13)
rareqs(3.19)
qestos(3.51)
qesto(4.17)
hiqqer1ldsq(4.89)
hiqqer1(4.91)
depqbf-v3(6.62)
depqbf-v2(8.82)
xb-qsts(11.71)
hiqqer3(12.09)
xb-bid-qsts(12.12)
caqe-picosat(18.79)
caqe-minisat(26.88)