Isabelle build status for macOS 13 Ventura (ARM)

status date:
10-Jul-2026 06:42:24 +0200
build host:
mini3

HOL-Analysis

data:
CSV
timing:
0:20:50 elapsed time, 0:20:50 cpu time, factor 1.00
ML timing:
1180.103s elapsed time, 1181.700s cpu time, 59.832s GC time, factor 1.00
ML code maximum:
4.8 MiB
ML code average:
3.8 MiB
ML stack maximum:
16.3 MiB
ML stack average:
14.5 MiB
ML heap maximum:
7.7 GiB
ML heap average:
4.6 GiB
ML heap stored:
266.6 MiB
Isabelle version:
333ffbe82f5f

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:17:49 elapsed time, 0:17:19 cpu time, factor 0.97
ML timing:
1068.432s elapsed time, 1038.157s cpu time, 51.291s GC time, factor 0.97
ML code maximum:
344.2 MiB
ML code average:
190.8 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
333ffbe82f5f

HOL-Data_Structures

data:
CSV
timing:
0:10:17 elapsed time, 0:10:17 cpu time, factor 1.00
ML timing:
610.144s elapsed time, 610.506s cpu time, 32.709s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
6 GiB
ML heap average:
2.4 GiB
Isabelle version:
333ffbe82f5f

HOL-ex

data:
CSV
timing:
0:09:53 elapsed time, 0:09:43 cpu time, factor 0.98
ML timing:
590.236s elapsed time, 580.931s cpu time, 21.829s GC time, factor 0.98
ML code maximum:
5.7 MiB
ML code average:
4.1 MiB
ML stack maximum:
8.4 MiB
ML stack average:
7.4 MiB
ML heap maximum:
5.5 GiB
ML heap average:
3.3 GiB
Isabelle version:
333ffbe82f5f

HOL-Datatype_Benchmark

data:
CSV
timing:
0:09:16 elapsed time, 0:09:15 cpu time, factor 1.00
ML timing:
543.479s elapsed time, 543.055s cpu time, 75.464s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.5 MiB
ML heap maximum:
13.1 GiB
ML heap average:
5.5 GiB
Isabelle version:
333ffbe82f5f

HOL-Codegenerator_Test

data:
CSV
timing:
0:08:36 elapsed time, 0:06:20 cpu time, factor 0.74
ML timing:
513.526s elapsed time, 377.321s cpu time, 28.611s GC time, factor 0.73
ML code maximum:
3.7 MiB
ML code average:
3.2 MiB
ML stack maximum:
17.1 MiB
ML stack average:
14.7 MiB
ML heap maximum:
3.2 GiB
ML heap average:
2.1 GiB
Isabelle version:
333ffbe82f5f

HOL-Nominal-Examples

data:
CSV
timing:
0:08:25 elapsed time, 0:08:22 cpu time, factor 0.99
ML timing:
501.216s elapsed time, 499.318s cpu time, 31.522s GC time, factor 1.00
ML stack maximum:
32.3 MiB
ML stack average:
31.6 MiB
ML heap maximum:
4.4 GiB
ML heap average:
2.5 GiB
Isabelle version:
333ffbe82f5f

HOL-Proofs

data:
CSV
timing:
0:07:40 elapsed time, 0:07:38 cpu time, factor 1.00
ML timing:
347.587s elapsed time, 346.002s cpu time, 61.109s GC time, factor 1.00
ML code maximum:
38.2 MiB
ML code average:
31.2 MiB
ML stack maximum:
32.3 MiB
ML stack average:
19.6 MiB
ML heap maximum:
11.7 GiB
ML heap average:
4.8 GiB
ML heap stored:
387 MiB
Isabelle version:
333ffbe82f5f

HOL-Decision_Procs

data:
CSV
timing:
0:07:05 elapsed time, 0:07:05 cpu time, factor 1.00
ML timing:
422.859s elapsed time, 423.112s cpu time, 28.752s GC time, factor 1.00
ML code maximum:
5.3 MiB
ML code average:
3 MiB
ML stack maximum:
32.3 MiB
ML stack average:
16.8 MiB
ML heap maximum:
6.2 GiB
ML heap average:
3.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Library

