Isabelle build status for macOS 13 Ventura (ARM)
- status date:
- 25-May-2026 06:59:34 +0200
- build host:
- mini3
- HOL-Analysis (0:21:05 elapsed time, 0:21:06 cpu time, factor 1.00)
- HOL-Quickcheck_Benchmark (0:17:52 elapsed time, 0:17:21 cpu time, factor 0.97)
- HOL-Data_Structures (0:10:30 elapsed time, 0:10:30 cpu time, factor 1.00)
- HOL-ex (0:10:02 elapsed time, 0:09:52 cpu time, factor 0.98)
- HOL-Datatype_Benchmark (0:09:40 elapsed time, 0:09:37 cpu time, factor 0.99)
- HOL-Codegenerator_Test (0:08:32 elapsed time, 0:06:16 cpu time, factor 0.73)
- HOL-Nominal-Examples (0:08:23 elapsed time, 0:08:20 cpu time, factor 0.99)
- HOL-Proofs (0:07:43 elapsed time, 0:07:39 cpu time, factor 0.99)
- HOL-Decision_Procs (0:07:01 elapsed time, 0:07:02 cpu time, factor 1.00)
- HOL-Library (0:06:33 elapsed time, 0:06:30 cpu time, factor 0.99)
- HOL (0:06:10 elapsed time, 0:06:02 cpu time, factor 0.98)
- HOL-Algebra (0:04:38 elapsed time, 0:04:41 cpu time, factor 1.01)
- HOL-Corec_Examples (0:04:24 elapsed time, 0:04:24 cpu time, factor 1.00)
- HOL-Imperative_HOL (0:02:57 elapsed time, 0:02:36 cpu time, factor 0.88)
- HOL-Probability (0:02:45 elapsed time, 0:02:45 cpu time, factor 1.00)
- HOL-Datatype_Examples (0:02:35 elapsed time, 0:02:36 cpu time, factor 1.01)
- HOL-Real_Asymp (0:02:33 elapsed time, 0:02:34 cpu time, factor 1.01)
- HOL-Predicate_Compile_Examples (0:02:32 elapsed time, 0:01:58 cpu time, factor 0.78)
- HOL-Auth (0:02:27 elapsed time, 0:02:28 cpu time, factor 1.01)
- HOL-Homology (0:02:25 elapsed time, 0:02:27 cpu time, factor 1.01)
- HOL-Quickcheck_Examples (0:02:22 elapsed time, 0:01:14 cpu time, factor 0.52)
- HOL-MicroJava (0:02:15 elapsed time, 0:02:15 cpu time, factor 1.00)
- Codegen (0:02:10 elapsed time, 0:02:10 cpu time, factor 1.00)
- HOL-Hoare_Parallel (0:02:07 elapsed time, 0:02:08 cpu time, factor 1.01)
- HOL-Proofs-Extraction (0:01:59 elapsed time, 0:01:59 cpu time, factor 1.00)
- HOL-Computational_Algebra (0:01:55 elapsed time, 0:01:56 cpu time, factor 1.01)
- HOL-IMP (0:01:53 elapsed time, 0:01:53 cpu time, factor 1.00)
- HOL-Complex_Analysis (0:01:46 elapsed time, 0:01:48 cpu time, factor 1.02)
- HOL-Bali (0:01:42 elapsed time, 0:01:43 cpu time, factor 1.01)
- HOL-Number_Theory (0:01:41 elapsed time, 0:01:42 cpu time, factor 1.01)
- HOL-Examples (0:01:35 elapsed time, 0:01:35 cpu time, factor 1.00)
- HOL-SMT_Examples (0:01:25 elapsed time, 0:01:15 cpu time, factor 0.88)
- HOL-Record_Benchmark (0:01:23 elapsed time, 0:01:22 cpu time, factor 0.99)
- HOL-Nitpick_Examples (0:01:20 elapsed time, 0:00:53 cpu time, factor 0.66)
- HOL-Proofs-Lambda (0:01:07 elapsed time, 0:01:07 cpu time, factor 1.00)
- HOL-UNITY (0:00:53 elapsed time, 0:00:54 cpu time, factor 1.02)
- HOL-SET_Protocol (0:00:51 elapsed time, 0:00:51 cpu time, factor 1.00)
- Datatypes (0:00:43 elapsed time, 0:00:43 cpu time, factor 1.00)
- HOL-Metis_Examples (0:00:43 elapsed time, 0:00:31 cpu time, factor 0.72)
- Corec (0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00)
- HOL-Matrix_LP (0:00:29 elapsed time, 0:00:29 cpu time, factor 1.00)
- HOL-Analysis-ex (0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00)
- HOL-Combinatorics (0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00)
- HOL-Hoare (0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00)
- ZF (0:00:25 elapsed time, 0:00:16 cpu time, factor 0.64)
- HOL-SPARK (0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00)
- HOL-Quotient_Examples (0:00:23 elapsed time, 0:00:18 cpu time, factor 0.78)
- Tutorial (0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00)
- HOL-Cardinals (0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00)
- HOLCF (0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00)
- HOLCF-Library (0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00)
- Isar_Ref (0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94)
- IOA (0:00:17 elapsed time, 0:00:18 cpu time, factor 1.06)
- HOL-Induct (0:00:15 elapsed time, 0:00:14 cpu time, factor 0.93)
- HOL-Nonstandard_Analysis (0:00:15 elapsed time, 0:00:16 cpu time, factor 1.07)
- HOL-Nominal (0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00)
- ZF-Constructible (0:00:14 elapsed time, 0:00:11 cpu time, factor 0.79)
- HOL-SPARK-Examples (0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00)
- HOL-ZF (0:00:13 elapsed time, 0:00:14 cpu time, factor 1.08)
- HOL-Types_To_Sets (0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00)
- HOL-Hahn_Banach (0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00)
- Typeclass_Hierarchy (0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00)
- ZF-UNITY (0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00)
- HOL-TLA-Memory (0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00)
- Pure (0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00)
- HOL-Statespace (0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00)
- System (0:00:10 elapsed time)
- HOL-Probability-ex (0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89)
- ZF-ex (0:00:09 elapsed time, 0:00:06 cpu time, factor 0.67)
- HOL-Import (0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00)
- HOL-Unix (0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00)
- HOL-Eisbach (0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00)
- HOL-Isar_Examples (0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86)
- Haskell (0:00:07 elapsed time)
- ZF-AC (0:00:07 elapsed time, 0:00:04 cpu time, factor 0.57)
- CCL (0:00:07 elapsed time, 0:00:03 cpu time, factor 0.43)
- HOLCF-Tutorial (0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00)
- IOA-NTP (0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00)
- ZF-Induct (0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80)
- HOL-NanoJava (0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00)
- FOL-ex (0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00)
- Prog_Prove (0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80)
- Tools (0:00:05 elapsed time)
- HOLCF-ex (0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00)
- IOA-ABP (0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00)
- HOLCF-IMP (0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80)
- HOL-TLA (0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00)
- HOL-SPARK-Manual (0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00)
- HOLCF-FOCUS (0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00)
- FOL (0:00:04 elapsed time)
- HOL-IMPP (0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75)
- Implementation (0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00)
- HOL-TPTP (0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75)
- HOL-Proofs-ex (0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00)
- Sequents (0:00:03 elapsed time)
- FOLP-ex (0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00)
- HOL-IOA (0:00:02 elapsed time)
- HOL-Nonstandard_Analysis-Examples (0:00:02 elapsed time)
- HOL-TLA-Inc (0:00:02 elapsed time)
- HOL-Lattice (0:00:02 elapsed time)
- Functions (0:00:02 elapsed time)
- Eisbach (0:00:02 elapsed time)
- HOL-Mirabelle-ex (0:00:02 elapsed time)
- LCF (0:00:02 elapsed time)
- Sugar (0:00:01 elapsed time)
- ZF-Resid (0:00:01 elapsed time)
- ZF-Coind (0:00:01 elapsed time)
- HOL-TLA-Buffer (0:00:01 elapsed time)
- Classes (0:00:01 elapsed time)
- HOL-Mutabelle (0:00:01 elapsed time)
- ZF-IMP (0:00:01 elapsed time)
- CTT (0:00:01 elapsed time)
- IOA-ex (0:00:01 elapsed time)
- HOL-Real_Asymp-Manual (0:00:01 elapsed time)
- FOLP (0:00:01 elapsed time)
- IOA-Storage (0:00:01 elapsed time)
- Locales (0:00:01 elapsed time)
- JEdit (0:00:01 elapsed time)
- Main (0:00:01 elapsed time)
- Logics (0:00:00 elapsed time)
- Logics_ZF (0:00:00 elapsed time)
- SML (0:00:00 elapsed time)
- How_to_Prove_it (0:00:00 elapsed time)
- Demo_FoilTeX (0:00:00 elapsed time)
- Sledgehammer (0:00:00 elapsed time)
- Demo_LLNCS (0:00:00 elapsed time)
- Demo_LIPIcs (0:00:00 elapsed time)
- Nitpick (0:00:00 elapsed time)
- Pure-ex (0:00:00 elapsed time)
- Demo_Easychair (0:00:00 elapsed time)
- Cube (0:00:00 elapsed time)
- Intro (0:00:00 elapsed time)
- Demo_EPTCS (0:00:00 elapsed time)
- Pure-Examples (0:00:00 elapsed time)
- HOL-Prolog (0:00:00 elapsed time)
HOL-Analysis
- data:
- CSV
- timing:
- 0:21:05 elapsed time, 0:21:06 cpu time, factor 1.00
- ML timing:
- 1197.064s elapsed time, 1199.630s cpu time, 106.266s GC time, factor 1.00
- ML code maximum:
- 4.8 MiB
- ML code average:
- 3.9 MiB
- ML stack maximum:
- 16.3 MiB
- ML stack average:
- 14.5 MiB
- ML heap maximum:
- 7.6 GiB
- ML heap average:
- 3.7 GiB
- ML heap stored:
- 261.9 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Quickcheck_Benchmark
- data:
- CSV
- timing:
- 0:17:52 elapsed time, 0:17:21 cpu time, factor 0.97
- ML timing:
- 1071.014s elapsed time, 1039.994s cpu time, 53.293s GC time, factor 0.97
- ML code maximum:
- 344.2 MiB
- ML code average:
- 191 MiB
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 1.5 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.5 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Data_Structures
- data:
- CSV
- timing:
- 0:10:30 elapsed time, 0:10:30 cpu time, factor 1.00
- ML timing:
- 620.876s elapsed time, 621.831s cpu time, 42.274s GC time, factor 1.00
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 5.7 MiB
- ML heap maximum:
- 7.1 GiB
- ML heap average:
- 2.7 GiB
- Isabelle version:
- c13a4bd3c018




