diff --git a/src/shell/smtlib_frontend.cpp b/src/shell/smtlib_frontend.cpp
index a005462e2..b5d8635da 100644
--- a/src/shell/smtlib_frontend.cpp
+++ b/src/shell/smtlib_frontend.cpp
@@ -54,13 +54,19 @@ static void display_statistics() {
 }
 
 static void on_timeout() {
-    display_statistics();
-    exit(0);
+    #pragma omp critical (g_display_stats) 
+    {
+        display_statistics();
+        exit(0);
+    }
 }
 
 static void on_ctrl_c(int) {
     signal (SIGINT, SIG_DFL);
-    display_statistics();
+    #pragma omp critical (g_display_stats) 
+    {
+        display_statistics();
+    }
     raise(SIGINT);
 }
 
@@ -83,9 +89,12 @@ unsigned read_smtlib_file(char const * benchmark_file) {
         }
     }
     
-    display_statistics();
-    register_on_timeout_proc(0);
-    g_solver = 0;
+    #pragma omp critical (g_display_stats) 
+    {
+        display_statistics();
+        register_on_timeout_proc(0);
+        g_solver = 0;
+    }
     return solver.get_error_code();
 }
 
@@ -118,8 +127,12 @@ unsigned read_smtlib2_commands(char const * file_name) {
         result = parse_smt2_commands(ctx, std::cin, true);
     }
     
-    display_statistics();
-    g_cmd_context = 0;
+
+    #pragma omp critical (g_display_stats) 
+    {
+        display_statistics();
+        g_cmd_context = 0;
+    }
     return result ? 0 : 1;
 }