Isabelle build status for macOS 12 Monterey (Intel)

status date:
25-May-2026 06:59:34 +0200
build host:
mini1-monterey

HOL-Analysis

data:
CSV
timing:
0:32:16 elapsed time, 0:32:07 cpu time, factor 1.00
ML timing:
1841.894s elapsed time, 1832.801s cpu time, 169.186s GC time, factor 1.00
ML code maximum:
3.4 MiB
ML code average:
2.9 MiB
ML stack maximum:
16.3 MiB
ML stack average:
10.9 MiB
ML heap maximum:
7.7 GiB
ML heap average:
3.6 GiB
ML heap stored:
261 MiB
Isabelle version:
c13a4bd3c018

HOL-Data_Structures

data:
CSV
timing:
0:16:16 elapsed time, 0:16:17 cpu time, factor 1.00
ML timing:
968.714s elapsed time, 970.532s cpu time, 68.192s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
5.5 MiB
ML heap maximum:
7.3 GiB
ML heap average:
3 GiB
Isabelle version:
c13a4bd3c018

HOL-Nominal-Examples

data:
CSV
timing:
0:12:26 elapsed time, 0:12:21 cpu time, factor 0.99
ML timing:
740.495s elapsed time, 735.671s cpu time, 50.153s GC time, factor 0.99
ML stack maximum:
32.3 MiB
ML stack average:
31.5 MiB
ML heap maximum:
3.3 GiB
ML heap average:
2.7 GiB
Isabelle version:
c13a4bd3c018

HOL-Proofs

data:
CSV
timing:
0:11:14 elapsed time, 0:11:21 cpu time, factor 1.01
ML timing:
509.820s elapsed time, 517.192s cpu time, 63.885s GC time, factor 1.01
ML code maximum:
29.2 MiB
ML code average:
20.9 MiB
ML stack maximum:
32.3 MiB
ML stack average:
19.6 MiB
ML heap maximum:
12.8 GiB
ML heap average:
6.1 GiB
ML heap stored:
378.3 MiB
Isabelle version:
c13a4bd3c018

HOL-Decision_Procs

data:
CSV
timing:
0:10:40 elapsed time, 0:10:42 cpu time, factor 1.00
ML timing:
636.495s elapsed time, 639.431s cpu time, 44.939s GC time, factor 1.00
ML code maximum:
3.9 MiB
ML code average:
2.4 MiB
ML stack maximum:
32.3 MiB
ML stack average:
15.8 MiB
ML heap maximum:
4.6 GiB
ML heap average:
2.8 GiB
Isabelle version:
c13a4bd3c018

HOL

data:
CSV
timing:
0:09:10 elapsed time, 0:09:19 cpu time, factor 1.02
ML timing:
520.037s elapsed time, 529.591s cpu time, 31.795s GC time, factor 1.02
ML code maximum:
29.1 MiB
ML code average:
23.3 MiB
ML stack maximum:
32.3 MiB
ML stack average:
25.2 MiB
ML heap maximum:
5 GiB
ML heap average:
3 GiB
ML heap stored:
199.5 MiB
Isabelle version:
c13a4bd3c018

HOL-Algebra

data:
CSV
timing:
0:06:48 elapsed time, 0:06:52 cpu time, factor 1.01
ML timing:
382.864s elapsed time, 387.012s cpu time, 40.592s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
6.9 GiB
ML heap average:
3.2 GiB
ML heap stored:
62.7 MiB
Isabelle version:
c13a4bd3c018

HOL-Auth

data:
CSV
timing:
0:03:52 elapsed time, 0:03:53 cpu time, factor 1.00
ML timing:
224.778s elapsed time, 225.894s cpu time, 7.745s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
29.8 MiB
Isabelle version:
c13a4bd3c018

HOL-Real_Asymp

data:
CSV
timing:
0:03:49 elapsed time, 0:03:50 cpu time, factor 1.00
ML timing:
214.353s elapsed time, 215.788s cpu time, 9.450s GC time, factor 1.01
ML code maximum:
2.9 MiB
ML code average:
2.6 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.3 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.7 GiB
ML heap stored:
64.6 MiB
Isabelle version:
c13a4bd3c018

HOL-Homology

data:
CSV
timing:
0:03:44 elapsed time, 0:03:46 cpu time, factor 1.01
ML timing:
220.554s elapsed time, 222.984s cpu time, 14.656s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
4 GiB
ML heap average:
2.7 GiB
Isabelle version:
c13a4bd3c018

