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

status date:
24-Sep-2026 01:57:02 +0200
build host:
mini3

HOL-Analysis

data:
CSV
timing:
0:12:48 elapsed time, 0:22:40 cpu time, factor 1.77
ML timing:
713.165s elapsed time, 1275.965s cpu time, 113.539s GC time, factor 1.79
ML code maximum:
5.2 MiB
ML code average:
5 MiB
ML stack maximum:
37.3 MiB
ML stack average:
31.6 MiB
ML heap maximum:
7.5 GiB
ML heap average:
5.2 GiB
ML heap stored:
385.9 MiB
Isabelle version:
eb050b286f6a

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:09:27 elapsed time, 0:17:56 cpu time, factor 1.90
ML timing:
565.866s elapsed time, 1075.116s cpu time, 32.125s GC time, factor 1.90
ML code maximum:
229.1 MiB
ML code average:
199.4 MiB
ML stack maximum:
5.4 MiB
ML stack average:
3.6 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.8 GiB
Isabelle version:
eb050b286f6a

HOL-Data_Structures

data:
CSV
timing:
0:05:36 elapsed time, 0:10:27 cpu time, factor 1.87
ML timing:
332.881s elapsed time, 621.944s cpu time, 57.427s GC time, factor 1.87
ML stack maximum:
14.1 MiB
ML stack average:
11.7 MiB
ML heap maximum:
5 GiB
ML heap average:
3.5 GiB
Isabelle version:
eb050b286f6a

HOL-Proofs

data:
CSV
timing:
0:05:19 elapsed time, 0:08:25 cpu time, factor 1.58
ML timing:
235.054s elapsed time, 373.835s cpu time, 59.706s GC time, factor 1.59
ML code maximum:
40.8 MiB
ML code average:
32.5 MiB
ML stack maximum:
57.3 MiB
ML stack average:
30.6 MiB
ML heap maximum:
14.9 GiB
ML heap average:
5.4 GiB
ML heap stored:
614 MiB
Isabelle version:
eb050b286f6a

HOL-ex

data:
CSV
timing:
0:05:19 elapsed time, 0:09:38 cpu time, factor 1.81
ML timing:
317.460s elapsed time, 575.282s cpu time, 38.315s GC time, factor 1.81
ML code maximum:
7.5 MiB
ML code average:
5.2 MiB
ML stack maximum:
52.1 MiB
ML stack average:
21.8 MiB
ML heap maximum:
3.9 GiB
ML heap average:
3.2 GiB
Isabelle version:
eb050b286f6a

HOL-Datatype_Benchmark

data:
CSV
timing:
0:05:14 elapsed time, 0:10:06 cpu time, factor 1.93
ML timing:
303.236s elapsed time, 585.543s cpu time, 95.806s GC time, factor 1.93
ML stack maximum:
7.7 MiB
ML stack average:
6.3 MiB
ML heap maximum:
19.6 GiB
ML heap average:
13 GiB
Isabelle version:
eb050b286f6a

HOL-Nominal-Examples

data:
CSV
timing:
0:04:50 elapsed time, 0:08:43 cpu time, factor 1.80
ML timing:
287.646s elapsed time, 518.825s cpu time, 45.888s GC time, factor 1.80
ML stack maximum:
41.8 MiB
ML stack average:
36.5 MiB
ML heap maximum:
5.6 GiB
ML heap average:
4.5 GiB
Isabelle version:
eb050b286f6a

HOL-Codegenerator_Test

data:
CSV
timing:
0:04:34 elapsed time, 0:06:31 cpu time, factor 1.43
ML timing:
272.144s elapsed time, 388.086s cpu time, 19.882s GC time, factor 1.43
ML code maximum:
2.9 MiB
ML code average:
1.6 MiB
ML stack maximum:
23.3 MiB
ML stack average:
18.1 MiB
ML heap maximum:
3.6 GiB
ML heap average:
3 GiB
Isabelle version:
eb050b286f6a

HOL-Library

data:
CSV
timing:
0:03:48 elapsed time, 0:06:49 cpu time, factor 1.79
ML timing:
205.777s elapsed time, 377.157s cpu time, 23.360s GC time, factor 1.83
ML code maximum:
6.8 MiB
ML code average:
6.4 MiB
ML stack maximum:
18.8 MiB
ML stack average:
16.1 MiB
ML heap maximum:
3.5 GiB
ML heap average:
2.9 GiB
ML heap stored:
212.6 MiB
Isabelle version:
eb050b286f6a

HOL-Decision_Procs

data:
CSV
timing:
0:03:45 elapsed time, 0:07:09 cpu time, factor 1.91
ML timing:
223.519s elapsed time, 426.564s cpu time, 26.981s GC time, factor 1.91
ML code maximum:
6 MiB
ML code average:
2.7 MiB
ML stack maximum:
43.1 MiB
ML stack average:
26.8 MiB
ML heap maximum:
6.2 GiB
ML heap average:
4.5 GiB
Isabelle version:
eb050b286f6a

