diff --git a/main.c b/main.c
index ff775e0..1c74dc7 100644
--- a/main.c
+++ b/main.c
@@ -222,18 +222,27 @@ void printStatistics()
     break;
   }
 
-  const auto planLength = seqs[solutionIndex].sati->nOfTPoints - 1;
+  printf("plan:\n  found: ");
 
-  int numberOfActions = 0;
+  if (solutionIndex < 0)
+    printf("false\n");
+  else
+  {
+    printf("true\n");
 
-  const satinstance sati = seqs[solutionIndex].sati;
+    const auto planLength = seqs[solutionIndex].sati->nOfTPoints - 1;
 
-  for (int t = 0; t < sati->nOfTPoints - 1; t++)
-    for (int i = 0; i < sati->nOfActions; i++)
-      if (vartruep(sati,TACT(i,t)))
-        numberOfActions++;
+    int numberOfActions = 0;
 
-  printf("plan:\n  length: %i\n  actions: %i\n", planLength, numberOfActions);
+    const satinstance sati = seqs[solutionIndex].sati;
+
+    for (int t = 0; t < sati->nOfTPoints - 1; t++)
+      for (int i = 0; i < sati->nOfActions; i++)
+        if (vartruep(sati,TACT(i,t)))
+          numberOfActions++;
+
+    printf("  length: %i\n  actions: %i\n", planLength, numberOfActions);
+  }
 
   if(flagOutputDIMACS == 0) {
     printf("iterations:\n");