fact: Definition standard_max_seconds_of_size (sz : size) : nat := match sz with | Sanity => 10 | SuperFast => 10 | Fast => 10 | Medium => 60 | Slow => 60 | VerySlow => 60 end%nat.
imports: Coq.QArith.QArith Coq.Structures.Orders Coq.micromega.Lia Coq.Bool.Bool Coq.Sorting.Mergesort Coq.Lists.List Coq.ZArith.ZArith PerformanceExperiments.Sandbox