Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_5_91.6
Best Solver: qsts Time: 0.99 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 1.91 xb-qsts 6.26 depqbf-v3 15.35
- - qesto 1.98 xb-bid-qsts 6.28 depqbf-v2 18.91
- - depqbf-v1 2.01 caqe-minisat 6.36 - -
- - qestos 2.4 caqe-picosat 6.59 - -
- - hiqqer1ldsq 2.64 - - - -
- - hiqqer1 2.67 - - - -
- - hiqqer3 3.26 - - - -
qsts(0.99)
rareqs(1.91)
qesto(1.98)
depqbf-v1(2.01)
qestos(2.4)
hiqqer1ldsq(2.64)
hiqqer1(2.67)
hiqqer3(3.26)
xb-qsts(6.26)
xb-bid-qsts(6.28)
caqe-minisat(6.36)
caqe-picosat(6.59)
depqbf-v3(15.35)
depqbf-v2(18.91)
aqua-s3o(100.34)
aqua-f3v(102.42)
aqua-s2v(102.42)