Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_94.4
Best Solver: qsts Time: 0.52 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 1.35 - - caqe-minisat 6.09
- - hiqqer3 1.35 - - xb-qsts 6.19
- - hiqqer1 1.36 - - caqe-picosat 6.21
- - rareqs 1.48 - - depqbf-v3 9.85
- - qesto 1.61 - - depqbf-v2 11.02
- - qestos 1.9 - - xb-bid-qsts 37.88
- - depqbf-v1 2.41 - - - -
qsts(0.52)
hiqqer1ldsq(1.35)
hiqqer3(1.35)
hiqqer1(1.36)
rareqs(1.48)
qesto(1.61)
qestos(1.9)
depqbf-v1(2.41)
caqe-minisat(6.09)
xb-qsts(6.19)
caqe-picosat(6.21)
depqbf-v3(9.85)
depqbf-v2(11.02)
xb-bid-qsts(37.88)
aqua-f3v(63.32)
aqua-s2v(63.52)
aqua-s3o(63.91)