Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_74.8
Best Solver: hiqqer1ldsq Time: 2.82 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 2.86 - - depqbf-v3 28.8
- - hiqqer3 3.34 - - depqbf-v2 31.81
- - rareqs 3.36 - - aqua-s3o 101.64
- - qesto 4.24 - - aqua-s2v 121.83
- - depqbf-v1 6.71 - - aqua-f3v 125.8
- - qestos 7.03 - - - -
- - caqe-minisat 10.32 - - - -
- - qsts 10.33 - - - -
- - xb-bid-qsts 12.18 - - - -
- - xb-qsts 12.52 - - - -
- - caqe-picosat 14.04 - - - -
hiqqer1ldsq(2.82)
hiqqer1(2.86)
hiqqer3(3.34)
rareqs(3.36)
qesto(4.24)
depqbf-v1(6.71)
qestos(7.03)
caqe-minisat(10.32)
qsts(10.33)
xb-bid-qsts(12.18)
xb-qsts(12.52)
caqe-picosat(14.04)
depqbf-v3(28.8)
depqbf-v2(31.81)
aqua-s3o(101.64)
aqua-s2v(121.83)
aqua-f3v(125.8)