fact: Definition args_of_size (s : size) : list nat := match s with | Sanity => seq 0 3 | SuperFast => seq 0 5 | Fast => seq 0 15 | Medium => [] | Slow => [] | VerySlow => [] end.
imports: Coq.ZArith.ZArith PerformanceExperiments.Harness