Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_4_54.4
Best Solver: qsts Time: 0.48 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 0.87 xb-qsts 3.27 depqbf-v3 7.71
- - hiqqer1 0.88 xb-bid-qsts 3.28 depqbf-v2 8.72
- - hiqqer3 0.88 iprover-QBF-bloqqer 3.31 - -
- - qesto 1.06 caqe-minisat 3.36 - -
- - qestos 1.07 caqe-picosat 3.37 - -
- - rareqs 1.07 - - - -
- - depqbf-v1 1.91 - - - -
qsts(0.48)
hiqqer1ldsq(0.87)
hiqqer1(0.88)
hiqqer3(0.88)
qesto(1.06)
qestos(1.07)
rareqs(1.07)
depqbf-v1(1.91)
xb-qsts(3.27)
xb-bid-qsts(3.28)
iprover-QBF-bloqqer(3.31)
caqe-minisat(3.36)
caqe-picosat(3.37)
depqbf-v3(7.71)
depqbf-v2(8.72)
aqua-s2v(62.91)
aqua-s3o(63.16)
aqua-f3v(63.5)