fact: Definition args_of_size (s : size) : list nat := match s with | Sanity => seq 1 3 | SuperFast => List.map (fun x => x * 50) (seq 1 8) | Fast => seq 1 100 ++ List.map (fun x => x * 10) (seq 1 40) | Medium => [] | Slow => [] | VerySlow => [] end.
imports: PerformanceExperiments.Harness PerformanceExperiments.HarnessTimeAbstract PerformanceExperiments.rewrite_repeated_app_common