This repository has been archived by the owner on Jul 26, 2024. It is now read-only.
Add link to ICFP Video #22
| Job | Run time |
|---|---|
| 9m 46s | |
| 9m 41s | |
| 9m 44s | |
| 10m 23s | |
| 9m 45s | |
| 10m 39s | |
| 9m 41s | |
| 9m 25s | |
| 7m 34s | |
| 5m 55s | |
| 5m 51s | |
| 6m 15s | |
| 5m 46s | |
| 5m 53s | |
| 5m 25s | |
| 5m 38s | |
| 2h 7m 21s |