bench/graph-lookup/results/oden-20261108-lanes/preparation.log
abcdf-marks: 5 sites, 6 reachable states, 17 transitions, 0.187 ms import + compile
abcdf-marks: reachable states 6 -> 4 after minimisation
abcdf: 42 sites, 43 reachable states, 1267 transitions, 1.771 ms import + compile
abcdf: reachable states 43 -> 5 after minimisation
broker: 101 sites, 544 reachable states, 13304 transitions, 9.513 ms import + compile
broker: legacy comparison unavailable: the graph needs 1048577 follower map entries, the maps take 1048576 (refused at load; the program stays in static mode)
broker: reachable states 544 -> 178 after minimisation
synthetic-64-hot: states 64 -> 64, 3 refinement rounds, 0.405 ms minimisation
synthetic-64-broad: states 64 -> 64, 3 refinement rounds, 0.417 ms minimisation
synthetic-4096-hot: states 4096 -> 4096, 3 refinement rounds, 26.047 ms minimisation
synthetic-4096-broad: states 4096 -> 4096, 3 refinement rounds, 24.798 ms minimisation
synthetic-32768-hot: states 32768 -> 32768, 3 refinement rounds, 284.134 ms minimisation
synthetic-32768-broad: states 32768 -> 32768, 3 refinement rounds, 302.907 ms minimisation