extraction: better precision & shorter code #254
Job | Run time |
---|---|
3m 9s | |
1m 33s | |
1m 21s | |
1m 31s | |
1m 19s | |
1m 28s | |
1m 19s | |
1m 27s | |
1m 38s | |
1m 48s | |
1m 32s | |
1m 24s | |
1m 24s | |
2m 4s | |
22m 57s |
Job | Run time |
---|---|
3m 9s | |
1m 33s | |
1m 21s | |
1m 31s | |
1m 19s | |
1m 28s | |
1m 19s | |
1m 27s | |
1m 38s | |
1m 48s | |
1m 32s | |
1m 24s | |
1m 24s | |
2m 4s | |
22m 57s |