farguney commited on
Commit
54a7832
·
verified ·
1 Parent(s): a8b46f1

Upload b17_exec_price_demo.json with huggingface_hub

Browse files
Files changed (1) hide show
  1. b17_exec_price_demo.json +1020 -0
b17_exec_price_demo.json ADDED
@@ -0,0 +1,1020 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "law": {
3
+ "assay": "B17-EXEC-PRICE-DEMO",
4
+ "grades": [
5
+ 1,
6
+ 2
7
+ ],
8
+ "steps": 2000,
9
+ "seeds": [
10
+ 0,
11
+ 1
12
+ ],
13
+ "arms": [
14
+ "A",
15
+ "B",
16
+ "C"
17
+ ],
18
+ "budget": 1.5,
19
+ "dual_lr": 0.01,
20
+ "lam_pin": 32.0,
21
+ "lr": 0.001,
22
+ "beta_a": 4.0,
23
+ "eps": 0.05,
24
+ "boot": {
25
+ "law": "v4-balanced-coupled-mirror",
26
+ "rate": 96.0,
27
+ "anchor": 0.95,
28
+ "eps": 0.05,
29
+ "mirror_eta": 0.25,
30
+ "weight": 0.09090909090909091,
31
+ "handoff_every": 16,
32
+ "handoff_greens": 4,
33
+ "gap_bits": 162,
34
+ "events_domain": "TRIDENT-G1-BOOT-v4-EVENTS",
35
+ "tie_domain": "TRIDENT-G1-BOOT-v4-TIE",
36
+ "law_digest": "5bd83455ea0c743bef787ef71fd3f1c2fb7038932bdfb695cffe5a188ee8a18b"
37
+ },
38
+ "reduced_law": "stationary FE(beta_A) + SHARED v4 boot (pre-handoff only; panel = demo's depth<=2 support) + charge; no curriculum/stratified credit/ST sampling",
39
+ "gate": {
40
+ "g1_ppp_declared": true,
41
+ "smoke": false
42
+ },
43
+ "charge": "lambda * E_q[|w|], q = model's own mixed posterior at beta_A (differentiable; label-free)"
44
+ },
45
+ "runs": [
46
+ {
47
+ "arm": "A",
48
+ "seed": 0,
49
+ "lam_final": 0.0,
50
+ "e_qw_final": 1.5,
51
+ "handoff_step": 111,
52
+ "final": {
53
+ "exact_g1": 1.0,
54
+ "exact_g2": 1.0,
55
+ "rho_len_grade": 1.0,
56
+ "step": 1999,
57
+ "lam": 0.0,
58
+ "e_qw": 1.5,
59
+ "loss_bits": 5.46,
60
+ "handoff_step": 111,
61
+ "boot_greens": 4,
62
+ "s_per_step": 0.11
63
+ },
64
+ "history": [
65
+ {
66
+ "exact_g1": 0.0,
67
+ "exact_g2": 0.0,
68
+ "rho_len_grade": 1.0,
69
+ "step": 0,
70
+ "lam": 0.0,
71
+ "e_qw": 0.9118,
72
+ "loss_bits": 1030.22,
73
+ "handoff_step": null,
74
+ "boot_greens": 0,
75
+ "s_per_step": 4.779
76
+ },
77
+ {
78
+ "exact_g1": 1.0,
79
+ "exact_g2": 1.0,
80
+ "rho_len_grade": 1.0,
81
+ "step": 200,
82
+ "lam": 0.0,
83
+ "e_qw": 1.5,
84
+ "loss_bits": 5.45,
85
+ "handoff_step": 111,
86
+ "boot_greens": 4,
87
+ "s_per_step": 0.15
88
+ },
89
+ {
90
+ "exact_g1": 1.0,
91
+ "exact_g2": 1.0,
92
+ "rho_len_grade": 1.0,
93
+ "step": 400,
94
+ "lam": 0.0,
95
+ "e_qw": 1.5,
96
+ "loss_bits": 3.02,
97
+ "handoff_step": 111,
98
+ "boot_greens": 4,
99
+ "s_per_step": 0.129
100
+ },
101
+ {
102
+ "exact_g1": 1.0,
103
+ "exact_g2": 1.0,
104
+ "rho_len_grade": 1.0,
105
+ "step": 600,
106
+ "lam": 0.0,
107
+ "e_qw": 1.5,
108
+ "loss_bits": 2.96,
109
+ "handoff_step": 111,
110
+ "boot_greens": 4,
111
+ "s_per_step": 0.123
112
+ },
113
+ {
114
+ "exact_g1": 1.0,
115
+ "exact_g2": 1.0,
116
+ "rho_len_grade": 1.0,
117
+ "step": 800,
118
+ "lam": 0.0,
119
+ "e_qw": 1.5,
120
+ "loss_bits": 2.94,
121
+ "handoff_step": 111,
122
+ "boot_greens": 4,
123
+ "s_per_step": 0.119
124
+ },
125
+ {
126
+ "exact_g1": 1.0,
127
+ "exact_g2": 1.0,
128
+ "rho_len_grade": 1.0,
129
+ "step": 1000,
130
+ "lam": 0.0,
131
+ "e_qw": 1.5,
132
+ "loss_bits": 2.92,
133
+ "handoff_step": 111,
134
+ "boot_greens": 4,
135
+ "s_per_step": 0.116
136
+ },
137
+ {
138
+ "exact_g1": 1.0,
139
+ "exact_g2": 1.0,
140
+ "rho_len_grade": 1.0,
141
+ "step": 1200,
142
+ "lam": 0.0,
143
+ "e_qw": 1.5,
144
+ "loss_bits": 2.9,
145
+ "handoff_step": 111,
146
+ "boot_greens": 4,
147
+ "s_per_step": 0.115
148
+ },
149
+ {
150
+ "exact_g1": 1.0,
151
+ "exact_g2": 1.0,
152
+ "rho_len_grade": 1.0,
153
+ "step": 1400,
154
+ "lam": 0.0,
155
+ "e_qw": 1.5,
156
+ "loss_bits": 2.89,
157
+ "handoff_step": 111,
158
+ "boot_greens": 4,
159
+ "s_per_step": 0.112
160
+ },
161
+ {
162
+ "exact_g1": 1.0,
163
+ "exact_g2": 1.0,
164
+ "rho_len_grade": 1.0,
165
+ "step": 1600,
166
+ "lam": 0.0,
167
+ "e_qw": 1.5,
168
+ "loss_bits": 2.88,
169
+ "handoff_step": 111,
170
+ "boot_greens": 4,
171
+ "s_per_step": 0.111
172
+ },
173
+ {
174
+ "exact_g1": 1.0,
175
+ "exact_g2": 1.0,
176
+ "rho_len_grade": 1.0,
177
+ "step": 1800,
178
+ "lam": 0.0,
179
+ "e_qw": 1.5,
180
+ "loss_bits": 2.88,
181
+ "handoff_step": 111,
182
+ "boot_greens": 4,
183
+ "s_per_step": 0.11
184
+ },
185
+ {
186
+ "exact_g1": 1.0,
187
+ "exact_g2": 1.0,
188
+ "rho_len_grade": 1.0,
189
+ "step": 1999,
190
+ "lam": 0.0,
191
+ "e_qw": 1.5,
192
+ "loss_bits": 5.46,
193
+ "handoff_step": 111,
194
+ "boot_greens": 4,
195
+ "s_per_step": 0.11
196
+ }
197
+ ],
198
+ "wall_s": 219.4
199
+ },
200
+ {
201
+ "arm": "B",
202
+ "seed": 0,
203
+ "lam_final": 0.005,
204
+ "e_qw_final": 1.5,
205
+ "handoff_step": 111,
206
+ "final": {
207
+ "exact_g1": 1.0,
208
+ "exact_g2": 1.0,
209
+ "rho_len_grade": 1.0,
210
+ "step": 1999,
211
+ "lam": 0.005,
212
+ "e_qw": 1.5,
213
+ "loss_bits": 5.46,
214
+ "handoff_step": 111,
215
+ "boot_greens": 4,
216
+ "s_per_step": 0.109
217
+ },
218
+ "history": [
219
+ {
220
+ "exact_g1": 0.0,
221
+ "exact_g2": 0.0,
222
+ "rho_len_grade": 1.0,
223
+ "step": 0,
224
+ "lam": 0.0,
225
+ "e_qw": 0.9118,
226
+ "loss_bits": 1030.22,
227
+ "handoff_step": null,
228
+ "boot_greens": 0,
229
+ "s_per_step": 4.805
230
+ },
231
+ {
232
+ "exact_g1": 1.0,
233
+ "exact_g2": 1.0,
234
+ "rho_len_grade": 1.0,
235
+ "step": 200,
236
+ "lam": 0.0,
237
+ "e_qw": 1.5,
238
+ "loss_bits": 5.46,
239
+ "handoff_step": 111,
240
+ "boot_greens": 4,
241
+ "s_per_step": 0.154
242
+ },
243
+ {
244
+ "exact_g1": 1.0,
245
+ "exact_g2": 1.0,
246
+ "rho_len_grade": 1.0,
247
+ "step": 400,
248
+ "lam": 0.0,
249
+ "e_qw": 1.5,
250
+ "loss_bits": 3.03,
251
+ "handoff_step": 111,
252
+ "boot_greens": 4,
253
+ "s_per_step": 0.13
254
+ },
255
+ {
256
+ "exact_g1": 1.0,
257
+ "exact_g2": 1.0,
258
+ "rho_len_grade": 1.0,
259
+ "step": 600,
260
+ "lam": 0.0,
261
+ "e_qw": 1.5,
262
+ "loss_bits": 2.97,
263
+ "handoff_step": 111,
264
+ "boot_greens": 4,
265
+ "s_per_step": 0.121
266
+ },
267
+ {
268
+ "exact_g1": 1.0,
269
+ "exact_g2": 1.0,
270
+ "rho_len_grade": 1.0,
271
+ "step": 800,
272
+ "lam": 0.0,
273
+ "e_qw": 1.5,
274
+ "loss_bits": 2.94,
275
+ "handoff_step": 111,
276
+ "boot_greens": 4,
277
+ "s_per_step": 0.117
278
+ },
279
+ {
280
+ "exact_g1": 1.0,
281
+ "exact_g2": 1.0,
282
+ "rho_len_grade": 1.0,
283
+ "step": 1000,
284
+ "lam": 0.0,
285
+ "e_qw": 1.5,
286
+ "loss_bits": 2.92,
287
+ "handoff_step": 111,
288
+ "boot_greens": 4,
289
+ "s_per_step": 0.114
290
+ },
291
+ {
292
+ "exact_g1": 1.0,
293
+ "exact_g2": 1.0,
294
+ "rho_len_grade": 1.0,
295
+ "step": 1200,
296
+ "lam": 0.0,
297
+ "e_qw": 1.5,
298
+ "loss_bits": 2.91,
299
+ "handoff_step": 111,
300
+ "boot_greens": 4,
301
+ "s_per_step": 0.112
302
+ },
303
+ {
304
+ "exact_g1": 1.0,
305
+ "exact_g2": 1.0,
306
+ "rho_len_grade": 1.0,
307
+ "step": 1400,
308
+ "lam": 0.0,
309
+ "e_qw": 1.5,
310
+ "loss_bits": 2.9,
311
+ "handoff_step": 111,
312
+ "boot_greens": 4,
313
+ "s_per_step": 0.111
314
+ },
315
+ {
316
+ "exact_g1": 1.0,
317
+ "exact_g2": 1.0,
318
+ "rho_len_grade": 1.0,
319
+ "step": 1600,
320
+ "lam": 0.0,
321
+ "e_qw": 1.5,
322
+ "loss_bits": 2.89,
323
+ "handoff_step": 111,
324
+ "boot_greens": 4,
325
+ "s_per_step": 0.11
326
+ },
327
+ {
328
+ "exact_g1": 1.0,
329
+ "exact_g2": 1.0,
330
+ "rho_len_grade": 1.0,
331
+ "step": 1800,
332
+ "lam": 0.0,
333
+ "e_qw": 1.5,
334
+ "loss_bits": 2.88,
335
+ "handoff_step": 111,
336
+ "boot_greens": 4,
337
+ "s_per_step": 0.109
338
+ },
339
+ {
340
+ "exact_g1": 1.0,
341
+ "exact_g2": 1.0,
342
+ "rho_len_grade": 1.0,
343
+ "step": 1999,
344
+ "lam": 0.005,
345
+ "e_qw": 1.5,
346
+ "loss_bits": 5.46,
347
+ "handoff_step": 111,
348
+ "boot_greens": 4,
349
+ "s_per_step": 0.109
350
+ }
351
+ ],
352
+ "wall_s": 218.2
353
+ },
354
+ {
355
+ "arm": "C",
356
+ "seed": 0,
357
+ "lam_final": 32.0,
358
+ "e_qw_final": 1.4879213505983353,
359
+ "handoff_step": 991,
360
+ "final": {
361
+ "exact_g1": 1.0,
362
+ "exact_g2": 1.0,
363
+ "rho_len_grade": 1.0,
364
+ "step": 1999,
365
+ "lam": 32.0,
366
+ "e_qw": 1.4879,
367
+ "loss_bits": 69.45,
368
+ "handoff_step": 991,
369
+ "boot_greens": 4,
370
+ "s_per_step": 0.123
371
+ },
372
+ "history": [
373
+ {
374
+ "exact_g1": 0.0,
375
+ "exact_g2": 0.0,
376
+ "rho_len_grade": 1.0,
377
+ "step": 0,
378
+ "lam": 32.0,
379
+ "e_qw": 0.9118,
380
+ "loss_bits": 1059.4,
381
+ "handoff_step": null,
382
+ "boot_greens": 0,
383
+ "s_per_step": 4.013
384
+ },
385
+ {
386
+ "exact_g1": 0.001953125,
387
+ "exact_g2": 0.0,
388
+ "rho_len_grade": 1.0,
389
+ "step": 200,
390
+ "lam": 32.0,
391
+ "e_qw": 0.1747,
392
+ "loss_bits": 416.8,
393
+ "handoff_step": null,
394
+ "boot_greens": 0,
395
+ "s_per_step": 0.161
396
+ },
397
+ {
398
+ "exact_g1": 0.0,
399
+ "exact_g2": 0.0,
400
+ "rho_len_grade": 1.0,
401
+ "step": 400,
402
+ "lam": 32.0,
403
+ "e_qw": 0.3789,
404
+ "loss_bits": 298.23,
405
+ "handoff_step": null,
406
+ "boot_greens": 0,
407
+ "s_per_step": 0.151
408
+ },
409
+ {
410
+ "exact_g1": 0.0,
411
+ "exact_g2": 0.0,
412
+ "rho_len_grade": 1.0,
413
+ "step": 600,
414
+ "lam": 32.0,
415
+ "e_qw": 0.46,
416
+ "loss_bits": 179.85,
417
+ "handoff_step": null,
418
+ "boot_greens": 0,
419
+ "s_per_step": 0.148
420
+ },
421
+ {
422
+ "exact_g1": 0.4765625,
423
+ "exact_g2": 0.056640625,
424
+ "rho_len_grade": 1.0,
425
+ "step": 800,
426
+ "lam": 32.0,
427
+ "e_qw": 0.63,
428
+ "loss_bits": 66.6,
429
+ "handoff_step": null,
430
+ "boot_greens": 0,
431
+ "s_per_step": 0.148
432
+ },
433
+ {
434
+ "exact_g1": 1.0,
435
+ "exact_g2": 1.0,
436
+ "rho_len_grade": 1.0,
437
+ "step": 1000,
438
+ "lam": 32.0,
439
+ "e_qw": 1.1702,
440
+ "loss_bits": 35.05,
441
+ "handoff_step": 991,
442
+ "boot_greens": 4,
443
+ "s_per_step": 0.147
444
+ },
445
+ {
446
+ "exact_g1": 1.0,
447
+ "exact_g2": 1.0,
448
+ "rho_len_grade": 1.0,
449
+ "step": 1200,
450
+ "lam": 32.0,
451
+ "e_qw": 1.4963,
452
+ "loss_bits": 34.89,
453
+ "handoff_step": 991,
454
+ "boot_greens": 4,
455
+ "s_per_step": 0.138
456
+ },
457
+ {
458
+ "exact_g1": 1.0,
459
+ "exact_g2": 1.0,
460
+ "rho_len_grade": 1.0,
461
+ "step": 1400,
462
+ "lam": 32.0,
463
+ "e_qw": 1.4902,
464
+ "loss_bits": 33.39,
465
+ "handoff_step": 991,
466
+ "boot_greens": 4,
467
+ "s_per_step": 0.132
468
+ },
469
+ {
470
+ "exact_g1": 1.0,
471
+ "exact_g2": 1.0,
472
+ "rho_len_grade": 1.0,
473
+ "step": 1600,
474
+ "lam": 32.0,
475
+ "e_qw": 1.4882,
476
+ "loss_bits": 34.86,
477
+ "handoff_step": 991,
478
+ "boot_greens": 4,
479
+ "s_per_step": 0.128
480
+ },
481
+ {
482
+ "exact_g1": 1.0,
483
+ "exact_g2": 1.0,
484
+ "rho_len_grade": 1.0,
485
+ "step": 1800,
486
+ "lam": 32.0,
487
+ "e_qw": 1.4891,
488
+ "loss_bits": 33.27,
489
+ "handoff_step": 991,
490
+ "boot_greens": 4,
491
+ "s_per_step": 0.125
492
+ },
493
+ {
494
+ "exact_g1": 1.0,
495
+ "exact_g2": 1.0,
496
+ "rho_len_grade": 1.0,
497
+ "step": 1999,
498
+ "lam": 32.0,
499
+ "e_qw": 1.4879,
500
+ "loss_bits": 69.45,
501
+ "handoff_step": 991,
502
+ "boot_greens": 4,
503
+ "s_per_step": 0.123
504
+ }
505
+ ],
506
+ "wall_s": 245.4
507
+ },
508
+ {
509
+ "arm": "A",
510
+ "seed": 1,
511
+ "lam_final": 0.0,
512
+ "e_qw_final": 1.5,
513
+ "handoff_step": 111,
514
+ "final": {
515
+ "exact_g1": 1.0,
516
+ "exact_g2": 1.0,
517
+ "rho_len_grade": 1.0,
518
+ "step": 1999,
519
+ "lam": 0.0,
520
+ "e_qw": 1.5,
521
+ "loss_bits": 5.46,
522
+ "handoff_step": 111,
523
+ "boot_greens": 4,
524
+ "s_per_step": 0.109
525
+ },
526
+ "history": [
527
+ {
528
+ "exact_g1": 0.0,
529
+ "exact_g2": 0.0,
530
+ "rho_len_grade": 1.0,
531
+ "step": 0,
532
+ "lam": 0.0,
533
+ "e_qw": 1.2759,
534
+ "loss_bits": 1031.34,
535
+ "handoff_step": null,
536
+ "boot_greens": 0,
537
+ "s_per_step": 4.694
538
+ },
539
+ {
540
+ "exact_g1": 1.0,
541
+ "exact_g2": 1.0,
542
+ "rho_len_grade": 1.0,
543
+ "step": 200,
544
+ "lam": 0.0,
545
+ "e_qw": 1.5,
546
+ "loss_bits": 8.65,
547
+ "handoff_step": 111,
548
+ "boot_greens": 4,
549
+ "s_per_step": 0.147
550
+ },
551
+ {
552
+ "exact_g1": 1.0,
553
+ "exact_g2": 1.0,
554
+ "rho_len_grade": 1.0,
555
+ "step": 400,
556
+ "lam": 0.0,
557
+ "e_qw": 1.5,
558
+ "loss_bits": 3.02,
559
+ "handoff_step": 111,
560
+ "boot_greens": 4,
561
+ "s_per_step": 0.126
562
+ },
563
+ {
564
+ "exact_g1": 1.0,
565
+ "exact_g2": 1.0,
566
+ "rho_len_grade": 1.0,
567
+ "step": 600,
568
+ "lam": 0.0,
569
+ "e_qw": 1.5,
570
+ "loss_bits": 2.96,
571
+ "handoff_step": 111,
572
+ "boot_greens": 4,
573
+ "s_per_step": 0.12
574
+ },
575
+ {
576
+ "exact_g1": 1.0,
577
+ "exact_g2": 1.0,
578
+ "rho_len_grade": 1.0,
579
+ "step": 800,
580
+ "lam": 0.0,
581
+ "e_qw": 1.5,
582
+ "loss_bits": 2.93,
583
+ "handoff_step": 111,
584
+ "boot_greens": 4,
585
+ "s_per_step": 0.116
586
+ },
587
+ {
588
+ "exact_g1": 1.0,
589
+ "exact_g2": 1.0,
590
+ "rho_len_grade": 1.0,
591
+ "step": 1000,
592
+ "lam": 0.0,
593
+ "e_qw": 1.5,
594
+ "loss_bits": 2.91,
595
+ "handoff_step": 111,
596
+ "boot_greens": 4,
597
+ "s_per_step": 0.115
598
+ },
599
+ {
600
+ "exact_g1": 1.0,
601
+ "exact_g2": 1.0,
602
+ "rho_len_grade": 1.0,
603
+ "step": 1200,
604
+ "lam": 0.0,
605
+ "e_qw": 1.5,
606
+ "loss_bits": 2.9,
607
+ "handoff_step": 111,
608
+ "boot_greens": 4,
609
+ "s_per_step": 0.114
610
+ },
611
+ {
612
+ "exact_g1": 1.0,
613
+ "exact_g2": 1.0,
614
+ "rho_len_grade": 1.0,
615
+ "step": 1400,
616
+ "lam": 0.0,
617
+ "e_qw": 1.5,
618
+ "loss_bits": 2.89,
619
+ "handoff_step": 111,
620
+ "boot_greens": 4,
621
+ "s_per_step": 0.112
622
+ },
623
+ {
624
+ "exact_g1": 1.0,
625
+ "exact_g2": 1.0,
626
+ "rho_len_grade": 1.0,
627
+ "step": 1600,
628
+ "lam": 0.0,
629
+ "e_qw": 1.5,
630
+ "loss_bits": 2.88,
631
+ "handoff_step": 111,
632
+ "boot_greens": 4,
633
+ "s_per_step": 0.111
634
+ },
635
+ {
636
+ "exact_g1": 1.0,
637
+ "exact_g2": 1.0,
638
+ "rho_len_grade": 1.0,
639
+ "step": 1800,
640
+ "lam": 0.0,
641
+ "e_qw": 1.5,
642
+ "loss_bits": 2.88,
643
+ "handoff_step": 111,
644
+ "boot_greens": 4,
645
+ "s_per_step": 0.11
646
+ },
647
+ {
648
+ "exact_g1": 1.0,
649
+ "exact_g2": 1.0,
650
+ "rho_len_grade": 1.0,
651
+ "step": 1999,
652
+ "lam": 0.0,
653
+ "e_qw": 1.5,
654
+ "loss_bits": 5.46,
655
+ "handoff_step": 111,
656
+ "boot_greens": 4,
657
+ "s_per_step": 0.109
658
+ }
659
+ ],
660
+ "wall_s": 217.6
661
+ },
662
+ {
663
+ "arm": "B",
664
+ "seed": 1,
665
+ "lam_final": 0.005,
666
+ "e_qw_final": 1.5,
667
+ "handoff_step": 111,
668
+ "final": {
669
+ "exact_g1": 1.0,
670
+ "exact_g2": 1.0,
671
+ "rho_len_grade": 1.0,
672
+ "step": 1999,
673
+ "lam": 0.005,
674
+ "e_qw": 1.5,
675
+ "loss_bits": 5.46,
676
+ "handoff_step": 111,
677
+ "boot_greens": 4,
678
+ "s_per_step": 0.107
679
+ },
680
+ "history": [
681
+ {
682
+ "exact_g1": 0.0,
683
+ "exact_g2": 0.0,
684
+ "rho_len_grade": 1.0,
685
+ "step": 0,
686
+ "lam": 0.0,
687
+ "e_qw": 1.2759,
688
+ "loss_bits": 1031.34,
689
+ "handoff_step": null,
690
+ "boot_greens": 0,
691
+ "s_per_step": 5.19
692
+ },
693
+ {
694
+ "exact_g1": 1.0,
695
+ "exact_g2": 1.0,
696
+ "rho_len_grade": 1.0,
697
+ "step": 200,
698
+ "lam": 0.0,
699
+ "e_qw": 1.5,
700
+ "loss_bits": 8.65,
701
+ "handoff_step": 111,
702
+ "boot_greens": 4,
703
+ "s_per_step": 0.152
704
+ },
705
+ {
706
+ "exact_g1": 1.0,
707
+ "exact_g2": 1.0,
708
+ "rho_len_grade": 1.0,
709
+ "step": 400,
710
+ "lam": 0.0,
711
+ "e_qw": 1.5,
712
+ "loss_bits": 3.03,
713
+ "handoff_step": 111,
714
+ "boot_greens": 4,
715
+ "s_per_step": 0.128
716
+ },
717
+ {
718
+ "exact_g1": 1.0,
719
+ "exact_g2": 1.0,
720
+ "rho_len_grade": 1.0,
721
+ "step": 600,
722
+ "lam": 0.0,
723
+ "e_qw": 1.5,
724
+ "loss_bits": 2.97,
725
+ "handoff_step": 111,
726
+ "boot_greens": 4,
727
+ "s_per_step": 0.117
728
+ },
729
+ {
730
+ "exact_g1": 1.0,
731
+ "exact_g2": 1.0,
732
+ "rho_len_grade": 1.0,
733
+ "step": 800,
734
+ "lam": 0.0,
735
+ "e_qw": 1.5,
736
+ "loss_bits": 2.94,
737
+ "handoff_step": 111,
738
+ "boot_greens": 4,
739
+ "s_per_step": 0.113
740
+ },
741
+ {
742
+ "exact_g1": 1.0,
743
+ "exact_g2": 1.0,
744
+ "rho_len_grade": 1.0,
745
+ "step": 1000,
746
+ "lam": 0.0,
747
+ "e_qw": 1.5,
748
+ "loss_bits": 2.92,
749
+ "handoff_step": 111,
750
+ "boot_greens": 4,
751
+ "s_per_step": 0.111
752
+ },
753
+ {
754
+ "exact_g1": 1.0,
755
+ "exact_g2": 1.0,
756
+ "rho_len_grade": 1.0,
757
+ "step": 1200,
758
+ "lam": 0.0,
759
+ "e_qw": 1.5,
760
+ "loss_bits": 2.91,
761
+ "handoff_step": 111,
762
+ "boot_greens": 4,
763
+ "s_per_step": 0.11
764
+ },
765
+ {
766
+ "exact_g1": 1.0,
767
+ "exact_g2": 1.0,
768
+ "rho_len_grade": 1.0,
769
+ "step": 1400,
770
+ "lam": 0.0,
771
+ "e_qw": 1.5,
772
+ "loss_bits": 2.89,
773
+ "handoff_step": 111,
774
+ "boot_greens": 4,
775
+ "s_per_step": 0.109
776
+ },
777
+ {
778
+ "exact_g1": 1.0,
779
+ "exact_g2": 1.0,
780
+ "rho_len_grade": 1.0,
781
+ "step": 1600,
782
+ "lam": 0.0,
783
+ "e_qw": 1.5,
784
+ "loss_bits": 2.89,
785
+ "handoff_step": 111,
786
+ "boot_greens": 4,
787
+ "s_per_step": 0.109
788
+ },
789
+ {
790
+ "exact_g1": 1.0,
791
+ "exact_g2": 1.0,
792
+ "rho_len_grade": 1.0,
793
+ "step": 1800,
794
+ "lam": 0.0,
795
+ "e_qw": 1.5,
796
+ "loss_bits": 2.88,
797
+ "handoff_step": 111,
798
+ "boot_greens": 4,
799
+ "s_per_step": 0.108
800
+ },
801
+ {
802
+ "exact_g1": 1.0,
803
+ "exact_g2": 1.0,
804
+ "rho_len_grade": 1.0,
805
+ "step": 1999,
806
+ "lam": 0.005,
807
+ "e_qw": 1.5,
808
+ "loss_bits": 5.46,
809
+ "handoff_step": 111,
810
+ "boot_greens": 4,
811
+ "s_per_step": 0.107
812
+ }
813
+ ],
814
+ "wall_s": 213.3
815
+ },
816
+ {
817
+ "arm": "C",
818
+ "seed": 1,
819
+ "lam_final": 32.0,
820
+ "e_qw_final": 1.4907989412546159,
821
+ "handoff_step": null,
822
+ "final": {
823
+ "exact_g1": 1.0,
824
+ "exact_g2": 1.0,
825
+ "rho_len_grade": 1.0,
826
+ "step": 1999,
827
+ "lam": 32.0,
828
+ "e_qw": 1.4908,
829
+ "loss_bits": 69.45,
830
+ "handoff_step": null,
831
+ "boot_greens": 0,
832
+ "s_per_step": 0.145
833
+ },
834
+ "history": [
835
+ {
836
+ "exact_g1": 0.0,
837
+ "exact_g2": 0.0,
838
+ "rho_len_grade": 1.0,
839
+ "step": 0,
840
+ "lam": 32.0,
841
+ "e_qw": 1.2759,
842
+ "loss_bits": 1072.17,
843
+ "handoff_step": null,
844
+ "boot_greens": 0,
845
+ "s_per_step": 4.003
846
+ },
847
+ {
848
+ "exact_g1": 0.0234375,
849
+ "exact_g2": 0.001953125,
850
+ "rho_len_grade": 1.0,
851
+ "step": 200,
852
+ "lam": 32.0,
853
+ "e_qw": 0.5143,
854
+ "loss_bits": 469.16,
855
+ "handoff_step": null,
856
+ "boot_greens": 0,
857
+ "s_per_step": 0.154
858
+ },
859
+ {
860
+ "exact_g1": 0.015625,
861
+ "exact_g2": 0.0,
862
+ "rho_len_grade": 1.0,
863
+ "step": 400,
864
+ "lam": 32.0,
865
+ "e_qw": 1.0309,
866
+ "loss_bits": 97.0,
867
+ "handoff_step": null,
868
+ "boot_greens": 0,
869
+ "s_per_step": 0.149
870
+ },
871
+ {
872
+ "exact_g1": 0.04296875,
873
+ "exact_g2": 0.0,
874
+ "rho_len_grade": 1.0,
875
+ "step": 600,
876
+ "lam": 32.0,
877
+ "e_qw": 1.14,
878
+ "loss_bits": 255.83,
879
+ "handoff_step": null,
880
+ "boot_greens": 0,
881
+ "s_per_step": 0.15
882
+ },
883
+ {
884
+ "exact_g1": 0.01171875,
885
+ "exact_g2": 0.0,
886
+ "rho_len_grade": 1.0,
887
+ "step": 800,
888
+ "lam": 32.0,
889
+ "e_qw": 1.17,
890
+ "loss_bits": 251.18,
891
+ "handoff_step": null,
892
+ "boot_greens": 0,
893
+ "s_per_step": 0.151
894
+ },
895
+ {
896
+ "exact_g1": 0.818359375,
897
+ "exact_g2": 0.705078125,
898
+ "rho_len_grade": 1.0,
899
+ "step": 1000,
900
+ "lam": 32.0,
901
+ "e_qw": 1.1529,
902
+ "loss_bits": 47.72,
903
+ "handoff_step": null,
904
+ "boot_greens": 0,
905
+ "s_per_step": 0.149
906
+ },
907
+ {
908
+ "exact_g1": 1.0,
909
+ "exact_g2": 1.0,
910
+ "rho_len_grade": 1.0,
911
+ "step": 1200,
912
+ "lam": 32.0,
913
+ "e_qw": 1.4585,
914
+ "loss_bits": 34.9,
915
+ "handoff_step": null,
916
+ "boot_greens": 0,
917
+ "s_per_step": 0.147
918
+ },
919
+ {
920
+ "exact_g1": 1.0,
921
+ "exact_g2": 1.0,
922
+ "rho_len_grade": 1.0,
923
+ "step": 1400,
924
+ "lam": 32.0,
925
+ "e_qw": 1.4901,
926
+ "loss_bits": 34.87,
927
+ "handoff_step": null,
928
+ "boot_greens": 0,
929
+ "s_per_step": 0.146
930
+ },
931
+ {
932
+ "exact_g1": 1.0,
933
+ "exact_g2": 1.0,
934
+ "rho_len_grade": 1.0,
935
+ "step": 1600,
936
+ "lam": 32.0,
937
+ "e_qw": 1.488,
938
+ "loss_bits": 33.35,
939
+ "handoff_step": null,
940
+ "boot_greens": 0,
941
+ "s_per_step": 0.146
942
+ },
943
+ {
944
+ "exact_g1": 1.0,
945
+ "exact_g2": 1.0,
946
+ "rho_len_grade": 1.0,
947
+ "step": 1800,
948
+ "lam": 32.0,
949
+ "e_qw": 1.4904,
950
+ "loss_bits": 33.34,
951
+ "handoff_step": null,
952
+ "boot_greens": 0,
953
+ "s_per_step": 0.145
954
+ },
955
+ {
956
+ "exact_g1": 1.0,
957
+ "exact_g2": 1.0,
958
+ "rho_len_grade": 1.0,
959
+ "step": 1999,
960
+ "lam": 32.0,
961
+ "e_qw": 1.4908,
962
+ "loss_bits": 69.45,
963
+ "handoff_step": null,
964
+ "boot_greens": 0,
965
+ "s_per_step": 0.145
966
+ }
967
+ ],
968
+ "wall_s": 290.0
969
+ }
970
+ ],
971
+ "result": {
972
+ "verdict": "CLOSURE-DESCRIPTION-SUFFICES",
973
+ "closure_form": true,
974
+ "exec_price_form": false,
975
+ "table": {
976
+ "A-s0": {
977
+ "exact_g1": 1.0,
978
+ "exact_g2": 1.0,
979
+ "rho": 1.0,
980
+ "e_qw": 1.5,
981
+ "lam": 0.0
982
+ },
983
+ "A-s1": {
984
+ "exact_g1": 1.0,
985
+ "exact_g2": 1.0,
986
+ "rho": 1.0,
987
+ "e_qw": 1.5,
988
+ "lam": 0.0
989
+ },
990
+ "B-s0": {
991
+ "exact_g1": 1.0,
992
+ "exact_g2": 1.0,
993
+ "rho": 1.0,
994
+ "e_qw": 1.5,
995
+ "lam": 0.005
996
+ },
997
+ "B-s1": {
998
+ "exact_g1": 1.0,
999
+ "exact_g2": 1.0,
1000
+ "rho": 1.0,
1001
+ "e_qw": 1.5,
1002
+ "lam": 0.005
1003
+ },
1004
+ "C-s0": {
1005
+ "exact_g1": 1.0,
1006
+ "exact_g2": 1.0,
1007
+ "rho": 1.0,
1008
+ "e_qw": 1.4879,
1009
+ "lam": 32.0
1010
+ },
1011
+ "C-s1": {
1012
+ "exact_g1": 1.0,
1013
+ "exact_g2": 1.0,
1014
+ "rho": 1.0,
1015
+ "e_qw": 1.4908,
1016
+ "lam": 32.0
1017
+ }
1018
+ }
1019
+ }
1020
+ }