Codegen

data:
CSV
timing:
0:03:32 elapsed time, 0:03:32 cpu time, factor 1.00
ML timing:
209.795s elapsed time, 210.437s cpu time, 15.760s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
7.9 MiB
ML heap maximum:
1.9 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-MicroJava

data:
CSV
timing:
0:03:31 elapsed time, 0:03:32 cpu time, factor 1.00
ML timing:
210.032s elapsed time, 211.393s cpu time, 3.064s GC time, factor 1.01
ML code maximum:
1.3 MiB
ML code average:
1.1 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c13a4bd3c018

HOL-Quickcheck_Examples

data:
CSV
timing:
0:03:28 elapsed time, 0:01:54 cpu time, factor 0.55
ML timing:
206.439s elapsed time, 112.808s cpu time, 5.831s GC time, factor 0.55
ML code maximum:
8 MiB
ML code average:
5.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-Hoare_Parallel

data:
CSV
timing:
0:03:10 elapsed time, 0:03:10 cpu time, factor 1.00
ML timing:
188.220s elapsed time, 188.775s cpu time, 2.565s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Computational_Algebra

data:
CSV
timing:
0:02:59 elapsed time, 0:03:01 cpu time, factor 1.01
ML timing:
166.671s elapsed time, 168.645s cpu time, 4.689s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
7.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
40.7 MiB
Isabelle version:
c13a4bd3c018

HOL-IMP

data:
CSV
timing:
0:02:47 elapsed time, 0:02:47 cpu time, factor 1.00
ML timing:
164.879s elapsed time, 165.187s cpu time, 3.818s GC time, factor 1.00
ML code maximum:
10.7 MiB
ML code average:
4.2 MiB
ML stack maximum:
8.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Complex_Analysis

data:
CSV
timing:
0:02:44 elapsed time, 0:02:46 cpu time, factor 1.01
ML timing:
161.756s elapsed time, 164.009s cpu time, 5.588s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Number_Theory

data:
CSV
timing:
0:02:42 elapsed time, 0:02:44 cpu time, factor 1.01
ML timing:
160.277s elapsed time, 162.224s cpu time, 14.881s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
4 GiB
ML heap average:
2.2 GiB
Isabelle version:
c13a4bd3c018

HOL-Bali

data:
CSV
timing:
0:02:35 elapsed time, 0:02:36 cpu time, factor 1.01
ML timing:
152.692s elapsed time, 154.830s cpu time, 3.942s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Proofs-Extraction

data:
CSV
timing:
0:02:33 elapsed time, 0:02:34 cpu time, factor 1.01
ML timing:
150.274s elapsed time, 151.252s cpu time, 9.537s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
2.8 GiB
ML heap average:
2.2 GiB
Isabelle version:
c13a4bd3c018

HOL-Examples

data:
CSV
timing:
0:02:22 elapsed time, 0:02:22 cpu time, factor 1.00
ML timing:
140.073s elapsed time, 140.544s cpu time, 6.939s GC time, factor 1.00
ML stack maximum:
8.5 MiB
ML stack average:
6.3 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.6 GiB
Isabelle version:
c13a4bd3c018

HOL-Record_Benchmark

data:
CSV
timing:
0:02:01 elapsed time, 0:02:01 cpu time, factor 1.00
ML timing:
119.443s elapsed time, 119.451s cpu time, 7.669s 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-SMT_Examples

data:
CSV
timing:
0:01:59 elapsed time, 0:01:49 cpu time, factor 0.92
ML timing:
118.451s elapsed time, 108.184s cpu time, 1.727s GC time, factor 0.91
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-Nitpick_Examples

data:
CSV
timing:
0:01:41 elapsed time, 0:01:10 cpu time, factor 0.69
ML timing:
100.144s elapsed time, 68.795s cpu time, 1.122s GC time, factor 0.69
ML stack maximum:
8.3 MiB
ML stack average:
8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:32 elapsed time, 0:01:32 cpu time, factor 1.00
ML timing:
90.737s elapsed time, 91.018s cpu time, 3.040s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-UNITY

data:
CSV
timing:
0:01:23 elapsed time, 0:01:24 cpu time, factor 1.01
ML timing:
81.407s elapsed time, 82.508s cpu time, 2.414s GC time, factor 1.01
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-SET_Protocol

