Certified Tube Wrapper for Learned Predictive Control / results.json
Failed on benchmark
1{
2 "math_verification": {
3 "boundary_prediction": 1.0,
4 "boundary_observed_growth_test": 1.0099999999999998,
5 "boundary_terminal_below_0.98": 0.04706533751883914,
6 "boundary_terminal_above_1.02": 235620.22067973902,
7 "steady_gain_max_relative_error": 1.9151347174783947e-14,
8 "steady_gain_predicted": [
9 0.022222222222222223,
10 0.02666666666666667,
11 0.03333333333333333,
12 0.04444444444444445,
13 0.06666666666666665,
14 0.10000000000000002,
15 0.20000000000000004
16 ],
17 "steady_gain_measured": [
18 0.022222222222222223,
19 0.026666666666666665,
20 0.03333333333333333,
21 0.04444444444444444,
22 0.06666666666666664,
23 0.10000000000000002,
24 0.1999999999999962
25 ],
26 "multiplicative_slope_predicted": 0.27999999999999997,
27 "multiplicative_slope_observed": 0.27999999999999997,
28 "sampled_2d_bound_max_ratio": 0.8617217445803642
29 },
30 "mini_experiment": {
31 "0.1": {
32 "nominal": {
33 "violation_rate": 0.0,
34 "fallback_rate": 0.0,
35 "mean_abs_state": 0.018085835988390826,
36 "mean_abs_action": 0.01067435010960232
37 },
38 "constant": {
39 "violation_rate": 0.0,
40 "fallback_rate": 0.0,
41 "mean_abs_state": 0.016171591763912814,
42 "mean_abs_action": 0.011561204956299797
43 },
44 "horizon": {
45 "violation_rate": 0.0,
46 "fallback_rate": 0.0,
47 "mean_abs_state": 0.017731251248450607,
48 "mean_abs_action": 0.010821821949979491
49 }
50 },
51 "0.25": {
52 "nominal": {
53 "violation_rate": 0.0,
54 "fallback_rate": 0.0,
55 "mean_abs_state": 0.01804125599417929,
56 "mean_abs_action": 0.01065922699509529
57 },
58 "constant": {
59 "violation_rate": 0.0,
60 "fallback_rate": 0.0,
61 "mean_abs_state": 0.01612782136585778,
62 "mean_abs_action": 0.011544090346362564
63 },
64 "horizon": {
65 "violation_rate": 0.0,
66 "fallback_rate": 0.0,
67 "mean_abs_state": 0.017620473639506414,
68 "mean_abs_action": 0.010819428915146753
69 }
70 },
71 "0.4": {
72 "nominal": {
73 "violation_rate": 0.0,
74 "fallback_rate": 0.0,
75 "mean_abs_state": 0.018012545231029152,
76 "mean_abs_action": 0.010651272819793589
77 },
78 "constant": {
79 "violation_rate": 0.0,
80 "fallback_rate": 0.0,
81 "mean_abs_state": 0.01610788940052204,
82 "mean_abs_action": 0.011538779761933734
83 },
84 "horizon": {
85 "violation_rate": 0.0,
86 "fallback_rate": 0.0,
87 "mean_abs_state": 0.017526505708652374,
88 "mean_abs_action": 0.010825056072955938
89 }
90 }
91 }
92}