SPAT v0.9.5-pre
Pre-release
Pre-release
This is a pre-release version. Handle with care.
CHANGELOG:
- Implemented
--sort-by=s
option for sorting by maximum time for successful proof.
Like maximum proof time and total proof time this time is also reflected in the output for each entity.