Isabelle build status for Linux C, 2 threads

status date:
10-Jul-2026 06:42:24 +0200
build host:
linux-netcup-g12

HOL-Datatype_Benchmark

data:
CSV
timing:
0:23:14 elapsed time, 0:45:38 cpu time, factor 1.96
ML timing:
1383.242s elapsed time, 2717.385s cpu time, 1909.144s GC time, factor 1.96
ML stack maximum:
9.5 MiB
ML stack average:
6.4 MiB
ML heap maximum:
15.7 GiB
ML heap average:
9.8 GiB
Isabelle version:
cbf5095487bb

HOL-Analysis

data:
CSV
timing:
0:22:03 elapsed time, 0:36:29 cpu time, factor 1.65
ML timing:
1228.742s elapsed time, 2053.345s cpu time, 139.892s GC time, factor 1.67
ML code maximum:
3.7 MiB
ML code average:
3.5 MiB
ML stack maximum:
44.5 MiB
ML stack average:
37.4 MiB
ML heap maximum:
15.8 GiB
ML heap average:
7.1 GiB
ML heap stored:
275.8 MiB
Isabelle version:
cbf5095487bb

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:10:30 elapsed time, 0:20:30 cpu time, factor 1.95
ML timing:
627.918s elapsed time, 1228.437s cpu time, 26.651s GC time, factor 1.96
ML code maximum:
88.1 MiB
ML code average:
77.8 MiB
ML stack maximum:
5.4 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

HOL-Proofs

data:
CSV
timing:
0:10:18 elapsed time, 0:14:53 cpu time, factor 1.44
ML timing:
476.117s elapsed time, 685.167s cpu time, 140.646s GC time, factor 1.44
ML code maximum:
28.4 MiB
ML code average:
21.1 MiB
ML stack maximum:
58.3 MiB
ML stack average:
34.4 MiB
ML heap maximum:
16 GiB
ML heap average:
7.1 GiB
ML heap stored:
377.9 MiB
Isabelle version:
cbf5095487bb

HOL-Data_Structures

data:
CSV
timing:
0:09:22 elapsed time, 0:17:35 cpu time, factor 1.88
ML timing:
556.544s elapsed time, 1045.336s cpu time, 53.919s GC time, factor 1.88
ML stack maximum:
19.3 MiB
ML stack average:
11 MiB
ML heap maximum:
7.6 GiB
ML heap average:
6.8 GiB
Isabelle version:
cbf5095487bb

HOL-Codegenerator_Test

data:
CSV
timing:
0:07:32 elapsed time, 0:11:18 cpu time, factor 1.50
ML timing:
448.652s elapsed time, 672.774s cpu time, 52.236s GC time, factor 1.50
ML code maximum:
2.5 MiB
ML stack maximum:
21 MiB
ML stack average:
17.5 MiB
ML heap maximum:
4.9 GiB
ML heap average:
3.4 GiB
Isabelle version:
cbf5095487bb

HOL-Nominal-Examples

data:
CSV
timing:
0:07:15 elapsed time, 0:13:29 cpu time, factor 1.86
ML timing:
429.813s elapsed time, 799.987s cpu time, 71.395s GC time, factor 1.86
ML stack maximum:
38.3 MiB
ML stack average:
36.1 MiB
ML heap maximum:
8.2 GiB
ML heap average:
7 GiB
Isabelle version:
cbf5095487bb

HOL-ex

data:
CSV
timing:
0:07:02 elapsed time, 0:12:44 cpu time, factor 1.81
ML timing:
418.196s elapsed time, 758.790s cpu time, 57.746s GC time, factor 1.81
ML code maximum:
4 MiB
ML code average:
2.3 MiB
ML stack maximum:
58.8 MiB
ML stack average:
31.7 MiB
ML heap maximum:
5.7 GiB
ML heap average:
4.2 GiB
Isabelle version:
cbf5095487bb

HOL-Decision_Procs

data:
CSV
timing:
0:06:43 elapsed time, 0:12:43 cpu time, factor 1.89
ML timing:
397.318s elapsed time, 754.904s cpu time, 49.141s GC time, factor 1.90
ML code maximum:
4.7 MiB
ML code average:
2.1 MiB
ML stack maximum:
65.8 MiB
ML stack average:
33.1 MiB
ML heap maximum:
15.2 GiB
ML heap average:
10.2 GiB
Isabelle version:
cbf5095487bb

HOL-Library

data:
CSV
timing:
0:06:37 elapsed time, 0:11:21 cpu time, factor 1.72
ML timing:
355.165s elapsed time, 621.933s cpu time, 36.241s GC time, factor 1.75
ML code maximum:
4.4 MiB
ML code average:
3.9 MiB
ML stack maximum:
18.5 MiB
ML stack average:
15.3 MiB
ML heap maximum:
7.2 GiB
ML heap average:
5.5 GiB
ML heap stored:
153.4 MiB
Isabelle version:
cbf5095487bb

HOL

