Isabelle build status for Linux C

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

HOL-Analysis

data:
CSV
timing:
0:29:36 elapsed time, 0:29:44 cpu time, factor 1.00
ML timing:
1666.487s elapsed time, 1674.131s cpu time, 114.539s GC time, factor 1.00
ML code maximum:
3.6 MiB
ML code average:
2.9 MiB
ML stack maximum:
16.3 MiB
ML stack average:
10.8 MiB
ML heap maximum:
10.4 GiB
ML heap average:
4.9 GiB
ML heap stored:
260.9 MiB
Isabelle version:
86a7ec064208

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:19:31 elapsed time, 0:19:33 cpu time, factor 1.00
ML timing:
1169.383s elapsed time, 1171.065s cpu time, 17.909s GC time, factor 1.00
ML code maximum:
160.3 MiB
ML code average:
116.5 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.7 GiB
Isabelle version:
86a7ec064208

HOL-Data_Structures

data:
CSV
timing:
0:15:04 elapsed time, 0:15:07 cpu time, factor 1.00
ML timing:
895.759s elapsed time, 898.820s cpu time, 57.186s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
5.5 MiB
ML heap maximum:
7.6 GiB
ML heap average:
3.7 GiB
Isabelle version:
86a7ec064208

HOL-Datatype_Benchmark

data:
CSV
timing:
0:13:29 elapsed time, 0:13:30 cpu time, factor 1.00
ML timing:
792.167s elapsed time, 793.608s cpu time, 125.806s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.4 MiB
ML heap maximum:
15.6 GiB
ML heap average:
6.2 GiB
Isabelle version:
86a7ec064208

HOL-Proofs

data:
CSV
timing:
0:13:11 elapsed time, 0:13:13 cpu time, factor 1.00
ML timing:
613.492s elapsed time, 615.072s cpu time, 128.057s GC time, factor 1.00
ML code maximum:
28.1 MiB
ML code average:
20.5 MiB
ML stack maximum:
32.3 MiB
ML stack average:
20 MiB
ML heap maximum:
16 GiB
ML heap average:
7.5 GiB
ML heap stored:
378.3 MiB
Isabelle version:
86a7ec064208

HOL-ex

data:
CSV
timing:
0:12:06 elapsed time, 0:11:48 cpu time, factor 0.98
ML timing:
720.829s elapsed time, 702.611s cpu time, 35.979s GC time, factor 0.97
ML code maximum:
4.2 MiB
ML code average:
2.3 MiB
ML stack maximum:
16.3 MiB
ML stack average:
8.9 MiB
ML heap maximum:
8.3 GiB
ML heap average:
5.1 GiB
Isabelle version:
86a7ec064208

HOL-Codegenerator_Test

data:
CSV
timing:
0:12:01 elapsed time, 0:09:26 cpu time, factor 0.79
ML timing:
716.087s elapsed time, 561.854s cpu time, 40.020s GC time, factor 0.78
ML code maximum:
1.8 MiB
ML code average:
1.5 MiB
ML stack maximum:
8.5 MiB
ML stack average:
7.6 MiB
ML heap maximum:
6.1 GiB
ML heap average:
4.1 GiB
Isabelle version:
86a7ec064208

HOL-Nominal-Examples

data:
CSV
timing:
0:11:13 elapsed time, 0:11:11 cpu time, factor 1.00
ML timing:
666.780s elapsed time, 665.372s cpu time, 30.891s GC time, factor 1.00
ML stack maximum:
32.3 MiB
ML stack average:
31.5 MiB
ML heap maximum:
3.9 GiB
ML heap average:
3.5 GiB
Isabelle version:
86a7ec064208

HOL-Decision_Procs

data:
CSV
timing:
0:10:08 elapsed time, 0:10:13 cpu time, factor 1.01
ML timing:
604.323s elapsed time, 609.229s cpu time, 51.334s GC time, factor 1.01
ML code maximum:
3.9 MiB
ML code average:
2.4 MiB
ML stack maximum:
32.3 MiB
ML stack average:
15.9 MiB
ML heap maximum:
6.1 GiB
ML heap average:
3.8 GiB
Isabelle version:
86a7ec064208

