sim: refactor default checker to use constant amount of memory and pr… #95
| Job | Run time |
|---|---|
| 13m 53s | |
| 22m 37s | |
| 6m 15s | |
| 5m 56s | |
| 5m 14s | |
| 12m 18s | |
| 6m 22s | |
| 22m 37s | |
| 6m 53s | |
| 14m 41s | |
| 1h 56m 46s |
| Job | Run time |
|---|---|
| 13m 53s | |
| 22m 37s | |
| 6m 15s | |
| 5m 56s | |
| 5m 14s | |
| 12m 18s | |
| 6m 22s | |
| 22m 37s | |
| 6m 53s | |
| 14m 41s | |
| 1h 56m 46s |