| { |
| "screen": "G1-FS16", |
| "arm": "field", |
| "seeds": [ |
| 1 |
| ], |
| "nonce": 0, |
| "steps": 4000, |
| "events": 2, |
| "m_records": 16, |
| "d": 64, |
| "layers": 3, |
| "carrier": 256, |
| "train_depth": 10, |
| "closure": 16, |
| "lam_mid": 0.0, |
| "lam_cpu": 0.02, |
| "lam_a": 0.02, |
| "mid_warmup": 0.0, |
| "curriculum": 0.0, |
| "straight_through": true, |
| "st_after": 0.0, |
| "act_init": 4.0, |
| "sampled": true, |
| "eps": 0.05, |
| "device": "cuda", |
| "runs": [ |
| { |
| "seed": 1, |
| "oracle": { |
| "worst_acc": 1.0, |
| "worst_depth": -1, |
| "max_mid_entropy": 0.001111512305215001, |
| "pass": true |
| }, |
| "history": [ |
| { |
| "acc_d11": 0.002, |
| "exact_d11": 0.0, |
| "acc_d12": 0.0029, |
| "exact_d12": 0.0, |
| "acc_d13": 0.0059, |
| "exact_d13": 0.0, |
| "acc_d14": 0.002, |
| "exact_d14": 0.0, |
| "acc_d15": 0.001, |
| "exact_d15": 0.0, |
| "acc_d16": 0.0039, |
| "exact_d16": 0.0, |
| "heldout_byte_acc": 0.0029296875, |
| "heldout_record_exact": 0.0, |
| "heldout_answer_bpb": 8.065880447626114, |
| "heldout_min_exact": 0.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[1, 0]", |
| "empty_word_rate": 1.0, |
| "word_purity": 1.0, |
| "word_len_match": 1.0, |
| "purity_by_depth": "[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]", |
| "purity_trained": 1.0, |
| "purity_closure": 1.0, |
| "clip_compiler_symbols": 5.733291626, |
| "clip_compiler_reader": 13.3898983, |
| "clip_actions": 15.20424747, |
| "clip_carrier": 17.69692993, |
| "clip_spine": 4386.623535, |
| "step": 0, |
| "loss": 4212.9423828125, |
| "train_bits": 4170.34, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 1.794, |
| "wall_s": 1.8 |
| }, |
| { |
| "acc_d11": 1.0, |
| "exact_d11": 1.0, |
| "acc_d12": 1.0, |
| "exact_d12": 1.0, |
| "acc_d13": 1.0, |
| "exact_d13": 1.0, |
| "acc_d14": 1.0, |
| "exact_d14": 1.0, |
| "acc_d15": 1.0, |
| "exact_d15": 1.0, |
| "acc_d16": 1.0, |
| "exact_d16": 1.0, |
| "heldout_byte_acc": 1.0, |
| "heldout_record_exact": 1.0, |
| "heldout_answer_bpb": 0.0016932343338946036, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[1, 0]", |
| "empty_word_rate": 1.0, |
| "word_purity": 1.0, |
| "word_len_match": 1.0, |
| "purity_by_depth": "[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]", |
| "purity_trained": 1.0, |
| "purity_closure": 1.0, |
| "clip_compiler_symbols": 0.1787838489, |
| "clip_compiler_reader": 0.09872308373, |
| "clip_actions": 0.05691870302, |
| "clip_carrier": 0.1003123969, |
| "clip_spine": 1773.100098, |
| "step": 1000, |
| "loss": 1336.792236328125, |
| "train_bits": 1336.83, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3714, |
| "wall_s": 371.4 |
| }, |
| { |
| "acc_d11": 1.0, |
| "exact_d11": 1.0, |
| "acc_d12": 1.0, |
| "exact_d12": 1.0, |
| "acc_d13": 1.0, |
| "exact_d13": 1.0, |
| "acc_d14": 1.0, |
| "exact_d14": 1.0, |
| "acc_d15": 1.0, |
| "exact_d15": 1.0, |
| "acc_d16": 1.0, |
| "exact_d16": 1.0, |
| "heldout_byte_acc": 1.0, |
| "heldout_record_exact": 1.0, |
| "heldout_answer_bpb": 0.0012254860521352384, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[1, 0]", |
| "empty_word_rate": 1.0, |
| "word_purity": 1.0, |
| "word_len_match": 1.0, |
| "purity_by_depth": "[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]", |
| "purity_trained": 1.0, |
| "purity_closure": 1.0, |
| "clip_compiler_symbols": 0.03535668179, |
| "clip_compiler_reader": 0.01711756922, |
| "clip_actions": 0.08345318586, |
| "clip_carrier": 0.0793639943, |
| "clip_spine": 680.1265259, |
| "step": 2000, |
| "loss": 1251.17724609375, |
| "train_bits": 1251.24, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3709, |
| "wall_s": 741.8 |
| }, |
| { |
| "acc_d11": 1.0, |
| "exact_d11": 1.0, |
| "acc_d12": 1.0, |
| "exact_d12": 1.0, |
| "acc_d13": 1.0, |
| "exact_d13": 1.0, |
| "acc_d14": 1.0, |
| "exact_d14": 1.0, |
| "acc_d15": 1.0, |
| "exact_d15": 1.0, |
| "acc_d16": 1.0, |
| "exact_d16": 1.0, |
| "heldout_byte_acc": 1.0, |
| "heldout_record_exact": 1.0, |
| "heldout_answer_bpb": 0.0009635562873882009, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[1, 0]", |
| "empty_word_rate": 1.0, |
| "word_purity": 1.0, |
| "word_len_match": 1.0, |
| "purity_by_depth": "[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]", |
| "purity_trained": 1.0, |
| "purity_closure": 1.0, |
| "clip_compiler_symbols": 0.01362186857, |
| "clip_compiler_reader": 0.006496629678, |
| "clip_actions": 0.09153233469, |
| "clip_carrier": 0.05150366202, |
| "clip_spine": 7341.197754, |
| "step": 3000, |
| "loss": 1275.0947265625, |
| "train_bits": 1275.17, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3707, |
| "wall_s": 1112.0 |
| }, |
| { |
| "acc_d11": 1.0, |
| "exact_d11": 1.0, |
| "acc_d12": 1.0, |
| "exact_d12": 1.0, |
| "acc_d13": 1.0, |
| "exact_d13": 1.0, |
| "acc_d14": 1.0, |
| "exact_d14": 1.0, |
| "acc_d15": 1.0, |
| "exact_d15": 1.0, |
| "acc_d16": 1.0, |
| "exact_d16": 1.0, |
| "heldout_byte_acc": 1.0, |
| "heldout_record_exact": 1.0, |
| "heldout_answer_bpb": 0.0009158020175163983, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[1, 0]", |
| "empty_word_rate": 1.0, |
| "word_purity": 1.0, |
| "word_len_match": 1.0, |
| "purity_by_depth": "[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]", |
| "purity_trained": 1.0, |
| "purity_closure": 1.0, |
| "clip_compiler_symbols": 0.006540795788, |
| "clip_compiler_reader": 0.003084220691, |
| "clip_actions": 0.09825399518, |
| "clip_carrier": 0.03695688769, |
| "clip_spine": 236.5553436, |
| "step": 3999, |
| "loss": 1185.725341796875, |
| "train_bits": 1185.8, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3706, |
| "wall_s": 1482.2 |
| } |
| ], |
| "final": { |
| "acc_d11": 1.0, |
| "exact_d11": 1.0, |
| "acc_d12": 1.0, |
| "exact_d12": 1.0, |
| "acc_d13": 1.0, |
| "exact_d13": 1.0, |
| "acc_d14": 1.0, |
| "exact_d14": 1.0, |
| "acc_d15": 1.0, |
| "exact_d15": 1.0, |
| "acc_d16": 1.0, |
| "exact_d16": 1.0, |
| "heldout_byte_acc": 1.0, |
| "heldout_record_exact": 1.0, |
| "heldout_answer_bpb": 0.0009158020175163983, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[1, 0]", |
| "empty_word_rate": 1.0, |
| "word_purity": 1.0, |
| "word_len_match": 1.0, |
| "purity_by_depth": "[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]", |
| "purity_trained": 1.0, |
| "purity_closure": 1.0, |
| "clip_compiler_symbols": 0.006540795788, |
| "clip_compiler_reader": 0.003084220691, |
| "clip_actions": 0.09825399518, |
| "clip_carrier": 0.03695688769, |
| "clip_spine": 236.5553436, |
| "step": 3999, |
| "loss": 1185.725341796875, |
| "train_bits": 1185.8, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3706, |
| "wall_s": 1482.2 |
| } |
| } |
| ], |
| "partial": false, |
| "result_file": "g1lc3_s1.json", |
| "off_law": {}, |
| "certification_geometry": true |
| } |