HOL-ex
- data:
- CSV
- timing:
- 0:10:02 elapsed time, 0:09:52 cpu time, factor 0.98
- ML timing:
- 599.615s elapsed time, 589.508s cpu time, 19.768s GC time, factor 0.98
- ML code maximum:
- 5.7 MiB
- ML code average:
- 4.1 MiB
- ML stack maximum:
- 8.4 MiB
- ML stack average:
- 7.4 MiB
- ML heap maximum:
- 5.6 GiB
- ML heap average:
- 3.7 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Datatype_Benchmark
- data:
- CSV
- timing:
- 0:09:40 elapsed time, 0:09:37 cpu time, factor 0.99
- ML timing:
- 568.470s elapsed time, 565.784s cpu time, 93.462s GC time, factor 1.00
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 3.5 MiB
- ML heap maximum:
- 13.3 GiB
- ML heap average:
- 5.6 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Codegenerator_Test
- data:
- CSV
- timing:
- 0:08:32 elapsed time, 0:06:16 cpu time, factor 0.73
- ML timing:
- 508.630s elapsed time, 373.087s cpu time, 22.786s GC time, factor 0.73
- ML code maximum:
- 3.7 MiB
- ML code average:
- 3.2 MiB
- ML stack maximum:
- 17.1 MiB
- ML stack average:
- 14.7 MiB
- ML heap maximum:
- 4.2 GiB
- ML heap average:
- 2.6 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Nominal-Examples
- data:
- CSV
- timing:
- 0:08:23 elapsed time, 0:08:20 cpu time, factor 0.99
- ML timing:
- 499.952s elapsed time, 497.118s cpu time, 32.084s GC time, factor 0.99
- ML stack maximum:
- 32.3 MiB
- ML stack average:
- 31.6 MiB
- ML heap maximum:
- 3 GiB
- ML heap average:
- 2.5 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Proofs
- data:
- CSV
- timing:
- 0:07:43 elapsed time, 0:07:39 cpu time, factor 0.99
- ML timing:
- 348.168s elapsed time, 344.388s cpu time, 57.666s GC time, factor 0.99
- ML code maximum:
- 39.5 MiB
- ML code average:
- 30.7 MiB
- ML stack maximum:
- 32.3 MiB
- ML stack average:
- 19.5 MiB
- ML heap maximum:
- 13.8 GiB
- ML heap average:
- 5.5 GiB
- ML heap stored:
- 386.9 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Decision_Procs
- data:
- CSV
- timing:
- 0:07:01 elapsed time, 0:07:02 cpu time, factor 1.00
- ML timing:
- 418.445s elapsed time, 419.122s cpu time, 23.515s GC time, factor 1.00
- ML code maximum:
- 6.2 MiB
- ML code average:
- 3 MiB
- ML stack maximum:
- 32.3 MiB
- ML stack average:
- 16.8 MiB
- ML heap maximum:
- 7.7 GiB
- ML heap average:
- 4.2 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Library
- data:
- CSV
- timing:
- 0:06:33 elapsed time, 0:06:30 cpu time, factor 0.99
- ML timing:
- 364.819s elapsed time, 362.910s cpu time, 24.658s GC time, factor 0.99
- ML code maximum:
- 6.2 MiB
- ML code average:
- 5.1 MiB
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 7.8 MiB
- ML heap maximum:
- 3.6 GiB
- ML heap average:
- 2.4 GiB
- ML heap stored:
- 145.9 MiB
- Isabelle version:
- c13a4bd3c018




