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

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

HOL-Analysis

data:
CSV
timing:
0:06:47 elapsed time, 0:21:54 cpu time, factor 3.23
ML timing:
369.643s elapsed time, 1237.389s cpu time, 53.861s GC time, factor 3.35
ML code maximum:
5.3 MiB
ML code average:
5.2 MiB
ML stack maximum:
116.6 MiB
ML stack average:
99.7 MiB
ML heap maximum:
8.2 GiB
ML heap average:
6.8 GiB
ML heap stored:
275.1 MiB
Isabelle version:
333ffbe82f5f

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:05:39 elapsed time, 0:19:04 cpu time, factor 3.37
ML timing:
338.591s elapsed time, 1143.937s cpu time, 43.632s GC time, factor 3.38
ML code maximum:
112.1 MiB
ML code average:
103.2 MiB
ML stack maximum:
7 MiB
ML stack average:
5.7 MiB
ML heap maximum:
1.9 GiB
ML heap average:
1.5 GiB
Isabelle version:
333ffbe82f5f

HOL-Proofs

data:
CSV
timing:
0:04:08 elapsed time, 0:07:23 cpu time, factor 1.79
ML timing:
192.580s elapsed time, 326.585s cpu time, 42.613s GC time, factor 1.70
ML code maximum:
39.6 MiB
ML code average:
30.6 MiB
ML stack maximum:
78.8 MiB
ML stack average:
47.5 MiB
ML heap maximum:
8.7 GiB
ML heap average:
4.4 GiB
ML heap stored:
386.4 MiB
Isabelle version:
333ffbe82f5f

HOL-Datatype_Benchmark

data:
CSV
timing:
0:03:00 elapsed time, 0:10:24 cpu time, factor 3.47
ML timing:
176.183s elapsed time, 611.178s cpu time, 121.518s GC time, factor 3.47
ML stack maximum:
16.3 MiB
ML stack average:
8.4 MiB
ML heap maximum:
15.7 GiB
ML heap average:
8 GiB
Isabelle version:
333ffbe82f5f

HOL-Data_Structures

data:
CSV
timing:
0:02:58 elapsed time, 0:10:49 cpu time, factor 3.65
ML timing:
176.257s elapsed time, 644.299s cpu time, 47.268s GC time, factor 3.66
ML stack maximum:
26.8 MiB
ML stack average:
18.9 MiB
ML heap maximum:
5.1 GiB
ML heap average:
4.2 GiB
Isabelle version:
333ffbe82f5f

HOL-Codegenerator_Test

data:
CSV
timing:
0:02:57 elapsed time, 0:06:24 cpu time, factor 2.17
ML timing:
176.055s elapsed time, 381.102s cpu time, 22.561s GC time, factor 2.16
ML code maximum:
3.6 MiB
ML code average:
3.4 MiB
ML stack maximum:
54.1 MiB
ML stack average:
47.3 MiB
ML heap maximum:
3.4 GiB
ML heap average:
2.9 GiB
Isabelle version:
333ffbe82f5f

HOL-ex

data:
CSV
timing:
0:02:29 elapsed time, 0:08:50 cpu time, factor 3.56
ML timing:
147.181s elapsed time, 526.889s cpu time, 24.939s GC time, factor 3.58
ML code maximum:
5.8 MiB
ML code average:
4 MiB
ML stack maximum:
74.3 MiB
ML stack average:
38.6 MiB
ML heap maximum:
6.6 GiB
ML heap average:
5.3 GiB
Isabelle version:
333ffbe82f5f

HOL-Nominal-Examples

data:
CSV
timing:
0:02:25 elapsed time, 0:08:54 cpu time, factor 3.68
ML timing:
143.554s elapsed time, 529.791s cpu time, 44.857s GC time, factor 3.69
ML stack maximum:
46.8 MiB
ML stack average:
41 MiB
ML heap maximum:
4.2 GiB
ML heap average:
3.4 GiB
Isabelle version:
333ffbe82f5f

HOL

data:
CSV
timing:
0:02:24 elapsed time, 0:06:46 cpu time, factor 2.82
ML timing:
131.710s elapsed time, 380.893s cpu time, 35.158s GC time, factor 2.89
ML code maximum:
39.1 MiB
ML code average:
30.3 MiB
ML stack maximum:
104.3 MiB
ML stack average:
63.8 MiB
ML heap maximum:
6 GiB
ML heap average:
3.4 GiB
ML heap stored:
217 MiB
Isabelle version:
333ffbe82f5f

HOL-Decision_Procs

data:
CSV
timing:
0:02:06 elapsed time, 0:07:48 cpu time, factor 3.71
ML timing:
124.827s elapsed time, 465.284s cpu time, 30.009s GC time, factor 3.73
ML code maximum:
6.2 MiB
ML code average:
2.8 MiB
ML stack maximum:
90.3 MiB
ML stack average:
49.9 MiB
ML heap maximum:
7.1 GiB
ML heap average:
5.6 GiB
Isabelle version:
333ffbe82f5f

