From d55735df2bfa0a0375f22320692319ad20dc0edb Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 13 Mar 2025 11:57:53 -0700 Subject: [PATCH] Updates to the result reporting. --- src/proof/cec/cecProve.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/proof/cec/cecProve.c b/src/proof/cec/cecProve.c index b6325ea2c..1b5a0fa43 100644 --- a/src/proof/cec/cecProve.c +++ b/src/proof/cec/cecProve.c @@ -317,9 +317,9 @@ int Cec_GiaProveTest( Gia_Man_t * p, int nProcs, int nTimeOut, int nTimeOut2, in { printf( "Problem \"%s\" is ", p->pSpec ); if ( RetValue == 0 ) - printf( "SAT (solved by %d).", RetEngine ); + printf( "SATISFIABLE (solved by %d).", RetEngine ); else if ( RetValue == 1 ) - printf( "UNSAT (solved by %d).", RetEngine ); + printf( "UNSATISFIABLE (solved by %d).", RetEngine ); else if ( RetValue == -1 ) printf( "UNDECIDED." ); else assert( 0 );