HOL
- data:
- CSV
- timing:
- 0:06:10 elapsed time, 0:06:02 cpu time, factor 0.98
- ML timing:
- 350.501s elapsed time, 342.893s cpu time, 24.658s GC time, factor 0.98
- ML code maximum:
- 43.8 MiB
- ML code average:
- 30.7 MiB
- ML stack maximum:
- 32.3 MiB
- ML stack average:
- 24.4 MiB
- ML heap maximum:
- 3.8 GiB
- ML heap average:
- 3 GiB
- ML heap stored:
- 208.1 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Algebra
- data:
- CSV
- timing:
- 0:04:38 elapsed time, 0:04:41 cpu time, factor 1.01
- ML timing:
- 260.454s elapsed time, 263.556s cpu time, 40.604s GC time, factor 1.01
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 4 MiB
- ML heap maximum:
- 6.7 GiB
- ML heap average:
- 2.7 GiB
- ML heap stored:
- 62.7 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Corec_Examples
- data:
- CSV
- timing:
- 0:04:24 elapsed time, 0:04:24 cpu time, factor 1.00
- ML timing:
- 257.301s elapsed time, 257.267s cpu time, 26.828s GC time, factor 1.00
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 1.4 MiB
- ML heap maximum:
- 4.7 GiB
- ML heap average:
- 2.9 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Imperative_HOL
- data:
- CSV
- timing:
- 0:02:57 elapsed time, 0:02:36 cpu time, factor 0.88
- ML timing:
- 175.112s elapsed time, 154.779s cpu time, 4.194s GC time, factor 0.88
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 8.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.5 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Probability
- data:
- CSV
- timing:
- 0:02:45 elapsed time, 0:02:45 cpu time, factor 1.00
- ML timing:
- 150.734s elapsed time, 150.399s cpu time, 5.731s GC time, factor 1.00
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 6.2 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- ML heap stored:
- 51.4 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Datatype_Examples
- data:
- CSV
- timing:
- 0:02:35 elapsed time, 0:02:36 cpu time, factor 1.01
- ML timing:
- 150.921s elapsed time, 151.312s cpu time, 13.667s GC time, factor 1.00
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 1.3 MiB
- ML heap maximum:
- 3.7 GiB
- ML heap average:
- 2.1 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Real_Asymp
- data:
- CSV
- timing:
- 0:02:33 elapsed time, 0:02:34 cpu time, factor 1.01
- ML timing:
- 143.573s elapsed time, 144.758s cpu time, 4.090s GC time, factor 1.01
- ML code maximum:
- 5.6 MiB
- ML code average:
- 4.1 MiB
- ML stack maximum:
- 16.3 MiB
- ML stack average:
- 11.4 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- ML heap stored:
- 65.3 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Predicate_Compile_Examples
- data:
- CSV
- timing:
- 0:02:32 elapsed time, 0:01:58 cpu time, factor 0.78
- ML timing:
- 151.173s elapsed time, 117.672s cpu time, 2.193s GC time, factor 0.78
- ML code maximum:
- 7.8 MiB
- ML code average:
- 2.4 MiB
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 2.1 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Auth
- data:
- CSV
- timing:
- 0:02:27 elapsed time, 0:02:28 cpu time, factor 1.01
- ML timing:
- 143.071s elapsed time, 144.081s cpu time, 2.805s GC time, factor 1.01
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 4.1 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- ML heap stored:
- 29.9 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Homology
- data:
- CSV
- timing:
- 0:02:25 elapsed time, 0:02:27 cpu time, factor 1.01
- ML timing:
- 143.313s elapsed time, 145.058s cpu time, 10.270s GC time, factor 1.01
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 5.9 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Quickcheck_Examples
- data:
- CSV
- timing:
- 0:02:22 elapsed time, 0:01:14 cpu time, factor 0.52
- ML timing:
- 140.833s elapsed time, 73.040s cpu time, 2.062s GC time, factor 0.52
- ML code maximum:
- 17.3 MiB
- ML code average:
- 12.4 MiB
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 8.2 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-MicroJava
- data:
- CSV
- timing:
- 0:02:15 elapsed time, 0:02:15 cpu time, factor 1.00
- ML timing:
- 133.919s elapsed time, 134.755s cpu time, 2.395s GC time, factor 1.01
- ML code maximum:
- 1.7 MiB
- ML code average:
- 1.4 MiB
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 2.9 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.5 GiB
- Isabelle version:
- c13a4bd3c018




Codegen
- data:
- CSV
- timing:
- 0:02:10 elapsed time, 0:02:10 cpu time, factor 1.00
- ML timing:
- 128.298s elapsed time, 128.673s cpu time, 3.055s GC time, factor 1.00
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 7.9 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Hoare_Parallel
- data:
- CSV
- timing:
- 0:02:07 elapsed time, 0:02:08 cpu time, factor 1.01
- ML timing:
- 126.712s elapsed time, 127.147s cpu time, 1.951s GC time, factor 1.00
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 2.2 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




