I was wrong
Sol looks efficient on Artificial Analysis, but in real-world use it uses more tokens than Opus
When I just had aggregate numbers for the whole model, I thought this was because people tended to use Sol at higher reasoning efforts than Opus
But it turns out the split is pretty similar
About half of use is done at high reasoning for both
But despite all the benchmarks, Opus ends up significantly more efficient on high reasoning (the most common)
These are still different tasks
So usage patterns between Opus and Sol are different, but it's not because of different reasoning efforts