Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_5_58.5
Best Solver: qsts Time: 0.56 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 1.02 xb-qsts 4.12 depqbf-v3 10.94
- - hiqqer1ldsq 1.4 caqe-picosat 4.28 depqbf-v2 14.32
- - hiqqer3 1.41 xb-bid-qsts 4.28 aqua-s2v 28.75
- - hiqqer1 1.42 caqe-minisat 4.35 aqua-s3o 28.79
- - qestos 1.75 - - aqua-f3v 28.97
- - rareqs 1.76 - - - -
- - qesto 1.8 - - - -
qsts(0.56)
depqbf-v1(1.02)
hiqqer1ldsq(1.4)
hiqqer3(1.41)
hiqqer1(1.42)
qestos(1.75)
rareqs(1.76)
qesto(1.8)
xb-qsts(4.12)
caqe-picosat(4.28)
xb-bid-qsts(4.28)
caqe-minisat(4.35)
depqbf-v3(10.94)
depqbf-v2(14.32)
aqua-s2v(28.75)
aqua-s3o(28.79)
aqua-f3v(28.97)