- data:
- CSV
- timing:
- 0:01:59 elapsed time, 0:01:59 cpu time, factor 1.00
- ML timing:
- 116.852s elapsed time, 117.641s cpu time, 4.273s GC time, factor 1.01
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 8.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Computational_Algebra
- data:
- CSV
- timing:
- 0:01:55 elapsed time, 0:01:56 cpu time, factor 1.01
- ML timing:
- 106.712s elapsed time, 108.566s cpu time, 3.545s GC time, factor 1.02
- ML code maximum:
- 1 MiB
- ML stack maximum:
- 16.3 MiB
- ML stack average:
- 11.9 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- ML heap stored:
- 40.8 MiB
- Isabelle version:
- c13a4bd3c018




HOL-IMP
- data:
- CSV
- timing:
- 0:01:53 elapsed time, 0:01:53 cpu time, factor 1.00
- ML timing:
- 112.104s elapsed time, 112.315s cpu time, 2.898s GC time, factor 1.00
- ML code maximum:
- 14.8 MiB
- ML code average:
- 5.7 MiB
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 1.5 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Complex_Analysis
- data:
- CSV
- timing:
- 0:01:46 elapsed time, 0:01:48 cpu time, factor 1.02
- ML timing:
- 104.791s elapsed time, 106.773s cpu time, 2.140s GC time, factor 1.02
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 8.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Bali
- data:
- CSV
- timing:
- 0:01:42 elapsed time, 0:01:43 cpu time, factor 1.01
- ML timing:
- 100.774s elapsed time, 102.334s cpu time, 3.045s GC time, factor 1.02
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 5.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Number_Theory
- data:
- CSV
- timing:
- 0:01:41 elapsed time, 0:01:42 cpu time, factor 1.01
- ML timing:
- 99.755s elapsed time, 101.161s cpu time, 5.658s GC time, factor 1.01
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 4.1 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Examples
- data:
- CSV
- timing:
- 0:01:35 elapsed time, 0:01:35 cpu time, factor 1.00
- ML timing:
- 93.367s elapsed time, 93.992s cpu time, 2.943s GC time, factor 1.01
- ML code maximum:
- 1.3 MiB
- ML stack maximum:
- 8.8 MiB
- ML stack average:
- 6.5 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-SMT_Examples
- data:
- CSV
- timing:
- 0:01:25 elapsed time, 0:01:15 cpu time, factor 0.88
- ML timing:
- 84.905s elapsed time, 74.848s cpu time, 1.371s GC time, factor 0.88
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 8.1 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Record_Benchmark
- data:
- CSV
- timing:
- 0:01:23 elapsed time, 0:01:22 cpu time, factor 0.99
- ML timing:
- 81.413s elapsed time, 81.429s cpu time, 1.792s GC time, factor 1.00
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 1.8 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Nitpick_Examples
- data:
- CSV
- timing:
- 0:01:20 elapsed time, 0:00:53 cpu time, factor 0.66
- ML timing:
- 78.936s elapsed time, 52.637s cpu time, 0.784s GC time, factor 0.67
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 4.2 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Proofs-Lambda
- data:
- CSV
- timing:
- 0:01:07 elapsed time, 0:01:07 cpu time, factor 1.00
- ML timing:
- 65.818s elapsed time, 66.026s cpu time, 1.760s GC time, factor 1.00
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 1.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-UNITY
- data:
- CSV
- timing:
- 0:00:53 elapsed time, 0:00:54 cpu time, factor 1.02
- ML timing:
- 52.104s elapsed time, 53.091s cpu time, 1.846s GC time, factor 1.02
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 8.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-SET_Protocol
- data:
- CSV
- timing:
- 0:00:51 elapsed time, 0:00:51 cpu time, factor 1.00
- ML timing:
- 50.256s elapsed time, 50.482s cpu time, 0.633s GC time, factor 1.00
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 2.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




Datatypes
- data:
- CSV
- timing:
- 0:00:43 elapsed time, 0:00:43 cpu time, factor 1.00
- ML timing:
- 32.048s elapsed time, 32.110s cpu time, 1.725s GC time, factor 1.00
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 5.5 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.1 GiB
- ML heap stored:
- 69.8 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Metis_Examples
- data:
- CSV
- timing:
- 0:00:43 elapsed time, 0:00:31 cpu time, factor 0.72
- ML timing:
- 42.380s elapsed time, 30.935s cpu time, 1.016s GC time, factor 0.73
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 2.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




Corec
- data:
- CSV
- timing:
- 0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
- ML timing:
- 36.962s elapsed time, 36.979s cpu time, 1.978s GC time, factor 1.00
- ML code maximum:
- 2.8 MiB
- ML code average:
- 2.7 MiB
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 8.1 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Matrix_LP
- data:
- CSV
- timing:
- 0:00:29 elapsed time, 0:00:29 cpu time, factor 1.00
- ML timing:
- 28.421s elapsed time, 28.421s cpu time, 0.693s GC time, factor 1.00
- ML code maximum:
- 1.3 MiB
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 4 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Analysis-ex
- data:
- CSV
- timing:
- 0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
- ML timing:
- 26.918s elapsed time, 26.935s cpu time, 0.226s GC time, factor 1.00
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 2.2 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Combinatorics
- data:
- CSV
- timing:
- 0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
- ML timing:
- 26.305s elapsed time, 26.897s cpu time, 1.040s GC time, factor 1.02
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 7.8 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Hoare
- data:
- CSV
- timing:
- 0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
- ML timing:
- 26.645s elapsed time, 26.804s cpu time, 0.463s GC time, factor 1.01
- ML stack maximum:
- 1.3 MiB
- ML stack average:
- 1.2 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




ZF
- data:
- CSV
- timing:
- 0:00:25 elapsed time, 0:00:16 cpu time, factor 0.64
- ML timing:
- 14.942s elapsed time, 15.090s cpu time, 1.179s GC time, factor 1.01
- ML code maximum:
- 3.2 MiB
- ML code average:
- 2.6 MiB
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 2.7 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 924.6 MiB
- ML heap stored:
- 14.1 MiB
- Isabelle version:
- c13a4bd3c018




HOL-SPARK
- data:
- CSV
- timing:
- 0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
- ML timing:
- 19.583s elapsed time, 19.843s cpu time, 0.684s GC time, factor 1.01
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 6.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.2 GiB
- ML heap stored:
- 15 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Quotient_Examples
- data:
- CSV
- timing:
- 0:00:23 elapsed time, 0:00:18 cpu time, factor 0.78
- ML timing:
- 22.105s elapsed time, 17.748s cpu time, 0.663s GC time, factor 0.80
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 2.1 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




