Interval-Certified Equilibrium Layer / mvp_results.json
Failed on benchmark
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}