« Up

performance-tests-lite dev 45 m 39 s

(2021-10-27 02:59:51 UTC)

Context

# Packages matching: installed
# Name                # Installed # Synopsis
base-bigarray         base
base-threads          base
base-unix             base
conf-findutils        1           Virtual package relying on findutils
conf-gmp              3           Virtual package relying on a GMP lib system installation
coq                   dev         Formal proof management system
dune                  2.9.1       Fast, portable, and opinionated build system
ocaml                 4.12.0      The OCaml compiler (virtual package)
ocaml-base-compiler   4.12.0      Official release 4.12.0
ocaml-config          2           OCaml Switch Configuration
ocaml-options-vanilla 1           Ensure that OCaml is compiled with no special options enabled
ocamlfind             1.9.1       A library manager for OCaml
zarith                1.12        Implements arithmetic and logical operations over arbitrary-precision integers
# opam file:
opam-version: "2.0"
authors: [
  "Jason Gross <jgross@mit.edu>"
]
maintainer: "Jason Gross <jgross@mit.edu>"
homepage: "https://github.com/coq-community/coq-performance-tests"
bug-reports: "https://github.com/coq-community/coq-performance-tests/issues"
license: "MIT"
build: [
  [make "-j%{jobs}%" "--output-sync" "coq" "perf-lite"]
]
install: [
  [make "install" "install-perf-lite"]
]
depends: [
  "coq" {>= "8.8~"}
  "conf-time"
]
dev-repo: "git+https://github.com/coq-community/coq-performance-tests.git"
synopsis: "A library of Coq source files testing for performance regressions on Coq (lite version)"
url {
  src: "git+https://github.com/coq-community/coq-performance-tests.git#master"
}

Lint

Command
true
Return code
0

Dry install

Dry install with the current Coq version:

Command
opam install -y --show-action coq-performance-tests-lite.dev coq.dev
Return code
0

Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:

Command
true
Return code
0

Install dependencies

Command
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-performance-tests-lite.dev coq.dev
Return code
0
Duration
10 s

Install

Command
opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y coq-performance-tests-lite.dev coq.dev
Return code
0
Duration
45 m 39 s

Installation size

