| { |
| "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.001, |
| "exact_d11": 0.0, |
| "acc_d12": 0.002, |
| "exact_d12": 0.0, |
| "acc_d13": 0.0039, |
| "exact_d13": 0.0, |
| "acc_d14": 0.0049, |
| "exact_d14": 0.0, |
| "acc_d15": 0.0029, |
| "exact_d15": 0.0, |
| "acc_d16": 0.001, |
| "exact_d16": 0.0, |
| "heldout_byte_acc": 0.0026041666666666665, |
| "heldout_record_exact": 0.0, |
| "heldout_answer_bpb": 8.071501890818277, |
| "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_symbols": 6.047796726, |
| "clip_compiler_reader": 15.40065956, |
| "clip_actions": 15.46954918, |
| "clip_carrier": 15.53362274, |
| "clip_spine": 3917.808105, |
| "step": 0, |
| "loss": 4148.69677734375, |
| "train_bits": 4105.61, |
| "lam_mid": 0.0, |
| "boot": 1027.581299, |
| "boot_q_inc": 0.978685, |
| "boot_inc_len": 0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 2.7044, |
| "wall_s": 2.7 |
| }, |
| { |
| "acc_d11": 0.0059, |
| "exact_d11": 0.0, |
| "acc_d12": 0.0029, |
| "exact_d12": 0.0, |
| "acc_d13": 0.0029, |
| "exact_d13": 0.0, |
| "acc_d14": 0.0, |
| "exact_d14": 0.0, |
| "acc_d15": 0.001, |
| "exact_d15": 0.0, |
| "acc_d16": 0.0, |
| "exact_d16": 0.0, |
| "heldout_byte_acc": 0.0021158854166666665, |
| "heldout_record_exact": 0.0, |
| "heldout_answer_bpb": 8.411948005358378, |
| "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_symbols": 3.727493286, |
| "clip_compiler_reader": 3.584225178, |
| "clip_actions": 25.50658798, |
| "clip_carrier": 1.260383129, |
| "clip_spine": 1134.830078, |
| "step": 500, |
| "loss": 2204.42822265625, |
| "train_bits": 2202.11, |
| "lam_mid": 0.0, |
| "boot": 704.4416504, |
| "boot_q_inc": 0.935052, |
| "boot_inc_len": 0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.6881, |
| "wall_s": 344.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.0030110459871745356, |
| "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": 4.769865513, |
| "clip_compiler_reader": 2.975002527, |
| "clip_actions": 0.08293446898, |
| "clip_carrier": 0.170824945, |
| "clip_spine": 820.989624, |
| "step": 1000, |
| "loss": 1289.680419921875, |
| "train_bits": 1288.17, |
| "lam_mid": 0.0, |
| "boot": 7.00778389, |
| "boot_q_inc": 0.999422, |
| "boot_inc_len": 1, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.6871, |
| "wall_s": 687.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.0014360726515102822, |
| "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.1294260621, |
| "clip_compiler_reader": 0.06748603284, |
| "clip_actions": 0.0657447353, |
| "clip_carrier": 0.1048684195, |
| "clip_spine": 1877.318481, |
| "step": 1500, |
| "loss": 1189.1070556640625, |
| "train_bits": 1189.15, |
| "lam_mid": 0.0, |
| "boot": 6.788311958, |
| "boot_q_inc": 0.999835, |
| "boot_inc_len": 1, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.6867, |
| "wall_s": 1030.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.00128153126934194, |
| "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.05828565359, |
| "clip_compiler_reader": 0.02927958965, |
| "clip_actions": 0.07253796607, |
| "clip_carrier": 0.0890340656, |
| "clip_spine": 885.4734497, |
| "step": 2000, |
| "loss": 1271.408203125, |
| "train_bits": 1271.47, |
| "lam_mid": 0.0, |
| "boot": 6.768220901, |
| "boot_q_inc": 0.999984, |
| "boot_inc_len": 1, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.6869, |
| "wall_s": 1373.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.0010989700015973842, |
| "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.02935373783, |
| "clip_compiler_reader": 0.01469403319, |
| "clip_actions": 0.07260091603, |
| "clip_carrier": 0.06653622538, |
| "clip_spine": 632.4621582, |
| "step": 2500, |
| "loss": 1160.7518310546875, |
| "train_bits": 1160.82, |
| "lam_mid": 0.0, |
| "boot": 6.746549129, |
| "boot_q_inc": 0.999997, |
| "boot_inc_len": 1, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.6866, |
| "wall_s": 1716.5 |
| }, |
| { |
| "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.0009706572615565771, |
| "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.01907351613, |
| "clip_compiler_reader": 0.00931192562, |
| "clip_actions": 0.07168028504, |
| "clip_carrier": 0.05027816072, |
| "clip_spine": 1064.364258, |
| "step": 3000, |
| "loss": 1259.7369384765625, |
| "train_bits": 1259.81, |
| "lam_mid": 0.0, |
| "boot": 6.73628521, |
| "boot_q_inc": 0.999999, |
| "boot_inc_len": 1, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.6865, |
| "wall_s": 2059.6 |
| }, |
| { |
| "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.0009437652436948459, |
| "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.01210809592, |
| "clip_compiler_reader": 0.005934049841, |
| "clip_actions": 0.09518926591, |
| "clip_carrier": 0.0546296984, |
| "clip_spine": 355.2744446, |
| "step": 3500, |
| "loss": 1116.573974609375, |
| "train_bits": 1116.64, |
| "lam_mid": 0.0, |
| "boot": 6.73315382, |
| "boot_q_inc": 1.0, |
| "boot_inc_len": 1, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.686, |
| "wall_s": 2401.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.0008610898645808144, |
| "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.00904613547, |
| "clip_compiler_reader": 0.004375649616, |
| "clip_actions": 0.09439308196, |
| "clip_carrier": 0.03859603405, |
| "clip_spine": 234.0807343, |
| "step": 3999, |
| "loss": 1178.46435546875, |
| "train_bits": 1178.54, |
| "lam_mid": 0.0, |
| "boot": 6.901737213, |
| "boot_q_inc": 0.999999, |
| "boot_inc_len": 1, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.6861, |
| "wall_s": 2743.6 |
| } |
| ], |
| "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.0008610898645808144, |
| "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.00904613547, |
| "clip_compiler_reader": 0.004375649616, |
| "clip_actions": 0.09439308196, |
| "clip_carrier": 0.03859603405, |
| "clip_spine": 234.0807343, |
| "step": 3999, |
| "loss": 1178.46435546875, |
| "train_bits": 1178.54, |
| "lam_mid": 0.0, |
| "boot": 6.901737213, |
| "boot_q_inc": 0.999999, |
| "boot_inc_len": 1, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.6861, |
| "wall_s": 2743.6 |
| } |
| } |
| ], |
| "partial": false, |
| "result_file": "g1v2_s0.json", |
| "off_law": {}, |
| "certification_geometry": true |
| } |
