diff --git a/config/caisar-detection-data.conf b/config/caisar-detection-data.conf
index f5f0c64ec875036a21963049c8194268012cb37f..054b3d8ac73ff597af4afb95a406b080b65fb986 100644
--- a/config/caisar-detection-data.conf
+++ b/config/caisar-detection-data.conf
@@ -49,7 +49,7 @@ exec = "Marabou"
 version_switch = "--version"
 version_regexp = "\\([0-9.+]+\\)"
 version_ok  = "1.0.+"
-command = "%e %{nnet-onnx} %f --timeout %t"
+command = "%e %{nnet-onnx} %f --timeout %t --snc --initial-divides=4 --num-online-divides=4 --initial-timeout=0"
 driver = "caisar_drivers/marabou.drv"
 use_at_auto_level = 1