HOL-Library

data:
CSV
timing:
0:02:02 elapsed time, 0:06:48 cpu time, factor 3.34
ML timing:
105.493s elapsed time, 376.594s cpu time, 20.785s GC time, factor 3.57
ML code maximum:
6.8 MiB
ML code average:
6.6 MiB
ML stack maximum:
32.6 MiB
ML stack average:
25.3 MiB
ML heap maximum:
3.7 GiB
ML heap average:
2.9 GiB
ML heap stored:
154.5 MiB
Isabelle version:
333ffbe82f5f

HOL-Corec_Examples

data:
CSV
timing:
0:01:41 elapsed time, 0:04:27 cpu time, factor 2.64
ML timing:
98.565s elapsed time, 260.248s cpu time, 29.833s GC time, factor 2.64
ML stack maximum:
8.9 MiB
ML stack average:
3.7 MiB
ML heap maximum:
4.9 GiB
ML heap average:
3.1 GiB
Isabelle version:
333ffbe82f5f

HOL-Algebra

data:
CSV
timing:
0:01:26 elapsed time, 0:05:01 cpu time, factor 3.50
ML timing:
75.694s elapsed time, 281.546s cpu time, 48.866s GC time, factor 3.72
ML stack maximum:
21.9 MiB
ML stack average:
18.4 MiB
ML heap maximum:
7.1 GiB
ML heap average:
3 GiB
ML heap stored:
64.8 MiB
Isabelle version:
333ffbe82f5f

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:21 elapsed time, 0:01:57 cpu time, factor 1.44
ML timing:
79.763s elapsed time, 115.070s cpu time, 4.756s GC time, factor 1.44
ML stack maximum:
13.7 MiB
ML stack average:
13.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
333ffbe82f5f

HOL-Probability

data:
CSV
timing:
0:00:58 elapsed time, 0:03:06 cpu time, factor 3.21
ML timing:
48.540s elapsed time, 168.640s cpu time, 16.084s GC time, factor 3.47
ML stack maximum:
30.7 MiB
ML stack average:
23.4 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.3 GiB
ML heap stored:
53.1 MiB
Isabelle version:
333ffbe82f5f

HOL-Proofs-Lambda

data:
CSV
timing:
0:00:57 elapsed time, 0:01:04 cpu time, factor 1.12
ML timing:
56.109s elapsed time, 63.222s cpu time, 1.849s GC time, factor 1.13
ML stack maximum:
5.5 MiB
ML stack average:
4.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Imperative_HOL

data:
CSV
timing:
0:00:55 elapsed time, 0:02:48 cpu time, factor 3.05
ML timing:
54.436s elapsed time, 167.080s cpu time, 9.355s GC time, factor 3.07
ML stack maximum:
21.6 MiB
ML stack average:
19.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Record_Benchmark

data:
CSV
timing:
0:00:53 elapsed time, 0:01:27 cpu time, factor 1.64
ML timing:
52.336s elapsed time, 86.062s cpu time, 2.888s GC time, factor 1.64
ML stack maximum:
8.6 MiB
ML stack average:
5.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Datatype_Examples

data:
CSV
timing:
0:00:49 elapsed time, 0:03:04 cpu time, factor 3.76
ML timing:
47.022s elapsed time, 179.125s cpu time, 27.993s GC time, factor 3.81
ML stack maximum:
7.9 MiB
ML stack average:
4.6 MiB
ML heap maximum:
4.8 GiB
ML heap average:
2.9 GiB
Isabelle version:
333ffbe82f5f

HOL-Homology

data:
CSV
timing:
0:00:49 elapsed time, 0:02:43 cpu time, factor 3.33
ML timing:
48.221s elapsed time, 161.752s cpu time, 19.104s GC time, factor 3.35
ML stack maximum:
25.2 MiB
ML stack average:
21.2 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.6 GiB
Isabelle version:
333ffbe82f5f

HOL-Real_Asymp

data:
CSV
timing:
0:00:48 elapsed time, 0:02:47 cpu time, factor 3.48
ML timing:
41.748s elapsed time, 155.496s cpu time, 9.786s GC time, factor 3.72
ML code maximum:
5.6 MiB
ML code average:
4.6 MiB
ML stack maximum:
44.2 MiB
ML stack average:
32.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
67.9 MiB
Isabelle version:
333ffbe82f5f

HOL-Auth

data:
CSV
timing:
0:00:46 elapsed time, 0:02:30 cpu time, factor 3.26
ML timing:
42.486s elapsed time, 145.441s cpu time, 3.553s GC time, factor 3.42
ML stack maximum:
20.3 MiB
ML stack average:
17.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
32 MiB
Isabelle version:
333ffbe82f5f

HOL-Quickcheck_Examples

