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

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

HOL-Analysis

data:
CSV
timing:
0:06:53 elapsed time, 0:22:17 cpu time, factor 3.24
ML timing:
374.270s elapsed time, 1258.223s cpu time, 66.711s GC time, factor 3.36
ML code maximum:
5.3 MiB
ML code average:
5.2 MiB
ML stack maximum:
106.6 MiB
ML stack average:
89.7 MiB
ML heap maximum:
10.2 GiB
ML heap average:
8.3 GiB
ML heap stored:
380.8 MiB
Isabelle version:
c49c146b758b

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:05:40 elapsed time, 0:19:07 cpu time, factor 3.37
ML timing:
339.551s elapsed time, 1146.732s cpu time, 46.069s GC time, factor 3.38
ML code maximum:
103 MiB
ML code average:
95.9 MiB
ML stack maximum:
7 MiB
ML stack average:
5.7 MiB
ML heap maximum:
2.7 GiB
ML heap average:
2.2 GiB
Isabelle version:
c49c146b758b

HOL-Proofs

data:
CSV
timing:
0:04:17 elapsed time, 0:07:50 cpu time, factor 1.83
ML timing:
200.683s elapsed time, 350.895s cpu time, 61.989s GC time, factor 1.75
ML code maximum:
39.9 MiB
ML code average:
29.1 MiB
ML stack maximum:
84.3 MiB
ML stack average:
49.5 MiB
ML heap maximum:
12.5 GiB
ML heap average:
5.1 GiB
ML heap stored:
594.3 MiB
Isabelle version:
c49c146b758b

HOL-Codegenerator_Test

data:
CSV
timing:
0:03:02 elapsed time, 0:06:36 cpu time, factor 2.18
ML timing:
180.942s elapsed time, 393.276s cpu time, 28.544s GC time, factor 2.17
ML code maximum:
3.7 MiB
ML code average:
3.5 MiB
ML stack maximum:
47.6 MiB
ML stack average:
42.5 MiB
ML heap maximum:
3.5 GiB
ML heap average:
3 GiB
Isabelle version:
c49c146b758b

HOL-Data_Structures

data:
CSV
timing:
0:02:59 elapsed time, 0:10:51 cpu time, factor 3.64
ML timing:
176.696s elapsed time, 646.080s cpu time, 45.160s GC time, factor 3.66
ML stack maximum:
26.8 MiB
ML stack average:
18.5 MiB
ML heap maximum:
6.8 GiB
ML heap average:
4.4 GiB
Isabelle version:
c49c146b758b

HOL-Datatype_Benchmark

data:
CSV
timing:
0:02:55 elapsed time, 0:10:01 cpu time, factor 3.43
ML timing:
170.878s elapsed time, 588.503s cpu time, 94.990s GC time, factor 3.44
ML stack maximum:
10 MiB
ML stack average:
8.3 MiB
ML heap maximum:
22.4 GiB
ML heap average:
9.1 GiB
Isabelle version:
c49c146b758b

HOL-ex

data:
CSV
timing:
0:02:36 elapsed time, 0:09:09 cpu time, factor 3.52
ML timing:
154.617s elapsed time, 546.138s cpu time, 43.951s GC time, factor 3.53
ML code maximum:
5.8 MiB
ML code average:
3.6 MiB
ML stack maximum:
71.3 MiB
ML stack average:
37.9 MiB
ML heap maximum:
5.6 GiB
ML heap average:
3.7 GiB
Isabelle version:
c49c146b758b

HOL-Nominal-Examples

data:
CSV
timing:
0:02:29 elapsed time, 0:08:59 cpu time, factor 3.62
ML timing:
147.873s elapsed time, 534.939s cpu time, 46.554s GC time, factor 3.62
ML stack maximum:
46.9 MiB
ML stack average:
40.9 MiB
ML heap maximum:
4.3 GiB
ML heap average:
3.6 GiB
Isabelle version:
c49c146b758b

HOL

data:
CSV
timing:
0:02:23 elapsed time, 0:06:39 cpu time, factor 2.79
ML timing:
130.016s elapsed time, 374.281s cpu time, 28.762s GC time, factor 2.88
ML code maximum:
46.5 MiB
ML code average:
32.6 MiB
ML stack maximum:
100.3 MiB
ML stack average:
62.4 MiB
ML heap maximum:
5 GiB
ML heap average:
3.7 GiB
ML heap stored:
281.8 MiB
Isabelle version:
c49c146b758b

HOL-Decision_Procs

