Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_5_58.9
Best Solver: depqbf-v1 Time: 2.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 3.09 caqe-picosat 12.46 depqbf-v3 31.41
- - hiqqer1 3.13 xb-bid-qsts 13.08 depqbf-v2 39.52
- - hiqqer3 3.94 xb-qsts 13.41 aqua-s2v 84.15
- - rareqs 4.95 caqe-minisat 13.56 aqua-s3o 84.25
- - qesto 5.07 - - aqua-f3v 84.8
- - qestos 5.58 - - - -
- - qsts 7.26 - - - -
depqbf-v1(2.01)
hiqqer1ldsq(3.09)
hiqqer1(3.13)
hiqqer3(3.94)
rareqs(4.95)
qesto(5.07)
qestos(5.58)
qsts(7.26)
caqe-picosat(12.46)
xb-bid-qsts(13.08)
xb-qsts(13.41)
caqe-minisat(13.56)
depqbf-v3(31.41)
depqbf-v2(39.52)
aqua-s2v(84.15)
aqua-s3o(84.25)
aqua-f3v(84.8)