data:
CSV
timing:
0:06:33 elapsed time, 0:11:18 cpu time, factor 1.73
ML timing:
359.711s elapsed time, 631.484s cpu time, 59.195s GC time, factor 1.76
ML code maximum:
29.1 MiB
ML code average:
22.4 MiB
ML stack maximum:
56.3 MiB
ML stack average:
37.5 MiB
ML heap maximum:
14.1 GiB
ML heap average:
7.6 GiB
ML heap stored:
208.6 MiB
Isabelle version:
cbf5095487bb

HOL-Algebra

data:
CSV
timing:
0:04:26 elapsed time, 0:08:04 cpu time, factor 1.82
ML timing:
238.781s elapsed time, 446.172s cpu time, 55.277s GC time, factor 1.87
ML stack maximum:
7.9 MiB
ML stack average:
5.9 MiB
ML heap maximum:
7.4 GiB
ML heap average:
5.4 GiB
ML heap stored:
64.9 MiB
Isabelle version:
cbf5095487bb

HOL-Corec_Examples

data:
CSV
timing:
0:04:02 elapsed time, 0:07:47 cpu time, factor 1.93
ML timing:
234.346s elapsed time, 452.682s cpu time, 76.300s GC time, factor 1.93
ML stack maximum:
6.8 MiB
ML stack average:
2.4 MiB
ML heap maximum:
5.8 GiB
ML heap average:
3.6 GiB
Isabelle version:
cbf5095487bb

HOL-Probability

data:
CSV
timing:
0:02:56 elapsed time, 0:05:08 cpu time, factor 1.75
ML timing:
148.257s elapsed time, 270.462s cpu time, 16.680s GC time, factor 1.82
ML stack maximum:
10.4 MiB
ML stack average:
7.2 MiB
ML heap maximum:
3.8 GiB
ML heap average:
2.6 GiB
ML heap stored:
53.3 MiB
Isabelle version:
cbf5095487bb

HOL-Imperative_HOL

data:
CSV
timing:
0:02:49 elapsed time, 0:04:38 cpu time, factor 1.64
ML timing:
167.056s elapsed time, 274.782s cpu time, 16.858s GC time, factor 1.64
ML stack maximum:
18 MiB
ML stack average:
16.3 MiB
ML heap maximum:
4.3 GiB
ML heap average:
3.3 GiB
Isabelle version:
cbf5095487bb

HOL-Auth

data:
CSV
timing:
0:02:36 elapsed time, 0:04:12 cpu time, factor 1.62
ML timing:
147.071s elapsed time, 241.270s cpu time, 13.066s GC time, factor 1.64
ML stack maximum:
10.3 MiB
ML stack average:
8.7 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.6 GiB
ML heap stored:
31.9 MiB
Isabelle version:
cbf5095487bb

HOL-Datatype_Examples

data:
CSV
timing:
0:02:30 elapsed time, 0:05:01 cpu time, factor 2.01
ML timing:
143.821s elapsed time, 290.473s cpu time, 46.299s GC time, factor 2.02
ML stack maximum:
5.5 MiB
ML stack average:
2.3 MiB
ML heap maximum:
4.3 GiB
ML heap average:
3.4 GiB
Isabelle version:
cbf5095487bb

HOL-Real_Asymp

data:
CSV
timing:
0:02:25 elapsed time, 0:04:32 cpu time, factor 1.88
ML timing:
129.148s elapsed time, 250.686s cpu time, 17.104s GC time, factor 1.94
ML code maximum:
3 MiB
ML code average:
2.7 MiB
ML stack maximum:
25.4 MiB
ML stack average:
18.8 MiB
ML heap maximum:
4.3 GiB
ML heap average:
2.9 GiB
ML heap stored:
67.2 MiB
Isabelle version:
cbf5095487bb

HOL-Homology

data:
CSV
timing:
0:02:20 elapsed time, 0:04:13 cpu time, factor 1.81
ML timing:
136.954s elapsed time, 248.997s cpu time, 20.341s GC time, factor 1.82
ML stack maximum:
17.9 MiB
ML stack average:
15 MiB
ML heap maximum:
3.6 GiB
ML heap average:
3.1 GiB
Isabelle version:
cbf5095487bb

HOL-MicroJava

data:
CSV
timing:
0:02:08 elapsed time, 0:03:46 cpu time, factor 1.77
ML timing:
126.027s elapsed time, 224.311s cpu time, 8.464s GC time, factor 1.78
ML code maximum:
1.3 MiB
ML stack maximum:
7.4 MiB
ML stack average:
5.8 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
cbf5095487bb

Codegen

data:
CSV
timing:
0:02:00 elapsed time, 0:03:49 cpu time, factor 1.91
ML timing:
118.201s elapsed time, 226.932s cpu time, 17.812s GC time, factor 1.92
ML stack maximum:
13.4 MiB
ML stack average:
10.6 MiB
ML heap maximum:
3.3 GiB
ML heap average:
2.6 GiB
Isabelle version:
cbf5095487bb

HOL-Computational_Algebra

data:
CSV
timing:
0:02:00 elapsed time, 0:03:32 cpu time, factor 1.77
ML timing:
106.122s elapsed time, 193.348s cpu time, 12.753s GC time, factor 1.82
ML stack maximum:
21.3 MiB
ML stack average:
14.6 MiB
ML heap maximum:
3 GiB
ML heap average:
2.1 GiB
ML heap stored:
42.3 MiB
Isabelle version:
cbf5095487bb

