Isabelle build status for macOS 12 Monterey (Intel)

status date:
10-Jul-2026 06:42:24 +0200
build host:
mini1-monterey

HOL-Analysis

data:
CSV
timing:
0:31:46 elapsed time, 0:31:34 cpu time, factor 0.99
ML timing:
1809.488s elapsed time, 1798.312s cpu time, 93.413s GC time, factor 0.99
ML code maximum:
3.6 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:
4.5 GiB
ML heap stored:
265.7 MiB
Isabelle version:
cbf5095487bb

HOL-Data_Structures

data:
CSV
timing:
0:16:05 elapsed time, 0:16:07 cpu time, factor 1.00
ML timing:
958.053s elapsed time, 959.933s cpu time, 57.796s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
5.5 MiB
ML heap maximum:
6.9 GiB
ML heap average:
2.8 GiB
Isabelle version:
cbf5095487bb

HOL-Nominal-Examples

data:
CSV
timing:
0:12:15 elapsed time, 0:12:10 cpu time, factor 0.99
ML timing:
730.045s elapsed time, 724.947s cpu time, 39.672s GC time, factor 0.99
ML stack maximum:
32.3 MiB
ML stack average:
31.5 MiB
ML heap maximum:
4.6 GiB
ML heap average:
2.7 GiB
Isabelle version:
cbf5095487bb

HOL-Proofs

data:
CSV
timing:
0:11:05 elapsed time, 0:11:12 cpu time, factor 1.01
ML timing:
500.021s elapsed time, 508.017s cpu time, 57.648s GC time, factor 1.02
ML code maximum:
29.2 MiB
ML code average:
21.8 MiB
ML stack maximum:
32.3 MiB
ML stack average:
19.1 MiB
ML heap maximum:
10.9 GiB
ML heap average:
6.1 GiB
ML heap stored:
378.4 MiB
Isabelle version:
cbf5095487bb

HOL-Decision_Procs

data:
CSV
timing:
0:10:38 elapsed time, 0:10:41 cpu time, factor 1.00
ML timing:
634.619s elapsed time, 637.606s cpu time, 46.121s GC time, factor 1.00
ML code maximum:
3.9 MiB
ML code average:
2.3 MiB
ML stack maximum:
32.3 MiB
ML stack average:
15.7 MiB
ML heap maximum:
4.6 GiB
ML heap average:
2.7 GiB
Isabelle version:
cbf5095487bb

HOL

data:
CSV
timing:
0:09:12 elapsed time, 0:09:22 cpu time, factor 1.02
ML timing:
520.756s elapsed time, 530.941s cpu time, 32.799s GC time, factor 1.02
ML code maximum:
28.4 MiB
ML code average:
21.9 MiB
ML stack maximum:
32.3 MiB
ML stack average:
25.2 MiB
ML heap maximum:
6.1 GiB
ML heap average:
3.8 GiB
ML heap stored:
199.6 MiB
Isabelle version:
cbf5095487bb

HOL-Algebra

data:
CSV
timing:
0:06:55 elapsed time, 0:06:59 cpu time, factor 1.01
ML timing:
389.159s elapsed time, 393.281s cpu time, 47.318s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
7.5 GiB
ML heap average:
3.2 GiB
ML heap stored:
62.6 MiB
Isabelle version:
cbf5095487bb

HOL-Auth

data:
CSV
timing:
0:03:51 elapsed time, 0:03:52 cpu time, factor 1.00
ML timing:
223.794s elapsed time, 225.010s cpu time, 7.648s GC time, factor 1.01
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:
cbf5095487bb

HOL-Real_Asymp

data:
CSV
timing:
0:03:45 elapsed time, 0:03:46 cpu time, factor 1.00
ML timing:
210.037s elapsed time, 211.519s cpu time, 6.955s GC time, factor 1.01
ML code maximum:
3 MiB
ML code average:
2.6 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.2 MiB
ML heap maximum:
2.7 GiB
ML heap average:
1.8 GiB
ML heap stored:
64.6 MiB
Isabelle version:
cbf5095487bb

HOL-Homology