Tutorial
- data:
- CSV
- timing:
- 0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
- ML timing:
- 21.429s elapsed time, 21.562s cpu time, 0.986s GC time, factor 1.01
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 1.5 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Cardinals
- data:
- CSV
- timing:
- 0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
- ML timing:
- 20.476s elapsed time, 20.949s cpu time, 0.523s GC time, factor 1.02
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 3.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOLCF
- data:
- CSV
- timing:
- 0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
- ML timing:
- 15.817s elapsed time, 16.448s cpu time, 0.866s GC time, factor 1.04
- ML code maximum:
- 1.3 MiB
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 1.8 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.1 GiB
- ML heap stored:
- 18.7 MiB
- Isabelle version:
- c13a4bd3c018




HOLCF-Library
- data:
- CSV
- timing:
- 0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
- ML timing:
- 13.555s elapsed time, 13.925s cpu time, 0.460s GC time, factor 1.03
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 1.4 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.1 GiB
- ML heap stored:
- 9.4 MiB
- Isabelle version:
- c13a4bd3c018




Isar_Ref
- data:
- CSV
- timing:
- 0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94
- ML timing:
- 15.964s elapsed time, 15.923s cpu time, 0.708s GC time, factor 1.00
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 7 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




IOA
- data:
- CSV
- timing:
- 0:00:17 elapsed time, 0:00:18 cpu time, factor 1.06
- ML timing:
- 13.526s elapsed time, 13.837s cpu time, 0.457s GC time, factor 1.02
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 1.9 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.1 GiB
- ML heap stored:
- 6.4 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Induct
- data:
- CSV
- timing:
- 0:00:15 elapsed time, 0:00:14 cpu time, factor 0.93
- ML timing:
- 13.956s elapsed time, 14.069s cpu time, 0.746s GC time, factor 1.01
- ML stack maximum:
- 1.3 MiB
- ML stack average:
- 1 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.3 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Nonstandard_Analysis
- data:
- CSV
- timing:
- 0:00:15 elapsed time, 0:00:16 cpu time, factor 1.07
- ML timing:
- 11.552s elapsed time, 11.986s cpu time, 0.438s GC time, factor 1.04
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 3.1 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1 GiB
- ML heap stored:
- 9.7 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Nominal
- data:
- CSV
- timing:
- 0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
- ML timing:
- 10.645s elapsed time, 10.804s cpu time, 0.401s GC time, factor 1.01
- ML code maximum:
- 2.4 MiB
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 5.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1 GiB
- ML heap stored:
- 9.6 MiB
- Isabelle version:
- c13a4bd3c018




ZF-Constructible
- data:
- CSV
- timing:
- 0:00:14 elapsed time, 0:00:11 cpu time, factor 0.79
- ML timing:
- 10.677s elapsed time, 10.758s cpu time, 1.180s GC time, factor 1.01
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 1.8 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 996.9 MiB
- Isabelle version:
- c13a4bd3c018




HOL-SPARK-Examples
- data:
- CSV
- timing:
- 0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
- ML timing:
- 13.735s elapsed time, 13.832s cpu time, 0.182s GC time, factor 1.01
- ML stack maximum:
- 1.3 MiB
- ML stack average:
- 1.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.4 GiB
- Isabelle version:
- c13a4bd3c018




HOL-ZF
- data:
- CSV
- timing:
- 0:00:13 elapsed time, 0:00:14 cpu time, factor 1.08
- ML timing:
- 12.794s elapsed time, 13.318s cpu time, 0.573s GC time, factor 1.04
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 8.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.3 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Types_To_Sets
- data:
- CSV
- timing:
- 0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
- ML timing:
- 11.748s elapsed time, 11.922s cpu time, 0.405s GC time, factor 1.01
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 1.9 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.3 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Hahn_Banach
- data:
- CSV
- timing:
- 0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
- ML timing:
- 10.130s elapsed time, 10.501s cpu time, 0.382s GC time, factor 1.04
- ML stack maximum:
- 1.3 MiB
- ML stack average:
- 1.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.3 GiB
- Isabelle version:
- c13a4bd3c018




Typeclass_Hierarchy
- data:
- CSV
- timing:
- 0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
- ML timing:
- 10.143s elapsed time, 10.463s cpu time, 0.433s GC time, factor 1.03
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 8.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.3 GiB
- Isabelle version:
- c13a4bd3c018




ZF-UNITY
- data:
- CSV
- timing:
- 0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
- ML timing:
- 10.711s elapsed time, 10.962s cpu time, 0.423s GC time, factor 1.02
- ML stack maximum:
- 1.3 MiB
- ML stack average:
- 1.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.3 GiB
- Isabelle version:
- c13a4bd3c018




HOL-TLA-Memory
- data:
- CSV
- timing:
- 0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
- ML timing:
- 10.672s elapsed time, 10.757s cpu time, 0.194s GC time, factor 1.01
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 3.6 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.3 GiB
- Isabelle version:
- c13a4bd3c018




Pure
- data:
- CSV
- timing:
- 0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
- ML timing:
- 0.403s elapsed time, 0.422s cpu time, 0.000s GC time, factor 1.05
- ML code maximum:
- 23.9 MiB
- ML code average:
- 23.9 MiB
- ML stack maximum:
- 4.1 MiB
- ML stack average:
- 4 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 726 MiB
- ML heap stored:
- 28.6 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Statespace
- data:
- CSV
- timing:
- 0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
- ML timing:
- 9.305s elapsed time, 9.388s cpu time, 0.292s GC time, factor 1.01
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 2.2 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.3 GiB
- Isabelle version:
- c13a4bd3c018




System
- data:
- CSV
- timing:
- 0:00:10 elapsed time
- ML timing:
- 10.066s elapsed time, 0.544s cpu time, 0.000s GC time, factor 0.05
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 2 MiB
- ML heap maximum:
- 636 MiB
- ML heap average:
- 332.1 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Probability-ex
- data:
- CSV
- timing:
- 0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89
- ML timing:
- 7.561s elapsed time, 7.582s cpu time, 0.263s GC time, factor 1.00
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 1.4 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.3 GiB
- Isabelle version:
- c13a4bd3c018