HOL-Library

data:
CSV
timing:
0:09:40 elapsed time, 0:09:38 cpu time, factor 1.00
ML timing:
536.622s elapsed time, 535.275s cpu time, 43.141s GC time, factor 1.00
ML code maximum:
4.4 MiB
ML code average:
2.9 MiB
ML stack maximum:
8.3 MiB
ML stack average:
7.7 MiB
ML heap maximum:
4.4 GiB
ML heap average:
3.1 GiB
ML heap stored:
144.7 MiB
Isabelle version:
86a7ec064208

HOL

data:
CSV
timing:
0:09:13 elapsed time, 0:09:21 cpu time, factor 1.01
ML timing:
516.513s elapsed time, 524.872s cpu time, 43.525s GC time, factor 1.02
ML code maximum:
28.1 MiB
ML code average:
20.8 MiB
ML stack maximum:
32.3 MiB
ML stack average:
24.6 MiB
ML heap maximum:
8.7 GiB
ML heap average:
4.8 GiB
ML heap stored:
199.5 MiB
Isabelle version:
86a7ec064208

HOL-Algebra

data:
CSV
timing:
0:07:13 elapsed time, 0:07:18 cpu time, factor 1.01
ML timing:
404.356s elapsed time, 410.262s cpu time, 66.763s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
9.1 GiB
ML heap average:
4.6 GiB
ML heap stored:
62.7 MiB
Isabelle version:
86a7ec064208

HOL-Corec_Examples

data:
CSV
timing:
0:06:22 elapsed time, 0:06:23 cpu time, factor 1.00
ML timing:
369.511s elapsed time, 370.762s cpu time, 43.696s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
6.4 GiB
ML heap average:
4.3 GiB
Isabelle version:
86a7ec064208

HOL-Imperative_HOL

data:
CSV
timing:
0:04:32 elapsed time, 0:04:00 cpu time, factor 0.88
ML timing:
268.298s elapsed time, 237.048s cpu time, 15.398s GC time, factor 0.88
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
3.4 GiB
ML heap average:
2.7 GiB
Isabelle version:
86a7ec064208

HOL-Probability

data:
CSV
timing:
0:04:24 elapsed time, 0:04:24 cpu time, factor 1.00
ML timing:
237.186s elapsed time, 237.893s cpu time, 18.036s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.8 GiB
ML heap stored:
51.4 MiB
Isabelle version:
86a7ec064208

HOL-Datatype_Examples

data:
CSV
timing:
0:04:05 elapsed time, 0:04:06 cpu time, factor 1.00
ML timing:
237.811s elapsed time, 239.104s cpu time, 35.594s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1 MiB
ML heap maximum:
6.1 GiB
ML heap average:
3.2 GiB
Isabelle version:
86a7ec064208

HOL-Real_Asymp

data:
CSV
timing:
0:03:47 elapsed time, 0:03:49 cpu time, factor 1.01
ML timing:
209.412s elapsed time, 211.704s cpu time, 11.664s GC time, factor 1.01
ML code maximum:
2.9 MiB
ML code average:
2.6 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.3 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.8 GiB
ML heap stored:
64.6 MiB
Isabelle version:
86a7ec064208

HOL-Homology

data:
CSV
timing:
0:03:45 elapsed time, 0:03:48 cpu time, factor 1.01
ML timing:
220.144s elapsed time, 223.743s cpu time, 19.496s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
6.4 GiB
ML heap average:
3.6 GiB
Isabelle version:
86a7ec064208

HOL-Auth

data:
CSV
timing:
0:03:31 elapsed time, 0:03:33 cpu time, factor 1.01
ML timing:
203.028s elapsed time, 204.900s cpu time, 8.899s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
29.8 MiB
Isabelle version:
86a7ec064208

Codegen

