Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_74.5
Best Solver: hiqqer1ldsq Time: 1.33 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 1.35 depqbf-v1 8.12 depqbf-v2 14.51
- - hiqqer3 1.35 depqbf-v3 13.06 aqua-f3v 45.74
- - qsts 1.97 - - aqua-s3o 45.82
- - rareqs 1.99 - - aqua-s2v 46.07
- - qesto 2.32 - - - -
- - qestos 2.59 - - - -
- - caqe-minisat 4.24 - - - -
- - xb-bid-qsts 4.24 - - - -
- - xb-qsts 4.24 - - - -
- - caqe-picosat 4.29 - - - -
- - iprover-QBF-bloqqer 4.38 - - - -
hiqqer1ldsq(1.33)
hiqqer1(1.35)
hiqqer3(1.35)
qsts(1.97)
rareqs(1.99)
qesto(2.32)
qestos(2.59)
caqe-minisat(4.24)
xb-bid-qsts(4.24)
xb-qsts(4.24)
caqe-picosat(4.29)
iprover-QBF-bloqqer(4.38)
depqbf-v1(8.12)
depqbf-v3(13.06)
depqbf-v2(14.51)
aqua-f3v(45.74)
aqua-s3o(45.82)
aqua-s2v(46.07)