Isabelle build status for Linux C, 4 threads

status date:
08-Apr-2026 01:55:41 +0200
build host:
linux-netcup-g12

HOL-Analysis

data:
CSV
timing:
0:10:41 elapsed time, 0:31:49 cpu time, factor 2.98
ML timing:
569.854s elapsed time, 1784.064s cpu time, 86.314s GC time, factor 3.13
ML code maximum:
3.7 MiB
ML code average:
3.6 MiB
ML stack maximum:
82.5 MiB
ML stack average:
65.1 MiB
ML heap maximum:
10.1 GiB
ML heap average:
8.5 GiB
ML heap stored:
264 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Proofs

data:
CSV
timing:
0:07:38 elapsed time, 0:12:51 cpu time, factor 1.68
ML timing:
351.243s elapsed time, 577.329s cpu time, 98.927s GC time, factor 1.64
ML code maximum:
28.3 MiB
ML code average:
22 MiB
ML stack maximum:
72.3 MiB
ML stack average:
41 MiB
ML heap maximum:
12.3 GiB
ML heap average:
6.1 GiB
ML heap stored:
377.6 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:06:26 elapsed time, 0:22:14 cpu time, factor 3.46
ML timing:
384.742s elapsed time, 1332.942s cpu time, 51.563s GC time, factor 3.46
ML code maximum:
48.3 MiB
ML code average:
40.4 MiB
ML stack maximum:
6.9 MiB
ML stack average:
5.4 MiB
ML heap maximum:
2 GiB
ML heap average:
1.5 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Datatype_Benchmark

data:
CSV
timing:
0:04:40 elapsed time, 0:15:28 cpu time, factor 3.31
ML timing:
273.346s elapsed time, 907.907s cpu time, 190.841s GC time, factor 3.32
ML stack maximum:
12.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
15.7 GiB
ML heap average:
8.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL

data:
CSV
timing:
0:04:31 elapsed time, 0:10:25 cpu time, factor 2.31
ML timing:
245.811s elapsed time, 581.613s cpu time, 57.485s GC time, factor 2.37
ML code maximum:
34.6 MiB
ML code average:
24.9 MiB
ML stack maximum:
83.3 MiB
ML stack average:
52.6 MiB
ML heap maximum:
8 GiB
ML heap average:
5.6 GiB
ML heap stored:
208.4 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Codegenerator_Test

data:
CSV
timing:
0:04:31 elapsed time, 0:10:24 cpu time, factor 2.30
ML timing:
268.604s elapsed time, 618.374s cpu time, 57.361s GC time, factor 2.30
ML code maximum:
2.2 MiB
ML code average:
2 MiB
ML stack maximum:
32 MiB
ML stack average:
28.6 MiB
ML heap maximum:
4.3 GiB
ML heap average:
3.5 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Data_Structures

data:
CSV
timing:
0:04:21 elapsed time, 0:16:01 cpu time, factor 3.68
ML timing:
258.254s elapsed time, 952.896s cpu time, 77.753s GC time, factor 3.69
ML stack maximum:
26.5 MiB
ML stack average:
18.2 MiB
ML heap maximum:
4.6 GiB
ML heap average:
4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Nominal-Examples

data:
CSV
timing:
0:03:38 elapsed time, 0:12:33 cpu time, factor 3.45
ML timing:
214.654s elapsed time, 745.345s cpu time, 56.731s GC time, factor 3.47
ML stack maximum:
45 MiB
ML stack average:
39.5 MiB
ML heap maximum:
6.2 GiB
ML heap average:
5.2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Library

data:
CSV
timing:
0:03:34 elapsed time, 0:10:23 cpu time, factor 2.91
ML timing:
181.186s elapsed time, 567.119s cpu time, 35.741s GC time, factor 3.13
ML code maximum:
4.6 MiB
ML code average:
4.3 MiB
ML stack maximum:
33 MiB
ML stack average:
24.8 MiB
ML heap maximum:
7.1 GiB
ML heap average:
4.9 GiB
ML heap stored:
152.1 MiB
Isabelle version:
c6fc0c7ef56f

HOL-ex

data:
CSV
timing:
0:03:26 elapsed time, 0:12:17 cpu time, factor 3.58
ML timing:
203.480s elapsed time, 732.227s cpu time, 52.888s GC time, factor 3.60
ML code maximum:
4.1 MiB
ML code average:
2.8 MiB
ML stack maximum:
102.5 MiB
ML stack average:
54.9 MiB
ML heap maximum:
8.1 GiB
ML heap average:
6 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Decision_Procs

data:
CSV
timing:
0:03:18 elapsed time, 0:11:49 cpu time, factor 3.58
ML timing:
193.744s elapsed time, 702.534s cpu time, 55.441s GC time, factor 3.63
ML code maximum:
4.6 MiB
ML code average:
2 MiB
ML stack maximum:
78.8 MiB
ML stack average:
43.2 MiB
ML heap maximum:
12.9 GiB
ML heap average:
8.1 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Corec_Examples

