Isabelle build status for macOS 12 Monterey (Intel), 2 threads

status date:
24-Aug-2026 13:47:21 +0200
build host:
mini1-monterey

HOL-Analysis

data:
CSV
timing:
0:19:19 elapsed time, 0:32:45 cpu time, factor 1.70
ML timing:
1085.665s elapsed time, 1853.400s cpu time, 95.682s GC time, factor 1.71
ML code maximum:
3.7 MiB
ML code average:
3.6 MiB
ML stack maximum:
46.3 MiB
ML stack average:
39.3 MiB
ML heap maximum:
9.6 GiB
ML heap average:
8.3 GiB
ML heap stored:
373 MiB
Isabelle version:
e0ed6e339365

HOL-Proofs

data:
CSV
timing:
0:07:40 elapsed time, 0:11:47 cpu time, factor 1.54
ML timing:
348.045s elapsed time, 531.548s cpu time, 84.146s GC time, factor 1.53
ML code maximum:
28.1 MiB
ML code average:
21.1 MiB
ML stack maximum:
60.3 MiB
ML stack average:
33.5 MiB
ML heap maximum:
12.1 GiB
ML heap average:
5.8 GiB
ML heap stored:
585.6 MiB
Isabelle version:
e0ed6e339365

HOL-Nominal-Examples

data:
CSV
timing:
0:07:04 elapsed time, 0:12:41 cpu time, factor 1.79
ML timing:
419.398s elapsed time, 753.135s cpu time, 53.731s GC time, factor 1.80
ML stack maximum:
41.8 MiB
ML stack average:
36.4 MiB
ML heap maximum:
6.6 GiB
ML heap average:
5.7 GiB
Isabelle version:
e0ed6e339365

HOL-Decision_Procs

data:
CSV
timing:
0:06:22 elapsed time, 0:12:03 cpu time, factor 1.89
ML timing:
379.212s elapsed time, 718.519s cpu time, 50.422s GC time, factor 1.89
ML code maximum:
4.7 MiB
ML code average:
2.1 MiB
ML stack maximum:
72.8 MiB
ML stack average:
34.2 MiB
ML heap maximum:
15.6 GiB
ML heap average:
11 GiB
Isabelle version:
e0ed6e339365

HOL-Algebra

data:
CSV
timing:
0:04:13 elapsed time, 0:08:02 cpu time, factor 1.91
ML timing:
232.582s elapsed time, 452.188s cpu time, 100.988s GC time, factor 1.94
ML stack maximum:
7.6 MiB
ML stack average:
6.1 MiB
ML heap maximum:
4.8 GiB
ML heap average:
3.4 GiB
ML heap stored:
89.3 MiB
Isabelle version:
e0ed6e339365

HOL-Auth

data:
CSV
timing:
0:02:27 elapsed time, 0:03:54 cpu time, factor 1.59
ML timing:
141.083s elapsed time, 225.602s cpu time, 8.241s GC time, factor 1.60
ML stack maximum:
11.3 MiB
ML stack average:
8.7 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.9 GiB
ML heap stored:
44.8 MiB
Isabelle version:
e0ed6e339365

HOL-Homology

data:
CSV
timing:
0:02:14 elapsed time, 0:03:58 cpu time, factor 1.78
ML timing:
131.764s elapsed time, 234.605s cpu time, 23.678s GC time, factor 1.78
ML stack maximum:
17.9 MiB
ML stack average:
15 MiB
ML heap maximum:
3.6 GiB
ML heap average:
2.8 GiB
Isabelle version:
e0ed6e339365

HOL-MicroJava

data:
CSV
timing:
0:02:06 elapsed time, 0:03:42 cpu time, factor 1.76
ML timing:
124.498s elapsed time, 220.423s cpu time, 9.961s GC time, factor 1.77
ML code maximum:
1.3 MiB
ML stack maximum:
8.9 MiB
ML stack average:
6.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
e0ed6e339365

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:53 elapsed time, 0:02:07 cpu time, factor 1.12
ML timing:
111.640s elapsed time, 125.463s cpu time, 7.930s GC time, factor 1.12
ML code maximum:
5.3 MiB
ML code average:
2 MiB
ML stack maximum:
14 MiB
ML stack average:
10.9 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
e0ed6e339365

