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

status date:
17-Jul-2026 09:43:21 +0200
build host:
mini3

HOL-Analysis

data:
CSV
timing:
0:06:55 elapsed time, 0:22:20 cpu time, factor 3.23
ML timing:
375.830s elapsed time, 1261.537s cpu time, 66.680s GC time, factor 3.36
ML code maximum:
5.1 MiB
ML code average:
5 MiB
ML stack maximum:
116.6 MiB
ML stack average:
98.7 MiB
ML heap maximum:
9.8 GiB
ML heap average:
8 GiB
ML heap stored:
380.4 MiB
Isabelle version:
9486a35a30af

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:05:39 elapsed time, 0:19:12 cpu time, factor 3.40
ML timing:
338.310s elapsed time, 1151.081s cpu time, 45.654s GC time, factor 3.40
ML code maximum:
93.4 MiB
ML code average:
87 MiB
ML stack maximum:
7.5 MiB
ML stack average:
6.2 MiB
ML heap maximum:
2.7 GiB
ML heap average:
2.2 GiB
Isabelle version:
9486a35a30af

HOL-Proofs

data:
CSV
timing:
0:04:17 elapsed time, 0:07:51 cpu time, factor 1.83
ML timing:
200.979s elapsed time, 351.147s cpu time, 61.758s GC time, factor 1.75
ML code maximum:
39.8 MiB
ML code average:
30.3 MiB
ML stack maximum:
84.3 MiB
ML stack average:
49.3 MiB
ML heap maximum:
12.8 GiB
ML heap average:
5.2 GiB
ML heap stored:
594.3 MiB
Isabelle version:
9486a35a30af

HOL-Codegenerator_Test

data:
CSV
timing:
0:03:01 elapsed time, 0:06:34 cpu time, factor 2.18
ML timing:
179.304s elapsed time, 391.098s cpu time, 25.325s GC time, factor 2.18
ML code maximum:
3.7 MiB
ML code average:
3.5 MiB
ML stack maximum:
55.1 MiB
ML stack average:
48.3 MiB
ML heap maximum:
3.5 GiB
ML heap average:
3 GiB
Isabelle version:
9486a35a30af

HOL-Data_Structures

data:
CSV
timing:
0:03:00 elapsed time, 0:10:54 cpu time, factor 3.63
ML timing:
177.875s elapsed time, 648.466s cpu time, 48.610s GC time, factor 3.65
ML stack maximum:
26.3 MiB
ML stack average:
17.6 MiB
ML heap maximum:
5.3 GiB
ML heap average:
4 GiB
Isabelle version:
9486a35a30af

HOL-Datatype_Benchmark

data:
CSV
timing:
0:02:57 elapsed time, 0:10:11 cpu time, factor 3.45
ML timing:
172.127s elapsed time, 597.909s cpu time, 101.734s GC time, factor 3.47
ML stack maximum:
12.2 MiB
ML stack average:
8.3 MiB
ML heap maximum:
20.7 GiB
ML heap average:
9.6 GiB
Isabelle version:
9486a35a30af

HOL-ex

data:
CSV
timing:
0:02:32 elapsed time, 0:09:01 cpu time, factor 3.56
ML timing:
150.688s elapsed time, 537.867s cpu time, 41.745s GC time, factor 3.57
ML code maximum:
8.1 MiB
ML code average:
5.6 MiB
ML stack maximum:
74.8 MiB
ML stack average:
41.1 MiB
ML heap maximum:
8.3 GiB
ML heap average:
3.6 GiB
Isabelle version:
9486a35a30af

HOL-Nominal-Examples

data:
CSV
timing:
0:02:29 elapsed time, 0:08:57 cpu time, factor 3.60
ML timing:
147.580s elapsed time, 533.461s cpu time, 46.670s GC time, factor 3.61
ML stack maximum:
46.8 MiB
ML stack average:
40.9 MiB
ML heap maximum:
4.7 GiB
ML heap average:
3.8 GiB
Isabelle version:
9486a35a30af

HOL

data:
CSV
timing:
0:02:25 elapsed time, 0:06:48 cpu time, factor 2.81
ML timing:
131.960s elapsed time, 382.894s cpu time, 33.059s GC time, factor 2.90
ML code maximum:
46.6 MiB
ML code average:
32.9 MiB
ML stack maximum:
100.3 MiB
ML stack average:
60.9 MiB
ML heap maximum:
4.4 GiB
ML heap average:
3.3 GiB
ML heap stored:
281.8 MiB
Isabelle version:
9486a35a30af

HOL-Decision_Procs

data:
CSV
timing:
0:02:08 elapsed time, 0:07:54 cpu time, factor 3.70
ML timing:
126.522s elapsed time, 470.526s cpu time, 32.389s GC time, factor 3.72
ML code maximum:
6.5 MiB
ML code average:
3 MiB
ML stack maximum:
93.8 MiB
ML stack average:
50.3 MiB
ML heap maximum:
8.1 GiB
ML heap average:
6.1 GiB
Isabelle version:
9486a35a30af

