Isabelle build status for macOS 12 Monterey (Intel)

status date:
11-Sep-2026 00:37:13 +0200
build host:
mini1-monterey

HOL-Analysis

data:
CSV
timing:
0:32:46 elapsed time, 0:32:35 cpu time, factor 0.99
ML timing:
1863.919s elapsed time, 1852.631s cpu time, 88.574s GC time, factor 0.99
ML code maximum:
3.4 MiB
ML code average:
2.8 MiB
ML stack maximum:
17 MiB
ML stack average:
11.7 MiB
ML heap maximum:
9.3 GiB
ML heap average:
5 GiB
ML heap stored:
368.6 MiB
Isabelle version:
94fc1fcc5559

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:20:31 elapsed time, 0:20:02 cpu time, factor 0.98
ML timing:
1229.765s elapsed time, 1200.571s cpu time, 19.265s GC time, factor 0.98
ML code maximum:
162.5 MiB
ML code average:
138.7 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.7 GiB
Isabelle version:
94fc1fcc5559

HOL-Data_Structures

data:
CSV
timing:
0:16:20 elapsed time, 0:16:21 cpu time, factor 1.00
ML timing:
971.737s elapsed time, 973.603s cpu time, 50.857s GC time, factor 1.00
ML stack maximum:
8.5 MiB
ML stack average:
5.8 MiB
ML heap maximum:
8.3 GiB
ML heap average:
3.5 GiB
Isabelle version:
94fc1fcc5559

HOL-Datatype_Benchmark

data:
CSV
timing:
0:14:49 elapsed time, 0:14:50 cpu time, factor 1.00
ML timing:
872.606s elapsed time, 873.295s cpu time, 101.163s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
4.1 MiB
ML heap maximum:
17.3 GiB
ML heap average:
9 GiB
Isabelle version:
94fc1fcc5559

HOL-ex

data:
CSV
timing:
0:13:18 elapsed time, 0:13:00 cpu time, factor 0.98
ML timing:
793.713s elapsed time, 775.920s cpu time, 38.437s GC time, factor 0.98
ML code maximum:
2.8 MiB
ML code average:
2.3 MiB
ML stack maximum:
16.6 MiB
ML stack average:
11.1 MiB
ML heap maximum:
4.5 GiB
ML heap average:
1.9 GiB
Isabelle version:
94fc1fcc5559

HOL-Nominal-Examples

data:
CSV
timing:
0:12:49 elapsed time, 0:12:44 cpu time, factor 0.99
ML timing:
764.187s elapsed time, 759.172s cpu time, 58.966s GC time, factor 0.99
ML stack maximum:
32.3 MiB
ML stack average:
31.5 MiB
ML heap maximum:
3.6 GiB
ML heap average:
2.7 GiB
Isabelle version:
94fc1fcc5559

HOL-Proofs

data:
CSV
timing:
0:11:26 elapsed time, 0:11:34 cpu time, factor 1.01
ML timing:
512.902s elapsed time, 520.964s cpu time, 62.631s GC time, factor 1.02
ML code maximum:
29.5 MiB
ML code average:
21.7 MiB
ML stack maximum:
33 MiB
ML stack average:
19.9 MiB
ML heap maximum:
10.2 GiB
ML heap average:
5.5 GiB
ML heap stored:
586.2 MiB
Isabelle version:
94fc1fcc5559

HOL-Decision_Procs

data:
CSV
timing:
0:10:52 elapsed time, 0:10:55 cpu time, factor 1.00
ML timing:
647.869s elapsed time, 650.917s cpu time, 42.912s GC time, factor 1.00
ML code maximum:
4.5 MiB
ML code average:
1.6 MiB
ML stack maximum:
32.5 MiB
ML stack average:
19.6 MiB
ML heap maximum:
7.2 GiB
ML heap average:
4.1 GiB
Isabelle version:
94fc1fcc5559

HOL-Library

