Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_3_98.4
Best Solver: qsts Time: 0.55 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 1.43 depqbf-v1 3.71 xb-qsts 6.07
- - hiqqer1 1.46 - - caqe-picosat 6.13
- - hiqqer3 1.52 - - caqe-minisat 6.18
- - rareqs 1.7 - - xb-bid-qsts 6.2
- - qesto 1.91 - - depqbf-v2 11.02
- - qestos 2.26 - - depqbf-v3 11.58
- - - - - - aqua-s2v 32.35
- - - - - - aqua-s3o 32.37
- - - - - - aqua-f3v 32.48
qsts(0.55)
hiqqer1ldsq(1.43)
hiqqer1(1.46)
hiqqer3(1.52)
rareqs(1.7)
qesto(1.91)
qestos(2.26)
depqbf-v1(3.71)
xb-qsts(6.07)
caqe-picosat(6.13)
caqe-minisat(6.18)
xb-bid-qsts(6.2)
depqbf-v2(11.02)
depqbf-v3(11.58)
aqua-s2v(32.35)
aqua-s3o(32.37)
aqua-f3v(32.48)