HOL

data:
CSV
timing:
0:03:44 elapsed time, 0:06:51 cpu time, factor 1.83
ML timing:
205.682s elapsed time, 383.206s cpu time, 29.006s GC time, factor 1.86
ML code maximum:
40.1 MiB
ML code average:
33.5 MiB
ML stack maximum:
62.1 MiB
ML stack average:
47 MiB
ML heap maximum:
7.6 GiB
ML heap average:
4.5 GiB
ML heap stored:
292.2 MiB
Isabelle version:
eb050b286f6a

HOL-New_Algebra

data:
CSV
timing:
0:03:18 elapsed time, 0:06:10 cpu time, factor 1.87
ML timing:
184.444s elapsed time, 350.178s cpu time, 42.029s GC time, factor 1.90
ML stack maximum:
19.2 MiB
ML stack average:
15.6 MiB
ML heap maximum:
7.9 GiB
ML heap average:
3.9 GiB
ML heap stored:
69.4 MiB
Isabelle version:
eb050b286f6a

HOL-Algebra

data:
CSV
timing:
0:02:52 elapsed time, 0:05:23 cpu time, factor 1.88
ML timing:
157.250s elapsed time, 301.090s cpu time, 69.650s GC time, factor 1.91
ML stack maximum:
10.7 MiB
ML stack average:
8.2 MiB
ML heap maximum:
7.7 GiB
ML heap average:
3.3 GiB
ML heap stored:
93 MiB
Isabelle version:
eb050b286f6a

HOL-Corec_Examples

data:
CSV
timing:
0:02:24 elapsed time, 0:04:45 cpu time, factor 1.98
ML timing:
139.237s elapsed time, 276.812s cpu time, 38.933s GC time, factor 1.99
ML stack maximum:
7.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
7.8 GiB
ML heap average:
3.4 GiB
Isabelle version:
eb050b286f6a

HOL-Probability

data:
CSV
timing:
0:01:42 elapsed time, 0:03:01 cpu time, factor 1.77
ML timing:
89.400s elapsed time, 162.504s cpu time, 13.484s GC time, factor 1.82
ML stack maximum:
14.7 MiB
ML stack average:
10.9 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.3 GiB
ML heap stored:
74.2 MiB
Isabelle version:
eb050b286f6a

HOL-Datatype_Examples

data:
CSV
timing:
0:01:40 elapsed time, 0:03:18 cpu time, factor 1.98
ML timing:
96.723s elapsed time, 192.462s cpu time, 41.498s GC time, factor 1.99
ML stack maximum:
7.1 MiB
ML stack average:
2.7 MiB
ML heap maximum:
5.4 GiB
ML heap average:
3.1 GiB
Isabelle version:
eb050b286f6a

HOL-SMT_Examples

data:
CSV
timing:
0:01:38 elapsed time, 0:03:13 cpu time, factor 1.97
ML timing:
97.264s elapsed time, 191.658s cpu time, 11.755s GC time, factor 1.97
ML stack maximum:
10.7 MiB
ML stack average:
10.3 MiB
ML heap maximum:
4.8 GiB
ML heap average:
3.6 GiB
Isabelle version:
eb050b286f6a

HOL-Imperative_HOL

data:
CSV
timing:
0:01:37 elapsed time, 0:02:41 cpu time, factor 1.66
ML timing:
95.929s elapsed time, 159.728s cpu time, 7.197s GC time, factor 1.67
ML stack maximum:
12.3 MiB
ML stack average:
10.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
eb050b286f6a

HOL-Auth

data:
CSV
timing:
0:01:35 elapsed time, 0:02:28 cpu time, factor 1.56
ML timing:
90.784s elapsed time, 142.845s cpu time, 3.355s GC time, factor 1.57
ML stack maximum:
10.6 MiB
ML stack average:
9.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
44.9 MiB
Isabelle version:
eb050b286f6a

HOL-Real_Asymp

data:
CSV
timing:
0:01:30 elapsed time, 0:02:45 cpu time, factor 1.83
ML timing:
81.251s elapsed time, 152.935s cpu time, 8.962s GC time, factor 1.88
ML code maximum:
5.7 MiB
ML code average:
5.1 MiB
ML stack maximum:
33.8 MiB
ML stack average:
26.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
93.2 MiB
Isabelle version:
eb050b286f6a

HOL-Homology