data:
CSV
timing:
0:06:37 elapsed time, 0:06:33 cpu time, factor 0.99
ML timing:
367.068s elapsed time, 364.810s cpu time, 24.168s GC time, factor 0.99
ML code maximum:
6 MiB
ML code average:
5.1 MiB
ML stack maximum:
8.3 MiB
ML stack average:
7.7 MiB
ML heap maximum:
4 GiB
ML heap average:
2.3 GiB
ML heap stored:
146.1 MiB
Isabelle version:
333ffbe82f5f

HOL

data:
CSV
timing:
0:06:00 elapsed time, 0:06:01 cpu time, factor 1.00
ML timing:
339.801s elapsed time, 341.109s cpu time, 23.738s GC time, factor 1.00
ML code maximum:
43.7 MiB
ML code average:
30.9 MiB
ML stack maximum:
32.3 MiB
ML stack average:
24.8 MiB
ML heap maximum:
3.6 GiB
ML heap average:
2.9 GiB
ML heap stored:
208.2 MiB
Isabelle version:
333ffbe82f5f

HOL-Algebra

data:
CSV
timing:
0:04:39 elapsed time, 0:04:42 cpu time, factor 1.01
ML timing:
262.036s elapsed time, 265.330s cpu time, 44.722s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
4.7 GiB
ML heap average:
2.4 GiB
ML heap stored:
62.7 MiB
Isabelle version:
333ffbe82f5f

HOL-Corec_Examples

data:
CSV
timing:
0:04:22 elapsed time, 0:04:22 cpu time, factor 1.00
ML timing:
255.565s elapsed time, 255.827s cpu time, 25.763s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
4.6 GiB
ML heap average:
2.9 GiB
Isabelle version:
333ffbe82f5f

HOL-Imperative_HOL

data:
CSV
timing:
0:03:02 elapsed time, 0:02:37 cpu time, factor 0.86
ML timing:
179.779s elapsed time, 155.089s cpu time, 4.058s GC time, factor 0.86
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
333ffbe82f5f

HOL-Probability

data:
CSV
timing:
0:02:47 elapsed time, 0:02:45 cpu time, factor 0.99
ML timing:
151.701s elapsed time, 150.339s cpu time, 5.669s GC time, factor 0.99
ML stack maximum:
8.3 MiB
ML stack average:
6.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
51.4 MiB
Isabelle version:
333ffbe82f5f

HOL-Datatype_Examples

data:
CSV
timing:
0:02:34 elapsed time, 0:02:34 cpu time, factor 1.00
ML timing:
149.875s elapsed time, 150.347s cpu time, 13.967s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
2.7 GiB
ML heap average:
1.9 GiB
Isabelle version:
333ffbe82f5f

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:02:32 elapsed time, 0:01:59 cpu time, factor 0.78
ML timing:
151.336s elapsed time, 118.016s cpu time, 2.149s GC time, factor 0.78
ML code maximum:
7.8 MiB
ML code average:
2.4 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
333ffbe82f5f

HOL-Real_Asymp

data:
CSV
timing:
0:02:31 elapsed time, 0:02:32 cpu time, factor 1.01
ML timing:
141.762s elapsed time, 143.022s cpu time, 3.873s GC time, factor 1.01
ML code maximum:
5.6 MiB
ML code average:
4.1 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
65.3 MiB
Isabelle version:
333ffbe82f5f

HOL-Auth

data:
CSV
timing:
0:02:28 elapsed time, 0:02:29 cpu time, factor 1.01
ML timing:
143.638s elapsed time, 144.556s cpu time, 2.750s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
4.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
29.9 MiB
Isabelle version:
333ffbe82f5f

HOL-Homology

data:
CSV
timing:
0:02:25 elapsed time, 0:02:27 cpu time, factor 1.01
ML timing:
143.115s elapsed time, 145.094s cpu time, 10.923s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
333ffbe82f5f

HOL-Quickcheck_Examples

data:
CSV
timing:
0:02:20 elapsed time, 0:01:13 cpu time, factor 0.52
ML timing:
139.191s elapsed time, 72.720s cpu time, 2.000s GC time, factor 0.52
ML code maximum:
17.3 MiB
ML code average:
12.3 MiB
ML stack maximum:
8.3 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-MicroJava

