Interval-Certified Equilibrium Layer / mvp_results.json

Failed on benchmark

Raw ⬇ ZIP
  1{
  2  "contraction_q": [
  3    {
  4      "gain": 0.7,
  5      "q": 0.043473967753515086
  6    },
  7    {
  8      "gain": 0.9,
  9      "q": 0.14915816871526766
 10    },
 11    {
 12      "gain": 0.99,
 13      "q": 0.6585133709756181
 14    },
 15    {
 16      "gain": 1.0,
 17      "q": 1.0000000000000913
 18    },
 19    {
 20      "gain": 1.01,
 21      "q": 2.0337740599354204
 22    },
 23    {
 24      "gain": 1.2,
 25      "q": 0.13233747036313193
 26    }
 27  ],
 28  "global_domains": [
 29    {
 30      "gain": 0.7,
 31      "scalar_roots": 1,
 32      "status": "unique",
 33      "certified": 1,
 34      "excluded": 0,
 35      "inconclusive": 0,
 36      "visited": 1
 37    },
 38    {
 39      "gain": 1.2,
 40      "scalar_roots": 3,
 41      "status": "inconclusive",
 42      "certified": 4,
 43      "excluded": 584,
 44      "inconclusive": 12,
 45      "visited": 1199
 46    },
 47    {
 48      "gain": 1.6,
 49      "scalar_roots": 3,
 50      "status": "inconclusive",
 51      "certified": 4,
 52      "excluded": 576,
 53      "inconclusive": 12,
 54      "visited": 1183
 55    }
 56  ],
 57  "parameter_uncertainty": [
 58    {
 59      "prad": 0.0,
 60      "status": "unique",
 61      "visited": 1
 62    },
 63    {
 64      "prad": 0.1,
 65      "status": "unique",
 66      "visited": 1
 67    },
 68    {
 69      "prad": 0.2,
 70      "status": "unique",
 71      "visited": 1
 72    },
 73    {
 74      "prad": 0.3,
 75      "status": "inconclusive",
 76      "visited": 10000
 77    },
 78    {
 79      "prad": 0.5,
 80      "status": "inconclusive",
 81      "visited": 10000
 82    }
 83  ],
 84  "fixed_point_baseline": [
 85    {
 86      "gain": 0.7,
 87      "steps": 54,
 88      "residual": 5.7311266843385056e-11
 89    },
 90    {
 91      "gain": 0.9,
 92      "steps": 91,
 93      "residual": 7.716627337117643e-11
 94    },
 95    {
 96      "gain": 1.2,
 97      "steps": 47,
 98      "residual": 4.0174086279876065e-11
 99    }
100  ],
101  "interval_inclusion": {
102    "samples": 20000,
103    "included": true,
104    "q": 0.2517728925082703
105  }
106}