HOL-Library

data:
CSV
timing:
0:02:05 elapsed time, 0:07:01 cpu time, factor 3.37
ML timing:
108.747s elapsed time, 389.535s cpu time, 28.695s GC time, factor 3.58
ML code maximum:
6.8 MiB
ML code average:
6.6 MiB
ML stack maximum:
32.1 MiB
ML stack average:
25.2 MiB
ML heap maximum:
3.7 GiB
ML heap average:
3 GiB
ML heap stored:
212.1 MiB
Isabelle version:
9486a35a30af

HOL-Corec_Examples

data:
CSV
timing:
0:01:43 elapsed time, 0:04:32 cpu time, factor 2.64
ML timing:
100.205s elapsed time, 264.718s cpu time, 31.714s GC time, factor 2.64
ML stack maximum:
10.2 MiB
ML stack average:
4 MiB
ML heap maximum:
4.8 GiB
ML heap average:
3.4 GiB
Isabelle version:
9486a35a30af

HOL-Algebra

data:
CSV
timing:
0:01:28 elapsed time, 0:05:09 cpu time, factor 3.51
ML timing:
77.065s elapsed time, 288.339s cpu time, 55.528s GC time, factor 3.74
ML stack maximum:
24.4 MiB
ML stack average:
19.6 MiB
ML heap maximum:
8.3 GiB
ML heap average:
3.3 GiB
ML heap stored:
89.9 MiB
Isabelle version:
9486a35a30af

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:23 elapsed time, 0:02:01 cpu time, factor 1.46
ML timing:
81.238s elapsed time, 119.515s cpu time, 7.611s GC time, factor 1.47
ML stack maximum:
17.6 MiB
ML stack average:
16.5 MiB
ML heap maximum:
3.4 GiB
ML heap average:
2.9 GiB
Isabelle version:
9486a35a30af

HOL-Probability

data:
CSV
timing:
0:01:01 elapsed time, 0:03:11 cpu time, factor 3.13
ML timing:
50.784s elapsed time, 173.509s cpu time, 17.386s GC time, factor 3.42
ML stack maximum:
28.4 MiB
ML stack average:
21.7 MiB
ML heap maximum:
3.4 GiB
ML heap average:
1.6 GiB
ML heap stored:
74.1 MiB
Isabelle version:
9486a35a30af

HOL-Proofs-Lambda

data:
CSV
timing:
0:00:58 elapsed time, 0:01:05 cpu time, factor 1.12
ML timing:
57.128s elapsed time, 64.286s cpu time, 1.867s GC time, factor 1.13
ML stack maximum:
4.2 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

HOL-Imperative_HOL

data:
CSV
timing:
0:00:57 elapsed time, 0:02:55 cpu time, factor 3.07
ML timing:
56.042s elapsed time, 173.520s cpu time, 13.715s GC time, factor 3.10
ML stack maximum:
22.3 MiB
ML stack average:
20.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

HOL-Record_Benchmark

data:
CSV
timing:
0:00:53 elapsed time, 0:01:28 cpu time, factor 1.66
ML timing:
52.638s elapsed time, 86.571s cpu time, 2.898s GC time, factor 1.64
ML stack maximum:
8 MiB
ML stack average:
6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

HOL-Homology

data:
CSV
timing:
0:00:51 elapsed time, 0:02:47 cpu time, factor 3.27
ML timing:
49.110s elapsed time, 164.381s cpu time, 19.592s GC time, factor 3.35
ML stack maximum:
24.2 MiB
ML stack average:
20.3 MiB
ML heap maximum:
4.5 GiB
ML heap average:
2.3 GiB
Isabelle version:
9486a35a30af

HOL-Datatype_Examples

data:
CSV
timing:
0:00:50 elapsed time, 0:03:07 cpu time, factor 3.74
ML timing:
47.702s elapsed time, 181.175s cpu time, 28.732s GC time, factor 3.80
ML stack maximum:
6 MiB
ML stack average:
4.5 MiB
ML heap maximum:
5.1 GiB
ML heap average:
3.1 GiB
Isabelle version:
9486a35a30af

HOL-Real_Asymp

data:
CSV
timing:
0:00:49 elapsed time, 0:02:50 cpu time, factor 3.47
ML timing:
42.722s elapsed time, 158.561s cpu time, 11.137s GC time, factor 3.71
ML code maximum:
4.5 MiB
ML code average:
4 MiB
ML stack maximum:
47.6 MiB
ML stack average:
32.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
ML heap stored:
92.9 MiB
Isabelle version:
9486a35a30af

HOL-Auth

data:
CSV
timing:
0:00:47 elapsed time, 0:02:32 cpu time, factor 3.23
ML timing:
43.376s elapsed time, 146.483s cpu time, 4.201s GC time, factor 3.38
ML stack maximum:
22.3 MiB
ML stack average:
18.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
44.9 MiB
Isabelle version:
9486a35a30af