HOL-IMP

data:
CSV
timing:
0:01:58 elapsed time, 0:03:20 cpu time, factor 1.69
ML timing:
116.385s elapsed time, 197.806s cpu time, 10.994s GC time, factor 1.70
ML code maximum:
10.8 MiB
ML code average:
4.1 MiB
ML stack maximum:
11.4 MiB
ML stack average:
3.5 MiB
ML heap maximum:
3.8 GiB
ML heap average:
3 GiB
Isabelle version:
cbf5095487bb

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:57 elapsed time, 0:02:52 cpu time, factor 1.47
ML timing:
113.972s elapsed time, 168.602s cpu time, 14.344s GC time, factor 1.48
ML stack maximum:
13.3 MiB
ML stack average:
11.7 MiB
ML heap maximum:
4.4 GiB
ML heap average:
3.2 GiB
Isabelle version:
cbf5095487bb

HOL-Hoare_Parallel

data:
CSV
timing:
0:01:49 elapsed time, 0:03:22 cpu time, factor 1.85
ML timing:
106.903s elapsed time, 200.044s cpu time, 6.039s GC time, factor 1.87
ML stack maximum:
7.4 MiB
ML stack average:
4.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
cbf5095487bb

HOL-Examples

data:
CSV
timing:
0:01:49 elapsed time, 0:03:20 cpu time, factor 1.83
ML timing:
105.947s elapsed time, 195.824s cpu time, 16.690s GC time, factor 1.85
ML stack maximum:
13.3 MiB
ML stack average:
10.8 MiB
ML heap maximum:
3.5 GiB
ML heap average:
2.5 GiB
Isabelle version:
cbf5095487bb

HOL-Complex_Analysis

data:
CSV
timing:
0:01:45 elapsed time, 0:03:03 cpu time, factor 1.74
ML timing:
103.035s elapsed time, 180.372s cpu time, 5.405s GC time, factor 1.75
ML stack maximum:
18.4 MiB
ML stack average:
16.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
cbf5095487bb

HOL-Bali

data:
CSV
timing:
0:01:39 elapsed time, 0:03:00 cpu time, factor 1.82
ML timing:
96.856s elapsed time, 177.273s cpu time, 9.570s GC time, factor 1.83
ML stack maximum:
14 MiB
ML stack average:
9.4 MiB
ML heap maximum:
3.2 GiB
ML heap average:
2.6 GiB
Isabelle version:
cbf5095487bb

HOL-Number_Theory

data:
CSV
timing:
0:01:38 elapsed time, 0:02:58 cpu time, factor 1.82
ML timing:
95.922s elapsed time, 175.126s cpu time, 15.303s GC time, factor 1.83
ML stack maximum:
8.5 MiB
ML stack average:
7 MiB
ML heap maximum:
3.7 GiB
ML heap average:
2.9 GiB
Isabelle version:
cbf5095487bb

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:01:32 elapsed time, 0:02:26 cpu time, factor 1.59
ML timing:
90.441s elapsed time, 143.378s cpu time, 9.907s GC time, factor 1.59
ML code maximum:
4.8 MiB
ML code average:
2.4 MiB
ML stack maximum:
6.4 MiB
ML stack average:
3.8 MiB
ML heap maximum:
3.7 GiB
ML heap average:
2.8 GiB
Isabelle version:
cbf5095487bb

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:30 elapsed time, 0:01:40 cpu time, factor 1.11
ML timing:
88.046s elapsed time, 98.344s cpu time, 7.484s GC time, factor 1.12
ML stack maximum:
4.1 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

HOL-Record_Benchmark

data:
CSV
timing:
0:01:18 elapsed time, 0:01:59 cpu time, factor 1.53
ML timing:
76.042s elapsed time, 116.847s cpu time, 8.370s GC time, factor 1.54
ML stack maximum:
4.5 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-SMT_Examples

data:
CSV
timing:
0:01:10 elapsed time, 0:02:00 cpu time, factor 1.71
ML timing:
68.918s elapsed time, 118.422s cpu time, 5.469s GC time, factor 1.72
ML stack maximum:
12 MiB
ML stack average:
10 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:02 elapsed time, 0:01:20 cpu time, factor 1.29
ML timing:
61.042s elapsed time, 78.931s cpu time, 1.676s GC time, factor 1.29
ML stack maximum:
6.7 MiB
ML stack average:
5.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

Datatypes

data:
CSV
timing:
0:00:58 elapsed time, 0:01:28 cpu time, factor 1.52
ML timing:
39.045s elapsed time, 62.927s cpu time, 7.924s GC time, factor 1.61
ML stack maximum:
5.9 MiB
ML stack average:
3.4 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.2 GiB
ML heap stored:
73.2 MiB
Isabelle version:
cbf5095487bb

HOL-Quickcheck_Examples

data:
CSV
timing:
0:00:54 elapsed time, 0:01:45 cpu time, factor 1.94
ML timing:
52.978s elapsed time, 103.490s cpu time, 5.256s GC time, factor 1.95
ML code maximum:
12.1 MiB
ML code average:
4.5 MiB
ML stack maximum:
11.9 MiB
ML stack average:
10 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

HOL-SET_Protocol