data:
CSV
timing:
0:02:08 elapsed time, 0:07:55 cpu time, factor 3.71
ML timing:
126.817s elapsed time, 471.421s cpu time, 32.057s GC time, factor 3.72
ML code maximum:
6.5 MiB
ML code average:
2.9 MiB
ML stack maximum:
120.9 MiB
ML stack average:
62.3 MiB
ML heap maximum:
7.9 GiB
ML heap average:
6 GiB
Isabelle version:
c49c146b758b

HOL-Library

data:
CSV
timing:
0:02:05 elapsed time, 0:06:57 cpu time, factor 3.34
ML timing:
108.038s elapsed time, 385.002s cpu time, 25.552s GC time, factor 3.56
ML code maximum:
6.9 MiB
ML code average:
6.6 MiB
ML stack maximum:
36.6 MiB
ML stack average:
28.2 MiB
ML heap maximum:
3.5 GiB
ML heap average:
2.8 GiB
ML heap stored:
212.2 MiB
Isabelle version:
c49c146b758b

HOL-Algebra

data:
CSV
timing:
0:01:28 elapsed time, 0:05:09 cpu time, factor 3.51
ML timing:
77.153s elapsed time, 288.191s cpu time, 55.748s GC time, factor 3.74
ML stack maximum:
25.4 MiB
ML stack average:
21.1 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:01:25 elapsed time, 0:04:36 cpu time, factor 3.25
ML timing:
81.633s elapsed time, 268.234s cpu time, 33.185s GC time, factor 3.29
ML stack maximum:
8.7 MiB
ML stack average:
2.1 MiB
ML heap maximum:
5.2 GiB
ML heap average:
3.7 GiB
Isabelle version:
c49c146b758b

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:25 elapsed time, 0:02:05 cpu time, factor 1.47
ML timing:
83.805s elapsed time, 122.780s cpu time, 10.809s GC time, factor 1.47
ML code maximum:
1 MiB
ML stack maximum:
14.2 MiB
ML stack average:
13.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Probability

data:
CSV
timing:
0:00:59 elapsed time, 0:03:09 cpu time, factor 3.20
ML timing:
49.064s elapsed time, 170.787s cpu time, 15.266s GC time, factor 3.48
ML stack maximum:
27.1 MiB
ML stack average:
20.4 MiB
ML heap maximum:
3.5 GiB
ML heap average:
1.6 GiB
ML heap stored:
74.1 MiB
Isabelle version:
c49c146b758b

HOL-Proofs-Lambda

data:
CSV
timing:
0:00:58 elapsed time, 0:01:05 cpu time, factor 1.12
ML timing:
57.121s elapsed time, 64.254s cpu time, 1.843s GC time, factor 1.12
ML stack maximum:
3.9 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Imperative_HOL

data:
CSV
timing:
0:00:56 elapsed time, 0:02:52 cpu time, factor 3.07
ML timing:
55.246s elapsed time, 170.157s cpu time, 10.227s GC time, factor 3.08
ML stack maximum:
21.8 MiB
ML stack average:
19.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Record_Benchmark

data:
CSV
timing:
0:00:55 elapsed time, 0:01:29 cpu time, factor 1.62
ML timing:
53.856s elapsed time, 88.093s cpu time, 3.356s GC time, factor 1.64
ML stack maximum:
8.7 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Datatype_Examples

data:
CSV
timing:
0:00:52 elapsed time, 0:03:12 cpu time, factor 3.69
ML timing:
49.445s elapsed time, 187.027s cpu time, 34.158s GC time, factor 3.78
ML stack maximum:
7.6 MiB
ML stack average:
4.6 MiB
ML heap maximum:
5 GiB
ML heap average:
3.1 GiB
Isabelle version:
c49c146b758b

HOL-Homology

data:
CSV
timing:
0:00:51 elapsed time, 0:02:46 cpu time, factor 3.25
ML timing:
49.384s elapsed time, 163.707s cpu time, 18.771s GC time, factor 3.31
ML stack maximum:
25.2 MiB
ML stack average:
21.8 MiB
ML heap maximum:
4.3 GiB
ML heap average:
2.2 GiB
Isabelle version:
c49c146b758b

HOL-Real_Asymp

data:
CSV
timing:
0:00:49 elapsed time, 0:02:49 cpu time, factor 3.45
ML timing:
42.501s elapsed time, 157.988s cpu time, 10.373s GC time, factor 3.72
ML code maximum:
5 MiB
ML code average:
4.3 MiB
ML stack maximum:
42.4 MiB
ML stack average:
30.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
92.9 MiB
Isabelle version:
c49c146b758b

HOL-Auth

data:
CSV
timing:
0:00:47 elapsed time, 0:02:31 cpu time, factor 3.21
ML timing:
43.971s elapsed time, 145.792s cpu time, 4.072s GC time, factor 3.32
ML stack maximum:
18.3 MiB
ML stack average:
13.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
44.8 MiB
Isabelle version:
c49c146b758b