data:
CSV
timing:
0:03:26 elapsed time, 0:03:24 cpu time, factor 0.99
ML timing:
203.548s elapsed time, 202.011s cpu time, 16.709s GC time, factor 0.99
ML stack maximum:
8.3 MiB
ML stack average:
7.9 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.7 GiB
Isabelle version:
86a7ec064208

HOL-MicroJava

data:
CSV
timing:
0:03:15 elapsed time, 0:03:17 cpu time, factor 1.01
ML timing:
193.461s elapsed time, 195.476s cpu time, 6.483s GC time, factor 1.01
ML code maximum:
1 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

HOL-Hoare_Parallel

data:
CSV
timing:
0:03:04 elapsed time, 0:03:03 cpu time, factor 0.99
ML timing:
181.199s elapsed time, 182.236s cpu time, 6.879s GC time, factor 1.01
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:
86a7ec064208

HOL-Computational_Algebra

data:
CSV
timing:
0:02:59 elapsed time, 0:03:02 cpu time, factor 1.02
ML timing:
164.418s elapsed time, 167.636s cpu time, 11.673s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
7.6 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.8 GiB
ML heap stored:
40.7 MiB
Isabelle version:
86a7ec064208

HOL-Bali

data:
CSV
timing:
0:02:43 elapsed time, 0:02:45 cpu time, factor 1.01
ML timing:
160.294s elapsed time, 163.016s cpu time, 11.982s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
5 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2 GiB
Isabelle version:
86a7ec064208

HOL-IMP

data:
CSV
timing:
0:02:40 elapsed time, 0:02:39 cpu time, factor 0.99
ML timing:
157.910s elapsed time, 157.308s cpu time, 7.035s GC time, factor 1.00
ML code maximum:
8.7 MiB
ML code average:
3.4 MiB
ML stack maximum:
8.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.6 GiB
Isabelle version:
86a7ec064208

HOL-Complex_Analysis

data:
CSV
timing:
0:02:35 elapsed time, 0:02:38 cpu time, factor 1.02
ML timing:
152.686s elapsed time, 156.169s cpu time, 5.028s 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:
86a7ec064208

HOL-Number_Theory

data:
CSV
timing:
0:02:35 elapsed time, 0:02:37 cpu time, factor 1.01
ML timing:
152.715s elapsed time, 155.315s cpu time, 12.918s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
3.3 GiB
ML heap average:
2.3 GiB
Isabelle version:
86a7ec064208

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:02:33 elapsed time, 0:02:03 cpu time, factor 0.80
ML timing:
151.562s elapsed time, 121.618s cpu time, 2.871s GC time, factor 0.80
ML code maximum:
5 MiB
ML code average:
1.5 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

HOL-Proofs-Extraction

data:
CSV
timing:
0:02:33 elapsed time, 0:02:34 cpu time, factor 1.01
ML timing:
149.481s elapsed time, 150.783s cpu time, 14.152s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
3.9 GiB
ML heap average:
2.8 GiB
Isabelle version:
86a7ec064208

HOL-Examples

data:
CSV
timing:
0:02:20 elapsed time, 0:02:21 cpu time, factor 1.01
ML timing:
137.858s elapsed time, 138.888s cpu time, 9.861s GC time, factor 1.01
ML stack maximum:
8.5 MiB
ML stack average:
6.3 MiB
ML heap maximum:
3.6 GiB
ML heap average:
2.1 GiB
Isabelle version:
86a7ec064208

HOL-SMT_Examples

data:
CSV
timing:
0:02:05 elapsed time, 0:01:49 cpu time, factor 0.87
ML timing:
123.460s elapsed time, 108.361s cpu time, 6.168s GC time, factor 0.88
ML stack maximum:
8.3 MiB
ML stack average:
8 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:54 elapsed time, 0:01:17 cpu time, factor 0.68
ML timing:
112.493s elapsed time, 75.704s cpu time, 1.653s GC time, factor 0.67
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:
86a7ec064208

HOL-Record_Benchmark