data:
CSV
timing:
0:10:04 elapsed time, 0:09:58 cpu time, factor 0.99
ML timing:
563.380s elapsed time, 557.991s cpu time, 30.010s GC time, factor 0.99
ML code maximum:
4.7 MiB
ML code average:
2.9 MiB
ML stack maximum:
9 MiB
ML stack average:
8.4 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2.2 GiB
ML heap stored:
196.9 MiB
Isabelle version:
94fc1fcc5559

HOL

data:
CSV
timing:
0:09:36 elapsed time, 0:09:46 cpu time, factor 1.02
ML timing:
542.848s elapsed time, 553.138s cpu time, 45.434s GC time, factor 1.02
ML code maximum:
33.6 MiB
ML code average:
24.5 MiB
ML stack maximum:
33 MiB
ML stack average:
25.8 MiB
ML heap maximum:
3.4 GiB
ML heap average:
2.8 GiB
ML heap stored:
259.9 MiB
Isabelle version:
94fc1fcc5559

HOL-New_Algebra

data:
CSV
timing:
0:09:15 elapsed time, 0:09:19 cpu time, factor 1.01
ML timing:
530.589s elapsed time, 534.904s cpu time, 50.473s GC time, factor 1.01
ML stack maximum:
9 MiB
ML stack average:
7.3 MiB
ML heap maximum:
5.9 GiB
ML heap average:
3.8 GiB
ML heap stored:
65.4 MiB
Isabelle version:
94fc1fcc5559

HOL-Algebra

data:
CSV
timing:
0:07:20 elapsed time, 0:07:24 cpu time, factor 1.01
ML timing:
412.272s elapsed time, 416.521s cpu time, 46.744s GC time, factor 1.01
ML stack maximum:
4.5 MiB
ML stack average:
4.2 MiB
ML heap maximum:
6.8 GiB
ML heap average:
3.8 GiB
ML heap stored:
89.2 MiB
Isabelle version:
94fc1fcc5559

HOL-Corec_Examples

data:
CSV
timing:
0:06:15 elapsed time, 0:06:16 cpu time, factor 1.00
ML timing:
363.468s elapsed time, 364.135s cpu time, 34.429s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
4.8 GiB
ML heap average:
3.3 GiB
Isabelle version:
94fc1fcc5559

HOL-Imperative_HOL

data:
CSV
timing:
0:05:02 elapsed time, 0:04:20 cpu time, factor 0.86
ML timing:
299.778s elapsed time, 258.238s cpu time, 16.510s GC time, factor 0.86
ML stack maximum:
8.5 MiB
ML stack average:
8.5 MiB
ML heap maximum:
2.5 GiB
ML heap average:
1.7 GiB
Isabelle version:
94fc1fcc5559

HOL-Probability

data:
CSV
timing:
0:04:28 elapsed time, 0:04:25 cpu time, factor 0.99
ML timing:
243.128s elapsed time, 240.689s cpu time, 12.744s GC time, factor 0.99
ML stack maximum:
4.5 MiB
ML stack average:
4.1 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.6 GiB
ML heap stored:
71.4 MiB
Isabelle version:
94fc1fcc5559

HOL-Auth

data:
CSV
timing:
0:03:53 elapsed time, 0:03:54 cpu time, factor 1.00
ML timing:
225.014s elapsed time, 226.219s cpu time, 4.017s GC time, factor 1.01
ML stack maximum:
4.5 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
41.7 MiB
Isabelle version:
94fc1fcc5559

HOL-Real_Asymp

data:
CSV
timing:
0:03:53 elapsed time, 0:03:55 cpu time, factor 1.01
ML timing:
218.237s elapsed time, 219.708s cpu time, 9.407s GC time, factor 1.01
ML code maximum:
3 MiB
ML code average:
2.7 MiB
ML stack maximum:
16.5 MiB
ML stack average:
11.5 MiB
ML heap maximum:
2.8 GiB
ML heap average:
1.8 GiB
ML heap stored:
88.1 MiB
Isabelle version:
94fc1fcc5559

HOL-Homology

data:
CSV
timing:
0:03:47 elapsed time, 0:03:49 cpu time, factor 1.01
ML timing:
223.066s elapsed time, 225.467s cpu time, 15.441s GC time, factor 1.01
ML stack maximum:
8.5 MiB
ML stack average:
6 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2.4 GiB
Isabelle version:
94fc1fcc5559