data:
CSV
timing:
0:02:37 elapsed time, 0:06:51 cpu time, factor 2.62
ML timing:
152.242s elapsed time, 397.657s cpu time, 48.968s GC time, factor 2.61
ML stack maximum:
8.4 MiB
ML stack average:
3.3 MiB
ML heap maximum:
5.4 GiB
ML heap average:
4.1 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Algebra

data:
CSV
timing:
0:02:20 elapsed time, 0:07:44 cpu time, factor 3.31
ML timing:
120.099s elapsed time, 431.615s cpu time, 71.770s GC time, factor 3.59
ML stack maximum:
20.9 MiB
ML stack average:
16.5 MiB
ML heap maximum:
7.8 GiB
ML heap average:
3.5 GiB
ML heap stored:
64.9 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:43 elapsed time, 0:02:34 cpu time, factor 1.50
ML timing:
101.052s elapsed time, 151.509s cpu time, 12.404s GC time, factor 1.50
ML stack maximum:
15.1 MiB
ML stack average:
14 MiB
ML heap maximum:
3.7 GiB
ML heap average:
2.6 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Probability

data:
CSV
timing:
0:01:34 elapsed time, 0:04:40 cpu time, factor 2.98
ML timing:
73.802s elapsed time, 248.503s cpu time, 15.017s GC time, factor 3.37
ML stack maximum:
17.4 MiB
ML stack average:
12.2 MiB
ML heap maximum:
3.8 GiB
ML heap average:
2.6 GiB
ML heap stored:
53 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Imperative_HOL

data:
CSV
timing:
0:01:22 elapsed time, 0:04:10 cpu time, factor 3.05
ML timing:
80.650s elapsed time, 247.098s cpu time, 13.883s GC time, factor 3.06
ML stack maximum:
22.8 MiB
ML stack average:
20.4 MiB
ML heap maximum:
2.7 GiB
ML heap average:
2.2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:18 elapsed time, 0:01:31 cpu time, factor 1.17
ML timing:
75.824s elapsed time, 88.542s cpu time, 5.061s GC time, factor 1.17
ML stack maximum:
5.6 MiB
ML stack average:
3.9 MiB
ML heap maximum:
3 GiB
ML heap average:
2.3 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Datatype_Examples

data:
CSV
timing:
0:01:17 elapsed time, 0:04:36 cpu time, factor 3.58
ML timing:
72.772s elapsed time, 266.201s cpu time, 44.933s GC time, factor 3.66
ML stack maximum:
6.7 MiB
ML stack average:
4 MiB
ML heap maximum:
5 GiB
ML heap average:
3.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Real_Asymp

data:
CSV
timing:
0:01:17 elapsed time, 0:04:13 cpu time, factor 3.29
ML timing:
64.101s elapsed time, 232.713s cpu time, 15.889s GC time, factor 3.63
ML code maximum:
3.2 MiB
ML code average:
2.7 MiB
ML stack maximum:
40.8 MiB
ML stack average:
25 MiB
ML heap maximum:
4.5 GiB
ML heap average:
2.6 GiB
ML heap stored:
67.2 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Computational_Algebra

data:
CSV
timing:
0:01:14 elapsed time, 0:03:29 cpu time, factor 2.82
ML timing:
62.054s elapsed time, 191.337s cpu time, 13.681s GC time, factor 3.08
ML stack maximum:
33.8 MiB
ML stack average:
20.1 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.8 GiB
ML heap stored:
42.3 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Homology

data:
CSV
timing:
0:01:13 elapsed time, 0:03:54 cpu time, factor 3.21
ML timing:
70.732s elapsed time, 230.827s cpu time, 16.911s GC time, factor 3.26
ML stack maximum:
22.1 MiB
ML stack average:
16.2 MiB
ML heap maximum:
4.6 GiB
ML heap average:
3.7 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Auth

data:
CSV
timing:
0:01:10 elapsed time, 0:03:39 cpu time, factor 3.13
ML timing:
63.720s elapsed time, 210.121s cpu time, 7.188s GC time, factor 3.30
ML stack maximum:
17 MiB
ML stack average:
14 MiB
ML heap maximum:
2.6 GiB
ML heap average:
2.2 GiB
ML heap stored:
31.8 MiB
Isabelle version:
c6fc0c7ef56f

Codegen

data:
CSV
timing:
0:01:04 elapsed time, 0:03:29 cpu time, factor 3.27
ML timing:
62.182s elapsed time, 206.337s cpu time, 11.991s GC time, factor 3.32
ML stack maximum:
14.9 MiB
ML stack average:
12.5 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Record_Benchmark

data:
CSV
timing:
0:01:03 elapsed time, 0:01:51 cpu time, factor 1.76
ML timing:
61.723s elapsed time, 108.961s cpu time, 8.671s GC time, factor 1.77
ML stack maximum:
9.3 MiB
ML stack average:
6.3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
c6fc0c7ef56f