data:
CSV
timing:
0:00:46 elapsed time, 0:01:22 cpu time, factor 1.78
ML timing:
45.834s elapsed time, 81.333s cpu time, 3.673s GC time, factor 1.77
ML code maximum:
17.3 MiB
ML code average:
12.9 MiB
ML stack maximum:
17.1 MiB
ML stack average:
15.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:00:44 elapsed time, 0:01:59 cpu time, factor 2.70
ML timing:
43.420s elapsed time, 118.507s cpu time, 4.194s GC time, factor 2.73
ML code maximum:
7.8 MiB
ML code average:
5.5 MiB
ML stack maximum:
9.6 MiB
ML stack average:
5.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Computational_Algebra

data:
CSV
timing:
0:00:43 elapsed time, 0:02:07 cpu time, factor 2.95
ML timing:
37.802s elapsed time, 118.396s cpu time, 4.547s GC time, factor 3.13
ML code maximum:
1 MiB
ML stack maximum:
54.8 MiB
ML stack average:
32.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
42.3 MiB
Isabelle version:
333ffbe82f5f

Codegen

data:
CSV
timing:
0:00:41 elapsed time, 0:02:13 cpu time, factor 3.24
ML timing:
40.085s elapsed time, 131.939s cpu time, 4.053s GC time, factor 3.29
ML stack maximum:
15.4 MiB
ML stack average:
12.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-IMP

data:
CSV
timing:
0:00:40 elapsed time, 0:02:15 cpu time, factor 3.38
ML timing:
39.112s elapsed time, 134.347s cpu time, 8.954s GC time, factor 3.43
ML code maximum:
15 MiB
ML code average:
6.6 MiB
ML stack maximum:
9.7 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-MicroJava

data:
CSV
timing:
0:00:39 elapsed time, 0:02:17 cpu time, factor 3.51
ML timing:
38.436s elapsed time, 136.495s cpu time, 3.375s GC time, factor 3.55
ML code maximum:
1.8 MiB
ML code average:
1.3 MiB
ML stack maximum:
15.2 MiB
ML stack average:
10.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
333ffbe82f5f

HOL-Examples

data:
CSV
timing:
0:00:37 elapsed time, 0:02:05 cpu time, factor 3.38
ML timing:
36.675s elapsed time, 123.826s cpu time, 9.234s GC time, factor 3.38
ML code maximum:
1.3 MiB
ML code average:
1 MiB
ML stack maximum:
16.9 MiB
ML stack average:
14.3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
333ffbe82f5f

HOL-Hoare_Parallel

data:
CSV
timing:
0:00:36 elapsed time, 0:02:07 cpu time, factor 3.53
ML timing:
35.875s elapsed time, 126.625s cpu time, 2.360s GC time, factor 3.53
ML stack maximum:
8.3 MiB
ML stack average:
7.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Complex_Analysis

data:
CSV
timing:
0:00:35 elapsed time, 0:01:56 cpu time, factor 3.31
ML timing:
34.309s elapsed time, 114.667s cpu time, 2.817s GC time, factor 3.34
ML stack maximum:
24.6 MiB
ML stack average:
20.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Bali

data:
CSV
timing:
0:00:35 elapsed time, 0:01:49 cpu time, factor 3.11
ML timing:
34.289s elapsed time, 107.632s cpu time, 4.338s GC time, factor 3.14
ML stack maximum:
21 MiB
ML stack average:
11.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-SMT_Examples

data:
CSV
timing:
0:00:29 elapsed time, 0:01:10 cpu time, factor 2.41
ML timing:
28.665s elapsed time, 69.527s cpu time, 1.590s GC time, factor 2.43
ML stack maximum:
14.9 MiB
ML stack average:
13.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
333ffbe82f5f

HOL-Number_Theory

data:
CSV
timing:
0:00:29 elapsed time, 0:01:45 cpu time, factor 3.62
ML timing:
28.608s elapsed time, 104.202s cpu time, 7.002s GC time, factor 3.64
ML stack maximum:
16.2 MiB
ML stack average:
13.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

Corec

data:
CSV
timing:
0:00:28 elapsed time, 0:00:40 cpu time, factor 1.43
ML timing:
26.833s elapsed time, 38.961s cpu time, 1.971s GC time, factor 1.45
ML code maximum:
2.8 MiB
ML code average:
2.7 MiB
ML stack maximum:
10.2 MiB
ML stack average:
8.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

Datatypes

data:
CSV
timing:
0:00:27 elapsed time, 0:00:47 cpu time, factor 1.74
ML timing:
20.080s elapsed time, 34.265s cpu time, 1.844s GC time, factor 1.71
ML stack maximum:
11.2 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
73.3 MiB
Isabelle version:
333ffbe82f5f

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:19 elapsed time, 0:00:52 cpu time, factor 2.74
ML timing:
18.641s elapsed time, 50.933s cpu time, 1.156s GC time, factor 2.73
ML stack maximum:
12.5 MiB
ML stack average:
8.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-UNITY

