Isabelle build status for Linux C, 2 threads

status date:
25-May-2026 06:59:34 +0200
build host:
linux-netcup-g12

HOL-Analysis

data:
CSV
timing:
0:19:05 elapsed time, 0:30:41 cpu time, factor 1.61
ML timing:
1055.417s elapsed time, 1711.982s cpu time, 75.749s GC time, factor 1.62
ML code maximum:
3.7 MiB
ML code average:
3.6 MiB
ML stack maximum:
44.5 MiB
ML stack average:
35.4 MiB
ML heap maximum:
10.2 GiB
ML heap average:
8.6 GiB
ML heap stored:
270.8 MiB
Isabelle version:
86a7ec064208

HOL-Datatype_Benchmark

data:
CSV
timing:
0:17:09 elapsed time, 0:33:23 cpu time, factor 1.95
ML timing:
1020.040s elapsed time, 1984.927s cpu time, 1256.973s GC time, factor 1.95
ML stack maximum:
9.3 MiB
ML stack average:
6.4 MiB
ML heap maximum:
15.7 GiB
ML heap average:
8.9 GiB
Isabelle version:
86a7ec064208

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:09:56 elapsed time, 0:19:38 cpu time, factor 1.98
ML timing:
594.325s elapsed time, 1177.270s cpu time, 24.314s GC time, factor 1.98
ML code maximum:
79.6 MiB
ML code average:
71.5 MiB
ML stack maximum:
5.4 MiB
ML stack average:
3.5 MiB
ML heap maximum:
2 GiB
ML heap average:
1.6 GiB
Isabelle version:
86a7ec064208

HOL-Proofs

data:
CSV
timing:
0:09:11 elapsed time, 0:12:56 cpu time, factor 1.41
ML timing:
421.637s elapsed time, 588.517s cpu time, 112.942s GC time, factor 1.40
ML code maximum:
28.4 MiB
ML code average:
21 MiB
ML stack maximum:
46.3 MiB
ML stack average:
29.1 MiB
ML heap maximum:
16 GiB
ML heap average:
7.1 GiB
ML heap stored:
377.8 MiB
Isabelle version:
86a7ec064208

HOL-Data_Structures

data:
CSV
timing:
0:08:20 elapsed time, 0:15:39 cpu time, factor 1.88
ML timing:
494.901s elapsed time, 930.878s cpu time, 48.491s GC time, factor 1.88
ML stack maximum:
20.3 MiB
ML stack average:
11.7 MiB
ML heap maximum:
6.8 GiB
ML heap average:
6.2 GiB
Isabelle version:
86a7ec064208

HOL-Nominal-Examples

data:
CSV
timing:
0:06:43 elapsed time, 0:12:21 cpu time, factor 1.84
ML timing:
398.139s elapsed time, 732.584s cpu time, 54.893s GC time, factor 1.84
ML stack maximum:
38.3 MiB
ML stack average:
36.1 MiB
ML heap maximum:
6.6 GiB
ML heap average:
5.6 GiB
Isabelle version:
86a7ec064208

HOL-Codegenerator_Test

data:
CSV
timing:
0:06:39 elapsed time, 0:10:05 cpu time, factor 1.52
ML timing:
395.126s elapsed time, 599.479s cpu time, 53.470s GC time, factor 1.52
ML code maximum:
2 MiB
ML stack maximum:
22.5 MiB
ML stack average:
17.6 MiB
ML heap maximum:
5.4 GiB
ML heap average:
3.9 GiB
Isabelle version:
86a7ec064208

HOL-ex

data:
CSV
timing:
0:06:35 elapsed time, 0:12:01 cpu time, factor 1.83
ML timing:
390.689s elapsed time, 714.806s cpu time, 37.150s GC time, factor 1.83
ML code maximum:
5.8 MiB
ML code average:
3.1 MiB
ML stack maximum:
60.3 MiB
ML stack average:
33.1 MiB
ML heap maximum:
8.5 GiB
ML heap average:
7.1 GiB
Isabelle version:
86a7ec064208

HOL-Decision_Procs

data:
CSV
timing:
0:06:14 elapsed time, 0:11:49 cpu time, factor 1.90
ML timing:
369.898s elapsed time, 702.934s cpu time, 49.696s GC time, factor 1.90
ML code maximum:
4.6 MiB
ML code average:
2 MiB
ML stack maximum:
60.8 MiB
ML stack average:
31.1 MiB
ML heap maximum:
14.1 GiB
ML heap average:
9.7 GiB
Isabelle version:
86a7ec064208

HOL-Library

data:
CSV
timing:
0:06:08 elapsed time, 0:10:11 cpu time, factor 1.66
ML timing:
330.335s elapsed time, 556.992s cpu time, 36.755s GC time, factor 1.69
ML code maximum:
4.4 MiB
ML code average:
4 MiB
ML stack maximum:
18 MiB
ML stack average:
15.5 MiB
ML heap maximum:
7.5 GiB
ML heap average:
5.5 GiB
ML heap stored:
153.3 MiB
Isabelle version:
86a7ec064208

HOL