HOL-MicroJava

data:
CSV
timing:
0:01:01 elapsed time, 0:03:31 cpu time, factor 3.46
ML timing:
59.621s elapsed time, 209.596s cpu time, 8.040s GC time, factor 3.52
ML code maximum:
1.3 MiB
ML stack maximum:
13.1 MiB
ML stack average:
10.1 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.9 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Bali

data:
CSV
timing:
0:00:57 elapsed time, 0:02:50 cpu time, factor 2.98
ML timing:
55.163s elapsed time, 167.817s cpu time, 13.248s GC time, factor 3.04
ML stack maximum:
20.8 MiB
ML stack average:
10.8 MiB
ML heap maximum:
2.7 GiB
ML heap average:
2.1 GiB
Isabelle version:
c6fc0c7ef56f

HOL-IMP

data:
CSV
timing:
0:00:57 elapsed time, 0:03:11 cpu time, factor 3.35
ML timing:
55.826s elapsed time, 187.977s cpu time, 14.602s GC time, factor 3.37
ML code maximum:
6.8 MiB
ML code average:
3.8 MiB
ML stack maximum:
14.9 MiB
ML stack average:
6 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.9 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Complex_Analysis

data:
CSV
timing:
0:00:56 elapsed time, 0:02:51 cpu time, factor 3.05
ML timing:
53.144s elapsed time, 168.340s cpu time, 6.171s GC time, factor 3.17
ML stack maximum:
24.6 MiB
ML stack average:
20.3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Hoare_Parallel

data:
CSV
timing:
0:00:54 elapsed time, 0:03:07 cpu time, factor 3.46
ML timing:
53.037s elapsed time, 185.452s cpu time, 5.633s GC time, factor 3.50
ML stack maximum:
7.9 MiB
ML stack average:
6.4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
c6fc0c7ef56f

Datatypes

data:
CSV
timing:
0:00:49 elapsed time, 0:01:22 cpu time, factor 1.67
ML timing:
33.983s elapsed time, 58.183s cpu time, 6.710s GC time, factor 1.71
ML stack maximum:
7.9 MiB
ML stack average:
5 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.3 GiB
ML heap stored:
73.2 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Number_Theory

data:
CSV
timing:
0:00:48 elapsed time, 0:02:48 cpu time, factor 3.50
ML timing:
46.513s elapsed time, 165.202s cpu time, 13.061s GC time, factor 3.55
ML stack maximum:
11.6 MiB
ML stack average:
9.8 MiB
ML heap maximum:
3.7 GiB
ML heap average:
2.8 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Examples

data:
CSV
timing:
0:00:46 elapsed time, 0:02:32 cpu time, factor 3.30
ML timing:
44.033s elapsed time, 150.212s cpu time, 13.816s GC time, factor 3.41
ML stack maximum:
16.3 MiB
ML stack average:
13.2 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.8 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:00:45 elapsed time, 0:02:10 cpu time, factor 2.89
ML timing:
43.733s elapsed time, 128.107s cpu time, 6.673s GC time, factor 2.93
ML code maximum:
4.9 MiB
ML code average:
3.3 MiB
ML stack maximum:
7.3 MiB
ML stack average:
5.9 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
c6fc0c7ef56f

Corec

data:
CSV
timing:
0:00:44 elapsed time, 0:01:05 cpu time, factor 1.48
ML timing:
42.711s elapsed time, 62.211s cpu time, 4.772s GC time, factor 1.46
ML code maximum:
2.2 MiB
ML code average:
2 MiB
ML stack maximum:
9.8 MiB
ML stack average:
8.4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-SMT_Examples

data:
CSV
timing:
0:00:44 elapsed time, 0:01:51 cpu time, factor 2.52
ML timing:
43.397s elapsed time, 110.097s cpu time, 5.244s GC time, factor 2.54
ML stack maximum:
15.3 MiB
ML stack average:
13.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:31 elapsed time, 0:01:15 cpu time, factor 2.42
ML timing:
29.555s elapsed time, 74.121s cpu time, 2.885s GC time, factor 2.51
ML stack maximum:
7.9 MiB
ML stack average:
6.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Quickcheck_Examples

data:
CSV
timing:
0:00:29 elapsed time, 0:01:46 cpu time, factor 3.66
ML timing:
27.860s elapsed time, 105.176s cpu time, 7.750s GC time, factor 3.78
ML code maximum:
7.3 MiB
ML code average:
3.2 MiB
ML stack maximum:
18.3 MiB
ML stack average:
14 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-UNITY

data:
CSV
timing:
0:00:26 elapsed time, 0:01:24 cpu time, factor 3.23
ML timing:
24.349s elapsed time, 81.803s cpu time, 5.286s GC time, factor 3.36
ML stack maximum:
15 MiB
ML stack average:
13.3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
c6fc0c7ef56f

ZF