HOL-IMP

data:
CSV
timing:
0:01:50 elapsed time, 0:03:06 cpu time, factor 1.69
ML timing:
108.544s elapsed time, 183.550s cpu time, 9.695s GC time, factor 1.69
ML code maximum:
10.9 MiB
ML code average:
4.1 MiB
ML stack maximum:
12.4 MiB
ML stack average:
3.7 MiB
ML heap maximum:
3 GiB
ML heap average:
2.6 GiB
Isabelle version:
e0ed6e339365

Codegen

data:
CSV
timing:
0:01:49 elapsed time, 0:03:30 cpu time, factor 1.93
ML timing:
107.720s elapsed time, 207.837s cpu time, 9.238s GC time, factor 1.93
ML stack maximum:
11.6 MiB
ML stack average:
10.3 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.6 GiB
Isabelle version:
e0ed6e339365

HOL-Computational_Algebra

data:
CSV
timing:
0:01:46 elapsed time, 0:03:14 cpu time, factor 1.83
ML timing:
95.541s elapsed time, 179.154s cpu time, 8.942s GC time, factor 1.88
ML stack maximum:
22.3 MiB
ML stack average:
15 MiB
ML heap maximum:
3 GiB
ML heap average:
2.1 GiB
ML heap stored:
58.4 MiB
Isabelle version:
e0ed6e339365

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:45 elapsed time, 0:02:37 cpu time, factor 1.50
ML timing:
102.597s elapsed time, 153.546s cpu time, 10.651s GC time, factor 1.50
ML stack maximum:
13.3 MiB
ML stack average:
11.8 MiB
ML heap maximum:
3 GiB
ML heap average:
2.6 GiB
Isabelle version:
e0ed6e339365

HOL-Hoare_Parallel

data:
CSV
timing:
0:01:43 elapsed time, 0:03:13 cpu time, factor 1.87
ML timing:
102.041s elapsed time, 191.215s cpu time, 4.847s GC time, factor 1.87
ML stack maximum:
6.8 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
e0ed6e339365

HOL-Complex_Analysis

data:
CSV
timing:
0:01:39 elapsed time, 0:02:50 cpu time, factor 1.72
ML timing:
97.020s elapsed time, 168.225s cpu time, 4.918s GC time, factor 1.73
ML stack maximum:
17.9 MiB
ML stack average:
16.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
e0ed6e339365

HOL-Examples

data:
CSV
timing:
0:01:39 elapsed time, 0:03:03 cpu time, factor 1.85
ML timing:
96.737s elapsed time, 180.100s cpu time, 12.906s GC time, factor 1.86
ML stack maximum:
14.3 MiB
ML stack average:
11.1 MiB
ML heap maximum:
3.6 GiB
ML heap average:
2.7 GiB
Isabelle version:
e0ed6e339365

HOL-Number_Theory

data:
CSV
timing:
0:01:35 elapsed time, 0:02:49 cpu time, factor 1.78
ML timing:
93.089s elapsed time, 166.760s cpu time, 15.889s GC time, factor 1.79
ML stack maximum:
7.9 MiB
ML stack average:
7.1 MiB
ML heap maximum:
3.5 GiB
ML heap average:
2.8 GiB
Isabelle version:
e0ed6e339365

HOL-Bali

data:
CSV
timing:
0:01:31 elapsed time, 0:02:44 cpu time, factor 1.80
ML timing:
89.526s elapsed time, 161.348s cpu time, 6.850s GC time, factor 1.80
ML stack maximum:
13.8 MiB
ML stack average:
9.3 MiB
ML heap maximum:
3.1 GiB
ML heap average:
2.6 GiB
Isabelle version:
e0ed6e339365

HOL-Record_Benchmark

data:
CSV
timing:
0:01:30 elapsed time, 0:02:08 cpu time, factor 1.42
ML timing:
88.142s elapsed time, 126.118s cpu time, 8.208s GC time, factor 1.43
ML stack maximum:
3.9 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:22 elapsed time, 0:01:30 cpu time, factor 1.10
ML timing:
80.875s elapsed time, 88.680s cpu time, 3.227s GC time, factor 1.10
ML stack maximum:
3.9 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
e0ed6e339365

HOL-SMT_Examples

