Auto merge of #466 - Amanieu:hashtable, r=Amanieu #620
| Job | Run time |
|---|---|
| 1m 57s | |
| 26s | |
| 1s | |
| 9m 20s | |
| 5m 7s | |
| 7m 58s | |
| 4m 57s | |
| 9m 34s | |
| 5m 10s | |
| 12m 24s | |
| 6m 13s | |
| 9m 50s | |
| 7m 8s | |
| 5m 59s | |
| 2m 3s | |
| 11m 46s | |
| 6m 6s | |
| 9m 4s | |
| 11m 0s | |
| 14m 7s | |
| 17m 19s | |
| 4m 17s | |
| 4m 10s | |
| 2s | |
| 0s | |
| 2h 45m 58s |
| Job | Run time |
|---|---|
| 1m 57s | |
| 26s | |
| 1s | |
| 9m 20s | |
| 5m 7s | |
| 7m 58s | |
| 4m 57s | |
| 9m 34s | |
| 5m 10s | |
| 12m 24s | |
| 6m 13s | |
| 9m 50s | |
| 7m 8s | |
| 5m 59s | |
| 2m 3s | |
| 11m 46s | |
| 6m 6s | |
| 9m 4s | |
| 11m 0s | |
| 14m 7s | |
| 17m 19s | |
| 4m 17s | |
| 4m 10s | |
| 2s | |
| 0s | |
| 2h 45m 58s |