Add std-only examples and polish doc for main
#291
| Job | Run time |
|---|---|
| 27m 52s | |
| 22m 50s | |
| 28m 19s | |
| 2m 54s | |
| 34s | |
| 56m 42s | |
| 55m 3s | |
| 3h 14m 14s |
main
#291
| Job | Run time |
|---|---|
| 27m 52s | |
| 22m 50s | |
| 28m 19s | |
| 2m 54s | |
| 34s | |
| 56m 42s | |
| 55m 3s | |
| 3h 14m 14s |