Isabelle build status for macOS 13 Ventura (ARM), 2 threads

status date:
24-Aug-2026 13:47:21 +0200
build host:
mini3

HOL-Analysis

data:
CSV
timing:
0:12:21 elapsed time, 0:21:54 cpu time, factor 1.77
ML timing:
688.402s elapsed time, 1234.872s cpu time, 91.315s GC time, factor 1.79
ML code maximum:
5.4 MiB
ML code average:
5.2 MiB
ML stack maximum:
44.6 MiB
ML stack average:
38.9 MiB
ML heap maximum:
8.6 GiB
ML heap average:
6.2 GiB
ML heap stored:
380.6 MiB
Isabelle version:
c49c146b758b

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:09:29 elapsed time, 0:17:58 cpu time, factor 1.89
ML timing:
568.580s elapsed time, 1077.484s cpu time, 36.178s GC time, factor 1.90
ML code maximum:
230.2 MiB
ML code average:
200.5 MiB
ML stack maximum:
5.5 MiB
ML stack average:
3.7 MiB
ML heap maximum:
2.8 GiB
ML heap average:
2.1 GiB
Isabelle version:
c49c146b758b

HOL-Datatype_Benchmark

data:
CSV
timing:
0:06:09 elapsed time, 0:11:33 cpu time, factor 1.88
ML timing:
345.973s elapsed time, 656.393s cpu time, 134.126s GC time, factor 1.90
ML stack maximum:
10.3 MiB
ML stack average:
6.4 MiB
ML heap maximum:
25 GiB
ML heap average:
15 GiB
Isabelle version:
c49c146b758b

HOL-Data_Structures

data:
CSV
timing:
0:06:01 elapsed time, 0:10:40 cpu time, factor 1.77
ML timing:
358.462s elapsed time, 635.428s cpu time, 55.415s GC time, factor 1.77
ML stack maximum:
20.8 MiB
ML stack average:
12.1 MiB
ML heap maximum:
4.4 GiB
ML heap average:
3.4 GiB
Isabelle version:
c49c146b758b

HOL-Decision_Procs

data:
CSV
timing:
0:05:37 elapsed time, 0:09:38 cpu time, factor 1.72
ML timing:
334.925s elapsed time, 574.315s cpu time, 36.891s GC time, factor 1.71
ML code maximum:
6.3 MiB
ML code average:
3.1 MiB
ML stack maximum:
64.8 MiB
ML stack average:
36.9 MiB
ML heap maximum:
18.6 GiB
ML heap average:
13.4 GiB
Isabelle version:
c49c146b758b

HOL-Proofs

data:
CSV
timing:
0:05:10 elapsed time, 0:08:01 cpu time, factor 1.55
ML timing:
232.895s elapsed time, 360.205s cpu time, 59.764s GC time, factor 1.55
ML code maximum:
40.1 MiB
ML code average:
31.8 MiB
ML stack maximum:
68.3 MiB
ML stack average:
39.1 MiB
ML heap maximum:
14 GiB
ML heap average:
5.1 GiB
ML heap stored:
594.4 MiB
Isabelle version:
c49c146b758b

HOL-ex

data:
CSV
timing:
0:05:06 elapsed time, 0:09:13 cpu time, factor 1.81
ML timing:
303.679s elapsed time, 549.332s cpu time, 27.383s GC time, factor 1.81
ML code maximum:
8 MiB
ML code average:
4 MiB
ML stack maximum:
56.3 MiB
ML stack average:
31.3 MiB
ML heap maximum:
3.5 GiB
ML heap average:
3.2 GiB
Isabelle version:
c49c146b758b

HOL-Codegenerator_Test

data:
CSV
timing:
0:04:56 elapsed time, 0:07:01 cpu time, factor 1.42
ML timing:
293.608s elapsed time, 417.399s cpu time, 34.033s GC time, factor 1.42
ML code maximum:
3.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
36.6 MiB
ML stack average:
32.7 MiB
ML heap maximum:
5.5 GiB
ML heap average:
3.5 GiB
Isabelle version:
c49c146b758b

HOL-Nominal-Examples

data:
CSV
timing:
0:04:51 elapsed time, 0:08:50 cpu time, factor 1.82
ML timing:
286.256s elapsed time, 522.717s cpu time, 37.098s GC time, factor 1.83
ML stack maximum:
38.6 MiB
ML stack average:
36.3 MiB
ML heap maximum:
5.5 GiB
ML heap average:
4.6 GiB
Isabelle version:
c49c146b758b

HOL-Library