data:
CSV
timing:
0:03:40 elapsed time, 0:03:42 cpu time, factor 1.01
ML timing:
216.415s elapsed time, 218.904s cpu time, 11.583s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.7 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2.3 GiB
Isabelle version:
cbf5095487bb

Codegen

data:
CSV
timing:
0:03:30 elapsed time, 0:03:30 cpu time, factor 1.00
ML timing:
207.817s elapsed time, 208.459s cpu time, 14.013s 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:
cbf5095487bb

HOL-MicroJava

data:
CSV
timing:
0:03:30 elapsed time, 0:03:31 cpu time, factor 1.00
ML timing:
208.579s elapsed time, 209.952s cpu time, 2.895s 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:
cbf5095487bb

HOL-Quickcheck_Examples

data:
CSV
timing:
0:03:27 elapsed time, 0:01:54 cpu time, factor 0.55
ML timing:
206.151s elapsed time, 112.836s cpu time, 6.001s 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:
cbf5095487bb

HOL-Hoare_Parallel

data:
CSV
timing:
0:03:10 elapsed time, 0:03:10 cpu time, factor 1.00
ML timing:
188.239s elapsed time, 188.790s cpu time, 2.542s 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:
cbf5095487bb

HOL-Computational_Algebra

data:
CSV
timing:
0:03:04 elapsed time, 0:03:05 cpu time, factor 1.01
ML timing:
171.041s elapsed time, 173.072s cpu time, 8.287s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
7.7 MiB
ML heap maximum:
2.8 GiB
ML heap average:
1.5 GiB
ML heap stored:
40.7 MiB
Isabelle version:
cbf5095487bb

HOL-IMP

data:
CSV
timing:
0:02:49 elapsed time, 0:02:49 cpu time, factor 1.00
ML timing:
167.667s elapsed time, 167.996s cpu time, 3.746s GC time, factor 1.00
ML code maximum:
10.7 MiB
ML code average:
4.1 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:
cbf5095487bb

HOL-Complex_Analysis

data:
CSV
timing:
0:02:44 elapsed time, 0:02:46 cpu time, factor 1.01
ML timing:
161.786s elapsed time, 164.106s cpu time, 5.417s 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:
cbf5095487bb

HOL-Examples

data:
CSV
timing:
0:02:42 elapsed time, 0:02:42 cpu time, factor 1.00
ML timing:
159.418s elapsed time, 159.908s cpu time, 7.684s GC time, factor 1.00
ML stack maximum:
8.5 MiB
ML stack average:
6.6 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

HOL-Number_Theory

data:
CSV
timing:
0:02:42 elapsed time, 0:02:44 cpu time, factor 1.01
ML timing:
160.165s elapsed time, 162.142s cpu time, 14.967s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
4.1 GiB
ML heap average:
2.2 GiB
Isabelle version:
cbf5095487bb

HOL-Bali

data:
CSV
timing:
0:02:39 elapsed time, 0:02:41 cpu time, factor 1.01
ML timing:
157.051s elapsed time, 159.206s cpu time, 7.367s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.1 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

HOL-Proofs-Extraction

data:
CSV
timing:
0:02:32 elapsed time, 0:02:32 cpu time, factor 1.00
ML timing:
148.353s elapsed time, 149.322s cpu time, 8.271s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
3.8 GiB
ML heap average:
2.9 GiB
Isabelle version:
cbf5095487bb

HOL-Record_Benchmark

data:
CSV
timing:
0:02:00 elapsed time, 0:02:00 cpu time, factor 1.00
ML timing:
118.337s elapsed time, 118.401s cpu time, 7.706s 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:
cbf5095487bb

HOL-SMT_Examples

data:
CSV
timing:
0:01:59 elapsed time, 0:01:49 cpu time, factor 0.92
ML timing:
118.486s elapsed time, 108.510s cpu time, 1.724s GC time, factor 0.92
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:
cbf5095487bb

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:42 elapsed time, 0:01:10 cpu time, factor 0.69
ML timing:
100.637s elapsed time, 69.098s cpu time, 1.104s 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:
cbf5095487bb

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:35 elapsed time, 0:01:35 cpu time, factor 1.00
ML timing:
93.441s elapsed time, 93.743s cpu time, 3.653s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.9 GiB
Isabelle version:
cbf5095487bb

