{ "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.0011125560849905014, "pass": true }, "history": [ { "acc_d11": 0.0, "exact_d11": 0.0, "acc_d12": 0.002, "exact_d12": 0.0, "acc_d13": 0.002, "exact_d13": 0.0, "acc_d14": 0.0029, "exact_d14": 0.0, "acc_d15": 0.0039, "exact_d15": 0.0, "acc_d16": 0.0029, "exact_d16": 0.0, "heldout_byte_acc": 0.0022786458333333335, "heldout_record_exact": 0.0, "heldout_answer_bpb": 8.072190006573996, "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": 1.729, "clip_actions": 14.311, "clip_spine": 4385.985, "step": 0, "loss": 4226.7734375, "train_bits": 4175.31, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 2.287, "wall_s": 2.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.053250294644385576, "heldout_min_exact": 1.0, "singleton_len1": 1.0, "distinct_codes": 1.0, "code_map": "[0, 1]", "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": 7.07, "clip_actions": 0.972, "clip_spine": 1251.56, "step": 500, "loss": 1236.5638427734375, "train_bits": 1231.25, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3459, "wall_s": 173.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.006422219206190978, "heldout_min_exact": 1.0, "singleton_len1": 1.0, "distinct_codes": 1.0, "code_map": "[0, 1]", "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.163, "clip_actions": 0.125, "clip_spine": 914.395, "step": 1000, "loss": 1291.5296630859375, "train_bits": 1291.26, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3441, "wall_s": 344.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.0027256795923070363, "heldout_min_exact": 1.0, "singleton_len1": 1.0, "distinct_codes": 1.0, "code_map": "[0, 1]", "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.309, "clip_actions": 0.056, "clip_spine": 1499.727, "step": 1500, "loss": 1226.1171875, "train_bits": 1226.08, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3437, "wall_s": 515.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.0013590384090396885, "heldout_min_exact": 1.0, "singleton_len1": 1.0, "distinct_codes": 1.0, "code_map": "[0, 1]", "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.159, "clip_actions": 0.031, "clip_spine": 858.598, "step": 2000, "loss": 1270.302001953125, "train_bits": 1270.33, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3429, "wall_s": 685.7 }, { "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.0007492514572125705, "heldout_min_exact": 1.0, "singleton_len1": 1.0, "distinct_codes": 1.0, "code_map": "[0, 1]", "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.062, "clip_actions": 0.017, "clip_spine": 640.116, "step": 2500, "loss": 1161.1337890625, "train_bits": 1161.19, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3425, "wall_s": 856.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.000412839370862154, "heldout_min_exact": 1.0, "singleton_len1": 1.0, "distinct_codes": 1.0, "code_map": "[0, 1]", "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.049, "clip_actions": 0.01, "clip_spine": 1855.696, "step": 3000, "loss": 1316.4490966796875, "train_bits": 1316.51, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3426, "wall_s": 1027.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.00028271864478786785, "heldout_min_exact": 1.0, "singleton_len1": 1.0, "distinct_codes": 1.0, "code_map": "[0, 1]", "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.028, "clip_actions": 0.007, "clip_spine": 380.34, "step": 3500, "loss": 1122.4307861328125, "train_bits": 1122.5, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3427, "wall_s": 1199.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.00019692359273904003, "heldout_min_exact": 1.0, "singleton_len1": 1.0, "distinct_codes": 1.0, "code_map": "[0, 1]", "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.02, "clip_actions": 0.004, "clip_spine": 321.435, "step": 3999, "loss": 1193.154541015625, "train_bits": 1193.22, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3425, "wall_s": 1369.7 } ], "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.00019692359273904003, "heldout_min_exact": 1.0, "singleton_len1": 1.0, "distinct_codes": 1.0, "code_map": "[0, 1]", "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.02, "clip_actions": 0.004, "clip_spine": 321.435, "step": 3999, "loss": 1193.154541015625, "train_bits": 1193.22, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3425, "wall_s": 1369.7 } } ], "partial": false, "result_file": "scratch/g1rep_field_s1.json", "off_law": {}, "certification_geometry": true }