UnknownExplanation 

This enum represents the explanation for an unknown solver result (see Result ).

class cvc5. UnknownExplanation ( * values ) 

The UnknownExplanation enum

INCOMPLETE = 1 

INTERRUPTED = 5 

MEMOUT = 4 

OTHER = 7 

REQUIRES_CHECK_AGAIN = 8 

REQUIRES_FULL_CHECK = 0 

RESOURCEOUT = 3 

TIMEOUT = 2 

UNKNOWN_REASON = 9 

UNSUPPORTED = 6 