Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_98.7
Best Solver: rareqs Time: 7.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 16.86 qsts 46.09 depqbf-v3 123.33
- - hiqqer1 17.07 caqe-picosat 47.08 aqua-s2v 130.31
- - qesto 17.31 depqbf-v2 51.11 aqua-s3o 132.24
- - hiqqer3 19.18 - - aqua-f3v 149.86
- - xb-bid-qsts 22.65 - - qestos 157.86
- - xb-qsts 23.08 - - depqbf-v1 361.51
- - caqe-minisat 33.04 - - - -
rareqs(7.58)
hiqqer1ldsq(16.86)
hiqqer1(17.07)
qesto(17.31)
hiqqer3(19.18)
xb-bid-qsts(22.65)
xb-qsts(23.08)
caqe-minisat(33.04)
qsts(46.09)
caqe-picosat(47.08)
depqbf-v2(51.11)
depqbf-v3(123.33)
aqua-s2v(130.31)
aqua-s3o(132.24)
aqua-f3v(149.86)
qestos(157.86)
depqbf-v1(361.51)