{ "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": false, "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.001, "exact_d12": 0.0, "acc_d13": 0.002, "exact_d13": 0.0, "acc_d14": 0.0049, "exact_d14": 0.0, "acc_d15": 0.0049, "exact_d15": 0.0, "acc_d16": 0.001, "exact_d16": 0.0, "heldout_byte_acc": 0.00244140625, "heldout_record_exact": 0.0, "heldout_answer_bpb": 8.074901312589645, "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": 1.604, "clip_spine": 3922.071, "step": 0, "loss": 4155.22509765625, "train_bits": 4111.17, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 2.044, "wall_s": 2.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.08071816409938037, "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": 8.097, "clip_actions": 1.758, "clip_spine": 324.562, "step": 500, "loss": 1212.8597412109375, "train_bits": 1202.7, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3479, "wall_s": 174.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.007098903326550499, "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.258, "clip_actions": 0.149, "clip_spine": 1163.355, "step": 1000, "loss": 1296.2730712890625, "train_bits": 1295.77, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3439, "wall_s": 343.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.0027352123288437724, "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.292, "clip_actions": 0.066, "clip_spine": 709.809, "step": 1500, "loss": 1171.3988037109375, "train_bits": 1171.26, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3425, "wall_s": 513.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.0011923066886083689, "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.132, "clip_actions": 0.029, "clip_spine": 903.474, "step": 2000, "loss": 1255.1964111328125, "train_bits": 1255.14, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3417, "wall_s": 683.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.0007201329159822004, "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.063, "clip_actions": 0.02, "clip_spine": 562.033, "step": 2500, "loss": 1153.41259765625, "train_bits": 1153.39, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3413, "wall_s": 853.2 }, { "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.00041112453194121673, "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.043, "clip_actions": 0.01, "clip_spine": 1107.913, "step": 3000, "loss": 1265.906494140625, "train_bits": 1265.89, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.341, "wall_s": 1022.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.0002485222297157937, "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.024, "clip_actions": 0.007, "clip_spine": 376.587, "step": 3500, "loss": 1123.7728271484375, "train_bits": 1123.76, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3407, "wall_s": 1192.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.00017199167086801026, "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.017, "clip_actions": 0.004, "clip_spine": 229.124, "step": 3999, "loss": 1185.4464111328125, "train_bits": 1185.44, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3404, "wall_s": 1361.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.00017199167086801026, "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.017, "clip_actions": 0.004, "clip_spine": 229.124, "step": 3999, "loss": 1185.4464111328125, "train_bits": 1185.44, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3404, "wall_s": 1361.4 } } ], "partial": false, "result_file": "scratch/g1marg_field_s0.json", "off_law": {}, "certification_geometry": true }