Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_74.6
Best Solver: rareqs Time: 2.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 2.84 depqbf-v3 17.58 aqua-s3o 108.04
- - hiqqer3 2.93 depqbf-v2 19.01 aqua-f3v 114.36
- - hiqqer1ldsq 2.94 - - aqua-s2v 114.82
- - qsts 3.38 - - - -
- - qestos 4.22 - - - -
- - qesto 4.36 - - - -
- - xb-qsts 7.99 - - - -
- - xb-bid-qsts 8.25 - - - -
- - caqe-minisat 8.57 - - - -
- - caqe-picosat 9.23 - - - -
- - depqbf-v1 10.61 - - - -

rareqs(2.28)
hiqqer1(2.84)
hiqqer3(2.93)
hiqqer1ldsq(2.94)
qsts(3.38)
qestos(4.22)
qesto(4.36)
xb-qsts(7.99)
xb-bid-qsts(8.25)
caqe-minisat(8.57)
caqe-picosat(9.23)
depqbf-v1(10.61)
depqbf-v3(17.58)
depqbf-v2(19.01)
aqua-s3o(108.04)
aqua-f3v(114.36)
aqua-s2v(114.82)