data:
CSV
timing:
0:01:38 elapsed time, 0:01:38 cpu time, factor 1.00
ML timing:
96.450s elapsed time, 96.612s cpu time, 7.069s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:35 elapsed time, 0:01:35 cpu time, factor 1.00
ML timing:
93.133s elapsed time, 93.323s cpu time, 8.027s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
2.5 GiB
ML heap average:
1.7 GiB
Isabelle version:
86a7ec064208

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:31 elapsed time, 0:01:32 cpu time, factor 1.01
ML timing:
89.647s elapsed time, 90.619s cpu time, 4.116s GC time, factor 1.01
ML code maximum:
12.1 MiB
ML code average:
4.4 MiB
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:
86a7ec064208

HOL-UNITY

data:
CSV
timing:
0:01:21 elapsed time, 0:01:22 cpu time, factor 1.01
ML timing:
78.995s elapsed time, 80.658s cpu time, 5.652s GC time, factor 1.02
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:
86a7ec064208

HOL-SET_Protocol

data:
CSV
timing:
0:01:15 elapsed time, 0:01:15 cpu time, factor 1.00
ML timing:
74.176s elapsed time, 74.627s cpu time, 1.980s 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.4 GiB
Isabelle version:
86a7ec064208

Datatypes

data:
CSV
timing:
0:01:13 elapsed time, 0:01:10 cpu time, factor 0.96
ML timing:
55.582s elapsed time, 51.930s cpu time, 6.221s GC time, factor 0.93
ML stack maximum:
4.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.2 GiB
ML heap stored:
69.7 MiB
Isabelle version:
86a7ec064208

HOL-Metis_Examples

data:
CSV
timing:
0:01:06 elapsed time, 0:00:51 cpu time, factor 0.77
ML timing:
64.881s elapsed time, 49.893s cpu time, 4.162s GC time, factor 0.77
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.6 GiB
Isabelle version:
86a7ec064208

Corec

data:
CSV
timing:
0:00:59 elapsed time, 0:00:56 cpu time, factor 0.95
ML timing:
55.839s elapsed time, 54.021s cpu time, 4.420s GC time, factor 0.97
ML code maximum:
2.2 MiB
ML code average:
2 MiB
ML stack maximum:
8.3 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

HOL-Combinatorics

data:
CSV
timing:
0:00:43 elapsed time, 0:00:44 cpu time, factor 1.02
ML timing:
41.668s elapsed time, 42.911s cpu time, 3.651s GC time, factor 1.03
ML stack maximum:
8.3 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

HOL-Matrix_LP

data:
CSV
timing:
0:00:42 elapsed time, 0:00:42 cpu time, factor 1.00
ML timing:
41.525s elapsed time, 41.585s cpu time, 2.877s GC time, factor 1.00
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:
86a7ec064208

Tutorial

data:
CSV
timing:
0:00:41 elapsed time, 0:00:37 cpu time, factor 0.90
ML timing:
38.949s elapsed time, 35.794s cpu time, 3.421s GC time, factor 0.92
ML stack maximum:
1.3 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

Isar_Ref

data:
CSV
timing:
0:00:41 elapsed time, 0:00:25 cpu time, factor 0.61
ML timing:
40.211s elapsed time, 24.630s cpu time, 2.169s GC time, factor 0.61
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-SPARK

data:
CSV
timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.00
ML timing:
32.019s elapsed time, 32.436s cpu time, 2.072s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
6.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
14.8 MiB
Isabelle version:
86a7ec064208

HOL-Hoare

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
37.296s elapsed time, 37.608s cpu time, 0.789s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

HOL-Analysis-ex

data:
CSV
timing:
0:00:37 elapsed time, 0:00:37 cpu time, factor 1.00
ML timing:
35.759s elapsed time, 35.896s cpu time, 0.271s GC time, factor 1.00
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:
86a7ec064208

HOLCF

data:
CSV
timing:
0:00:33 elapsed time, 0:00:34 cpu time, factor 1.03
ML timing:
25.584s elapsed time, 26.663s cpu time, 2.382s GC time, factor 1.04
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1 GiB
ML heap stored:
18.5 MiB
Isabelle version:
86a7ec064208