HOL-Quickcheck_Examples

data:
CSV
timing:
0:00:47 elapsed time, 0:01:24 cpu time, factor 1.79
ML timing:
46.283s elapsed time, 82.791s cpu time, 4.454s GC time, factor 1.79
ML code maximum:
17.7 MiB
ML code average:
13.2 MiB
ML stack maximum:
15.6 MiB
ML stack average:
14.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Computational_Algebra

data:
CSV
timing:
0:00:45 elapsed time, 0:02:12 cpu time, factor 2.93
ML timing:
39.290s elapsed time, 123.043s cpu time, 7.566s GC time, factor 3.13
ML code maximum:
1.1 MiB
ML stack maximum:
50.8 MiB
ML stack average:
29.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
58.7 MiB
Isabelle version:
c49c146b758b

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:00:44 elapsed time, 0:02:01 cpu time, factor 2.75
ML timing:
43.635s elapsed time, 120.312s cpu time, 5.260s GC time, factor 2.76
ML code maximum:
8 MiB
ML code average:
5.7 MiB
ML stack maximum:
8.9 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

Codegen

data:
CSV
timing:
0:00:42 elapsed time, 0:02:16 cpu time, factor 3.24
ML timing:
40.734s elapsed time, 134.243s cpu time, 4.873s GC time, factor 3.30
ML stack maximum:
15.2 MiB
ML stack average:
12.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-IMP

data:
CSV
timing:
0:00:41 elapsed time, 0:02:19 cpu time, factor 3.39
ML timing:
40.242s elapsed time, 137.494s cpu time, 10.573s GC time, factor 3.42
ML code maximum:
13.8 MiB
ML code average:
6.4 MiB
ML stack maximum:
8.2 MiB
ML stack average:
4.8 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-MicroJava

data:
CSV
timing:
0:00:39 elapsed time, 0:02:19 cpu time, factor 3.56
ML timing:
38.424s elapsed time, 138.269s cpu time, 4.047s GC time, factor 3.60
ML code maximum:
1.8 MiB
ML code average:
1.2 MiB
ML stack maximum:
14.4 MiB
ML stack average:
11.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Examples

data:
CSV
timing:
0:00:39 elapsed time, 0:02:09 cpu time, factor 3.31
ML timing:
37.823s elapsed time, 127.366s cpu time, 11.038s GC time, factor 3.37
ML code maximum:
1.3 MiB
ML code average:
1 MiB
ML stack maximum:
17.3 MiB
ML stack average:
14.4 MiB
ML heap maximum:
2 GiB
ML heap average:
1.6 GiB
Isabelle version:
c49c146b758b

HOL-Hoare_Parallel

data:
CSV
timing:
0:00:37 elapsed time, 0:02:08 cpu time, factor 3.46
ML timing:
36.114s elapsed time, 127.439s cpu time, 2.670s GC time, factor 3.53
ML stack maximum:
9.4 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Complex_Analysis

data:
CSV
timing:
0:00:36 elapsed time, 0:01:58 cpu time, factor 3.28
ML timing:
35.158s elapsed time, 116.802s cpu time, 3.293s GC time, factor 3.32
ML stack maximum:
23.4 MiB
ML stack average:
20.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Bali

data:
CSV
timing:
0:00:36 elapsed time, 0:01:50 cpu time, factor 3.06
ML timing:
34.822s elapsed time, 108.889s cpu time, 5.167s GC time, factor 3.13
ML stack maximum:
19.4 MiB
ML stack average:
10.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-SMT_Examples

data:
CSV
timing:
0:00:30 elapsed time, 0:01:11 cpu time, factor 2.37
ML timing:
29.076s elapsed time, 70.831s cpu time, 1.814s GC time, factor 2.44
ML stack maximum:
15.1 MiB
ML stack average:
13.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Number_Theory

data:
CSV
timing:
0:00:30 elapsed time, 0:01:49 cpu time, factor 3.63
ML timing:
29.680s elapsed time, 107.544s cpu time, 9.243s GC time, factor 3.62
ML stack maximum:
17.8 MiB
ML stack average:
13.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

Corec

data:
CSV
timing:
0:00:28 elapsed time, 0:00:41 cpu time, factor 1.46
ML timing:
27.287s elapsed time, 39.638s cpu time, 2.214s GC time, factor 1.45
ML code maximum:
2.9 MiB
ML code average:
2.7 MiB
ML stack maximum:
10.5 MiB
ML stack average:
8.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

Datatypes