data:
CSV
timing:
0:00:17 elapsed time, 0:00:57 cpu time, factor 3.35
ML timing:
16.396s elapsed time, 56.060s cpu time, 2.250s GC time, factor 3.42
ML stack maximum:
15.1 MiB
ML stack average:
13.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-SET_Protocol

data:
CSV
timing:
0:00:16 elapsed time, 0:00:52 cpu time, factor 3.25
ML timing:
16.041s elapsed time, 51.397s cpu time, 0.730s GC time, factor 3.20
ML stack maximum:
8.4 MiB
ML stack average:
7.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Quotient_Examples

data:
CSV
timing:
0:00:12 elapsed time, 0:00:19 cpu time, factor 1.58
ML timing:
11.610s elapsed time, 18.533s cpu time, 0.714s GC time, factor 1.60
ML stack maximum:
5 MiB
ML stack average:
4.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Analysis-ex

data:
CSV
timing:
0:00:11 elapsed time, 0:00:27 cpu time, factor 2.45
ML timing:
9.877s elapsed time, 26.617s cpu time, 0.251s GC time, factor 2.69
ML stack maximum:
6.6 MiB
ML stack average:
5.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-SPARK

data:
CSV
timing:
0:00:11 elapsed time, 0:00:26 cpu time, factor 2.36
ML timing:
8.257s elapsed time, 22.124s cpu time, 0.781s GC time, factor 2.68
ML stack maximum:
9.6 MiB
ML stack average:
5.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
15.1 MiB
Isabelle version:
333ffbe82f5f

HOL-Hoare

data:
CSV
timing:
0:00:11 elapsed time, 0:00:27 cpu time, factor 2.45
ML timing:
10.762s elapsed time, 27.114s cpu time, 0.675s GC time, factor 2.52
ML stack maximum:
4.7 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Matrix_LP

data:
CSV
timing:
0:00:10 elapsed time, 0:00:29 cpu time, factor 2.90
ML timing:
10.024s elapsed time, 29.044s cpu time, 0.789s GC time, factor 2.90
ML code maximum:
1.3 MiB
ML code average:
1 MiB
ML stack maximum:
9.9 MiB
ML stack average:
7.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

Pure

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0.394s elapsed time, 0.419s cpu time, 0.000s GC time, factor 1.06
ML code maximum:
23.9 MiB
ML code average:
23.9 MiB
ML stack maximum:
4.1 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
28.6 MiB
Isabelle version:
333ffbe82f5f

HOLCF

data:
CSV
timing:
0:00:10 elapsed time, 0:00:21 cpu time, factor 2.10
ML timing:
7.405s elapsed time, 16.982s cpu time, 0.776s GC time, factor 2.29
ML code maximum:
1.3 MiB
ML stack maximum:
8.9 MiB
ML stack average:
4.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
19.6 MiB
Isabelle version:
333ffbe82f5f

ZF

data:
CSV
timing:
0:00:10 elapsed time, 0:00:17 cpu time, factor 1.70
ML timing:
5.887s elapsed time, 15.988s cpu time, 1.169s GC time, factor 2.72
ML code maximum:
3.2 MiB
ML code average:
2.5 MiB
ML stack maximum:
19.5 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
940.2 MiB
ML heap stored:
15.7 MiB
Isabelle version:
333ffbe82f5f

HOL-Statespace

data:
CSV
timing:
0:00:08 elapsed time, 0:00:10 cpu time, factor 1.25
ML timing:
7.917s elapsed time, 9.241s cpu time, 0.286s GC time, factor 1.17
ML stack maximum:
2.9 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Combinatorics

data:
CSV
timing:
0:00:08 elapsed time, 0:00:29 cpu time, factor 3.63
ML timing:
7.999s elapsed time, 28.833s cpu time, 1.140s GC time, factor 3.60
ML stack maximum:
14.1 MiB
ML stack average:
12.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

Tutorial

data:
CSV
timing:
0:00:08 elapsed time, 0:00:26 cpu time, factor 3.25
ML timing:
7.212s elapsed time, 24.997s cpu time, 1.509s GC time, factor 3.47
ML stack maximum:
8.2 MiB
ML stack average:
4.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Types_To_Sets

data:
CSV
timing:
0:00:07 elapsed time, 0:00:12 cpu time, factor 1.71
ML timing:
6.645s elapsed time, 11.444s cpu time, 0.315s GC time, factor 1.72
ML stack maximum:
3.6 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOLCF-Library

data:
CSV
timing:
0:00:07 elapsed time, 0:00:18 cpu time, factor 2.57
ML timing:
4.468s elapsed time, 14.534s cpu time, 0.470s GC time, factor 3.25
ML stack maximum:
5.6 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
991.2 MiB
ML heap stored:
9.8 MiB
Isabelle version:
333ffbe82f5f

HOL-Cardinals

data:
CSV
timing:
0:00:07 elapsed time, 0:00:22 cpu time, factor 3.14
ML timing:
6.298s elapsed time, 22.098s cpu time, 0.646s GC time, factor 3.51
ML stack maximum:
8.8 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Import

