From e8057be293e69c17faae44f35c1a569cc6282eba Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 12 Dec 2022 13:47:34 +0100
Subject: [PATCH] [config] Use vnncomp Marabou options by default (but multiple
 threads).

---
 config/caisar-detection-data.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/caisar-detection-data.conf b/config/caisar-detection-data.conf
index f5f0c64..054b3d8 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
 
-- 
GitLab