fact: Definition args_of_size (k : kind) (s : size) : list N := match is_native k, k.(is_flat), s with | _, _, Sanity => List.firstn 4 sequence | false, true , SuperFast => args_of_max_n 500 | false, true , Fast => args_of_max_n 12500 | false, true , Medium => args_of_max_n 30000 | false, false, SuperFast => args_of_max_n 500 | false, false, Fast => args_of_max_n 3000 | false, false, Medium => args_of_max_n 10000 | false, _ , _ => args_of_max_n 30000 | true , true , SuperFast => args_of_max_n 50 | true , true , Fast => args_of_max_n 12500 | true , true , Medium => args_of_max_n 30000 | true , true , _ => args_of_max_n 30000 | true , false, SuperFast => args_of_max_n 200 | true , false, Fast => args_of_max_n 800 | true , false, Medium => args_of_max_n 4000 | true , false, _ => args_of_max_n 5000 end.
imports: Reify.Common Reify.BenchmarkUtil Reify.PHOAS Reify.BenchmarkExtraUtil PerformanceExperiments.Harness