data:
CSV
timing:
0:00:07 elapsed time, 0:00:08 cpu time, factor 1.14
ML timing:
6.880s elapsed time, 7.327s cpu time, 0.213s GC time, factor 1.06
ML stack maximum:
66.2 MiB
ML stack average:
56.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:07 elapsed time, 0:00:17 cpu time, factor 2.43
ML timing:
4.088s elapsed time, 13.260s cpu time, 0.539s GC time, factor 3.24
ML stack maximum:
8.6 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
871.5 MiB
ML heap stored:
10.2 MiB
Isabelle version:
333ffbe82f5f

Isar_Ref

data:
CSV
timing:
0:00:07 elapsed time, 0:00:17 cpu time, factor 2.43
ML timing:
6.399s elapsed time, 16.388s cpu time, 0.874s GC time, factor 2.56
ML stack maximum:
25.4 MiB
ML stack average:
20.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

IOA

data:
CSV
timing:
0:00:07 elapsed time, 0:00:18 cpu time, factor 2.57
ML timing:
4.165s elapsed time, 14.121s cpu time, 0.522s GC time, factor 3.39
ML stack maximum:
7 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
888.2 MiB
ML heap stored:
6.7 MiB
Isabelle version:
333ffbe82f5f

HOL-Nominal

data:
CSV
timing:
0:00:06 elapsed time, 0:00:16 cpu time, factor 2.67
ML timing:
3.546s elapsed time, 12.142s cpu time, 0.627s GC time, factor 3.42
ML code maximum:
2.4 MiB
ML code average:
1.4 MiB
ML stack maximum:
11.6 MiB
ML stack average:
6.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
845.8 MiB
ML heap stored:
9.8 MiB
Isabelle version:
333ffbe82f5f

HOL-Induct

data:
CSV
timing:
0:00:05 elapsed time, 0:00:16 cpu time, factor 3.20
ML timing:
4.675s elapsed time, 15.731s cpu time, 1.062s GC time, factor 3.36
ML stack maximum:
4.2 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333ffbe82f5f

HOL-ZF

data:
CSV
timing:
0:00:05 elapsed time, 0:00:15 cpu time, factor 3.00
ML timing:
4.361s elapsed time, 14.640s cpu time, 0.594s GC time, factor 3.36
ML stack maximum:
11.6 MiB
ML stack average:
9.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

Haskell

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
5.171s elapsed time, 0.278s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
5 MiB
ML stack average:
5 MiB
ML heap maximum:
418 MiB
ML heap average:
417.9 MiB
Isabelle version:
333ffbe82f5f

HOL-SPARK-Examples

data:
CSV
timing:
0:00:05 elapsed time, 0:00:14 cpu time, factor 2.80
ML timing:
4.964s elapsed time, 13.954s cpu time, 0.213s GC time, factor 2.81
ML stack maximum:
3.6 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOLCF-Tutorial

data:
CSV
timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20
ML timing:
4.463s elapsed time, 6.196s cpu time, 0.197s GC time, factor 1.39
ML stack maximum:
1.1 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

FOL-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
3.663s elapsed time, 5.368s cpu time, 0.223s GC time, factor 1.47
ML code maximum:
1.2 MiB
ML code average:
1.2 MiB
ML stack maximum:
5.7 MiB
ML stack average:
4.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333ffbe82f5f

HOL-Hahn_Banach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
3.428s elapsed time, 11.200s cpu time, 0.535s GC time, factor 3.27
ML stack maximum:
5.1 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

Typeclass_Hierarchy

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
4.032s elapsed time, 11.234s cpu time, 0.501s GC time, factor 2.79
ML stack maximum:
12 MiB
ML stack average:
9.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

ZF-Constructible

data:
CSV
timing:
0:00:04 elapsed time, 0:00:12 cpu time, factor 3.00
ML timing:
3.616s elapsed time, 11.450s cpu time, 1.218s GC time, factor 3.17
ML stack maximum:
10.1 MiB
ML stack average:
7.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

HOL-TLA-Memory

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
3.722s elapsed time, 10.983s cpu time, 0.211s GC time, factor 2.95
ML stack maximum:
5.7 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

IOA-NTP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.514s elapsed time, 5.950s cpu time, 0.247s GC time, factor 2.37
ML stack maximum:
2.9 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333ffbe82f5f

HOL-NanoJava

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.568s elapsed time, 5.139s cpu time, 0.247s GC time, factor 2.00
ML stack maximum:
2.7 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333ffbe82f5f

HOL-TLA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
0.798s elapsed time, 1.527s cpu time, 0.103s GC time, factor 1.91
ML stack maximum:
2.8 MiB
ML heap maximum:
124 MiB
ML heap average:
30.6 MiB
ML heap stored:
3 MiB
Isabelle version:
333ffbe82f5f