data:
CSV
timing:
0:01:29 elapsed time, 0:02:39 cpu time, factor 1.79
ML timing:
87.048s elapsed time, 156.824s cpu time, 20.047s GC time, factor 1.80
ML stack maximum:
18.1 MiB
ML stack average:
15.4 MiB
ML heap maximum:
3.5 GiB
ML heap average:
1.8 GiB
Isabelle version:
eb050b286f6a

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:28 elapsed time, 0:02:04 cpu time, factor 1.41
ML timing:
86.665s elapsed time, 122.042s cpu time, 8.517s GC time, factor 1.41
ML code maximum:
1 MiB
ML stack maximum:
11.7 MiB
ML stack average:
10.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:01:18 elapsed time, 0:02:00 cpu time, factor 1.54
ML timing:
77.159s elapsed time, 119.434s cpu time, 4.558s GC time, factor 1.55
ML code maximum:
8 MiB
ML code average:
2.6 MiB
ML stack maximum:
6.1 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
eb050b286f6a

HOL-MicroJava

data:
CSV
timing:
0:01:16 elapsed time, 0:02:16 cpu time, factor 1.79
ML timing:
75.704s elapsed time, 135.029s cpu time, 3.263s GC time, factor 1.78
ML code maximum:
1.8 MiB
ML code average:
1.1 MiB
ML stack maximum:
12.6 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
eb050b286f6a

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:14 elapsed time, 0:01:19 cpu time, factor 1.07
ML timing:
73.801s elapsed time, 78.487s cpu time, 3.147s GC time, factor 1.06
ML code maximum:
17.7 MiB
ML code average:
4.9 MiB
ML stack maximum:
11.1 MiB
ML stack average:
10.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-IMP

data:
CSV
timing:
0:01:13 elapsed time, 0:02:04 cpu time, factor 1.70
ML timing:
72.418s elapsed time, 123.014s cpu time, 6.921s GC time, factor 1.70
ML code maximum:
15.2 MiB
ML code average:
6 MiB
ML stack maximum:
7.1 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

Codegen

data:
CSV
timing:
0:01:08 elapsed time, 0:02:10 cpu time, factor 1.91
ML timing:
67.312s elapsed time, 129.098s cpu time, 4.209s GC time, factor 1.92
ML stack maximum:
12.2 MiB
ML stack average:
10.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Examples

data:
CSV
timing:
0:01:08 elapsed time, 0:02:05 cpu time, factor 1.84
ML timing:
67.165s elapsed time, 123.930s cpu time, 11.230s GC time, factor 1.85
ML code maximum:
1.3 MiB
ML stack maximum:
11.8 MiB
ML stack average:
9.4 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Hoare_Parallel

data:
CSV
timing:
0:01:07 elapsed time, 0:02:05 cpu time, factor 1.87
ML timing:
66.527s elapsed time, 123.967s cpu time, 2.442s GC time, factor 1.86
ML stack maximum:
7.5 MiB
ML stack average:
4.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Computational_Algebra

data:
CSV
timing:
0:01:06 elapsed time, 0:02:03 cpu time, factor 1.86
ML timing:
59.600s elapsed time, 113.870s cpu time, 4.745s GC time, factor 1.91
ML code maximum:
1.1 MiB
ML stack maximum:
35.8 MiB
ML stack average:
23.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
58.9 MiB
Isabelle version:
eb050b286f6a

HOL-Complex_Analysis

data:
CSV
timing:
0:01:04 elapsed time, 0:01:52 cpu time, factor 1.75
ML timing:
62.643s elapsed time, 111.121s cpu time, 2.754s GC time, factor 1.77
ML stack maximum:
18.7 MiB
ML stack average:
16.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
eb050b286f6a

HOL-Record_Benchmark

data:
CSV
timing:
0:01:02 elapsed time, 0:01:29 cpu time, factor 1.44
ML timing:
60.886s elapsed time, 88.144s cpu time, 2.777s GC time, factor 1.45
ML stack maximum:
3.7 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:02 elapsed time, 0:01:07 cpu time, factor 1.08
ML timing:
61.035s elapsed time, 66.122s cpu time, 1.837s GC time, factor 1.08
ML stack maximum:
3.9 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Bali

data:
CSV
timing:
0:00:58 elapsed time, 0:01:46 cpu time, factor 1.83
ML timing:
57.087s elapsed time, 105.290s cpu time, 4.631s GC time, factor 1.84
ML stack maximum:
14.3 MiB
ML stack average:
9.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:42 elapsed time, 0:00:57 cpu time, factor 1.36
ML timing:
41.368s elapsed time, 56.147s cpu time, 1.110s GC time, factor 1.36
ML stack maximum:
6.2 MiB
ML stack average:
5.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-SET_Protocol

data:
CSV
timing:
0:00:33 elapsed time, 0:00:51 cpu time, factor 1.55
ML timing:
32.060s elapsed time, 50.378s cpu time, 0.719s GC time, factor 1.57
ML stack maximum:
4.7 MiB
ML stack average:
4.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-UNITY

data:
CSV
timing:
0:00:33 elapsed time, 0:00:54 cpu time, factor 1.64
ML timing:
32.281s elapsed time, 53.383s cpu time, 2.145s GC time, factor 1.65
ML stack maximum:
11.3 MiB
ML stack average:
9.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

Corec