data:
CSV
timing:
0:01:02 elapsed time, 0:01:53 cpu time, factor 1.82
ML timing:
61.123s elapsed time, 111.897s cpu time, 2.244s GC time, factor 1.83
ML stack maximum:
10.5 MiB
ML stack average:
9.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-UNITY

data:
CSV
timing:
0:00:54 elapsed time, 0:01:28 cpu time, factor 1.63
ML timing:
52.872s elapsed time, 87.026s cpu time, 5.618s GC time, factor 1.65
ML stack maximum:
10.5 MiB
ML stack average:
9.8 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
e0ed6e339365

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:52 elapsed time, 0:01:11 cpu time, factor 1.37
ML timing:
50.568s elapsed time, 70.123s cpu time, 1.262s GC time, factor 1.39
ML stack maximum:
5.6 MiB
ML stack average:
4.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-SET_Protocol

data:
CSV
timing:
0:00:49 elapsed time, 0:01:17 cpu time, factor 1.57
ML timing:
47.971s elapsed time, 76.844s cpu time, 0.970s GC time, factor 1.60
ML stack maximum:
5.1 MiB
ML stack average:
4.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

Datatypes

data:
CSV
timing:
0:00:46 elapsed time, 0:01:10 cpu time, factor 1.52
ML timing:
31.346s elapsed time, 49.887s cpu time, 2.700s GC time, factor 1.59
ML stack maximum:
6 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
100.5 MiB
Isabelle version:
e0ed6e339365

Corec

data:
CSV
timing:
0:00:43 elapsed time, 0:00:59 cpu time, factor 1.37
ML timing:
41.101s elapsed time, 57.181s cpu time, 4.844s GC time, factor 1.39
ML code maximum:
2.2 MiB
ML code average:
2.1 MiB
ML stack maximum:
8.6 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-Metis_Examples

data:
CSV
timing:
0:00:35 elapsed time, 0:00:52 cpu time, factor 1.49
ML timing:
33.769s elapsed time, 51.538s cpu time, 5.010s GC time, factor 1.53
ML stack maximum:
5.4 MiB
ML stack average:
4.2 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-Analysis-ex

data:
CSV
timing:
0:00:30 elapsed time, 0:00:36 cpu time, factor 1.20
ML timing:
28.570s elapsed time, 35.162s cpu time, 0.260s GC time, factor 1.23
ML stack maximum:
3.5 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-Matrix_LP

data:
CSV
timing:
0:00:26 elapsed time, 0:00:43 cpu time, factor 1.65
ML timing:
25.417s elapsed time, 42.409s cpu time, 1.052s GC time, factor 1.67
ML code maximum:
1 MiB
ML stack maximum:
4 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-Combinatorics

data:
CSV
timing:
0:00:24 elapsed time, 0:00:42 cpu time, factor 1.75
ML timing:
23.061s elapsed time, 41.354s cpu time, 1.369s GC time, factor 1.79
ML stack maximum:
10.8 MiB
ML stack average:
9.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-SPARK

data:
CSV
timing:
0:00:23 elapsed time, 0:00:39 cpu time, factor 1.70
ML timing:
17.897s elapsed time, 32.208s cpu time, 0.994s GC time, factor 1.80
ML stack maximum:
9.5 MiB
ML stack average:
6.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
20.9 MiB
Isabelle version:
e0ed6e339365

HOL-Hoare

data:
CSV
timing:
0:00:23 elapsed time, 0:00:42 cpu time, factor 1.83
ML timing:
22.434s elapsed time, 41.676s cpu time, 0.932s GC time, factor 1.86
ML stack maximum:
2.6 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

Tutorial

data:
CSV
timing:
0:00:21 elapsed time, 0:00:39 cpu time, factor 1.86
ML timing:
20.206s elapsed time, 37.741s cpu time, 3.595s GC time, factor 1.87
ML stack maximum:
3.9 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
e0ed6e339365

HOLCF

data:
CSV
timing:
0:00:20 elapsed time, 0:00:35 cpu time, factor 1.75
ML timing:
13.704s elapsed time, 27.643s cpu time, 2.062s GC time, factor 2.02
ML stack maximum:
4.9 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.1 GiB
ML heap stored:
27.2 MiB
Isabelle version:
e0ed6e339365

HOL-Cardinals