data:
CSV
timing:
0:00:26 elapsed time, 0:00:32 cpu time, factor 1.23
ML timing:
10.834s elapsed time, 28.027s cpu time, 4.231s GC time, factor 2.59
ML code maximum:
1.7 MiB
ML code average:
1.5 MiB
ML stack maximum:
12.4 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.9 GiB
ML heap average:
768.4 MiB
ML heap stored:
15.2 MiB
Isabelle version:
c6fc0c7ef56f

HOL-SET_Protocol

data:
CSV
timing:
0:00:24 elapsed time, 0:01:16 cpu time, factor 3.17
ML timing:
23.425s elapsed time, 75.346s cpu time, 1.355s GC time, factor 3.22
ML stack maximum:
6.4 MiB
ML stack average:
5.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Quotient_Examples

data:
CSV
timing:
0:00:21 elapsed time, 0:00:32 cpu time, factor 1.52
ML timing:
19.665s elapsed time, 30.122s cpu time, 2.232s GC time, factor 1.53
ML stack maximum:
4 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-SPARK

data:
CSV
timing:
0:00:20 elapsed time, 0:00:44 cpu time, factor 2.20
ML timing:
13.665s elapsed time, 35.365s cpu time, 2.559s GC time, factor 2.59
ML stack maximum:
10 MiB
ML stack average:
5.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
969.4 MiB
ML heap stored:
14.9 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Metis_Examples

data:
CSV
timing:
0:00:20 elapsed time, 0:00:55 cpu time, factor 2.75
ML timing:
18.543s elapsed time, 53.956s cpu time, 7.050s GC time, factor 2.91
ML stack maximum:
7.1 MiB
ML stack average:
5.8 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Hoare

data:
CSV
timing:
0:00:19 elapsed time, 0:00:44 cpu time, factor 2.32
ML timing:
17.895s elapsed time, 43.300s cpu time, 2.010s GC time, factor 2.42
ML stack maximum:
3.4 MiB
ML stack average:
3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
c6fc0c7ef56f

HOLCF

data:
CSV
timing:
0:00:18 elapsed time, 0:00:37 cpu time, factor 2.06
ML timing:
11.736s elapsed time, 27.586s cpu time, 2.225s GC time, factor 2.35
ML stack maximum:
7.6 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
975.4 MiB
ML heap stored:
19.4 MiB
Isabelle version:
c6fc0c7ef56f

Pure

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
0.610s elapsed time, 0.654s cpu time, 0.018s GC time, factor 1.07
ML code maximum:
17.7 MiB
ML code average:
17.7 MiB
ML stack maximum:
2 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
518.3 MiB
ML heap stored:
23.9 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Matrix_LP

data:
CSV
timing:
0:00:15 elapsed time, 0:00:43 cpu time, factor 2.87
ML timing:
14.493s elapsed time, 41.951s cpu time, 1.601s GC time, factor 2.89
ML code maximum:
1 MiB
ML stack maximum:
5.4 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Combinatorics

data:
CSV
timing:
0:00:15 elapsed time, 0:00:48 cpu time, factor 3.20
ML timing:
13.762s elapsed time, 47.141s cpu time, 4.475s GC time, factor 3.43
ML stack maximum:
12.9 MiB
ML stack average:
11.2 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.5 GiB
Isabelle version:
c6fc0c7ef56f

Tutorial

data:
CSV
timing:
0:00:15 elapsed time, 0:00:41 cpu time, factor 2.73
ML timing:
13.451s elapsed time, 39.240s cpu time, 4.203s GC time, factor 2.92
ML stack maximum:
6.4 MiB
ML stack average:
4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

Isar_Ref

data:
CSV
timing:
0:00:15 elapsed time, 0:00:27 cpu time, factor 1.80
ML timing:
14.410s elapsed time, 25.588s cpu time, 2.436s GC time, factor 1.78
ML stack maximum:
18.1 MiB
ML stack average:
15.6 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Analysis-ex

data:
CSV
timing:
0:00:14 elapsed time, 0:00:36 cpu time, factor 2.57
ML timing:
12.896s elapsed time, 34.771s cpu time, 0.380s GC time, factor 2.70
ML stack maximum:
6.5 MiB
ML stack average:
4.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:14 elapsed time, 0:00:30 cpu time, factor 2.14
ML timing:
6.847s elapsed time, 21.203s cpu time, 1.778s GC time, factor 3.10
ML stack maximum:
5.7 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.6 GiB
ML heap average:
717.8 MiB
ML heap stored:
10.2 MiB
Isabelle version:
c6fc0c7ef56f

HOLCF-Library

data:
CSV
timing:
0:00:13 elapsed time, 0:00:31 cpu time, factor 2.38
ML timing:
6.874s elapsed time, 22.675s cpu time, 0.938s GC time, factor 3.30
ML stack maximum:
5.1 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
847 MiB
ML heap stored:
9.7 MiB
Isabelle version:
c6fc0c7ef56f