data:
CSV
timing:
0:00:28 elapsed time, 0:00:48 cpu time, factor 1.71
ML timing:
20.429s elapsed time, 34.723s cpu time, 1.912s GC time, factor 1.70
ML stack maximum:
11.7 MiB
ML stack average:
7.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
100.7 MiB
Isabelle version:
c49c146b758b

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:20 elapsed time, 0:00:53 cpu time, factor 2.65
ML timing:
19.206s elapsed time, 52.745s cpu time, 1.335s GC time, factor 2.75
ML stack maximum:
10.5 MiB
ML stack average:
8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-UNITY

data:
CSV
timing:
0:00:17 elapsed time, 0:00:58 cpu time, factor 3.41
ML timing:
16.652s elapsed time, 57.435s cpu time, 2.558s GC time, factor 3.45
ML stack maximum:
16.1 MiB
ML stack average:
14.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-SET_Protocol

data:
CSV
timing:
0:00:16 elapsed time, 0:00:51 cpu time, factor 3.19
ML timing:
15.989s elapsed time, 51.175s cpu time, 0.808s GC time, factor 3.20
ML stack maximum:
6.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Quotient_Examples

data:
CSV
timing:
0:00:13 elapsed time, 0:00:20 cpu time, factor 1.54
ML timing:
11.769s elapsed time, 18.904s cpu time, 0.818s GC time, factor 1.61
ML stack maximum:
5 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Matrix_LP

data:
CSV
timing:
0:00:11 elapsed time, 0:00:30 cpu time, factor 2.73
ML timing:
10.229s elapsed time, 29.416s cpu time, 0.902s GC time, factor 2.88
ML code maximum:
1.4 MiB
ML code average:
1 MiB
ML stack maximum:
9.3 MiB
ML stack average:
7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Analysis-ex

data:
CSV
timing:
0:00:11 elapsed time, 0:00:27 cpu time, factor 2.45
ML timing:
9.883s elapsed time, 26.610s cpu time, 0.304s GC time, factor 2.69
ML stack maximum:
6.8 MiB
ML stack average:
6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-SPARK

data:
CSV
timing:
0:00:11 elapsed time, 0:00:27 cpu time, factor 2.45
ML timing:
8.410s elapsed time, 22.455s cpu time, 0.857s GC time, factor 2.67
ML stack maximum:
9.4 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
21.2 MiB
Isabelle version:
c49c146b758b

HOLCF

data:
CSV
timing:
0:00:11 elapsed time, 0:00:22 cpu time, factor 2.00
ML timing:
7.644s elapsed time, 17.564s cpu time, 0.870s GC time, factor 2.30
ML code maximum:
1.4 MiB
ML stack maximum:
8.9 MiB
ML stack average:
4.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
27.4 MiB
Isabelle version:
c49c146b758b

HOL-Metis_Examples

data:
CSV
timing:
0:00:11 elapsed time, 0:00:34 cpu time, factor 3.09
ML timing:
10.648s elapsed time, 34.134s cpu time, 2.953s GC time, factor 3.21
ML stack maximum:
10.4 MiB
ML stack average:
8.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Hoare

data:
CSV
timing:
0:00:11 elapsed time, 0:00:28 cpu time, factor 2.55
ML timing:
10.850s elapsed time, 27.339s cpu time, 0.709s GC time, factor 2.52
ML stack maximum:
4.1 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

Pure

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0.394s elapsed time, 0.429s cpu time, 0.014s GC time, factor 1.09
Isabelle version:
e0ed6e339365

HOL-Combinatorics

data:
CSV
timing:
0:00:09 elapsed time, 0:00:32 cpu time, factor 3.56
ML timing:
8.741s elapsed time, 31.087s cpu time, 2.337s GC time, factor 3.56
ML stack maximum:
13.9 MiB
ML stack average:
12.4 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

ZF

data:
CSV
timing:
0:00:09 elapsed time, 0:00:18 cpu time, factor 2.00
ML timing:
5.895s elapsed time, 16.370s cpu time, 1.165s GC time, factor 2.78
ML code maximum:
3.2 MiB
ML code average:
2.6 MiB
ML stack maximum:
16.8 MiB
ML stack average:
7.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
959.1 MiB
ML heap stored:
20.7 MiB
Isabelle version:
c49c146b758b

HOL-Statespace

data:
CSV
timing:
0:00:08 elapsed time, 0:00:10 cpu time, factor 1.25
ML timing:
8.024s elapsed time, 9.407s cpu time, 0.322s 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:
c49c146b758b

HOL-Import

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.141s elapsed time, 7.626s cpu time, 0.264s GC time, factor 1.07
ML stack maximum:
66.1 MiB
ML stack average:
61.6 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:07 elapsed time, 0:00:12 cpu time, factor 1.71
ML timing:
6.777s elapsed time, 11.676s cpu time, 0.360s GC time, factor 1.72
ML stack maximum:
3.5 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOLCF-Library

