Add std-only examples and polish doc for main
#289
| Job | Run time |
|---|---|
| 28m 24s | |
| 28m 8s | |
| 22m 48s | |
| 2m 53s | |
| 29s | |
| 54m 24s | |
| 54m 43s | |
| 3h 11m 49s |
main
#289
| Job | Run time |
|---|---|
| 28m 24s | |
| 28m 8s | |
| 22m 48s | |
| 2m 53s | |
| 29s | |
| 54m 24s | |
| 54m 43s | |
| 3h 11m 49s |