Your point being? You're stringing together a bunch of observations without any argument relevant to Jevons' paradox. My guess is that you're mistake is thinki

Your point being? You're stringing together a bunch of observations without any argument relevant to Jevons' paradox. My guess is that you're mistake is thinking something like [demand = 1/price]. That was never the prediction, the prediction is when efficiency improves, demand increases which is a pretty basic observation for most in-practice supply and demand curves (something like a Veblen good would be different). You're not talking about changes in demand and you're barely looking at efficiency beyond noticing that the price was positive and is now 0. > And despite being free it’s still not used nearly as often as it should be ... Case in point, if this wasn't obvious then you need to modify your expectations. Jevons' paradox predicts exactly this, because there are prices below free (ie, paying someone to use the thing) and we'd expect they eventuated people would find new uses for SMT solvers due to Jevons' paradox in context of a price signal that they were getting more efficient. That implies even at $0 in software costs we aren't going to be using them everywhere we could.