Clean up HeckeMiscInteger.jl
(#1848)
#1963
Job | Run time |
---|---|
44s | |
2h 31m 28s | |
3h 3m 13s | |
1m 40s | |
1m 50s | |
5h 38m 55s |
HeckeMiscInteger.jl
(#1848)
#1963
Job | Run time |
---|---|
44s | |
2h 31m 28s | |
3h 3m 13s | |
1m 40s | |
1m 50s | |
5h 38m 55s |