nn4sys_2022_128d.yaml

# Configuration file for running the nn2sys_2022 benchmark (mscn_128d and mscn_128d_dual models).
general:
  root_path: ../../vnncomp2022_benchmarks/benchmarks/nn4sys
  csv_name: instances.csv
  enable_incomplete_verification: false
  loss_reduction_func: max
  conv_mode: matrix
data:
  start: 24
  end: 85
solver:
  batch_size: 256  # Number of parallel domains to compute on GPU.
  bound_prop_method: forward+backward
bab:
  initial_max_domains: 1000
  branching:
    method: sb  # Split on input space.
    input_split:
      enable: True
      adv_check: .inf
      sb_coeff_thresh: 0.1
attack:
  pgd_order: input_bab