all cached problems are stored by their revision