Example rebuild

- Introduce two new solver results and remove the existing ones.
(Doesn't give the source of the new ones because I don't know what the solver owners would like).
- Create a script to generate examples
- Explain the examples and improves the README

Reasons to remove old solver results:
- *.sample were too small
- *.long are obsolete and indicate the source (read above).