Isabelle build status for macOS 12 Monterey (Intel), 4 threads

status date:
07-Sep-2026 00:40:08 +0200
build host:
mini1-monterey

HOL-Proofs

data:
CSV
timing:
0:06:47 elapsed time, 0:12:12 cpu time, factor 1.80
ML timing:
316.067s elapsed time, 535.811s cpu time, 71.981s GC time, factor 1.70
ML code maximum:
29.5 MiB
ML code average:
21.2 MiB
ML stack maximum:
72.3 MiB
ML stack average:
42.3 MiB
ML heap maximum:
12.5 GiB
ML heap average:
5.9 GiB
ML heap stored:
585.6 MiB
Isabelle version:
bdfb68441d8f

HOL-Data_Structures

data:
CSV
timing:
0:04:52 elapsed time, 0:17:50 cpu time, factor 3.66
ML timing:
288.307s elapsed time, 1059.331s cpu time, 47.166s GC time, factor 3.67
ML stack maximum:
24.3 MiB
ML stack average:
16.9 MiB
ML heap maximum:
8.7 GiB
ML heap average:
7.7 GiB
Isabelle version:
bdfb68441d8f

HOL

data:
CSV
timing:
0:04:07 elapsed time, 0:12:22 cpu time, factor 3.00
ML timing:
226.176s elapsed time, 700.854s cpu time, 53.052s GC time, factor 3.10
ML code maximum:
29.3 MiB
ML code average:
21.7 MiB
ML stack maximum:
89.3 MiB
ML stack average:
51.5 MiB
ML heap maximum:
6.9 GiB
ML heap average:
4.1 GiB
ML heap stored:
273 MiB
Isabelle version:
94cf1ee6b6e0

HOL-Nominal-Examples

data:
CSV
timing:
0:03:55 elapsed time, 0:14:11 cpu time, factor 3.62
ML timing:
232.426s elapsed time, 843.547s cpu time, 55.556s GC time, factor 3.63
ML stack maximum:
44.3 MiB
ML stack average:
38.9 MiB
ML heap maximum:
5.4 GiB
ML heap average:
4.7 GiB
Isabelle version:
bdfb68441d8f

HOL-Decision_Procs

data:
CSV
timing:
0:03:41 elapsed time, 0:13:45 cpu time, factor 3.73
ML timing:
217.824s elapsed time, 818.724s cpu time, 65.982s GC time, factor 3.76
ML code maximum:
4.7 MiB
ML code average:
2 MiB
ML stack maximum:
84.8 MiB
ML stack average:
46.5 MiB
ML heap maximum:
16.7 GiB
ML heap average:
9.8 GiB
Isabelle version:
bdfb68441d8f

HOL-Algebra

data:
CSV
timing:
0:02:25 elapsed time, 0:08:30 cpu time, factor 3.52
ML timing:
127.725s elapsed time, 476.246s cpu time, 61.792s GC time, factor 3.73
ML stack maximum:
19.9 MiB
ML stack average:
15.5 MiB
ML heap maximum:
9.8 GiB
ML heap average:
4.3 GiB
ML heap stored:
90.1 MiB
Isabelle version:
bdfb68441d8f

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:41 elapsed time, 0:02:40 cpu time, factor 1.58
ML timing:
99.448s elapsed time, 156.943s cpu time, 11.948s GC time, factor 1.58
ML stack maximum:
15.3 MiB
ML stack average:
13.3 MiB
ML heap maximum:
3.3 GiB
ML heap average:
2.5 GiB
Isabelle version:
bdfb68441d8f

HOL-Record_Benchmark

data:
CSV
timing:
0:01:25 elapsed time, 0:02:18 cpu time, factor 1.62
ML timing:
84.288s elapsed time, 135.313s cpu time, 10.783s GC time, factor 1.61
ML stack maximum:
9.3 MiB
ML stack average:
6.5 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Auth

data:
CSV
timing:
0:01:23 elapsed time, 0:04:25 cpu time, factor 3.19
ML timing:
77.090s elapsed time, 256.461s cpu time, 11.021s GC time, factor 3.33
ML stack maximum:
16 MiB
ML stack average:
12.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
ML heap stored:
44.8 MiB
Isabelle version:
94cf1ee6b6e0

HOL-Real_Asymp