data:
CSV
timing:
0:01:17 elapsed time, 0:01:17 cpu time, factor 1.00
ML timing:
76.778s elapsed time, 77.041s cpu time, 0.865s 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

Datatypes

data:
CSV
timing:
0:01:02 elapsed time, 0:01:02 cpu time, factor 1.00
ML timing:
45.652s elapsed time, 45.989s cpu time, 2.244s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
69.7 MiB
Isabelle version:
c13a4bd3c018

HOL-Metis_Examples

data:
CSV
timing:
0:01:01 elapsed time, 0:00:47 cpu time, factor 0.77
ML timing:
59.930s elapsed time, 46.291s cpu time, 2.572s GC time, factor 0.77
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

Corec

data:
CSV
timing:
0:00:54 elapsed time, 0:00:54 cpu time, factor 1.00
ML timing:
51.450s elapsed time, 51.432s cpu time, 2.571s GC time, factor 1.00
ML code maximum:
2.2 MiB
ML code average:
2 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-Matrix_LP

data:
CSV
timing:
0:00:43 elapsed time, 0:00:42 cpu time, factor 0.98
ML timing:
42.009s elapsed time, 41.515s cpu time, 0.891s GC time, factor 0.99
ML code maximum:
1 MiB
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

HOL-Combinatorics

data:
CSV
timing:
0:00:41 elapsed time, 0:00:42 cpu time, factor 1.02
ML timing:
40.258s elapsed time, 40.883s cpu time, 1.323s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
7.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Hoare

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
39.972s elapsed time, 40.159s cpu time, 0.584s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Analysis-ex

data:
CSV
timing:
0:00:37 elapsed time, 0:00:37 cpu time, factor 1.00
ML timing:
35.826s elapsed time, 35.892s cpu time, 0.232s GC time, factor 1.00
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

HOL-SPARK

data:
CSV
timing:
0:00:37 elapsed time, 0:00:37 cpu time, factor 1.00
ML timing:
30.694s elapsed time, 30.974s cpu time, 0.934s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
6.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
14.8 MiB
Isabelle version:
c13a4bd3c018

Tutorial

data:
CSV
timing:
0:00:35 elapsed time, 0:00:35 cpu time, factor 1.00
ML timing:
33.718s elapsed time, 33.633s cpu time, 1.385s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Cardinals

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
32.483s elapsed time, 32.985s cpu time, 0.725s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOLCF

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
23.106s elapsed time, 23.925s cpu time, 0.991s GC time, factor 1.04
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
18.5 MiB
Isabelle version:
c13a4bd3c018

HOLCF-Library

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
20.207s elapsed time, 20.623s cpu time, 0.500s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
9.4 MiB
Isabelle version:
c13a4bd3c018

IOA

data:
CSV
timing:
0:00:26 elapsed time, 0:00:27 cpu time, factor 1.04
ML timing:
20.084s elapsed time, 20.459s cpu time, 0.619s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
6.3 MiB
Isabelle version:
c13a4bd3c018

ZF

data:
CSV
timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.04
ML timing:
23.529s elapsed time, 24.954s cpu time, 1.148s GC time, factor 1.06
ML code maximum:
2.3 MiB
ML code average:
1.7 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
13.6 MiB
Isabelle version:
c13a4bd3c018

Isar_Ref

data:
CSV
timing:
0:00:25 elapsed time, 0:00:24 cpu time, factor 0.96
ML timing:
23.804s elapsed time, 23.519s cpu time, 0.969s GC time, factor 0.99
ML stack maximum:
4.3 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
17.588s elapsed time, 18.124s cpu time, 0.595s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
1.6 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:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
15.745s elapsed time, 15.707s cpu time, 0.454s GC time, factor 1.00
ML code maximum:
1.8 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
9.1 MiB
Isabelle version:
c13a4bd3c018

HOL-Induct

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.301s elapsed time, 19.528s cpu time, 0.783s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

HOL-ZF

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.371s elapsed time, 19.953s cpu time, 0.700s GC time, factor 1.03
ML stack maximum:
8.3 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

HOL-SPARK-Examples

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.805s elapsed time, 19.938s cpu time, 0.208s GC time, factor 1.01
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

HOL-Types_To_Sets

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
18.245s elapsed time, 18.462s cpu time, 0.443s 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