data:
CSV
timing:
0:00:30 elapsed time, 0:00:40 cpu time, factor 1.33
ML timing:
28.882s elapsed time, 38.920s cpu time, 2.155s GC time, factor 1.35
ML code maximum:
2.9 MiB
ML code average:
2.7 MiB
ML stack maximum:
9.4 MiB
ML stack average:
8.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

Datatypes

data:
CSV
timing:
0:00:30 elapsed time, 0:00:46 cpu time, factor 1.53
ML timing:
21.092s elapsed time, 33.232s cpu time, 1.934s GC time, factor 1.58
ML stack maximum:
9.6 MiB
ML stack average:
6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
100.7 MiB
Isabelle version:
eb050b286f6a

HOL-Number_Theory

data:
CSV
timing:
0:00:22 elapsed time, 0:00:37 cpu time, factor 1.68
ML timing:
21.080s elapsed time, 37.113s cpu time, 0.704s GC time, factor 1.76
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Analysis-ex

data:
CSV
timing:
0:00:21 elapsed time, 0:00:28 cpu time, factor 1.33
ML timing:
20.349s elapsed time, 27.168s cpu time, 0.289s GC time, factor 1.34
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Metis_Examples

data:
CSV
timing:
0:00:20 elapsed time, 0:00:32 cpu time, factor 1.60
ML timing:
19.891s elapsed time, 31.602s cpu time, 1.908s GC time, factor 1.59
ML stack maximum:
5.6 MiB
ML stack average:
5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Matrix_LP

data:
CSV
timing:
0:00:17 elapsed time, 0:00:30 cpu time, factor 1.76
ML timing:
16.876s elapsed time, 29.098s cpu time, 0.850s GC time, factor 1.72
ML code maximum:
1.4 MiB
ML code average:
1.1 MiB
ML stack maximum:
7.1 MiB
ML stack average:
6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-SPARK

data:
CSV
timing:
0:00:16 elapsed time, 0:00:26 cpu time, factor 1.63
ML timing:
11.785s elapsed time, 21.187s cpu time, 0.862s GC time, factor 1.80
ML stack maximum:
9.1 MiB
ML stack average:
5.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
21.2 MiB
Isabelle version:
eb050b286f6a

HOL-Combinatorics

data:
CSV
timing:
0:00:16 elapsed time, 0:00:28 cpu time, factor 1.75
ML timing:
15.034s elapsed time, 27.784s cpu time, 1.172s GC time, factor 1.85
ML stack maximum:
10.7 MiB
ML stack average:
9.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Quotient_Examples

data:
CSV
timing:
0:00:15 elapsed time, 0:00:19 cpu time, factor 1.27
ML timing:
13.976s elapsed time, 18.760s cpu time, 0.859s GC time, factor 1.34
ML stack maximum:
3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Hoare

data:
CSV
timing:
0:00:15 elapsed time, 0:00:28 cpu time, factor 1.87
ML timing:
14.388s elapsed time, 27.317s cpu time, 0.724s GC time, factor 1.90
ML stack maximum:
2.9 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

Tutorial

data:
CSV
timing:
0:00:14 elapsed time, 0:00:25 cpu time, factor 1.79
ML timing:
12.848s elapsed time, 24.055s cpu time, 1.646s GC time, factor 1.87
ML stack maximum:
4.6 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOLCF

data:
CSV
timing:
0:00:13 elapsed time, 0:00:22 cpu time, factor 1.69
ML timing:
8.593s elapsed time, 17.019s cpu time, 0.911s GC time, factor 1.98
ML code maximum:
1.3 MiB
ML stack maximum:
5.6 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
999.3 MiB
ML heap stored:
27.5 MiB
Isabelle version:
eb050b286f6a

HOL-Cardinals

data:
CSV
timing:
0:00:13 elapsed time, 0:00:22 cpu time, factor 1.69
ML timing:
12.080s elapsed time, 21.719s cpu time, 0.677s GC time, factor 1.80
ML stack maximum:
7.4 MiB
ML stack average:
6.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOLCF-Library

data:
CSV
timing:
0:00:11 elapsed time, 0:00:19 cpu time, factor 1.73
ML timing:
7.677s elapsed time, 14.351s cpu time, 0.502s GC time, factor 1.87
ML stack maximum:
4.2 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
956.9 MiB
ML heap stored:
14.4 MiB
Isabelle version:
eb050b286f6a

IOA

data:
CSV
timing:
0:00:11 elapsed time, 0:00:19 cpu time, factor 1.73
ML timing:
7.322s elapsed time, 13.776s cpu time, 0.520s GC time, factor 1.88
ML stack maximum:
4.1 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1002 MiB
ML heap stored:
10.5 MiB
Isabelle version:
eb050b286f6a

Pure

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0.382s elapsed time, 0.408s cpu time, 0.009s GC time, factor 1.07
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:
485 MiB
ML heap stored:
32.2 MiB
Isabelle version:
eb050b286f6a

HOL-Nominal

