diff --git a/sbysrc/sby_mode_bmc.py b/sbysrc/sby_mode_bmc.py
index 399f267..9ba624c 100644
--- a/sbysrc/sby_mode_bmc.py
+++ b/sbysrc/sby_mode_bmc.py
@@ -16,7 +16,7 @@
 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 #
 
-import re, os, getopt
+import re, os, getopt, click
 from sby_core import SbyProc
 
 def run(task):
@@ -25,7 +25,7 @@ def run(task):
     task.handle_str_option("aigsmt", "yices")
 
     for engine_idx, engine in task.engine_list():
-        task.log(f"""engine_{engine_idx}: {" ".join(engine)}""")
+        task.log(f"{click.style(f'engine_{engine_idx}', fg='magenta')}: {' '.join(engine)}")
         task.makedirs(f"{task.workdir}/engine_{engine_idx}")
 
         if engine[0] == "smtbmc":
diff --git a/sbysrc/sby_mode_cover.py b/sbysrc/sby_mode_cover.py
index 02b586f..3a5fbe9 100644
--- a/sbysrc/sby_mode_cover.py
+++ b/sbysrc/sby_mode_cover.py
@@ -16,7 +16,7 @@
 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 #
 
-import re, os, getopt
+import re, os, getopt, click
 from sby_core import SbyProc
 
 def run(task):
@@ -24,7 +24,7 @@ def run(task):
     task.handle_int_option("append", 0)
 
     for engine_idx, engine in task.engine_list():
-        task.log(f"""engine_{engine_idx}: {" ".join(engine)}""")
+        task.log(f"{click.style(f'engine_{engine_idx}', fg='magenta')}: {' '.join(engine)}")
         task.makedirs(f"{task.workdir}/engine_{engine_idx}")
 
         if engine[0] == "smtbmc":
diff --git a/sbysrc/sby_mode_live.py b/sbysrc/sby_mode_live.py
index 437fe8d..89bcc57 100644
--- a/sbysrc/sby_mode_live.py
+++ b/sbysrc/sby_mode_live.py
@@ -16,7 +16,7 @@
 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 #
 
-import re, os, getopt
+import re, os, getopt, click
 from sby_core import SbyProc
 
 def run(task):
@@ -25,7 +25,7 @@ def run(task):
     task.status = "UNKNOWN"
 
     for engine_idx, engine in task.engine_list():
-        task.log(f"""engine_{engine_idx}: {" ".join(engine)}""")
+        task.log(f"{click.style(f'engine_{engine_idx}', fg='magenta')}: {' '.join(engine)}")
         task.makedirs(f"{task.workdir}/engine_{engine_idx}")
 
         if engine[0] == "aiger":
diff --git a/sbysrc/sby_mode_prove.py b/sbysrc/sby_mode_prove.py
index 1118232..b289f31 100644
--- a/sbysrc/sby_mode_prove.py
+++ b/sbysrc/sby_mode_prove.py
@@ -16,7 +16,7 @@
 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 #
 
-import re, os, getopt
+import re, os, getopt, click
 from sby_core import SbyProc
 
 def run(task):
@@ -32,7 +32,7 @@ def run(task):
     task.induction_procs = list()
 
     for engine_idx, engine in task.engine_list():
-        task.log(f"""engine_{engine_idx}: {" ".join(engine)}""")
+        task.log(f"{click.style(f'engine_{engine_idx}', fg='magenta')}: {' '.join(engine)}")
         task.makedirs(f"{task.workdir}/engine_{engine_idx}")
 
         if engine[0] == "smtbmc":