ZF-Constructible

data:
CSV
timing:
0:00:19 elapsed time, 0:00:20 cpu time, factor 1.05
ML timing:
18.594s elapsed time, 19.223s cpu time, 2.227s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

HOL-Statespace

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
15.916s elapsed time, 16.018s cpu time, 0.342s 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.3 GiB
Isabelle version:
c13a4bd3c018

ZF-UNITY

data:
CSV
timing:
0:00:17 elapsed time, 0:00:18 cpu time, factor 1.06
ML timing:
17.247s elapsed time, 17.708s cpu time, 0.467s GC time, factor 1.03
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-Hahn_Banach

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.084s elapsed time, 15.486s cpu time, 0.499s GC time, factor 1.03
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

Typeclass_Hierarchy

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.228s elapsed time, 15.567s cpu time, 0.558s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

HOL-TLA-Memory

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.363s elapsed time, 15.490s cpu time, 0.200s 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

Pure

data:
CSV
timing:
0:00:15 elapsed time, 0:00:14 cpu time, factor 0.93
ML timing:
0.688s elapsed time, 0.727s cpu time, 0.018s GC time, factor 1.06
ML code maximum:
17.7 MiB
ML code average:
17.7 MiB
ML stack maximum:
2 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
572.4 MiB
ML heap stored:
24 MiB
Isabelle version:
c13a4bd3c018

System

data:
CSV
timing:
0:00:13 elapsed time
ML timing:
12.663s elapsed time, 1.299s cpu time, 0.000s GC time, factor 0.10
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
582 MiB
ML heap average:
300.7 MiB
Isabelle version:
c13a4bd3c018

HOL-Unix

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.001s elapsed time, 11.215s cpu time, 0.462s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

HOL-Eisbach

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.173s elapsed time, 10.391s cpu time, 0.189s GC time, factor 1.02
ML code maximum:
1.8 MiB
ML code average:
1.5 MiB
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-Import

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.555s elapsed time, 10.593s cpu time, 0.260s GC time, factor 1.00
ML stack maximum:
64.3 MiB
ML stack average:
58.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

HOLCF-Tutorial

data:
CSV
timing:
0:00:11 elapsed time, 0:00:10 cpu time, factor 0.91
ML timing:
9.617s elapsed time, 9.689s cpu time, 0.178s GC time, factor 1.01
ML heap maximum:
1.4 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

Haskell

data:
CSV
timing:
0:00:10 elapsed time
ML timing:
9.803s elapsed time, 0.487s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
364 MiB
ML heap average:
363.9 MiB
Isabelle version:
c13a4bd3c018

ZF-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.552s elapsed time, 9.905s cpu time, 0.290s GC time, factor 1.04
ML stack maximum:
4.3 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

IOA-NTP

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
8.656s elapsed time, 8.721s cpu time, 0.263s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

HOL-Isar_Examples

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.916s elapsed time, 8.038s cpu time, 0.228s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c13a4bd3c018

HOL-NanoJava

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.256s elapsed time, 7.341s cpu time, 0.241s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

FOL-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
8.066s elapsed time, 8.218s cpu time, 0.125s GC time, factor 1.02
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

HOLCF-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
6.763s elapsed time, 6.930s cpu time, 0.212s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

IOA-ABP

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
6.945s elapsed time, 6.994s cpu time, 0.184s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

ZF-Induct

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.485s elapsed time, 6.817s cpu time, 0.242s GC time, factor 1.05
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:
3.9 MiB
Isabelle version:
c13a4bd3c018

Prog_Prove

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.223s elapsed time, 6.286s cpu time, 0.205s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

HOLCF-FOCUS

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.075s elapsed time, 6.189s cpu time, 0.112s 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

HOLCF-IMP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.299s elapsed time, 6.342s cpu time, 0.142s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

HOL-TLA

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
1.836s elapsed time, 1.943s cpu time, 0.050s GC time, factor 1.06
ML stack maximum:
2.3 MiB
ML heap maximum:
806 MiB
ML heap average:
247.2 MiB
ML heap stored:
2.9 MiB
Isabelle version:
c13a4bd3c018

HOL-SPARK-Manual

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
5.074s elapsed time, 5.087s cpu time, 0.047s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c13a4bd3c018

HOL-IMPP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
4.901s elapsed time, 4.974s cpu time, 0.163s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
c13a4bd3c018