HOL-UNITY

data:
CSV
timing:
0:01:22 elapsed time, 0:01:23 cpu time, factor 1.01
ML timing:
81.127s elapsed time, 82.251s cpu time, 2.387s 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:
cbf5095487bb

HOL-SET_Protocol

data:
CSV
timing:
0:01:17 elapsed time, 0:01:17 cpu time, factor 1.00
ML timing:
76.570s elapsed time, 76.840s cpu time, 0.881s 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:
cbf5095487bb

Datatypes

data:
CSV
timing:
0:01:01 elapsed time, 0:01:01 cpu time, factor 1.00
ML timing:
45.099s elapsed time, 45.443s cpu time, 2.252s GC time, factor 1.01
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:
69.7 MiB
Isabelle version:
cbf5095487bb

HOL-Metis_Examples

data:
CSV
timing:
0:00:58 elapsed time, 0:00:44 cpu time, factor 0.76
ML timing:
57.279s elapsed time, 43.719s cpu time, 1.181s GC time, factor 0.76
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:
cbf5095487bb

Corec

data:
CSV
timing:
0:00:53 elapsed time, 0:00:53 cpu time, factor 1.00
ML timing:
50.579s elapsed time, 50.589s cpu time, 2.562s 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.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-Matrix_LP

data:
CSV
timing:
0:00:43 elapsed time, 0:00:42 cpu time, factor 0.98
ML timing:
42.225s elapsed time, 41.767s cpu time, 0.878s 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:
cbf5095487bb

HOL-Combinatorics

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
40.096s elapsed time, 40.751s cpu time, 1.356s 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:
cbf5095487bb

HOL-Hoare

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
40.024s elapsed time, 40.219s cpu time, 0.585s 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:
cbf5095487bb

HOL-SPARK

data:
CSV
timing:
0:00:37 elapsed time, 0:00:37 cpu time, factor 1.00
ML timing:
30.600s elapsed time, 30.881s cpu time, 0.934s 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:
14.8 MiB
Isabelle version:
cbf5095487bb

HOL-Analysis-ex

data:
CSV
timing:
0:00:36 elapsed time, 0:00:36 cpu time, factor 1.00
ML timing:
34.684s elapsed time, 34.754s cpu time, 0.229s 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:
cbf5095487bb

Tutorial

data:
CSV
timing:
0:00:35 elapsed time, 0:00:35 cpu time, factor 1.00
ML timing:
33.775s elapsed time, 33.657s cpu time, 1.380s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-Cardinals

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
32.112s elapsed time, 32.598s cpu time, 0.691s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOLCF

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
23.104s elapsed time, 23.924s cpu time, 1.000s 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:
cbf5095487bb

IOA

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
20.104s elapsed time, 20.487s cpu time, 0.642s 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:
cbf5095487bb

HOLCF-Library

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
20.102s elapsed time, 20.518s cpu time, 0.501s 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:
cbf5095487bb

ZF

data:
CSV
timing:
0:00:26 elapsed time, 0:00:27 cpu time, factor 1.04
ML timing:
24.332s elapsed time, 25.767s cpu time, 1.689s GC time, factor 1.06
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.6 GiB
ML heap average:
1.4 GiB
ML heap stored:
13.6 MiB
Isabelle version:
cbf5095487bb

Isar_Ref

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
23.408s elapsed time, 23.148s cpu time, 0.987s 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:
cbf5095487bb

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:23 elapsed time, 0:00:24 cpu time, factor 1.04
ML timing:
17.143s elapsed time, 17.697s cpu time, 0.582s 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:
cbf5095487bb

HOL-Nominal

data:
CSV
timing:
0:00:22 elapsed time, 0:00:21 cpu time, factor 0.95
ML timing:
16.105s elapsed time, 16.076s cpu time, 0.462s GC time, factor 1.00
ML code maximum:
1.8 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
9.1 MiB
Isabelle version:
cbf5095487bb

