diff --git a/examples/funabs/small_euf/run_bb_smtc.sby b/examples/funabs/small_euf/run_bb_smtc.sby
index 3b9e49eb8e9..d47c1b02e03 100644
--- a/examples/funabs/small_euf/run_bb_smtc.sby
+++ b/examples/funabs/small_euf/run_bb_smtc.sby
@@ -4,7 +4,7 @@ depth 100
 smtc ../../theory.smtc
 
 [engines]
-smtbmc --nounroll --dumpsmt2
+smtbmc --nounroll --dumpsmt2 z3
 
 [script]
 read -formal euf.v