ZF-ex
- data:
- CSV
- timing:
- 0:00:09 elapsed time, 0:00:06 cpu time, factor 0.67
- ML timing:
- 5.791s elapsed time, 5.828s cpu time, 0.319s GC time, factor 1.01
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 2.2 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 816.8 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Import
- data:
- CSV
- timing:
- 0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
- ML timing:
- 7.879s elapsed time, 7.907s cpu time, 0.222s GC time, factor 1.00
- ML stack maximum:
- 64.3 MiB
- ML stack average:
- 60.4 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.3 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Unix
- data:
- CSV
- timing:
- 0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
- ML timing:
- 7.368s elapsed time, 7.569s cpu time, 0.376s GC time, factor 1.03
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 2.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.2 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Eisbach
- data:
- CSV
- timing:
- 0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
- ML timing:
- 7.026s elapsed time, 7.210s cpu time, 0.163s GC time, factor 1.03
- ML code maximum:
- 2.4 MiB
- ML code average:
- 2.1 MiB
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 4.2 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.3 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Isar_Examples
- data:
- CSV
- timing:
- 0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
- ML timing:
- 6.770s elapsed time, 6.139s cpu time, 0.283s GC time, factor 0.91
- ML stack maximum:
- 1.3 MiB
- ML stack average:
- 1.1 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1 GiB
- Isabelle version:
- c13a4bd3c018




Haskell
- data:
- CSV
- timing:
- 0:00:07 elapsed time
- ML timing:
- 6.800s elapsed time, 0.280s cpu time, 0.000s GC time, factor 0.04
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 4.3 MiB
- ML heap maximum:
- 394 MiB
- ML heap average:
- 393.9 MiB
- Isabelle version:
- c13a4bd3c018




ZF-AC
- data:
- CSV
- timing:
- 0:00:07 elapsed time, 0:00:04 cpu time, factor 0.57
- ML timing:
- 3.745s elapsed time, 3.764s cpu time, 0.275s GC time, factor 1.01
- ML stack maximum:
- 1.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 550 MiB
- Isabelle version:
- c13a4bd3c018




CCL
- data:
- CSV
- timing:
- 0:00:07 elapsed time, 0:00:03 cpu time, factor 0.43
- ML timing:
- 3.547s elapsed time, 3.574s cpu time, 0.322s GC time, factor 1.01
- ML code maximum:
- 2.1 MiB
- ML code average:
- 1.8 MiB
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 2.2 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 678.5 MiB
- Isabelle version:
- c13a4bd3c018




HOLCF-Tutorial
- data:
- CSV
- timing:
- 0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
- ML timing:
- 6.375s elapsed time, 6.402s cpu time, 0.206s GC time, factor 1.00
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1016.2 MiB
- Isabelle version:
- c13a4bd3c018




IOA-NTP
- data:
- CSV
- timing:
- 0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
- ML timing:
- 5.839s elapsed time, 5.885s cpu time, 0.263s GC time, factor 1.01
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.1 GiB
- Isabelle version:
- c13a4bd3c018




ZF-Induct
- data:
- CSV
- timing:
- 0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
- ML timing:
- 4.302s elapsed time, 3.785s cpu time, 0.165s GC time, factor 0.88
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 1.7 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 944.9 MiB
- ML heap stored:
- 3.9 MiB
- Isabelle version:
- c13a4bd3c018




HOL-NanoJava
- data:
- CSV
- timing:
- 0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
- ML timing:
- 4.854s elapsed time, 4.941s cpu time, 0.256s GC time, factor 1.02
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.1 GiB
- Isabelle version:
- c13a4bd3c018




FOL-ex
- data:
- CSV
- timing:
- 0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
- ML timing:
- 5.412s elapsed time, 5.498s cpu time, 0.178s GC time, factor 1.02
- ML code maximum:
- 1.3 MiB
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 2.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.1 GiB
- Isabelle version:
- c13a4bd3c018




Prog_Prove
- data:
- CSV
- timing:
- 0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
- ML timing:
- 4.190s elapsed time, 4.244s cpu time, 0.229s GC time, factor 1.01
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 2.2 MiB
- ML heap maximum:
- 1.4 GiB
- ML heap average:
- 1.1 GiB
- Isabelle version:
- c13a4bd3c018




- data:
- CSV
- timing:
- 0:00:05 elapsed time
- ML timing:
- 2.271s elapsed time, 2.177s cpu time, 0.126s GC time, factor 0.96
- ML code maximum:
- 2.5 MiB
- ML code average:
- 2.1 MiB
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 1.3 MiB
- ML heap maximum:
- 1.4 GiB
- ML heap average:
- 622.5 MiB
- Isabelle version:
- c13a4bd3c018




HOLCF-ex
- data:
- CSV
- timing:
- 0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
- ML timing:
- 4.590s elapsed time, 4.724s cpu time, 0.236s GC time, factor 1.03
- ML stack maximum:
- 1.3 MiB
- ML stack average:
- 1.1 MiB
- ML heap maximum:
- 1.4 GiB
- ML heap average:
- 1.1 GiB
- Isabelle version:
- c13a4bd3c018




IOA-ABP
- data:
- CSV
- timing:
- 0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
- ML timing:
- 4.736s elapsed time, 4.777s cpu time, 0.190s GC time, factor 1.01
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 979.3 MiB
- Isabelle version:
- c13a4bd3c018




HOLCF-IMP
- data:
- CSV
- timing:
- 0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
- ML timing:
- 4.248s elapsed time, 4.285s cpu time, 0.164s GC time, factor 1.01
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.1 GiB
- Isabelle version:
- c13a4bd3c018




HOL-TLA
- data:
- CSV
- timing:
- 0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
- ML timing:
- 1.343s elapsed time, 1.437s cpu time, 0.112s GC time, factor 1.07
- ML stack maximum:
- 2.3 MiB
- ML heap maximum:
- 668 MiB
- ML heap average:
- 177 MiB
- ML heap stored:
- 2.9 MiB
- Isabelle version:
- c13a4bd3c018




HOL-SPARK-Manual
- data:
- CSV
- timing:
- 0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
- ML timing:
- 3.328s elapsed time, 3.339s cpu time, 0.071s GC time, factor 1.00
- ML stack maximum:
- 1.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.1 GiB
- Isabelle version:
- c13a4bd3c018




HOLCF-FOCUS
- data:
- CSV
- timing:
- 0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
- ML timing:
- 4.019s elapsed time, 4.113s cpu time, 0.138s GC time, factor 1.02
- ML stack maximum:
- 1.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.1 GiB
- Isabelle version:
- c13a4bd3c018




FOL
- data:
- CSV
- timing:
- 0:00:04 elapsed time
- ML timing:
- 1.720s elapsed time, 1.728s cpu time, 0.146s GC time, factor 1.00
- ML code maximum:
- 1.8 MiB
- ML code average:
- 1.5 MiB
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 1.3 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 354.3 MiB
- ML heap stored:
- 3.9 MiB
- Isabelle version:
- c13a4bd3c018