data:
CSV
timing:
0:01:23 elapsed time, 0:04:50 cpu time, factor 3.49
ML timing:
72.743s elapsed time, 271.041s cpu time, 15.431s GC time, factor 3.73
ML code maximum:
3.1 MiB
ML code average:
2.6 MiB
ML stack maximum:
36.6 MiB
ML stack average:
23.1 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2 GiB
ML heap stored:
92.2 MiB
Isabelle version:
bdfb68441d8f

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:22 elapsed time, 0:01:35 cpu time, factor 1.16
ML timing:
79.758s elapsed time, 92.638s cpu time, 4.450s GC time, factor 1.16
ML stack maximum:
4.8 MiB
ML stack average:
3.8 MiB
ML heap maximum:
3.1 GiB
ML heap average:
2.5 GiB
Isabelle version:
bdfb68441d8f

HOL-Homology

data:
CSV
timing:
0:01:21 elapsed time, 0:04:32 cpu time, factor 3.36
ML timing:
79.099s elapsed time, 268.471s cpu time, 15.895s GC time, factor 3.39
ML stack maximum:
21.6 MiB
ML stack average:
16.4 MiB
ML heap maximum:
3.8 GiB
ML heap average:
3.2 GiB
Isabelle version:
bdfb68441d8f

HOL-Computational_Algebra

data:
CSV
timing:
0:01:17 elapsed time, 0:03:54 cpu time, factor 3.04
ML timing:
68.387s elapsed time, 218.887s cpu time, 10.172s GC time, factor 3.20
ML stack maximum:
33.3 MiB
ML stack average:
21.8 MiB
ML heap maximum:
3 GiB
ML heap average:
1.9 GiB
ML heap stored:
58.7 MiB
Isabelle version:
bdfb68441d8f

HOL-MicroJava

data:
CSV
timing:
0:01:11 elapsed time, 0:04:09 cpu time, factor 3.51
ML timing:
70.199s elapsed time, 247.512s cpu time, 5.917s GC time, factor 3.53
ML code maximum:
1.4 MiB
ML stack maximum:
13.6 MiB
ML stack average:
9.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
bdfb68441d8f

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:09 elapsed time, 0:02:33 cpu time, factor 2.22
ML timing:
68.080s elapsed time, 151.482s cpu time, 12.257s GC time, factor 2.23
ML code maximum:
5.5 MiB
ML code average:
2 MiB
ML stack maximum:
16.3 MiB
ML stack average:
12.8 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.7 GiB
Isabelle version:
bdfb68441d8f

Codegen

data:
CSV
timing:
0:01:07 elapsed time, 0:03:51 cpu time, factor 3.45
ML timing:
65.597s elapsed time, 229.359s cpu time, 10.738s GC time, factor 3.50
ML stack maximum:
15.6 MiB
ML stack average:
13.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
94cf1ee6b6e0

HOL-IMP

data:
CSV
timing:
0:01:07 elapsed time, 0:03:52 cpu time, factor 3.46
ML timing:
66.201s elapsed time, 229.698s cpu time, 18.704s GC time, factor 3.47
ML code maximum:
6.3 MiB
ML code average:
3.6 MiB
ML stack maximum:
14.8 MiB
ML stack average:
6.5 MiB
ML heap maximum:
2.7 GiB
ML heap average:
1.7 GiB
Isabelle version:
bdfb68441d8f

HOL-Complex_Analysis

data:
CSV
timing:
0:01:04 elapsed time, 0:03:29 cpu time, factor 3.27
ML timing:
62.213s elapsed time, 206.957s cpu time, 5.022s GC time, factor 3.33
ML stack maximum:
23.6 MiB
ML stack average:
20.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
bdfb68441d8f

HOL-Hoare_Parallel

data:
CSV
timing:
0:01:01 elapsed time, 0:03:32 cpu time, factor 3.48
ML timing:
59.731s elapsed time, 210.266s cpu time, 4.635s GC time, factor 3.52
ML stack maximum:
9.9 MiB
ML stack average:
6.6 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
bdfb68441d8f

HOL-Examples

data:
CSV
timing:
0:01:00 elapsed time, 0:03:32 cpu time, factor 3.53
ML timing:
58.934s elapsed time, 208.764s cpu time, 14.588s GC time, factor 3.54
ML stack maximum:
15 MiB
ML stack average:
12.9 MiB
ML heap maximum:
3.6 GiB
ML heap average:
3 GiB
Isabelle version:
bdfb68441d8f

HOL-Number_Theory