HOL-Quickcheck_Examples

data:
CSV
timing:
0:00:47 elapsed time, 0:01:24 cpu time, factor 1.79
ML timing:
46.365s elapsed time, 83.320s cpu time, 4.357s GC time, factor 1.80
ML code maximum:
17.7 MiB
ML code average:
13.2 MiB
ML stack maximum:
18.6 MiB
ML stack average:
16.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:00:46 elapsed time, 0:02:01 cpu time, factor 2.63
ML timing:
44.888s elapsed time, 120.156s cpu time, 5.151s GC time, factor 2.68
ML code maximum:
8 MiB
ML code average:
5.7 MiB
ML stack maximum:
9.2 MiB
ML stack average:
5.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

HOL-Computational_Algebra

data:
CSV
timing:
0:00:44 elapsed time, 0:02:09 cpu time, factor 2.93
ML timing:
38.390s elapsed time, 119.955s cpu time, 5.624s GC time, factor 3.12
ML code maximum:
1.1 MiB
ML stack maximum:
56.6 MiB
ML stack average:
32.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
58.6 MiB
Isabelle version:
9486a35a30af

Codegen

data:
CSV
timing:
0:00:41 elapsed time, 0:02:15 cpu time, factor 3.29
ML timing:
40.689s elapsed time, 133.447s cpu time, 4.750s GC time, factor 3.28
ML stack maximum:
16.2 MiB
ML stack average:
12.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

HOL-IMP

data:
CSV
timing:
0:00:41 elapsed time, 0:02:19 cpu time, factor 3.39
ML timing:
40.338s elapsed time, 138.133s cpu time, 11.303s GC time, factor 3.42
ML code maximum:
14.7 MiB
ML code average:
6.6 MiB
ML stack maximum:
9.7 MiB
ML stack average:
5.4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

HOL-MicroJava

data:
CSV
timing:
0:00:40 elapsed time, 0:02:19 cpu time, factor 3.48
ML timing:
38.916s elapsed time, 138.265s cpu time, 3.979s GC time, factor 3.55
ML code maximum:
1.8 MiB
ML code average:
1.3 MiB
ML stack maximum:
16.9 MiB
ML stack average:
12.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

HOL-Examples

data:
CSV
timing:
0:00:38 elapsed time, 0:02:08 cpu time, factor 3.37
ML timing:
37.616s elapsed time, 126.408s cpu time, 10.907s GC time, factor 3.36
ML code maximum:
1.4 MiB
ML code average:
1.1 MiB
ML stack maximum:
15.8 MiB
ML stack average:
14 MiB
ML heap maximum:
2 GiB
ML heap average:
1.6 GiB
Isabelle version:
9486a35a30af

HOL-Hoare_Parallel

data:
CSV
timing:
0:00:37 elapsed time, 0:02:09 cpu time, factor 3.49
ML timing:
36.280s elapsed time, 127.876s cpu time, 2.687s GC time, factor 3.52
ML stack maximum:
9 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

HOL-Complex_Analysis

data:
CSV
timing:
0:00:36 elapsed time, 0:01:58 cpu time, factor 3.28
ML timing:
35.300s elapsed time, 117.227s cpu time, 3.227s GC time, factor 3.32
ML stack maximum:
23.9 MiB
ML stack average:
20.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

HOL-Bali

data:
CSV
timing:
0:00:36 elapsed time, 0:01:50 cpu time, factor 3.06
ML timing:
35.018s elapsed time, 109.139s cpu time, 4.994s GC time, factor 3.12
ML stack maximum:
18.7 MiB
ML stack average:
10.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

HOL-Number_Theory

data:
CSV
timing:
0:00:31 elapsed time, 0:01:49 cpu time, factor 3.52
ML timing:
30.061s elapsed time, 108.060s cpu time, 9.669s GC time, factor 3.59
ML stack maximum:
16.8 MiB
ML stack average:
13.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

HOL-SMT_Examples

data:
CSV
timing:
0:00:29 elapsed time, 0:01:10 cpu time, factor 2.41
ML timing:
28.764s elapsed time, 69.792s cpu time, 1.807s GC time, factor 2.43
ML stack maximum:
15.6 MiB
ML stack average:
14.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

Corec

data:
CSV
timing:
0:00:28 elapsed time, 0:00:41 cpu time, factor 1.46
ML timing:
27.365s elapsed time, 39.769s cpu time, 2.195s GC time, factor 1.45
ML code maximum:
2.9 MiB
ML code average:
2.7 MiB
ML stack maximum:
9.6 MiB
ML stack average:
8.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

Datatypes