data:
CSV
timing:
0:02:15 elapsed time, 0:02:15 cpu time, factor 1.00
ML timing:
133.914s elapsed time, 134.642s cpu time, 2.325s GC time, factor 1.01
ML code maximum:
1.7 MiB
ML code average:
1.4 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

Codegen

data:
CSV
timing:
0:02:09 elapsed time, 0:02:08 cpu time, factor 0.99
ML timing:
127.295s elapsed time, 127.533s cpu time, 2.975s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
7.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Hoare_Parallel

data:
CSV
timing:
0:02:08 elapsed time, 0:02:08 cpu time, factor 1.00
ML timing:
126.835s elapsed time, 127.299s cpu time, 1.912s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:58 elapsed time, 0:01:58 cpu time, factor 1.00
ML timing:
115.928s elapsed time, 116.717s cpu time, 4.169s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-IMP

data:
CSV
timing:
0:01:55 elapsed time, 0:01:55 cpu time, factor 1.00
ML timing:
113.973s elapsed time, 114.264s cpu time, 2.785s GC time, factor 1.00
ML code maximum:
14.8 MiB
ML code average:
5.6 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Computational_Algebra

data:
CSV
timing:
0:01:55 elapsed time, 0:01:56 cpu time, factor 1.01
ML timing:
107.384s elapsed time, 108.763s cpu time, 3.459s GC time, factor 1.01
ML code maximum:
1 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
40.8 MiB
Isabelle version:
333ffbe82f5f

HOL-Examples

data:
CSV
timing:
0:01:49 elapsed time, 0:01:49 cpu time, factor 1.00
ML timing:
107.499s elapsed time, 108.057s cpu time, 3.605s GC time, factor 1.01
ML code maximum:
1.4 MiB
ML stack maximum:
8.8 MiB
ML stack average:
6.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Complex_Analysis

data:
CSV
timing:
0:01:47 elapsed time, 0:01:49 cpu time, factor 1.02
ML timing:
105.901s elapsed time, 107.911s cpu time, 2.247s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Bali

data:
CSV
timing:
0:01:41 elapsed time, 0:01:42 cpu time, factor 1.01
ML timing:
100.333s elapsed time, 101.647s cpu time, 2.976s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Number_Theory

data:
CSV
timing:
0:01:40 elapsed time, 0:01:41 cpu time, factor 1.01
ML timing:
99.080s elapsed time, 100.281s cpu time, 5.686s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
4.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Record_Benchmark

data:
CSV
timing:
0:01:22 elapsed time, 0:01:22 cpu time, factor 1.00
ML timing:
80.931s elapsed time, 80.933s cpu time, 1.802s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:19 elapsed time, 0:00:53 cpu time, factor 0.67
ML timing:
78.130s elapsed time, 52.602s cpu time, 0.734s GC time, factor 0.67
ML stack maximum:
4.3 MiB
ML stack average:
4.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-SMT_Examples

data:
CSV
timing:
0:01:11 elapsed time, 0:01:08 cpu time, factor 0.96
ML timing:
70.577s elapsed time, 67.638s cpu time, 1.195s GC time, factor 0.96
ML stack maximum:
8.3 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:07 elapsed time, 0:01:07 cpu time, factor 1.00
ML timing:
65.640s elapsed time, 65.872s cpu time, 1.710s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-UNITY

data:
CSV
timing:
0:00:53 elapsed time, 0:00:54 cpu time, factor 1.02
ML timing:
52.071s elapsed time, 52.926s cpu time, 1.804s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-SET_Protocol

data:
CSV
timing:
0:00:51 elapsed time, 0:00:51 cpu time, factor 1.00
ML timing:
50.214s elapsed time, 50.422s cpu time, 0.619s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

Datatypes

data:
CSV
timing:
0:00:44 elapsed time, 0:00:43 cpu time, factor 0.98
ML timing:
32.391s elapsed time, 31.965s cpu time, 1.700s GC time, factor 0.99
ML stack maximum:
8.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
69.8 MiB
Isabelle version:
333ffbe82f5f

Corec

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
36.658s elapsed time, 36.673s cpu time, 1.899s GC time, factor 1.00
ML code maximum:
2.8 MiB
ML code average:
2.7 MiB
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Matrix_LP

