{ "contraction_q": [ { "gain": 0.7, "q": 0.043473967753515086 }, { "gain": 0.9, "q": 0.14915816871526766 }, { "gain": 0.99, "q": 0.6585133709756181 }, { "gain": 1.0, "q": 1.0000000000000913 }, { "gain": 1.01, "q": 2.0337740599354204 }, { "gain": 1.2, "q": 0.13233747036313193 } ], "global_domains": [ { "gain": 0.7, "scalar_roots": 1, "status": "unique", "certified": 1, "excluded": 0, "inconclusive": 0, "visited": 1 }, { "gain": 1.2, "scalar_roots": 3, "status": "inconclusive", "certified": 4, "excluded": 584, "inconclusive": 12, "visited": 1199 }, { "gain": 1.6, "scalar_roots": 3, "status": "inconclusive", "certified": 4, "excluded": 576, "inconclusive": 12, "visited": 1183 } ], "parameter_uncertainty": [ { "prad": 0.0, "status": "unique", "visited": 1 }, { "prad": 0.1, "status": "unique", "visited": 1 }, { "prad": 0.2, "status": "unique", "visited": 1 }, { "prad": 0.3, "status": "inconclusive", "visited": 10000 }, { "prad": 0.5, "status": "inconclusive", "visited": 10000 } ], "fixed_point_baseline": [ { "gain": 0.7, "steps": 54, "residual": 5.7311266843385056e-11 }, { "gain": 0.9, "steps": 91, "residual": 7.716627337117643e-11 }, { "gain": 1.2, "steps": 47, "residual": 4.0174086279876065e-11 } ], "interval_inclusion": { "samples": 20000, "included": true, "q": 0.2517728925082703 } }