data:
CSV
timing:
0:00:07 elapsed time, 0:00:19 cpu time, factor 2.71
ML timing:
4.538s elapsed time, 14.668s cpu time, 0.496s GC time, factor 3.23
ML stack maximum:
6.1 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
929.2 MiB
ML heap stored:
14.3 MiB
Isabelle version:
c49c146b758b

HOL-Cardinals

data:
CSV
timing:
0:00:07 elapsed time, 0:00:23 cpu time, factor 3.29
ML timing:
6.436s elapsed time, 22.390s cpu time, 0.705s GC time, factor 3.48
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:
c49c146b758b

Tutorial

data:
CSV
timing:
0:00:07 elapsed time, 0:00:26 cpu time, factor 3.71
ML timing:
6.753s elapsed time, 25.618s cpu time, 1.599s GC time, factor 3.79
ML stack maximum:
8.4 MiB
ML stack average:
6.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:07 elapsed time, 0:00:18 cpu time, factor 2.57
ML timing:
4.196s elapsed time, 13.539s cpu time, 0.621s GC time, factor 3.23
ML stack maximum:
7.5 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
874.9 MiB
ML heap stored:
14.9 MiB
Isabelle version:
c49c146b758b

Isar_Ref

data:
CSV
timing:
0:00:07 elapsed time, 0:00:17 cpu time, factor 2.43
ML timing:
6.527s elapsed time, 16.770s cpu time, 1.021s GC time, factor 2.57
ML stack maximum:
25.8 MiB
ML stack average:
21 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

IOA

data:
CSV
timing:
0:00:07 elapsed time, 0:00:19 cpu time, factor 2.71
ML timing:
4.210s elapsed time, 14.182s cpu time, 0.519s GC time, factor 3.37
ML stack maximum:
5.9 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
826.4 MiB
ML heap stored:
10.4 MiB
Isabelle version:
c49c146b758b

HOL-Nominal

data:
CSV
timing:
0:00:06 elapsed time, 0:00:16 cpu time, factor 2.67
ML timing:
3.581s elapsed time, 12.088s cpu time, 0.645s GC time, factor 3.38
ML code maximum:
2.5 MiB
ML code average:
1.4 MiB
ML stack maximum:
10.6 MiB
ML stack average:
6.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
964.1 MiB
ML heap stored:
14 MiB
Isabelle version:
c49c146b758b

Haskell

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
5.067s elapsed time, 0.284s cpu time, 0.000s GC time, factor 0.06
ML stack maximum:
5 MiB
ML stack average:
5 MiB
ML heap maximum:
456 MiB
ML heap average:
456 MiB
Isabelle version:
c49c146b758b

HOL-SPARK-Examples

data:
CSV
timing:
0:00:06 elapsed time, 0:00:15 cpu time, factor 2.50
ML timing:
5.012s elapsed time, 14.066s cpu time, 0.250s 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.5 GiB
Isabelle version:
c49c146b758b

Typeclass_Hierarchy

data:
CSV
timing:
0:00:05 elapsed time, 0:00:12 cpu time, factor 2.40
ML timing:
4.153s elapsed time, 11.654s cpu time, 0.533s GC time, factor 2.81
ML stack maximum:
10 MiB
ML stack average:
9.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-Induct

data:
CSV
timing:
0:00:05 elapsed time, 0:00:17 cpu time, factor 3.40
ML timing:
4.168s elapsed time, 16.158s cpu time, 1.148s GC time, factor 3.88
ML stack maximum:
4.6 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-ZF

data:
CSV
timing:
0:00:05 elapsed time, 0:00:15 cpu time, factor 3.00
ML timing:
4.446s elapsed time, 14.732s cpu time, 0.604s GC time, factor 3.31
ML stack maximum:
11.8 MiB
ML stack average:
10.1 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.532s elapsed time, 6.326s cpu time, 0.232s GC time, factor 1.40
ML stack maximum:
2.1 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-Hahn_Banach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:12 cpu time, factor 3.00
ML timing:
3.436s elapsed time, 11.275s cpu time, 0.488s GC time, factor 3.28
ML stack maximum:
5.6 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

ZF-Constructible

data:
CSV
timing:
0:00:04 elapsed time, 0:00:12 cpu time, factor 3.00
ML timing:
3.672s elapsed time, 11.548s cpu time, 1.295s GC time, factor 3.14
ML stack maximum:
12.5 MiB
ML stack average:
8.7 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-TLA-Memory

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
3.729s elapsed time, 10.937s cpu time, 0.229s GC time, factor 2.93
ML stack maximum:
5.7 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-Probability-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:09 cpu time, factor 2.25
ML timing:
2.634s elapsed time, 8.055s cpu time, 0.312s GC time, factor 3.06
ML stack maximum:
3.1 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