HOL-Datatype_Examples

data:
CSV
timing:
0:03:46 elapsed time, 0:03:46 cpu time, factor 1.00
ML timing:
219.197s elapsed time, 219.955s cpu time, 15.905s GC time, factor 1.00
ML stack maximum:
2.5 MiB
ML stack average:
1.4 MiB
ML heap maximum:
3.3 GiB
ML heap average:
2.4 GiB
Isabelle version:
94fc1fcc5559

Codegen

data:
CSV
timing:
0:03:38 elapsed time, 0:03:38 cpu time, factor 1.00
ML timing:
215.485s elapsed time, 216.113s cpu time, 14.502s GC time, factor 1.00
ML stack maximum:
8.5 MiB
ML stack average:
8.1 MiB
ML heap maximum:
2 GiB
ML heap average:
1.5 GiB
Isabelle version:
94fc1fcc5559

HOL-MicroJava

data:
CSV
timing:
0:03:34 elapsed time, 0:03:35 cpu time, factor 1.00
ML timing:
212.993s elapsed time, 214.234s cpu time, 3.511s GC time, factor 1.01
ML code maximum:
1.4 MiB
ML code average:
1.1 MiB
ML stack maximum:
4.5 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
94fc1fcc5559

HOL-Quickcheck_Examples

data:
CSV
timing:
0:03:31 elapsed time, 0:01:55 cpu time, factor 0.55
ML timing:
209.021s elapsed time, 114.221s cpu time, 3.726s GC time, factor 0.55
ML code maximum:
12.5 MiB
ML code average:
8.8 MiB
ML stack maximum:
8.5 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

HOL-Hoare_Parallel

data:
CSV
timing:
0:03:15 elapsed time, 0:03:15 cpu time, factor 1.00
ML timing:
193.133s elapsed time, 193.744s cpu time, 2.882s GC time, factor 1.00
ML stack maximum:
2.5 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
94fc1fcc5559

HOL-Computational_Algebra

data:
CSV
timing:
0:03:09 elapsed time, 0:03:11 cpu time, factor 1.01
ML timing:
175.800s elapsed time, 177.783s cpu time, 8.766s GC time, factor 1.01
ML stack maximum:
8.5 MiB
ML stack average:
7.9 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.5 GiB
ML heap stored:
56.3 MiB
Isabelle version:
94fc1fcc5559

HOL-IMP

data:
CSV
timing:
0:03:01 elapsed time, 0:03:01 cpu time, factor 1.00
ML timing:
178.798s elapsed time, 179.129s cpu time, 8.064s GC time, factor 1.00
ML code maximum:
4.6 MiB
ML code average:
2.5 MiB
ML stack maximum:
8.5 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

HOL-Complex_Analysis

data:
CSV
timing:
0:02:51 elapsed time, 0:02:53 cpu time, factor 1.01
ML timing:
168.135s elapsed time, 170.525s cpu time, 5.367s GC time, factor 1.01
ML stack maximum:
8.5 MiB
ML stack average:
7.3 MiB
ML heap maximum:
2.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
94fc1fcc5559

HOL-Examples

data:
CSV
timing:
0:02:46 elapsed time, 0:02:47 cpu time, factor 1.01
ML timing:
163.986s elapsed time, 164.531s cpu time, 7.798s GC time, factor 1.00
ML stack maximum:
8.8 MiB
ML stack average:
6.4 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.9 GiB
Isabelle version:
94fc1fcc5559

HOL-Bali

data:
CSV
timing:
0:02:44 elapsed time, 0:02:46 cpu time, factor 1.01
ML timing:
162.360s elapsed time, 164.492s cpu time, 8.765s GC time, factor 1.01
ML stack maximum:
8.5 MiB
ML stack average:
5.3 MiB
ML heap maximum:
2.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
94fc1fcc5559

HOL-Proofs-Extraction

