correct input benchmark programs