HOL-IMPP
- data:
- CSV
- timing:
- 0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
- ML timing:
- 3.198s elapsed time, 3.258s cpu time, 0.158s GC time, factor 1.02
- ML stack maximum:
- 1.3 MiB
- ML heap maximum:
- 1.4 GiB
- ML heap average:
- 1.1 GiB
- Isabelle version:
- c13a4bd3c018




Implementation
- data:
- CSV
- timing:
- 0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
- ML timing:
- 3.935s elapsed time, 3.893s cpu time, 0.074s GC time, factor 0.99
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 4.3 MiB
- ML heap maximum:
- 754 MiB
- ML heap average:
- 270 MiB
- Isabelle version:
- c13a4bd3c018




HOL-TPTP
- data:
- CSV
- timing:
- 0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
- ML timing:
- 3.300s elapsed time, 3.371s cpu time, 0.171s GC time, factor 1.02
- ML code maximum:
- 5.7 MiB
- ML code average:
- 4.3 MiB
- ML stack maximum:
- 16.3 MiB
- ML stack average:
- 14 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1 GiB
- Isabelle version:
- c13a4bd3c018




HOL-Proofs-ex
- data:
- CSV
- timing:
- 0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
- ML timing:
- 2.544s elapsed time, 2.564s cpu time, 0.669s GC time, factor 1.01
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 2.1 MiB
- ML heap maximum:
- 1.4 GiB
- ML heap average:
- 871.9 MiB
- Isabelle version:
- c13a4bd3c018




Sequents
- data:
- CSV
- timing:
- 0:00:03 elapsed time
- ML timing:
- 2.311s elapsed time, 2.343s cpu time, 0.059s GC time, factor 1.01
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 946.9 MiB
- Isabelle version:
- c13a4bd3c018




FOLP-ex
- data:
- CSV
- timing:
- 0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
- ML timing:
- 3.196s elapsed time, 3.245s cpu time, 0.082s GC time, factor 1.02
- ML code maximum:
- 1.4 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 977.8 MiB
- Isabelle version:
- c13a4bd3c018




HOL-IOA
- data:
- CSV
- timing:
- 0:00:02 elapsed time
- ML timing:
- 1.674s elapsed time, 1.700s cpu time, 0.074s GC time, factor 1.02
- ML heap maximum:
- 757 MiB
- ML heap average:
- 649.7 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Nonstandard_Analysis-Examples
- data:
- CSV
- timing:
- 0:00:02 elapsed time
- ML timing:
- 1.340s elapsed time, 1.354s cpu time, 0.087s GC time, factor 1.01
- ML stack maximum:
- 1.3 MiB
- ML heap maximum:
- 685 MiB
- ML heap average:
- 613.6 MiB
- Isabelle version:
- c13a4bd3c018




HOL-TLA-Inc
- data:
- CSV
- timing:
- 0:00:02 elapsed time
- ML timing:
- 1.834s elapsed time, 1.843s cpu time, 0.053s GC time, factor 1.00
- ML heap maximum:
- 1.3 GiB
- ML heap average:
- 935 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Lattice
- data:
- CSV
- timing:
- 0:00:02 elapsed time
- ML timing:
- 1.698s elapsed time, 1.794s cpu time, 0.146s GC time, factor 1.06
- ML stack maximum:
- 1.3 MiB
- ML stack average:
- 1.2 MiB
- ML heap maximum:
- 764 MiB
- ML heap average:
- 552 MiB
- Isabelle version:
- c13a4bd3c018




Functions
- data:
- CSV
- timing:
- 0:00:02 elapsed time
- ML timing:
- 1.624s elapsed time, 1.652s cpu time, 0.102s GC time, factor 1.02
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 2.3 MiB
- ML heap maximum:
- 761 MiB
- ML heap average:
- 657 MiB
- Isabelle version:
- c13a4bd3c018




Eisbach
- data:
- CSV
- timing:
- 0:00:02 elapsed time
- ML timing:
- 1.429s elapsed time, 1.466s cpu time, 0.098s GC time, factor 1.03
- ML stack maximum:
- 2.3 MiB
- ML stack average:
- 2.3 MiB
- ML heap maximum:
- 571 MiB
- ML heap average:
- 399.2 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Mirabelle-ex
- data:
- CSV
- timing:
- 0:00:02 elapsed time
- ML timing:
- 1.220s elapsed time, 1.245s cpu time, 0.050s GC time, factor 1.02
- ML stack maximum:
- 1.3 MiB
- ML stack average:
- 1.3 MiB
- ML heap maximum:
- 561 MiB
- ML heap average:
- 435 MiB
- Isabelle version:
- c13a4bd3c018




LCF
- data:
- CSV
- timing:
- 0:00:02 elapsed time
- ML timing:
- 1.783s elapsed time, 1.812s cpu time, 0.133s GC time, factor 1.02
- ML code maximum:
- 1.8 MiB
- ML code average:
- 1.3 MiB
- ML stack maximum:
- 4.3 MiB
- ML stack average:
- 2.9 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 612.8 MiB
- Isabelle version:
- c13a4bd3c018




Sugar
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.500s elapsed time, 0.502s cpu time, 0.000s GC time, factor 1.00
- ML stack maximum:
- 1.3 MiB
- ML stack average:
- 1.3 MiB
- ML heap maximum:
- 540 MiB
- ML heap average:
- 540 MiB
- Isabelle version:
- c13a4bd3c018




ZF-Resid
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 1.165s elapsed time, 1.204s cpu time, 0.069s GC time, factor 1.03
- ML heap maximum:
- 735 MiB
- ML heap average:
- 726.5 MiB
- Isabelle version:
- c13a4bd3c018




ZF-Coind
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.522s elapsed time, 0.539s cpu time, 0.000s GC time, factor 1.03
- ML heap maximum:
- 748 MiB
- ML heap average:
- 748 MiB
- Isabelle version:
- c13a4bd3c018




HOL-TLA-Buffer
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.468s elapsed time, 0.474s cpu time, 0.000s GC time, factor 1.01
- ML heap maximum:
- 617 MiB
- ML heap average:
- 617 MiB
- Isabelle version:
- c13a4bd3c018




Classes
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.880s elapsed time, 0.877s cpu time, 0.059s GC time, factor 1.00
- ML stack maximum:
- 1.3 MiB
- ML heap maximum:
- 504 MiB
- ML heap average:
- 254.5 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Mutabelle
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.913s elapsed time, 0.932s cpu time, 0.103s GC time, factor 1.02
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 8.3 MiB
- ML heap maximum:
- 650 MiB
- ML heap average:
- 399.8 MiB
- Isabelle version:
- c13a4bd3c018




