Is your feature request related to a problem? Please describe.
After fixing #22 I noticed that it's a bit useless to suddenly show all proofs with a time of 0.0 s (tool limitation).
Describe the solution you'd like
We should provide a command line parameter (I propose --cut-off) which suppresses output for entities whose proof times are below that.
Is your feature request related to a problem? Please describe.
After fixing #22 I noticed that it's a bit useless to suddenly show all proofs with a time of 0.0 s (tool limitation).
Describe the solution you'd like We should provide a command line parameter (I propose
--cut-off) which suppresses output for entities whose proof times are below that.Additional context Also, vaguely related to #1.