IOA

data:
CSV
timing:
0:00:13 elapsed time, 0:00:30 cpu time, factor 2.31
ML timing:
6.606s elapsed time, 21.104s cpu time, 0.935s GC time, factor 3.19
ML stack maximum:
4.5 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
749.6 MiB
ML heap stored:
6.7 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Nominal

data:
CSV
timing:
0:00:12 elapsed time, 0:00:27 cpu time, factor 2.25
ML timing:
5.941s elapsed time, 19.566s cpu time, 2.036s GC time, factor 3.29
ML code maximum:
1.7 MiB
ML code average:
1.1 MiB
ML stack maximum:
6.4 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
742.4 MiB
ML heap stored:
9.4 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Types_To_Sets

data:
CSV
timing:
0:00:11 elapsed time, 0:00:18 cpu time, factor 1.64
ML timing:
10.142s elapsed time, 16.850s cpu time, 0.553s GC time, factor 1.66
ML stack maximum:
4.2 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Statespace

data:
CSV
timing:
0:00:11 elapsed time, 0:00:13 cpu time, factor 1.18
ML timing:
9.734s elapsed time, 12.233s cpu time, 0.498s GC time, factor 1.26
ML stack maximum:
2 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Cardinals

data:
CSV
timing:
0:00:11 elapsed time, 0:00:36 cpu time, factor 3.27
ML timing:
10.312s elapsed time, 35.108s cpu time, 1.906s GC time, factor 3.40
ML stack maximum:
8.9 MiB
ML stack average:
7.6 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Import

data:
CSV
timing:
0:00:11 elapsed time, 0:00:12 cpu time, factor 1.09
ML timing:
10.342s elapsed time, 11.205s cpu time, 0.370s GC time, factor 1.08
ML stack maximum:
65.8 MiB
ML stack average:
56.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

ZF-Constructible

data:
CSV
timing:
0:00:11 elapsed time, 0:00:20 cpu time, factor 1.82
ML timing:
6.369s elapsed time, 19.337s cpu time, 3.059s GC time, factor 3.04
ML stack maximum:
8.7 MiB
ML stack average:
4 MiB
ML heap maximum:
1.7 GiB
ML heap average:
901.7 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Induct

data:
CSV
timing:
0:00:09 elapsed time, 0:00:26 cpu time, factor 2.89
ML timing:
7.719s elapsed time, 24.458s cpu time, 3.078s GC time, factor 3.17
ML stack maximum:
2.9 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-ZF

data:
CSV
timing:
0:00:09 elapsed time, 0:00:25 cpu time, factor 2.78
ML timing:
7.640s elapsed time, 24.108s cpu time, 2.046s GC time, factor 3.16
ML stack maximum:
11.8 MiB
ML stack average:
8.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-SPARK-Examples

data:
CSV
timing:
0:00:09 elapsed time, 0:00:23 cpu time, factor 2.56
ML timing:
7.953s elapsed time, 21.879s cpu time, 0.352s GC time, factor 2.75
ML stack maximum:
5.8 MiB
ML stack average:
5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

Typeclass_Hierarchy

data:
CSV
timing:
0:00:08 elapsed time, 0:00:20 cpu time, factor 2.50
ML timing:
7.532s elapsed time, 19.184s cpu time, 1.804s GC time, factor 2.55
ML stack maximum:
10.2 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

HOLCF-Tutorial

data:
CSV
timing:
0:00:08 elapsed time, 0:00:11 cpu time, factor 1.38
ML timing:
7.062s elapsed time, 10.212s cpu time, 0.381s GC time, factor 1.45
ML stack maximum:
1.6 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Hahn_Banach

data:
CSV
timing:
0:00:07 elapsed time, 0:00:16 cpu time, factor 2.29
ML timing:
6.004s elapsed time, 15.508s cpu time, 0.827s GC time, factor 2.58
ML stack maximum:
5.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-TLA-Memory

data:
CSV
timing:
0:00:07 elapsed time, 0:00:17 cpu time, factor 2.43
ML timing:
5.653s elapsed time, 16.013s cpu time, 0.327s GC time, factor 2.83
ML stack maximum:
4.8 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

Implementation

data:
CSV
timing:
0:00:07 elapsed time, 0:00:05 cpu time, factor 0.71
ML timing:
5.730s elapsed time, 4.186s cpu time, 0.064s GC time, factor 0.73
ML stack maximum:
9.8 MiB
ML stack average:
8.6 MiB
ML heap maximum:
1 GiB
ML heap average:
827.7 MiB
Isabelle version:
c6fc0c7ef56f

System

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
7.440s elapsed time, 1.353s cpu time, 0.000s GC time, factor 0.18
ML stack maximum:
6.3 MiB
ML stack average:
5.9 MiB
ML heap maximum:
624 MiB
ML heap average:
480.5 MiB
Isabelle version:
c6fc0c7ef56f