data:
CSV
timing:
0:00:10 elapsed time, 0:00:17 cpu time, factor 1.70
ML timing:
6.183s elapsed time, 11.990s cpu time, 0.565s GC time, factor 1.94
ML code maximum:
2.4 MiB
ML code average:
1.8 MiB
ML stack maximum:
9.6 MiB
ML stack average:
5.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
906.7 MiB
ML heap stored:
14.1 MiB
Isabelle version:
eb050b286f6a

ZF

data:
CSV
timing:
0:00:10 elapsed time, 0:00:17 cpu time, factor 1.70
ML timing:
9.286s elapsed time, 15.631s cpu time, 1.178s GC time, factor 1.68
ML code maximum:
3.1 MiB
ML code average:
2.6 MiB
ML stack maximum:
10.8 MiB
ML stack average:
7.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
20.7 MiB
Isabelle version:
eb050b286f6a

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:10 elapsed time, 0:00:17 cpu time, factor 1.70
ML timing:
6.499s elapsed time, 12.538s cpu time, 0.526s GC time, factor 1.93
ML stack maximum:
5.8 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
970.6 MiB
ML heap stored:
14.9 MiB
Isabelle version:
eb050b286f6a

HOL-Statespace

data:
CSV
timing:
0:00:09 elapsed time, 0:00:10 cpu time, factor 1.11
ML timing:
8.318s elapsed time, 9.493s cpu time, 0.283s GC time, factor 1.14
ML stack maximum:
2.7 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
eb050b286f6a

HOL-SPARK-Examples

data:
CSV
timing:
0:00:09 elapsed time, 0:00:14 cpu time, factor 1.56
ML timing:
8.513s elapsed time, 14.167s cpu time, 0.242s GC time, factor 1.66
ML stack maximum:
2.1 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

Isar_Ref

data:
CSV
timing:
0:00:09 elapsed time, 0:00:17 cpu time, factor 1.89
ML timing:
8.859s elapsed time, 16.230s cpu time, 0.872s GC time, factor 1.83
ML stack maximum:
17.4 MiB
ML stack average:
13.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Types_To_Sets

data:
CSV
timing:
0:00:08 elapsed time, 0:00:12 cpu time, factor 1.50
ML timing:
7.220s elapsed time, 11.970s cpu time, 0.382s GC time, factor 1.66
ML stack maximum:
2.8 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
eb050b286f6a

HOL-Induct

data:
CSV
timing:
0:00:08 elapsed time, 0:00:16 cpu time, factor 2.00
ML timing:
7.825s elapsed time, 15.431s cpu time, 1.192s GC time, factor 1.97
ML stack maximum:
2.6 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
eb050b286f6a

HOL-ZF

data:
CSV
timing:
0:00:08 elapsed time, 0:00:14 cpu time, factor 1.75
ML timing:
7.456s elapsed time, 13.693s cpu time, 0.605s GC time, factor 1.84
ML stack maximum:
11.1 MiB
ML stack average:
9.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOL-Import

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.237s elapsed time, 7.610s cpu time, 0.231s GC time, factor 1.05
ML stack maximum:
64.4 MiB
ML stack average:
55.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
eb050b286f6a

Typeclass_Hierarchy

data:
CSV
timing:
0:00:07 elapsed time, 0:00:11 cpu time, factor 1.57
ML timing:
6.464s elapsed time, 10.848s cpu time, 0.535s GC time, factor 1.68
ML stack maximum:
9.2 MiB
ML stack average:
8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
eb050b286f6a

HOL-TLA-Memory

data:
CSV
timing:
0:00:07 elapsed time, 0:00:11 cpu time, factor 1.57
ML timing:
6.197s elapsed time, 11.150s cpu time, 0.298s GC time, factor 1.80
ML stack maximum:
5 MiB
ML stack average:
4.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
eb050b286f6a

HOL-Hahn_Banach

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
5.584s elapsed time, 10.722s cpu time, 0.534s GC time, factor 1.92
ML stack maximum:
3.6 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
eb050b286f6a

ZF-UNITY

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
5.626s elapsed time, 10.719s cpu time, 0.434s GC time, factor 1.91
ML stack maximum:
3.4 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

ZF-Constructible

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
5.522s elapsed time, 11.002s cpu time, 1.099s GC time, factor 1.99
ML stack maximum:
5.3 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

Haskell

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
5.571s elapsed time, 0.238s cpu time, 0.000s GC time, factor 0.04
ML stack maximum:
4.9 MiB
ML stack average:
4.5 MiB
ML heap maximum:
404 MiB
ML heap average:
374.8 MiB
Isabelle version:
eb050b286f6a

HOL-Probability-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:09 cpu time, factor 1.50
ML timing:
4.535s elapsed time, 7.798s cpu time, 0.296s GC time, factor 1.72
ML stack maximum:
2.4 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

HOLCF-Tutorial

