{
  "map_A": [
    [
      0.85,
      0.15
    ],
    [
      -0.15,
      0.85
    ]
  ],
  "map_b": [
    0.2,
    0.0
  ],
  "unsafe_x": 0.72,
  "concrete_max_x": 0.84680478893125,
  "predictions": {
    "P1_soundness": "conditional in-domain sampled omissions are zero for every nonnegative margin",
    "P2_uniform_resolution": "area of reachable unsafe overapproximation decreases as cell width shrinks",
    "P3_margin": "adding interval margin cannot reduce edge count",
    "P4_CEGAR_focus": "CEGAR reaches comparable unsafe area with fewer cells than uniform n=16"
  },
  "uniform_sweep": [
    {
      "n": 2,
      "cells": 4,
      "abstract_unsafe_cells": 2,
      "abstract_unsafe_area": 2.0,
      "abstract_unsafe_levels": 13,
      "concrete_unsafe": true
    },
    {
      "n": 4,
      "cells": 16,
      "abstract_unsafe_cells": 3,
      "abstract_unsafe_area": 0.75,
      "abstract_unsafe_levels": 12,
      "concrete_unsafe": true
    },
    {
      "n": 8,
      "cells": 64,
      "abstract_unsafe_cells": 10,
      "abstract_unsafe_area": 0.625,
      "abstract_unsafe_levels": 11,
      "concrete_unsafe": true
    },
    {
      "n": 16,
      "cells": 256,
      "abstract_unsafe_cells": 26,
      "abstract_unsafe_area": 0.40625,
      "abstract_unsafe_levels": 10,
      "concrete_unsafe": true
    }
  ],
  "cegar": {
    "final_cells": 40,
    "unsafe_cells": 9,
    "unsafe_area": 0.75,
    "unsafe_levels": 11,
    "refined_widths": [
      0.5,
      0.5,
      0.5,
      0.5,
      0.25,
      0.25,
      0.25,
      0.5
    ]
  },
  "margin_sweep": [
    {
      "margin": 0,
      "checked": 19215,
      "failures": 0,
      "coverage": 1.0,
      "edges": 256
    },
    {
      "margin": 0.001,
      "checked": 19215,
      "failures": 0,
      "coverage": 1.0,
      "edges": 256
    },
    {
      "margin": 0.01,
      "checked": 19215,
      "failures": 0,
      "coverage": 1.0,
      "edges": 256
    },
    {
      "margin": 0.05,
      "checked": 19215,
      "failures": 0,
      "coverage": 1.0,
      "edges": 354
    }
  ]
}