HOL-Eisbach

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.190s elapsed time, 7.465s cpu time, 0.282s GC time, factor 3.41
ML code maximum:
2.5 MiB
ML code average:
2 MiB
ML stack maximum:
7.5 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

ZF-UNITY

data:
CSV
timing:
0:00:03 elapsed time, 0:00:11 cpu time, factor 3.67
ML timing:
3.052s elapsed time, 11.106s cpu time, 0.487s GC time, factor 3.64
ML stack maximum:
4.9 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
333ffbe82f5f

HOL-Isar_Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.663s elapsed time, 5.658s cpu time, 0.217s GC time, factor 2.12
ML stack maximum:
3.8 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

IOA-ABP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.217s elapsed time, 4.743s cpu time, 0.185s GC time, factor 2.14
ML stack maximum:
1.8 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
333ffbe82f5f

System

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.643s elapsed time, 0.605s cpu time, 0.000s GC time, factor 0.23
ML stack maximum:
8.4 MiB
ML stack average:
8.4 MiB
ML heap maximum:
626 MiB
ML heap average:
512 MiB
Isabelle version:
333ffbe82f5f

HOL-Unix

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.657s elapsed time, 8.005s cpu time, 0.387s GC time, factor 3.01
ML stack maximum:
4.4 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

HOL-TPTP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.666s elapsed time, 3.445s cpu time, 0.195s GC time, factor 1.29
ML code maximum:
5.8 MiB
ML code average:
4.4 MiB
ML stack maximum:
30.9 MiB
ML stack average:
19.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

HOL-Probability-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:09 cpu time, factor 3.00
ML timing:
2.508s elapsed time, 7.905s cpu time, 0.279s GC time, factor 3.15
ML stack maximum:
3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

ZF-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.542s elapsed time, 6.143s cpu time, 0.305s GC time, factor 2.42
ML stack maximum:
7.9 MiB
ML stack average:
7.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

CCL

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.519s elapsed time, 3.785s cpu time, 0.247s GC time, factor 1.50
ML code maximum:
2.1 MiB
ML code average:
1.4 MiB
ML stack maximum:
6.4 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

HOLCF-IMP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.317s elapsed time, 4.609s cpu time, 0.151s GC time, factor 1.99
ML stack maximum:
2.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

ZF-Induct

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.530s elapsed time, 4.037s cpu time, 0.221s GC time, factor 2.64
ML stack maximum:
4.4 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
938.8 MiB
ML heap stored:
4.1 MiB
Isabelle version:
333ffbe82f5f

HOL-SPARK-Manual

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.445s elapsed time, 3.479s cpu time, 0.084s GC time, factor 2.41
ML stack maximum:
2.8 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333ffbe82f5f

Prog_Prove

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
1.349s elapsed time, 4.743s cpu time, 0.338s GC time, factor 3.52
ML stack maximum:
5 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333ffbe82f5f

HOL-Proofs-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.212s elapsed time, 2.406s cpu time, 0.611s GC time, factor 1.99
ML stack maximum:
7.5 MiB
ML stack average:
3.9 MiB
ML heap maximum:
996 MiB
ML heap average:
532.8 MiB
Isabelle version:
333ffbe82f5f

HOLCF-FOCUS

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.413s elapsed time, 4.170s cpu time, 0.154s GC time, factor 2.95
ML stack maximum:
1.9 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

Tools

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.696s elapsed time, 1.844s cpu time, 0.112s GC time, factor 1.09
ML code maximum:
2.5 MiB
ML code average:
1.8 MiB
ML stack maximum:
2.7 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
801.7 MiB
Isabelle version:
333ffbe82f5f

FOL

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.478s elapsed time, 1.691s cpu time, 0.079s GC time, factor 1.14
ML code maximum:
1.8 MiB
ML code average:
1 MiB
ML stack maximum:
4.5 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
873.4 MiB
ML heap stored:
4 MiB
Isabelle version:
333ffbe82f5f

HOLCF-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
1.461s elapsed time, 4.806s cpu time, 0.226s GC time, factor 3.29
ML stack maximum:
3.5 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333ffbe82f5f

HOL-IMPP

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.794s elapsed time, 3.522s cpu time, 0.185s GC time, factor 1.96
ML stack maximum:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
664.5 MiB
Isabelle version:
333ffbe82f5f

Implementation

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.693s elapsed time, 3.878s cpu time, 0.071s GC time, factor 2.29
ML stack maximum:
12 MiB
ML stack average:
7.3 MiB
ML heap maximum:
762 MiB
ML heap average:
518.2 MiB
Isabelle version:
333ffbe82f5f

Functions

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.134s elapsed time, 1.626s cpu time, 0.084s GC time, factor 1.43
ML stack maximum:
3.6 MiB
ML stack average:
2.3 MiB
ML heap maximum:
764 MiB
ML heap average:
297.4 MiB
Isabelle version:
333ffbe82f5f