data:
CSV
timing:
0:00:20 elapsed time, 0:00:35 cpu time, factor 1.75
ML timing:
18.744s elapsed time, 33.693s cpu time, 0.837s GC time, factor 1.80
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:
e0ed6e339365

ZF

data:
CSV
timing:
0:00:18 elapsed time, 0:00:29 cpu time, factor 1.61
ML timing:
16.724s elapsed time, 28.198s cpu time, 2.580s GC time, factor 1.69
ML code maximum:
1.8 MiB
ML code average:
1.6 MiB
ML stack maximum:
6.8 MiB
ML stack average:
5.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
ML heap stored:
20.2 MiB
Isabelle version:
e0ed6e339365

HOLCF-Library

data:
CSV
timing:
0:00:17 elapsed time, 0:00:28 cpu time, factor 1.65
ML timing:
11.526s elapsed time, 21.333s cpu time, 0.627s GC time, factor 1.85
ML stack maximum:
3.7 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
14.3 MiB
Isabelle version:
e0ed6e339365

IOA

data:
CSV
timing:
0:00:17 elapsed time, 0:00:28 cpu time, factor 1.65
ML timing:
11.337s elapsed time, 21.257s cpu time, 0.742s GC time, factor 1.88
ML stack maximum:
2.9 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1016.9 MiB
ML heap stored:
10.4 MiB
Isabelle version:
e0ed6e339365

Pure

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0.786s elapsed time, 0.831s cpu time, 0.000s GC time, factor 1.06
ML code maximum:
17.9 MiB
ML code average:
17.9 MiB
ML stack maximum:
2 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
729.9 MiB
ML heap stored:
27.5 MiB
Isabelle version:
604295839268

HOL-Statespace

data:
CSV
timing:
0:00:15 elapsed time, 0:00:17 cpu time, factor 1.13
ML timing:
14.079s elapsed time, 15.968s cpu time, 0.357s GC time, factor 1.13
ML stack maximum:
2.4 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:15 elapsed time, 0:00:25 cpu time, factor 1.67
ML timing:
9.889s elapsed time, 18.763s cpu time, 0.637s GC time, factor 1.90
ML stack maximum:
3.9 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
998.9 MiB
ML heap stored:
14.9 MiB
Isabelle version:
e0ed6e339365

Isar_Ref

data:
CSV
timing:
0:00:15 elapsed time, 0:00:27 cpu time, factor 1.80
ML timing:
13.950s elapsed time, 25.972s cpu time, 1.888s GC time, factor 1.86
ML stack maximum:
8.9 MiB
ML stack average:
7.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-Nominal

data:
CSV
timing:
0:00:14 elapsed time, 0:00:23 cpu time, factor 1.64
ML timing:
8.847s elapsed time, 17.069s cpu time, 0.651s GC time, factor 1.93
ML code maximum:
1.8 MiB
ML code average:
1.3 MiB
ML stack maximum:
5.6 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
988.2 MiB
ML heap stored:
13.5 MiB
Isabelle version:
e0ed6e339365

HOL-SPARK-Examples

data:
CSV
timing:
0:00:14 elapsed time, 0:00:21 cpu time, factor 1.50
ML timing:
12.819s elapsed time, 20.332s cpu time, 0.256s GC time, factor 1.59
ML stack maximum:
5 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-Induct

data:
CSV
timing:
0:00:13 elapsed time, 0:00:25 cpu time, factor 1.92
ML timing:
11.984s elapsed time, 23.921s cpu time, 2.522s GC time, factor 2.00
ML stack maximum:
1.5 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-Types_To_Sets

data:
CSV
timing:
0:00:12 elapsed time, 0:00:19 cpu time, factor 1.58
ML timing:
11.189s elapsed time, 18.541s cpu time, 0.492s GC time, factor 1.66
ML stack maximum:
3.1 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
e0ed6e339365

HOL-ZF

data:
CSV
timing:
0:00:12 elapsed time, 0:00:21 cpu time, factor 1.75
ML timing:
11.397s elapsed time, 20.425s cpu time, 0.864s GC time, factor 1.79
ML stack maximum:
10.1 MiB
ML stack average:
8.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

Typeclass_Hierarchy

