X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fmain.c;h=bcf8c7b6106bb1ebda1dc159d2722d3fe2452e57;hb=b3851097adbafa74d01e05b25ba550a814a5767d;hp=2b2b60275de43f8cc5a559fc0e40ab474f1f8ecb;hpb=fa9ee9befed4b0d0b7ce4209a970ac415fbe9725;p=mc1516pa.git

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 2b2b602..bcf8c7b 100644
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -124,9 +124,10 @@ void solve(FILE *inputstream)
                 break;
             }
         }
+        printf("Solution is not found after %d iteration(s)\n", iteration);
     }
     else printf("No solution found!\n");
-	ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));
+	//ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));
 //	sylvan_enum(old, init->vars.varset, (enum_cb)callback, NULL);
 //	sylvan_printdot_nc(old);
 	time_end_encode = clock();