Well, ok, just terminate the search for proof after some defined cutoff time, ok. But that may drastically limit the kinds of proof you are able to find.
It may. It may not. I don’t know. It may be impossible to optimize a system that much. That’s not my field.
Well, ok, just terminate the search for proof after some defined cutoff time, ok. But that may drastically limit the kinds of proof you are able to find.
It may. It may not. I don’t know. It may be impossible to optimize a system that much. That’s not my field.