IOA-NTP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.584s elapsed time, 6.022s cpu time, 0.246s GC time, factor 2.33
ML stack maximum:
3.7 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c49c146b758b

HOL-NanoJava

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.574s elapsed time, 5.188s cpu time, 0.261s GC time, factor 2.02
ML stack maximum:
3.1 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-TLA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
0.808s elapsed time, 1.527s cpu time, 0.104s GC time, factor 1.89
ML stack maximum:
2.8 MiB
ML heap maximum:
192 MiB
ML heap average:
45.2 MiB
ML heap stored:
5.2 MiB
Isabelle version:
c49c146b758b

FOL-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
3.001s elapsed time, 5.768s cpu time, 0.274s GC time, factor 1.92
ML code maximum:
1.2 MiB
ML code average:
1.2 MiB
ML stack maximum:
6.9 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Eisbach

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.385s elapsed time, 8.100s cpu time, 0.396s GC time, factor 3.40
ML code maximum:
2.5 MiB
ML code average:
2 MiB
ML stack maximum:
7.5 MiB
ML stack average:
5.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

ZF-UNITY

data:
CSV
timing:
0:00:03 elapsed time, 0:00:11 cpu time, factor 3.67
ML timing:
3.118s elapsed time, 11.304s cpu time, 0.509s GC time, factor 3.63
ML stack maximum:
5.2 MiB
ML stack average:
4.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Isar_Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.737s elapsed time, 5.769s cpu time, 0.208s GC time, factor 2.11
ML stack maximum:
3.4 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-IMPP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
1.843s elapsed time, 3.592s cpu time, 0.181s GC time, factor 1.95
ML stack maximum:
1.9 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.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.259s elapsed time, 4.864s cpu time, 0.195s GC time, factor 2.15
ML stack maximum:
1.5 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1003.9 MiB
Isabelle version:
c49c146b758b

System

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.704s elapsed time, 0.613s cpu time, 0.000s GC time, factor 0.23
ML stack maximum:
8.4 MiB
ML stack average:
8.4 MiB
ML heap maximum:
677 MiB
ML heap average:
556.3 MiB
Isabelle version:
c49c146b758b

HOL-Unix

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.713s elapsed time, 8.106s cpu time, 0.413s GC time, factor 2.99
ML stack maximum:
4.4 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c49c146b758b

HOL-TPTP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.138s elapsed time, 3.606s cpu time, 0.341s GC time, factor 1.69
ML code maximum:
6.2 MiB
ML code average:
4.6 MiB
ML stack maximum:
29.9 MiB
ML stack average:
29.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

ZF-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.710s elapsed time, 6.027s cpu time, 0.319s GC time, factor 2.22
ML stack maximum:
7.7 MiB
ML stack average:
6.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c49c146b758b

HOLCF-IMP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.361s elapsed time, 4.683s cpu time, 0.181s GC time, factor 1.98
ML stack maximum:
2.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

ZF-Induct

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.497s elapsed time, 3.978s cpu time, 0.223s GC time, factor 2.66
ML stack maximum:
4.1 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1002.8 MiB
ML heap stored:
6 MiB
Isabelle version:
c49c146b758b

HOL-SPARK-Manual

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.458s elapsed time, 3.491s cpu time, 0.088s GC time, factor 2.39
ML stack maximum:
3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c49c146b758b

Prog_Prove

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
1.401s elapsed time, 4.879s cpu time, 0.359s GC time, factor 3.48
ML stack maximum:
5.2 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-Proofs-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.248s elapsed time, 2.501s cpu time, 0.652s GC time, factor 2.00
ML stack maximum:
7.5 MiB
ML stack average:
4 MiB
ML heap maximum:
1.1 GiB
ML heap average:
816.5 MiB
Isabelle version:
c49c146b758b

HOLCF-FOCUS

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.457s elapsed time, 4.290s cpu time, 0.172s GC time, factor 2.94
ML stack maximum:
2 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

Tools

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.723s elapsed time, 1.853s cpu time, 0.091s GC time, factor 1.08
ML code maximum:
2.6 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:
860.4 MiB
Isabelle version:
c49c146b758b

HOL-IOA

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.058s elapsed time, 1.735s cpu time, 0.073s GC time, factor 1.64
ML stack maximum:
1.2 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.1 GiB
ML heap average:
935.2 MiB
Isabelle version:
c49c146b758b

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.704s elapsed time, 1.452s cpu time, 0.089s GC time, factor 2.06
ML stack maximum:
1.1 MiB
ML heap maximum:
699 MiB
ML heap average:
355 MiB
Isabelle version:
c49c146b758b