data:
CSV
timing:
0:00:28 elapsed time, 0:00:49 cpu time, factor 1.75
ML timing:
20.882s elapsed time, 35.878s cpu time, 2.787s GC time, factor 1.72
ML stack maximum:
11.5 MiB
ML stack average:
7.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
100.6 MiB
Isabelle version:
9486a35a30af

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:20 elapsed time, 0:00:53 cpu time, factor 2.65
ML timing:
19.102s elapsed time, 52.096s cpu time, 1.300s GC time, factor 2.73
ML stack maximum:
8.5 MiB
ML stack average:
6.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

HOL-SET_Protocol

data:
CSV
timing:
0:00:17 elapsed time, 0:00:52 cpu time, factor 3.06
ML timing:
16.080s elapsed time, 51.622s cpu time, 0.813s GC time, factor 3.21
ML stack maximum:
6.7 MiB
ML stack average:
5.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

HOL-UNITY

data:
CSV
timing:
0:00:17 elapsed time, 0:00:57 cpu time, factor 3.35
ML timing:
16.575s elapsed time, 56.559s cpu time, 2.352s GC time, factor 3.41
ML stack maximum:
15.6 MiB
ML stack average:
13.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

HOL-Quotient_Examples

data:
CSV
timing:
0:00:13 elapsed time, 0:00:20 cpu time, factor 1.54
ML timing:
11.737s elapsed time, 18.952s cpu time, 0.840s GC time, factor 1.61
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:
9486a35a30af

HOL-Matrix_LP

data:
CSV
timing:
0:00:11 elapsed time, 0:00:30 cpu time, factor 2.73
ML timing:
10.283s elapsed time, 29.775s cpu time, 0.922s GC time, factor 2.90
ML code maximum:
1.4 MiB
ML code average:
1 MiB
ML stack maximum:
9 MiB
ML stack average:
6.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

HOL-Analysis-ex

data:
CSV
timing:
0:00:11 elapsed time, 0:00:28 cpu time, factor 2.55
ML timing:
10.055s elapsed time, 26.928s cpu time, 0.306s GC time, factor 2.68
ML stack maximum:
6.8 MiB
ML stack average:
6.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

HOL-SPARK

data:
CSV
timing:
0:00:11 elapsed time, 0:00:26 cpu time, factor 2.36
ML timing:
8.404s elapsed time, 22.163s cpu time, 0.820s GC time, factor 2.64
ML stack maximum:
9.2 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
21.1 MiB
Isabelle version:
9486a35a30af

HOLCF

data:
CSV
timing:
0:00:11 elapsed time, 0:00:22 cpu time, factor 2.00
ML timing:
7.561s elapsed time, 17.391s cpu time, 0.832s GC time, factor 2.30
ML code maximum:
1.4 MiB
ML stack maximum:
7.5 MiB
ML stack average:
4.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
27.4 MiB
Isabelle version:
9486a35a30af

HOL-Metis_Examples

data:
CSV
timing:
0:00:11 elapsed time, 0:00:34 cpu time, factor 3.09
ML timing:
10.408s elapsed time, 33.363s cpu time, 2.490s GC time, factor 3.21
ML stack maximum:
10.6 MiB
ML stack average:
8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

HOL-Hoare

data:
CSV
timing:
0:00:11 elapsed time, 0:00:28 cpu time, factor 2.55
ML timing:
10.878s elapsed time, 27.330s cpu time, 0.706s GC time, factor 2.51
ML stack maximum:
4.3 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

Pure

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0.406s elapsed time, 0.437s cpu time, 0.012s GC time, factor 1.08
ML code maximum:
24.3 MiB
ML code average:
24.3 MiB
ML stack maximum:
4.1 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
574 MiB
ML heap stored:
32.1 MiB
Isabelle version:
9486a35a30af

HOL-Combinatorics

data:
CSV
timing:
0:00:09 elapsed time, 0:00:30 cpu time, factor 3.33
ML timing:
8.018s elapsed time, 29.300s cpu time, 1.314s GC time, factor 3.65
ML stack maximum:
12.9 MiB
ML stack average:
11.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

ZF

data:
CSV
timing:
0:00:09 elapsed time, 0:00:17 cpu time, factor 1.89
ML timing:
5.947s elapsed time, 16.322s cpu time, 1.421s GC time, factor 2.74
ML code maximum:
3.2 MiB
ML code average:
2.6 MiB
ML stack maximum:
21.3 MiB
ML stack average:
8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
965.1 MiB
ML heap stored:
20.7 MiB
Isabelle version:
9486a35a30af

HOL-Statespace

data:
CSV
timing:
0:00:08 elapsed time, 0:00:10 cpu time, factor 1.25
ML timing:
7.924s elapsed time, 9.308s cpu time, 0.328s 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:
9486a35a30af

HOL-Import

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.131s elapsed time, 7.616s cpu time, 0.262s GC time, factor 1.07
ML stack maximum:
66.1 MiB
ML stack average:
61.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

Tutorial

data:
CSV
timing:
0:00:08 elapsed time, 0:00:26 cpu time, factor 3.25
ML timing:
7.259s elapsed time, 25.067s cpu time, 1.556s GC time, factor 3.45
ML stack maximum:
8.4 MiB
ML stack average:
4.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

