041 runs of b5 = bdfc4d7 and b6 = de9efad: batches knapsack 10.84 ms (the compiled code 7.93), matmul 36.41 (14.20), join 118.3 (78.7), sort 55.5 (35.6), roots 8.87 (9.57); the executor alone as many instructions as b4's; costs three ways on b5 and b6 (tagged by version, b4's too: adds 0.65, ops 4.00, recur 21.8, recur4 36.0); frontier.c: the suite's BFS as frontier batches (105,232 of 999,913 edges asked again in order, 99,997 added; walking a batch's edges together 2.17x the edges)

1 files changed, 132 insertions, 54 deletions

diff --git a/research/experiments/041-batches/2026-10-06-costs.jsonl b/research/experiments/041-batches/2026-10-06-costs.jsonl
index 2498cd3..14c1c27 100644
--- a/research/experiments/041-batches/2026-10-06-costs.jsonl
+++ b/research/experiments/041-batches/2026-10-06-costs.jsonl
@@ -1,54 +1,132 @@
-{"way":"batches","module":"ops.pmod","n":51200,"ms":9.807,"work":29696037,"out":1024020}
-{"way":"rounds","module":"ops.pmod","n":51200,"ms":156.270,"work":29696037,"out":1024020}
-{"way":"jit","module":"ops.pmod","n":51200,"ms":4.272,"work":29696037,"out":1024020}
-{"way":"batches","module":"nest.pmod","n":200,"ms":10.202,"work":120965433,"out":1616000000}
-{"way":"rounds","module":"nest.pmod","n":200,"ms":652.958,"work":120965433,"out":1616000000}
-{"way":"jit","module":"nest.pmod","n":200,"ms":23.030,"work":120965433,"out":1616000000}
-{"way":"batches","module":"adds.pmod","n":1000,"ms":5.184,"work":200010,"out":50000}
-{"way":"rounds","module":"adds.pmod","n":1000,"ms":5.173,"work":200010,"out":50000}
-{"way":"jit","module":"adds.pmod","n":1000,"ms":0.279,"work":200010,"out":50000}
-{"way":"batches","module":"probes.pmod","n":100000,"ms":84.769,"work":35700061,"out":49999500000}
-{"way":"rounds","module":"probes.pmod","n":100000,"ms":255.720,"work":35700061,"out":49999500000}
-{"way":"jit","module":"probes.pmod","n":100000,"ms":56.450,"work":35700061,"out":49999500000}
-{"way":"batches","module":"ops.pmod","n":51200,"ms":9.793,"work":29696037,"out":1024020}
-{"way":"rounds","module":"ops.pmod","n":51200,"ms":156.296,"work":29696037,"out":1024020}
-{"way":"jit","module":"ops.pmod","n":51200,"ms":4.272,"work":29696037,"out":1024020}
-{"way":"batches","module":"nest.pmod","n":200,"ms":10.194,"work":120965433,"out":1616000000}
-{"way":"rounds","module":"nest.pmod","n":200,"ms":653.140,"work":120965433,"out":1616000000}
-{"way":"jit","module":"nest.pmod","n":200,"ms":23.083,"work":120965433,"out":1616000000}
-{"way":"batches","module":"adds.pmod","n":1000,"ms":5.188,"work":200010,"out":50000}
-{"way":"rounds","module":"adds.pmod","n":1000,"ms":5.175,"work":200010,"out":50000}
-{"way":"jit","module":"adds.pmod","n":1000,"ms":0.279,"work":200010,"out":50000}
-{"way":"batches","module":"probes.pmod","n":100000,"ms":85.757,"work":35700061,"out":49999500000}
-{"way":"rounds","module":"probes.pmod","n":100000,"ms":257.913,"work":35700061,"out":49999500000}
-{"way":"jit","module":"probes.pmod","n":100000,"ms":56.136,"work":35700061,"out":49999500000}
-{"way":"batches","module":"ops.pmod","n":51200,"ms":9.818,"work":29696037,"out":1024020}
-{"way":"rounds","module":"ops.pmod","n":51200,"ms":156.300,"work":29696037,"out":1024020}
-{"way":"jit","module":"ops.pmod","n":51200,"ms":4.272,"work":29696037,"out":1024020}
-{"way":"batches","module":"nest.pmod","n":200,"ms":10.204,"work":120965433,"out":1616000000}
-{"way":"rounds","module":"nest.pmod","n":200,"ms":653.427,"work":120965433,"out":1616000000}
-{"way":"jit","module":"nest.pmod","n":200,"ms":23.119,"work":120965433,"out":1616000000}
-{"way":"batches","module":"adds.pmod","n":1000,"ms":5.182,"work":200010,"out":50000}
-{"way":"rounds","module":"adds.pmod","n":1000,"ms":5.163,"work":200010,"out":50000}
-{"way":"jit","module":"adds.pmod","n":1000,"ms":0.279,"work":200010,"out":50000}
-{"way":"batches","module":"probes.pmod","n":100000,"ms":85.142,"work":35700061,"out":49999500000}
-{"way":"rounds","module":"probes.pmod","n":100000,"ms":256.066,"work":35700061,"out":49999500000}
-{"way":"jit","module":"probes.pmod","n":100000,"ms":56.258,"work":35700061,"out":49999500000}
-{"way":"batches","module":"ops0.pmod","n":51200,"ms":9.414,"work":9216017,"out":1024000}
-{"way":"batches","module":"ops.pmod","n":51200,"ms":9.798,"work":29696037,"out":1024020}
-{"way":"batches","module":"ops12.pmod","n":51200,"ms":10.288,"work":54272061,"out":1024077}
-{"way":"batches","module":"sum0.pmod","n":51200,"ms":4.530,"work":11264019,"out":1024000}
-{"way":"batches","module":"sum6.pmod","n":51200,"ms":4.915,"work":31744039,"out":1024000}
-{"way":"batches","module":"sum12.pmod","n":51200,"ms":5.428,"work":56320063,"out":1024000}
-{"way":"batches","module":"ops0.pmod","n":51200,"ms":9.416,"work":9216017,"out":1024000}
-{"way":"batches","module":"ops.pmod","n":51200,"ms":14.712,"work":29696037,"out":1024020}
-{"way":"batches","module":"ops12.pmod","n":51200,"ms":10.303,"work":54272061,"out":1024077}
-{"way":"batches","module":"sum0.pmod","n":51200,"ms":4.528,"work":11264019,"out":1024000}
-{"way":"batches","module":"sum6.pmod","n":51200,"ms":4.914,"work":31744039,"out":1024000}
-{"way":"batches","module":"sum12.pmod","n":51200,"ms":5.421,"work":56320063,"out":1024000}
-{"way":"batches","module":"ops0.pmod","n":51200,"ms":9.395,"work":9216017,"out":1024000}
-{"way":"batches","module":"ops.pmod","n":51200,"ms":9.802,"work":29696037,"out":1024020}
-{"way":"batches","module":"ops12.pmod","n":51200,"ms":10.306,"work":54272061,"out":1024077}
-{"way":"batches","module":"sum0.pmod","n":51200,"ms":4.517,"work":11264019,"out":1024000}
-{"way":"batches","module":"sum6.pmod","n":51200,"ms":4.922,"work":31744039,"out":1024000}
-{"way":"batches","module":"sum12.pmod","n":51200,"ms":5.436,"work":56320063,"out":1024000}
+{"version":"b4","way":"batches","module":"ops.pmod","n":51200,"ms":9.807,"work":29696037,"out":1024020}
+{"version":"b4","way":"rounds","module":"ops.pmod","n":51200,"ms":156.270,"work":29696037,"out":1024020}
+{"version":"b4","way":"jit","module":"ops.pmod","n":51200,"ms":4.272,"work":29696037,"out":1024020}
+{"version":"b4","way":"batches","module":"nest.pmod","n":200,"ms":10.202,"work":120965433,"out":1616000000}
+{"version":"b4","way":"rounds","module":"nest.pmod","n":200,"ms":652.958,"work":120965433,"out":1616000000}
+{"version":"b4","way":"jit","module":"nest.pmod","n":200,"ms":23.030,"work":120965433,"out":1616000000}
+{"version":"b4","way":"batches","module":"adds.pmod","n":1000,"ms":5.184,"work":200010,"out":50000}
+{"version":"b4","way":"rounds","module":"adds.pmod","n":1000,"ms":5.173,"work":200010,"out":50000}
+{"version":"b4","way":"jit","module":"adds.pmod","n":1000,"ms":0.279,"work":200010,"out":50000}
+{"version":"b4","way":"batches","module":"probes.pmod","n":100000,"ms":84.769,"work":35700061,"out":49999500000}
+{"version":"b4","way":"rounds","module":"probes.pmod","n":100000,"ms":255.720,"work":35700061,"out":49999500000}
+{"version":"b4","way":"jit","module":"probes.pmod","n":100000,"ms":56.450,"work":35700061,"out":49999500000}
+{"version":"b4","way":"batches","module":"ops.pmod","n":51200,"ms":9.793,"work":29696037,"out":1024020}
+{"version":"b4","way":"rounds","module":"ops.pmod","n":51200,"ms":156.296,"work":29696037,"out":1024020}
+{"version":"b4","way":"jit","module":"ops.pmod","n":51200,"ms":4.272,"work":29696037,"out":1024020}
+{"version":"b4","way":"batches","module":"nest.pmod","n":200,"ms":10.194,"work":120965433,"out":1616000000}
+{"version":"b4","way":"rounds","module":"nest.pmod","n":200,"ms":653.140,"work":120965433,"out":1616000000}
+{"version":"b4","way":"jit","module":"nest.pmod","n":200,"ms":23.083,"work":120965433,"out":1616000000}
+{"version":"b4","way":"batches","module":"adds.pmod","n":1000,"ms":5.188,"work":200010,"out":50000}
+{"version":"b4","way":"rounds","module":"adds.pmod","n":1000,"ms":5.175,"work":200010,"out":50000}
+{"version":"b4","way":"jit","module":"adds.pmod","n":1000,"ms":0.279,"work":200010,"out":50000}
+{"version":"b4","way":"batches","module":"probes.pmod","n":100000,"ms":85.757,"work":35700061,"out":49999500000}
+{"version":"b4","way":"rounds","module":"probes.pmod","n":100000,"ms":257.913,"work":35700061,"out":49999500000}
+{"version":"b4","way":"jit","module":"probes.pmod","n":100000,"ms":56.136,"work":35700061,"out":49999500000}
+{"version":"b4","way":"batches","module":"ops.pmod","n":51200,"ms":9.818,"work":29696037,"out":1024020}
+{"version":"b4","way":"rounds","module":"ops.pmod","n":51200,"ms":156.300,"work":29696037,"out":1024020}
+{"version":"b4","way":"jit","module":"ops.pmod","n":51200,"ms":4.272,"work":29696037,"out":1024020}
+{"version":"b4","way":"batches","module":"nest.pmod","n":200,"ms":10.204,"work":120965433,"out":1616000000}
+{"version":"b4","way":"rounds","module":"nest.pmod","n":200,"ms":653.427,"work":120965433,"out":1616000000}
+{"version":"b4","way":"jit","module":"nest.pmod","n":200,"ms":23.119,"work":120965433,"out":1616000000}
+{"version":"b4","way":"batches","module":"adds.pmod","n":1000,"ms":5.182,"work":200010,"out":50000}
+{"version":"b4","way":"rounds","module":"adds.pmod","n":1000,"ms":5.163,"work":200010,"out":50000}
+{"version":"b4","way":"jit","module":"adds.pmod","n":1000,"ms":0.279,"work":200010,"out":50000}
+{"version":"b4","way":"batches","module":"probes.pmod","n":100000,"ms":85.142,"work":35700061,"out":49999500000}
+{"version":"b4","way":"rounds","module":"probes.pmod","n":100000,"ms":256.066,"work":35700061,"out":49999500000}
+{"version":"b4","way":"jit","module":"probes.pmod","n":100000,"ms":56.258,"work":35700061,"out":49999500000}
+{"version":"b4","way":"batches","module":"ops0.pmod","n":51200,"ms":9.414,"work":9216017,"out":1024000}
+{"version":"b4","way":"batches","module":"ops.pmod","n":51200,"ms":9.798,"work":29696037,"out":1024020}
+{"version":"b4","way":"batches","module":"ops12.pmod","n":51200,"ms":10.288,"work":54272061,"out":1024077}
+{"version":"b4","way":"batches","module":"sum0.pmod","n":51200,"ms":4.530,"work":11264019,"out":1024000}
+{"version":"b4","way":"batches","module":"sum6.pmod","n":51200,"ms":4.915,"work":31744039,"out":1024000}
+{"version":"b4","way":"batches","module":"sum12.pmod","n":51200,"ms":5.428,"work":56320063,"out":1024000}
+{"version":"b4","way":"batches","module":"ops0.pmod","n":51200,"ms":9.416,"work":9216017,"out":1024000}
+{"version":"b4","way":"batches","module":"ops.pmod","n":51200,"ms":14.712,"work":29696037,"out":1024020}
+{"version":"b4","way":"batches","module":"ops12.pmod","n":51200,"ms":10.303,"work":54272061,"out":1024077}
+{"version":"b4","way":"batches","module":"sum0.pmod","n":51200,"ms":4.528,"work":11264019,"out":1024000}
+{"version":"b4","way":"batches","module":"sum6.pmod","n":51200,"ms":4.914,"work":31744039,"out":1024000}
+{"version":"b4","way":"batches","module":"sum12.pmod","n":51200,"ms":5.421,"work":56320063,"out":1024000}
+{"version":"b4","way":"batches","module":"ops0.pmod","n":51200,"ms":9.395,"work":9216017,"out":1024000}
+{"version":"b4","way":"batches","module":"ops.pmod","n":51200,"ms":9.802,"work":29696037,"out":1024020}
+{"version":"b4","way":"batches","module":"ops12.pmod","n":51200,"ms":10.306,"work":54272061,"out":1024077}
+{"version":"b4","way":"batches","module":"sum0.pmod","n":51200,"ms":4.517,"work":11264019,"out":1024000}
+{"version":"b4","way":"batches","module":"sum6.pmod","n":51200,"ms":4.922,"work":31744039,"out":1024000}
+{"version":"b4","way":"batches","module":"sum12.pmod","n":51200,"ms":5.436,"work":56320063,"out":1024000}
+{"version":"b5","way":"batches","module":"ops.pmod","n":51200,"ms":3.998,"work":29696037,"out":1024020}
+{"version":"b5","way":"rounds","module":"ops.pmod","n":51200,"ms":156.280,"work":29696037,"out":1024020}
+{"version":"b5","way":"jit","module":"ops.pmod","n":51200,"ms":4.272,"work":29696037,"out":1024020}
+{"version":"b5","way":"batches","module":"nest.pmod","n":200,"ms":10.167,"work":120965433,"out":1616000000}
+{"version":"b5","way":"rounds","module":"nest.pmod","n":200,"ms":653.201,"work":120965433,"out":1616000000}
+{"version":"b5","way":"jit","module":"nest.pmod","n":200,"ms":23.120,"work":120965433,"out":1616000000}
+{"version":"b5","way":"batches","module":"adds.pmod","n":1000,"ms":0.651,"work":200010,"out":50000}
+{"version":"b5","way":"rounds","module":"adds.pmod","n":1000,"ms":5.175,"work":200010,"out":50000}
+{"version":"b5","way":"jit","module":"adds.pmod","n":1000,"ms":0.278,"work":200010,"out":50000}
+{"version":"b5","way":"batches","module":"probes.pmod","n":100000,"ms":73.043,"work":35700061,"out":49999500000}
+{"version":"b5","way":"rounds","module":"probes.pmod","n":100000,"ms":259.668,"work":35700061,"out":49999500000}
+{"version":"b5","way":"jit","module":"probes.pmod","n":100000,"ms":56.058,"work":35700061,"out":49999500000}
+{"version":"b5","way":"batches","module":"recur.pmod","n":1000,"ms":25.695,"work":14000022,"out":1263606197}
+{"version":"b5","way":"rounds","module":"recur.pmod","n":1000,"ms":72.974,"work":14000022,"out":1263606197}
+{"version":"b5","way":"jit","module":"recur.pmod","n":1000,"ms":18.449,"work":14000022,"out":1263606197}
+{"version":"b5","way":"batches","module":"ops0.pmod","n":51200,"ms":3.589,"work":9216017,"out":1024000}
+{"version":"b5","way":"batches","module":"ops12.pmod","n":51200,"ms":4.501,"work":54272061,"out":1024077}
+{"version":"b5","way":"batches","module":"sum0.pmod","n":51200,"ms":1.609,"work":11264019,"out":1024000}
+{"version":"b5","way":"batches","module":"sum6.pmod","n":51200,"ms":2.015,"work":31744039,"out":1024000}
+{"version":"b5","way":"batches","module":"sum12.pmod","n":51200,"ms":2.523,"work":56320063,"out":1024000}
+{"version":"b5","way":"batches","module":"ops.pmod","n":51200,"ms":3.993,"work":29696037,"out":1024020}
+{"version":"b5","way":"rounds","module":"ops.pmod","n":51200,"ms":156.299,"work":29696037,"out":1024020}
+{"version":"b5","way":"jit","module":"ops.pmod","n":51200,"ms":4.272,"work":29696037,"out":1024020}
+{"version":"b5","way":"batches","module":"nest.pmod","n":200,"ms":10.151,"work":120965433,"out":1616000000}
+{"version":"b5","way":"rounds","module":"nest.pmod","n":200,"ms":653.039,"work":120965433,"out":1616000000}
+{"version":"b5","way":"jit","module":"nest.pmod","n":200,"ms":23.111,"work":120965433,"out":1616000000}
+{"version":"b5","way":"batches","module":"adds.pmod","n":1000,"ms":0.652,"work":200010,"out":50000}
+{"version":"b5","way":"rounds","module":"adds.pmod","n":1000,"ms":5.166,"work":200010,"out":50000}
+{"version":"b5","way":"jit","module":"adds.pmod","n":1000,"ms":0.281,"work":200010,"out":50000}
+{"version":"b5","way":"batches","module":"probes.pmod","n":100000,"ms":73.034,"work":35700061,"out":49999500000}
+{"version":"b5","way":"rounds","module":"probes.pmod","n":100000,"ms":257.941,"work":35700061,"out":49999500000}
+{"version":"b5","way":"jit","module":"probes.pmod","n":100000,"ms":56.035,"work":35700061,"out":49999500000}
+{"version":"b5","way":"batches","module":"recur.pmod","n":1000,"ms":25.778,"work":14000022,"out":1263606197}
+{"version":"b5","way":"rounds","module":"recur.pmod","n":1000,"ms":72.974,"work":14000022,"out":1263606197}
+{"version":"b5","way":"jit","module":"recur.pmod","n":1000,"ms":18.456,"work":14000022,"out":1263606197}
+{"version":"b5","way":"batches","module":"ops0.pmod","n":51200,"ms":3.590,"work":9216017,"out":1024000}
+{"version":"b5","way":"batches","module":"ops12.pmod","n":51200,"ms":4.498,"work":54272061,"out":1024077}
+{"version":"b5","way":"batches","module":"sum0.pmod","n":51200,"ms":1.614,"work":11264019,"out":1024000}
+{"version":"b5","way":"batches","module":"sum6.pmod","n":51200,"ms":2.018,"work":31744039,"out":1024000}
+{"version":"b5","way":"batches","module":"sum12.pmod","n":51200,"ms":2.522,"work":56320063,"out":1024000}
+{"version":"b5","way":"batches","module":"ops.pmod","n":51200,"ms":3.996,"work":29696037,"out":1024020}
+{"version":"b5","way":"rounds","module":"ops.pmod","n":51200,"ms":156.331,"work":29696037,"out":1024020}
+{"version":"b5","way":"jit","module":"ops.pmod","n":51200,"ms":4.270,"work":29696037,"out":1024020}
+{"version":"b5","way":"batches","module":"nest.pmod","n":200,"ms":10.175,"work":120965433,"out":1616000000}
+{"version":"b5","way":"rounds","module":"nest.pmod","n":200,"ms":653.028,"work":120965433,"out":1616000000}
+{"version":"b5","way":"jit","module":"nest.pmod","n":200,"ms":23.120,"work":120965433,"out":1616000000}
+{"version":"b5","way":"batches","module":"adds.pmod","n":1000,"ms":0.651,"work":200010,"out":50000}
+{"version":"b5","way":"rounds","module":"adds.pmod","n":1000,"ms":5.174,"work":200010,"out":50000}
+{"version":"b5","way":"jit","module":"adds.pmod","n":1000,"ms":0.281,"work":200010,"out":50000}
+{"version":"b5","way":"batches","module":"probes.pmod","n":100000,"ms":74.205,"work":35700061,"out":49999500000}
+{"version":"b5","way":"rounds","module":"probes.pmod","n":100000,"ms":260.700,"work":35700061,"out":49999500000}
+{"version":"b5","way":"jit","module":"probes.pmod","n":100000,"ms":58.451,"work":35700061,"out":49999500000}
+{"version":"b5","way":"batches","module":"recur.pmod","n":1000,"ms":25.792,"work":14000022,"out":1263606197}
+{"version":"b5","way":"rounds","module":"recur.pmod","n":1000,"ms":72.978,"work":14000022,"out":1263606197}
+{"version":"b5","way":"jit","module":"recur.pmod","n":1000,"ms":18.453,"work":14000022,"out":1263606197}
+{"version":"b5","way":"batches","module":"ops0.pmod","n":51200,"ms":3.589,"work":9216017,"out":1024000}
+{"version":"b5","way":"batches","module":"ops12.pmod","n":51200,"ms":4.496,"work":54272061,"out":1024077}
+{"version":"b5","way":"batches","module":"sum0.pmod","n":51200,"ms":1.613,"work":11264019,"out":1024000}
+{"version":"b5","way":"batches","module":"sum6.pmod","n":51200,"ms":2.014,"work":31744039,"out":1024000}
+{"version":"b5","way":"batches","module":"sum12.pmod","n":51200,"ms":2.524,"work":56320063,"out":1024000}
+{"version":"b6","way":"batches","module":"recur.pmod","n":1000,"ms":21.877,"work":14000022,"out":1263606197}
+{"version":"b6","way":"rounds","module":"recur.pmod","n":1000,"ms":72.964,"work":14000022,"out":1263606197}
+{"version":"b6","way":"jit","module":"recur.pmod","n":1000,"ms":18.454,"work":14000022,"out":1263606197}
+{"version":"b6","way":"batches","module":"recur4.pmod","n":1000,"ms":36.030,"work":34000046,"out":1766015480}
+{"version":"b6","way":"rounds","module":"recur4.pmod","n":1000,"ms":181.378,"work":34000046,"out":1766015480}
+{"version":"b6","way":"jit","module":"recur4.pmod","n":1000,"ms":19.927,"work":34000046,"out":1766015480}
+{"version":"b6","way":"batches","module":"recur.pmod","n":1000,"ms":22.208,"work":14000022,"out":1263606197}
+{"version":"b6","way":"rounds","module":"recur.pmod","n":1000,"ms":72.970,"work":14000022,"out":1263606197}
+{"version":"b6","way":"jit","module":"recur.pmod","n":1000,"ms":18.451,"work":14000022,"out":1263606197}
+{"version":"b6","way":"batches","module":"recur4.pmod","n":1000,"ms":35.972,"work":34000046,"out":1766015480}
+{"version":"b6","way":"rounds","module":"recur4.pmod","n":1000,"ms":181.385,"work":34000046,"out":1766015480}
+{"version":"b6","way":"jit","module":"recur4.pmod","n":1000,"ms":19.903,"work":34000046,"out":1766015480}
+{"version":"b6","way":"batches","module":"recur.pmod","n":1000,"ms":21.832,"work":14000022,"out":1263606197}
+{"version":"b6","way":"rounds","module":"recur.pmod","n":1000,"ms":72.972,"work":14000022,"out":1263606197}
+{"version":"b6","way":"jit","module":"recur.pmod","n":1000,"ms":18.450,"work":14000022,"out":1263606197}
+{"version":"b6","way":"batches","module":"recur4.pmod","n":1000,"ms":36.017,"work":34000046,"out":1766015480}
+{"version":"b6","way":"rounds","module":"recur4.pmod","n":1000,"ms":181.371,"work":34000046,"out":1766015480}
+{"version":"b6","way":"jit","module":"recur4.pmod","n":1000,"ms":19.873,"work":34000046,"out":1766015480}