HOL-Induct

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.326s elapsed time, 19.560s cpu time, 0.793s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-ZF

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.153s elapsed time, 19.740s cpu time, 0.694s 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:
cbf5095487bb

HOL-SPARK-Examples

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.724s elapsed time, 19.858s cpu time, 0.212s 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.3 GiB
Isabelle version:
cbf5095487bb

HOL-Types_To_Sets

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
18.289s elapsed time, 18.509s cpu time, 0.440s 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.4 GiB
Isabelle version:
cbf5095487bb

ZF-Constructible

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
18.319s elapsed time, 19.136s cpu time, 2.163s GC time, factor 1.04
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:
cbf5095487bb

ZF-UNITY

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
17.330s elapsed time, 17.818s cpu time, 0.433s 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:
cbf5095487bb

HOL-Statespace

data:
CSV
timing:
0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94
ML timing:
15.780s elapsed time, 15.885s cpu time, 0.363s 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:
cbf5095487bb

HOL-Hahn_Banach

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.202s elapsed time, 15.635s cpu time, 0.515s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

Typeclass_Hierarchy

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.439s elapsed time, 15.735s cpu time, 0.575s 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:
cbf5095487bb

HOL-TLA-Memory

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.421s elapsed time, 15.552s cpu time, 0.201s 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:
cbf5095487bb

Pure

data:
CSV
timing:
0:00:15 elapsed time, 0:00:14 cpu time, factor 0.93
ML timing:
0.703s elapsed time, 0.745s 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:
578.8 MiB
ML heap stored:
24 MiB
Isabelle version:
cbf5095487bb

System

data:
CSV
timing:
0:00:13 elapsed time
ML timing:
13.354s elapsed time, 1.317s cpu time, 0.000s GC time, factor 0.10
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
576 MiB
ML heap average:
303.9 MiB
Isabelle version:
cbf5095487bb

HOL-Unix

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.056s elapsed time, 11.284s cpu time, 0.461s 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:
cbf5095487bb

HOL-Eisbach

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.617s elapsed time, 10.611s cpu time, 0.186s GC time, factor 1.00
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:
cbf5095487bb

HOL-Import

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.759s elapsed time, 10.794s cpu time, 0.268s GC time, factor 1.00
ML stack maximum:
64.3 MiB
ML stack average:
58.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOLCF-Tutorial

data:
CSV
timing:
0:00:11 elapsed time, 0:00:10 cpu time, factor 0.91
ML timing:
9.634s elapsed time, 9.705s cpu time, 0.172s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

ZF-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.601s elapsed time, 9.943s cpu time, 0.283s GC time, factor 1.04
ML stack maximum:
4.3 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

IOA-NTP

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
8.437s elapsed time, 8.500s cpu time, 0.252s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

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.045s cpu time, 0.219s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

Haskell

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
8.842s elapsed time, 0.459s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
364 MiB
ML heap average:
343.8 MiB
Isabelle version:
cbf5095487bb

HOL-NanoJava

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.027s elapsed time, 7.110s cpu time, 0.231s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

FOL-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
8.053s elapsed time, 8.217s cpu time, 0.121s 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:
cbf5095487bb

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.928s cpu time, 0.233s 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:
cbf5095487bb

IOA-ABP

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
6.846s elapsed time, 6.897s cpu time, 0.188s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

ZF-Induct

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.226s elapsed time, 6.531s cpu time, 0.201s GC time, factor 1.05
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:
3.9 MiB
Isabelle version:
cbf5095487bb

Prog_Prove

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.260s elapsed time, 6.281s cpu time, 0.219s GC time, factor 1.00
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:
cbf5095487bb

HOLCF-FOCUS

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.152s elapsed time, 6.272s cpu time, 0.109s 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:
cbf5095487bb

HOLCF-IMP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.288s elapsed time, 6.331s cpu time, 0.140s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

HOL-TLA

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
1.868s elapsed time, 1.982s cpu time, 0.051s GC time, factor 1.06
ML stack maximum:
2.3 MiB
ML heap maximum:
806 MiB
ML heap average:
248.1 MiB
ML heap stored:
2.9 MiB
Isabelle version:
cbf5095487bb