HOL-Types_To_Sets

data:
CSV
timing:
0:00:07 elapsed time, 0:00:12 cpu time, factor 1.71
ML timing:
6.729s elapsed time, 11.593s cpu time, 0.331s GC time, factor 1.72
ML stack maximum:
3.6 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

HOLCF-Library

data:
CSV
timing:
0:00:07 elapsed time, 0:00:19 cpu time, factor 2.71
ML timing:
4.515s elapsed time, 14.653s cpu time, 0.488s GC time, factor 3.25
ML stack maximum:
5.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
933.3 MiB
ML heap stored:
14.3 MiB
Isabelle version:
9486a35a30af

HOL-Cardinals

data:
CSV
timing:
0:00:07 elapsed time, 0:00:23 cpu time, factor 3.29
ML timing:
6.406s elapsed time, 22.437s cpu time, 0.735s GC time, factor 3.50
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:
9486a35a30af

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:07 elapsed time, 0:00:18 cpu time, factor 2.57
ML timing:
4.165s elapsed time, 13.440s cpu time, 0.607s GC time, factor 3.23
ML stack maximum:
9.1 MiB
ML stack average:
4.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
873.4 MiB
ML heap stored:
14.9 MiB
Isabelle version:
9486a35a30af

Isar_Ref

data:
CSV
timing:
0:00:07 elapsed time, 0:00:17 cpu time, factor 2.43
ML timing:
6.490s elapsed time, 16.691s cpu time, 0.987s GC time, factor 2.57
ML stack maximum:
25.9 MiB
ML stack average:
20.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

IOA

data:
CSV
timing:
0:00:07 elapsed time, 0:00:19 cpu time, factor 2.71
ML timing:
4.219s elapsed time, 14.241s cpu time, 0.528s GC time, factor 3.38
ML stack maximum:
7.1 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
888.9 MiB
ML heap stored:
10.4 MiB
Isabelle version:
9486a35a30af

HOL-Nominal

data:
CSV
timing:
0:00:06 elapsed time, 0:00:16 cpu time, factor 2.67
ML timing:
3.536s elapsed time, 12.099s cpu time, 0.648s GC time, factor 3.42
ML code maximum:
2.5 MiB
ML code average:
1.4 MiB
ML stack maximum:
11.1 MiB
ML stack average:
6.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
952.5 MiB
ML heap stored:
14 MiB
Isabelle version:
9486a35a30af

Haskell

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
5.035s elapsed time, 0.286s cpu time, 0.000s GC time, factor 0.06
ML stack maximum:
5.5 MiB
ML stack average:
5.1 MiB
ML heap maximum:
461 MiB
ML heap average:
458.3 MiB
Isabelle version:
9486a35a30af

HOL-SPARK-Examples

data:
CSV
timing:
0:00:06 elapsed time, 0:00:14 cpu time, factor 2.33
ML timing:
5.055s elapsed time, 14.089s cpu time, 0.239s GC time, factor 2.79
ML stack maximum:
3 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

Typeclass_Hierarchy

data:
CSV
timing:
0:00:05 elapsed time, 0:00:12 cpu time, factor 2.40
ML timing:
4.124s elapsed time, 11.388s cpu time, 0.517s GC time, factor 2.76
ML stack maximum:
10.8 MiB
ML stack average:
9.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
9486a35a30af

HOL-Induct

data:
CSV
timing:
0:00:05 elapsed time, 0:00:16 cpu time, factor 3.20
ML timing:
4.698s elapsed time, 15.787s cpu time, 1.082s GC time, factor 3.36
ML stack maximum:
4.6 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
9486a35a30af

HOL-ZF

data:
CSV
timing:
0:00:05 elapsed time, 0:00:15 cpu time, factor 3.00
ML timing:
4.363s elapsed time, 14.572s cpu time, 0.586s GC time, factor 3.34
ML stack maximum:
11.5 MiB
ML stack average:
10 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

HOLCF-Tutorial

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
4.516s elapsed time, 6.305s cpu time, 0.232s GC time, factor 1.40
ML stack maximum:
1.1 MiB
ML stack average:
1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.3 GiB
Isabelle version:
9486a35a30af

FOL-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
3.758s elapsed time, 5.550s cpu time, 0.223s GC time, factor 1.48
ML code maximum:
1.2 MiB
ML code average:
1.2 MiB
ML stack maximum:
5.2 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

HOL-Hahn_Banach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
3.370s elapsed time, 11.015s cpu time, 0.485s GC time, factor 3.27
ML stack maximum:
5.1 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

ZF-Constructible

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
3.513s elapsed time, 11.389s cpu time, 1.239s GC time, factor 3.24
ML stack maximum:
10 MiB
ML stack average:
6.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
9486a35a30af

HOL-TLA-Memory

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
3.742s elapsed time, 10.993s cpu time, 0.228s GC time, factor 2.94
ML stack maximum:
5.5 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
9486a35a30af