data:
CSV
timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.17
ML timing:
4.925s elapsed time, 6.606s cpu time, 0.200s GC time, factor 1.34
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
eb050b286f6a

HOL-Eisbach

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
4.634s elapsed time, 7.445s cpu time, 0.304s GC time, factor 1.61
ML code maximum:
2.5 MiB
ML code average:
1.9 MiB
ML stack maximum:
6.8 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
eb050b286f6a

System

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
4.824s elapsed time, 0.665s cpu time, 0.000s GC time, factor 0.14
ML stack maximum:
5.3 MiB
ML stack average:
4.8 MiB
ML heap maximum:
703 MiB
ML heap average:
529.9 MiB
Isabelle version:
eb050b286f6a

IOA-NTP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.358s elapsed time, 5.916s cpu time, 0.267s GC time, factor 1.76
ML stack maximum:
1.2 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
eb050b286f6a

HOL-TLA

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
0.996s elapsed time, 1.619s cpu time, 0.130s GC time, factor 1.63
ML stack maximum:
2.5 MiB
ML heap maximum:
766 MiB
ML heap average:
143 MiB
ML heap stored:
5.3 MiB
Isabelle version:
eb050b286f6a

HOL-Isar_Examples

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
2.988s elapsed time, 5.705s cpu time, 0.224s GC time, factor 1.91
ML stack maximum:
1.8 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
eb050b286f6a

HOL-Unix

data:
CSV
timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 2.00
ML timing:
3.926s elapsed time, 7.694s cpu time, 0.418s GC time, factor 1.96
ML stack maximum:
4 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
eb050b286f6a

ZF-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.864s elapsed time, 5.943s cpu time, 0.336s GC time, factor 1.54
ML stack maximum:
6.4 MiB
ML stack average:
5.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
eb050b286f6a

CCL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
2.613s elapsed time, 3.749s cpu time, 0.275s GC time, factor 1.43
ML code maximum:
2.1 MiB
ML code average:
1.7 MiB
ML stack maximum:
6.1 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
732.4 MiB
Isabelle version:
eb050b286f6a

ZF-Induct

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.321s elapsed time, 4.094s cpu time, 0.212s GC time, factor 1.76
ML stack maximum:
3 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
6 MiB
Isabelle version:
eb050b286f6a

HOL-NanoJava

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.940s elapsed time, 5.114s cpu time, 0.290s GC time, factor 1.74
ML stack maximum:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
eb050b286f6a

FOL-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
3.191s elapsed time, 5.511s cpu time, 0.208s GC time, factor 1.73
ML code maximum:
1.2 MiB
ML stack maximum:
3.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
eb050b286f6a

Prog_Prove

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.307s elapsed time, 4.595s cpu time, 0.357s GC time, factor 1.99
ML stack maximum:
3.8 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
eb050b286f6a

HOLCF-FOCUS

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.186s elapsed time, 4.191s cpu time, 0.165s GC time, factor 1.92
ML stack maximum:
1.4 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
eb050b286f6a

HOLCF-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.408s elapsed time, 4.746s cpu time, 0.218s GC time, factor 1.97
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
eb050b286f6a

HOL-IMPP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.194s elapsed time, 3.587s cpu time, 0.212s GC time, factor 1.63
ML stack maximum:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
643.4 MiB
Isabelle version:
eb050b286f6a

IOA-ABP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.774s elapsed time, 4.899s cpu time, 0.209s GC time, factor 1.77
ML stack maximum:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
eb050b286f6a

Implementation

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.248s elapsed time, 3.905s cpu time, 0.076s GC time, factor 1.74
ML stack maximum:
8.3 MiB
ML stack average:
6.7 MiB
ML heap maximum:
765 MiB
ML heap average:
540.6 MiB
Isabelle version:
eb050b286f6a

HOL-TPTP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.500s elapsed time, 3.374s cpu time, 0.209s GC time, factor 1.35
ML code maximum:
6.1 MiB
ML code average:
4.1 MiB
ML stack maximum:
24.5 MiB
ML stack average:
16.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
eb050b286f6a

HOLCF-IMP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.543s elapsed time, 4.444s cpu time, 0.182s GC time, factor 1.75
ML stack maximum:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
eb050b286f6a

HOL-SPARK-Manual

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.988s elapsed time, 3.426s cpu time, 0.093s GC time, factor 1.72
ML stack maximum:
2.1 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
eb050b286f6a

HOL-Proofs-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.552s elapsed time, 2.716s cpu time, 0.760s GC time, factor 1.75
ML stack maximum:
7.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
834.3 MiB
Isabelle version:
eb050b286f6a

Tools

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.781s elapsed time, 1.894s cpu time, 0.095s GC time, factor 1.06
ML code maximum:
2.6 MiB
ML code average:
1.7 MiB
ML stack maximum:
2.6 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
811.7 MiB
Isabelle version:
eb050b286f6a