data:
CSV
timing:
0:03:47 elapsed time, 0:06:46 cpu time, factor 1.79
ML timing:
205.410s elapsed time, 373.648s cpu time, 21.928s GC time, factor 1.82
ML code maximum:
6.9 MiB
ML code average:
6.6 MiB
ML stack maximum:
18.6 MiB
ML stack average:
15.4 MiB
ML heap maximum:
4.2 GiB
ML heap average:
3.4 GiB
ML heap stored:
212.2 MiB
Isabelle version:
c49c146b758b

HOL

data:
CSV
timing:
0:03:35 elapsed time, 0:06:36 cpu time, factor 1.84
ML timing:
197.599s elapsed time, 369.930s cpu time, 29.343s GC time, factor 1.87
ML code maximum:
40.4 MiB
ML code average:
33.3 MiB
ML stack maximum:
90.3 MiB
ML stack average:
69 MiB
ML heap maximum:
7.6 GiB
ML heap average:
4.4 GiB
ML heap stored:
281.9 MiB
Isabelle version:
c49c146b758b

HOL-Algebra

data:
CSV
timing:
0:02:48 elapsed time, 0:05:20 cpu time, factor 1.90
ML timing:
154.305s elapsed time, 299.412s cpu time, 69.322s GC time, factor 1.94
ML stack maximum:
9.9 MiB
ML stack average:
7.9 MiB
ML heap maximum:
8 GiB
ML heap average:
3.3 GiB
ML heap stored:
90 MiB
Isabelle version:
c49c146b758b

HOL-Corec_Examples

data:
CSV
timing:
0:02:31 elapsed time, 0:04:55 cpu time, factor 1.95
ML timing:
145.956s elapsed time, 286.216s cpu time, 42.078s GC time, factor 1.96
ML stack maximum:
6.9 MiB
ML stack average:
1.4 MiB
ML heap maximum:
7.5 GiB
ML heap average:
3.3 GiB
Isabelle version:
c49c146b758b

HOL-Probability

data:
CSV
timing:
0:01:43 elapsed time, 0:03:01 cpu time, factor 1.76
ML timing:
90.533s elapsed time, 163.429s cpu time, 13.665s GC time, factor 1.81
ML stack maximum:
14.4 MiB
ML stack average:
10.9 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.3 GiB
ML heap stored:
74.1 MiB
Isabelle version:
c49c146b758b

HOL-Datatype_Examples

data:
CSV
timing:
0:01:41 elapsed time, 0:03:20 cpu time, factor 1.98
ML timing:
98.513s elapsed time, 195.096s cpu time, 43.344s GC time, factor 1.98
ML stack maximum:
5.9 MiB
ML stack average:
2.6 MiB
ML heap maximum:
5.6 GiB
ML heap average:
3.1 GiB
Isabelle version:
c49c146b758b

HOL-Imperative_HOL

data:
CSV
timing:
0:01:39 elapsed time, 0:02:45 cpu time, factor 1.67
ML timing:
97.725s elapsed time, 163.842s cpu time, 10.747s GC time, factor 1.68
ML stack maximum:
19.1 MiB
ML stack average:
17 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Auth

data:
CSV
timing:
0:01:36 elapsed time, 0:02:29 cpu time, factor 1.55
ML timing:
91.897s elapsed time, 143.792s cpu time, 3.457s GC time, factor 1.56
ML stack maximum:
11.8 MiB
ML stack average:
10.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
44.8 MiB
Isabelle version:
c49c146b758b

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:30 elapsed time, 0:02:06 cpu time, factor 1.40
ML timing:
88.790s elapsed time, 124.411s cpu time, 9.898s GC time, factor 1.40
ML code maximum:
1 MiB
ML stack maximum:
12.5 MiB
ML stack average:
12 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Real_Asymp

data:
CSV
timing:
0:01:29 elapsed time, 0:02:44 cpu time, factor 1.84
ML timing:
81.108s elapsed time, 152.338s cpu time, 9.281s GC time, factor 1.88
ML code maximum:
5.7 MiB
ML code average:
5 MiB
ML stack maximum:
33.4 MiB
ML stack average:
26.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
92.9 MiB
Isabelle version:
c49c146b758b

HOL-Homology

data:
CSV
timing:
0:01:29 elapsed time, 0:02:39 cpu time, factor 1.79
ML timing:
87.593s elapsed time, 157.305s cpu time, 19.333s GC time, factor 1.80
ML stack maximum:
17.4 MiB
ML stack average:
15.3 MiB
ML heap maximum:
2.5 GiB
ML heap average:
1.7 GiB
Isabelle version:
c49c146b758b

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:01:24 elapsed time, 0:02:01 cpu time, factor 1.44
ML timing:
83.652s elapsed time, 120.215s cpu time, 4.328s GC time, factor 1.44
ML code maximum:
8 MiB
ML code average:
4.5 MiB
ML stack maximum:
7.6 MiB
ML stack average:
4.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-MicroJava