HOL-Quotient_Examples

data:
CSV
timing:
0:00:32 elapsed time, 0:00:26 cpu time, factor 0.81
ML timing:
30.679s elapsed time, 24.990s cpu time, 1.130s GC time, factor 0.81
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:
86a7ec064208

HOL-Cardinals

data:
CSV
timing:
0:00:31 elapsed time, 0:00:32 cpu time, factor 1.03
ML timing:
30.230s elapsed time, 30.863s cpu time, 0.974s GC time, factor 1.02
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:
86a7ec064208

System

data:
CSV
timing:
0:00:30 elapsed time
ML timing:
29.433s elapsed time, 1.232s cpu time, 0.000s GC time, factor 0.04
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
626 MiB
ML heap average:
331 MiB
Isabelle version:
86a7ec064208

IOA

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
19.766s elapsed time, 20.271s cpu time, 0.785s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1008.8 MiB
ML heap stored:
6.3 MiB
Isabelle version:
86a7ec064208

HOLCF-Library

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
19.491s elapsed time, 20.041s cpu time, 0.759s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
9.4 MiB
Isabelle version:
86a7ec064208

ZF

data:
CSV
timing:
0:00:27 elapsed time, 0:00:28 cpu time, factor 1.04
ML timing:
25.250s elapsed time, 26.128s cpu time, 3.307s GC time, factor 1.03
ML code maximum:
1.7 MiB
ML code average:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.3 GiB
ML heap stored:
13.6 MiB
Isabelle version:
86a7ec064208

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
18.044s elapsed time, 18.796s cpu time, 0.886s GC time, factor 1.04
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
987.3 MiB
ML heap stored:
9.7 MiB
Isabelle version:
86a7ec064208

HOL-Nominal

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
15.441s elapsed time, 15.617s cpu time, 0.652s GC time, factor 1.01
ML code maximum:
1.8 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1010.8 MiB
ML heap stored:
9.1 MiB
Isabelle version:
86a7ec064208

HOL-ZF

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
19.764s elapsed time, 20.474s cpu time, 1.070s GC time, factor 1.04
ML stack maximum:
8.3 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-Induct

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.123s elapsed time, 19.416s cpu time, 1.146s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

ZF-Constructible

data:
CSV
timing:
0:00:20 elapsed time, 0:00:21 cpu time, factor 1.05
ML timing:
19.929s elapsed time, 20.724s cpu time, 4.000s GC time, factor 1.04
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.2 GiB
Isabelle version:
86a7ec064208

HOL-SPARK-Examples

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.188s elapsed time, 19.375s cpu time, 0.281s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-Types_To_Sets

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
17.098s elapsed time, 17.415s cpu time, 0.651s GC time, factor 1.02
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:
86a7ec064208

Pure

data:
CSV
timing:
0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94
ML timing:
0.604s elapsed time, 0.634s cpu time, 0.019s GC time, factor 1.05
ML code maximum:
17.7 MiB
ML code average:
17.7 MiB
ML stack maximum:
2 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
578 MiB
ML heap stored:
24 MiB
Isabelle version:
86a7ec064208

Typeclass_Hierarchy

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
16.307s elapsed time, 15.998s cpu time, 0.799s GC time, factor 0.98
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:
86a7ec064208

HOL-Hahn_Banach

data:
CSV
timing:
0:00:16 elapsed time, 0:00:17 cpu time, factor 1.06
ML timing:
15.545s elapsed time, 16.046s cpu time, 1.395s GC time, factor 1.03
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:
86a7ec064208

ZF-UNITY

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.283s elapsed time, 15.811s cpu time, 0.667s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-TLA-Memory

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.088s elapsed time, 15.284s cpu time, 0.267s 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:
86a7ec064208

HOL-Unix

data:
CSV
timing:
0:00:16 elapsed time, 0:00:14 cpu time, factor 0.88
ML timing:
13.625s elapsed time, 13.579s cpu time, 1.396s 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.2 GiB
Isabelle version:
86a7ec064208