data:
CSV
timing:
0:00:54 elapsed time, 0:03:11 cpu time, factor 3.54
ML timing:
52.350s elapsed time, 188.664s cpu time, 11.139s GC time, factor 3.60
ML stack maximum:
11.5 MiB
ML stack average:
9.6 MiB
ML heap maximum:
2.8 GiB
ML heap average:
2.3 GiB
Isabelle version:
bdfb68441d8f

HOL-SMT_Examples

data:
CSV
timing:
0:00:47 elapsed time, 0:02:08 cpu time, factor 2.72
ML timing:
46.466s elapsed time, 127.088s cpu time, 3.766s GC time, factor 2.74
ML stack maximum:
13.3 MiB
ML stack average:
11.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

Datatypes

data:
CSV
timing:
0:00:43 elapsed time, 0:01:15 cpu time, factor 1.74
ML timing:
30.697s elapsed time, 52.987s cpu time, 2.816s GC time, factor 1.73
ML stack maximum:
7.4 MiB
ML stack average:
4.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
100.5 MiB
Isabelle version:
94cf1ee6b6e0

Corec

data:
CSV
timing:
0:00:40 elapsed time, 0:00:58 cpu time, factor 1.45
ML timing:
38.563s elapsed time, 55.741s cpu time, 3.083s GC time, factor 1.45
ML code maximum:
2.2 MiB
ML code average:
2 MiB
ML stack maximum:
8.7 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94cf1ee6b6e0

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:31 elapsed time, 0:01:23 cpu time, factor 2.68
ML timing:
29.825s elapsed time, 82.153s cpu time, 2.050s GC time, factor 2.75
ML stack maximum:
11.1 MiB
ML stack average:
8.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-UNITY

data:
CSV
timing:
0:00:31 elapsed time, 0:01:44 cpu time, factor 3.35
ML timing:
30.053s elapsed time, 102.274s cpu time, 5.143s GC time, factor 3.40
ML stack maximum:
14 MiB
ML stack average:
12.4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
bdfb68441d8f

HOL-SET_Protocol

data:
CSV
timing:
0:00:26 elapsed time, 0:01:22 cpu time, factor 3.15
ML timing:
25.562s elapsed time, 81.733s cpu time, 1.136s GC time, factor 3.20
ML stack maximum:
6.5 MiB
ML stack average:
5.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Analysis-ex

data:
CSV
timing:
0:00:21 elapsed time, 0:00:38 cpu time, factor 1.81
ML timing:
19.757s elapsed time, 36.706s cpu time, 0.327s GC time, factor 1.86
ML stack maximum:
6.3 MiB
ML stack average:
5.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
75f82fdca8d5

HOL-Metis_Examples

data:
CSV
timing:
0:00:21 elapsed time, 0:01:01 cpu time, factor 2.90
ML timing:
19.779s elapsed time, 60.430s cpu time, 5.866s GC time, factor 3.06
ML stack maximum:
7.6 MiB
ML stack average:
6.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-SPARK

data:
CSV
timing:
0:00:19 elapsed time, 0:00:45 cpu time, factor 2.37
ML timing:
14.192s elapsed time, 37.722s cpu time, 2.304s GC time, factor 2.66
ML stack maximum:
11.9 MiB
ML stack average:
6.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
20.9 MiB
Isabelle version:
bdfb68441d8f

HOL-Hoare

data:
CSV
timing:
0:00:18 elapsed time, 0:00:45 cpu time, factor 2.50
ML timing:
17.195s elapsed time, 43.988s cpu time, 0.974s GC time, factor 2.56
ML stack maximum:
3.5 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Matrix_LP

data:
CSV
timing:
0:00:17 elapsed time, 0:00:49 cpu time, factor 2.88
ML timing:
16.451s elapsed time, 47.894s cpu time, 1.324s GC time, factor 2.91
ML code maximum:
1 MiB
ML stack maximum:
5 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOLCF

data:
CSV
timing:
0:00:17 elapsed time, 0:00:36 cpu time, factor 2.12
ML timing:
11.811s elapsed time, 28.006s cpu time, 1.260s GC time, factor 2.37
ML code maximum:
1 MiB
ML stack maximum:
6.7 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
27.1 MiB
Isabelle version:
bdfb68441d8f

ZF

data:
CSV
timing:
0:00:17 elapsed time, 0:00:36 cpu time, factor 2.12
ML timing:
11.410s elapsed time, 33.492s cpu time, 3.262s GC time, factor 2.94
ML code maximum:
1.9 MiB
ML code average:
1.6 MiB
ML stack maximum:
13.5 MiB
ML stack average:
6.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.1 GiB
ML heap stored:
20.2 MiB
Isabelle version:
75f82fdca8d5