data:
CSV
timing:
0:00:11 elapsed time, 0:00:17 cpu time, factor 1.55
ML timing:
9.784s elapsed time, 16.250s cpu time, 0.610s GC time, factor 1.66
ML stack maximum:
9.1 MiB
ML stack average:
7.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
e0ed6e339365

ZF-Constructible

data:
CSV
timing:
0:00:11 elapsed time, 0:00:21 cpu time, factor 1.91
ML timing:
10.389s elapsed time, 20.549s cpu time, 2.834s GC time, factor 1.98
ML stack maximum:
4.9 MiB
ML stack average:
4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

ZF-UNITY

data:
CSV
timing:
0:00:10 elapsed time, 0:00:19 cpu time, factor 1.90
ML timing:
9.956s elapsed time, 18.662s cpu time, 0.561s GC time, factor 1.87
ML stack maximum:
3.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-Import

data:
CSV
timing:
0:00:10 elapsed time, 0:00:11 cpu time, factor 1.10
ML timing:
9.612s elapsed time, 10.182s cpu time, 0.286s GC time, factor 1.06
ML stack maximum:
65 MiB
ML stack average:
58.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
e0ed6e339365

Haskell

data:
CSV
timing:
0:00:10 elapsed time
ML timing:
8.878s elapsed time, 0.449s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.4 MiB
ML stack average:
4.2 MiB
ML heap maximum:
404 MiB
ML heap average:
371.6 MiB
Isabelle version:
e0ed6e339365

HOL-Hahn_Banach

data:
CSV
timing:
0:00:09 elapsed time, 0:00:17 cpu time, factor 1.89
ML timing:
8.418s elapsed time, 16.119s cpu time, 0.531s GC time, factor 1.91
ML stack maximum:
2.6 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

HOL-TLA-Memory

data:
CSV
timing:
0:00:09 elapsed time, 0:00:16 cpu time, factor 1.78
ML timing:
8.712s elapsed time, 15.599s cpu time, 0.248s GC time, factor 1.79
ML stack maximum:
3.4 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
e0ed6e339365

System

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
8.827s elapsed time, 1.432s cpu time, 0.000s GC time, factor 0.16
ML stack maximum:
3.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
681 MiB
ML heap average:
460.8 MiB
Isabelle version:
e0ed6e339365

HOLCF-Tutorial

data:
CSV
timing:
0:00:08 elapsed time, 0:00:11 cpu time, factor 1.38
ML timing:
7.381s elapsed time, 10.022s cpu time, 0.234s GC time, factor 1.36
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
e0ed6e339365

HOL-Unix

data:
CSV
timing:
0:00:07 elapsed time, 0:00:13 cpu time, factor 1.86
ML timing:
6.021s elapsed time, 11.792s cpu time, 0.570s GC time, factor 1.96
ML stack maximum:
3.6 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
e0ed6e339365

ZF-ex

data:
CSV
timing:
0:00:07 elapsed time, 0:00:10 cpu time, factor 1.43
ML timing:
6.549s elapsed time, 9.670s cpu time, 0.311s GC time, factor 1.48
ML stack maximum:
6.6 MiB
ML stack average:
6.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
e0ed6e339365

IOA-NTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:09 cpu time, factor 1.50
ML timing:
4.977s elapsed time, 8.811s cpu time, 0.340s GC time, factor 1.77
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:
e0ed6e339365

HOL-Eisbach

data:
CSV
timing:
0:00:06 elapsed time, 0:00:12 cpu time, factor 2.00
ML timing:
5.684s elapsed time, 11.165s cpu time, 0.297s GC time, factor 1.96
ML code maximum:
1.9 MiB
ML code average:
1.5 MiB
ML stack maximum:
3.9 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
e0ed6e339365

HOL-Isar_Examples

data:
CSV
timing:
0:00:06 elapsed time, 0:00:09 cpu time, factor 1.50
ML timing:
4.473s elapsed time, 8.285s cpu time, 0.238s GC time, factor 1.85
ML stack maximum:
1.5 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
e0ed6e339365

ZF-Induct

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
3.745s elapsed time, 6.515s cpu time, 0.210s GC time, factor 1.74
ML stack maximum:
3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
5.9 MiB
Isabelle version:
e0ed6e339365

HOL-NanoJava

data:
CSV
timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.60
ML timing:
4.377s elapsed time, 7.641s cpu time, 0.310s GC time, factor 1.75
ML stack maximum:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
e0ed6e339365