LCF

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.566s elapsed time, 1.855s cpu time, 0.083s GC time, factor 1.18
ML code maximum:
1.8 MiB
ML code average:
1 MiB
ML stack maximum:
4.5 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
863.4 MiB
Isabelle version:
333ffbe82f5f

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.384s elapsed time, 0.469s cpu time, 0.000s GC time, factor 1.22
ML heap maximum:
545 MiB
ML heap average:
545 MiB
Isabelle version:
333ffbe82f5f

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.599s elapsed time, 1.212s cpu time, 0.063s GC time, factor 2.02
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
734 MiB
ML heap average:
734 MiB
Isabelle version:
333ffbe82f5f

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.237s elapsed time, 0.489s cpu time, 0.000s GC time, factor 2.06
ML heap maximum:
195 MiB
ML heap average:
195 MiB
Isabelle version:
333ffbe82f5f

HOL-IOA

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.002s elapsed time, 1.679s cpu time, 0.075s GC time, factor 1.68
ML stack maximum:
1.2 MiB
ML heap maximum:
759 MiB
ML heap average:
700.5 MiB
Isabelle version:
333ffbe82f5f

Classes

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.611s elapsed time, 0.949s cpu time, 0.052s GC time, factor 1.55
ML stack maximum:
2.2 MiB
ML stack average:
2.2 MiB
ML heap maximum:
62 MiB
ML heap average:
44 MiB
Isabelle version:
333ffbe82f5f

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.682s elapsed time, 1.400s cpu time, 0.077s GC time, factor 2.05
ML stack maximum:
1.1 MiB
ML heap maximum:
710 MiB
ML heap average:
360.4 MiB
Isabelle version:
333ffbe82f5f

HOL-Mutabelle

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.776s elapsed time, 0.871s cpu time, 0.093s GC time, factor 1.12
ML stack maximum:
8.8 MiB
ML stack average:
4.6 MiB
ML heap maximum:
654 MiB
ML heap average:
457.7 MiB
Isabelle version:
333ffbe82f5f

Sequents

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.703s elapsed time, 2.426s cpu time, 0.087s GC time, factor 3.45
ML stack maximum:
1.8 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
751.8 MiB
Isabelle version:
333ffbe82f5f

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.340s elapsed time, 0.738s cpu time, 0.000s GC time, factor 2.17
ML heap maximum:
711 MiB
ML heap average:
711 MiB
Isabelle version:
333ffbe82f5f

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.150s elapsed time, 0.244s cpu time, 0.000s GC time, factor 1.63
ML stack maximum:
1 MiB
ML heap maximum:
67 MiB
ML heap average:
41 MiB
Isabelle version:
333ffbe82f5f

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.573s elapsed time, 0.637s cpu time, 0.052s GC time, factor 1.11
ML stack maximum:
1.5 MiB
ML heap maximum:
251 MiB
ML heap average:
136.4 MiB
ML heap stored:
1.5 MiB
Isabelle version:
333ffbe82f5f

IOA-Storage

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.761s elapsed time, 1.095s cpu time, 0.056s GC time, factor 1.44
ML heap maximum:
74 MiB
ML heap average:
10 MiB
Isabelle version:
333ffbe82f5f

Locales

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.559s elapsed time, 1.168s cpu time, 0.071s GC time, factor 2.09
ML stack maximum:
3 MiB
ML stack average:
3 MiB
ML heap maximum:
530 MiB
ML heap average:
530 MiB
Isabelle version:
333ffbe82f5f

HOL-TLA-Inc

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.813s elapsed time, 1.939s cpu time, 0.056s GC time, factor 2.38
ML stack maximum:
1.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1 GiB
Isabelle version:
333ffbe82f5f

FOLP-ex

data:
CSV
timing:
0:00:01 elapsed time, 0:00:03 cpu time
ML timing:
1.368s elapsed time, 3.089s cpu time, 0.068s GC time, factor 2.26
ML code maximum:
1.5 MiB
ML code average:
1.4 MiB
ML stack maximum:
2.2 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.303s elapsed time, 0.333s cpu time, 0.000s GC time, factor 1.10
ML heap maximum:
454 MiB
ML heap average:
454 MiB
Isabelle version:
333ffbe82f5f

ZF-AC

data:
CSV
timing:
0:00:01 elapsed time, 0:00:04 cpu time
ML timing:
1.138s elapsed time, 3.814s cpu time, 0.238s GC time, factor 3.35
ML stack maximum:
4.3 MiB
ML stack average:
4.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.307s elapsed time, 0.352s cpu time, 0.000s GC time, factor 1.15
ML stack maximum:
1.5 MiB
ML heap maximum:
528 MiB
ML heap average:
528 MiB
Isabelle version:
333ffbe82f5f

HOL-Lattice

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.066s elapsed time, 1.914s cpu time, 0.126s GC time, factor 1.80
ML stack maximum:
2.2 MiB
ML stack average:
1.7 MiB
ML heap maximum:
770 MiB
ML heap average:
419 MiB
Isabelle version:
333ffbe82f5f

