Introduce flintify
helper for "optimal" dispatch on integer and rational inputs
#1987
Job | Run time |
---|---|
50s | |
2h 35m 36s | |
3h 11m 22s | |
1m 36s | |
1m 42s | |
5h 51m 6s |