| { |
| "screen": "G1-FS16", |
| "arm": "field", |
| "seeds": [ |
| 0 |
| ], |
| "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": 0, |
| "oracle": { |
| "worst_acc": 1.0, |
| "worst_depth": -1, |
| "max_mid_entropy": 0.001069359015673399, |
| "pass": true |
| }, |
| "history": [ |
| { |
| "acc_d11": 0.0029, |
| "exact_d11": 0.0, |
| "acc_d12": 0.0, |
| "exact_d12": 0.0, |
| "acc_d13": 0.002, |
| "exact_d13": 0.0, |
| "acc_d14": 0.0039, |
| "exact_d14": 0.0, |
| "acc_d15": 0.0039, |
| "exact_d15": 0.0, |
| "acc_d16": 0.001, |
| "exact_d16": 0.0, |
| "heldout_byte_acc": 0.0022786458333333335, |
| "heldout_record_exact": 0.0, |
| "heldout_answer_bpb": 8.079046746095022, |
| "heldout_min_exact": 0.0, |
| "singleton_len1": 0.0, |
| "distinct_codes": 0.0, |
| "code_map": "[None, None]", |
| "empty_word_rate": 0.0, |
| "word_purity": 0.0, |
| "word_len_match": 0.0, |
| "clip_compiler": 1.732, |
| "clip_actions": 9.401, |
| "clip_spine": 3915.367, |
| "step": 0, |
| "loss": 4158.3662109375, |
| "train_bits": 4111.17, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 2.0037, |
| "wall_s": 2.0 |
| }, |
| { |
| "acc_d11": 0.0059, |
| "exact_d11": 0.0, |
| "acc_d12": 0.0039, |
| "exact_d12": 0.0, |
| "acc_d13": 0.0039, |
| "exact_d13": 0.0, |
| "acc_d14": 0.0039, |
| "exact_d14": 0.0, |
| "acc_d15": 0.001, |
| "exact_d15": 0.0, |
| "acc_d16": 0.002, |
| "exact_d16": 0.0, |
| "heldout_byte_acc": 0.00341796875, |
| "heldout_record_exact": 0.0, |
| "heldout_answer_bpb": 8.330607036749521, |
| "heldout_min_exact": 0.0, |
| "singleton_len1": 0.0, |
| "distinct_codes": 0.0, |
| "code_map": "[None, None]", |
| "empty_word_rate": 1.0, |
| "word_purity": 0.0, |
| "word_len_match": 0.0, |
| "clip_compiler": 4.235, |
| "clip_actions": 12.391, |
| "clip_spine": 428.789, |
| "step": 500, |
| "loss": 2207.285888671875, |
| "train_bits": 2196.06, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3349, |
| "wall_s": 167.4 |
| }, |
| { |
| "acc_d11": 0.0059, |
| "exact_d11": 0.0, |
| "acc_d12": 0.001, |
| "exact_d12": 0.0, |
| "acc_d13": 0.0049, |
| "exact_d13": 0.0, |
| "acc_d14": 0.0049, |
| "exact_d14": 0.0, |
| "acc_d15": 0.0039, |
| "exact_d15": 0.0, |
| "acc_d16": 0.0078, |
| "exact_d16": 0.0, |
| "heldout_byte_acc": 0.004720052083333333, |
| "heldout_record_exact": 0.0, |
| "heldout_answer_bpb": 8.493065694967905, |
| "heldout_min_exact": 0.0, |
| "singleton_len1": 0.0, |
| "distinct_codes": 0.0, |
| "code_map": "[None, None]", |
| "empty_word_rate": 1.0, |
| "word_purity": 0.0, |
| "word_len_match": 0.0, |
| "clip_compiler": 2.303, |
| "clip_actions": 0.0, |
| "clip_spine": 528.56, |
| "step": 1000, |
| "loss": 2318.36083984375, |
| "train_bits": 2317.63, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3331, |
| "wall_s": 333.1 |
| }, |
| { |
| "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.006761317189860468, |
| "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": 1.84, |
| "clip_actions": 0.155, |
| "clip_spine": 786.437, |
| "step": 1500, |
| "loss": 1165.1304931640625, |
| "train_bits": 1164.32, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3335, |
| "wall_s": 500.3 |
| }, |
| { |
| "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.003151468263240531, |
| "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": 0.363, |
| "clip_actions": 0.088, |
| "clip_spine": 937.93, |
| "step": 2000, |
| "loss": 1266.816162109375, |
| "train_bits": 1266.78, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3337, |
| "wall_s": 667.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.0012950759967983079, |
| "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": 0.121, |
| "clip_actions": 0.033, |
| "clip_spine": 645.369, |
| "step": 2500, |
| "loss": 1160.72802734375, |
| "train_bits": 1160.76, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.334, |
| "wall_s": 834.9 |
| }, |
| { |
| "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.0007966042394400574, |
| "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": 0.086, |
| "clip_actions": 0.02, |
| "clip_spine": 1190.394, |
| "step": 3000, |
| "loss": 1265.0445556640625, |
| "train_bits": 1265.1, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.334, |
| "wall_s": 1001.9 |
| }, |
| { |
| "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.0005016779347594517, |
| "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": 0.041, |
| "clip_actions": 0.014, |
| "clip_spine": 389.494, |
| "step": 3500, |
| "loss": 1119.896484375, |
| "train_bits": 1119.96, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3341, |
| "wall_s": 1169.3 |
| }, |
| { |
| "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.0003164439664639455, |
| "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": 0.03, |
| "clip_actions": 0.008, |
| "clip_spine": 239.492, |
| "step": 3999, |
| "loss": 1187.5042724609375, |
| "train_bits": 1187.57, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3342, |
| "wall_s": 1336.4 |
| } |
| ], |
| "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.0003164439664639455, |
| "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": 0.03, |
| "clip_actions": 0.008, |
| "clip_spine": 239.492, |
| "step": 3999, |
| "loss": 1187.5042724609375, |
| "train_bits": 1187.57, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3342, |
| "wall_s": 1336.4 |
| } |
| } |
| ], |
| "partial": false, |
| "result_file": "scratch/g1rep_field_s0.json", |
| "off_law": {}, |
| "certification_geometry": true |
| } |
