1. Use new open and close delimiters in pretty_print.cc.
#344
| Job | Run time |
|---|---|
| 19m 21s | |
| 30m 22s | |
| 1s | |
| 5m 23s | |
| 38m 46s | |
| 20m 51s | |
| 20m 44s | |
| 19m 33s | |
| 17m 37s | |
| 2h 52m 38s |