data:
CSV
timing:
0:02:37 elapsed time, 0:02:38 cpu time, factor 1.01
ML timing:
153.492s elapsed time, 154.489s cpu time, 10.135s GC time, factor 1.01
ML stack maximum:
8.5 MiB
ML stack average:
8.5 MiB
ML heap maximum:
3.8 GiB
ML heap average:
2.9 GiB
Isabelle version:
94fc1fcc5559

HOL-Record_Benchmark

data:
CSV
timing:
0:02:02 elapsed time, 0:02:02 cpu time, factor 1.00
ML timing:
120.195s elapsed time, 120.234s cpu time, 7.747s 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.3 GiB
Isabelle version:
94fc1fcc5559

HOL-SMT_Examples

data:
CSV
timing:
0:02:01 elapsed time, 0:01:50 cpu time, factor 0.91
ML timing:
119.476s elapsed time, 109.319s cpu time, 1.815s GC time, factor 0.91
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:
94fc1fcc5559

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:45 elapsed time, 0:01:13 cpu time, factor 0.70
ML timing:
103.983s elapsed time, 72.007s cpu time, 1.081s GC time, factor 0.69
ML stack maximum:
4.5 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:36 elapsed time, 0:01:36 cpu time, factor 1.00
ML timing:
94.215s elapsed time, 94.496s cpu time, 4.053s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.9 GiB
Isabelle version:
94fc1fcc5559

HOL-UNITY

data:
CSV
timing:
0:01:24 elapsed time, 0:01:24 cpu time, factor 1.00
ML timing:
82.052s elapsed time, 83.127s cpu time, 2.595s GC time, factor 1.01
ML stack maximum:
8.5 MiB
ML stack average:
8.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

HOL-SET_Protocol

data:
CSV
timing:
0:01:18 elapsed time, 0:01:18 cpu time, factor 1.00
ML timing:
77.196s elapsed time, 77.443s cpu time, 0.904s 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:
94fc1fcc5559

HOL-Metis_Examples

data:
CSV
timing:
0:01:06 elapsed time, 0:00:51 cpu time, factor 0.77
ML timing:
64.470s elapsed time, 50.670s cpu time, 3.770s GC time, factor 0.79
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
94fc1fcc5559

Datatypes

data:
CSV
timing:
0:01:04 elapsed time, 0:01:05 cpu time, factor 1.02
ML timing:
47.118s elapsed time, 47.481s cpu time, 2.445s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
95.3 MiB
Isabelle version:
94fc1fcc5559

Corec

data:
CSV
timing:
0:00:55 elapsed time, 0:00:55 cpu time, factor 1.00
ML timing:
52.514s elapsed time, 52.526s cpu time, 2.893s GC time, factor 1.00
ML code maximum:
2.2 MiB
ML code average:
2.1 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:
94fc1fcc5559

HOL-Number_Theory

data:
CSV
timing:
0:00:55 elapsed time, 0:00:55 cpu time, factor 1.00
ML timing:
53.720s elapsed time, 54.437s cpu time, 0.711s GC time, factor 1.01
ML stack maximum:
2.5 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

HOL-Matrix_LP

data:
CSV
timing:
0:00:45 elapsed time, 0:00:45 cpu time, factor 1.00
ML timing:
44.366s elapsed time, 43.870s cpu time, 1.724s GC time, factor 0.99
ML code maximum:
1 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

HOL-Combinatorics

data:
CSV
timing:
0:00:42 elapsed time, 0:00:43 cpu time, factor 1.02
ML timing:
41.130s elapsed time, 41.825s cpu time, 1.394s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
7.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

HOL-Hoare

data:
CSV
timing:
0:00:42 elapsed time, 0:00:42 cpu time, factor 1.00
ML timing:
40.843s elapsed time, 41.024s cpu time, 0.643s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

HOL-Analysis-ex

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
36.419s elapsed time, 36.511s cpu time, 0.288s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

HOL-SPARK

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
31.102s elapsed time, 31.376s cpu time, 0.955s 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:
20.7 MiB
Isabelle version:
94fc1fcc5559

HOL-Quotient_Examples