Pure

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0.690s elapsed time, 0.727s cpu time, 0.000s GC time, factor 1.05
ML code maximum:
17.9 MiB
ML code average:
17.9 MiB
ML stack maximum:
2 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
524.6 MiB
ML heap stored:
27.5 MiB
Isabelle version:
94cf1ee6b6e0

HOL-Statespace

data:
CSV
timing:
0:00:15 elapsed time, 0:00:18 cpu time, factor 1.20
ML timing:
14.685s elapsed time, 17.067s cpu time, 0.390s GC time, factor 1.16
ML stack maximum:
2.2 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Combinatorics

data:
CSV
timing:
0:00:15 elapsed time, 0:00:54 cpu time, factor 3.60
ML timing:
14.467s elapsed time, 52.652s cpu time, 2.010s GC time, factor 3.64
ML stack maximum:
13.4 MiB
ML stack average:
11.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

Tutorial

data:
CSV
timing:
0:00:13 elapsed time, 0:00:47 cpu time, factor 3.62
ML timing:
12.297s elapsed time, 45.950s cpu time, 4.012s GC time, factor 3.74
ML stack maximum:
6.1 MiB
ML stack average:
4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
bdfb68441d8f

HOL-Types_To_Sets

data:
CSV
timing:
0:00:12 elapsed time, 0:00:20 cpu time, factor 1.67
ML timing:
11.087s elapsed time, 19.546s cpu time, 0.509s GC time, factor 1.76
ML stack maximum:
3.9 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOLCF-Library

data:
CSV
timing:
0:00:12 elapsed time, 0:00:32 cpu time, factor 2.67
ML timing:
7.660s elapsed time, 25.551s cpu time, 0.732s GC time, factor 3.34
ML stack maximum:
5.9 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
953.6 MiB
ML heap stored:
14.3 MiB
Isabelle version:
bdfb68441d8f

HOL-Cardinals

data:
CSV
timing:
0:00:12 elapsed time, 0:00:39 cpu time, factor 3.25
ML timing:
11.264s elapsed time, 38.623s cpu time, 1.086s GC time, factor 3.43
ML stack maximum:
8.6 MiB
ML stack average:
7.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:12 elapsed time, 0:00:30 cpu time, factor 2.50
ML timing:
7.139s elapsed time, 23.180s cpu time, 0.794s GC time, factor 3.25
ML stack maximum:
4.7 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
883.4 MiB
ML heap stored:
14.8 MiB
Isabelle version:
bdfb68441d8f

Isar_Ref

data:
CSV
timing:
0:00:12 elapsed time, 0:00:31 cpu time, factor 2.58
ML timing:
11.181s elapsed time, 30.379s cpu time, 2.306s GC time, factor 2.72
ML stack maximum:
16.3 MiB
ML stack average:
13.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

IOA

data:
CSV
timing:
0:00:12 elapsed time, 0:00:31 cpu time, factor 2.58
ML timing:
7.031s elapsed time, 23.804s cpu time, 0.810s GC time, factor 3.39
ML stack maximum:
4.8 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
902.1 MiB
ML heap stored:
10.4 MiB
Isabelle version:
bdfb68441d8f

HOL-Nominal

data:
CSV
timing:
0:00:11 elapsed time, 0:00:30 cpu time, factor 2.73
ML timing:
6.594s elapsed time, 23.190s cpu time, 1.943s GC time, factor 3.52
ML code maximum:
1.6 MiB
ML stack maximum:
7.6 MiB
ML stack average:
4.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
875.1 MiB
ML heap stored:
13.5 MiB
Isabelle version:
bdfb68441d8f

HOL-Import

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
9.865s elapsed time, 10.632s cpu time, 0.301s GC time, factor 1.08
ML stack maximum:
64.6 MiB
ML stack average:
58.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-ZF

data:
CSV
timing:
0:00:09 elapsed time, 0:00:26 cpu time, factor 2.89
ML timing:
7.400s elapsed time, 24.943s cpu time, 0.925s GC time, factor 3.37
ML stack maximum:
10.7 MiB
ML stack average:
8.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

Haskell

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
7.949s elapsed time, 0.414s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
4.1 MiB
ML heap maximum:
378 MiB
ML heap average:
347 MiB
Isabelle version:
bdfb68441d8f

HOL-SPARK-Examples

