diff --git a/reactics-bdd/mc.cc b/reactics-bdd/mc.cc
index 09a8f1c..88f5e36 100644
--- a/reactics-bdd/mc.cc
+++ b/reactics-bdd/mc.cc
@@ -601,8 +601,12 @@ bool ModelChecker::checkRSCTLKfull(FormRSCTLK *form)
 
   cleanup();
 
-  cout << "Formula " << form->toStr() << (result ? " holds" : " does not hold")
-       << endl;
+  if (opts->backend_mode) {
+      cout << "Result:" << result << endl;
+  } else {
+      cout << "Formula " << form->toStr() << (result ? " holds" : " does not hold")
+           << endl;
+  }
 
   if (opts->measure) {
     opts->ver_time = cpuTime() - opts->ver_time;
@@ -665,8 +669,12 @@ bool ModelChecker::checkRSCTLKbmc(FormRSCTLK *form)
 
   cleanup();
 
-  cout << "Formula " << form->toStr() << " " << (result ? "holds" :
-       "does not hold") << endl;
+  if (opts->backend_mode) {
+      cout << "result:" << result << endl;
+  } else {
+      cout << "Formula " << form->toStr() << " " << (result ? "holds" :
+           "does not hold") << endl;
+  }
 
   if (opts->measure) {
     opts->ver_time = cpuTime() - opts->ver_time;