Experiment
- BFS = breadth-first search, DFS = depth-first search, BSH = bit-state hashing,
- “-” = requires ɮh (on 450MHz Pentium III), MB, or suitable hash-table size was not found.
- System size: 2n+5 automata and 3n+3 clocks, if n=35: 75 automata and 108 clocks.
- Schedule generated for n=60 on Sun Ultra with 2x300MHz with 1024MB in 2257s .