If everyone uses the same strategy, then as you say there's no solution. Instead, use a mixed strategy. Not everyone will have this app, and some people's times are more fixed than others, so there will be a mixed strategy at the beginning.
If it gets to be really bad, and everyone uses the same app, then the app might add some artificial biases to smooth things out, or select from a set of user-specified preferences.
If everyone uses the same strategy, then as you say there's no solution. Instead, use a mixed strategy. Not everyone will have this app, and some people's times are more fixed than others, so there will be a mixed strategy at the beginning.
If it gets to be really bad, and everyone uses the same app, then the app might add some artificial biases to smooth things out, or select from a set of user-specified preferences.