ZF-IMP
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.459s elapsed time, 0.458s cpu time, 0.000s GC time, factor 1.00
- ML heap maximum:
- 690 MiB
- ML heap average:
- 351.5 MiB
- Isabelle version:
- c13a4bd3c018




CTT
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.610s elapsed time, 0.616s cpu time, 0.104s GC time, factor 1.01
- ML stack maximum:
- 2.3 MiB
- ML heap maximum:
- 160 MiB
- ML heap average:
- 39 MiB
- Isabelle version:
- c13a4bd3c018




IOA-ex
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.690s elapsed time, 0.697s cpu time, 0.000s GC time, factor 1.01
- ML heap maximum:
- 538 MiB
- ML heap average:
- 272.3 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Real_Asymp-Manual
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.233s elapsed time, 0.237s cpu time, 0.000s GC time, factor 1.02
- ML heap maximum:
- 65 MiB
- ML heap average:
- 65 MiB
- Isabelle version:
- c13a4bd3c018




FOLP
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.653s elapsed time, 0.667s cpu time, 0.079s GC time, factor 1.02
- ML stack maximum:
- 1.3 MiB
- ML heap maximum:
- 114 MiB
- ML heap average:
- 50.7 MiB
- ML heap stored:
- 1.5 MiB
- Isabelle version:
- c13a4bd3c018




IOA-Storage
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 1.086s elapsed time, 1.094s cpu time, 0.063s GC time, factor 1.01
- ML heap maximum:
- 576 MiB
- ML heap average:
- 432 MiB
- Isabelle version:
- c13a4bd3c018




Locales
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 1.019s elapsed time, 1.065s cpu time, 0.071s GC time, factor 1.05
- ML stack maximum:
- 1.3 MiB
- ML stack average:
- 1.3 MiB
- ML heap maximum:
- 709 MiB
- ML heap average:
- 607.4 MiB
- Isabelle version:
- c13a4bd3c018




JEdit
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.421s elapsed time, 0.319s cpu time, 0.000s GC time, factor 0.76
- ML stack maximum:
- 8.3 MiB
- ML stack average:
- 8.3 MiB
- ML heap maximum:
- 451 MiB
- ML heap average:
- 451 MiB
- Isabelle version:
- c13a4bd3c018




Main
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.322s elapsed time, 0.348s cpu time, 0.000s GC time, factor 1.08
- ML stack maximum:
- 1.3 MiB
- ML heap maximum:
- 74 MiB
- ML heap average:
- 3 MiB
- Isabelle version:
- c13a4bd3c018




Logics
- data:
- CSV
- Isabelle version:
- c13a4bd3c018

Logics_ZF
- data:
- CSV
- ML timing:
- 0.427s elapsed time, 0.245s cpu time, 0.000s GC time, factor 0.57
- ML heap maximum:
- 416 MiB
- ML heap average:
- 416 MiB
- Isabelle version:
- c13a4bd3c018




SML
- data:
- CSV
- ML timing:
- 0.005s elapsed time, 0.007s cpu time, 0.000s GC time, factor 1.40
- ML heap maximum:
- 24 MiB
- ML heap average:
- 24 MiB
- Isabelle version:
- c13a4bd3c018




How_to_Prove_it
- data:
- CSV
- ML timing:
- 0.203s elapsed time, 0.202s cpu time, 0.000s GC time, factor 1.00
- ML heap maximum:
- 65 MiB
- ML heap average:
- 65 MiB
- Isabelle version:
- c13a4bd3c018




Demo_FoilTeX
- data:
- CSV
- ML timing:
- 0.099s elapsed time, 0.102s cpu time, 0.000s GC time, factor 1.03
- ML heap maximum:
- 69 MiB
- ML heap average:
- 69 MiB
- Isabelle version:
- c13a4bd3c018




Sledgehammer
- data:
- CSV
- ML heap maximum:
- 3 MiB
- ML heap average:
- 3 MiB
- Isabelle version:
- c13a4bd3c018



Demo_LLNCS
- data:
- CSV
- ML timing:
- 0.109s elapsed time, 0.106s cpu time, 0.000s GC time, factor 0.97
- ML heap maximum:
- 65 MiB
- ML heap average:
- 65 MiB
- Isabelle version:
- c13a4bd3c018




Demo_LIPIcs
- data:
- CSV
- ML timing:
- 0.100s elapsed time, 0.102s cpu time, 0.000s GC time, factor 1.02
- ML heap maximum:
- 51 MiB
- ML heap average:
- 51 MiB
- Isabelle version:
- c13a4bd3c018




Nitpick
- data:
- CSV
- ML heap maximum:
- 3 MiB
- ML heap average:
- 3 MiB
- Isabelle version:
- c13a4bd3c018



Pure-ex
- data:
- CSV
- ML timing:
- 0.269s elapsed time, 0.242s cpu time, 0.000s GC time, factor 0.90
- ML heap maximum:
- 51 MiB
- ML heap average:
- 3 MiB
- Isabelle version:
- c13a4bd3c018




Demo_Easychair
- data:
- CSV
- ML timing:
- 0.117s elapsed time, 0.108s cpu time, 0.000s GC time, factor 0.92
- ML heap maximum:
- 86 MiB
- ML heap average:
- 86 MiB
- Isabelle version:
- c13a4bd3c018




Cube
- data:
- CSV
- ML timing:
- 0.134s elapsed time, 0.140s cpu time, 0.000s GC time, factor 1.04
- ML heap maximum:
- 146 MiB
- ML heap average:
- 146 MiB
- Isabelle version:
- c13a4bd3c018




Intro
- data:
- CSV
- Isabelle version:
- c13a4bd3c018

Demo_EPTCS
- data:
- CSV
- ML timing:
- 0.102s elapsed time, 0.102s cpu time, 0.000s GC time, factor 1.00
- ML heap maximum:
- 73 MiB
- ML heap average:
- 73 MiB
- Isabelle version:
- c13a4bd3c018




Pure-Examples
- data:
- CSV
- ML timing:
- 0.197s elapsed time, 0.184s cpu time, 0.000s GC time, factor 0.93
- ML heap maximum:
- 75 MiB
- ML heap average:
- 75 MiB
- Isabelle version:
- c13a4bd3c018




HOL-Prolog
- data:
- CSV
- ML timing:
- 0.199s elapsed time, 0.217s cpu time, 0.000s GC time, factor 1.09
- ML heap maximum:
- 118 MiB
- ML heap average:
- 118 MiB
- Isabelle version:
- c13a4bd3c018