ZF-UNITY

data:
CSV
timing:
0:00:06 elapsed time, 0:00:19 cpu time, factor 3.17
ML timing:
5.316s elapsed time, 18.678s cpu time, 1.689s GC time, factor 3.51
ML stack maximum:
5.5 MiB
ML stack average:
4.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-TPTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.17
ML timing:
4.748s elapsed time, 5.999s cpu time, 0.294s GC time, factor 1.26
ML code maximum:
4 MiB
ML code average:
2.6 MiB
ML stack maximum:
29.6 MiB
ML stack average:
20.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Probability-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:14 cpu time, factor 2.33
ML timing:
4.095s elapsed time, 12.181s cpu time, 0.393s GC time, factor 2.97
ML stack maximum:
3.9 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

CCL

data:
CSV
timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.17
ML timing:
4.530s elapsed time, 6.310s cpu time, 0.424s GC time, factor 1.39
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
6.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
959.2 MiB
Isabelle version:
c6fc0c7ef56f

IOA-NTP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.00
ML timing:
3.924s elapsed time, 8.868s cpu time, 0.365s GC time, factor 2.26
ML stack maximum:
1.6 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-NanoJava

data:
CSV
timing:
0:00:05 elapsed time, 0:00:09 cpu time, factor 1.80
ML timing:
4.184s elapsed time, 8.529s cpu time, 0.370s GC time, factor 2.04
ML stack maximum:
2 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-TLA

data:
CSV
timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.60
ML timing:
1.416s elapsed time, 2.537s cpu time, 0.068s GC time, factor 1.79
ML stack maximum:
2.7 MiB
ML heap maximum:
848 MiB
ML heap average:
207 MiB
ML heap stored:
3 MiB
Isabelle version:
c6fc0c7ef56f

FOL-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.60
ML timing:
4.877s elapsed time, 8.015s cpu time, 0.273s GC time, factor 1.64
ML stack maximum:
6.9 MiB
ML stack average:
5.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Isar_Examples

data:
CSV
timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.00
ML timing:
4.333s elapsed time, 9.530s cpu time, 0.328s GC time, factor 2.20
ML stack maximum:
2.6 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Unix

data:
CSV
timing:
0:00:05 elapsed time, 0:00:13 cpu time, factor 2.60
ML timing:
4.125s elapsed time, 12.626s cpu time, 0.710s GC time, factor 3.06
ML stack maximum:
4.1 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

HOLCF-IMP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.60
ML timing:
3.869s elapsed time, 7.398s cpu time, 0.246s GC time, factor 1.91
ML stack maximum:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

ZF-Induct

data:
CSV
timing:
0:00:04 elapsed time, 0:00:07 cpu time, factor 1.75
ML timing:
2.798s elapsed time, 6.596s cpu time, 0.311s GC time, factor 2.36
ML stack maximum:
3.8 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
4.1 MiB
Isabelle version:
c6fc0c7ef56f

HOL-SPARK-Manual

data:
CSV
timing:
0:00:04 elapsed time, 0:00:07 cpu time, factor 1.75
ML timing:
2.664s elapsed time, 6.051s cpu time, 0.101s GC time, factor 2.27
ML stack maximum:
3.1 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Proofs-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
2.822s elapsed time, 4.875s cpu time, 0.814s GC time, factor 1.73
ML stack maximum:
7.4 MiB
ML stack average:
5.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
999 MiB
Isabelle version:
c6fc0c7ef56f

Tools

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.381s elapsed time, 3.643s cpu time, 0.097s GC time, factor 1.08
ML code maximum:
1.9 MiB
ML code average:
1.1 MiB
ML stack maximum:
2.6 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Eisbach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:13 cpu time, factor 3.25
ML timing:
3.728s elapsed time, 12.239s cpu time, 1.143s GC time, factor 3.28
ML code maximum:
1.9 MiB
ML code average:
1.4 MiB
ML stack maximum:
4.4 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
939.9 MiB
Isabelle version:
c6fc0c7ef56f

FOL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.071s elapsed time, 3.440s cpu time, 0.087s GC time, factor 1.12
ML code maximum:
1.4 MiB
ML stack maximum:
2.4 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
851.4 MiB
ML heap stored:
3.7 MiB
Isabelle version:
c6fc0c7ef56f

HOL-IMPP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:07 cpu time, factor 1.75
ML timing:
3.465s elapsed time, 6.290s cpu time, 0.258s GC time, factor 1.82
ML stack maximum:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

IOA-ABP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:09 cpu time, factor 2.25
ML timing:
3.532s elapsed time, 7.687s cpu time, 0.283s GC time, factor 2.18
ML stack maximum:
1.5 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

ZF-AC

data:
CSV
timing:
0:00:04 elapsed time, 0:00:07 cpu time, factor 1.75
ML timing:
1.986s elapsed time, 6.661s cpu time, 0.546s GC time, factor 3.35
ML stack maximum:
4.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
676.9 MiB
Isabelle version:
c6fc0c7ef56f