HOL-IOA

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.193s elapsed time, 1.699s cpu time, 0.085s GC time, factor 1.42
ML heap maximum:
762 MiB
ML heap average:
358.6 MiB
Isabelle version:
eb050b286f6a

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.009s elapsed time, 1.346s cpu time, 0.084s GC time, factor 1.33
ML stack maximum:
1.9 MiB
ML stack average:
1.4 MiB
ML heap maximum:
759 MiB
ML heap average:
387 MiB
Isabelle version:
eb050b286f6a

FOL

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.539s elapsed time, 1.789s cpu time, 0.140s GC time, factor 1.16
ML code maximum:
1.8 MiB
ML code average:
1.2 MiB
ML stack maximum:
4.6 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
676.3 MiB
ML heap stored:
5.2 MiB
Isabelle version:
eb050b286f6a

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.171s elapsed time, 1.937s cpu time, 0.057s GC time, factor 1.65
ML stack maximum:
1 MiB
ML heap maximum:
1.2 GiB
ML heap average:
572.5 MiB
Isabelle version:
eb050b286f6a

ZF-AC

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
2.167s elapsed time, 3.899s cpu time, 0.250s GC time, factor 1.80
ML stack maximum:
2.9 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
eb050b286f6a

HOL-Lattice

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.098s elapsed time, 1.832s cpu time, 0.123s GC time, factor 1.67
ML stack maximum:
1.5 MiB
ML stack average:
1.2 MiB
ML heap maximum:
769 MiB
ML heap average:
391.9 MiB
Isabelle version:
eb050b286f6a

Functions

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.420s elapsed time, 1.656s cpu time, 0.115s GC time, factor 1.17
ML stack maximum:
2.7 MiB
ML stack average:
1.9 MiB
ML heap maximum:
768 MiB
ML heap average:
466.1 MiB
Isabelle version:
eb050b286f6a

LCF

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.634s elapsed time, 1.920s cpu time, 0.139s GC time, factor 1.18
ML code maximum:
1.8 MiB
ML code average:
1.1 MiB
ML stack maximum:
4.4 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
908.4 MiB
Isabelle version:
eb050b286f6a

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.414s elapsed time, 0.474s cpu time, 0.000s GC time, factor 1.14
ML heap maximum:
576 MiB
ML heap average:
576 MiB
Isabelle version:
eb050b286f6a

HOL-New_Algebra-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.364s elapsed time, 0.496s cpu time, 0.000s GC time, factor 1.36
ML heap maximum:
745 MiB
ML heap average:
745 MiB
Isabelle version:
eb050b286f6a

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.678s elapsed time, 1.181s cpu time, 0.062s GC time, factor 1.74
ML heap maximum:
714 MiB
ML heap average:
714 MiB
Isabelle version:
eb050b286f6a

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.300s elapsed time, 0.460s cpu time, 0.000s GC time, factor 1.53
ML heap maximum:
633 MiB
ML heap average:
633 MiB
Isabelle version:
eb050b286f6a

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.132s elapsed time, 0.179s cpu time, 0.000s GC time, factor 1.36
ML heap maximum:
96 MiB
ML heap average:
96 MiB
Isabelle version:
eb050b286f6a

Classes

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.666s elapsed time, 0.894s cpu time, 0.052s GC time, factor 1.34
ML stack maximum:
1.7 MiB
ML stack average:
1.7 MiB
ML heap maximum:
101 MiB
ML heap average:
9 MiB
Isabelle version:
eb050b286f6a

HOL-Mutabelle

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.827s elapsed time, 0.876s cpu time, 0.079s GC time, factor 1.06
ML stack maximum:
8.6 MiB
ML stack average:
4.4 MiB
ML heap maximum:
721 MiB
ML heap average:
503.2 MiB
Isabelle version:
eb050b286f6a

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.081s elapsed time, 0.086s cpu time, 0.000s GC time, factor 1.06
ML heap maximum:
71 MiB
ML heap average:
71 MiB
Isabelle version:
eb050b286f6a

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.080s elapsed time, 0.088s cpu time, 0.000s GC time, factor 1.10
ML heap maximum:
73 MiB
ML heap average:
73 MiB
Isabelle version:
eb050b286f6a

Sequents

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.299s elapsed time, 2.562s cpu time, 0.115s GC time, factor 1.97
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
755 MiB
Isabelle version:
eb050b286f6a

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.381s elapsed time, 0.707s cpu time, 0.000s GC time, factor 1.86
ML heap maximum:
713 MiB
ML heap average:
713 MiB
Isabelle version:
eb050b286f6a

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.169s elapsed time, 0.214s cpu time, 0.000s GC time, factor 1.27
ML heap maximum:
59 MiB
ML heap average:
59 MiB
Isabelle version:
eb050b286f6a

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.613s elapsed time, 0.689s cpu time, 0.072s GC time, factor 1.12
ML stack maximum:
1.4 MiB
ML stack average:
1.4 MiB
ML heap maximum:
230 MiB
ML heap average:
230 MiB
ML heap stored:
2.4 MiB
Isabelle version:
eb050b286f6a