HOL-Statespace

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
11.599s elapsed time, 11.746s cpu time, 0.439s 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:
86a7ec064208

Implementation

data:
CSV
timing:
0:00:13 elapsed time, 0:00:04 cpu time, factor 0.31
ML timing:
12.163s elapsed time, 3.843s cpu time, 0.039s GC time, factor 0.32
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1008 MiB
ML heap average:
689.1 MiB
Isabelle version:
86a7ec064208

HOL-Probability-ex

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
11.118s elapsed time, 11.304s cpu time, 0.320s GC time, factor 1.02
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:
86a7ec064208

HOL-Import

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
10.914s elapsed time, 10.961s cpu time, 0.385s GC time, factor 1.00
ML stack maximum:
64.3 MiB
ML stack average:
55.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
86a7ec064208

HOL-Eisbach

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.305s elapsed time, 10.526s cpu time, 0.265s GC time, factor 1.02
ML code maximum:
1.8 MiB
ML code average:
1.5 MiB
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:
86a7ec064208

HOL-Isar_Examples

data:
CSV
timing:
0:00:11 elapsed time, 0:00:09 cpu time, factor 0.82
ML timing:
10.370s elapsed time, 8.708s cpu time, 0.339s GC time, factor 0.84
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

HOLCF-Tutorial

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
9.823s elapsed time, 9.943s cpu time, 0.262s GC time, factor 1.01
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

IOA-NTP

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
8.742s elapsed time, 8.845s cpu time, 0.359s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
86a7ec064208

ZF-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.949s elapsed time, 10.258s cpu time, 1.079s 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.1 GiB
Isabelle version:
86a7ec064208

HOL-NanoJava

data:
CSV
timing:
0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89
ML timing:
7.595s elapsed time, 7.721s cpu time, 0.348s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
86a7ec064208

IOA-ABP

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.612s elapsed time, 7.694s cpu time, 0.282s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

ZF-Induct

data:
CSV
timing:
0:00:08 elapsed time, 0:00:07 cpu time, factor 0.88
ML timing:
6.826s elapsed time, 6.522s cpu time, 0.290s GC time, factor 0.96
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
3.9 MiB
Isabelle version:
86a7ec064208

FOL-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.723s elapsed time, 7.898s cpu time, 0.171s 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.1 GiB
Isabelle version:
86a7ec064208

Prog_Prove

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
6.931s elapsed time, 6.760s cpu time, 0.288s GC time, factor 0.98
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:
86a7ec064208

HOLCF-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.325s elapsed time, 7.555s cpu time, 0.281s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

JEdit

data:
CSV
timing:
0:00:08 elapsed time
ML timing:
7.179s elapsed time, 0.753s cpu time, 0.000s GC time, factor 0.10
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
378 MiB
ML heap average:
279.3 MiB
Isabelle version:
86a7ec064208

HOLCF-IMP

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
6.850s elapsed time, 6.876s cpu time, 0.205s GC time, factor 1.00
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

HOL-TLA

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
2.303s elapsed time, 2.457s cpu time, 0.075s GC time, factor 1.07
ML stack maximum:
2.3 MiB
ML heap maximum:
762 MiB
ML heap average:
242.7 MiB
ML heap stored:
2.9 MiB
Isabelle version:
86a7ec064208

HOL-SPARK-Manual

data:
CSV
timing:
0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
ML timing:
5.684s elapsed time, 5.575s cpu time, 0.067s GC time, factor 0.98
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1017.8 MiB
Isabelle version:
86a7ec064208

HOLCF-FOCUS

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.442s elapsed time, 6.612s cpu time, 0.159s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
86a7ec064208

HOL-IMPP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
ML timing:
5.609s elapsed time, 5.719s cpu time, 0.274s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1004.6 MiB
Isabelle version:
86a7ec064208

HOL-TPTP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
ML timing:
5.649s elapsed time, 5.777s cpu time, 0.244s GC time, factor 1.02
ML code maximum:
4 MiB
ML code average:
2.7 MiB
ML stack maximum:
16.3 MiB
ML stack average:
15.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

