Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_56.7
Best Solver: rareqs Time: 6.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer3 6.5 depqbf-v2 33.71 aqua-s2v 68.52
- - hiqqer1ldsq 6.74 depqbf-v3 44.89 aqua-f3v 69.83
- - hiqqer1 6.76 - - aqua-s3o 72.54
- - qesto 7.59 - - depqbf-v1 148.91
- - qsts 8.47 - - - -
- - qestos 8.7 - - - -
- - xb-qsts 15.36 - - - -
- - xb-bid-qsts 15.61 - - - -
- - caqe-minisat 16.09 - - - -
- - caqe-picosat 16.16 - - - -
rareqs(6.31)
hiqqer3(6.5)
hiqqer1ldsq(6.74)
hiqqer1(6.76)
qesto(7.59)
qsts(8.47)
qestos(8.7)
xb-qsts(15.36)
xb-bid-qsts(15.61)
caqe-minisat(16.09)
caqe-picosat(16.16)
depqbf-v2(33.71)
depqbf-v3(44.89)
aqua-s2v(68.52)
aqua-f3v(69.83)
aqua-s3o(72.54)
depqbf-v1(148.91)