data:
CSV
timing:
0:05:58 elapsed time, 0:09:37 cpu time, factor 1.61
ML timing:
329.218s elapsed time, 535.790s cpu time, 39.739s GC time, factor 1.63
ML code maximum:
34.9 MiB
ML code average:
26.3 MiB
ML stack maximum:
55.3 MiB
ML stack average:
41.1 MiB
ML heap maximum:
7.5 GiB
ML heap average:
5.6 GiB
ML heap stored:
208.6 MiB
Isabelle version:
86a7ec064208

HOL-Algebra

data:
CSV
timing:
0:04:11 elapsed time, 0:07:50 cpu time, factor 1.87
ML timing:
227.312s elapsed time, 436.568s cpu time, 82.656s GC time, factor 1.92
ML stack maximum:
9.9 MiB
ML stack average:
7.8 MiB
ML heap maximum:
6.9 GiB
ML heap average:
3.6 GiB
ML heap stored:
64.9 MiB
Isabelle version:
86a7ec064208

HOL-Corec_Examples

data:
CSV
timing:
0:03:40 elapsed time, 0:07:06 cpu time, factor 1.94
ML timing:
212.781s elapsed time, 412.478s cpu time, 69.398s GC time, factor 1.94
ML stack maximum:
8.8 MiB
ML stack average:
2.4 MiB
ML heap maximum:
6 GiB
ML heap average:
3.6 GiB
Isabelle version:
86a7ec064208

HOL-Probability

data:
CSV
timing:
0:02:42 elapsed time, 0:04:44 cpu time, factor 1.75
ML timing:
135.447s elapsed time, 249.008s cpu time, 16.069s GC time, factor 1.84
ML stack maximum:
10.4 MiB
ML stack average:
7.4 MiB
ML heap maximum:
3.7 GiB
ML heap average:
2.7 GiB
ML heap stored:
53.3 MiB
Isabelle version:
86a7ec064208

HOL-Imperative_HOL

data:
CSV
timing:
0:02:35 elapsed time, 0:04:13 cpu time, factor 1.63
ML timing:
152.758s elapsed time, 250.127s cpu time, 15.992s GC time, factor 1.64
ML stack maximum:
18.5 MiB
ML stack average:
16.7 MiB
ML heap maximum:
4.4 GiB
ML heap average:
3.4 GiB
Isabelle version:
86a7ec064208

HOL-Real_Asymp

data:
CSV
timing:
0:02:22 elapsed time, 0:04:26 cpu time, factor 1.87
ML timing:
125.982s elapsed time, 244.535s cpu time, 17.286s GC time, factor 1.94
ML code maximum:
3 MiB
ML code average:
2.8 MiB
ML stack maximum:
26 MiB
ML stack average:
18.9 MiB
ML heap maximum:
4.9 GiB
ML heap average:
3.2 GiB
ML heap stored:
67.3 MiB
Isabelle version:
86a7ec064208

HOL-Datatype_Examples

data:
CSV
timing:
0:02:20 elapsed time, 0:04:39 cpu time, factor 1.99
ML timing:
133.766s elapsed time, 268.058s cpu time, 44.791s GC time, factor 2.00
ML stack maximum:
5.8 MiB
ML stack average:
2.3 MiB
ML heap maximum:
5.5 GiB
ML heap average:
3.9 GiB
Isabelle version:
86a7ec064208

HOL-Auth

data:
CSV
timing:
0:02:18 elapsed time, 0:03:39 cpu time, factor 1.59
ML timing:
129.091s elapsed time, 208.334s cpu time, 7.679s GC time, factor 1.61
ML stack maximum:
10.3 MiB
ML stack average:
8.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
ML heap stored:
31.7 MiB
Isabelle version:
86a7ec064208

HOL-Homology

data:
CSV
timing:
0:02:09 elapsed time, 0:03:52 cpu time, factor 1.80
ML timing:
126.758s elapsed time, 229.015s cpu time, 17.679s GC time, factor 1.81
ML stack maximum:
17.9 MiB
ML stack average:
15 MiB
ML heap maximum:
3.7 GiB
ML heap average:
3.2 GiB
Isabelle version:
86a7ec064208

HOL-MicroJava

data:
CSV
timing:
0:02:02 elapsed time, 0:03:37 cpu time, factor 1.78
ML timing:
120.274s elapsed time, 215.273s cpu time, 8.437s GC time, factor 1.79
ML code maximum:
1.3 MiB
ML stack maximum:
8.9 MiB
ML stack average:
7.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
86a7ec064208

Codegen

data:
CSV
timing:
0:02:00 elapsed time, 0:03:47 cpu time, factor 1.89
ML timing:
118.574s elapsed time, 224.442s cpu time, 15.864s GC time, factor 1.89
ML stack maximum:
12.4 MiB
ML stack average:
10.4 MiB
ML heap maximum:
4.3 GiB
ML heap average:
3.3 GiB
Isabelle version:
86a7ec064208

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:53 elapsed time, 0:02:41 cpu time, factor 1.42
ML timing:
110.430s elapsed time, 157.918s cpu time, 15.910s GC time, factor 1.43
ML stack maximum:
13 MiB
ML stack average:
11.8 MiB
ML heap maximum:
4.7 GiB
ML heap average:
2.4 GiB
Isabelle version:
86a7ec064208

HOL-IMP