data:
CSV
timing:
0:00:51 elapsed time, 0:01:20 cpu time, factor 1.57
ML timing:
50.064s elapsed time, 79.760s cpu time, 1.236s GC time, factor 1.59
ML stack maximum:
4.9 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

Corec

data:
CSV
timing:
0:00:51 elapsed time, 0:01:12 cpu time, factor 1.41
ML timing:
49.033s elapsed time, 68.590s cpu time, 7.293s GC time, factor 1.40
ML code maximum:
2.2 MiB
ML code average:
2 MiB
ML stack maximum:
9.1 MiB
ML stack average:
8.3 MiB
ML heap maximum:
2 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

HOL-UNITY

data:
CSV
timing:
0:00:50 elapsed time, 0:01:26 cpu time, factor 1.72
ML timing:
49.096s elapsed time, 84.409s cpu time, 5.427s GC time, factor 1.72
ML stack maximum:
11 MiB
ML stack average:
9.9 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

ZF

data:
CSV
timing:
0:00:38 elapsed time, 0:00:33 cpu time, factor 0.87
ML timing:
17.177s elapsed time, 29.123s cpu time, 3.291s GC time, factor 1.70
ML code maximum:
1.8 MiB
ML code average:
1.7 MiB
ML stack maximum:
6.9 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
796.7 MiB
ML heap stored:
15.2 MiB
Isabelle version:
cbf5095487bb

HOL-Metis_Examples

data:
CSV
timing:
0:00:37 elapsed time, 0:00:56 cpu time, factor 1.51
ML timing:
36.235s elapsed time, 54.563s cpu time, 6.344s GC time, factor 1.51
ML stack maximum:
4.9 MiB
ML stack average:
4.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-Analysis-ex

data:
CSV
timing:
0:00:31 elapsed time, 0:00:42 cpu time, factor 1.35
ML timing:
29.134s elapsed time, 40.741s cpu time, 0.376s GC time, factor 1.40
ML stack maximum:
3.8 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-Matrix_LP

data:
CSV
timing:
0:00:28 elapsed time, 0:00:48 cpu time, factor 1.71
ML timing:
27.259s elapsed time, 47.023s cpu time, 2.359s GC time, factor 1.73
ML stack maximum:
4.4 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-SPARK

data:
CSV
timing:
0:00:28 elapsed time, 0:00:45 cpu time, factor 1.61
ML timing:
19.553s elapsed time, 35.516s cpu time, 1.452s GC time, factor 1.82
ML stack maximum:
10.1 MiB
ML stack average:
5.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
14.9 MiB
Isabelle version:
cbf5095487bb

HOL-Combinatorics

data:
CSV
timing:
0:00:28 elapsed time, 0:00:50 cpu time, factor 1.79
ML timing:
26.796s elapsed time, 49.206s cpu time, 3.394s GC time, factor 1.84
ML stack maximum:
10.5 MiB
ML stack average:
9.3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-Quotient_Examples

data:
CSV
timing:
0:00:26 elapsed time, 0:00:35 cpu time, factor 1.35
ML timing:
24.939s elapsed time, 33.211s cpu time, 2.698s GC time, factor 1.33
ML stack maximum:
3.4 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

Tutorial

data:
CSV
timing:
0:00:25 elapsed time, 0:00:44 cpu time, factor 1.76
ML timing:
23.927s elapsed time, 42.706s cpu time, 4.581s GC time, factor 1.78
ML stack maximum:
3.9 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOLCF

data:
CSV
timing:
0:00:24 elapsed time, 0:00:41 cpu time, factor 1.71
ML timing:
15.295s elapsed time, 30.534s cpu time, 2.499s GC time, factor 2.00
ML stack maximum:
5.4 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.6 GiB
ML heap average:
940.6 MiB
ML heap stored:
19.4 MiB
Isabelle version:
cbf5095487bb

HOL-Hoare

data:
CSV
timing:
0:00:24 elapsed time, 0:00:45 cpu time, factor 1.88
ML timing:
22.688s elapsed time, 43.725s cpu time, 1.290s GC time, factor 1.93
ML stack maximum:
2.5 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

Isar_Ref

data:
CSV
timing:
0:00:22 elapsed time, 0:00:29 cpu time, factor 1.32
ML timing:
21.021s elapsed time, 27.775s cpu time, 2.325s GC time, factor 1.32
ML stack maximum:
8.9 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-Cardinals

data:
CSV
timing:
0:00:21 elapsed time, 0:00:37 cpu time, factor 1.76
ML timing:
19.934s elapsed time, 36.403s cpu time, 1.258s GC time, factor 1.83
ML stack maximum:
7.5 MiB
ML stack average:
6.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOLCF-Library

data:
CSV
timing:
0:00:20 elapsed time, 0:00:32 cpu time, factor 1.60
ML timing:
12.645s elapsed time, 23.600s cpu time, 0.894s GC time, factor 1.87
ML stack maximum:
4 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
908.8 MiB
ML heap stored:
9.7 MiB
Isabelle version:
cbf5095487bb

ZF-Constructible