data:
CSV
timing:
0:00:30 elapsed time, 0:00:29 cpu time, factor 0.97
ML timing:
29.491s elapsed time, 29.121s cpu time, 0.744s GC time, factor 0.99
ML code maximum:
1.3 MiB
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Hoare

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
27.134s elapsed time, 27.280s cpu time, 0.462s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Analysis-ex

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
26.426s elapsed time, 26.479s cpu time, 0.209s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Combinatorics

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
26.339s elapsed time, 27.045s cpu time, 1.040s GC time, factor 1.03
ML stack maximum:
8.3 MiB
ML stack average:
7.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-SPARK

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
19.525s elapsed time, 19.789s cpu time, 0.659s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
6.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
15 MiB
Isabelle version:
333ffbe82f5f

HOL-Quotient_Examples

data:
CSV
timing:
0:00:23 elapsed time, 0:00:18 cpu time, factor 0.78
ML timing:
22.579s elapsed time, 18.006s cpu time, 0.655s GC time, factor 0.80
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

Tutorial

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
21.169s elapsed time, 21.430s cpu time, 0.951s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOL-Cardinals

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
20.578s elapsed time, 21.054s cpu time, 0.515s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

HOLCF

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
15.995s elapsed time, 16.662s cpu time, 0.869s GC time, factor 1.04
ML code maximum:
1.3 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
18.7 MiB
Isabelle version:
333ffbe82f5f

ZF

data:
CSV
timing:
0:00:19 elapsed time, 0:00:17 cpu time, factor 0.89
ML timing:
15.992s elapsed time, 16.041s cpu time, 1.087s GC time, factor 1.00
ML code maximum:
3.2 MiB
ML code average:
2.4 MiB
ML stack maximum:
4.3 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
14.1 MiB
Isabelle version:
333ffbe82f5f

HOLCF-Library

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
13.608s elapsed time, 13.967s cpu time, 0.450s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
9.4 MiB
Isabelle version:
333ffbe82f5f

IOA

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
13.513s elapsed time, 13.827s cpu time, 0.451s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
6.4 MiB
Isabelle version:
333ffbe82f5f

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:16 elapsed time, 0:00:15 cpu time, factor 0.94
ML timing:
11.762s elapsed time, 11.921s cpu time, 0.457s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
9.7 MiB
Isabelle version:
333ffbe82f5f

Isar_Ref

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.752s elapsed time, 15.717s cpu time, 0.678s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333ffbe82f5f

System

data:
CSV
timing:
0:00:15 elapsed time
ML timing:
14.650s elapsed time, 0.704s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
605 MiB
ML heap average:
345.9 MiB
Isabelle version:
333ffbe82f5f

HOL-Induct

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
13.521s elapsed time, 13.646s cpu time, 0.712s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

HOL-Nominal

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
10.858s elapsed time, 10.958s cpu time, 0.421s GC time, factor 1.01
ML code maximum:
2.4 MiB
ML stack maximum:
8.3 MiB
ML stack average:
5.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
9.6 MiB
Isabelle version:
333ffbe82f5f

HOL-SPARK-Examples

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
13.710s elapsed time, 13.804s cpu time, 0.188s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

HOL-ZF

data:
CSV
timing:
0:00:13 elapsed time, 0:00:14 cpu time, factor 1.08
ML timing:
12.828s elapsed time, 13.343s cpu time, 0.564s GC time, factor 1.04
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

HOL-Types_To_Sets

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.780s elapsed time, 11.945s cpu time, 0.398s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

ZF-UNITY

data:
CSV
timing:
0:00:12 elapsed time, 0:00:11 cpu time, factor 0.92
ML timing:
11.202s elapsed time, 11.345s cpu time, 0.388s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

ZF-Constructible

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.423s elapsed time, 11.653s cpu time, 1.266s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333ffbe82f5f

Typeclass_Hierarchy

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.018s elapsed time, 10.328s cpu time, 0.418s GC time, factor 1.03
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

HOL-TLA-Memory

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.484s elapsed time, 10.562s cpu time, 0.188s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333ffbe82f5f

HOL-Hahn_Banach

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.902s elapsed time, 10.296s cpu time, 0.361s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

Pure

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0.395s elapsed time, 0.418s cpu time, 0.000s GC time, factor 1.06
ML code maximum:
23.9 MiB
ML code average:
23.9 MiB
ML stack maximum:
4.1 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
740.5 MiB
ML heap stored:
28.6 MiB
Isabelle version:
333ffbe82f5f