ZF-AC

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
6.364s elapsed time, 6.661s cpu time, 0.299s GC time, factor 1.05
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

CCL

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
6.075s elapsed time, 6.471s cpu time, 0.328s GC time, factor 1.07
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

HOL-TPTP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.814s elapsed time, 4.892s cpu time, 0.192s GC time, factor 1.02
ML code maximum:
4 MiB
ML code average:
2.9 MiB
ML stack maximum:
16.3 MiB
ML stack average:
16.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

HOL-Proofs-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.382s elapsed time, 3.404s cpu time, 0.580s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.4 GiB
ML heap average:
938.8 MiB
Isabelle version:
c13a4bd3c018

Tools

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.696s elapsed time, 3.752s cpu time, 0.084s GC time, factor 1.02
ML code maximum:
1.9 MiB
ML code average:
1.1 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.1 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, 0:00:04 cpu time, factor 1.00
ML timing:
3.106s elapsed time, 3.258s cpu time, 0.082s GC time, factor 1.05
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
852.5 MiB
ML heap stored:
3.6 MiB
Isabelle version:
c13a4bd3c018

Sequents

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.664s elapsed time, 3.782s cpu time, 0.049s GC time, factor 1.03
ML heap maximum:
1.5 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.597s elapsed time, 3.605s cpu time, 0.028s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1 GiB
ML heap average:
733.7 MiB
Isabelle version:
c13a4bd3c018

FOLP-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
4.351s elapsed time, 4.444s cpu time, 0.053s GC time, factor 1.02
ML code maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c13a4bd3c018

Sugar

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.113s elapsed time, 0.983s cpu time, 0.000s GC time, factor 0.47
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
522 MiB
ML heap average:
397.2 MiB
Isabelle version:
c13a4bd3c018

HOL-IOA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.620s elapsed time, 2.657s cpu time, 0.033s GC time, factor 1.01
ML heap maximum:
1.3 GiB
ML heap average:
794 MiB
Isabelle version:
c13a4bd3c018

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.025s elapsed time, 2.044s cpu time, 0.035s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.1 GiB
ML heap average:
739.2 MiB
Isabelle version:
c13a4bd3c018

IOA-ex

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.201s elapsed time, 1.215s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
584 MiB
ML heap average:
301.3 MiB
Isabelle version:
c13a4bd3c018

HOL-TLA-Inc

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.743s elapsed time, 2.765s cpu time, 0.029s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
785.3 MiB
Isabelle version:
c13a4bd3c018

HOL-Lattice

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.344s elapsed time, 2.477s cpu time, 0.055s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
832 MiB
ML heap average:
655.6 MiB
Isabelle version:
c13a4bd3c018

Functions

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.422s elapsed time, 2.457s cpu time, 0.041s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.2 GiB
ML heap average:
820 MiB
Isabelle version:
c13a4bd3c018

Eisbach

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.943s elapsed time, 1.975s cpu time, 0.056s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
767 MiB
ML heap average:
706.2 MiB
Isabelle version:
c13a4bd3c018

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.096s elapsed time, 2.145s cpu time, 0.034s GC time, factor 1.02
ML heap maximum:
756 MiB
ML heap average:
590.1 MiB
Isabelle version:
c13a4bd3c018

LCF

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.715s elapsed time, 2.841s cpu time, 0.059s GC time, factor 1.05
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
995.4 MiB
Isabelle version:
c13a4bd3c018

ZF-Resid

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.791s elapsed time, 1.864s cpu time, 0.026s GC time, factor 1.04
ML heap maximum:
904 MiB
ML heap average:
720 MiB
Isabelle version:
c13a4bd3c018

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.280s elapsed time, 1.289s cpu time, 0.031s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
621 MiB
ML heap average:
484.7 MiB
Isabelle version:
c13a4bd3c018

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.387s elapsed time, 1.406s cpu time, 0.111s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
775 MiB
ML heap average:
606.3 MiB
Isabelle version:
c13a4bd3c018

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.657s elapsed time, 1.668s cpu time, 0.034s GC time, factor 1.01
ML heap maximum:
757 MiB
ML heap average:
574.2 MiB
Isabelle version:
c13a4bd3c018

Locales

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.659s elapsed time, 1.718s cpu time, 0.047s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
760 MiB
ML heap average:
605.6 MiB
Isabelle version:
c13a4bd3c018