data:
CSV
timing:
0:00:20 elapsed time, 0:00:22 cpu time, factor 1.10
ML timing:
10.802s elapsed time, 21.049s cpu time, 3.280s GC time, factor 1.95
ML stack maximum:
4.9 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
789 MiB
Isabelle version:
cbf5095487bb

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:20 elapsed time, 0:00:33 cpu time, factor 1.65
ML timing:
12.486s elapsed time, 23.640s cpu time, 1.877s GC time, factor 1.89
ML stack maximum:
3.5 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.6 GiB
ML heap average:
887.9 MiB
ML heap stored:
10.2 MiB
Isabelle version:
cbf5095487bb

IOA

data:
CSV
timing:
0:00:20 elapsed time, 0:00:33 cpu time, factor 1.65
ML timing:
12.085s elapsed time, 23.499s cpu time, 0.923s GC time, factor 1.94
ML stack maximum:
3.4 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
896.8 MiB
ML heap stored:
6.7 MiB
Isabelle version:
cbf5095487bb

Pure

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
0.649s elapsed time, 0.692s 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:
520 MiB
ML heap stored:
24 MiB
Isabelle version:
cbf5095487bb

HOL-Nominal

data:
CSV
timing:
0:00:17 elapsed time, 0:00:29 cpu time, factor 1.71
ML timing:
10.673s elapsed time, 20.772s cpu time, 1.636s GC time, factor 1.95
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
6 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
891.2 MiB
ML heap stored:
9.4 MiB
Isabelle version:
cbf5095487bb

HOL-Induct

data:
CSV
timing:
0:00:16 elapsed time, 0:00:29 cpu time, factor 1.81
ML timing:
14.923s elapsed time, 27.828s cpu time, 3.430s GC time, factor 1.86
ML stack maximum:
2 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

System

data:
CSV
timing:
0:00:15 elapsed time
ML timing:
15.227s elapsed time, 1.392s cpu time, 0.000s GC time, factor 0.09
ML stack maximum:
3.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
613 MiB
ML heap average:
414.4 MiB
Isabelle version:
cbf5095487bb

HOL-ZF

data:
CSV
timing:
0:00:14 elapsed time, 0:00:24 cpu time, factor 1.71
ML timing:
12.533s elapsed time, 23.180s cpu time, 1.071s GC time, factor 1.85
ML stack maximum:
9.8 MiB
ML stack average:
8.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-SPARK-Examples

data:
CSV
timing:
0:00:14 elapsed time, 0:00:23 cpu time, factor 1.64
ML timing:
13.067s elapsed time, 21.968s cpu time, 0.353s GC time, factor 1.68
ML stack maximum:
5.4 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-Types_To_Sets

data:
CSV
timing:
0:00:13 elapsed time, 0:00:20 cpu time, factor 1.54
ML timing:
11.962s elapsed time, 19.150s cpu time, 0.628s GC time, factor 1.60
ML stack maximum:
2.8 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

ZF-UNITY

data:
CSV
timing:
0:00:13 elapsed time, 0:00:21 cpu time, factor 1.62
ML timing:
10.947s elapsed time, 20.383s cpu time, 1.773s GC time, factor 1.86
ML stack maximum:
3.3 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

Typeclass_Hierarchy

data:
CSV
timing:
0:00:12 elapsed time, 0:00:19 cpu time, factor 1.58
ML timing:
11.053s elapsed time, 18.426s cpu time, 0.886s GC time, factor 1.67
ML stack maximum:
10.5 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-Statespace

data:
CSV
timing:
0:00:12 elapsed time, 0:00:15 cpu time, factor 1.25
ML timing:
11.154s elapsed time, 13.561s cpu time, 0.485s GC time, factor 1.22
ML stack maximum:
2.4 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-Import

data:
CSV
timing:
0:00:12 elapsed time, 0:00:13 cpu time, factor 1.08
ML timing:
11.147s elapsed time, 11.847s cpu time, 0.377s GC time, factor 1.06
ML stack maximum:
65.4 MiB
ML stack average:
57 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-Hahn_Banach

data:
CSV
timing:
0:00:11 elapsed time, 0:00:18 cpu time, factor 1.64
ML timing:
10.094s elapsed time, 17.009s cpu time, 0.854s GC time, factor 1.69
ML stack maximum:
3.4 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-TLA-Memory

data:
CSV
timing:
0:00:11 elapsed time, 0:00:19 cpu time, factor 1.73
ML timing:
10.101s elapsed time, 17.932s cpu time, 0.339s GC time, factor 1.78
ML stack maximum:
3.1 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

CCL

data:
CSV
timing:
0:00:11 elapsed time, 0:00:07 cpu time, factor 0.64
ML timing:
5.121s elapsed time, 6.694s cpu time, 0.479s GC time, factor 1.31
ML code maximum:
1.6 MiB
ML code average:
1.3 MiB
ML stack maximum:
3.9 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
584.1 MiB
Isabelle version:
cbf5095487bb

HOL-Probability-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:15 cpu time, factor 1.50
ML timing:
7.592s elapsed time, 13.006s cpu time, 0.382s GC time, factor 1.71
ML stack maximum:
2.5 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

HOLCF-Tutorial

data:
CSV
timing:
0:00:09 elapsed time, 0:00:12 cpu time, factor 1.33
ML timing:
7.922s elapsed time, 10.993s cpu time, 0.294s GC time, factor 1.39
ML heap maximum:
1.4 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