data:
CSV
timing:
0:00:36 elapsed time, 0:00:28 cpu time, factor 0.78
ML timing:
34.742s elapsed time, 26.839s cpu time, 0.939s GC time, factor 0.77
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

HOL-Cardinals

data:
CSV
timing:
0:00:33 elapsed time, 0:00:34 cpu time, factor 1.03
ML timing:
32.422s elapsed time, 32.891s cpu time, 0.700s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

Tutorial

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
31.696s elapsed time, 32.058s cpu time, 1.265s GC time, factor 1.01
ML stack maximum:
1.5 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

HOLCF

data:
CSV
timing:
0:00:31 elapsed time, 0:00:31 cpu time, factor 1.00
ML timing:
23.725s elapsed time, 24.557s cpu time, 1.057s GC time, factor 1.04
ML code maximum:
1 MiB
ML stack maximum:
2.5 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
25.9 MiB
Isabelle version:
94fc1fcc5559

HOLCF-Library

data:
CSV
timing:
0:00:27 elapsed time, 0:00:28 cpu time, factor 1.04
ML timing:
20.535s elapsed time, 20.945s cpu time, 0.567s GC time, factor 1.02
ML stack maximum:
2.5 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
13.9 MiB
Isabelle version:
94fc1fcc5559

IOA

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
20.109s elapsed time, 20.479s cpu time, 0.583s GC time, factor 1.02
ML stack maximum:
1.5 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
10 MiB
Isabelle version:
94fc1fcc5559

ZF

data:
CSV
timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.04
ML timing:
23.402s elapsed time, 24.898s cpu time, 1.077s GC time, factor 1.06
ML code maximum:
2.3 MiB
ML code average:
1.7 MiB
ML stack maximum:
2.5 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
17.9 MiB
Isabelle version:
94fc1fcc5559

Isar_Ref

data:
CSV
timing:
0:00:25 elapsed time, 0:00:25 cpu time, factor 1.00
ML timing:
24.226s elapsed time, 23.794s cpu time, 0.942s GC time, factor 0.98
ML stack maximum:
4.5 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
17.132s elapsed time, 17.697s cpu time, 0.490s GC time, factor 1.03
ML stack maximum:
2.5 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
14.2 MiB
Isabelle version:
94fc1fcc5559

HOL-Induct

data:
CSV
timing:
0:00:23 elapsed time, 0:00:22 cpu time, factor 0.96
ML timing:
21.140s elapsed time, 21.379s cpu time, 0.933s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
94fc1fcc5559

HOL-Nominal

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
16.258s elapsed time, 16.229s cpu time, 0.511s GC time, factor 1.00
ML code maximum:
1.8 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
13.2 MiB
Isabelle version:
94fc1fcc5559

HOL-ZF

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
19.949s elapsed time, 20.548s cpu time, 0.755s GC time, factor 1.03
ML stack maximum:
8.3 MiB
ML stack average:
7.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
94fc1fcc5559

HOL-SPARK-Examples

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
20.405s elapsed time, 20.533s cpu time, 0.225s 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.4 GiB
Isabelle version:
94fc1fcc5559

ZF-Constructible

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.222s elapsed time, 20.017s cpu time, 3.418s GC time, factor 1.04
ML stack maximum:
2.5 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
94fc1fcc5559

HOL-Types_To_Sets

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
18.266s elapsed time, 18.472s cpu time, 0.496s 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:
94fc1fcc5559

HOL-Statespace

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
17.135s elapsed time, 17.241s cpu time, 0.383s 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.4 GiB
Isabelle version:
94fc1fcc5559

HOL-Hahn_Banach

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
15.616s elapsed time, 15.977s cpu time, 0.520s GC time, factor 1.02
ML stack maximum:
1.5 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
94fc1fcc5559

ZF-UNITY

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
16.954s elapsed time, 17.415s cpu time, 0.455s GC time, factor 1.03
ML stack maximum:
1.5 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
94fc1fcc5559

Typeclass_Hierarchy

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.272s elapsed time, 15.609s cpu time, 0.558s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
94fc1fcc5559

