{
  "ana": {
    "activated": [
      "base", "mallocWrapper"
    ],
    "int": {
      "interval": true,
      "def_exc": false
    },
    "opt": {
      "hashcons": false
    },
    "base": {
      "privatization": "none"
    }
  },
  "incremental": {
    "load": true,
    "save": true,
    "wpoint": false,
    "stable": true
  },
  "exp": {
    "earlyglobs": true
  },
  "dbg": {
    "level": "debug",
    "trace": {
      "context": true
    },
    "timing": {
      "enabled": true
    }
  },
  "warn": {
    "debug": true
  },
  "result": "none",
  "solver": "td3",
  "solvers": {
    "td3": {
      "term": true,
      "space": false,
      "space_cache": true,
      "space_restore": true
    }
  },
  "verify": false
}