HOL-TLA

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
1.369s elapsed time, 2.205s cpu time, 0.044s GC time, factor 1.61
ML stack maximum:
2.5 MiB
ML heap maximum:
1 GiB
ML heap average:
272.6 MiB
ML heap stored:
5.2 MiB
Isabelle version:
e0ed6e339365

FOL-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.00
ML timing:
5.273s elapsed time, 9.735s cpu time, 0.278s GC time, factor 1.85
ML stack maximum:
3.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
604295839268

HOLCF-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.60
ML timing:
3.671s elapsed time, 7.165s cpu time, 0.291s GC time, factor 1.95
ML stack maximum:
3.1 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
e0ed6e339365

IOA-ABP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.60
ML timing:
4.042s elapsed time, 7.105s cpu time, 0.217s GC time, factor 1.76
ML stack maximum:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
e0ed6e339365

CCL

data:
CSV
timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20
ML timing:
4.325s elapsed time, 6.056s cpu time, 0.284s GC time, factor 1.40
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
3.8 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
604295839268

HOLCF-IMP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
3.860s elapsed time, 6.653s cpu time, 0.188s GC time, factor 1.72
ML stack maximum:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
e0ed6e339365

HOL-SPARK-Manual

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
2.988s elapsed time, 5.365s cpu time, 0.075s GC time, factor 1.80
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:
e0ed6e339365

Prog_Prove

data:
CSV
timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 2.00
ML timing:
3.457s elapsed time, 6.840s cpu time, 0.403s GC time, factor 1.98
ML stack maximum:
3.4 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
e0ed6e339365

HOL-Proofs-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
2.274s elapsed time, 3.595s cpu time, 0.606s GC time, factor 1.58
ML stack maximum:
6.4 MiB
ML stack average:
4 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1 GiB
Isabelle version:
e0ed6e339365

HOLCF-FOCUS

data:
CSV
timing:
0:00:04 elapsed time, 0:00:07 cpu time, factor 1.75
ML timing:
3.292s elapsed time, 6.330s cpu time, 0.153s GC time, factor 1.92
ML stack maximum:
1.4 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
e0ed6e339365

HOL-IMPP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.221s elapsed time, 5.325s cpu time, 0.214s GC time, factor 1.65
ML stack maximum:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
e0ed6e339365

HOL-TPTP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.138s elapsed time, 4.951s cpu time, 0.214s GC time, factor 1.58
ML code maximum:
4 MiB
ML code average:
2.9 MiB
ML stack maximum:
28.8 MiB
ML stack average:
24.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
e0ed6e339365

ZF-AC

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.584s elapsed time, 6.545s cpu time, 0.264s GC time, factor 1.83
ML stack maximum:
3.1 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
e0ed6e339365

Tools

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.832s elapsed time, 3.012s cpu time, 0.132s GC time, factor 1.06
ML code maximum:
2 MiB
ML code average:
1.2 MiB
ML stack maximum:
2.6 MiB
ML stack average:
2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
e0ed6e339365

HOL-IOA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
1.926s elapsed time, 2.713s cpu time, 0.053s GC time, factor 1.41
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
e0ed6e339365

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
1.656s elapsed time, 2.202s cpu time, 0.039s GC time, factor 1.33
ML heap maximum:
1.3 GiB
ML heap average:
744.3 MiB
Isabelle version:
e0ed6e339365

FOL

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.587s elapsed time, 2.898s cpu time, 0.064s 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:
898.5 MiB
ML heap stored:
4.9 MiB
Isabelle version:
604295839268

Implementation

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.071s elapsed time, 3.381s cpu time, 0.023s GC time, factor 1.63
ML stack maximum:
6.9 MiB
ML stack average:
5.3 MiB
ML heap maximum:
1.3 GiB
ML heap average:
767.8 MiB
Isabelle version:
e0ed6e339365

FOLP-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.580s elapsed time, 4.719s cpu time, 0.048s GC time, factor 1.83
ML code maximum:
1.4 MiB
ML stack maximum:
1.8 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
604295839268