FOL

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.470s elapsed time, 1.719s cpu time, 0.122s GC time, factor 1.17
ML code maximum:
1.8 MiB
ML code average:
1.2 MiB
ML stack maximum:
4.5 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
706 MiB
ML heap stored:
5.2 MiB
Isabelle version:
c49c146b758b

HOLCF-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
1.481s elapsed time, 4.883s cpu time, 0.255s GC time, factor 3.30
ML stack maximum:
3.5 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.2 GiB
Isabelle version:
c49c146b758b

Implementation

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.581s elapsed time, 3.894s cpu time, 0.074s GC time, factor 2.46
ML stack maximum:
12 MiB
ML stack average:
11.6 MiB
ML heap maximum:
763 MiB
ML heap average:
710.7 MiB
Isabelle version:
c49c146b758b

ZF-AC

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.174s elapsed time, 3.883s cpu time, 0.299s GC time, factor 3.31
ML stack maximum:
4.7 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
725.5 MiB
Isabelle version:
c49c146b758b

Functions

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.201s elapsed time, 1.702s cpu time, 0.083s GC time, factor 1.42
ML stack maximum:
3.6 MiB
ML stack average:
2.3 MiB
ML heap maximum:
762 MiB
ML heap average:
331.1 MiB
Isabelle version:
c49c146b758b

LCF

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.578s elapsed time, 1.885s cpu time, 0.118s GC time, factor 1.19
ML code maximum:
1.8 MiB
ML code average:
1.1 MiB
ML stack maximum:
4.5 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
940 MiB
Isabelle version:
c49c146b758b

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.393s elapsed time, 0.483s cpu time, 0.000s GC time, factor 1.23
ML heap maximum:
615 MiB
ML heap average:
615 MiB
Isabelle version:
c49c146b758b

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.606s elapsed time, 1.212s cpu time, 0.060s GC time, factor 2.00
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
760 MiB
ML heap average:
760 MiB
Isabelle version:
c49c146b758b

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.245s elapsed time, 0.511s cpu time, 0.000s GC time, factor 2.09
ML heap maximum:
102 MiB
ML heap average:
102 MiB
Isabelle version:
c49c146b758b

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.111s elapsed time, 0.213s cpu time, 0.000s GC time, factor 1.92
ML heap maximum:
63 MiB
ML heap average:
63 MiB
Isabelle version:
c49c146b758b

Classes

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.628s elapsed time, 1.011s cpu time, 0.055s GC time, factor 1.61
ML stack maximum:
1.9 MiB
ML stack average:
1.9 MiB
ML heap maximum:
163 MiB
ML heap average:
163 MiB
Isabelle version:
c49c146b758b

HOL-Mutabelle

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.796s elapsed time, 0.887s cpu time, 0.082s GC time, factor 1.11
ML stack maximum:
8.8 MiB
ML stack average:
4.6 MiB
ML heap maximum:
335 MiB
ML heap average:
308 MiB
Isabelle version:
c49c146b758b

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.080s elapsed time, 0.112s cpu time, 0.000s GC time, factor 1.40
ML heap maximum:
83 MiB
ML heap average:
83 MiB
Isabelle version:
c49c146b758b

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.079s elapsed time, 0.111s cpu time, 0.000s GC time, factor 1.41
ML heap maximum:
101 MiB
ML heap average:
101 MiB
Isabelle version:
c49c146b758b

Sequents

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.730s elapsed time, 2.463s cpu time, 0.100s GC time, factor 3.37
ML stack maximum:
2 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
748.7 MiB
Isabelle version:
c49c146b758b

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.416s elapsed time, 0.856s cpu time, 0.056s GC time, factor 2.06
ML heap maximum:
174 MiB
ML heap average:
174 MiB
Isabelle version:
c49c146b758b

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.154s elapsed time, 0.255s cpu time, 0.000s GC time, factor 1.66
ML stack maximum:
1 MiB
ML stack average:
1 MiB
ML heap maximum:
89 MiB
ML heap average:
89 MiB
Isabelle version:
c49c146b758b

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.600s elapsed time, 0.677s cpu time, 0.067s GC time, factor 1.13
ML stack maximum:
1.5 MiB
ML heap maximum:
293 MiB
ML heap average:
150.1 MiB
ML heap stored:
2.4 MiB
Isabelle version:
c49c146b758b

IOA-Storage

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.780s elapsed time, 1.124s cpu time, 0.055s GC time, factor 1.44
ML heap maximum:
508 MiB
ML heap average:
343.4 MiB
Isabelle version:
c49c146b758b

