-
* src/bench/minimization_2n/Makefile.bench: Do not bench minimization_brzozowski past n=12 (already 8min on seattle). * src/bench/eps_removal/Makefile.bench: Bench up to 200.
7211dee8
* src/bench/minimization_2n/Makefile.bench: Do not bench minimization_brzozowski past n=12 (already 8min on seattle). * src/bench/eps_removal/Makefile.bench: Bench up to 200.