Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_5_91.4
Best Solver: qsts Time: 0.43 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1 1 depqbf-v1 2.51 depqbf-v3 7.71
- - hiqqer1ldsq 1 xb-bid-qsts 2.61 depqbf-v2 8.72
- - hiqqer3 1 xb-qsts 2.64 - -
- - rareqs 1.21 iprover-QBF-bloqqer 2.67 - -
- - qesto 1.22 caqe-picosat 2.69 - -
- - qestos 1.27 caqe-minisat 2.72 - -
qsts(0.43)
hiqqer1(1)
hiqqer1ldsq(1)
hiqqer3(1)
rareqs(1.21)
qesto(1.22)
qestos(1.27)
depqbf-v1(2.51)
xb-bid-qsts(2.61)
xb-qsts(2.64)
iprover-QBF-bloqqer(2.67)
caqe-picosat(2.69)
caqe-minisat(2.72)
depqbf-v3(7.71)
depqbf-v2(8.72)
aqua-f3v(83.14)
aqua-s2v(83.5)
aqua-s3o(84.89)