HOL-SPARK-Manual

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
5.096s elapsed time, 5.110s 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:
cbf5095487bb

HOL-IMPP

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

HOL-TPTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
4.875s elapsed time, 4.956s cpu time, 0.206s 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:
cbf5095487bb

ZF-AC

data:
CSV
timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.17
ML timing:
6.467s elapsed time, 6.772s cpu time, 0.283s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

CCL

data:
CSV
timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.17
ML timing:
6.226s elapsed time, 6.636s cpu time, 0.291s 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:
cbf5095487bb

HOL-Proofs-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.391s elapsed time, 3.414s cpu time, 0.585s 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:
942.9 MiB
Isabelle version:
cbf5095487bb

Tools

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
3.512s elapsed time, 3.563s cpu time, 0.097s GC time, factor 1.01
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:
cbf5095487bb

FOL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
3.059s elapsed time, 3.215s cpu time, 0.070s 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:
855.3 MiB
ML heap stored:
3.6 MiB
Isabelle version:
cbf5095487bb

Sequents

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.767s elapsed time, 3.887s cpu time, 0.053s GC time, factor 1.03
ML heap maximum:
1.5 GiB
ML heap average:
971.2 MiB
Isabelle version:
cbf5095487bb

Implementation

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.350s elapsed time, 3.368s cpu time, 0.029s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1 GiB
ML heap average:
763.3 MiB
Isabelle version:
cbf5095487bb

FOLP-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
4.287s elapsed time, 4.379s cpu time, 0.054s 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:
cbf5095487bb

Sugar

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.597s elapsed time, 0.952s cpu time, 0.000s GC time, factor 0.37
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
526 MiB
ML heap average:
398.3 MiB
Isabelle version:
cbf5095487bb

HOL-IOA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.634s elapsed time, 2.670s cpu time, 0.033s GC time, factor 1.01
ML heap maximum:
1.3 GiB
ML heap average:
721.6 MiB
Isabelle version:
cbf5095487bb

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.089s elapsed time, 2.109s cpu time, 0.037s GC time, factor 1.01
ML heap maximum:
1.1 GiB
ML heap average:
741.7 MiB
Isabelle version:
cbf5095487bb

HOL-TLA-Inc

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.678s elapsed time, 2.700s cpu time, 0.028s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
804.2 MiB
Isabelle version:
cbf5095487bb

HOL-Lattice

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.224s elapsed time, 2.359s cpu time, 0.056s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML heap maximum:
762 MiB
ML heap average:
507.9 MiB
Isabelle version:
cbf5095487bb

Functions

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.464s elapsed time, 2.501s cpu time, 0.046s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.2 GiB
ML heap average:
813.8 MiB
Isabelle version:
cbf5095487bb

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.942s elapsed time, 1.990s cpu time, 0.028s GC time, factor 1.02
ML heap maximum:
756 MiB
ML heap average:
586.1 MiB
Isabelle version:
cbf5095487bb

LCF

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.719s elapsed time, 2.876s cpu time, 0.063s GC time, factor 1.06
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:
922.9 MiB
Isabelle version:
cbf5095487bb

ZF-Resid

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.820s elapsed time, 1.893s cpu time, 0.030s GC time, factor 1.04
ML heap maximum:
904 MiB
ML heap average:
721.9 MiB
Isabelle version:
cbf5095487bb

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.268s elapsed time, 1.277s cpu time, 0.031s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
635 MiB
ML heap average:
492.6 MiB
Isabelle version:
cbf5095487bb

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.289s elapsed time, 1.308s cpu time, 0.106s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
775 MiB
ML heap average:
445.6 MiB
Isabelle version:
cbf5095487bb

IOA-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.157s elapsed time, 1.171s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
622 MiB
ML heap average:
485.4 MiB
Isabelle version:
cbf5095487bb

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.646s elapsed time, 1.657s cpu time, 0.033s GC time, factor 1.01
ML heap maximum:
757 MiB
ML heap average:
580.5 MiB
Isabelle version:
cbf5095487bb