HOL-TLA-Memory

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.468s elapsed time, 15.588s cpu time, 0.214s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
94fc1fcc5559

Pure

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0.673s elapsed time, 0.711s 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:
716.4 MiB
ML heap stored:
27.5 MiB
Isabelle version:
94fc1fcc5559

HOL-Import

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
11.972s elapsed time, 12.004s cpu time, 0.335s GC time, factor 1.00
ML stack maximum:
64.3 MiB
ML stack average:
56.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
94fc1fcc5559

HOL-Probability-ex

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
11.366s elapsed time, 11.490s cpu time, 0.261s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
94fc1fcc5559

HOL-Unix

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.057s elapsed time, 11.272s cpu time, 0.466s 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.3 GiB
Isabelle version:
94fc1fcc5559

HOL-Eisbach

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.409s elapsed time, 10.602s cpu time, 0.191s GC time, factor 1.02
ML code maximum:
1.9 MiB
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:
94fc1fcc5559

System

data:
CSV
timing:
0:00:11 elapsed time
ML timing:
10.969s elapsed time, 1.358s cpu time, 0.000s GC time, factor 0.12
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
665 MiB
ML heap average:
350.1 MiB
Isabelle version:
94fc1fcc5559

HOLCF-Tutorial

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
9.779s elapsed time, 9.852s cpu time, 0.234s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
94fc1fcc5559

IOA-NTP

data:
CSV
timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.90
ML timing:
8.560s elapsed time, 8.621s cpu time, 0.269s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
94fc1fcc5559

ZF-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.373s elapsed time, 9.692s cpu time, 0.296s GC time, factor 1.03
ML stack maximum:
4.3 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
94fc1fcc5559

FOL-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89
ML timing:
8.316s elapsed time, 8.508s cpu time, 0.112s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
94fc1fcc5559

HOL-Isar_Examples

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
8.096s elapsed time, 8.223s cpu time, 0.262s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
94fc1fcc5559

Haskell

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
8.769s elapsed time, 0.446s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
343 MiB
ML heap average:
323.7 MiB
Isabelle version:
94fc1fcc5559

HOL-NanoJava

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.382s elapsed time, 7.467s cpu time, 0.262s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
94fc1fcc5559

HOLCF-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
6.860s elapsed time, 7.025s cpu time, 0.252s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
94fc1fcc5559

IOA-ABP

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.086s elapsed time, 7.134s cpu time, 0.206s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
94fc1fcc5559

ZF-Induct

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
5.980s elapsed time, 6.247s cpu time, 0.177s GC time, factor 1.04
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
5.6 MiB
Isabelle version:
94fc1fcc5559

HOL-TLA

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
2.006s elapsed time, 2.126s cpu time, 0.049s GC time, factor 1.06
ML stack maximum:
2.3 MiB
ML heap maximum:
1009 MiB
ML heap average:
245.7 MiB
ML heap stored:
5.1 MiB
Isabelle version:
94fc1fcc5559

Prog_Prove

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.115s elapsed time, 6.171s cpu time, 0.263s 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.1 GiB
Isabelle version:
94fc1fcc5559

HOLCF-FOCUS

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.131s elapsed time, 6.246s cpu time, 0.127s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
94fc1fcc5559

CCL

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.267s elapsed time, 6.652s cpu time, 0.282s GC time, factor 1.06
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
2.5 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
94fc1fcc5559

HOLCF-IMP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.335s elapsed time, 6.379s cpu time, 0.170s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
94fc1fcc5559

HOL-SPARK-Manual

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.328s elapsed time, 5.341s cpu time, 0.061s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
94fc1fcc5559

HOL-IMPP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.021s elapsed time, 5.096s cpu time, 0.162s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
94fc1fcc5559

HOL-TPTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
4.967s elapsed time, 5.047s cpu time, 0.262s GC time, factor 1.02
ML code maximum:
4 MiB
ML code average:
2.3 MiB
ML stack maximum:
16.3 MiB
ML stack average:
13.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
94fc1fcc5559

ZF-AC

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.986s elapsed time, 6.238s cpu time, 0.237s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
94fc1fcc5559

