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