files / problems / smale-tau / compute / q1 / decide11_core.json

1.9 KB · on GitHub

{
  "mode": "decide", "steps": 11, "prefix_depth": 8, "threads": 8, "seconds": 50.3,
  "nodes_per_depth": [1,2,8,59,663,10609,225219,6057298],
  "leaves": 6057298, "pruned": 0, "leaf_target_pairs_filtered_by_size": 40136159,
  "targets": [
    {"name": "13!", "value": "6227020800", "bits": 33, "found_steps": 11, "program": {"values": ["1","2","3","4","9","36","39","324","12636","492804","492800","6227020800"], "ops": [[0,0,"+"],[0,1,"+"],[0,2,"+"],[2,2,"*"],[3,4,"*"],[2,5,"+"],[4,5,"*"],[6,7,"*"],[6,8,"*"],[9,3,"-"],[8,10,"*"]]}},
    {"name": "14!", "value": "87178291200", "bits": 37, "found_steps": 11, "program": {"values": ["1","2","4","6","12","144","140","840","120960","725760","120120","87178291200"], "ops": [[0,0,"+"],[1,1,"+"],[1,2,"+"],[1,3,"*"],[4,4,"*"],[5,2,"-"],[3,6,"*"],[5,7,"*"],[3,8,"*"],[8,7,"-"],[9,10,"*"]]}},
    {"name": "15!", "value": "1307674368000", "bits": 41, "found_steps": null, "not_reachable_within": 11},
    {"name": "16!", "value": "20922789888000", "bits": 45, "found_steps": null, "not_reachable_within": 11},
    {"name": "17!", "value": "355687428096000", "bits": 49, "found_steps": null, "not_reachable_within": 11},
    {"name": "18!", "value": "6402373705728000", "bits": 53, "found_steps": null, "not_reachable_within": 11},
    {"name": "19!", "value": "121645100408832000", "bits": 57, "found_steps": null, "not_reachable_within": 11},
    {"name": "20!", "value": "2432902008176640000", "bits": 62, "found_steps": null, "not_reachable_within": 11},
    {"name": "21!", "value": "51090942171709440000", "bits": 66, "found_steps": null, "not_reachable_within": 11},
    {"name": "22!", "value": "1124000727777607680000", "bits": 70, "found_steps": null, "not_reachable_within": 11},
    {"name": "29#", "value": "6469693230", "bits": 33, "found_steps": null, "not_reachable_within": 11},
    {"name": "31#", "value": "200560490130", "bits": 38, "found_steps": null, "not_reachable_within": 11}
  ]
}