data:
CSV
timing:
0:01:17 elapsed time, 0:02:16 cpu time, factor 1.77
ML timing:
76.387s elapsed time, 135.646s cpu time, 3.568s GC time, factor 1.78
ML code maximum:
1.8 MiB
ML code average:
1.1 MiB
ML stack maximum:
12.4 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:15 elapsed time, 0:01:19 cpu time, factor 1.05
ML timing:
73.928s elapsed time, 78.598s cpu time, 2.985s GC time, factor 1.06
ML code maximum:
17.7 MiB
ML code average:
12.3 MiB
ML stack maximum:
14.6 MiB
ML stack average:
13.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-IMP

data:
CSV
timing:
0:01:14 elapsed time, 0:02:05 cpu time, factor 1.69
ML timing:
73.253s elapsed time, 123.859s cpu time, 7.979s GC time, factor 1.69
ML code maximum:
15.2 MiB
ML code average:
6.1 MiB
ML stack maximum:
6.9 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

Codegen

data:
CSV
timing:
0:01:10 elapsed time, 0:02:12 cpu time, factor 1.89
ML timing:
69.147s elapsed time, 131.218s cpu time, 4.339s GC time, factor 1.90
ML stack maximum:
11.6 MiB
ML stack average:
10.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Hoare_Parallel

data:
CSV
timing:
0:01:08 elapsed time, 0:02:06 cpu time, factor 1.85
ML timing:
67.215s elapsed time, 124.970s cpu time, 2.526s GC time, factor 1.86
ML stack maximum:
6.8 MiB
ML stack average:
4.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Examples

data:
CSV
timing:
0:01:08 elapsed time, 0:02:05 cpu time, factor 1.84
ML timing:
67.010s elapsed time, 123.581s cpu time, 9.575s GC time, factor 1.84
ML code maximum:
1.4 MiB
ML stack maximum:
12.8 MiB
ML stack average:
10.9 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Computational_Algebra

data:
CSV
timing:
0:01:07 elapsed time, 0:02:04 cpu time, factor 1.85
ML timing:
59.640s elapsed time, 114.793s cpu time, 5.073s GC time, factor 1.92
ML code maximum:
1.1 MiB
ML stack maximum:
36.6 MiB
ML stack average:
24.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
58.7 MiB
Isabelle version:
c49c146b758b

HOL-Record_Benchmark

data:
CSV
timing:
0:01:03 elapsed time, 0:01:31 cpu time, factor 1.44
ML timing:
61.633s elapsed time, 89.566s cpu time, 3.123s GC time, factor 1.45
ML stack maximum:
3.5 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Complex_Analysis

data:
CSV
timing:
0:01:03 elapsed time, 0:01:51 cpu time, factor 1.76
ML timing:
61.971s elapsed time, 110.286s cpu time, 2.689s GC time, factor 1.78
ML stack maximum:
17.9 MiB
ML stack average:
16.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:02 elapsed time, 0:01:07 cpu time, factor 1.08
ML timing:
61.211s elapsed time, 66.406s cpu time, 1.906s GC time, factor 1.08
ML stack maximum:
2.7 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Number_Theory

data:
CSV
timing:
0:01:00 elapsed time, 0:01:46 cpu time, factor 1.77
ML timing:
58.678s elapsed time, 105.144s cpu time, 9.077s GC time, factor 1.79
ML stack maximum:
11.3 MiB
ML stack average:
10 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Bali

data:
CSV
timing:
0:00:58 elapsed time, 0:01:46 cpu time, factor 1.83
ML timing:
56.822s elapsed time, 104.826s cpu time, 4.761s GC time, factor 1.84
ML stack maximum:
14 MiB
ML stack average:
9.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:39 elapsed time, 0:00:53 cpu time, factor 1.36
ML timing:
38.045s elapsed time, 52.942s cpu time, 1.073s GC time, factor 1.39
ML stack maximum:
6.5 MiB
ML stack average:
5.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-SMT_Examples

data:
CSV
timing:
0:00:36 elapsed time, 0:01:10 cpu time, factor 1.94
ML timing:
35.793s elapsed time, 69.357s cpu time, 1.615s GC time, factor 1.94
ML stack maximum:
11.1 MiB
ML stack average:
9.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-UNITY

data:
CSV
timing:
0:00:33 elapsed time, 0:00:54 cpu time, factor 1.64
ML timing:
32.341s elapsed time, 53.518s cpu time, 2.100s GC time, factor 1.65
ML stack maximum:
11.1 MiB
ML stack average:
9.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-SET_Protocol

data:
CSV
timing:
0:00:32 elapsed time, 0:00:51 cpu time, factor 1.59
ML timing:
31.400s elapsed time, 50.290s cpu time, 0.719s GC time, factor 1.60
ML stack maximum:
5.2 MiB
ML stack average:
4.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