HOL-Proofs-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
3.496s elapsed time, 3.518s cpu time, 0.602s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1022.5 MiB
Isabelle version:
94fc1fcc5559

FOLP-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
4.356s elapsed time, 4.449s cpu time, 0.046s GC time, factor 1.02
ML code maximum:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
94fc1fcc5559

FOL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.288s elapsed time, 3.411s cpu time, 0.075s GC time, factor 1.04
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
881.9 MiB
ML heap stored:
4.8 MiB
Isabelle version:
94fc1fcc5559

Sequents

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.626s elapsed time, 3.736s cpu time, 0.036s GC time, factor 1.03
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
94fc1fcc5559

Implementation

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.610s elapsed time, 3.631s cpu time, 0.018s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.2 GiB
ML heap average:
687.2 MiB
Isabelle version:
94fc1fcc5559

HOL-TLA-Inc

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.906s elapsed time, 2.929s cpu time, 0.032s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
989.3 MiB
Isabelle version:
94fc1fcc5559

Tools

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
3.129s elapsed time, 3.170s cpu time, 0.066s GC time, factor 1.01
ML code maximum:
1.9 MiB
ML code average:
1.1 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
94fc1fcc5559

HOL-IOA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.783s elapsed time, 2.818s cpu time, 0.049s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
763.3 MiB
Isabelle version:
94fc1fcc5559

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.095s elapsed time, 2.114s cpu time, 0.038s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.3 GiB
ML heap average:
803.6 MiB
Isabelle version:
94fc1fcc5559

HOL-Lattice

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.362s elapsed time, 2.498s cpu time, 0.050s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
1 GiB
ML heap average:
732.4 MiB
Isabelle version:
94fc1fcc5559

Functions

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.629s elapsed time, 2.665s cpu time, 0.109s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
925.2 MiB
Isabelle version:
94fc1fcc5559

Eisbach

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.885s elapsed time, 1.920s cpu time, 0.059s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
885 MiB
ML heap average:
754 MiB
Isabelle version:
94fc1fcc5559

LCF

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.773s elapsed time, 2.924s cpu time, 0.064s GC time, factor 1.05
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
94fc1fcc5559

HOL-New_Algebra-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.933s elapsed time, 0.943s cpu time, 0.048s GC time, factor 1.01
ML heap maximum:
506 MiB
ML heap average:
315 MiB
Isabelle version:
94fc1fcc5559

ZF-Resid

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.804s elapsed time, 1.872s cpu time, 0.025s GC time, factor 1.04
ML heap maximum:
1.1 GiB
ML heap average:
826.4 MiB
Isabelle version:
94fc1fcc5559

HOL-TLA-Buffer

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.846s elapsed time, 0.862s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
688 MiB
ML heap average:
561 MiB
Isabelle version:
94fc1fcc5559

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.298s elapsed time, 1.309s cpu time, 0.032s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
658 MiB
ML heap average:
341.2 MiB
Isabelle version:
94fc1fcc5559

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.447s elapsed time, 1.470s cpu time, 0.092s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
771 MiB
ML heap average:
639.1 MiB
Isabelle version:
94fc1fcc5559

IOA-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.226s elapsed time, 1.239s cpu time, 0.037s GC time, factor 1.01
ML heap maximum:
668 MiB
ML heap average:
521.2 MiB
Isabelle version:
94fc1fcc5559

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.568s elapsed time, 1.578s cpu time, 0.030s GC time, factor 1.01
ML heap maximum:
757 MiB
ML heap average:
635.6 MiB
Isabelle version:
94fc1fcc5559

