fact: Definition args_of_size (k : kind) (s : size) : list N := match k.(representation), k.(is_flat), s with | _ , _ , Sanity => List.firstn 4 sequence | _, true , SuperFast => args_of_max_n 300 | _, true , Fast => args_of_max_n 6000 | _, true , Medium => args_of_max_n 30000 | _, false, SuperFast => args_of_max_n 30 | _, false, Fast => args_of_max_n 60 | _, false, Medium => args_of_max_n 200 | _, _ , _ => args_of_max_n 30000 end.
imports: Reify.ReifyCommon Coq.Lists.List Coq.NArith.NArith PerformanceExperiments.Harness Reify.BenchmarkExtraUtil Reify.CanonicalStructuresReifyCommon