Datatypes

data:
CSV
timing:
0:00:31 elapsed time, 0:00:48 cpu time, factor 1.55
ML timing:
21.816s elapsed time, 34.301s cpu time, 2.089s GC time, factor 1.57
ML stack maximum:
10 MiB
ML stack average:
6.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
100.6 MiB
Isabelle version:
c49c146b758b

Corec

data:
CSV
timing:
0:00:30 elapsed time, 0:00:41 cpu time, factor 1.37
ML timing:
29.269s elapsed time, 39.520s cpu time, 2.332s GC time, factor 1.35
ML code maximum:
2.9 MiB
ML code average:
2.7 MiB
ML stack maximum:
9.6 MiB
ML stack average:
8.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Analysis-ex

data:
CSV
timing:
0:00:21 elapsed time, 0:00:27 cpu time, factor 1.29
ML timing:
20.143s elapsed time, 26.694s cpu time, 0.260s GC time, factor 1.33
ML stack maximum:
4.4 MiB
ML stack average:
4.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Metis_Examples

data:
CSV
timing:
0:00:20 elapsed time, 0:00:32 cpu time, factor 1.60
ML timing:
19.922s elapsed time, 31.697s cpu time, 1.885s GC time, factor 1.59
ML stack maximum:
6.4 MiB
ML stack average:
5.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Matrix_LP

data:
CSV
timing:
0:00:17 elapsed time, 0:00:29 cpu time, factor 1.71
ML timing:
16.855s elapsed time, 28.459s cpu time, 0.800s GC time, factor 1.69
ML code maximum:
1.4 MiB
ML code average:
1.2 MiB
ML stack maximum:
7 MiB
ML stack average:
6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-SPARK

data:
CSV
timing:
0:00:16 elapsed time, 0:00:27 cpu time, factor 1.69
ML timing:
12.021s elapsed time, 21.682s cpu time, 0.875s GC time, factor 1.80
ML stack maximum:
8.6 MiB
ML stack average:
5.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
21.2 MiB
Isabelle version:
c49c146b758b

HOL-Combinatorics

data:
CSV
timing:
0:00:16 elapsed time, 0:00:28 cpu time, factor 1.75
ML timing:
14.985s elapsed time, 27.300s cpu time, 1.066s GC time, factor 1.82
ML stack maximum:
11.2 MiB
ML stack average:
10.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Quotient_Examples

data:
CSV
timing:
0:00:15 elapsed time, 0:00:19 cpu time, factor 1.27
ML timing:
13.861s elapsed time, 18.860s cpu time, 0.960s GC time, factor 1.36
ML stack maximum:
3.9 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Hoare

data:
CSV
timing:
0:00:15 elapsed time, 0:00:28 cpu time, factor 1.87
ML timing:
14.492s elapsed time, 27.774s cpu time, 0.772s GC time, factor 1.92
ML stack maximum:
3 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

Tutorial

data:
CSV
timing:
0:00:14 elapsed time, 0:00:25 cpu time, factor 1.79
ML timing:
12.982s elapsed time, 24.395s cpu time, 1.669s GC time, factor 1.88
ML stack maximum:
5.7 MiB
ML stack average:
4.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOLCF

data:
CSV
timing:
0:00:13 elapsed time, 0:00:22 cpu time, factor 1.69
ML timing:
8.557s elapsed time, 17.410s cpu time, 0.918s GC time, factor 2.03
ML code maximum:
1.4 MiB
ML stack maximum:
4.5 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1014.5 MiB
ML heap stored:
27.4 MiB
Isabelle version:
c49c146b758b

HOL-Cardinals

data:
CSV
timing:
0:00:13 elapsed time, 0:00:22 cpu time, factor 1.69
ML timing:
12.133s elapsed time, 21.577s cpu time, 0.628s GC time, factor 1.78
ML stack maximum:
7.7 MiB
ML stack average:
6.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOLCF-Library

data:
CSV
timing:
0:00:11 elapsed time, 0:00:19 cpu time, factor 1.73
ML timing:
7.702s elapsed time, 14.405s cpu time, 0.477s GC time, factor 1.87
ML stack maximum:
4.4 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1005.3 MiB
ML heap stored:
14.3 MiB
Isabelle version:
c49c146b758b

ZF

data:
CSV
timing:
0:00:11 elapsed time, 0:00:17 cpu time, factor 1.55
ML timing:
9.221s elapsed time, 16.056s cpu time, 1.119s GC time, factor 1.74
ML code maximum:
3.2 MiB
ML code average:
2.6 MiB
ML stack maximum:
14.5 MiB
ML stack average:
10.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
20.7 MiB
Isabelle version:
c49c146b758b

