Add std-only examples and polish doc for main
#285
| Job | Run time |
|---|---|
| 3m 1s | |
| 28m 13s | |
| 24m 59s | |
| 28m 14s | |
| 31s | |
| 55m 46s | |
| 56m 26s | |
| 3h 17m 10s |
main
#285
| Job | Run time |
|---|---|
| 3m 1s | |
| 28m 13s | |
| 24m 59s | |
| 28m 14s | |
| 31s | |
| 55m 46s | |
| 56m 26s | |
| 3h 17m 10s |