Clean up the Require Import
lists
#20
Job | Run time |
---|---|
35s | |
1m 13s | |
1m 35s | |
34s | |
1m 28s | |
2m 33s | |
2m 8s | |
1m 28s | |
3m 0s | |
3m 20s | |
8m 54s | |
26m 48s |
Require Import
lists
#20
Job | Run time |
---|---|
35s | |
1m 13s | |
1m 35s | |
34s | |
1m 28s | |
2m 33s | |
2m 8s | |
1m 28s | |
3m 0s | |
3m 20s | |
8m 54s | |
26m 48s |