data:
CSV
timing:
0:00:09 elapsed time, 0:00:23 cpu time, factor 2.56
ML timing:
8.112s elapsed time, 22.467s cpu time, 0.282s GC time, factor 2.77
ML stack maximum:
5.7 MiB
ML stack average:
4.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

Typeclass_Hierarchy

data:
CSV
timing:
0:00:08 elapsed time, 0:00:21 cpu time, factor 2.63
ML timing:
7.333s elapsed time, 20.457s cpu time, 0.773s GC time, factor 2.79
ML stack maximum:
9.5 MiB
ML stack average:
7.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

HOL-Induct

data:
CSV
timing:
0:00:08 elapsed time, 0:00:30 cpu time, factor 3.75
ML timing:
7.521s elapsed time, 28.652s cpu time, 3.155s GC time, factor 3.81
ML stack maximum:
2.4 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

ZF-Constructible

data:
CSV
timing:
0:00:08 elapsed time, 0:00:25 cpu time, factor 3.13
ML timing:
7.227s elapsed time, 24.259s cpu time, 3.057s GC time, factor 3.36
ML stack maximum:
9.2 MiB
ML stack average:
6 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
75f82fdca8d5

HOLCF-Tutorial

data:
CSV
timing:
0:00:08 elapsed time, 0:00:11 cpu time, factor 1.38
ML timing:
7.168s elapsed time, 9.939s cpu time, 0.240s GC time, factor 1.39
ML stack maximum:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

HOL-Hahn_Banach

data:
CSV
timing:
0:00:07 elapsed time, 0:00:19 cpu time, factor 2.71
ML timing:
5.912s elapsed time, 18.598s cpu time, 0.617s GC time, factor 3.15
ML stack maximum:
5.4 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

ZF-UNITY

data:
CSV
timing:
0:00:07 elapsed time, 0:00:24 cpu time, factor 3.43
ML timing:
6.693s elapsed time, 24.341s cpu time, 1.708s GC time, factor 3.64
ML stack maximum:
4.2 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

System

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
7.310s elapsed time, 1.797s cpu time, 0.000s GC time, factor 0.25
ML stack maximum:
6.3 MiB
ML stack average:
5.9 MiB
ML heap maximum:
685 MiB
ML heap average:
507 MiB
Isabelle version:
75f82fdca8d5

HOL-TLA-Memory

data:
CSV
timing:
0:00:06 elapsed time, 0:00:17 cpu time, factor 2.83
ML timing:
5.762s elapsed time, 16.509s cpu time, 0.257s GC time, factor 2.87
ML stack maximum:
3.4 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

IOA-NTP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.00
ML timing:
3.899s elapsed time, 9.046s cpu time, 0.294s GC time, factor 2.32
ML stack maximum:
1.6 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

HOL-NanoJava

data:
CSV
timing:
0:00:05 elapsed time, 0:00:09 cpu time, factor 1.80
ML timing:
3.971s elapsed time, 8.029s cpu time, 0.300s GC time, factor 2.02
ML stack maximum:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

HOL-TLA

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
1.212s elapsed time, 2.219s cpu time, 0.050s GC time, factor 1.83
ML stack maximum:
2.6 MiB
ML heap maximum:
922 MiB
ML heap average:
191.9 MiB
ML heap stored:
5.2 MiB
Isabelle version:
bdfb68441d8f

FOL-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.00
ML timing:
4.890s elapsed time, 10.038s cpu time, 0.351s GC time, factor 2.05
ML stack maximum:
5.8 MiB
ML stack average:
4.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94cf1ee6b6e0

HOL-Isar_Examples

data:
CSV
timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.00
ML timing:
4.136s elapsed time, 9.285s cpu time, 0.272s GC time, factor 2.24
ML stack maximum:
3.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Unix

data:
CSV
timing:
0:00:05 elapsed time, 0:00:15 cpu time, factor 3.00
ML timing:
4.310s elapsed time, 13.808s cpu time, 0.622s GC time, factor 3.20
ML stack maximum:
3.6 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

ZF-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:11 cpu time, factor 2.20
ML timing:
4.871s elapsed time, 10.995s cpu time, 0.406s GC time, factor 2.26
ML stack maximum:
7.4 MiB
ML stack average:
6.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Eisbach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:13 cpu time, factor 3.25
ML timing:
3.783s elapsed time, 13.015s cpu time, 0.393s GC time, factor 3.44
ML code maximum:
1.9 MiB
ML code average:
1.4 MiB
ML stack maximum:
4.4 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

