{"id":27214601,"url":"https://github.com/rocq-community/coq-performance-tests","last_synced_at":"2025-04-10T03:24:47.130Z","repository":{"id":39636806,"uuid":"223863068","full_name":"rocq-community/coq-performance-tests","owner":"rocq-community","description":"A library of Coq source files testing for performance regressions on Coq [maintainer=@JasonGross]","archived":false,"fork":false,"pushed_at":"2025-03-18T16:57:04.000Z","size":206413,"stargazers_count":7,"open_issues_count":3,"forks_count":7,"subscribers_count":4,"default_branch":"master","last_synced_at":"2025-03-24T15:06:59.002Z","etag":null,"topics":["coq","performance","testing"],"latest_commit_sha":null,"homepage":"","language":"Coq","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/rocq-community.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2019-11-25T04:45:51.000Z","updated_at":"2025-03-18T13:33:09.000Z","dependencies_parsed_at":"2023-02-17T03:00:53.731Z","dependency_job_id":"76378824-18a4-46b7-a19e-2b29f2c87d07","html_url":"https://github.com/rocq-community/coq-performance-tests","commit_stats":null,"previous_names":["rocq-community/coq-performance-tests"],"tags_count":2,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fcoq-performance-tests","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fcoq-performance-tests/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fcoq-performance-tests/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fcoq-performance-tests/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rocq-community","download_url":"https://codeload.github.com/rocq-community/coq-performance-tests/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248149684,"owners_count":21055803,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["coq","performance","testing"],"created_at":"2025-04-10T03:24:46.459Z","updated_at":"2025-04-10T03:24:47.120Z","avatar_url":"https://github.com/rocq-community.png","language":"Coq","funding_links":[],"categories":[],"sub_categories":[],"readme":"# coq-performance-tests\n[![CI (Coq)](https://github.com/coq-community/coq-performance-tests/actions/workflows/coq.yml/badge.svg?branch=master)](https://github.com/coq-community/coq-performance-tests/actions/workflows/coq.yml)\n\nA library of Coq source files testing for performance regressions on Coq\n\n## Contributing\n\nPlease add tests to this repository.\n\nEach test should go in its own .v file in [`src/`](./src/), and each .v file should be\ntargeted to take around 1 minute, so that all tests get roughly equal\nweight.\n\n## PerformanceExperiments\n\nThe [`PerformanceExperiments`](./PerformanceExperiments/) folder contains a number of tests based on a [test harness file](./PerformanceExperiments/Harness.v) which allow automatic generation of plots, as displayed below.\nThe plots are updated on each run of GitHub Actions.\nTo contribute to this folder, please add your test to [`Makefile.variables.kinds`](./PerformanceExperiments/Makefile.variables.kinds) and follow the format of the existing tests.\nYou can use `make update-README` to regenerate the tables for this README.\n\n### PerformanceExperiments plots\n\n- [`Reify/BaselineStats`](./PerformanceExperiments/Reify/BaselineStats.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-BaselineStats.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-BaselineStats.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`Reify/CanonicalStructures`](./PerformanceExperiments/Reify/CanonicalStructures.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-CanonicalStructures.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-CanonicalStructures.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`Reify/Ltac2`](./PerformanceExperiments/Reify/Ltac2.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-Ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-Ltac2.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`Reify/LtacVariants`](./PerformanceExperiments/Reify/LtacVariants.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-LtacVariants.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-LtacVariants.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`Reify/OCaml`](./PerformanceExperiments/Reify/OCaml.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-OCaml.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-OCaml.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`Reify/Parametricity`](./PerformanceExperiments/Reify/Parametricity.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-Parametricity.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-Parametricity.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`Reify/QuoteFlat`](./PerformanceExperiments/Reify/QuoteFlat.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-QuoteFlat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-QuoteFlat.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`Reify/TypeClasses`](./PerformanceExperiments/Reify/TypeClasses.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-TypeClasses.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/Reify-TypeClasses.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`destruct_large_context`](./PerformanceExperiments/destruct_large_context.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/destruct-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/destruct-large-context.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`n_polymorphic_universes`](./PerformanceExperiments/n_polymorphic_universes.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/n-polymorphic-universes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/n-polymorphic-universes.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`pattern`](./PerformanceExperiments/pattern.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/pattern.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/pattern.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/pattern.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/pattern.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/pattern.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/pattern.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/pattern.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/pattern.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/pattern.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/pattern.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/pattern.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/pattern.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/pattern.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/pattern.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`repeat_setoid_rewrite_under_binders`](./PerformanceExperiments/repeat_setoid_rewrite_under_binders.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/repeat-setoid-rewrite-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/repeat-setoid-rewrite-under-binders.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`repeat_setoid_rewrite_under_binders_noop`](./PerformanceExperiments/repeat_setoid_rewrite_under_binders_noop.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/repeat-setoid-rewrite-under-binders-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/repeat-setoid-rewrite-under-binders-noop.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`rewrite_lift_lets_map`](./PerformanceExperiments/rewrite_lift_lets_map.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-lift-lets-map.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-lift-lets-map.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`rewrite_plus_0_tree`](./PerformanceExperiments/rewrite_plus_0_tree.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-plus-0-tree.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-plus-0-tree.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`rewrite_repeated_app_autorewrite`](./PerformanceExperiments/rewrite_repeated_app_autorewrite.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-autorewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-autorewrite.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`rewrite_repeated_app_autorewrite_noop`](./PerformanceExperiments/rewrite_repeated_app_autorewrite_noop.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-autorewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-autorewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`rewrite_repeated_app_fast_rewrite`](./PerformanceExperiments/rewrite_repeated_app_fast_rewrite.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-fast-rewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-fast-rewrite.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`rewrite_repeated_app_fast_rewrite_ltac2`](./PerformanceExperiments/rewrite_repeated_app_fast_rewrite_ltac2.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-fast-rewrite-ltac2.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-fast-rewrite-ltac2.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`rewrite_repeated_app_fast_rewrite_no_abstract`](./PerformanceExperiments/rewrite_repeated_app_fast_rewrite_no_abstract.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-fast-rewrite-no-abstract.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-fast-rewrite-no-abstract.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`rewrite_repeated_app_rewrite_strat`](./PerformanceExperiments/rewrite_repeated_app_rewrite_strat.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-rewrite-strat.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-rewrite-strat.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`rewrite_repeated_app_ssrrewrite`](./PerformanceExperiments/rewrite_repeated_app_ssrrewrite.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-ssrrewrite.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-ssrrewrite.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`rewrite_repeated_app_ssrrewrite_noop`](./PerformanceExperiments/rewrite_repeated_app_ssrrewrite_noop.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-ssrrewrite-noop.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-repeated-app-ssrrewrite-noop.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`rewrite_strat_under_binders`](./PerformanceExperiments/rewrite_strat_under_binders.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-strat-under-binders.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-strat-under-binders.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`rewrite_under_lets_plus_0`](./PerformanceExperiments/rewrite_under_lets_plus_0.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-under-lets-plus-0.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/rewrite-under-lets-plus-0.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`sieve_of_eratosthenes`](./PerformanceExperiments/sieve_of_eratosthenes.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/sieve-of-eratosthenes.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/sieve-of-eratosthenes.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`typeclass_reification_let_in_HOAS`](./PerformanceExperiments/typeclass_reification_let_in_HOAS.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/typeclass-reification-let-in-HOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/typeclass-reification-let-in-HOAS.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`typeclass_reification_let_in_PHOAS`](./PerformanceExperiments/typeclass_reification_let_in_PHOAS.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/typeclass-reification-let-in-PHOAS.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/typeclass-reification-let-in-PHOAS.svg\" height=100px /\u003e\u003c/a\u003e\n\n- [`zify_large_context`](./PerformanceExperiments/zify_large_context.v)\n\n  dev | 8.19 | 8.18 | 8.17 | 8.16 | 8.15 | 8.14 | 8.13 | 8.12 | 8.11 | 8.10 | 8.9 | 8.8\n  --|--|--|--|--|--|--|--|--|--|--|--|--\n  \u003ca href=\"https://coq-community.github.io/coq-performance-tests/dev-native/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/dev-native/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.19-native/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.19-native/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.18-native/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.18-native/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.17-native/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.17-native/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.16-native/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.16-native/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.15/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.15/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.14/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.14/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.13/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.13/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.12/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.12/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.11/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.11/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.10/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.10/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.9/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.9/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e | \u003ca href=\"https://coq-community.github.io/coq-performance-tests/8.8/zify-large-context.svg\"\u003e\u003cimg src=\"https://coq-community.github.io/coq-performance-tests/8.8/zify-large-context.svg\" height=100px /\u003e\u003c/a\u003e\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frocq-community%2Fcoq-performance-tests","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Frocq-community%2Fcoq-performance-tests","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frocq-community%2Fcoq-performance-tests/lists"}