HOL-Lattice

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
1.687s elapsed time, 2.685s cpu time, 0.048s GC time, factor 1.59
ML stack maximum:
1.5 MiB
ML stack average:
1 MiB
ML heap maximum:
984 MiB
ML heap average:
769.2 MiB
Isabelle version:
e0ed6e339365

Functions

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.006s elapsed time, 2.746s cpu time, 0.105s GC time, factor 1.37
ML stack maximum:
3.2 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1023.5 MiB
Isabelle version:
e0ed6e339365

LCF

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.431s elapsed time, 2.745s cpu time, 0.059s GC time, factor 1.13
ML code maximum:
1.4 MiB
ML stack maximum:
2.4 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
e0ed6e339365

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.989s elapsed time, 1.391s cpu time, 0.032s GC time, factor 1.41
ML stack maximum:
1.5 MiB
ML heap maximum:
758 MiB
ML heap average:
614.3 MiB
Isabelle version:
e0ed6e339365

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.180s elapsed time, 1.271s cpu time, 0.075s GC time, factor 1.08
ML stack maximum:
8.6 MiB
ML stack average:
5.8 MiB
ML heap maximum:
770 MiB
ML heap average:
464.9 MiB
Isabelle version:
e0ed6e339365

Sequents

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
2.068s elapsed time, 4.086s cpu time, 0.077s GC time, factor 1.98
ML stack maximum:
1.4 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
e0ed6e339365

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.150s elapsed time, 1.599s cpu time, 0.035s GC time, factor 1.39
ML heap maximum:
760 MiB
ML heap average:
647.5 MiB
Isabelle version:
e0ed6e339365

Locales

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.921s elapsed time, 1.646s cpu time, 0.047s GC time, factor 1.79
ML stack maximum:
1.6 MiB
ML heap maximum:
762 MiB
ML heap average:
751 MiB
Isabelle version:
e0ed6e339365

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.673s elapsed time, 2.866s cpu time, 0.032s GC time, factor 1.71
ML stack maximum:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
795.1 MiB
Isabelle version:
e0ed6e339365

Eisbach

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.469s elapsed time, 1.968s cpu time, 0.060s GC time, factor 1.34
ML stack maximum:
2.8 MiB
ML stack average:
1.6 MiB
ML heap maximum:
919 MiB
ML heap average:
817.3 MiB
Isabelle version:
e0ed6e339365

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.311s elapsed time, 1.858s cpu time, 0.025s GC time, factor 1.42
ML heap maximum:
758 MiB
ML heap average:
615.3 MiB
Isabelle version:
e0ed6e339365

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.726s elapsed time, 0.842s cpu time, 0.000s GC time, factor 1.16
ML stack maximum:
1.6 MiB
ML heap maximum:
439 MiB
ML heap average:
231.1 MiB
Isabelle version:
e0ed6e339365

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.154s elapsed time, 1.949s cpu time, 0.025s GC time, factor 1.69
ML heap maximum:
1 GiB
ML heap average:
597.4 MiB
Isabelle version:
e0ed6e339365

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.526s elapsed time, 1.020s cpu time, 0.026s GC time, factor 1.94
ML heap maximum:
758 MiB
ML heap average:
758 MiB
Isabelle version:
e0ed6e339365

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.545s elapsed time, 0.905s cpu time, 0.000s GC time, factor 1.66
ML stack maximum:
1.2 MiB
ML stack average:
1.2 MiB
ML heap maximum:
718 MiB
ML heap average:
718 MiB
Isabelle version:
e0ed6e339365

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.235s elapsed time, 0.369s cpu time, 0.000s GC time, factor 1.57
ML heap maximum:
58 MiB
ML heap average:
7 MiB
Isabelle version:
e0ed6e339365

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.804s elapsed time, 0.937s cpu time, 0.021s GC time, factor 1.17
ML heap maximum:
587 MiB
ML heap average:
333.3 MiB
Isabelle version:
e0ed6e339365

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.734s elapsed time, 1.094s cpu time, 0.069s GC time, factor 1.49
ML stack maximum:
1.3 MiB
ML heap maximum:
624 MiB
ML heap average:
313.7 MiB
Isabelle version:
604295839268

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.124s elapsed time, 0.164s cpu time, 0.000s GC time, factor 1.32
ML heap maximum:
63 MiB
ML heap average:
63 MiB
Isabelle version:
e0ed6e339365

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.127s elapsed time, 0.165s cpu time, 0.000s GC time, factor 1.30
ML heap maximum:
64 MiB
ML heap average:
64 MiB
Isabelle version:
e0ed6e339365

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.125s elapsed time, 0.162s cpu time, 0.000s GC time, factor 1.30
ML heap maximum:
63 MiB
ML heap average:
63 MiB
Isabelle version:
e0ed6e339365

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.692s elapsed time, 1.314s cpu time, 0.043s GC time, factor 1.90
ML heap maximum:
674 MiB
ML heap average:
340.5 MiB
Isabelle version:
e0ed6e339365

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.296s elapsed time, 0.420s cpu time, 0.000s GC time, factor 1.42
ML heap maximum:
369 MiB
ML heap average:
369 MiB
Isabelle version:
c5131880e0a2

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.996s elapsed time, 1.084s cpu time, 0.066s GC time, factor 1.09
ML stack maximum:
1.3 MiB
ML heap maximum:
768 MiB
ML heap average:
431.1 MiB
ML heap stored:
2.3 MiB
Isabelle version:
604295839268

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.128s elapsed time, 0.165s cpu time, 0.000s GC time, factor 1.29
ML heap maximum:
63 MiB
ML heap average:
63 MiB
Isabelle version:
e0ed6e339365

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.530s elapsed time, 0.576s cpu time, 0.000s GC time, factor 1.09
ML stack maximum:
4.6 MiB
ML stack average:
4.6 MiB
ML heap maximum:
478 MiB
ML heap average:
478 MiB
Isabelle version:
e0ed6e339365

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.566s elapsed time, 0.636s cpu time, 0.000s GC time, factor 1.12
ML stack maximum:
2.4 MiB
ML stack average:
2.4 MiB
ML heap maximum:
568 MiB
ML heap average:
568 MiB
Isabelle version:
e0ed6e339365

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.126s elapsed time, 0.163s cpu time, 0.000s GC time, factor 1.29
ML heap maximum:
65 MiB
ML heap average:
65 MiB
Isabelle version:
e0ed6e339365

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.241s elapsed time, 0.387s cpu time, 0.000s GC time, factor 1.61
ML heap maximum:
66 MiB
ML heap average:
66 MiB
Isabelle version:
e0ed6e339365