IOA-Storage

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.833s elapsed time, 1.128s cpu time, 0.060s GC time, factor 1.35
ML heap maximum:
758 MiB
ML heap average:
573 MiB
Isabelle version:
eb050b286f6a

Locales

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.601s elapsed time, 1.080s cpu time, 0.074s GC time, factor 1.80
ML stack maximum:
1.7 MiB
ML stack average:
1.7 MiB
ML heap maximum:
560 MiB
ML heap average:
560 MiB
Isabelle version:
eb050b286f6a

FOLP-ex

data:
CSV
timing:
0:00:01 elapsed time, 0:00:03 cpu time
ML timing:
1.549s elapsed time, 3.100s cpu time, 0.068s GC time, factor 2.00
ML code maximum:
1.5 MiB
ML stack maximum:
1.4 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
eb050b286f6a

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.079s elapsed time, 0.085s cpu time, 0.000s GC time, factor 1.08
ML heap maximum:
67 MiB
ML heap average:
67 MiB
Isabelle version:
eb050b286f6a

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.326s elapsed time, 0.315s cpu time, 0.000s GC time, factor 0.97
ML heap maximum:
477 MiB
ML heap average:
477 MiB
Isabelle version:
eb050b286f6a

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.306s elapsed time, 0.335s cpu time, 0.000s GC time, factor 1.09
ML stack maximum:
1.4 MiB
ML heap maximum:
553 MiB
ML heap average:
553 MiB
Isabelle version:
eb050b286f6a

Eisbach

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.070s elapsed time, 1.409s cpu time, 0.076s GC time, factor 1.32
ML stack maximum:
3.1 MiB
ML stack average:
2.9 MiB
ML heap maximum:
761 MiB
ML heap average:
623.5 MiB
Isabelle version:
eb050b286f6a

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.900s elapsed time, 1.274s cpu time, 0.050s GC time, factor 1.42
ML stack maximum:
1.4 MiB
ML heap maximum:
695 MiB
ML heap average:
676 MiB
Isabelle version:
eb050b286f6a

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.079s elapsed time, 0.085s cpu time, 0.000s GC time, factor 1.08
ML heap maximum:
67 MiB
ML heap average:
67 MiB
Isabelle version:
eb050b286f6a

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.133s elapsed time, 0.213s cpu time, 0.000s GC time, factor 1.60
ML heap maximum:
101 MiB
ML heap average:
101 MiB
Isabelle version:
eb050b286f6a

Logics

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

ZF-Coind

data:
CSV
ML timing:
0.302s elapsed time, 0.576s cpu time, 0.046s GC time, factor 1.91
ML heap maximum:
163 MiB
ML heap average:
5 MiB
Isabelle version:
eb050b286f6a

Logics_ZF

data:
CSV
ML timing:
0.171s elapsed time, 0.245s cpu time, 0.000s GC time, factor 1.43
ML heap maximum:
134 MiB
ML heap average:
134 MiB
Isabelle version:
eb050b286f6a

SML

data:
CSV
ML timing:
0.005s elapsed time, 0.007s cpu time, 0.000s GC time, factor 1.40
ML heap maximum:
23 MiB
ML heap average:
23 MiB
Isabelle version:
eb050b286f6a

ZF-IMP

data:
CSV
ML timing:
0.389s elapsed time, 0.457s cpu time, 0.000s GC time, factor 1.17
ML heap maximum:
747 MiB
ML heap average:
747 MiB
Isabelle version:
eb050b286f6a

CTT

data:
CSV
ML timing:
0.416s elapsed time, 0.631s cpu time, 0.073s GC time, factor 1.52
ML stack maximum:
2.4 MiB
ML heap maximum:
201 MiB
ML heap average:
201 MiB
Isabelle version:
eb050b286f6a

Sledgehammer

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

Demo_LIPIcs

data:
CSV
ML timing:
0.075s elapsed time, 0.081s cpu time, 0.000s GC time, factor 1.08
ML heap maximum:
38 MiB
ML heap average:
38 MiB
Isabelle version:
eb050b286f6a

Nitpick

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

Pure-ex

data:
CSV
ML timing:
0.157s elapsed time, 0.253s cpu time, 0.000s GC time, factor 1.61
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
185 MiB
ML heap average:
185 MiB
Isabelle version:
eb050b286f6a

Cube

data:
CSV
ML timing:
0.135s elapsed time, 0.150s cpu time, 0.000s GC time, factor 1.11
ML heap maximum:
99 MiB
ML heap average:
99 MiB
Isabelle version:
eb050b286f6a

Intro

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

Pure-Examples

data:
CSV
ML timing:
0.195s elapsed time, 0.175s cpu time, 0.000s GC time, factor 0.90
ML heap maximum:
164 MiB
ML heap average:
164 MiB
Isabelle version:
eb050b286f6a