5.33 rtlil.cc 5.26 satSolver.c 1.64 autoname.cc 1.03 opt_clean.cc 0.89 ast.cc 0.59 simplify.cc