ZF-AC

data:
CSV
timing:
0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
ML timing:
6.158s elapsed time, 6.462s cpu time, 0.426s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

CCL

data:
CSV
timing:
0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
ML timing:
5.859s elapsed time, 6.097s cpu time, 0.375s GC time, factor 1.04
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
990.7 MiB
Isabelle version:
86a7ec064208

HOL-Proofs-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
4.347s elapsed time, 4.382s cpu time, 0.889s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.4 GiB
ML heap average:
924.9 MiB
Isabelle version:
86a7ec064208

LCF

data:
CSV
timing:
0:00:06 elapsed time, 0:00:04 cpu time, factor 0.67
ML timing:
3.356s elapsed time, 3.405s cpu time, 0.097s GC time, factor 1.01
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
625.9 MiB
Isabelle version:
86a7ec064208

Sequents

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.888s elapsed time, 3.962s cpu time, 0.095s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
802 MiB
Isabelle version:
86a7ec064208

FOLP-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.916s elapsed time, 5.022s cpu time, 0.079s GC time, factor 1.02
ML code maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
86a7ec064208

Functions

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.793s elapsed time, 3.569s cpu time, 0.064s GC time, factor 0.94
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.2 GiB
ML heap average:
727.1 MiB
Isabelle version:
86a7ec064208

Tools

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.699s elapsed time, 3.747s cpu time, 0.128s 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:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
936.1 MiB
Isabelle version:
86a7ec064208

HOL-IOA

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.286s elapsed time, 3.347s cpu time, 0.047s GC time, factor 1.02
ML heap maximum:
1.4 GiB
ML heap average:
885.2 MiB
Isabelle version:
86a7ec064208

Classes

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
2.988s elapsed time, 1.579s cpu time, 0.042s GC time, factor 0.53
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
660 MiB
ML heap average:
378.6 MiB
Isabelle version:
86a7ec064208

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.581s elapsed time, 2.617s cpu time, 0.058s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.1 GiB
ML heap average:
619.2 MiB
Isabelle version:
86a7ec064208

FOL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.321s elapsed time, 3.441s cpu time, 0.093s 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:
777.7 MiB
ML heap stored:
3.6 MiB
Isabelle version:
86a7ec064208

HOL-TLA-Inc

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.394s elapsed time, 3.432s cpu time, 0.040s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
837.1 MiB
Isabelle version:
86a7ec064208

HOL-Lattice

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.802s elapsed time, 2.873s cpu time, 0.082s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
831 MiB
ML heap average:
634.7 MiB
Isabelle version:
86a7ec064208

HOL-Mutabelle

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.831s elapsed time, 1.860s cpu time, 0.191s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
775 MiB
ML heap average:
540.6 MiB
Isabelle version:
86a7ec064208

IOA-Storage

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.923s elapsed time, 1.942s cpu time, 0.050s GC time, factor 1.01
ML heap maximum:
715 MiB
ML heap average:
444.7 MiB
Isabelle version:
86a7ec064208

Locales

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.424s elapsed time, 1.887s cpu time, 0.070s GC time, factor 0.78
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
760 MiB
ML heap average:
577.7 MiB
Isabelle version:
86a7ec064208

Eisbach

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.690s elapsed time, 2.319s cpu time, 0.115s GC time, factor 0.86
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
767 MiB
ML heap average:
557 MiB
Isabelle version:
86a7ec064208

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.160s elapsed time, 2.216s cpu time, 0.037s GC time, factor 1.03
ML heap maximum:
756 MiB
ML heap average:
442.2 MiB
Isabelle version:
86a7ec064208

Sugar

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.113s elapsed time, 1.019s cpu time, 0.000s GC time, factor 0.92
ML stack maximum:
1.3 MiB
ML heap maximum:
519 MiB
ML heap average:
416.1 MiB
Isabelle version:
86a7ec064208