IOA

data:
CSV
timing:
0:00:11 elapsed time, 0:00:19 cpu time, factor 1.73
ML timing:
7.416s elapsed time, 14.053s cpu time, 0.519s GC time, factor 1.89
ML stack maximum:
4.5 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
10.5 MiB
Isabelle version:
c49c146b758b

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:10 elapsed time, 0:00:17 cpu time, factor 1.70
ML timing:
6.538s elapsed time, 12.832s cpu time, 0.604s GC time, factor 1.96
ML stack maximum:
5.6 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
970.3 MiB
ML heap stored:
14.9 MiB
Isabelle version:
c49c146b758b

HOL-Statespace

data:
CSV
timing:
0:00:09 elapsed time, 0:00:10 cpu time, factor 1.11
ML timing:
8.401s elapsed time, 9.621s cpu time, 0.308s GC time, factor 1.15
ML stack maximum:
2.7 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Nominal

data:
CSV
timing:
0:00:09 elapsed time, 0:00:16 cpu time, factor 1.78
ML timing:
6.084s elapsed time, 11.803s cpu time, 0.579s GC time, factor 1.94
ML code maximum:
2.5 MiB
ML code average:
1.8 MiB
ML stack maximum:
10.2 MiB
ML stack average:
6.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
952.5 MiB
ML heap stored:
14 MiB
Isabelle version:
c49c146b758b

HOL-SPARK-Examples

data:
CSV
timing:
0:00:09 elapsed time, 0:00:14 cpu time, factor 1.56
ML timing:
8.385s elapsed time, 14.130s cpu time, 0.228s GC time, factor 1.69
ML stack maximum:
2.7 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

Isar_Ref

data:
CSV
timing:
0:00:09 elapsed time, 0:00:17 cpu time, factor 1.89
ML timing:
8.930s elapsed time, 16.567s cpu time, 0.959s GC time, factor 1.86
ML stack maximum:
17.4 MiB
ML stack average:
13.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Types_To_Sets

data:
CSV
timing:
0:00:08 elapsed time, 0:00:12 cpu time, factor 1.50
ML timing:
7.383s elapsed time, 12.339s cpu time, 0.420s GC time, factor 1.67
ML stack maximum:
3.1 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-Induct

data:
CSV
timing:
0:00:08 elapsed time, 0:00:16 cpu time, factor 2.00
ML timing:
7.717s elapsed time, 15.270s cpu time, 1.188s GC time, factor 1.98
ML stack maximum:
3.4 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-ZF

data:
CSV
timing:
0:00:08 elapsed time, 0:00:14 cpu time, factor 1.75
ML timing:
7.503s elapsed time, 13.738s cpu time, 0.600s GC time, factor 1.83
ML stack maximum:
11.1 MiB
ML stack average:
10 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Import

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.467s elapsed time, 7.832s cpu time, 0.272s GC time, factor 1.05
ML stack maximum:
65 MiB
ML stack average:
56.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

Typeclass_Hierarchy

data:
CSV
timing:
0:00:07 elapsed time, 0:00:11 cpu time, factor 1.57
ML timing:
6.741s elapsed time, 11.090s cpu time, 0.523s GC time, factor 1.65
ML stack maximum:
9.3 MiB
ML stack average:
8.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-TLA-Memory

data:
CSV
timing:
0:00:07 elapsed time, 0:00:11 cpu time, factor 1.57
ML timing:
6.027s elapsed time, 10.856s cpu time, 0.272s GC time, factor 1.80
ML stack maximum:
5.1 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-Hahn_Banach

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
5.860s elapsed time, 10.954s cpu time, 0.508s GC time, factor 1.87
ML stack maximum:
2.6 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

ZF-UNITY

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
5.826s elapsed time, 10.817s cpu time, 0.412s GC time, factor 1.86
ML stack maximum:
2.9 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

ZF-Constructible

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
5.702s elapsed time, 11.226s cpu time, 1.219s GC time, factor 1.97
ML stack maximum:
4.6 MiB
ML stack average:
4.1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

Haskell

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
5.485s elapsed time, 0.290s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
5 MiB
ML stack average:
4.5 MiB
ML heap maximum:
459 MiB
ML heap average:
456.2 MiB
Isabelle version:
c49c146b758b

HOL-Probability-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.60
ML timing:
4.435s elapsed time, 7.634s cpu time, 0.296s GC time, factor 1.72
ML stack maximum:
2.5 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOLCF-Tutorial

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
4.825s elapsed time, 6.555s cpu time, 0.245s GC time, factor 1.36
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