JEdit

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.716s elapsed time, 0.577s cpu time, 0.000s GC time, factor 0.81
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
329 MiB
ML heap average:
329 MiB
Isabelle version:
c13a4bd3c018

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.944s elapsed time, 0.980s cpu time, 0.031s GC time, factor 1.04
ML heap maximum:
437 MiB
ML heap average:
250.8 MiB
Isabelle version:
c13a4bd3c018

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.816s elapsed time, 0.830s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
413 MiB
ML heap average:
208.4 MiB
Isabelle version:
c13a4bd3c018

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.331s elapsed time, 0.336s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
29 MiB
ML heap average:
3 MiB
Isabelle version:
c13a4bd3c018

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.933s elapsed time, 0.958s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
696 MiB
ML heap average:
571.1 MiB
Isabelle version:
c13a4bd3c018

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.157s elapsed time, 1.274s cpu time, 0.066s GC time, factor 1.10
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
755 MiB
ML heap average:
598.3 MiB
Isabelle version:
c13a4bd3c018

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.150s elapsed time, 0.154s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
37 MiB
ML heap average:
37 MiB
Isabelle version:
c13a4bd3c018

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.151s elapsed time, 0.154s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
37 MiB
ML heap average:
37 MiB
Isabelle version:
c13a4bd3c018

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.150s elapsed time, 0.152s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
37 MiB
ML heap average:
37 MiB
Isabelle version:
c13a4bd3c018

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.391s elapsed time, 0.401s cpu time, 0.000s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
326 MiB
ML heap average:
326 MiB
Isabelle version:
c13a4bd3c018

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.057s elapsed time, 1.113s cpu time, 0.036s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML heap maximum:
758 MiB
ML heap average:
413.4 MiB
ML heap stored:
1.5 MiB
Isabelle version:
c13a4bd3c018

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.150s elapsed time, 0.152s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
37 MiB
ML heap average:
37 MiB
Isabelle version:
c13a4bd3c018

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.590s elapsed time, 0.624s cpu time, 0.000s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
491 MiB
ML heap average:
491 MiB
Isabelle version:
c13a4bd3c018

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.153s elapsed time, 0.153s cpu time, 0.000s GC time, factor 1.00
ML heap maximum:
38 MiB
ML heap average:
38 MiB
Isabelle version:
c13a4bd3c018

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.358s elapsed time, 0.381s cpu time, 0.000s GC time, factor 1.06
ML heap maximum:
57 MiB
ML heap average:
3 MiB
Isabelle version:
c13a4bd3c018

HOL-Probability

data:
CSV
Isabelle version:
c13a4bd3c018

HOL-Predicate_Compile_Examples

data:
CSV
Isabelle version:
c13a4bd3c018

Logics

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

Logics_ZF

data:
CSV
ML timing:
0.453s elapsed time, 0.460s cpu time, 0.000s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
400 MiB
ML heap average:
400 MiB
Isabelle version:
c13a4bd3c018

SML

data:
CSV
ML timing:
0.009s elapsed time, 0.010s cpu time, 0.000s GC time, factor 1.11
ML heap maximum:
22 MiB
ML heap average:
22 MiB
Isabelle version:
c13a4bd3c018

Sledgehammer

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

Nitpick

data:
CSV
Isabelle version:
c13a4bd3c018

Pure-ex

data:
CSV
ML timing:
0.434s elapsed time, 0.496s cpu time, 0.000s GC time, factor 1.14
ML heap maximum:
337 MiB
ML heap average:
337 MiB
Isabelle version:
c13a4bd3c018

HOL-Imperative_HOL

data:
CSV
Isabelle version:
c13a4bd3c018

Cube

data:
CSV
ML timing:
0.256s elapsed time, 0.282s cpu time, 0.000s GC time, factor 1.10
ML heap maximum:
56 MiB
ML heap average:
56 MiB
Isabelle version:
c13a4bd3c018

Intro

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

HOL-Library

data:
CSV
Isabelle version:
c13a4bd3c018

HOL-Quotient_Examples

data:
CSV
Isabelle version:
c13a4bd3c018

Pure-Examples

data:
CSV
ML timing:
0.284s elapsed time, 0.327s cpu time, 0.000s GC time, factor 1.15
ML heap maximum:
49 MiB
ML heap average:
3 MiB
Isabelle version:
c13a4bd3c018