ZF-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:10 cpu time, factor 2.50
ML timing:
3.654s elapsed time, 9.178s cpu time, 0.479s GC time, factor 2.51
ML stack maximum:
7.6 MiB
ML stack average:
6.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

Prog_Prove

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.359s elapsed time, 7.673s cpu time, 0.621s GC time, factor 3.25
ML stack maximum:
5.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

HOLCF-FOCUS

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.386s elapsed time, 7.243s cpu time, 0.227s GC time, factor 3.04
ML stack maximum:
1.9 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

HOL-IOA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.352s elapsed time, 3.440s cpu time, 0.060s GC time, factor 1.46
ML stack maximum:
1.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
972 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
1.501s elapsed time, 2.834s cpu time, 0.060s GC time, factor 1.89
ML heap maximum:
1.2 GiB
ML heap average:
740.7 MiB
Isabelle version:
c6fc0c7ef56f

HOLCF-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:09 cpu time, factor 3.00
ML timing:
2.400s elapsed time, 7.929s cpu time, 0.442s GC time, factor 3.30
ML stack maximum:
2.9 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

Locales

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.032s elapsed time, 2.218s cpu time, 0.070s GC time, factor 1.09
ML stack maximum:
2.8 MiB
ML stack average:
2.3 MiB
ML heap maximum:
766 MiB
ML heap average:
681.9 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Lattice

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.254s elapsed time, 3.135s cpu time, 0.071s GC time, factor 1.39
ML stack maximum:
1.6 MiB
ML stack average:
1.1 MiB
ML heap maximum:
851 MiB
ML heap average:
577.9 MiB
Isabelle version:
c6fc0c7ef56f

Functions

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.462s elapsed time, 3.314s cpu time, 0.060s GC time, factor 1.35
ML stack maximum:
3.2 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.2 GiB
ML heap average:
843.1 MiB
Isabelle version:
c6fc0c7ef56f

Eisbach

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
1.856s elapsed time, 2.256s cpu time, 0.092s GC time, factor 1.22
ML stack maximum:
3.4 MiB
ML stack average:
2 MiB
ML heap maximum:
770 MiB
ML heap average:
678.4 MiB
Isabelle version:
c6fc0c7ef56f

LCF

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
3.206s elapsed time, 3.674s cpu time, 0.087s GC time, factor 1.15
ML code maximum:
1.4 MiB
ML stack maximum:
2.4 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
915.4 MiB
Isabelle version:
c6fc0c7ef56f

Sugar

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.868s elapsed time, 1.085s cpu time, 0.000s GC time, factor 1.25
ML heap maximum:
542 MiB
ML heap average:
440 MiB
Isabelle version:
c6fc0c7ef56f

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.112s elapsed time, 1.847s cpu time, 0.045s GC time, factor 1.66
ML stack maximum:
2.4 MiB
ML stack average:
2.3 MiB
ML heap maximum:
762 MiB
ML heap average:
567 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.514s elapsed time, 1.709s cpu time, 0.164s GC time, factor 1.13
ML stack maximum:
8.4 MiB
ML stack average:
5.7 MiB
ML heap maximum:
778 MiB
ML heap average:
647 MiB
Isabelle version:
c6fc0c7ef56f

Sequents

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.353s elapsed time, 4.381s cpu time, 0.167s GC time, factor 3.24
ML stack maximum:
1.6 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

IOA-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.716s elapsed time, 1.503s cpu time, 0.000s GC time, factor 2.10
ML heap maximum:
588 MiB
ML heap average:
363.5 MiB
Isabelle version:
c6fc0c7ef56f

FOLP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.355s elapsed time, 1.469s cpu time, 0.045s GC time, factor 1.08
ML stack maximum:
1.4 MiB
ML stack average:
1 MiB
ML heap maximum:
651 MiB
ML heap average:
539.9 MiB
ML heap stored:
1.5 MiB
Isabelle version:
c6fc0c7ef56f

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.306s elapsed time, 1.900s cpu time, 0.051s GC time, factor 1.45
ML heap maximum:
762 MiB
ML heap average:
493.6 MiB
Isabelle version:
c6fc0c7ef56f

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.461s elapsed time, 3.604s cpu time, 0.048s GC time, factor 2.47
ML stack maximum:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
980.7 MiB
Isabelle version:
c6fc0c7ef56f

FOLP-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
2.096s elapsed time, 5.157s cpu time, 0.083s GC time, factor 2.46
ML code maximum:
1.3 MiB
ML code average:
1.1 MiB
ML stack maximum:
2.2 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
c6fc0c7ef56f

JEdit

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.815s elapsed time, 0.758s cpu time, 0.000s GC time, factor 0.93
ML stack maximum:
5.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
375 MiB
ML heap average:
243.6 MiB
Isabelle version:
c6fc0c7ef56f

