Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: T-edau-24
Best Solver: depqbf-v1 Time: 0.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qsts 0.43 aqua-f3v 2.16 hiqqer1ldsq 4.65
- - aqua-s3o 1.8 rareqs 2.94 hiqqer1 4.68
- - aqua-s2v 1.96 qesto 3.11 caqe-picosat 5.6
- - - - qestos 3.35 depqbf-v2 7.72
- - - - - - xb-qsts 8.58
- - - - - - xb-bid-qsts 9.11
- - - - - - caqe-minisat 9.2
- - - - - - hiqqer3 11.11
- - - - - - depqbf-v3 18.67
depqbf-v1(0.41)
qsts(0.43)
aqua-s3o(1.8)
aqua-s2v(1.96)
aqua-f3v(2.16)
rareqs(2.94)
qesto(3.11)
qestos(3.35)
hiqqer1ldsq(4.65)
hiqqer1(4.68)
caqe-picosat(5.6)
depqbf-v2(7.72)
xb-qsts(8.58)
xb-bid-qsts(9.11)
caqe-minisat(9.2)
hiqqer3(11.11)
depqbf-v3(18.67)