Namedrop best known solvers for given problem in benchmark prompts.

* Some of the Annie's prompt had:
```
Tips:
* Try using following solvers:
    * Best Solver 1,
    * Best Solver 2,
    * ...
```

Try adding similar guiding tips to all but mat mul benchmarks.