HOL-IMPP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
2.827s elapsed time, 5.557s cpu time, 0.232s GC time, factor 1.97
ML stack maximum:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
bdfb68441d8f

IOA-ABP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 2.00
ML timing:
3.389s elapsed time, 7.298s cpu time, 0.229s GC time, factor 2.15
ML stack maximum:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

HOL-TPTP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.290s elapsed time, 5.260s cpu time, 0.319s GC time, factor 1.60
ML code maximum:
4 MiB
ML code average:
2.8 MiB
ML stack maximum:
32.8 MiB
ML stack average:
24.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

CCL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.937s elapsed time, 5.806s cpu time, 0.273s GC time, factor 1.47
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
4.1 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
94cf1ee6b6e0

HOLCF-IMP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 2.00
ML timing:
3.615s elapsed time, 7.003s cpu time, 0.168s GC time, factor 1.94
ML stack maximum:
2.5 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

ZF-Induct

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.715s elapsed time, 7.212s cpu time, 0.302s GC time, factor 2.66
ML stack maximum:
3.8 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
997.5 MiB
ML heap stored:
6 MiB
Isabelle version:
bdfb68441d8f

HOL-SPARK-Manual

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.381s elapsed time, 5.460s cpu time, 0.074s GC time, factor 2.29
ML stack maximum:
2.7 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

Prog_Prove

data:
CSV
timing:
0:00:03 elapsed time, 0:00:09 cpu time, factor 3.00
ML timing:
2.283s elapsed time, 7.933s cpu time, 0.421s GC time, factor 3.47
ML stack maximum:
5 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

HOL-Proofs-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.081s elapsed time, 3.624s cpu time, 0.638s GC time, factor 1.74
ML stack maximum:
7.3 MiB
ML stack average:
6.1 MiB
ML heap maximum:
1.3 GiB
ML heap average:
1.1 GiB
Isabelle version:
bdfb68441d8f

HOLCF-FOCUS

data:
CSV
timing:
0:00:03 elapsed time, 0:00:07 cpu time, factor 2.33
ML timing:
2.307s elapsed time, 6.877s cpu time, 0.164s GC time, factor 2.98
ML stack maximum:
1.7 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bdfb68441d8f

Tools

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.789s elapsed time, 2.999s cpu time, 0.129s GC time, factor 1.08
ML code maximum:
2 MiB
ML code average:
1.2 MiB
ML stack maximum:
2.6 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
75f82fdca8d5

FOL

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.331s elapsed time, 2.623s cpu time, 0.061s GC time, factor 1.13
ML code maximum:
1.4 MiB
ML stack maximum:
2.4 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1014.4 MiB
ML heap stored:
4.9 MiB
Isabelle version:
94cf1ee6b6e0

HOLCF-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:09 cpu time, factor 3.00
ML timing:
2.523s elapsed time, 8.378s cpu time, 0.332s GC time, factor 3.32
ML stack maximum:
3.1 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

Implementation

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.033s elapsed time, 4.322s cpu time, 0.035s GC time, factor 2.13
ML stack maximum:
9.8 MiB
ML stack average:
9.5 MiB
ML heap maximum:
1.2 GiB
ML heap average:
990.6 MiB
Isabelle version:
bdfb68441d8f

ZF-AC

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.410s elapsed time, 8.178s cpu time, 0.407s GC time, factor 3.39
ML stack maximum:
4.4 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.3 GiB
Isabelle version:
75f82fdca8d5

Functions

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
1.951s elapsed time, 2.721s cpu time, 0.106s GC time, factor 1.39
ML stack maximum:
3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
94cf1ee6b6e0

LCF

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.423s elapsed time, 2.776s cpu time, 0.060s GC time, factor 1.15
ML code maximum:
1.4 MiB
ML stack maximum:
3.4 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
75f82fdca8d5

HOL-IOA

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.798s elapsed time, 2.782s cpu time, 0.053s GC time, factor 1.55
ML stack maximum:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
885.4 MiB
Isabelle version:
bdfb68441d8f

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.958s elapsed time, 1.456s cpu time, 0.033s GC time, factor 1.52
ML stack maximum:
1.5 MiB
ML heap maximum:
762 MiB
ML heap average:
603 MiB
Isabelle version:
94cf1ee6b6e0

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.233s elapsed time, 2.377s cpu time, 0.043s GC time, factor 1.93
ML heap maximum:
1.3 GiB
ML heap average:
845.3 MiB
Isabelle version:
bdfb68441d8f

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.180s elapsed time, 1.264s cpu time, 0.088s GC time, factor 1.07
ML stack maximum:
8.6 MiB
ML stack average:
5.7 MiB
ML heap maximum:
776 MiB
ML heap average:
458.8 MiB
Isabelle version:
bdfb68441d8f