Main

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.832s elapsed time, 0.945s cpu time, 0.000s GC time, factor 1.14
ML stack maximum:
2.4 MiB
ML stack average:
1.4 MiB
ML heap maximum:
369 MiB
ML heap average:
361 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.564s elapsed time, 2.472s cpu time, 0.042s GC time, factor 1.58
ML stack maximum:
1.2 MiB
ML stack average:
1 MiB
ML heap maximum:
762 MiB
ML heap average:
528 MiB
Isabelle version:
c6fc0c7ef56f

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.160s elapsed time, 2.211s cpu time, 0.043s GC time, factor 1.91
ML stack maximum:
1.2 MiB
ML heap maximum:
825 MiB
ML heap average:
454.9 MiB
Isabelle version:
c6fc0c7ef56f

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.664s elapsed time, 1.415s cpu time, 0.045s GC time, factor 2.13
ML stack maximum:
1.3 MiB
ML heap maximum:
643 MiB
ML heap average:
324.6 MiB
Isabelle version:
c6fc0c7ef56f

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.571s elapsed time, 1.225s cpu time, 0.000s GC time, factor 2.15
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
620 MiB
ML heap average:
620 MiB
Isabelle version:
c6fc0c7ef56f

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.446s elapsed time, 0.677s cpu time, 0.000s GC time, factor 1.52
ML heap maximum:
407 MiB
ML heap average:
407 MiB
Isabelle version:
c6fc0c7ef56f

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.231s elapsed time, 0.450s cpu time, 0.000s GC time, factor 1.95
ML heap maximum:
58 MiB
ML heap average:
58 MiB
Isabelle version:
c6fc0c7ef56f

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.011s elapsed time, 1.211s cpu time, 0.000s GC time, factor 1.20
ML heap maximum:
702 MiB
ML heap average:
559.3 MiB
Isabelle version:
c6fc0c7ef56f

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.884s elapsed time, 1.482s cpu time, 0.080s GC time, factor 1.68
ML stack maximum:
1.4 MiB
ML heap maximum:
770 MiB
ML heap average:
600.9 MiB
Isabelle version:
c6fc0c7ef56f

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.149s elapsed time, 0.215s cpu time, 0.000s GC time, factor 1.44
ML heap maximum:
62 MiB
ML heap average:
62 MiB
Isabelle version:
c6fc0c7ef56f

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.148s elapsed time, 0.211s cpu time, 0.000s GC time, factor 1.43
ML heap maximum:
68 MiB
ML heap average:
68 MiB
Isabelle version:
c6fc0c7ef56f

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.160s elapsed time, 0.226s cpu time, 0.000s GC time, factor 1.41
ML heap maximum:
71 MiB
ML heap average:
71 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.361s elapsed time, 0.588s cpu time, 0.000s GC time, factor 1.63
ML heap maximum:
329 MiB
ML heap average:
329 MiB
Isabelle version:
c6fc0c7ef56f

Pure-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.246s elapsed time, 0.656s cpu time, 0.000s GC time, factor 2.67
ML stack maximum:
1.5 MiB
ML heap maximum:
179 MiB
ML heap average:
179 MiB
Isabelle version:
c6fc0c7ef56f

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.143s elapsed time, 0.205s cpu time, 0.000s GC time, factor 1.43
ML heap maximum:
65 MiB
ML heap average:
65 MiB
Isabelle version:
c6fc0c7ef56f

Haskell

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.454s elapsed time, 0.549s cpu time, 0.000s GC time, factor 1.21
ML stack maximum:
4.7 MiB
ML heap maximum:
345 MiB
ML heap average:
345 MiB
Isabelle version:
c6fc0c7ef56f

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.178s elapsed time, 0.228s cpu time, 0.000s GC time, factor 1.28
ML heap maximum:
67 MiB
ML heap average:
67 MiB
Isabelle version:
c6fc0c7ef56f

Pure-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.079s elapsed time, 0.499s cpu time, 0.000s GC time, factor 0.46
ML heap maximum:
233 MiB
ML heap average:
232 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.303s elapsed time, 0.519s cpu time, 0.000s GC time, factor 1.71
ML heap maximum:
107 MiB
ML heap average:
107 MiB
Isabelle version:
c6fc0c7ef56f

Logics

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
c6fc0c7ef56f

SML

data:
CSV
ML timing:
0.012s elapsed time, 0.017s cpu time, 0.000s GC time, factor 1.42
ML heap maximum:
24 MiB
ML heap average:
24 MiB
Isabelle version:
c6fc0c7ef56f

Sledgehammer

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
c6fc0c7ef56f

Nitpick

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
c6fc0c7ef56f

Cube

data:
CSV
ML timing:
0.313s elapsed time, 0.354s cpu time, 0.000s GC time, factor 1.13
ML heap maximum:
75 MiB
ML heap average:
75 MiB
Isabelle version:
c6fc0c7ef56f

Intro

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
c6fc0c7ef56f