HOL-Statespace

data:
CSV
timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.90
ML timing:
9.187s elapsed time, 9.268s cpu time, 0.275s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

HOL-Probability-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.875s elapsed time, 7.779s cpu time, 0.263s GC time, factor 0.99
ML stack maximum:
2.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

HOL-Import

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.723s elapsed time, 7.725s cpu time, 0.208s GC time, factor 1.00
ML stack maximum:
64.3 MiB
ML stack average:
56.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333ffbe82f5f

HOL-Unix

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.310s elapsed time, 7.507s cpu time, 0.361s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

HOL-Eisbach

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
7.053s elapsed time, 7.246s cpu time, 0.158s GC time, factor 1.03
ML code maximum:
2.4 MiB
ML code average:
2.1 MiB
ML stack maximum:
4.3 MiB
ML stack average:
4.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333ffbe82f5f

HOLCF-Tutorial

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.349s elapsed time, 6.404s cpu time, 0.200s GC time, factor 1.01
ML heap maximum:
1.4 GiB
ML heap average:
1016.4 MiB
Isabelle version:
333ffbe82f5f

IOA-NTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.779s elapsed time, 5.815s cpu time, 0.250s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

FOL-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
5.521s elapsed time, 5.607s cpu time, 0.173s GC time, factor 1.02
ML code maximum:
1.3 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

HOL-Isar_Examples

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.919s elapsed time, 5.856s cpu time, 0.230s GC time, factor 0.99
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
944.1 MiB
Isabelle version:
333ffbe82f5f

Haskell

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
5.853s elapsed time, 0.289s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
394 MiB
ML heap average:
361.3 MiB
Isabelle version:
333ffbe82f5f

ZF-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
6.274s elapsed time, 6.436s cpu time, 0.291s GC time, factor 1.03
ML stack maximum:
4.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333ffbe82f5f

CCL

data:
CSV
timing:
0:00:06 elapsed time, 0:00:03 cpu time, factor 0.50
ML timing:
3.579s elapsed time, 3.586s cpu time, 0.310s GC time, factor 1.00
ML code maximum:
2.1 MiB
ML code average:
1.8 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
675.7 MiB
Isabelle version:
333ffbe82f5f

ZF-Induct

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
4.235s elapsed time, 4.041s cpu time, 0.157s GC time, factor 0.95
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1007.5 MiB
ML heap stored:
3.9 MiB
Isabelle version:
333ffbe82f5f

HOL-NanoJava

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.746s elapsed time, 4.812s cpu time, 0.238s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

Prog_Prove

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
4.090s elapsed time, 4.144s cpu time, 0.215s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

HOLCF-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.486s elapsed time, 4.614s cpu time, 0.230s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

IOA-ABP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.699s elapsed time, 4.739s cpu time, 0.181s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
985 MiB
Isabelle version:
333ffbe82f5f

HOLCF-IMP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
4.293s elapsed time, 4.330s cpu time, 0.164s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
333ffbe82f5f

HOL-TLA

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
1.330s elapsed time, 1.428s cpu time, 0.102s GC time, factor 1.07
ML stack maximum:
2.3 MiB
ML heap maximum:
688 MiB
ML heap average:
183.8 MiB
ML heap stored:
2.9 MiB
Isabelle version:
333ffbe82f5f

HOL-SPARK-Manual

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.326s elapsed time, 3.334s cpu time, 0.063s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

HOLCF-FOCUS

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.968s elapsed time, 4.046s cpu time, 0.136s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
333ffbe82f5f

Tools

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
2.294s elapsed time, 2.213s cpu time, 0.209s GC time, factor 0.96
ML code maximum:
2.5 MiB
ML code average:
1.9 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
497.8 MiB
Isabelle version:
333ffbe82f5f

HOL-IMPP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
3.223s elapsed time, 3.258s cpu time, 0.151s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1 GiB
Isabelle version:
333ffbe82f5f

Implementation

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.891s elapsed time, 3.872s cpu time, 0.067s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
760 MiB
ML heap average:
281.4 MiB
Isabelle version:
333ffbe82f5f

HOL-TPTP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
3.358s elapsed time, 3.437s cpu time, 0.202s GC time, factor 1.02
ML code maximum:
5.7 MiB
ML code average:
4.3 MiB
ML stack maximum:
16.3 MiB
ML stack average:
16.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