HOL-Probability-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:09 cpu time, factor 2.25
ML timing:
2.715s elapsed time, 8.101s cpu time, 0.312s GC time, factor 2.98
ML stack maximum:
3.1 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
9486a35a30af

IOA-NTP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.578s elapsed time, 6.004s cpu time, 0.250s GC time, factor 2.33
ML stack maximum:
2.5 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
9486a35a30af

HOL-NanoJava

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.583s elapsed time, 5.210s cpu time, 0.262s GC time, factor 2.02
ML stack maximum:
2.7 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
9486a35a30af

HOL-TLA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
0.809s elapsed time, 1.556s cpu time, 0.103s GC time, factor 1.92
ML stack maximum:
2.8 MiB
ML heap maximum:
191 MiB
ML heap average:
60.6 MiB
ML heap stored:
5.2 MiB
Isabelle version:
9486a35a30af

HOL-Eisbach

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.262s elapsed time, 7.799s cpu time, 0.373s GC time, factor 3.45
ML code maximum:
2.5 MiB
ML code average:
2 MiB
ML stack maximum:
8.2 MiB
ML stack average:
6.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
9486a35a30af

ZF-UNITY

data:
CSV
timing:
0:00:03 elapsed time, 0:00:11 cpu time, factor 3.67
ML timing:
3.101s elapsed time, 11.303s cpu time, 0.527s GC time, factor 3.64
ML stack maximum:
5 MiB
ML stack average:
4.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

HOL-Isar_Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.811s elapsed time, 5.842s cpu time, 0.207s GC time, factor 2.08
ML stack maximum:
2.9 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
9486a35a30af

IOA-ABP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.266s elapsed time, 4.859s cpu time, 0.201s GC time, factor 2.14
ML stack maximum:
1.6 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1002.3 MiB
Isabelle version:
9486a35a30af

System

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.572s elapsed time, 0.617s cpu time, 0.000s GC time, factor 0.24
ML stack maximum:
8.4 MiB
ML stack average:
8.4 MiB
ML heap maximum:
679 MiB
ML heap average:
565.2 MiB
Isabelle version:
9486a35a30af

HOL-Unix

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.671s elapsed time, 8.075s cpu time, 0.405s GC time, factor 3.02
ML stack maximum:
4.6 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
9486a35a30af

HOL-TPTP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.633s elapsed time, 3.427s cpu time, 0.219s GC time, factor 1.30
ML code maximum:
6.2 MiB
ML code average:
4.9 MiB
ML stack maximum:
22.5 MiB
ML stack average:
18.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
9486a35a30af

ZF-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.729s elapsed time, 6.081s cpu time, 0.319s GC time, factor 2.23
ML stack maximum:
7.7 MiB
ML stack average:
7.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
9486a35a30af

CCL

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.555s elapsed time, 3.802s cpu time, 0.249s GC time, factor 1.49
ML code maximum:
2.1 MiB
ML code average:
1.5 MiB
ML stack maximum:
7 MiB
ML stack average:
4.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
9486a35a30af

HOLCF-IMP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.363s elapsed time, 4.699s cpu time, 0.180s 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.3 GiB
Isabelle version:
9486a35a30af

ZF-Induct

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.520s elapsed time, 3.956s cpu time, 0.206s GC time, factor 2.60
ML stack maximum:
4.1 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1010 MiB
ML heap stored:
6 MiB
Isabelle version:
9486a35a30af

HOL-SPARK-Manual

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.454s elapsed time, 3.483s cpu time, 0.086s GC time, factor 2.40
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:
9486a35a30af

Prog_Prove

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
1.379s elapsed time, 4.842s cpu time, 0.363s GC time, factor 3.51
ML stack maximum:
5.6 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
9486a35a30af

HOL-Proofs-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.222s elapsed time, 2.451s cpu time, 0.646s GC time, factor 2.01
ML stack maximum:
7.5 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.1 GiB
ML heap average:
632 MiB
Isabelle version:
9486a35a30af

HOLCF-FOCUS

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.439s elapsed time, 4.267s cpu time, 0.169s GC time, factor 2.97
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:
9486a35a30af

Tools

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.708s elapsed time, 1.840s cpu time, 0.090s GC time, factor 1.08
ML code maximum:
2.4 MiB
ML code average:
1.5 MiB
ML stack maximum:
2.7 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
9486a35a30af

HOL-IOA

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.048s elapsed time, 1.731s cpu time, 0.073s GC time, factor 1.65
ML stack maximum:
1.7 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.1 GiB
ML heap average:
962.7 MiB
Isabelle version:
9486a35a30af

FOL

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.472s elapsed time, 1.724s cpu time, 0.123s 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:
712.8 MiB
ML heap stored:
5.2 MiB
Isabelle version:
9486a35a30af

HOLCF-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
1.491s elapsed time, 4.877s cpu time, 0.253s GC time, factor 3.27
ML stack maximum:
3.5 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
9486a35a30af