Sequents

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
1.403s elapsed time, 4.769s cpu time, 0.099s GC time, factor 3.40
ML stack maximum:
1.6 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
75f82fdca8d5

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.135s elapsed time, 1.599s cpu time, 0.033s GC time, factor 1.41
ML heap maximum:
762 MiB
ML heap average:
639.8 MiB
Isabelle version:
bdfb68441d8f

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.243s elapsed time, 3.016s cpu time, 0.036s GC time, factor 2.43
ML stack maximum:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
936.2 MiB
Isabelle version:
bdfb68441d8f

FOLP-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
1.814s elapsed time, 5.173s cpu time, 0.095s GC time, factor 2.85
ML code maximum:
1.4 MiB
ML code average:
1.1 MiB
ML stack maximum:
1.9 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
94cf1ee6b6e0

HOL-Lattice

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.570s elapsed time, 2.593s cpu time, 0.050s GC time, factor 1.65
ML stack maximum:
2.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1 GiB
ML heap average:
767 MiB
Isabelle version:
bdfb68441d8f

Eisbach

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.430s elapsed time, 1.921s cpu time, 0.062s GC time, factor 1.34
ML stack maximum:
2.6 MiB
ML stack average:
1.5 MiB
ML heap maximum:
899 MiB
ML heap average:
813 MiB
Isabelle version:
94cf1ee6b6e0

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.194s elapsed time, 1.888s cpu time, 0.026s GC time, factor 1.58
ML heap maximum:
762 MiB
ML heap average:
373.4 MiB
Isabelle version:
bdfb68441d8f

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.669s elapsed time, 0.780s cpu time, 0.000s GC time, factor 1.17
ML stack maximum:
1.7 MiB
ML stack average:
1.7 MiB
ML heap maximum:
474 MiB
ML heap average:
474 MiB
Isabelle version:
bdfb68441d8f

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.995s elapsed time, 2.035s cpu time, 0.028s GC time, factor 2.05
ML heap maximum:
1.1 GiB
ML heap average:
954.5 MiB
Isabelle version:
bdfb68441d8f

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.461s elapsed time, 1.063s cpu time, 0.028s GC time, factor 2.31
ML heap maximum:
762 MiB
ML heap average:
762 MiB
Isabelle version:
75f82fdca8d5

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.422s elapsed time, 0.875s cpu time, 0.000s GC time, factor 2.07
ML heap maximum:
695 MiB
ML heap average:
695 MiB
Isabelle version:
bdfb68441d8f

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.185s elapsed time, 0.329s cpu time, 0.000s GC time, factor 1.78
ML heap maximum:
32 MiB
ML heap average:
32 MiB
Isabelle version:
bdfb68441d8f

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.787s elapsed time, 0.944s cpu time, 0.022s GC time, factor 1.20
ML heap maximum:
594 MiB
ML heap average:
300.7 MiB
Isabelle version:
75f82fdca8d5

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.642s elapsed time, 1.080s cpu time, 0.063s GC time, factor 1.68
ML stack maximum:
1.8 MiB
ML stack average:
1.8 MiB
ML heap maximum:
744 MiB
ML heap average:
744 MiB
Isabelle version:
94cf1ee6b6e0

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.120s elapsed time, 0.131s cpu time, 0.000s GC time, factor 1.09
ML heap maximum:
41 MiB
ML heap average:
41 MiB
Isabelle version:
94cf1ee6b6e0

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.121s elapsed time, 0.134s cpu time, 0.000s GC time, factor 1.11
ML heap maximum:
43 MiB
ML heap average:
43 MiB
Isabelle version:
94cf1ee6b6e0

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.120s elapsed time, 0.131s cpu time, 0.000s GC time, factor 1.09
ML heap maximum:
42 MiB
ML heap average:
42 MiB
Isabelle version:
94cf1ee6b6e0

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.620s elapsed time, 1.298s cpu time, 0.036s GC time, factor 2.09
ML heap maximum:
730 MiB
ML heap average:
730 MiB
Isabelle version:
bdfb68441d8f

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.261s elapsed time, 0.389s cpu time, 0.000s GC time, factor 1.49
ML heap maximum:
47 MiB
ML heap average:
47 MiB
Isabelle version:
bdfb68441d8f

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.989s elapsed time, 1.089s cpu time, 0.064s GC time, factor 1.10
ML stack maximum:
1.3 MiB
ML heap maximum:
771 MiB
ML heap average:
433.4 MiB
ML heap stored:
2.3 MiB
Isabelle version:
94cf1ee6b6e0