ZF-AC

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.932s elapsed time, 4.029s cpu time, 0.223s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
333ffbe82f5f

HOL-Proofs-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.479s elapsed time, 2.492s cpu time, 0.646s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
877.3 MiB
Isabelle version:
333ffbe82f5f

FOL

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.783s elapsed time, 1.735s cpu time, 0.134s GC time, factor 0.97
ML code maximum:
1.8 MiB
ML code average:
1.4 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.4 GiB
ML heap average:
407 MiB
ML heap stored:
3.9 MiB
Isabelle version:
333ffbe82f5f

FOLP-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
3.152s elapsed time, 3.216s cpu time, 0.073s GC time, factor 1.02
ML code maximum:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
992.7 MiB
Isabelle version:
333ffbe82f5f

HOL-IOA

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.656s elapsed time, 1.677s cpu time, 0.067s GC time, factor 1.01
ML heap maximum:
757 MiB
ML heap average:
673.5 MiB
Isabelle version:
333ffbe82f5f

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.346s elapsed time, 1.360s cpu time, 0.087s GC time, factor 1.01
ML heap maximum:
708 MiB
ML heap average:
460.3 MiB
Isabelle version:
333ffbe82f5f

Sequents

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
2.373s elapsed time, 2.360s cpu time, 0.056s GC time, factor 0.99
ML heap maximum:
1.5 GiB
ML heap average:
944.8 MiB
Isabelle version:
333ffbe82f5f

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.793s elapsed time, 1.809s cpu time, 0.048s GC time, factor 1.01
ML heap maximum:
1.3 GiB
ML heap average:
951.7 MiB
Isabelle version:
333ffbe82f5f

HOL-Lattice

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.741s elapsed time, 1.861s cpu time, 0.131s GC time, factor 1.07
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
716 MiB
ML heap average:
520.5 MiB
Isabelle version:
333ffbe82f5f

Functions

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.637s elapsed time, 1.661s cpu time, 0.097s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
761 MiB
ML heap average:
680.6 MiB
Isabelle version:
333ffbe82f5f

Eisbach

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.406s elapsed time, 1.444s cpu time, 0.096s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
590 MiB
ML heap average:
276.7 MiB
Isabelle version:
333ffbe82f5f

LCF

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.837s elapsed time, 1.928s cpu time, 0.106s GC time, factor 1.05
ML code maximum:
1.8 MiB
ML code average:
1.1 MiB
ML stack maximum:
4.3 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.4 GiB
ML heap average:
701.9 MiB
Isabelle version:
333ffbe82f5f

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.481s elapsed time, 0.488s cpu time, 0.000s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
540 MiB
ML heap average:
540 MiB
Isabelle version:
333ffbe82f5f

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.311s elapsed time, 1.335s cpu time, 0.089s GC time, factor 1.02
ML heap maximum:
653 MiB
ML heap average:
330.5 MiB
Isabelle version:
333ffbe82f5f

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.455s elapsed time, 0.464s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
617 MiB
ML heap average:
617 MiB
Isabelle version:
333ffbe82f5f

Classes

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.861s elapsed time, 0.856s cpu time, 0.051s GC time, factor 0.99
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
486 MiB
ML heap average:
486 MiB
Isabelle version:
333ffbe82f5f

HOL-Mutabelle

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.900s elapsed time, 0.914s cpu time, 0.098s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
649 MiB
ML heap average:
414.5 MiB
Isabelle version:
333ffbe82f5f

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.504s elapsed time, 0.504s cpu time, 0.000s GC time, factor 1.00
ML heap maximum:
698 MiB
ML heap average:
698 MiB
Isabelle version:
333ffbe82f5f

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.635s elapsed time, 0.606s cpu time, 0.100s GC time, factor 0.95
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
165 MiB
ML heap average:
62.5 MiB
Isabelle version:
333ffbe82f5f

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.669s elapsed time, 0.678s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
560 MiB
ML heap average:
560 MiB
Isabelle version:
333ffbe82f5f

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.225s elapsed time, 0.232s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
49 MiB
ML heap average:
49 MiB
Isabelle version:
333ffbe82f5f

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.661s elapsed time, 0.673s cpu time, 0.071s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
157 MiB
ML heap average:
85.1 MiB
ML heap stored:
1.5 MiB
Isabelle version:
333ffbe82f5f