Locales

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.553s elapsed time, 1.219s cpu time, 0.100s GC time, factor 2.20
ML stack maximum:
3.3 MiB
ML stack average:
3.3 MiB
ML heap maximum:
767 MiB
ML heap average:
767 MiB
Isabelle version:
c49c146b758b

HOL-TLA-Inc

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.797s elapsed time, 1.926s cpu time, 0.063s GC time, factor 2.42
ML stack maximum:
1.3 MiB
ML heap maximum:
843 MiB
ML heap average:
834 MiB
Isabelle version:
c49c146b758b

FOLP-ex

data:
CSV
timing:
0:00:01 elapsed time, 0:00:03 cpu time
ML timing:
1.365s elapsed time, 3.146s cpu time, 0.100s GC time, factor 2.30
ML code maximum:
1.6 MiB
ML code average:
1.5 MiB
ML stack maximum:
2.4 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.310s elapsed time, 0.345s cpu time, 0.000s GC time, factor 1.11
ML heap maximum:
500 MiB
ML heap average:
500 MiB
Isabelle version:
c49c146b758b

Main

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

HOL-Lattice

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.066s elapsed time, 1.881s cpu time, 0.116s GC time, factor 1.76
ML stack maximum:
2.2 MiB
ML stack average:
1.7 MiB
ML heap maximum:
769 MiB
ML heap average:
433.7 MiB
Isabelle version:
c49c146b758b

Eisbach

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.025s elapsed time, 1.394s cpu time, 0.071s GC time, factor 1.36
ML stack maximum:
2.9 MiB
ML stack average:
1.7 MiB
ML heap maximum:
761 MiB
ML heap average:
648.1 MiB
Isabelle version:
c49c146b758b

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.776s elapsed time, 1.351s cpu time, 0.070s GC time, factor 1.74
ML stack maximum:
1.5 MiB
ML heap maximum:
81 MiB
ML heap average:
39.5 MiB
Isabelle version:
c49c146b758b

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.077s elapsed time, 0.108s cpu time, 0.000s GC time, factor 1.40
ML heap maximum:
96 MiB
ML heap average:
96 MiB
Isabelle version:
c49c146b758b

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.134s elapsed time, 0.224s cpu time, 0.000s GC time, factor 1.67
ML heap maximum:
135 MiB
ML heap average:
135 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.283s elapsed time, 0.627s cpu time, 0.047s GC time, factor 2.22
ML heap maximum:
114 MiB
ML heap average:
7 MiB
Isabelle version:
c49c146b758b

Logics_ZF

data:
CSV
ML timing:
0.152s elapsed time, 0.256s cpu time, 0.000s GC time, factor 1.68
ML stack maximum:
1.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
213 MiB
ML heap average:
213 MiB
Isabelle version:
c49c146b758b

SML

data:
CSV
ML timing:
0.006s elapsed time, 0.009s cpu time, 0.000s GC time, factor 1.50
ML heap maximum:
24 MiB
ML heap average:
24 MiB
Isabelle version:
c49c146b758b

ZF-IMP

data:
CSV
ML timing:
0.403s elapsed time, 0.504s cpu time, 0.037s GC time, factor 1.25
ML heap maximum:
75 MiB
ML heap average:
70 MiB
Isabelle version:
c49c146b758b

CTT

data:
CSV
ML timing:
0.390s elapsed time, 0.659s cpu time, 0.075s GC time, factor 1.69
ML stack maximum:
2.5 MiB
ML heap maximum:
250 MiB
ML heap average:
250 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.079s elapsed time, 0.112s cpu time, 0.000s GC time, factor 1.42
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.178s elapsed time, 0.268s cpu time, 0.000s GC time, factor 1.51
ML stack maximum:
1.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
247 MiB
ML heap average:
247 MiB
Isabelle version:
c49c146b758b

Demo_Easychair

data:
CSV
ML timing:
0.075s elapsed time, 0.105s cpu time, 0.000s GC time, factor 1.40
ML heap maximum:
82 MiB
ML heap average:
82 MiB
Isabelle version:
c49c146b758b

Cube

data:
CSV
ML timing:
0.132s elapsed time, 0.156s cpu time, 0.000s GC time, factor 1.18
Isabelle version:
e0ed6e339365

Intro

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

CCL

data:
CSV
Isabelle version:
e0ed6e339365

Pure-Examples

data:
CSV
ML timing:
0.129s elapsed time, 0.203s cpu time, 0.000s GC time, factor 1.57
ML stack maximum:
1.1 MiB
ML stack average:
1.1 MiB
ML heap maximum:
186 MiB
ML heap average:
186 MiB
Isabelle version:
c49c146b758b