Locales

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.796s elapsed time, 1.708s cpu time, 0.054s GC time, factor 2.15
ML stack maximum:
2.7 MiB
ML stack average:
1.5 MiB
ML heap maximum:
766 MiB
ML heap average:
719.5 MiB
Isabelle version:
bdfb68441d8f

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.120s elapsed time, 0.130s cpu time, 0.000s GC time, factor 1.08
ML heap maximum:
42 MiB
ML heap average:
42 MiB
Isabelle version:
94cf1ee6b6e0

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.508s elapsed time, 0.562s cpu time, 0.000s GC time, factor 1.11
ML heap maximum:
457 MiB
ML heap average:
457 MiB
Isabelle version:
bdfb68441d8f

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.563s elapsed time, 0.602s cpu time, 0.000s GC time, factor 1.07
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
547 MiB
ML heap average:
547 MiB
Isabelle version:
bdfb68441d8f

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.121s elapsed time, 0.131s cpu time, 0.000s GC time, factor 1.08
ML heap maximum:
42 MiB
ML heap average:
42 MiB
Isabelle version:
94cf1ee6b6e0

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.232s elapsed time, 0.387s cpu time, 0.000s GC time, factor 1.67
ML heap maximum:
102 MiB
ML heap average:
102 MiB
Isabelle version:
bdfb68441d8f

HOL-Probability

data:
CSV
Isabelle version:
bdfb68441d8f

HOL-Predicate_Compile_Examples

data:
CSV
Isabelle version:
bdfb68441d8f

Logics

data:
CSV
ML heap maximum:
11 MiB
ML heap average:
11 MiB
Isabelle version:
bdfb68441d8f

Logics_ZF

data:
CSV
ML timing:
0.289s elapsed time, 0.510s cpu time, 0.000s GC time, factor 1.76
ML stack maximum:
1.4 MiB
ML stack average:
1.4 MiB
ML heap maximum:
156 MiB
ML heap average:
156 MiB
Isabelle version:
75f82fdca8d5

SML

data:
CSV
ML timing:
0.009s elapsed time, 0.013s cpu time, 0.000s GC time, factor 1.44
ML heap maximum:
23 MiB
ML heap average:
23 MiB
Isabelle version:
75f82fdca8d5

Sledgehammer

data:
CSV
ML heap maximum:
11 MiB
ML heap average:
11 MiB
Isabelle version:
bdfb68441d8f

HOL-Bali

data:
CSV
Isabelle version:
94cf1ee6b6e0

Nitpick

data:
CSV
ML heap maximum:
11 MiB
ML heap average:
11 MiB
Isabelle version:
bdfb68441d8f

Pure-ex

data:
CSV
ML timing:
0.163s elapsed time, 0.480s cpu time, 0.000s GC time, factor 2.94
ML stack maximum:
1.2 MiB
ML stack average:
1.2 MiB
ML heap maximum:
152 MiB
ML heap average:
152 MiB
Isabelle version:
75f82fdca8d5

HOL-Imperative_HOL

data:
CSV
Isabelle version:
bdfb68441d8f

Cube

data:
CSV
ML timing:
0.248s elapsed time, 0.273s cpu time, 0.000s GC time, factor 1.10
ML heap maximum:
59 MiB
ML heap average:
59 MiB
Isabelle version:
94cf1ee6b6e0

Intro

data:
CSV
ML heap maximum:
11 MiB
ML heap average:
11 MiB
Isabelle version:
bdfb68441d8f

HOL-Analysis

data:
CSV
Isabelle version:
94cf1ee6b6e0

HOL-Library

data:
CSV
Isabelle version:
bdfb68441d8f

HOL-Quotient_Examples

data:
CSV
Isabelle version:
bdfb68441d8f

Pure-Examples

data:
CSV
ML timing:
0.200s elapsed time, 0.365s cpu time, 0.000s GC time, factor 1.83
ML heap maximum:
131 MiB
ML heap average:
131 MiB
Isabelle version:
75f82fdca8d5