HOL-IMPP

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.842s elapsed time, 3.575s cpu time, 0.181s GC time, factor 1.94
ML stack maximum:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
9486a35a30af

Implementation

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.693s elapsed time, 3.875s cpu time, 0.074s GC time, factor 2.29
ML stack maximum:
9 MiB
ML stack average:
6.6 MiB
ML heap maximum:
761 MiB
ML heap average:
530.5 MiB
Isabelle version:
9486a35a30af

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.809s elapsed time, 1.958s cpu time, 0.060s GC time, factor 2.42
ML stack maximum:
1.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
9486a35a30af

HOL-Lattice

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.063s elapsed time, 1.882s cpu time, 0.115s GC time, factor 1.77
ML stack maximum:
2.2 MiB
ML stack average:
1.7 MiB
ML heap maximum:
770 MiB
ML heap average:
435.5 MiB
Isabelle version:
9486a35a30af

Functions

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.159s elapsed time, 1.644s cpu time, 0.081s GC time, factor 1.42
ML stack maximum:
3.6 MiB
ML stack average:
3.4 MiB
ML heap maximum:
762 MiB
ML heap average:
507.5 MiB
Isabelle version:
9486a35a30af

LCF

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.579s elapsed time, 1.894s cpu time, 0.116s GC time, factor 1.20
ML code maximum:
1.8 MiB
ML code average:
1.1 MiB
ML stack maximum:
4.5 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
952 MiB
Isabelle version:
9486a35a30af

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.398s elapsed time, 0.490s cpu time, 0.000s GC time, factor 1.23
ML heap maximum:
616 MiB
ML heap average:
616 MiB
Isabelle version:
9486a35a30af

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.605s elapsed time, 1.214s cpu time, 0.058s GC time, factor 2.01
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
760 MiB
ML heap average:
760 MiB
Isabelle version:
9486a35a30af

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.246s elapsed time, 0.513s cpu time, 0.000s GC time, factor 2.09
ML heap maximum:
736 MiB
ML heap average:
736 MiB
Isabelle version:
9486a35a30af

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.108s elapsed time, 0.208s cpu time, 0.000s GC time, factor 1.93
ML heap maximum:
91 MiB
ML heap average:
91 MiB
Isabelle version:
9486a35a30af

Classes

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.644s elapsed time, 1.004s cpu time, 0.057s GC time, factor 1.56
ML stack maximum:
2.4 MiB
ML stack average:
2.4 MiB
ML heap maximum:
128 MiB
ML heap average:
128 MiB
Isabelle version:
9486a35a30af

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.711s elapsed time, 1.459s cpu time, 0.088s GC time, factor 2.05
ML stack maximum:
1.1 MiB
ML heap maximum:
687 MiB
ML heap average:
348.7 MiB
Isabelle version:
9486a35a30af

HOL-Mutabelle

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.804s elapsed time, 0.892s cpu time, 0.078s GC time, factor 1.11
ML stack maximum:
8.8 MiB
ML stack average:
4.6 MiB
ML heap maximum:
338 MiB
ML heap average:
200.5 MiB
Isabelle version:
9486a35a30af

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.078s elapsed time, 0.110s cpu time, 0.000s GC time, factor 1.41
ML heap maximum:
75 MiB
ML heap average:
75 MiB
Isabelle version:
9486a35a30af

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.077s elapsed time, 0.110s cpu time, 0.000s GC time, factor 1.43
ML heap maximum:
59 MiB
ML heap average:
59 MiB
Isabelle version:
9486a35a30af

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.078s elapsed time, 0.110s cpu time, 0.000s GC time, factor 1.41
ML heap maximum:
73 MiB
ML heap average:
73 MiB
Isabelle version:
9486a35a30af

Sequents

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.716s elapsed time, 2.435s cpu time, 0.102s GC time, factor 3.40
ML stack maximum:
1.8 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
748.8 MiB
Isabelle version:
9486a35a30af

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.420s elapsed time, 0.860s cpu time, 0.057s GC time, factor 2.05
ML heap maximum:
177 MiB
ML heap average:
177 MiB
Isabelle version:
9486a35a30af

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.154s elapsed time, 0.256s cpu time, 0.000s GC time, factor 1.66
ML stack maximum:
1 MiB
ML stack average:
1 MiB
ML heap maximum:
100 MiB
ML heap average:
100 MiB
Isabelle version:
9486a35a30af

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.592s elapsed time, 0.667s cpu time, 0.066s GC time, factor 1.13
ML stack maximum:
1.5 MiB
ML heap maximum:
325 MiB
ML heap average:
166.2 MiB
ML heap stored:
2.4 MiB
Isabelle version:
9486a35a30af

IOA-Storage

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.776s elapsed time, 1.119s cpu time, 0.053s GC time, factor 1.44
ML heap maximum:
512 MiB
ML heap average:
347 MiB
Isabelle version:
9486a35a30af