HOL-Unix

data:
CSV
timing:
0:00:08 elapsed time, 0:00:14 cpu time, factor 1.75
ML timing:
6.959s elapsed time, 13.530s cpu time, 0.770s GC time, factor 1.94
ML stack maximum:
3.1 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

ZF-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:11 cpu time, factor 1.38
ML timing:
6.690s elapsed time, 10.258s cpu time, 0.470s GC time, factor 1.53
ML stack maximum:
6.5 MiB
ML stack average:
5.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

ZF-Induct

data:
CSV
timing:
0:00:07 elapsed time, 0:00:08 cpu time, factor 1.14
ML timing:
6.447s elapsed time, 7.469s cpu time, 0.320s GC time, factor 1.16
ML stack maximum:
3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
4.1 MiB
Isabelle version:
cbf5095487bb

IOA-NTP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:10 cpu time, factor 1.43
ML timing:
5.446s elapsed time, 9.540s cpu time, 0.392s GC time, factor 1.75
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-TLA

data:
CSV
timing:
0:00:07 elapsed time, 0:00:09 cpu time, factor 1.29
ML timing:
1.823s elapsed time, 2.864s cpu time, 0.082s GC time, factor 1.57
ML stack maximum:
2.6 MiB
ML heap maximum:
840 MiB
ML heap average:
205.6 MiB
ML heap stored:
3 MiB
Isabelle version:
cbf5095487bb

FOL-ex

data:
CSV
timing:
0:00:07 elapsed time, 0:00:09 cpu time, factor 1.29
ML timing:
6.240s elapsed time, 8.650s cpu time, 0.290s GC time, factor 1.39
ML stack maximum:
4.6 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

Tools

data:
CSV
timing:
0:00:07 elapsed time, 0:00:04 cpu time, factor 0.57
ML timing:
3.739s elapsed time, 3.934s cpu time, 0.114s GC time, factor 1.05
ML code maximum:
1.9 MiB
ML code average:
1.5 MiB
ML stack maximum:
2.6 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
556.2 MiB
Isabelle version:
cbf5095487bb

HOL-Eisbach

data:
CSV
timing:
0:00:07 elapsed time, 0:00:13 cpu time, factor 1.86
ML timing:
6.143s elapsed time, 11.903s cpu time, 0.520s GC time, factor 1.94
ML code maximum:
1.9 MiB
ML code average:
1.4 MiB
ML stack maximum:
3.9 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

FOL

data:
CSV
timing:
0:00:07 elapsed time, 0:00:04 cpu time, factor 0.57
ML timing:
3.527s elapsed time, 3.814s cpu time, 0.125s GC time, factor 1.08
ML code maximum:
1.4 MiB
ML code average:
1 MiB
ML stack maximum:
2.4 MiB
ML stack average:
1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
519.1 MiB
ML heap stored:
3.7 MiB
Isabelle version:
cbf5095487bb

HOL-Isar_Examples

data:
CSV
timing:
0:00:07 elapsed time, 0:00:11 cpu time, factor 1.57
ML timing:
5.598s elapsed time, 10.109s cpu time, 0.357s GC time, factor 1.81
ML stack maximum:
1.9 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

Implementation

data:
CSV
timing:
0:00:07 elapsed time, 0:00:05 cpu time, factor 0.71
ML timing:
6.258s elapsed time, 4.391s cpu time, 0.052s GC time, factor 0.70
ML stack maximum:
7.4 MiB
ML stack average:
6 MiB
ML heap maximum:
1 GiB
ML heap average:
817.6 MiB
Isabelle version:
cbf5095487bb

LCF

data:
CSV
timing:
0:00:07 elapsed time, 0:00:04 cpu time, factor 0.57
ML timing:
3.424s elapsed time, 3.764s cpu time, 0.105s GC time, factor 1.10
ML code maximum:
1.4 MiB
ML code average:
1 MiB
ML stack maximum:
2.4 MiB
ML stack average:
1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
548.2 MiB
Isabelle version:
cbf5095487bb

HOLCF-IMP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:10 cpu time, factor 1.43
ML timing:
5.608s elapsed time, 9.010s cpu time, 0.292s GC time, factor 1.61
ML stack maximum:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

HOL-NanoJava

data:
CSV
timing:
0:00:06 elapsed time, 0:00:10 cpu time, factor 1.67
ML timing:
4.946s elapsed time, 8.884s cpu time, 0.420s GC time, factor 1.80
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

Prog_Prove

data:
CSV
timing:
0:00:06 elapsed time, 0:00:10 cpu time, factor 1.67
ML timing:
4.698s elapsed time, 8.960s cpu time, 0.622s 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.1 GiB
Isabelle version:
cbf5095487bb

HOLCF-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:10 cpu time, factor 1.67
ML timing:
4.714s elapsed time, 9.164s cpu time, 0.471s GC time, factor 1.94
ML stack maximum:
3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
cbf5095487bb

IOA-ABP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:10 cpu time, factor 1.67
ML timing:
4.615s elapsed time, 8.504s cpu time, 0.339s GC time, factor 1.84
ML stack maximum:
1.1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