IOA-NTP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.487s elapsed time, 6.102s cpu time, 0.293s GC time, factor 1.75
ML stack maximum:
1.5 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-TLA

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
1.014s elapsed time, 1.651s cpu time, 0.124s GC time, factor 1.63
ML stack maximum:
2.6 MiB
ML heap maximum:
766 MiB
ML heap average:
142.1 MiB
ML heap stored:
5.2 MiB
Isabelle version:
c49c146b758b

HOL-Eisbach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:07 cpu time, factor 1.75
ML timing:
3.735s elapsed time, 7.335s cpu time, 0.250s GC time, factor 1.96
ML code maximum:
2.5 MiB
ML code average:
2.2 MiB
ML stack maximum:
7 MiB
ML stack average:
5.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c49c146b758b

HOL-Isar_Examples

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.114s elapsed time, 5.868s cpu time, 0.229s GC time, factor 1.88
ML stack maximum:
2.9 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
995.7 MiB
Isabelle version:
c49c146b758b

System

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
4.202s elapsed time, 0.535s cpu time, 0.000s GC time, factor 0.13
ML stack maximum:
5.4 MiB
ML stack average:
4.8 MiB
ML heap maximum:
676 MiB
ML heap average:
456.8 MiB
Isabelle version:
c49c146b758b

HOL-Unix

data:
CSV
timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 2.00
ML timing:
3.979s elapsed time, 7.867s cpu time, 0.439s GC time, factor 1.98
ML stack maximum:
4.2 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

ZF-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.949s elapsed time, 6.018s cpu time, 0.312s GC time, factor 1.52
ML stack maximum:
6.5 MiB
ML stack average:
5.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

ZF-Induct

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.369s elapsed time, 4.094s cpu time, 0.191s GC time, factor 1.73
ML stack maximum:
3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
6 MiB
Isabelle version:
c49c146b758b

HOL-NanoJava

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.821s elapsed time, 5.138s cpu time, 0.286s GC time, factor 1.82
ML stack maximum:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
c49c146b758b

FOL-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
3.098s elapsed time, 5.576s cpu time, 0.177s GC time, factor 1.80
ML code maximum:
1.3 MiB
ML stack maximum:
3.4 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-SPARK-Manual

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.149s elapsed time, 3.572s cpu time, 0.097s GC time, factor 1.66
ML stack maximum:
2.4 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

Prog_Prove

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.348s elapsed time, 4.714s cpu time, 0.375s GC time, factor 2.01
ML stack maximum:
3.5 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c49c146b758b

HOLCF-FOCUS

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.204s elapsed time, 4.254s cpu time, 0.177s GC time, factor 1.93
ML stack maximum:
1.5 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
971.9 MiB
Isabelle version:
c49c146b758b

HOLCF-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.434s elapsed time, 4.813s cpu time, 0.257s GC time, factor 1.98
ML stack maximum:
2.6 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

HOL-IMPP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.199s elapsed time, 3.577s cpu time, 0.211s GC time, factor 1.63
ML stack maximum:
1.5 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
c49c146b758b

IOA-ABP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.806s elapsed time, 4.941s cpu time, 0.234s GC time, factor 1.76
ML stack maximum:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
981.2 MiB
Isabelle version:
c49c146b758b

Implementation

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.236s elapsed time, 3.861s cpu time, 0.069s GC time, factor 1.73
ML stack maximum:
8.5 MiB
ML stack average:
6.8 MiB
ML heap maximum:
764 MiB
ML heap average:
556.3 MiB
Isabelle version:
c49c146b758b

HOL-TPTP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.290s elapsed time, 3.590s cpu time, 0.224s GC time, factor 1.57
ML code maximum:
6.1 MiB
ML code average:
4.6 MiB
ML stack maximum:
32.3 MiB
ML stack average:
24.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c49c146b758b

CCL

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.834s elapsed time, 3.979s cpu time, 0.299s GC time, factor 1.40
ML code maximum:
2.1 MiB
ML code average:
1.6 MiB
ML stack maximum:
5.5 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
962.6 MiB
Isabelle version:
c49c146b758b

HOLCF-IMP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.678s elapsed time, 4.646s cpu time, 0.192s GC time, factor 1.73
ML stack maximum:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1020.3 MiB
Isabelle version:
c49c146b758b

HOL-Proofs-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.485s elapsed time, 2.562s cpu time, 0.687s GC time, factor 1.73
ML stack maximum:
5 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.4 GiB
ML heap average:
901 MiB
Isabelle version:
c49c146b758b

Tools

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.845s elapsed time, 1.966s cpu time, 0.102s GC time, factor 1.07
ML code maximum:
2.6 MiB
ML code average:
1.7 MiB
ML stack maximum:
2.6 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
c49c146b758b

