non-public benchmarks shown in user area table

Users are supposed to only see benchmarks that they have run their model on in the user area. However it seems that all available benchmarks are visible to them.

Start by locating the user-area table and the code that loads its benchmark list. Reproduce the view with a user who has run a model on only some benchmarks, then trace the visibility or filtering behavior. Done means users see only benchmarks on which they have run their model.

Written by the indexing model from the issue text.