HOL-TPTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.17
ML timing:
5.386s elapsed time, 6.698s cpu time, 0.308s GC time, factor 1.24
ML code maximum:
4 MiB
ML code average:
2.6 MiB
ML stack maximum:
28.8 MiB
ML stack average:
19.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-SPARK-Manual

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
3.899s elapsed time, 6.736s cpu time, 0.116s GC time, factor 1.73
ML stack maximum:
2.1 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

HOL-Proofs-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20
ML timing:
3.285s elapsed time, 5.037s cpu time, 0.938s GC time, factor 1.53
ML stack maximum:
6.4 MiB
ML stack average:
4.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
947 MiB
Isabelle version:
cbf5095487bb

HOLCF-FOCUS

data:
CSV
timing:
0:00:05 elapsed time, 0:00:09 cpu time, factor 1.80
ML timing:
4.277s elapsed time, 8.184s cpu time, 0.254s GC time, factor 1.91
ML stack maximum:
2 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

HOL-IMPP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.60
ML timing:
4.172s elapsed time, 6.814s cpu time, 0.268s GC time, factor 1.63
ML stack maximum:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
cbf5095487bb

ZF-AC

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
3.995s elapsed time, 7.134s cpu time, 0.514s GC time, factor 1.79
ML stack maximum:
2.9 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.4 GiB
ML heap average:
998.9 MiB
Isabelle version:
cbf5095487bb

HOL-IOA

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
2.646s elapsed time, 3.512s cpu time, 0.069s GC time, factor 1.33
ML heap maximum:
1.4 GiB
ML heap average:
849.9 MiB
Isabelle version:
cbf5095487bb

Functions

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
2.642s elapsed time, 3.605s cpu time, 0.054s GC time, factor 1.36
ML stack maximum:
2.8 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.2 GiB
ML heap average:
790.8 MiB
Isabelle version:
cbf5095487bb

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.086s elapsed time, 2.794s cpu time, 0.060s GC time, factor 1.34
ML heap maximum:
1.1 GiB
ML heap average:
589.1 MiB
Isabelle version:
cbf5095487bb

HOL-Mutabelle

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.723s elapsed time, 1.896s cpu time, 0.177s GC time, factor 1.10
ML stack maximum:
8.6 MiB
ML stack average:
6.5 MiB
ML heap maximum:
774 MiB
ML heap average:
483.7 MiB
Isabelle version:
cbf5095487bb

Sequents

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.338s elapsed time, 4.506s cpu time, 0.156s GC time, factor 1.93
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
862.4 MiB
Isabelle version:
cbf5095487bb

Locales

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
1.744s elapsed time, 2.130s cpu time, 0.070s GC time, factor 1.22
ML stack maximum:
1.5 MiB
ML stack average:
1.3 MiB
ML heap maximum:
762 MiB
ML heap average:
538 MiB
Isabelle version:
cbf5095487bb

HOL-TLA-Inc

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.334s elapsed time, 3.977s cpu time, 0.046s GC time, factor 1.70
ML heap maximum:
1.5 GiB
ML heap average:
954.1 MiB
Isabelle version:
cbf5095487bb

FOLP-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
3.293s elapsed time, 5.890s cpu time, 0.130s GC time, factor 1.79
ML code maximum:
1.3 MiB
ML stack maximum:
1.8 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

JEdit

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.339s elapsed time, 0.808s cpu time, 0.000s GC time, factor 0.35
ML stack maximum:
4.6 MiB
ML stack average:
3.7 MiB
ML heap maximum:
438 MiB
ML heap average:
344.6 MiB
Isabelle version:
cbf5095487bb

HOL-Lattice

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.565s elapsed time, 3.328s cpu time, 0.085s GC time, factor 1.30
ML stack maximum:
2.4 MiB
ML stack average:
1.2 MiB
ML heap maximum:
884 MiB
ML heap average:
554.4 MiB
Isabelle version:
cbf5095487bb

Eisbach

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.103s elapsed time, 2.475s cpu time, 0.098s GC time, factor 1.18
ML stack maximum:
2.6 MiB
ML stack average:
1.9 MiB
ML heap maximum:
768 MiB
ML heap average:
647.6 MiB
Isabelle version:
cbf5095487bb

Sugar

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.963s elapsed time, 1.151s cpu time, 0.000s GC time, factor 1.20
ML heap maximum:
541 MiB
ML heap average:
429 MiB
Isabelle version:
cbf5095487bb

ZF-Resid

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.557s elapsed time, 2.570s cpu time, 0.043s GC time, factor 1.65
ML stack maximum:
1 MiB
ML heap maximum:
928 MiB
ML heap average:
702.8 MiB
Isabelle version:
cbf5095487bb

HOL-TLA-Buffer

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.728s elapsed time, 1.223s cpu time, 0.000s GC time, factor 1.68
ML heap maximum:
504 MiB
ML heap average:
301.9 MiB
Isabelle version:
cbf5095487bb

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.407s elapsed time, 1.854s cpu time, 0.047s GC time, factor 1.32
ML stack maximum:
1.9 MiB
ML stack average:
1.4 MiB
ML heap maximum:
758 MiB
ML heap average:
546.2 MiB
Isabelle version:
cbf5095487bb