data:
CSV
timing:
0:01:51 elapsed time, 0:03:06 cpu time, factor 1.68
ML timing:
108.625s elapsed time, 183.311s cpu time, 12.180s GC time, factor 1.69
ML code maximum:
10.8 MiB
ML code average:
4.1 MiB
ML stack maximum:
11.9 MiB
ML stack average:
3.7 MiB
ML heap maximum:
3.9 GiB
ML heap average:
3 GiB
Isabelle version:
86a7ec064208

HOL-Computational_Algebra

data:
CSV
timing:
0:01:50 elapsed time, 0:03:13 cpu time, factor 1.75
ML timing:
96.227s elapsed time, 175.646s cpu time, 12.392s GC time, factor 1.83
ML stack maximum:
21.3 MiB
ML stack average:
14.5 MiB
ML heap maximum:
3.3 GiB
ML heap average:
2.1 GiB
ML heap stored:
42.4 MiB
Isabelle version:
86a7ec064208

HOL-Hoare_Parallel

data:
CSV
timing:
0:01:42 elapsed time, 0:03:11 cpu time, factor 1.87
ML timing:
100.768s elapsed time, 189.558s cpu time, 6.247s GC time, factor 1.88
ML stack maximum:
5.5 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
86a7ec064208

HOL-Complex_Analysis

data:
CSV
timing:
0:01:37 elapsed time, 0:02:53 cpu time, factor 1.78
ML timing:
95.204s elapsed time, 170.537s cpu time, 8.352s GC time, factor 1.79
ML stack maximum:
18.4 MiB
ML stack average:
16.7 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.9 GiB
Isabelle version:
86a7ec064208

HOL-Bali

data:
CSV
timing:
0:01:35 elapsed time, 0:02:53 cpu time, factor 1.82
ML timing:
92.952s elapsed time, 170.551s cpu time, 12.001s GC time, factor 1.83
ML stack maximum:
14 MiB
ML stack average:
9.5 MiB
ML heap maximum:
3.6 GiB
ML heap average:
2.8 GiB
Isabelle version:
86a7ec064208

HOL-Number_Theory

data:
CSV
timing:
0:01:34 elapsed time, 0:02:47 cpu time, factor 1.78
ML timing:
92.442s elapsed time, 164.928s cpu time, 13.325s GC time, factor 1.78
ML stack maximum:
8.5 MiB
ML stack average:
7 MiB
ML heap maximum:
3.9 GiB
ML heap average:
3 GiB
Isabelle version:
86a7ec064208

HOL-Examples

data:
CSV
timing:
0:01:29 elapsed time, 0:02:35 cpu time, factor 1.74
ML timing:
86.514s elapsed time, 152.648s cpu time, 11.656s GC time, factor 1.76
ML stack maximum:
12.5 MiB
ML stack average:
11.1 MiB
ML heap maximum:
3.8 GiB
ML heap average:
2.6 GiB
Isabelle version:
86a7ec064208

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:01:28 elapsed time, 0:02:16 cpu time, factor 1.55
ML timing:
86.367s elapsed time, 133.073s cpu time, 8.686s GC time, factor 1.54
ML code maximum:
4.9 MiB
ML code average:
2.5 MiB
ML stack maximum:
5.9 MiB
ML stack average:
3.8 MiB
ML heap maximum:
3.7 GiB
ML heap average:
3 GiB
Isabelle version:
86a7ec064208

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:23 elapsed time, 0:01:33 cpu time, factor 1.12
ML timing:
80.842s elapsed time, 90.694s cpu time, 6.777s GC time, factor 1.12
ML stack maximum:
3.9 MiB
ML stack average:
2.1 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.6 GiB
Isabelle version:
86a7ec064208

HOL-Record_Benchmark

data:
CSV
timing:
0:01:13 elapsed time, 0:01:53 cpu time, factor 1.55
ML timing:
71.700s elapsed time, 111.023s cpu time, 8.964s GC time, factor 1.55
ML stack maximum:
3.5 MiB
ML stack average:
2.6 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.6 GiB
Isabelle version:
86a7ec064208

HOL-SMT_Examples

data:
CSV
timing:
0:01:05 elapsed time, 0:01:48 cpu time, factor 1.66
ML timing:
64.053s elapsed time, 107.255s cpu time, 5.078s GC time, factor 1.67
ML stack maximum:
11.5 MiB
ML stack average:
9.9 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
86a7ec064208

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:01 elapsed time, 0:01:19 cpu time, factor 1.30
ML timing:
59.751s elapsed time, 77.489s cpu time, 2.719s GC time, factor 1.30
ML stack maximum:
7.4 MiB
ML stack average:
5.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
86a7ec064208

Datatypes

data:
CSV
timing:
0:00:54 elapsed time, 0:01:21 cpu time, factor 1.50
ML timing:
36.456s elapsed time, 58.134s cpu time, 7.403s GC time, factor 1.59
ML stack maximum:
6.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.2 GiB
ML heap stored:
73.3 MiB
Isabelle version:
86a7ec064208

HOL-Quickcheck_Examples