Locales

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.602s elapsed time, 1.677s cpu time, 0.047s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
760 MiB
ML heap average:
622.2 MiB
Isabelle version:
cbf5095487bb

Eisbach

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.836s elapsed time, 1.868s cpu time, 0.054s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
767 MiB
ML heap average:
712.2 MiB
Isabelle version:
cbf5095487bb

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.958s elapsed time, 1.000s cpu time, 0.034s GC time, factor 1.04
ML heap maximum:
758 MiB
ML heap average:
600.3 MiB
Isabelle version:
cbf5095487bb

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.775s elapsed time, 0.789s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
432 MiB
ML heap average:
217.4 MiB
Isabelle version:
cbf5095487bb

How_to_Prove_it

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

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.866s elapsed time, 0.887s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
696 MiB
ML heap average:
576.6 MiB
Isabelle version:
cbf5095487bb

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.215s elapsed time, 1.331s cpu time, 0.073s GC time, factor 1.10
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
726 MiB
ML heap average:
569 MiB
Isabelle version:
cbf5095487bb

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.155s elapsed time, 0.158s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
35 MiB
ML heap average:
35 MiB
Isabelle version:
cbf5095487bb

Demo_LLNCS

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

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.149s elapsed time, 0.151s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
38 MiB
ML heap average:
38 MiB
Isabelle version:
cbf5095487bb

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.411s elapsed time, 0.423s cpu time, 0.000s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
327 MiB
ML heap average:
327 MiB
Isabelle version:
cbf5095487bb

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.017s elapsed time, 1.078s cpu time, 0.034s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
758 MiB
ML heap average:
611.1 MiB
ML heap stored:
1.5 MiB
Isabelle version:
cbf5095487bb

Demo_Easychair

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

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.805s elapsed time, 0.635s cpu time, 0.000s GC time, factor 0.79
ML stack maximum:
4.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
311 MiB
ML heap average:
156.9 MiB
Isabelle version:
cbf5095487bb

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.595s elapsed time, 0.635s cpu time, 0.000s GC time, factor 1.07
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
488 MiB
ML heap average:
488 MiB
Isabelle version:
cbf5095487bb

Demo_EPTCS

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

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.331s elapsed time, 0.352s cpu time, 0.000s GC time, factor 1.06
ML heap maximum:
59 MiB
ML heap average:
3 MiB
Isabelle version:
cbf5095487bb

HOL-Probability

data:
CSV
Isabelle version:
cbf5095487bb

HOL-Predicate_Compile_Examples

data:
CSV
Isabelle version:
cbf5095487bb

Logics

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

Logics_ZF

data:
CSV
ML timing:
0.450s elapsed time, 0.459s 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:
cbf5095487bb

SML

data:
CSV
ML timing:
0.012s elapsed time, 0.014s cpu time, 0.000s GC time, factor 1.17
ML heap maximum:
22 MiB
ML heap average:
22 MiB
Isabelle version:
cbf5095487bb

Sledgehammer

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

Nitpick

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

Pure-ex

data:
CSV
ML timing:
0.382s elapsed time, 0.425s cpu time, 0.000s GC time, factor 1.11
ML heap maximum:
337 MiB
ML heap average:
337 MiB
Isabelle version:
cbf5095487bb

HOL-Imperative_HOL

data:
CSV
Isabelle version:
cbf5095487bb

Cube

data:
CSV
ML timing:
0.254s elapsed time, 0.279s cpu time, 0.000s GC time, factor 1.10
ML heap maximum:
55 MiB
ML heap average:
55 MiB
Isabelle version:
cbf5095487bb

Intro

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

HOL-Library

data:
CSV
Isabelle version:
cbf5095487bb

HOL-Quotient_Examples

data:
CSV
Isabelle version:
cbf5095487bb

Pure-Examples

data:
CSV
ML timing:
0.269s elapsed time, 0.308s cpu time, 0.000s GC time, factor 1.14
ML heap maximum:
50 MiB
ML heap average:
50 MiB
Isabelle version:
cbf5095487bb