{ "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 }