data:
CSV
timing:
0:00:51 elapsed time, 0:01:39 cpu time, factor 1.94
ML timing:
50.246s elapsed time, 98.210s cpu time, 5.159s GC time, factor 1.95
ML code maximum:
12.1 MiB
ML code average:
4.4 MiB
ML stack maximum:
12 MiB
ML stack average:
9.9 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
86a7ec064208

HOL-SET_Protocol

data:
CSV
timing:
0:00:48 elapsed time, 0:01:17 cpu time, factor 1.60
ML timing:
46.609s elapsed time, 75.891s cpu time, 1.199s GC time, factor 1.63
ML stack maximum:
5.4 MiB
ML stack average:
4.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

Corec

data:
CSV
timing:
0:00:48 elapsed time, 0:01:07 cpu time, factor 1.40
ML timing:
45.491s elapsed time, 63.542s cpu time, 6.841s 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:
86a7ec064208

HOL-UNITY

data:
CSV
timing:
0:00:47 elapsed time, 0:01:21 cpu time, factor 1.72
ML timing:
46.170s elapsed time, 79.341s cpu time, 5.037s GC time, factor 1.72
ML stack maximum:
12.5 MiB
ML stack average:
10.4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
86a7ec064208

ZF

data:
CSV
timing:
0:00:37 elapsed time, 0:00:28 cpu time, factor 0.76
ML timing:
15.005s elapsed time, 25.216s cpu time, 3.064s GC time, factor 1.68
ML code maximum:
1.8 MiB
ML code average:
1.7 MiB
ML stack maximum:
8.5 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.6 GiB
ML heap average:
762.7 MiB
ML heap stored:
15.2 MiB
Isabelle version:
86a7ec064208

HOL-Metis_Examples

data:
CSV
timing:
0:00:36 elapsed time, 0:00:54 cpu time, factor 1.50
ML timing:
35.440s elapsed time, 52.907s cpu time, 6.030s GC time, factor 1.49
ML stack maximum:
4.5 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-Analysis-ex

data:
CSV
timing:
0:00:29 elapsed time, 0:00:39 cpu time, factor 1.34
ML timing:
26.865s elapsed time, 37.231s cpu time, 0.339s GC time, factor 1.39
ML stack maximum:
3.3 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

HOL-SPARK

data:
CSV
timing:
0:00:27 elapsed time, 0:00:43 cpu time, factor 1.59
ML timing:
19.325s elapsed time, 34.419s cpu time, 2.343s GC time, factor 1.78
ML stack maximum:
9.1 MiB
ML stack average:
5.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1 GiB
ML heap stored:
14.9 MiB
Isabelle version:
86a7ec064208

HOL-Matrix_LP

data:
CSV
timing:
0:00:26 elapsed time, 0:00:43 cpu time, factor 1.65
ML timing:
24.921s elapsed time, 42.335s cpu time, 2.190s GC time, factor 1.70
ML stack maximum:
4.1 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

HOL-Combinatorics

data:
CSV
timing:
0:00:25 elapsed time, 0:00:45 cpu time, factor 1.80
ML timing:
23.766s elapsed time, 43.733s cpu time, 2.866s GC time, factor 1.84
ML stack maximum:
11 MiB
ML stack average:
9.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

HOL-Quotient_Examples

data:
CSV
timing:
0:00:25 elapsed time, 0:00:34 cpu time, factor 1.36
ML timing:
23.637s elapsed time, 32.367s cpu time, 3.387s GC time, factor 1.37
ML stack maximum:
3.4 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

Tutorial

data:
CSV
timing:
0:00:23 elapsed time, 0:00:40 cpu time, factor 1.74
ML timing:
21.799s elapsed time, 38.961s cpu time, 4.358s GC time, factor 1.79
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:
86a7ec064208

HOL-Hoare

data:
CSV
timing:
0:00:23 elapsed time, 0:00:42 cpu time, factor 1.83
ML timing:
21.898s elapsed time, 41.225s cpu time, 1.178s GC time, factor 1.88
ML stack maximum:
2 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

HOLCF

data:
CSV
timing:
0:00:22 elapsed time, 0:00:38 cpu time, factor 1.73
ML timing:
14.340s elapsed time, 28.674s cpu time, 2.587s GC time, factor 2.00
ML stack maximum:
5.4 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
973.4 MiB
ML heap stored:
19.4 MiB
Isabelle version:
86a7ec064208

ZF-Constructible

data:
CSV
timing:
0:00:22 elapsed time, 0:00:20 cpu time, factor 0.91
ML timing:
10.021s elapsed time, 19.489s cpu time, 3.372s GC time, factor 1.94
ML stack maximum:
4.9 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.6 GiB
ML heap average:
724 MiB
Isabelle version:
86a7ec064208

Isar_Ref

data:
CSV
timing:
0:00:22 elapsed time, 0:00:28 cpu time, factor 1.27
ML timing:
20.736s elapsed time, 26.699s cpu time, 2.298s GC time, factor 1.29
ML stack maximum:
8.9 MiB
ML stack average:
7.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

HOL-Cardinals

data:
CSV
timing:
0:00:19 elapsed time, 0:00:34 cpu time, factor 1.79
ML timing:
18.217s elapsed time, 33.026s cpu time, 1.143s GC time, factor 1.81
ML stack maximum:
7.5 MiB
ML stack average:
6.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