Total: 21 M

  • 978 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/fiat_crypto_via_setoid_rewrite_standalone.vo
  • 538 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_0_SuperFast.log
  • 516 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_2_SuperFast.log
  • 448 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_1_SuperFast.log
  • 447 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_1_SuperFast.log
  • 429 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_3_SuperFast.log
  • 424 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_4_SuperFast.log
  • 414 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_2_SuperFast.log
  • 396 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map.vo
  • 392 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_5_SuperFast.log
  • 372 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_0_SuperFast.log
  • 360 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree.vo
  • 351 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_1_SuperFast.log
  • 347 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes.vo
  • 313 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_0_SuperFast.log
  • 308 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_6_SuperFast.log
  • 305 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_5_SuperFast.log
  • 299 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_1_SuperFast.log
  • 299 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_4_SuperFast.log
  • 296 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_0_SuperFast.log
  • 287 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_3_SuperFast.log
  • 283 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_2_SuperFast.log
  • 280 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_0_SuperFast.log
  • 277 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_1_SuperFast.log
  • 244 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/fiat_crypto_via_setoid_rewrite_standalone.glob
  • 234 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Sample.glob
  • 231 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_0_SuperFast.log
  • 219 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_3_SuperFast.log
  • 212 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_1_SuperFast.log
  • 199 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Sample.vo
  • 161 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map.glob
  • 159 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0.vo
  • 134 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Harness.vo
  • 132 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree.glob
  • 127 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_4_SuperFast.log
  • 99 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants.vo
  • 86 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats.glob
  • 79 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes.glob
  • 76 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures.vo
  • 72 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Harness.glob
  • 71 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_13_SuperFast.log
  • 70 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats.vo
  • 70 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_12_SuperFast.log
  • 69 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_11_SuperFast.log
  • 66 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses.vo
  • 66 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures.glob
  • 66 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_10_SuperFast.log
  • 65 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_9_SuperFast.log
  • 63 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_8_SuperFast.log
  • 61 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/reify.cmxs
  • 60 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants.glob
  • 59 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2.vo
  • 58 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BenchmarkExtraUtil.vo
  • 55 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/fiat_crypto_via_setoid_rewrite_standalone.v
  • 54 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_7_SuperFast.log
  • 53 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0.glob
  • 53 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_4_SuperFast.log
  • 51 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_16_SuperFast.log
  • 51 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_8_SuperFast.log
  • 51 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_11_SuperFast.log
  • 50 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_9_SuperFast.log
  • 49 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_2_SuperFast.log
  • 49 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_7_SuperFast.log
  • 48 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_1_SuperFast.log
  • 48 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_20_SuperFast.log
  • 48 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_3_SuperFast.log
  • 48 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_6_SuperFast.log
  • 48 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_23_SuperFast.log
  • 48 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_0_SuperFast.log
  • 48 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_14_SuperFast.log
  • 47 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_21_SuperFast.log
  • 47 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_19_SuperFast.log
  • 47 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_15_SuperFast.log
  • 47 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_10_SuperFast.log
  • 47 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_13_SuperFast.log
  • 46 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_18_SuperFast.log
  • 46 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_12_SuperFast.log
  • 46 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/pattern/_0_SuperFast.log
  • 45 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_22_SuperFast.log
  • 45 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity.vo
  • 43 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Sample.v
  • 41 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite-lift-lets-map.txt
  • 40 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_5_SuperFast.log
  • 40 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants.v
  • 39 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_3_SuperFast.log
  • 38 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification.vo
  • 37 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_PHOAS.vo
  • 37 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/PrimitiveProd.glob
  • 34 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/PrimitiveProd.vo
  • 33 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_6_SuperFast.log
  • 33 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml.vo
  • 33 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification300.vo
  • 32 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification290.vo
  • 31 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification280.vo
  • 30 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_HOAS.vo
  • 30 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification270.vo
  • 29 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_common.vo
  • 29 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures.v
  • 29 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification260.vo
  • 28 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sandbox.cmxs
  • 28 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2.glob
  • 28 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_no_abstract.vo
  • 28 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification250.vo
  • 27 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_ltac2.vo
  • 27 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_3_SuperFast.log
  • 27 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/pattern.vo
  • 27 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite_noop.vo
  • 27 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification240.vo
  • 26 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_common_ltac2.vo
  • 26 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification230.vo
  • 26 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses.glob
  • 25 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BenchmarkUtil.vo
  • 25 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification220.vo
  • 24 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/n_polymorphic_universes.vo
  • 24 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_2_SuperFast.log
  • 24 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_3_SuperFast.log
  • 24 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders.vo
  • 24 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite.vo
  • 24 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat.vo
  • 24 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_2_SuperFast.log
  • 24 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification210.vo
  • 24 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_3_SuperFast.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_5_SuperFast.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_2_SuperFast.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_4_SuperFast.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_0_SuperFast.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_1_SuperFast.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_5_Sanity.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_3_Sanity.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_0_Sanity.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_4_Sanity.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_2_Sanity.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_1_Sanity.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite.vo
  • 23 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification200.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite_noop.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/n_polymorphic_universes.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders_noop.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_12_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_13_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_10_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_11_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_3_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_5_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_6_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_2_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_7_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_4_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_9_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_8_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_0_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_1_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_11_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_13_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_12_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_10_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_5_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_3_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_8_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_0_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_7_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_6_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_4_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_2_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_9_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_1_Sanity.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses.v
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_ltac2/_0_SuperFast.vo
  • 22 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_ltac2/_0_Sanity.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification190.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_17_SuperFast.log
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_3_SuperFast.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_2_SuperFast.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_0_SuperFast.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_1_SuperFast.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_3_Sanity.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_0_Sanity.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_2_Sanity.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_1_Sanity.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_3_SuperFast.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_5_SuperFast.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_2_SuperFast.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_4_SuperFast.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_0_SuperFast.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_1_SuperFast.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_5_Sanity.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_3_Sanity.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_0_Sanity.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_4_Sanity.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_2_Sanity.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_1_Sanity.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_0_SuperFast.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_1_SuperFast.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_0_Sanity.vo
  • 21 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_1_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_19_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_16_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_23_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_18_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_15_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_22_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_20_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_12_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_14_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_13_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_17_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_10_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_21_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_11_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_3_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_5_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_6_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_2_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_7_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_4_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_9_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_8_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_1_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_3_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_2_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_1_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_11_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_20_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_14_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_21_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_18_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_22_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_15_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_16_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_19_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_23_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_13_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_12_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_17_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_10_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_5_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_3_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_8_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_7_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_6_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_4_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_2_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_9_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_1_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_3_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_2_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_1_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_3_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_2_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_4_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_1_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_3_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_4_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_2_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_1_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification180.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_2_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_1_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_2_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_1_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_3_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_5_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_6_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_2_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_7_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_4_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_8_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_1_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_5_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_3_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_8_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_7_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_6_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_4_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_2_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_1_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_3_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_5_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_2_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_4_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_1_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_5_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_3_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_4_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_2_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_1_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_2_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_1_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite_noop/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite_noop/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_1_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_2_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_1_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite_noop/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite_noop/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_1_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_1_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_1_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_1_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_1_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_no_abstract/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_no_abstract/_0_Sanity.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders_noop/_0_SuperFast.vo
  • 20 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders_noop/_0_Sanity.vo
  • 19 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification170.vo
  • 19 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_PHOAS/_0_SuperFast.vo
  • 19 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_HOAS/_0_SuperFast.vo
  • 19 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_PHOAS/_0_Sanity.vo
  • 19 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_HOAS/_0_Sanity.vo
  • 19 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/n_polymorphic_universes/_0_SuperFast.vo
  • 19 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/n_polymorphic_universes/_0_Sanity.vo
  • 19 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/pattern/_0_SuperFast.vo
  • 19 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/pattern/_0_Sanity.vo
  • 18 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification160.vo
  • 18 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2Reify.vo
  • 18 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/ListRectInstances.vo
  • 18 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity.glob
  • 18 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree.v
  • 18 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification_common.vo
  • 17 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification150.vo
  • 17 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_PHOAS.glob
  • 16 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification140.vo
  • 16 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2.v
  • 15 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2Reify.v
  • 15 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_PHOAS/_0_SuperFast.log
  • 15 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_HOAS/_0_SuperFast.log
  • 15 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification130.vo
  • 15 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats.v
  • 14 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map.v
  • 14 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification120.vo
  • 14 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Harness.v
  • 13 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification110.vo
  • 13 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_ltac2/_0_SuperFast.log
  • 12 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification100.vo
  • 12 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_common.glob
  • 12 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/HarnessTimeAbstract.vo
  • 12 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity.v
  • 12 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/ReifyCommon.vo
  • 12 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTCExplicitCtx.vo
  • 12 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification_common.glob
  • 11 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_binders_common.glob
  • 11 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_binders_common.vo
  • 11 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification90.vo
  • 11 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_HOAS.glob
  • 11 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTacInTermExplicitCtx.vo
  • 10 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacPrimUncurry.vo
  • 10 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification80.vo
  • 10 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_4_SuperFast.log
  • 10 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTCPrimPair.vo
  • 10 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/LetIn.vo
  • 9 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTCGallinaCtx.vo
  • 9 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification70.vo
  • 9 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/pattern.txt
  • 9 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTacInTermPrimPair.vo
  • 8 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTacInTermGallinaCtx.vo
  • 8 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification60.vo
  • 8 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes.v
  • 8 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/PHOAS.vo
  • 8 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BenchmarkUtil.glob
  • 8 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructuresReifyCommon.vo
  • 7 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_common_ltac2.v
  • 7 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification50.vo
  • 7 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_3_SuperFast.log
  • 7 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BenchmarkExtraUtil.glob
  • 7 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0.v
  • 7 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/reify.cmi
  • 7 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Common.vo
  • 7 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/ReifyCommon.v
  • 7 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/PrimitiveProd.v
  • 7 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml.v
  • 6 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/ListRectInstances.glob
  • 6 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification40.vo
  • 6 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/LetIn.glob
  • 6 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacPrimUncurry.glob
  • 6 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/reify.cmx
  • 6 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_4_SuperFast.log
  • 6 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/ParametricityCommon.vo
  • 6 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/reify.cmxa
  • 6 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sandbox.cmx
  • 6 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sandbox.cmi
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2/Util/Constr.vo
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/LockedLetIn.vo
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sandbox.cmxa
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/PHOASUtil.vo
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification30.vo
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTacInTermExplicitCtx.v
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_2_SuperFast.log
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTacInTermPrimPair.v
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite_noop/_0_SuperFast.log
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_5_SuperFast.log
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTacInTermGallinaCtx.v
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite-plus-0-tree.txt
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite-repeated-app-fast-rewrite-ltac2.txt
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite_noop/_0_SuperFast.log
  • 5 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_ltac2/_0_Sanity.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2Compat/Constr.vo
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_1_Sanity.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_0_Sanity.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/PHOASUtil.glob
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification20.vo
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/pattern.vo
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTCPrimPair.glob
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTCPrimPair.v
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_3_Sanity.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/pattern.glob
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_2_Sanity.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_0_Sanity.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_1_Sanity.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/HarnessTimeAbstract.v
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_2_Sanity.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_3_Sanity.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTCExplicitCtx.glob
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacPrimUncurry.v
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Common.glob
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2Compat/Ltac2.vo
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_6_Sanity.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_0_Sanity.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/PHOAS.glob
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite/_0_SuperFast.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/HarnessTimeAbstract.glob
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_5_Sanity.log
  • 4 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification10.vo
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTCGallinaCtx.v
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTCExplicitCtx.v
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_4_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTCGallinaCtx.glob
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass-reification-let-in-PHOAS.txt
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTacInTermPrimPair.glob
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_1_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_13_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_12_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass-reification-let-in-HOAS.txt
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_3_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_3_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_11_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_1_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_2_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_4_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_0_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_4_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_1_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_10_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/LockedNatMul.vo
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_2_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_9_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_2_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_7_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite_noop.glob
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_8_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Lock.vo
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_0_SuperFast.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_5_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/n_polymorphic_universes.v
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_1_SuperFast.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_0_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_0_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTacInTermExplicitCtx.glob
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite/_0_SuperFast.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_PHOAS.v
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml.glob
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_1_SuperFast.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_3_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2/Util/Ident.vo
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_0_SuperFast.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_1_Sanity.log
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacTacInTermGallinaCtx.glob
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_common.v
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BenchmarkExtraUtil.v
  • 3 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_ltac2.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_no_abstract.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_binders_common.v
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Sandbox.vo
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve-of-eratosthenes.txt
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2Reify.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite-repeated-app-autorewrite.txt
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCamlReify.vo
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_no_abstract/_0_SuperFast.log
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BenchmarkUtil.v
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructuresReifyCommon.v
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite-strat-under-binders.txt
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite-repeated-app-rewrite-strat.txt
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification_common.v
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/pattern.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_HOAS.v
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/n_polymorphic_universes.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2Compat/Init.vo
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders_noop.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/ParametricityCommon.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite_noop/_0_Sanity.log
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite-repeated-app-autorewrite-noop.txt
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2Compat/Array.vo
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_1_SuperFast.log
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_0_SuperFast.log
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_common_ltac2.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_1_SuperFast.log
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite_noop.glob
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_1_Sanity.log
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/ParametricityCommon.v
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders.v
  • 2 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/LetIn.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat-setoid-rewrite-under-binders.txt
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite_noop.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_1_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/ListRectInstances.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/LockedLetIn.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite-repeated-app-fast-rewrite.txt
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_2_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructuresReifyCommon.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_5_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_4_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite-repeated-app-ssrrewrite-noop.txt
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_3_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_1_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders_noop/_0_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/n_polymorphic_universes.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/ReifyCommon.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2/Util/Constr.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Common.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_1_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_1_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_1_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_0_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite_noop/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite-repeated-app-ssrrewrite.txt
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Lock.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/pattern.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/pattern.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/n_polymorphic_universes.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_1_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite_noop.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_1_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite-under-lets-plus-0.txt
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_8_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_1_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_4_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_0_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_2_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_2_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_7_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders_noop/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_3_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_8_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_7_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite-repeated-app-fast-rewrite-no-abstract.txt
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_5_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2Compat/Constr.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_6_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_5_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_ltac2.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_1_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/PHOASUtil.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders_noop.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_no_abstract/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_0_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat-setoid-rewrite-under-binders-noop.txt
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_5_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_4_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_3_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/n_polymorphic_universes/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/PHOAS.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_2_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2/Util/Constr.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_no_abstract.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/LockedNatMul.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_1_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_0_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_1_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/n_polymorphic_universes/_0_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/n-polymorphic-universes.txt
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_0_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_2_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_2_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_3_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_2_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_PHOAS/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/LockedLetIn.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_HOAS/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_no_abstract/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_no_abstract/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders_noop/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_ltac2/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders_noop/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite_noop/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_2_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite_noop/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_ltac2/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_2_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_PHOAS/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite_noop/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2/Util/Ident.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_HOAS/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite_noop/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_2_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_PHOAS/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_5_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_HOAS/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_2_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_3_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_2_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/n_polymorphic_universes/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_4_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_2_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_3_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_2_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_8_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_4_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_2_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_5_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_3_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_7_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_6_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_4_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_2_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_5_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_3_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_17_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/n_polymorphic_universes/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_11_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_14_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_18_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_19_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_15_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_23_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_16_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_22_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_17_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_13_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_21_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_20_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_10_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_12_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_4_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_2_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_5_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_3_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_8_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_4_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_2_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_5_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_3_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_7_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_6_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_9_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_2_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_3_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_11_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_13_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_10_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_12_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_2_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_4_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_8_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_6_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_7_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_3_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_5_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_8_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_4_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_2_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_5_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_3_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_7_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_6_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_9_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_2_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_4_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_3_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_5_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_4_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_2_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_3_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_12_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_23_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_19_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_16_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_22_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_18_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_17_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_15_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_14_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_21_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_13_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_10_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_20_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_11_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_2_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_4_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_3_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_5_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_2_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_4_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_8_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_6_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_9_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_7_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_3_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_5_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_2_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_3_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_12_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_13_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_10_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_11_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_2_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_4_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_8_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_6_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_9_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_7_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_3_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_5_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_2_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_4_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_3_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_16_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_2_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_1_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_4_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_2_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_5_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_3_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_3_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_1_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_11_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_8_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_2_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_4_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_3_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_5_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_1_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_7_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/pattern/_0_SuperFast.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_10_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_9_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_6_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/pattern/_0_Sanity.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_14_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_13_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_23_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_12_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_20_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_15_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_19_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_21_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_22_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_18_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2Compat/Ltac2.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_2_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_5_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2/Util/Ident.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2Compat/Constr.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_4_SuperFast.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification260.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification300.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification170.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification120.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification160.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification290.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification140.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification220.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification130.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification230.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification110.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification240.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification100.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification280.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification150.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification200.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification250.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification180.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification190.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification270.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification210.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/pattern/_0_Sanity.log
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification80.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification50.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification10.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification60.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification70.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification40.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification20.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification90.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification30.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Lock.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Sandbox.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_no_abstract/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/LockedNatMul.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_no_abstract/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders_noop/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_ltac2/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders_noop/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite_noop/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite_noop/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite_ltac2/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_2_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_PHOAS/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite_noop/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_HOAS/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite_noop/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_2_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/repeat_setoid_rewrite_under_binders/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_PHOAS/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_rewrite_strat/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/typeclass_reification_let_in_HOAS/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_fast_rewrite/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_autorewrite/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_repeated_app_ssrrewrite/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_2_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_3_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_2_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_strat_under_binders/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/n_polymorphic_universes/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_2_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_3_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/CanonicalStructures/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_2_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_under_lets_plus_0/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_2_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_5_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_3_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_7_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_4_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_8_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_6_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_2_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_5_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_3_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_4_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/n_polymorphic_universes/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_19_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_20_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_13_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_10_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_23_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_12_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_21_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_15_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_22_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_18_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_11_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_16_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_17_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_14_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_2_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_5_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_3_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_4_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_2_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_5_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_3_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_7_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_9_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_4_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_8_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_6_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_13_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_10_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_12_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_11_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_2_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_3_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_6_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_4_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_5_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_2_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_3_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_8_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_7_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_lift_lets_map/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_2_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_5_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_3_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_7_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_9_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_4_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_8_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_6_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_4_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_5_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_2_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_3_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/sieve_of_eratosthenes/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_2_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_3_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_4_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_18_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_14_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_19_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_11_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_23_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_21_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_15_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_13_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_22_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_10_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_12_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_16_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_17_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_20_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_4_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_5_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_2_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_3_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/rewrite_plus_0_tree/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_6_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_4_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_5_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_2_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_3_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_9_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_8_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_7_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/BaselineStats/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_11_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_13_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_10_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_12_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_2_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_3_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Parametricity/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_6_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_4_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_5_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_2_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_3_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_9_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_8_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_7_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/LtacVariants/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_4_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_2_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_3_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/TypeClasses/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_2_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_5_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_3_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_4_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_1_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_4_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_5_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_2_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_3_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/Ltac2/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_1_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCaml/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2Compat/Init.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/pattern/_0_SuperFast.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/pattern/_0_Sanity.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification140.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification300.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification270.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification250.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification130.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification290.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification190.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification220.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification100.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification280.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification230.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification160.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification260.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification150.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification200.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification170.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification110.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification210.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification180.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification120.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification240.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification70.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification40.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification20.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification90.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification30.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification60.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification10.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification50.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/typeclass_reification/typeclass_reification80.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2Compat/Array.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCamlReify.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Sandbox.glob
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2Compat/Ltac2.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Reify/OCamlReify.v
  • 1 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2Compat/Init.v
  • 0 K ../ocaml-base-compiler.4.12.0/lib/coq/user-contrib/CoqPerformanceTests/PerformanceExperiments/Ltac2Compat/Array.v

Uninstall

Command
opam remove -y coq-performance-tests-lite.dev
Return code
0
Missing removes
none
Wrong removes
none