IOA-Storage

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.077s elapsed time, 1.085s cpu time, 0.060s GC time, factor 1.01
ML heap maximum:
579 MiB
ML heap average:
437.5 MiB
Isabelle version:
333ffbe82f5f

Locales

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.023s elapsed time, 1.071s cpu time, 0.070s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
708 MiB
ML heap average:
606.6 MiB
Isabelle version:
333ffbe82f5f

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.436s elapsed time, 0.326s cpu time, 0.000s GC time, factor 0.75
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
452 MiB
ML heap average:
452 MiB
Isabelle version:
333ffbe82f5f

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.314s elapsed time, 0.347s cpu time, 0.000s GC time, factor 1.11
ML stack maximum:
1.3 MiB
ML heap maximum:
63 MiB
ML heap average:
3 MiB
Isabelle version:
333ffbe82f5f

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.229s elapsed time, 1.257s cpu time, 0.048s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
552 MiB
ML heap average:
424.9 MiB
Isabelle version:
333ffbe82f5f

Logics

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
333ffbe82f5f

ZF-Coind

data:
CSV
ML timing:
0.570s elapsed time, 0.596s cpu time, 0.056s GC time, factor 1.05
ML heap maximum:
87 MiB
ML heap average:
8 MiB
Isabelle version:
333ffbe82f5f

Logics_ZF

data:
CSV
ML timing:
0.369s elapsed time, 0.283s cpu time, 0.000s GC time, factor 0.77
ML heap maximum:
319 MiB
ML heap average:
319 MiB
Isabelle version:
333ffbe82f5f

SML

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

How_to_Prove_it

data:
CSV
ML timing:
0.189s elapsed time, 0.192s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
67 MiB
ML heap average:
67 MiB
Isabelle version:
333ffbe82f5f

Demo_FoilTeX

data:
CSV
ML timing:
0.095s elapsed time, 0.098s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
61 MiB
ML heap average:
61 MiB
Isabelle version:
333ffbe82f5f

Sledgehammer

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
333ffbe82f5f

Demo_LLNCS

data:
CSV
ML timing:
0.104s elapsed time, 0.104s cpu time, 0.000s GC time, factor 1.00
ML heap maximum:
73 MiB
ML heap average:
73 MiB
Isabelle version:
333ffbe82f5f

Demo_LIPIcs

data:
CSV
ML timing:
0.098s elapsed time, 0.100s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
76 MiB
ML heap average:
76 MiB
Isabelle version:
333ffbe82f5f

Nitpick

data:
CSV
Isabelle version:
333ffbe82f5f

Pure-ex

data:
CSV
ML timing:
0.251s elapsed time, 0.239s cpu time, 0.000s GC time, factor 0.95
ML heap maximum:
58 MiB
ML heap average:
58 MiB
Isabelle version:
333ffbe82f5f

Demo_Easychair

data:
CSV
ML timing:
0.103s elapsed time, 0.103s cpu time, 0.000s GC time, factor 1.00
ML heap maximum:
64 MiB
ML heap average:
64 MiB
Isabelle version:
333ffbe82f5f

Cube

data:
CSV
ML timing:
0.195s elapsed time, 0.139s cpu time, 0.000s GC time, factor 0.71
ML heap maximum:
116 MiB
ML heap average:
116 MiB
Isabelle version:
333ffbe82f5f

Intro

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
333ffbe82f5f

HOL-Metis_Examples

data:
CSV
Isabelle version:
333ffbe82f5f

Demo_EPTCS

data:
CSV
ML timing:
0.096s elapsed time, 0.098s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
52 MiB
ML heap average:
52 MiB
Isabelle version:
333ffbe82f5f

Pure-Examples

data:
CSV
ML timing:
0.533s elapsed time, 0.172s cpu time, 0.000s GC time, factor 0.32
ML heap maximum:
229 MiB
ML heap average:
229 MiB
Isabelle version:
333ffbe82f5f

HOL-Prolog

data:
CSV
ML timing:
0.199s elapsed time, 0.217s cpu time, 0.000s GC time, factor 1.09
ML heap maximum:
116 MiB
ML heap average:
116 MiB
Isabelle version:
333ffbe82f5f