IOA

data:
CSV
timing:
0:00:19 elapsed time, 0:00:31 cpu time, factor 1.63
ML timing:
11.172s elapsed time, 21.492s cpu time, 0.944s GC time, factor 1.92
ML stack maximum:
2.5 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
907.2 MiB
ML heap stored:
6.7 MiB
Isabelle version:
86a7ec064208

HOLCF-Library

data:
CSV
timing:
0:00:18 elapsed time, 0:00:29 cpu time, factor 1.61
ML timing:
10.962s elapsed time, 21.211s cpu time, 0.861s GC time, factor 1.93
ML stack maximum:
4 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
920.7 MiB
ML heap stored:
9.7 MiB
Isabelle version:
86a7ec064208

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:18 elapsed time, 0:00:30 cpu time, factor 1.67
ML timing:
11.181s elapsed time, 21.435s cpu time, 1.661s GC time, factor 1.92
ML stack maximum:
3.5 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.6 GiB
ML heap average:
879.5 MiB
ML heap stored:
10.1 MiB
Isabelle version:
86a7ec064208

Pure

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0.587s elapsed time, 0.625s cpu time, 0.025s GC time, factor 1.06
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.7 MiB
ML heap stored:
24 MiB
Isabelle version:
86a7ec064208

HOL-Induct

data:
CSV
timing:
0:00:16 elapsed time, 0:00:27 cpu time, factor 1.69
ML timing:
14.617s elapsed time, 25.215s cpu time, 3.148s GC time, factor 1.73
ML stack maximum:
2.4 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-Nominal

data:
CSV
timing:
0:00:16 elapsed time, 0:00:27 cpu time, factor 1.69
ML timing:
9.844s elapsed time, 19.067s cpu time, 1.643s GC time, factor 1.94
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
5.5 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
890 MiB
ML heap stored:
9.4 MiB
Isabelle version:
86a7ec064208

System

data:
CSV
timing:
0:00:15 elapsed time
ML timing:
15.353s elapsed time, 1.312s cpu time, 0.000s GC time, factor 0.09
ML stack maximum:
3.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
631 MiB
ML heap average:
422 MiB
Isabelle version:
86a7ec064208

HOL-ZF

data:
CSV
timing:
0:00:14 elapsed time, 0:00:25 cpu time, factor 1.79
ML timing:
12.986s elapsed time, 23.928s cpu time, 1.954s GC time, factor 1.84
ML stack maximum:
10 MiB
ML stack average:
8.6 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

Typeclass_Hierarchy

data:
CSV
timing:
0:00:13 elapsed time, 0:00:20 cpu time, factor 1.54
ML timing:
11.759s elapsed time, 19.213s cpu time, 1.523s GC time, factor 1.63
ML stack maximum:
9.7 MiB
ML stack average:
8 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

ZF-UNITY

data:
CSV
timing:
0:00:13 elapsed time, 0:00:19 cpu time, factor 1.46
ML timing:
9.990s elapsed time, 18.795s cpu time, 1.599s GC time, factor 1.88
ML stack maximum:
2.8 MiB
ML stack average:
2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1 GiB
Isabelle version:
86a7ec064208

HOL-SPARK-Examples

data:
CSV
timing:
0:00:13 elapsed time, 0:00:22 cpu time, factor 1.69
ML timing:
12.426s elapsed time, 20.946s cpu time, 0.319s GC time, factor 1.69
ML stack maximum:
4.9 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

CCL

data:
CSV
timing:
0:00:13 elapsed time, 0:00:06 cpu time, factor 0.46
ML timing:
4.615s elapsed time, 6.009s cpu time, 0.503s GC time, factor 1.30
ML code maximum:
1.6 MiB
ML code average:
1.4 MiB
ML stack maximum:
4.4 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
483.8 MiB
Isabelle version:
86a7ec064208

HOL-Types_To_Sets

data:
CSV
timing:
0:00:12 elapsed time, 0:00:18 cpu time, factor 1.50
ML timing:
10.626s elapsed time, 16.868s cpu time, 0.577s GC time, factor 1.59
ML stack maximum:
3.6 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-Statespace

data:
CSV
timing:
0:00:12 elapsed time, 0:00:14 cpu time, factor 1.17
ML timing:
10.554s elapsed time, 12.710s cpu time, 0.464s GC time, factor 1.20
ML stack maximum:
3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-Import

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
10.954s elapsed time, 11.619s cpu time, 0.348s GC time, factor 1.06
ML stack maximum:
64.9 MiB
ML stack average:
56.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-Hahn_Banach

data:
CSV
timing:
0:00:11 elapsed time, 0:00:17 cpu time, factor 1.55
ML timing:
10.139s elapsed time, 16.555s cpu time, 0.816s GC time, factor 1.63
ML stack maximum:
3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

Tools

data:
CSV
timing:
0:00:10 elapsed time, 0:00:04 cpu time, factor 0.40
ML timing:
3.447s elapsed time, 3.641s cpu time, 0.120s GC time, factor 1.06
ML code maximum:
1.9 MiB
ML code average:
1.6 MiB
ML stack maximum:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
428.7 MiB
Isabelle version:
86a7ec064208

HOL-TLA-Memory