Demo_LLNCS

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.753s elapsed time, 0.232s cpu time, 0.000s GC time, factor 0.31
ML heap maximum:
115 MiB
ML heap average:
73 MiB
Isabelle version:
cbf5095487bb

IOA-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.951s elapsed time, 1.801s cpu time, 0.000s GC time, factor 1.89
ML heap maximum:
710 MiB
ML heap average:
582.9 MiB
Isabelle version:
cbf5095487bb

FOLP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.427s elapsed time, 1.531s cpu time, 0.054s GC time, factor 1.07
ML stack maximum:
1.3 MiB
ML heap maximum:
760 MiB
ML heap average:
446.3 MiB
ML heap stored:
1.5 MiB
Isabelle version:
cbf5095487bb

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.443s elapsed time, 2.058s cpu time, 0.047s GC time, factor 1.43
ML heap maximum:
759 MiB
ML heap average:
619.6 MiB
Isabelle version:
cbf5095487bb

Pure-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.444s elapsed time, 0.631s cpu time, 0.000s GC time, factor 0.44
ML stack maximum:
1.1 MiB
ML heap maximum:
348 MiB
ML heap average:
328.7 MiB
Isabelle version:
cbf5095487bb

Main

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.840s elapsed time, 0.961s cpu time, 0.000s GC time, factor 1.14
ML stack maximum:
2.4 MiB
ML stack average:
1.4 MiB
ML heap maximum:
421 MiB
ML heap average:
390.5 MiB
Isabelle version:
cbf5095487bb

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.732s elapsed time, 2.543s cpu time, 0.040s GC time, factor 1.47
ML heap maximum:
758 MiB
ML heap average:
428.4 MiB
Isabelle version:
cbf5095487bb

Demo_EPTCS

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.604s elapsed time, 0.215s cpu time, 0.000s GC time, factor 0.36
ML heap maximum:
114 MiB
ML heap average:
114 MiB
Isabelle version:
cbf5095487bb

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.872s elapsed time, 1.629s cpu time, 0.042s GC time, factor 1.87
ML heap maximum:
739 MiB
ML heap average:
634.1 MiB
Isabelle version:
cbf5095487bb

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.772s elapsed time, 0.777s cpu time, 0.000s GC time, factor 1.01
ML stack maximum:
1.1 MiB
ML heap maximum:
284 MiB
ML heap average:
179.1 MiB
Isabelle version:
cbf5095487bb

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.324s elapsed time, 0.535s cpu time, 0.000s GC time, factor 1.65
ML heap maximum:
158 MiB
ML heap average:
158 MiB
Isabelle version:
cbf5095487bb

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.088s elapsed time, 1.249s cpu time, 0.000s GC time, factor 1.15
ML heap maximum:
677 MiB
ML heap average:
518.7 MiB
Isabelle version:
cbf5095487bb

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.193s elapsed time, 1.702s cpu time, 0.098s GC time, factor 1.43
ML stack maximum:
1.4 MiB
ML stack average:
1 MiB
ML heap maximum:
710 MiB
ML heap average:
358.8 MiB
Isabelle version:
cbf5095487bb

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.155s elapsed time, 0.220s cpu time, 0.000s GC time, factor 1.42
ML heap maximum:
71 MiB
ML heap average:
24 MiB
Isabelle version:
cbf5095487bb

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.160s elapsed time, 0.219s cpu time, 0.000s GC time, factor 1.37
ML heap maximum:
63 MiB
ML heap average:
63 MiB
Isabelle version:
cbf5095487bb

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.417s elapsed time, 0.608s cpu time, 0.000s GC time, factor 1.46
ML heap maximum:
331 MiB
ML heap average:
331 MiB
Isabelle version:
cbf5095487bb

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.162s elapsed time, 0.218s cpu time, 0.000s GC time, factor 1.35
ML heap maximum:
66 MiB
ML heap average:
66 MiB
Isabelle version:
cbf5095487bb

Haskell

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.499s elapsed time, 0.617s cpu time, 0.000s GC time, factor 1.24
ML stack maximum:
4.4 MiB
ML heap maximum:
346 MiB
ML heap average:
346 MiB
Isabelle version:
cbf5095487bb

Pure-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.926s elapsed time, 0.492s cpu time, 0.000s GC time, factor 0.53
ML heap maximum:
249 MiB
ML heap average:
237.5 MiB
Isabelle version:
cbf5095487bb

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.328s elapsed time, 0.534s cpu time, 0.000s GC time, factor 1.63
ML heap maximum:
107 MiB
ML heap average:
107 MiB
Isabelle version:
cbf5095487bb

Logics

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

SML

data:
CSV
ML timing:
0.022s elapsed time, 0.023s cpu time, 0.000s GC time, factor 1.05
ML heap maximum:
24 MiB
ML heap average:
24 MiB
Isabelle version:
cbf5095487bb

Sledgehammer

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

Nitpick

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

Cube

data:
CSV
ML timing:
0.361s elapsed time, 0.397s cpu time, 0.000s GC time, factor 1.10
ML heap maximum:
226 MiB
ML heap average:
226 MiB
Isabelle version:
cbf5095487bb

Intro

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