HOL-Probability

data:
CSV
Isabelle version:
e0ed6e339365

HOL-Predicate_Compile_Examples

data:
CSV
Isabelle version:
e0ed6e339365

Logics

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

HOL

data:
CSV
Isabelle version:
604295839268

Logics_ZF

data:
CSV
ML timing:
0.321s elapsed time, 0.463s cpu time, 0.000s GC time, factor 1.44
ML heap maximum:
453 MiB
ML heap average:
453 MiB
Isabelle version:
e0ed6e339365

SML

data:
CSV
ML timing:
0.009s elapsed time, 0.012s cpu time, 0.000s GC time, factor 1.33
ML heap maximum:
23 MiB
ML heap average:
23 MiB
Isabelle version:
e0ed6e339365

HOL-Data_Structures

data:
CSV
Isabelle version:
e0ed6e339365

Sledgehammer

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

HOL-Real_Asymp

data:
CSV
Isabelle version:
e0ed6e339365

Nitpick

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

Pure-ex

data:
CSV
ML timing:
0.248s elapsed time, 0.477s cpu time, 0.000s GC time, factor 1.92
ML heap maximum:
136 MiB
ML heap average:
136 MiB
Isabelle version:
e0ed6e339365

HOL-Imperative_HOL

data:
CSV
Isabelle version:
e0ed6e339365

Cube

data:
CSV
ML timing:
0.264s elapsed time, 0.293s cpu time, 0.000s GC time, factor 1.11
ML heap maximum:
60 MiB
ML heap average:
47 MiB
Isabelle version:
604295839268

Intro

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

HOL-Library

data:
CSV
Isabelle version:
e0ed6e339365

HOL-Quotient_Examples

data:
CSV
Isabelle version:
e0ed6e339365

Pure-Examples

data:
CSV
ML timing:
0.259s elapsed time, 0.330s cpu time, 0.000s GC time, factor 1.27
ML heap maximum:
110 MiB
ML heap average:
110 MiB
Isabelle version:
e0ed6e339365