data:
CSV
timing:
0:00:10 elapsed time, 0:00:18 cpu time, factor 1.80
ML timing:
9.263s elapsed time, 16.904s cpu time, 0.361s GC time, factor 1.82
ML stack maximum:
3 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-Probability-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:15 cpu time, factor 1.50
ML timing:
7.750s elapsed time, 13.046s cpu time, 0.406s GC time, factor 1.68
ML stack maximum:
2.5 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

ZF-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
5.639s elapsed time, 8.829s cpu time, 0.516s GC time, factor 1.57
ML stack maximum:
6.6 MiB
ML stack average:
4.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
923.7 MiB
Isabelle version:
86a7ec064208

HOLCF-Tutorial

data:
CSV
timing:
0:00:09 elapsed time, 0:00:12 cpu time, factor 1.33
ML timing:
7.944s elapsed time, 11.036s cpu time, 0.274s GC time, factor 1.39
ML heap maximum:
1.4 GiB
ML heap average:
1.2 GiB
Isabelle version:
86a7ec064208

Implementation

data:
CSV
timing:
0:00:08 elapsed time, 0:00:05 cpu time, factor 0.63
ML timing:
7.360s elapsed time, 4.024s cpu time, 0.052s GC time, factor 0.55
ML stack maximum:
7.4 MiB
ML stack average:
5.9 MiB
ML heap maximum:
1.1 GiB
ML heap average:
833.9 MiB
Isabelle version:
86a7ec064208

HOL-Unix

data:
CSV
timing:
0:00:08 elapsed time, 0:00:13 cpu time, factor 1.63
ML timing:
7.022s elapsed time, 12.410s cpu time, 0.750s GC time, factor 1.77
ML stack maximum:
3.3 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
86a7ec064208

ZF-Induct

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.557s elapsed time, 6.481s cpu time, 0.298s GC time, factor 0.99
ML stack maximum:
3 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
4.1 MiB
Isabelle version:
86a7ec064208

FOL-ex

data:
CSV
timing:
0:00:07 elapsed time, 0:00:08 cpu time, factor 1.14
ML timing:
5.656s elapsed time, 8.018s cpu time, 0.303s GC time, factor 1.42
ML stack maximum:
4.4 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
86a7ec064208

HOL-Eisbach

data:
CSV
timing:
0:00:07 elapsed time, 0:00:12 cpu time, factor 1.71
ML timing:
6.266s elapsed time, 11.344s cpu time, 0.656s GC time, factor 1.81
ML code maximum:
1.9 MiB
ML code average:
1.4 MiB
ML stack maximum:
3.3 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

FOL

data:
CSV
timing:
0:00:07 elapsed time, 0:00:04 cpu time, factor 0.57
ML timing:
3.029s elapsed time, 3.297s cpu time, 0.113s GC time, factor 1.09
ML code maximum:
1.4 MiB
ML code average:
1.1 MiB
ML stack maximum:
2.4 MiB
ML heap maximum:
1.4 GiB
ML heap average:
451.8 MiB
ML heap stored:
3.7 MiB
Isabelle version:
86a7ec064208

HOL-Isar_Examples

data:
CSV
timing:
0:00:07 elapsed time, 0:00:10 cpu time, factor 1.43
ML timing:
5.566s elapsed time, 9.022s cpu time, 0.376s GC time, factor 1.62
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:
86a7ec064208

LCF

data:
CSV
timing:
0:00:07 elapsed time, 0:00:04 cpu time, factor 0.57
ML timing:
3.335s elapsed time, 3.662s cpu time, 0.102s 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.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
558 MiB
Isabelle version:
86a7ec064208

IOA-NTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
5.448s elapsed time, 9.687s cpu time, 0.437s GC time, factor 1.78
ML stack maximum:
1.2 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-NanoJava

data:
CSV
timing:
0:00:06 elapsed time, 0:00:09 cpu time, factor 1.50
ML timing:
4.551s elapsed time, 8.224s cpu time, 0.390s GC time, factor 1.81
ML stack maximum:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
86a7ec064208

HOL-TLA

data:
CSV
timing:
0:00:06 elapsed time, 0:00:08 cpu time, factor 1.33
ML timing:
1.645s elapsed time, 2.551s cpu time, 0.070s GC time, factor 1.55
ML stack maximum:
3.1 MiB
ML heap maximum:
787 MiB
ML heap average:
178.5 MiB
ML heap stored:
3 MiB
Isabelle version:
86a7ec064208

IOA-ABP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:09 cpu time, factor 1.50
ML timing:
4.341s elapsed time, 7.970s cpu time, 0.319s GC time, factor 1.84
ML stack maximum:
1.9 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.2 GiB
Isabelle version:
86a7ec064208

HOL-TPTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
4.820s elapsed time, 5.894s cpu time, 0.296s GC time, factor 1.22
ML code maximum:
4 MiB
ML code average:
2.8 MiB
ML stack maximum:
28.8 MiB
ML stack average:
17.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

ZF-AC

data:
CSV
timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.17
ML timing:
3.591s elapsed time, 6.599s cpu time, 0.434s GC time, factor 1.84
ML stack maximum:
2.9 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.4 GiB
ML heap average:
811.2 MiB
Isabelle version:
86a7ec064208