Locales

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.543s elapsed time, 1.148s cpu time, 0.067s GC time, factor 2.11
ML stack maximum:
3.4 MiB
ML stack average:
3.4 MiB
ML heap maximum:
720 MiB
ML heap average:
720 MiB
Isabelle version:
9486a35a30af

FOLP-ex

data:
CSV
timing:
0:00:01 elapsed time, 0:00:03 cpu time
ML timing:
1.367s elapsed time, 3.132s cpu time, 0.104s GC time, factor 2.29
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.4 GiB
Isabelle version:
9486a35a30af

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.078s elapsed time, 0.110s cpu time, 0.000s GC time, factor 1.41
ML heap maximum:
98 MiB
ML heap average:
98 MiB
Isabelle version:
9486a35a30af

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.323s elapsed time, 0.347s cpu time, 0.000s GC time, factor 1.07
ML heap maximum:
97 MiB
ML heap average:
97 MiB
Isabelle version:
9486a35a30af

ZF-AC

data:
CSV
timing:
0:00:01 elapsed time, 0:00:04 cpu time
ML timing:
1.152s elapsed time, 3.883s cpu time, 0.280s GC time, factor 3.37
ML stack maximum:
4.7 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.4 GiB
Isabelle version:
9486a35a30af

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.311s elapsed time, 0.362s cpu time, 0.000s GC time, factor 1.16
ML stack maximum:
1.5 MiB
ML heap maximum:
583 MiB
ML heap average:
583 MiB
Isabelle version:
9486a35a30af

Eisbach

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.094s elapsed time, 1.383s cpu time, 0.058s GC time, factor 1.26
ML stack maximum:
3.5 MiB
ML stack average:
3.4 MiB
ML heap maximum:
759 MiB
ML heap average:
593.7 MiB
Isabelle version:
9486a35a30af

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.783s elapsed time, 1.353s cpu time, 0.070s GC time, factor 1.73
ML stack maximum:
1.5 MiB
ML heap maximum:
94 MiB
ML heap average:
56 MiB
Isabelle version:
9486a35a30af

Demo_EPTCS

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:
70 MiB
ML heap average:
70 MiB
Isabelle version:
9486a35a30af

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.138s elapsed time, 0.231s cpu time, 0.000s GC time, factor 1.67
ML heap maximum:
92 MiB
ML heap average:
92 MiB
Isabelle version:
9486a35a30af

Logics

data:
CSV
ML heap maximum:
13 MiB
ML heap average:
13 MiB
Isabelle version:
9486a35a30af

ZF-Coind

data:
CSV
ML timing:
0.281s elapsed time, 0.624s cpu time, 0.043s GC time, factor 2.22
ML heap maximum:
107 MiB
ML heap average:
7 MiB
Isabelle version:
9486a35a30af

Logics_ZF

data:
CSV
ML timing:
0.162s elapsed time, 0.267s cpu time, 0.000s GC time, factor 1.65
ML stack maximum:
1.5 MiB
ML stack average:
1.5 MiB
ML heap maximum:
240 MiB
ML heap average:
240 MiB
Isabelle version:
9486a35a30af

SML

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

ZF-IMP

data:
CSV
ML timing:
0.401s elapsed time, 0.502s cpu time, 0.037s GC time, factor 1.25
ML heap maximum:
71 MiB
ML heap average:
68 MiB
Isabelle version:
9486a35a30af

CTT

data:
CSV
ML timing:
0.382s elapsed time, 0.652s cpu time, 0.075s GC time, factor 1.71
ML stack maximum:
2.5 MiB
ML heap maximum:
251 MiB
ML heap average:
251 MiB
Isabelle version:
9486a35a30af

Sledgehammer

data:
CSV
ML heap maximum:
13 MiB
ML heap average:
13 MiB
Isabelle version:
9486a35a30af

Nitpick

data:
CSV
ML heap maximum:
13 MiB
ML heap average:
13 MiB
Isabelle version:
9486a35a30af

Pure-ex

data:
CSV
ML timing:
0.099s elapsed time, 0.255s cpu time, 0.000s GC time, factor 2.58
ML stack maximum:
1.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
228 MiB
ML heap average:
228 MiB
Isabelle version:
9486a35a30af

Cube

data:
CSV
ML timing:
0.135s elapsed time, 0.152s cpu time, 0.000s GC time, factor 1.13
ML heap maximum:
65 MiB
ML heap average:
65 MiB
Isabelle version:
9486a35a30af

Intro

data:
CSV
ML heap maximum:
13 MiB
ML heap average:
13 MiB
Isabelle version:
9486a35a30af

Pure-Examples

data:
CSV
ML timing:
0.105s elapsed time, 0.194s cpu time, 0.000s GC time, factor 1.85
ML stack maximum:
1.1 MiB
ML stack average:
1.1 MiB
ML heap maximum:
182 MiB
ML heap average:
182 MiB
Isabelle version:
9486a35a30af