outputs/claim5_lemma35.json

[
 {
  "points": 17,
  "value_mismatches": 0,
  "grad_mismatches": 0,
  "value_max_abs_err": 0.0,
  "grad_max_abs_err": 0.0,
  "activation": "relu",
  "dtype": "float32",
  "layers": 9,
  "offgrid_probes": 64,
  "offgrid_nonzero": 0,
  "g_star_absmax": 235.7061767578125
 },
 {
  "points": 17,
  "value_mismatches": 0,
  "grad_mismatches": 0,
  "value_max_abs_err": 0.0,
  "grad_max_abs_err": 0.0,
  "activation": "elu",
  "dtype": "float32",
  "layers": 9,
  "offgrid_probes": 64,
  "offgrid_nonzero": 0,
  "g_star_absmax": 235.7061767578125
 },
 {
  "points": 17,
  "value_mismatches": 0,
  "grad_mismatches": 0,
  "value_max_abs_err": 0.0,
  "grad_max_abs_err": 0.0,
  "activation": "gelu",
  "dtype": "float32",
  "layers": 9,
  "offgrid_probes": 64,
  "offgrid_nonzero": 0,
  "g_star_absmax": 235.7061767578125
 },
 {
  "points": 17,
  "value_mismatches": 0,
  "grad_mismatches": 0,
  "value_max_abs_err": 0.0,
  "grad_max_abs_err": 0.0,
  "activation": "swish",
  "dtype": "float32",
  "layers": 9,
  "offgrid_probes": 64,
  "offgrid_nonzero": 0,
  "g_star_absmax": 235.7061767578125
 },
 {
  "points": 17,
  "value_mismatches": 0,
  "grad_mismatches": 0,
  "value_max_abs_err": 0.0,
  "grad_max_abs_err": 0.0,
  "activation": "sigmoid",
  "dtype": "float32",
  "layers": 9,
  "offgrid_probes": 64,
  "offgrid_nonzero": 0,
  "g_star_absmax": 235.7061767578125
 },
 {
  "points": 17,
  "value_mismatches": 0,
  "grad_mismatches": 0,
  "value_max_abs_err": 0.0,
  "grad_max_abs_err": 0.0,
  "activation": "tanh",
  "dtype": "float32",
  "layers": 9,
  "offgrid_probes": 64,
  "offgrid_nonzero": 0,
  "g_star_absmax": 235.7061767578125
 },
 {
  "points": 17,
  "value_mismatches": 0,
  "grad_mismatches": 0,
  "value_max_abs_err": 0.0,
  "grad_max_abs_err": 0.0,
  "activation": "relu",
  "dtype": "float64",
  "layers": 9,
  "offgrid_probes": 64,
  "offgrid_nonzero": 0,
  "g_star_absmax": 235.7061767578125
 },
 {
  "points": 17,
  "value_mismatches": 0,
  "grad_mismatches": 0,
  "value_max_abs_err": 0.0,
  "grad_max_abs_err": 0.0,
  "activation": "elu",
  "dtype": "float64",
  "layers": 9,
  "offgrid_probes": 64,
  "offgrid_nonzero": 0,
  "g_star_absmax": 235.7061767578125
 },
 {
  "points": 17,
  "value_mismatches": 0,
  "grad_mismatches": 0,
  "value_max_abs_err": 0.0,
  "grad_max_abs_err": 0.0,
  "activation": "gelu",
  "dtype": "float64",
  "layers": 9,
  "offgrid_probes": 64,
  "offgrid_nonzero": 0,
  "g_star_absmax": 235.7061767578125
 },
 {
  "points": 17,
  "value_mismatches": 0,
  "grad_mismatches": 0,
  "value_max_abs_err": 0.0,
  "grad_max_abs_err": 0.0,
  "activation": "swish",
  "dtype": "float64",
  "layers": 9,
  "offgrid_probes": 64,
  "offgrid_nonzero": 0,
  "g_star_absmax": 235.7061767578125
 },
 {
  "points": 17,
  "value_mismatches": 0,
  "grad_mismatches": 0,
  "value_max_abs_err": 0.0,
  "grad_max_abs_err": 0.0,
  "activation": "sigmoid",
  "dtype": "float64",
  "layers": 9,
  "offgrid_probes": 64,
  "offgrid_nonzero": 0,
  "g_star_absmax": 235.7061767578125
 },
 {
  "points": 17,
  "value_mismatches": 0,
  "grad_mismatches": 0,
  "value_max_abs_err": 0.0,
  "grad_max_abs_err": 0.0,
  "activation": "tanh",
  "dtype": "float64",
  "layers": 9,
  "offgrid_probes": 64,
  "offgrid_nonzero": 0,
  "g_star_absmax": 235.7061767578125
 }
]