HOL-IOA

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.187s elapsed time, 1.724s cpu time, 0.075s GC time, factor 1.45
ML stack maximum:
1 MiB
ML heap maximum:
936 MiB
ML heap average:
456.3 MiB
Isabelle version:
c49c146b758b

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.023s elapsed time, 1.392s cpu time, 0.087s GC time, factor 1.36
ML stack maximum:
1 MiB
ML heap maximum:
800 MiB
ML heap average:
441.5 MiB
Isabelle version:
c49c146b758b

FOL

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.508s elapsed time, 1.718s cpu time, 0.117s GC time, factor 1.14
ML code maximum:
1.8 MiB
ML code average:
1.2 MiB
ML stack maximum:
4.5 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
694.3 MiB
ML heap stored:
5.2 MiB
Isabelle version:
c49c146b758b

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.180s elapsed time, 2.015s cpu time, 0.074s GC time, factor 1.71
ML stack maximum:
1.1 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
981.5 MiB
Isabelle version:
c49c146b758b

FOLP-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.794s elapsed time, 3.180s cpu time, 0.106s GC time, factor 1.77
ML code maximum:
1.7 MiB
ML code average:
1.1 MiB
ML stack maximum:
1.8 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

ZF-AC

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
2.252s elapsed time, 4.024s cpu time, 0.250s GC time, factor 1.79
ML stack maximum:
2.5 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

HOL-Lattice

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.115s elapsed time, 1.829s cpu time, 0.121s GC time, factor 1.64
ML stack maximum:
1.6 MiB
ML stack average:
1.3 MiB
ML heap maximum:
767 MiB
ML heap average:
406 MiB
Isabelle version:
c49c146b758b

Functions

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.238s elapsed time, 1.681s cpu time, 0.083s GC time, factor 1.36
ML stack maximum:
3.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
761 MiB
ML heap average:
323.8 MiB
Isabelle version:
c49c146b758b

LCF

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.673s elapsed time, 1.956s cpu time, 0.126s GC time, factor 1.17
ML code maximum:
1.8 MiB
ML code average:
1.2 MiB
ML stack maximum:
4.4 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
697.5 MiB
Isabelle version:
c49c146b758b

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.407s elapsed time, 0.494s cpu time, 0.000s GC time, factor 1.21
ML heap maximum:
614 MiB
ML heap average:
614 MiB
Isabelle version:
c49c146b758b

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.684s elapsed time, 1.182s cpu time, 0.060s GC time, factor 1.73
ML stack maximum:
1 MiB
ML heap maximum:
736 MiB
ML heap average:
371 MiB
Isabelle version:
c49c146b758b

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.298s elapsed time, 0.486s cpu time, 0.000s GC time, factor 1.63
ML heap maximum:
722 MiB
ML heap average:
722 MiB
Isabelle version:
c49c146b758b

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.129s elapsed time, 0.203s cpu time, 0.000s GC time, factor 1.57
ML heap maximum:
70 MiB
ML heap average:
70 MiB
Isabelle version:
c49c146b758b

Classes

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.664s elapsed time, 0.874s cpu time, 0.057s GC time, factor 1.32
ML stack maximum:
1.8 MiB
ML stack average:
1.8 MiB
ML heap maximum:
105 MiB
ML heap average:
9 MiB
Isabelle version:
c49c146b758b

HOL-Mutabelle

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.854s elapsed time, 0.922s cpu time, 0.087s GC time, factor 1.08
ML stack maximum:
8.7 MiB
ML stack average:
4.5 MiB
ML heap maximum:
316 MiB
ML heap average:
160 MiB
Isabelle version:
c49c146b758b

Sequents

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.283s elapsed time, 2.514s cpu time, 0.102s GC time, factor 1.96
ML stack maximum:
1.4 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
753.8 MiB
Isabelle version:
c49c146b758b

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.440s elapsed time, 0.830s cpu time, 0.073s GC time, factor 1.89
ML heap maximum:
118 MiB
ML heap average:
81 MiB
Isabelle version:
c49c146b758b

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.172s elapsed time, 0.254s cpu time, 0.000s GC time, factor 1.48
ML heap maximum:
88 MiB
ML heap average:
29 MiB
Isabelle version:
c49c146b758b

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.641s elapsed time, 0.719s cpu time, 0.076s GC time, factor 1.12
ML stack maximum:
1.4 MiB
ML heap maximum:
253 MiB
ML heap average:
130.5 MiB
ML heap stored:
2.4 MiB
Isabelle version:
c49c146b758b

IOA-Storage

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.830s elapsed time, 1.144s cpu time, 0.062s GC time, factor 1.38
ML heap maximum:
504 MiB
ML heap average:
326.3 MiB
Isabelle version:
c49c146b758b

