flags.json

{
   "ana": {
      "activated": [
         "base"
      ],
      "int": {
         "interval": false,
         "trier ": false
      },
      "hashcons": false
   },
   "exp": {
      "solver": {
         "td3": {
            "term": true,
            "space": true,
            "space_cache": true,
            "space_restore": true
         }
      },
      "incremental":{
         "mode": "off"
      }
   },
   "dbg": {
      "verbose": true,
      "trace": {
         "context": true
      },
      "debug": true
   },
   "printstats": true,
   "result": "fast_xml",
   "solver": "td3",
   "noverify": false
}