Prog_Prove

data:
CSV
timing:
0:00:05 elapsed time, 0:00:09 cpu time, factor 1.80
ML timing:
4.173s elapsed time, 8.039s cpu time, 0.608s GC time, factor 1.93
ML stack maximum:
3.9 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

HOLCF-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:09 cpu time, factor 1.80
ML timing:
4.044s elapsed time, 7.891s cpu time, 0.438s GC time, factor 1.95
ML stack maximum:
2.8 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

HOL-IMPP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
3.659s elapsed time, 5.926s cpu time, 0.258s GC time, factor 1.62
ML stack maximum:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
86a7ec064208

HOLCF-IMP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.60
ML timing:
4.282s elapsed time, 7.369s cpu time, 0.285s GC time, factor 1.72
ML stack maximum:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

HOL-SPARK-Manual

data:
CSV
timing:
0:00:04 elapsed time, 0:00:07 cpu time, factor 1.75
ML timing:
3.398s elapsed time, 5.937s cpu time, 0.095s GC time, factor 1.75
ML stack maximum:
2.1 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
86a7ec064208

HOL-Proofs-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.036s elapsed time, 4.715s cpu time, 0.867s GC time, factor 1.55
ML stack maximum:
6.9 MiB
ML stack average:
5.1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1023.3 MiB
Isabelle version:
86a7ec064208

HOLCF-FOCUS

data:
CSV
timing:
0:00:04 elapsed time, 0:00:07 cpu time, factor 1.75
ML timing:
3.563s elapsed time, 6.888s cpu time, 0.237s GC time, factor 1.93
ML stack maximum:
2.4 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
86a7ec064208

HOL-IOA

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
2.741s elapsed time, 3.669s cpu time, 0.060s GC time, factor 1.34
ML heap maximum:
1.3 GiB
ML heap average:
927.2 MiB
Isabelle version:
86a7ec064208

FOLP-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
3.000s elapsed time, 5.208s cpu time, 0.131s GC time, factor 1.74
ML code maximum:
1.3 MiB
ML stack maximum:
1.8 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
941.8 MiB
Isabelle version:
86a7ec064208

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.088s elapsed time, 2.730s cpu time, 0.063s GC time, factor 1.31
ML heap maximum:
1.2 GiB
ML heap average:
591.1 MiB
Isabelle version:
86a7ec064208

HOL-Mutabelle

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.739s elapsed time, 1.914s cpu time, 0.186s GC time, factor 1.10
ML stack maximum:
8.6 MiB
ML stack average:
6.4 MiB
ML heap maximum:
774 MiB
ML heap average:
447.2 MiB
Isabelle version:
86a7ec064208

ZF-IMP

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.041s elapsed time, 1.199s cpu time, 0.000s GC time, factor 1.15
ML heap maximum:
700 MiB
ML heap average:
549.2 MiB
Isabelle version:
86a7ec064208

Sequents

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.176s elapsed time, 4.234s cpu time, 0.136s GC time, factor 1.95
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
884.4 MiB
Isabelle version:
86a7ec064208

HOL-TLA-Inc

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.180s elapsed time, 3.764s cpu time, 0.046s GC time, factor 1.73
ML stack maximum:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
828.1 MiB
Isabelle version:
86a7ec064208

JEdit

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.669s elapsed time, 0.846s cpu time, 0.000s GC time, factor 0.32
ML stack maximum:
4.6 MiB
ML stack average:
3.8 MiB
ML heap maximum:
398 MiB
ML heap average:
276.1 MiB
Isabelle version:
86a7ec064208

HOL-Lattice

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.334s elapsed time, 3.079s cpu time, 0.079s GC time, factor 1.32
ML stack maximum:
1.5 MiB
ML heap maximum:
886 MiB
ML heap average:
696.3 MiB
Isabelle version:
86a7ec064208

Functions

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.445s elapsed time, 3.208s cpu time, 0.057s GC time, factor 1.31
ML stack maximum:
2.9 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.2 GiB
ML heap average:
834.8 MiB
Isabelle version:
86a7ec064208

Eisbach

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
1.979s elapsed time, 2.366s cpu time, 0.107s GC time, factor 1.20
ML stack maximum:
3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
768 MiB
ML heap average:
653.5 MiB
Isabelle version:
86a7ec064208

Pure-Examples

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.624s elapsed time, 0.470s cpu time, 0.000s GC time, factor 0.18
ML heap maximum:
227 MiB
ML heap average:
226.8 MiB
Isabelle version:
86a7ec064208

Sugar

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.920s elapsed time, 1.092s cpu time, 0.000s GC time, factor 1.19
ML heap maximum:
540 MiB
ML heap average:
433.5 MiB
Isabelle version:
86a7ec064208

ZF-Resid

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.365s elapsed time, 2.182s cpu time, 0.042s GC time, factor 1.60
ML heap maximum:
928 MiB
ML heap average:
717.2 MiB
Isabelle version:
86a7ec064208