Locales

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.478s elapsed time, 1.535s cpu time, 0.046s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
760 MiB
ML heap average:
673 MiB
Isabelle version:
94fc1fcc5559

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.757s elapsed time, 1.792s cpu time, 0.025s GC time, factor 1.02
ML heap maximum:
756 MiB
ML heap average:
453 MiB
Isabelle version:
94fc1fcc5559

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.780s elapsed time, 0.794s cpu time, 0.000s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
392 MiB
ML heap average:
198.3 MiB
Isabelle version:
94fc1fcc5559

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.926s elapsed time, 0.962s cpu time, 0.025s GC time, factor 1.04
ML heap maximum:
496 MiB
ML heap average:
437.6 MiB
Isabelle version:
94fc1fcc5559

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.301s elapsed time, 0.306s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
33 MiB
ML heap average:
3 MiB
Isabelle version:
94fc1fcc5559

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.924s elapsed time, 0.945s cpu time, 0.019s GC time, factor 1.02
ML heap maximum:
501 MiB
ML heap average:
252.7 MiB
Isabelle version:
94fc1fcc5559

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.201s elapsed time, 1.317s cpu time, 0.060s GC time, factor 1.10
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
761 MiB
ML heap average:
602.2 MiB
Isabelle version:
94fc1fcc5559

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.128s elapsed time, 0.132s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
43 MiB
ML heap average:
43 MiB
Isabelle version:
94fc1fcc5559

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.127s elapsed time, 0.129s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
43 MiB
ML heap average:
43 MiB
Isabelle version:
94fc1fcc5559

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.132s elapsed time, 0.134s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
43 MiB
ML heap average:
43 MiB
Isabelle version:
94fc1fcc5559

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.356s elapsed time, 0.365s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
32 MiB
ML heap average:
3 MiB
Isabelle version:
94fc1fcc5559

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.061s elapsed time, 1.116s cpu time, 0.064s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML heap maximum:
766 MiB
ML heap average:
431.5 MiB
ML heap stored:
2.3 MiB
Isabelle version:
94fc1fcc5559

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.126s elapsed time, 0.128s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
43 MiB
ML heap average:
43 MiB
Isabelle version:
94fc1fcc5559

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.699s elapsed time, 0.559s cpu time, 0.000s GC time, factor 0.80
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
359 MiB
ML heap average:
359 MiB
Isabelle version:
94fc1fcc5559

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.568s elapsed time, 0.602s cpu time, 0.000s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
538 MiB
ML heap average:
538 MiB
Isabelle version:
94fc1fcc5559

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.126s elapsed time, 0.129s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
43 MiB
ML heap average:
43 MiB
Isabelle version:
94fc1fcc5559

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.430s elapsed time, 0.455s cpu time, 0.000s GC time, factor 1.06
ML heap maximum:
364 MiB
ML heap average:
364 MiB
Isabelle version:
94fc1fcc5559

HOL-Predicate_Compile_Examples

data:
CSV
Isabelle version:
94fc1fcc5559

Logics

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
94fc1fcc5559

Logics_ZF

data:
CSV
ML timing:
0.441s elapsed time, 0.443s cpu time, 0.000s GC time, factor 1.00
ML heap maximum:
440 MiB
ML heap average:
440 MiB
Isabelle version:
94fc1fcc5559

SML

data:
CSV
ML timing:
0.008s elapsed time, 0.010s cpu time, 0.000s GC time, factor 1.25
ML heap maximum:
22 MiB
ML heap average:
22 MiB
Isabelle version:
94fc1fcc5559

Sledgehammer

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
94fc1fcc5559

Nitpick

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
94fc1fcc5559

Pure-ex

data:
CSV
ML timing:
0.417s elapsed time, 0.464s cpu time, 0.000s GC time, factor 1.11
ML heap maximum:
382 MiB
ML heap average:
382 MiB
Isabelle version:
94fc1fcc5559

Cube

data:
CSV
ML timing:
0.257s elapsed time, 0.282s cpu time, 0.000s GC time, factor 1.10
ML heap maximum:
61 MiB
ML heap average:
61 MiB
Isabelle version:
94fc1fcc5559

Intro

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
94fc1fcc5559

HOL-Codegenerator_Test

data:
CSV
Isabelle version:
94fc1fcc5559

Pure-Examples

data:
CSV
ML timing:
0.288s elapsed time, 0.335s cpu time, 0.000s GC time, factor 1.16
ML heap maximum:
57 MiB
ML heap average:
3 MiB
Isabelle version:
94fc1fcc5559