ZF-Resid

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
2.091s elapsed time, 2.186s cpu time, 0.036s GC time, factor 1.05
ML heap maximum:
875 MiB
ML heap average:
660.1 MiB
Isabelle version:
86a7ec064208

HOL-TLA-Buffer

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.168s elapsed time, 1.193s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
578 MiB
ML heap average:
294.5 MiB
Isabelle version:
86a7ec064208

IOA-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.504s elapsed time, 1.528s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
687 MiB
ML heap average:
485.7 MiB
Isabelle version:
86a7ec064208

FOLP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.331s elapsed time, 1.394s cpu time, 0.043s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
686 MiB
ML heap average:
319.1 MiB
ML heap stored:
1.5 MiB
Isabelle version:
86a7ec064208

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.225s elapsed time, 1.284s cpu time, 0.042s GC time, factor 1.05
ML heap maximum:
685 MiB
ML heap average:
529 MiB
Isabelle version:
86a7ec064208

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.715s elapsed time, 0.588s cpu time, 0.000s GC time, factor 0.82
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
281 MiB
ML heap average:
281 MiB
Isabelle version:
86a7ec064208

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.449s elapsed time, 0.457s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
270 MiB
ML heap average:
270 MiB
Isabelle version:
86a7ec064208

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.232s elapsed time, 1.264s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
594 MiB
ML heap average:
322.7 MiB
Isabelle version:
86a7ec064208

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.399s elapsed time, 1.491s cpu time, 0.077s GC time, factor 1.07
ML stack maximum:
1.3 MiB
ML heap maximum:
611 MiB
ML heap average:
322.6 MiB
Isabelle version:
86a7ec064208

Demo_FoilTeX

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

Demo_LLNCS

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

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.240s elapsed time, 0.202s cpu time, 0.000s GC time, factor 0.84
ML heap maximum:
38 MiB
ML heap average:
38 MiB
Isabelle version:
86a7ec064208

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.594s elapsed time, 0.610s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
316 MiB
ML heap average:
316 MiB
Isabelle version:
86a7ec064208

Pure-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.682s elapsed time, 0.587s cpu time, 0.000s GC time, factor 0.86
ML heap maximum:
250 MiB
ML heap average:
250 MiB
Isabelle version:
86a7ec064208

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.237s elapsed time, 0.198s cpu time, 0.000s GC time, factor 0.84
ML heap maximum:
43 MiB
ML heap average:
43 MiB
Isabelle version:
86a7ec064208

Haskell

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.534s elapsed time, 0.553s cpu time, 0.000s GC time, factor 1.04
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
344 MiB
ML heap average:
344 MiB
Isabelle version:
86a7ec064208

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.846s elapsed time, 0.901s cpu time, 0.000s GC time, factor 1.07
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
359 MiB
ML heap average:
229.5 MiB
Isabelle version:
86a7ec064208

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.231s elapsed time, 0.193s cpu time, 0.000s GC time, factor 0.84
ML heap maximum:
42 MiB
ML heap average:
42 MiB
Isabelle version:
86a7ec064208

Pure-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.278s elapsed time, 0.419s cpu time, 0.000s GC time, factor 0.33
ML heap maximum:
94 MiB
ML heap average:
57 MiB
Isabelle version:
86a7ec064208

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.480s elapsed time, 0.513s cpu time, 0.000s GC time, factor 1.07
ML heap maximum:
332 MiB
ML heap average:
332 MiB
Isabelle version:
86a7ec064208

Logics

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

SML

data:
CSV
ML timing:
0.021s elapsed time, 0.022s cpu time, 0.000s GC time, factor 1.05
ML heap maximum:
22 MiB
ML heap average:
22 MiB
Isabelle version:
86a7ec064208

Sledgehammer

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

Nitpick

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

Cube

data:
CSV
ML timing:
0.341s elapsed time, 0.366s cpu time, 0.000s GC time, factor 1.07
ML heap maximum:
41 MiB
ML heap average:
3 MiB
Isabelle version:
86a7ec064208

Intro

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