As far as I know and last I checked, metamath-knife can check set.mm in
sub-one-second with verification enabled, and about half a second with
verification disabled. It's possible that things have changed due to the
growth of set.mm?
Just checked again:
$ cargo build --release
$ hyperfine -w 2
metamath-cmds is a docker image where I've collected a number of metamath
command line tools together for convenience (metamath.exe, metamath-knife,
mmj2, checkmm, checkmm-ts, mmverify.py).
Today I have updated this image, so if you run
docker run -it akb74/metamath-cmds
you will be in a