Eisbach

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.113s elapsed time, 1.414s cpu time, 0.084s GC time, factor 1.27
ML stack maximum:
3.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
725 MiB
ML heap average:
529.5 MiB
Isabelle version:
333ffbe82f5f

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.781s elapsed time, 1.300s cpu time, 0.050s GC time, factor 1.66
ML stack maximum:
1.5 MiB
ML heap maximum:
679 MiB
ML heap average:
621 MiB
Isabelle version:
333ffbe82f5f

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.132s elapsed time, 0.222s cpu time, 0.000s GC time, factor 1.68
ML heap maximum:
74 MiB
ML heap average:
71 MiB
Isabelle version:
333ffbe82f5f

Logics

data:
CSV
ML heap maximum:
13 MiB
ML heap average:
13 MiB
Isabelle version:
333ffbe82f5f

ZF-Coind

data:
CSV
ML timing:
0.275s elapsed time, 0.602s cpu time, 0.048s GC time, factor 2.19
ML heap maximum:
95 MiB
ML heap average:
6 MiB
Isabelle version:
333ffbe82f5f

Logics_ZF

data:
CSV
ML timing:
0.149s elapsed time, 0.255s cpu time, 0.000s GC time, factor 1.71
ML stack maximum:
1.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
178 MiB
ML heap average:
178 MiB
Isabelle version:
333ffbe82f5f

SML

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

How_to_Prove_it

data:
CSV
ML timing:
0.104s elapsed time, 0.198s cpu time, 0.000s GC time, factor 1.90
ML heap maximum:
67 MiB
ML heap average:
67 MiB
Isabelle version:
333ffbe82f5f

ZF-IMP

data:
CSV
ML timing:
0.374s elapsed time, 0.454s cpu time, 0.000s GC time, factor 1.21
ML heap maximum:
704 MiB
ML heap average:
704 MiB
Isabelle version:
333ffbe82f5f

CTT

data:
CSV
ML timing:
0.383s elapsed time, 0.653s cpu time, 0.084s GC time, factor 1.70
ML stack maximum:
2.5 MiB
ML heap maximum:
152 MiB
ML heap average:
152 MiB
Isabelle version:
333ffbe82f5f

Demo_FoilTeX

data:
CSV
ML timing:
0.074s elapsed time, 0.101s cpu time, 0.000s GC time, factor 1.36
ML heap maximum:
88 MiB
ML heap average:
88 MiB
Isabelle version:
333ffbe82f5f

Sledgehammer

data:
CSV
ML heap maximum:
13 MiB
ML heap average:
13 MiB
Isabelle version:
333ffbe82f5f

Demo_LLNCS

data:
CSV
ML timing:
0.076s elapsed time, 0.106s cpu time, 0.000s GC time, factor 1.39
ML heap maximum:
68 MiB
ML heap average:
68 MiB
Isabelle version:
333ffbe82f5f

Demo_LIPIcs

data:
CSV
ML timing:
0.073s elapsed time, 0.100s cpu time, 0.000s GC time, factor 1.37
ML heap maximum:
78 MiB
ML heap average:
78 MiB
Isabelle version:
333ffbe82f5f

Nitpick

data:
CSV
ML heap maximum:
13 MiB
ML heap average:
13 MiB
Isabelle version:
333ffbe82f5f

Pure-ex

data:
CSV
ML timing:
0.087s elapsed time, 0.248s cpu time, 0.000s GC time, factor 2.85
ML stack maximum:
1.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
177 MiB
ML heap average:
177 MiB
Isabelle version:
333ffbe82f5f

Demo_Easychair

data:
CSV
ML timing:
0.077s elapsed time, 0.105s cpu time, 0.000s GC time, factor 1.36
ML heap maximum:
88 MiB
ML heap average:
88 MiB
Isabelle version:
333ffbe82f5f

Cube

data:
CSV
ML timing:
0.129s elapsed time, 0.146s cpu time, 0.000s GC time, factor 1.13
ML heap maximum:
57 MiB
ML heap average:
57 MiB
Isabelle version:
333ffbe82f5f

Intro

data:
CSV
ML heap maximum:
13 MiB
ML heap average:
13 MiB
Isabelle version:
333ffbe82f5f

HOL-Metis_Examples

data:
CSV
Isabelle version:
333ffbe82f5f

Demo_EPTCS

data:
CSV
ML timing:
0.073s elapsed time, 0.100s cpu time, 0.000s GC time, factor 1.37
ML heap maximum:
70 MiB
ML heap average:
70 MiB
Isabelle version:
333ffbe82f5f

Pure-Examples

data:
CSV
ML timing:
0.131s elapsed time, 0.198s cpu time, 0.000s GC time, factor 1.51
ML stack maximum:
1.1 MiB
ML stack average:
1.1 MiB
ML heap maximum:
187 MiB
ML heap average:
187 MiB
Isabelle version:
333ffbe82f5f