bench/graph-lookup/results/oden-20261108-replay/preparation.log
abcdf-marks: 5 sites, 6 reachable states, 17 transitions, 0.183 ms import + compile
abcdf-marks: reachable states 6 -> 4 after minimisation
abcdf: 42 sites, 43 reachable states, 1267 transitions, 1.712 ms import + compile
abcdf: reachable states 43 -> 5 after minimisation
broker: 101 sites, 544 reachable states, 13304 transitions, 9.422 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.400 ms minimisation
synthetic-64-broad: states 64 -> 64, 3 refinement rounds, 0.408 ms minimisation
synthetic-4096-hot: states 4096 -> 4096, 3 refinement rounds, 24.905 ms minimisation
synthetic-4096-broad: states 4096 -> 4096, 3 refinement rounds, 24.479 ms minimisation
synthetic-32768-hot: states 32768 -> 32768, 3 refinement rounds, 258.676 ms minimisation
synthetic-32768-broad: states 32768 -> 32768, 3 refinement rounds, 270.785 ms minimisation