Locales

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.674s elapsed time, 1.209s cpu time, 0.102s GC time, factor 1.79
ML stack maximum:
1.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
599 MiB
ML heap average:
599 MiB
Isabelle version:
c49c146b758b

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.326s elapsed time, 0.336s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
499 MiB
ML heap average:
499 MiB
Isabelle version:
c49c146b758b

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.308s elapsed time, 0.357s cpu time, 0.000s GC time, factor 1.16
ML stack maximum:
1.5 MiB
ML heap maximum:
581 MiB
ML heap average:
581 MiB
Isabelle version:
c49c146b758b

Eisbach

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.075s elapsed time, 1.431s cpu time, 0.076s GC time, factor 1.33
ML stack maximum:
2.8 MiB
ML stack average:
2.8 MiB
ML heap maximum:
760 MiB
ML heap average:
628 MiB
Isabelle version:
c49c146b758b

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.906s elapsed time, 1.340s cpu time, 0.077s GC time, factor 1.48
ML stack maximum:
1.5 MiB
ML heap maximum:
761 MiB
ML heap average:
735 MiB
Isabelle version:
c49c146b758b

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.140s elapsed time, 0.229s cpu time, 0.000s GC time, factor 1.64
ML heap maximum:
129 MiB
ML heap average:
129 MiB
Isabelle version:
c49c146b758b

Logics

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

ZF-Coind

data:
CSV
ML timing:
0.306s elapsed time, 0.591s cpu time, 0.044s GC time, factor 1.93
ML heap maximum:
134 MiB
ML heap average:
5 MiB
Isabelle version:
c49c146b758b

Logics_ZF

data:
CSV
ML timing:
0.177s elapsed time, 0.249s cpu time, 0.000s GC time, factor 1.41
ML heap maximum:
156 MiB
ML heap average:
76 MiB
Isabelle version:
c49c146b758b

SML

data:
CSV
ML timing:
0.005s elapsed time, 0.008s cpu time, 0.000s GC time, factor 1.60
ML heap maximum:
24 MiB
ML heap average:
24 MiB
Isabelle version:
c49c146b758b

Pure

data:
CSV
Isabelle version:
e0ed6e339365

ZF-IMP

data:
CSV
ML timing:
0.415s elapsed time, 0.496s cpu time, 0.036s GC time, factor 1.20
ML heap maximum:
88 MiB
ML heap average:
64 MiB
Isabelle version:
c49c146b758b

CTT

data:
CSV
ML timing:
0.433s elapsed time, 0.655s cpu time, 0.067s GC time, factor 1.51
ML stack maximum:
2.4 MiB
ML heap maximum:
245 MiB
ML heap average:
245 MiB
Isabelle version:
c49c146b758b

Demo_FoilTeX

data:
CSV
ML timing:
0.075s elapsed time, 0.104s cpu time, 0.000s GC time, factor 1.39
ML heap maximum:
65 MiB
ML heap average:
65 MiB
Isabelle version:
c49c146b758b

Sledgehammer

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

Demo_LLNCS

data:
CSV
ML timing:
0.076s elapsed time, 0.105s cpu time, 0.000s GC time, factor 1.38
ML heap maximum:
104 MiB
ML heap average:
104 MiB
Isabelle version:
c49c146b758b

Demo_LIPIcs

data:
CSV
ML timing:
0.077s elapsed time, 0.104s cpu time, 0.000s GC time, factor 1.35
ML heap maximum:
76 MiB
ML heap average:
76 MiB
Isabelle version:
c49c146b758b

Nitpick

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

Pure-ex

data:
CSV
ML timing:
0.169s elapsed time, 0.265s cpu time, 0.000s GC time, factor 1.57
ML stack maximum:
1.1 MiB
ML stack average:
1.1 MiB
ML heap maximum:
164 MiB
ML heap average:
164 MiB
Isabelle version:
c49c146b758b

Demo_Easychair

data:
CSV
ML timing:
0.083s elapsed time, 0.111s cpu time, 0.000s GC time, factor 1.34
ML heap maximum:
93 MiB
ML heap average:
93 MiB
Isabelle version:
c49c146b758b

Cube

data:
CSV
ML timing:
0.129s elapsed time, 0.145s cpu time, 0.000s GC time, factor 1.12
ML heap maximum:
87 MiB
ML heap average:
87 MiB
Isabelle version:
c49c146b758b

Intro

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

Demo_EPTCS

data:
CSV
ML timing:
0.079s elapsed time, 0.106s cpu time, 0.000s GC time, factor 1.34
ML heap maximum:
110 MiB
ML heap average:
110 MiB
Isabelle version:
c49c146b758b

Pure-Examples

data:
CSV
ML timing:
0.185s elapsed time, 0.197s cpu time, 0.000s GC time, factor 1.06
ML stack maximum:
1 MiB
ML heap maximum:
114 MiB
ML heap average:
113 MiB
Isabelle version:
c49c146b758b