HOL-TLA-Buffer

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.725s elapsed time, 1.183s cpu time, 0.000s GC time, factor 1.63
ML heap maximum:
515 MiB
ML heap average:
305.4 MiB
Isabelle version:
86a7ec064208

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.434s elapsed time, 1.848s cpu time, 0.045s GC time, factor 1.29
ML stack maximum:
1.9 MiB
ML stack average:
1.4 MiB
ML heap maximum:
759 MiB
ML heap average:
535 MiB
Isabelle version:
86a7ec064208

IOA-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.869s elapsed time, 1.636s cpu time, 0.000s GC time, factor 1.88
ML heap maximum:
712 MiB
ML heap average:
596.6 MiB
Isabelle version:
86a7ec064208

FOLP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.348s elapsed time, 1.417s cpu time, 0.041s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML heap maximum:
674 MiB
ML heap average:
461.9 MiB
ML heap stored:
1.5 MiB
Isabelle version:
86a7ec064208

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.393s elapsed time, 1.970s cpu time, 0.051s GC time, factor 1.41
ML heap maximum:
759 MiB
ML heap average:
626.8 MiB
Isabelle version:
86a7ec064208

Locales

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.751s elapsed time, 2.182s cpu time, 0.078s GC time, factor 1.25
ML stack maximum:
1.6 MiB
ML stack average:
1.3 MiB
ML heap maximum:
762 MiB
ML heap average:
503.4 MiB
Isabelle version:
86a7ec064208

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.646s elapsed time, 2.360s cpu time, 0.058s GC time, factor 1.43
ML heap maximum:
758 MiB
ML heap average:
396.5 MiB
Isabelle version:
86a7ec064208

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.677s elapsed time, 1.320s cpu time, 0.039s GC time, factor 1.95
ML heap maximum:
647 MiB
ML heap average:
325.5 MiB
Isabelle version:
86a7ec064208

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.873s elapsed time, 0.632s cpu time, 0.000s GC time, factor 0.72
ML stack maximum:
1.1 MiB
ML heap maximum:
407 MiB
ML heap average:
344.5 MiB
Isabelle version:
86a7ec064208

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.315s elapsed time, 0.491s cpu time, 0.000s GC time, factor 1.56
ML heap maximum:
61 MiB
ML heap average:
42 MiB
Isabelle version:
86a7ec064208

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.982s elapsed time, 1.403s cpu time, 0.084s GC time, factor 1.43
ML stack maximum:
1.3 MiB
ML heap maximum:
769 MiB
ML heap average:
410.1 MiB
Isabelle version:
86a7ec064208

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.161s elapsed time, 0.226s cpu time, 0.000s GC time, factor 1.40
ML heap maximum:
51 MiB
ML heap average:
51 MiB
Isabelle version:
86a7ec064208

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.159s elapsed time, 0.224s cpu time, 0.000s GC time, factor 1.41
ML heap maximum:
69 MiB
ML heap average:
69 MiB
Isabelle version:
86a7ec064208

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.166s elapsed time, 0.222s cpu time, 0.000s GC time, factor 1.34
ML heap maximum:
58 MiB
ML heap average:
58 MiB
Isabelle version:
86a7ec064208

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.424s elapsed time, 0.601s cpu time, 0.000s GC time, factor 1.42
ML heap maximum:
330 MiB
ML heap average:
330 MiB
Isabelle version:
86a7ec064208

Pure-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.928s elapsed time, 0.578s cpu time, 0.000s GC time, factor 0.62
ML stack maximum:
1.1 MiB
ML heap maximum:
349 MiB
ML heap average:
335.5 MiB
Isabelle version:
86a7ec064208

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.168s elapsed time, 0.226s cpu time, 0.000s GC time, factor 1.35
ML heap maximum:
70 MiB
ML heap average:
70 MiB
Isabelle version:
86a7ec064208

Haskell

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.478s elapsed time, 0.576s cpu time, 0.000s GC time, factor 1.21
ML stack maximum:
4.4 MiB
ML heap maximum:
346 MiB
ML heap average:
346 MiB
Isabelle version:
86a7ec064208

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.800s elapsed time, 0.912s cpu time, 0.000s GC time, factor 1.14
ML stack maximum:
2.4 MiB
ML stack average:
1.4 MiB
ML heap maximum:
382 MiB
ML heap average:
206.5 MiB
Isabelle version:
86a7ec064208

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.158s elapsed time, 0.205s cpu time, 0.000s GC time, factor 1.30
ML heap maximum:
67 MiB
ML heap average:
67 MiB
Isabelle version:
86a7ec064208

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.334s elapsed time, 0.527s cpu time, 0.000s GC time, factor 1.58
ML heap maximum:
222 MiB
ML heap average:
222 MiB
Isabelle version:
86a7ec064208

Logics

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
86a7ec064208

SML

data:
CSV
ML timing:
0.014s elapsed time, 0.019s cpu time, 0.000s GC time, factor 1.36
ML heap maximum:
24 MiB
ML heap average:
24 MiB
Isabelle version:
86a7ec064208

Sledgehammer

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
86a7ec064208

Nitpick

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
86a7ec064208

Cube

data:
CSV
ML timing:
0.353s elapsed time, 0.382s cpu time, 0.000s GC time, factor 1.08
ML heap maximum:
226 MiB
ML heap average:
226 MiB
Isabelle version:
86a7ec064208

Intro

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
86a7ec064208