Skip to content
Snippets Groups Projects
Commit e8057be2 authored by Michele Alberti's avatar Michele Alberti
Browse files

[config] Use vnncomp Marabou options by default (but multiple threads).

parent 47a32f35
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
config/caisar-detection-data.conf
+ 1
− 1
View file @ e8057be2
...@@ -49,7 +49,7 @@ exec = "Marabou" ...@@ -49,7 +49,7 @@ exec = "Marabou"
version_switch = "--version" version_switch = "--version"
version_regexp = "\\([0-9.+]+\\)" version_regexp = "\\([0-9.+]+\\)"
version_ok = "1.0.+" 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" driver = "caisar_drivers/marabou.drv"
use_at_auto_level = 1 use_at_auto_level = 1
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment