files / problems / smale-tau / compute / q1 / decide12.json
{
"mode": "decide", "steps": 12, "prefix_depth": 9, "threads": 8, "seconds": 2998.0,
"nodes_per_depth": [1,2,8,59,663,10609,225219,6057298,199290037],
"leaves": 199290037, "pruned": 0, "leaf_target_pairs_filtered_by_size": 979391334,
"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": 12, "program": {"values": ["1","2","3","6","8","36","28","1008","1000","36000","36036","36288000","1307674368000"], "ops": [[0,0,"+"],[0,1,"+"],[1,2,"*"],[1,3,"+"],[3,3,"*"],[5,4,"-"],[5,6,"*"],[7,4,"-"],[5,8,"*"],[5,9,"+"],[7,9,"*"],[10,11,"*"]]}},
{"name": "16!", "value": "20922789888000", "bits": 45, "found_steps": 12, "program": {"values": ["1","2","3","4","7","12","144","143","1008","144144","144000","145297152","20922789888000"], "ops": [[0,0,"+"],[0,1,"+"],[0,2,"+"],[2,3,"+"],[2,3,"*"],[5,5,"*"],[6,0,"-"],[4,6,"*"],[7,8,"*"],[9,6,"-"],[8,9,"*"],[10,11,"*"]]}},
{"name": "17!", "value": "355687428096000", "bits": 49, "found_steps": 12, "program": {"values": ["1","2","4","6","12","144","140","156","20160","936","18869760","18849600","355687428096000"], "ops": [[0,0,"+"],[1,1,"+"],[1,2,"+"],[1,3,"*"],[4,4,"*"],[5,2,"-"],[4,5,"+"],[5,6,"*"],[3,7,"*"],[8,9,"*"],[10,8,"-"],[10,11,"*"]]}},
{"name": "18!", "value": "6402373705728000", "bits": 53, "found_steps": null, "not_reachable_within": 12},
{"name": "19!", "value": "121645100408832000", "bits": 57, "found_steps": null, "not_reachable_within": 12},
{"name": "20!", "value": "2432902008176640000", "bits": 62, "found_steps": null, "not_reachable_within": 12},
{"name": "21!", "value": "51090942171709440000", "bits": 66, "found_steps": null, "not_reachable_within": 12},
{"name": "22!", "value": "1124000727777607680000", "bits": 70, "found_steps": null, "not_reachable_within": 12},
{"name": "29#", "value": "6469693230", "bits": 33, "found_steps": 12, "program": {"values": ["1","2","3","4","16","19","22","35","665","14630","442225","442221","6469693230"], "ops": [[0,0,"+"],[0,1,"+"],[0,2,"+"],[3,3,"*"],[2,4,"+"],[2,5,"+"],[4,5,"+"],[5,7,"*"],[6,8,"*"],[8,8,"*"],[10,3,"-"],[9,11,"*"]]}},
{"name": "31#", "value": "200560490130", "bits": 38, "found_steps": 12, "program": {"values": ["1","2","3","5","10","100","1000","1001","10010","2001","10013","20030010","200560490130"], "ops": [[0,0,"+"],[0,1,"+"],[1,2,"+"],[1,3,"*"],[4,4,"*"],[4,5,"*"],[0,6,"+"],[4,7,"*"],[6,7,"+"],[2,8,"+"],[8,9,"*"],[10,11,"*"]]}}
]
}