Isabelle build status for Linux C

status date:
08-Apr-2026 01:55:41 +0200
build host:
linux-netcup-g12

HOL-Analysis

data:
CSV
timing:
0:28:53 elapsed time, 0:29:02 cpu time, factor 1.01
ML timing:
1628.609s elapsed time, 1638.186s cpu time, 99.662s GC time, factor 1.01
ML code maximum:
3.6 MiB
ML code average:
2.7 MiB
ML stack maximum:
16.3 MiB
ML stack average:
10.3 MiB
ML heap maximum:
7.7 GiB
ML heap average:
4.8 GiB
ML heap stored:
254.5 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:19:27 elapsed time, 0:19:28 cpu time, factor 1.00
ML timing:
1164.969s elapsed time, 1166.497s cpu time, 18.953s 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.5 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.6 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Data_Structures

data:
CSV
timing:
0:15:25 elapsed time, 0:15:28 cpu time, factor 1.00
ML timing:
917.685s elapsed time, 920.877s cpu time, 67.769s GC time, factor 1.00
ML stack maximum:
8.5 MiB
ML stack average:
5.8 MiB
ML heap maximum:
8.9 GiB
ML heap average:
4.3 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Datatype_Benchmark

data:
CSV
timing:
0:13:42 elapsed time, 0:13:43 cpu time, factor 1.00
ML timing:
806.424s elapsed time, 808.134s cpu time, 140.963s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.4 MiB
ML heap maximum:
15.7 GiB
ML heap average:
7.2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Proofs

data:
CSV
timing:
0:13:08 elapsed time, 0:13:11 cpu time, factor 1.00
ML timing:
612.356s elapsed time, 615.414s cpu time, 127.648s GC time, factor 1.00
ML code maximum:
27.8 MiB
ML code average:
20.9 MiB
ML stack maximum:
32.3 MiB
ML stack average:
20.4 MiB
ML heap maximum:
16 GiB
ML heap average:
7.5 GiB
ML heap stored:
378.2 MiB
Isabelle version:
c6fc0c7ef56f

HOL-ex

data:
CSV
timing:
0:12:03 elapsed time, 0:11:44 cpu time, factor 0.97
ML timing:
717.451s elapsed time, 699.092s cpu time, 35.560s GC time, factor 0.97
ML code maximum:
4.2 MiB
ML code average:
2.3 MiB
ML stack maximum:
16.6 MiB
ML stack average:
9.1 MiB
ML heap maximum:
9 GiB
ML heap average:
5.3 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Codegenerator_Test

data:
CSV
timing:
0:11:50 elapsed time, 0:09:15 cpu time, factor 0.78
ML timing:
704.911s elapsed time, 550.275s cpu time, 39.539s GC time, factor 0.78
ML code maximum:
1.8 MiB
ML code average:
1.5 MiB
ML stack maximum:
10 MiB
ML stack average:
9.2 MiB
ML heap maximum:
6.3 GiB
ML heap average:
4.2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Nominal-Examples

data:
CSV
timing:
0:11:35 elapsed time, 0:11:34 cpu time, factor 1.00
ML timing:
689.492s elapsed time, 688.159s cpu time, 41.893s GC time, factor 1.00
ML stack maximum:
32.5 MiB
ML stack average:
31.7 MiB
ML heap maximum:
4.8 GiB
ML heap average:
3.9 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Decision_Procs

data:
CSV
timing:
0:09:51 elapsed time, 0:09:55 cpu time, factor 1.01
ML timing:
587.090s elapsed time, 591.859s cpu time, 42.824s 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.7 MiB
ML heap maximum:
7.6 GiB
ML heap average:
3.9 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Library

data:
CSV
timing:
0:09:39 elapsed time, 0:09:32 cpu time, factor 0.99
ML timing:
536.053s elapsed time, 529.400s cpu time, 43.425s GC time, factor 0.99
ML code maximum:
4.3 MiB
ML code average:
3 MiB
ML stack maximum:
8.5 MiB
ML stack average:
7.9 MiB
ML heap maximum:
4.3 GiB
ML heap average:
2.9 GiB
ML heap stored:
144 MiB
Isabelle version:
c6fc0c7ef56f

HOL

data:
CSV
timing:
0:09:34 elapsed time, 0:09:42 cpu time, factor 1.01
ML timing:
537.651s elapsed time, 545.875s cpu time, 47.468s GC time, factor 1.02
ML code maximum:
27.7 MiB
ML code average:
20.7 MiB
ML stack maximum:
32.3 MiB
ML stack average:
24.5 MiB
ML heap maximum:
10.7 GiB
ML heap average:
5.7 GiB
ML heap stored:
199.6 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Algebra

data:
CSV
timing:
0:07:29 elapsed time, 0:07:34 cpu time, factor 1.01
ML timing:
420.781s elapsed time, 426.522s cpu time, 76.060s GC time, factor 1.01
ML stack maximum:
4.5 MiB
ML stack average:
4.1 MiB
ML heap maximum:
10.4 GiB
ML heap average:
5.4 GiB
ML heap stored:
62.7 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Corec_Examples

data:
CSV
timing:
0:06:30 elapsed time, 0:06:31 cpu time, factor 1.00
ML timing:
377.943s elapsed time, 379.524s cpu time, 56.121s GC time, factor 1.00
ML stack maximum:
4.5 MiB
ML stack average:
1.6 MiB
ML heap maximum:
5.2 GiB
ML heap average:
3.6 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Imperative_HOL

data:
CSV
timing:
0:04:32 elapsed time, 0:04:01 cpu time, factor 0.89
ML timing:
269.756s elapsed time, 238.916s cpu time, 15.031s GC time, factor 0.89
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
3 GiB
ML heap average:
2.5 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Probability

data:
CSV
timing:
0:04:15 elapsed time, 0:04:15 cpu time, factor 1.00
ML timing:
229.273s elapsed time, 229.876s cpu time, 10.971s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
2.5 GiB
ML heap average:
2.1 GiB
ML heap stored:
51.2 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Datatype_Examples

data:
CSV
timing:
0:04:04 elapsed time, 0:04:05 cpu time, factor 1.00
ML timing:
235.364s elapsed time, 236.610s cpu time, 33.362s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1 MiB
ML heap maximum:
6.6 GiB
ML heap average:
3.7 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Real_Asymp

data:
CSV
timing:
0:03:46 elapsed time, 0:03:48 cpu time, factor 1.01
ML timing:
208.937s elapsed time, 211.328s cpu time, 11.076s GC time, factor 1.01
ML code maximum:
2.9 MiB
ML code average:
2.5 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.4 MiB
ML heap maximum:
3.2 GiB
ML heap average:
1.9 GiB
ML heap stored:
64.6 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Homology

data:
CSV
timing:
0:03:46 elapsed time, 0:03:49 cpu time, factor 1.01
ML timing:
221.689s elapsed time, 225.042s cpu time, 20.124s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
6.2 GiB
ML heap average:
3.5 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Auth

data:
CSV
timing:
0:03:28 elapsed time, 0:03:29 cpu time, factor 1.00
ML timing:
199.639s elapsed time, 201.424s cpu time, 7.502s GC time, factor 1.01
ML stack maximum:
5 MiB
ML stack average:
4.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
29.8 MiB
Isabelle version:
c6fc0c7ef56f

Codegen

data:
CSV
timing:
0:03:24 elapsed time, 0:03:22 cpu time, factor 0.99
ML timing:
201.967s elapsed time, 199.819s cpu time, 10.270s GC time, factor 0.99
ML stack maximum:
8.5 MiB
ML stack average:
8.1 MiB
ML heap maximum:
3.5 GiB
ML heap average:
2.7 GiB
Isabelle version:
c6fc0c7ef56f

HOL-MicroJava

data:
CSV
timing:
0:03:12 elapsed time, 0:03:14 cpu time, factor 1.01
ML timing:
190.351s elapsed time, 192.281s cpu time, 5.867s GC time, factor 1.01
ML code maximum:
1.1 MiB
ML code average:
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:
c6fc0c7ef56f

HOL-Hoare_Parallel

data:
CSV
timing:
0:03:02 elapsed time, 0:03:02 cpu time, factor 1.00
ML timing:
180.014s elapsed time, 180.977s cpu time, 5.389s 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:
c6fc0c7ef56f

HOL-Computational_Algebra

data:
CSV
timing:
0:02:59 elapsed time, 0:03:01 cpu time, factor 1.01
ML timing:
164.890s elapsed time, 168.020s cpu time, 11.532s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
7.6 MiB
ML heap maximum:
2.4 GiB
ML heap average:
1.8 GiB
ML heap stored:
40.8 MiB
Isabelle version:
c6fc0c7ef56f

HOL-IMP

data:
CSV
timing:
0:02:46 elapsed time, 0:02:45 cpu time, factor 0.99
ML timing:
163.629s elapsed time, 163.162s cpu time, 10.326s GC time, factor 1.00
ML code maximum:
8.4 MiB
ML code average:
3.3 MiB
ML stack maximum:
8.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.6 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Number_Theory

data:
CSV
timing:
0:02:45 elapsed time, 0:02:47 cpu time, factor 1.01
ML timing:
162.643s elapsed time, 165.277s cpu time, 19.522s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
4.4 GiB
ML heap average:
2.5 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Complex_Analysis

data:
CSV
timing:
0:02:39 elapsed time, 0:02:42 cpu time, factor 1.02
ML timing:
157.046s elapsed time, 160.346s cpu time, 6.764s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:02:36 elapsed time, 0:02:06 cpu time, factor 0.81
ML timing:
154.462s elapsed time, 124.200s cpu time, 5.119s GC time, factor 0.80
ML code maximum:
4.4 MiB
ML code average:
1.5 MiB
ML stack maximum:
5 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Bali

data:
CSV
timing:
0:02:34 elapsed time, 0:02:37 cpu time, factor 1.02
ML timing:
152.381s elapsed time, 155.195s cpu time, 8.035s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
4.9 MiB
ML heap maximum:
2.3 GiB
ML heap average:
2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Proofs-Extraction

data:
CSV
timing:
0:02:26 elapsed time, 0:02:27 cpu time, factor 1.01
ML timing:
142.200s elapsed time, 143.409s cpu time, 10.647s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
3.8 GiB
ML heap average:
2.8 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Examples

data:
CSV
timing:
0:02:21 elapsed time, 0:02:22 cpu time, factor 1.01
ML timing:
138.422s elapsed time, 139.488s cpu time, 10.254s GC time, factor 1.01
ML stack maximum:
8.5 MiB
ML stack average:
6.3 MiB
ML heap maximum:
3.5 GiB
ML heap average:
2.1 GiB
Isabelle version:
c6fc0c7ef56f

HOL-SMT_Examples

data:
CSV
timing:
0:01:55 elapsed time, 0:01:46 cpu time, factor 0.92
ML timing:
113.272s elapsed time, 104.733s cpu time, 4.515s GC time, factor 0.92
ML stack maximum:
8.5 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:54 elapsed time, 0:01:15 cpu time, factor 0.66
ML timing:
113.216s elapsed time, 73.794s cpu time, 1.619s GC time, factor 0.65
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:
c6fc0c7ef56f

HOL-Record_Benchmark

data:
CSV
timing:
0:01:38 elapsed time, 0:01:38 cpu time, factor 1.00
ML timing:
96.730s elapsed time, 96.886s cpu time, 6.940s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:37 elapsed time, 0:01:37 cpu time, factor 1.00
ML timing:
94.705s elapsed time, 94.912s cpu time, 7.938s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.6 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:28 elapsed time, 0:01:29 cpu time, factor 1.01
ML timing:
86.908s elapsed time, 87.868s cpu time, 2.925s GC time, factor 1.01
ML code maximum:
12.1 MiB
ML code average:
4.5 MiB
ML stack maximum:
8.5 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-UNITY

data:
CSV
timing:
0:01:25 elapsed time, 0:01:27 cpu time, factor 1.02
ML timing:
83.664s elapsed time, 85.286s cpu time, 6.946s GC time, factor 1.02
ML stack maximum:
10 MiB
ML stack average:
10 MiB
ML heap maximum:
2.6 GiB
ML heap average:
1.9 GiB
Isabelle version:
c6fc0c7ef56f

HOL-SET_Protocol

data:
CSV
timing:
0:01:17 elapsed time, 0:01:17 cpu time, factor 1.00
ML timing:
76.212s elapsed time, 76.645s cpu time, 2.037s 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:
c6fc0c7ef56f

Datatypes

data:
CSV
timing:
0:01:17 elapsed time, 0:01:13 cpu time, factor 0.95
ML timing:
58.545s elapsed time, 54.977s cpu time, 8.079s GC time, factor 0.94
ML stack maximum:
4.5 MiB
ML stack average:
3.5 MiB
ML heap maximum:
2 GiB
ML heap average:
1.2 GiB
ML heap stored:
69.7 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Metis_Examples

data:
CSV
timing:
0:01:11 elapsed time, 0:00:55 cpu time, factor 0.77
ML timing:
69.402s elapsed time, 53.734s cpu time, 5.507s 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.5 GiB
Isabelle version:
c6fc0c7ef56f

Corec

data:
CSV
timing:
0:00:58 elapsed time, 0:00:57 cpu time, factor 0.98
ML timing:
55.950s elapsed time, 54.184s cpu time, 4.557s 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.5 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Matrix_LP

data:
CSV
timing:
0:00:43 elapsed time, 0:00:42 cpu time, factor 0.98
ML timing:
41.735s elapsed time, 41.744s cpu time, 2.896s 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.3 GiB
Isabelle version:
c6fc0c7ef56f

Isar_Ref

data:
CSV
timing:
0:00:43 elapsed time, 0:00:26 cpu time, factor 0.60
ML timing:
41.855s elapsed time, 25.364s cpu time, 2.118s GC time, factor 0.61
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

Tutorial

data:
CSV
timing:
0:00:42 elapsed time, 0:00:37 cpu time, factor 0.88
ML timing:
40.068s elapsed time, 36.094s cpu time, 3.680s GC time, factor 0.90
ML stack maximum:
2 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

HOL-SPARK

data:
CSV
timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.00
ML timing:
32.139s elapsed time, 32.582s cpu time, 2.181s 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:
c6fc0c7ef56f

HOL-Combinatorics

data:
CSV
timing:
0:00:40 elapsed time, 0:00:41 cpu time, factor 1.03
ML timing:
39.098s elapsed time, 40.090s cpu time, 1.741s GC time, factor 1.03
ML stack maximum:
8.3 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Hoare

data:
CSV
timing:
0:00:39 elapsed time, 0:00:39 cpu time, factor 1.00
ML timing:
38.234s elapsed time, 38.547s cpu time, 0.801s GC time, factor 1.01
ML stack maximum:
1.5 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Analysis-ex

data:
CSV
timing:
0:00:37 elapsed time, 0:00:37 cpu time, factor 1.00
ML timing:
35.037s elapsed time, 35.166s cpu time, 0.263s 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:
c6fc0c7ef56f

HOL-Quotient_Examples

data:
CSV
timing:
0:00:35 elapsed time, 0:00:29 cpu time, factor 0.83
ML timing:
33.517s elapsed time, 27.512s cpu time, 1.800s GC time, factor 0.82
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:
c6fc0c7ef56f

HOLCF

data:
CSV
timing:
0:00:32 elapsed time, 0:00:33 cpu time, factor 1.03
ML timing:
24.173s elapsed time, 25.215s cpu time, 1.427s GC time, factor 1.04
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:
18.5 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Cardinals

data:
CSV
timing:
0:00:32 elapsed time, 0:00:32 cpu time, factor 1.00
ML timing:
30.464s elapsed time, 31.053s cpu time, 1.037s 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:
c6fc0c7ef56f

System

data:
CSV
timing:
0:00:29 elapsed time
ML timing:
29.028s elapsed time, 1.257s cpu time, 0.000s GC time, factor 0.04
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
623 MiB
ML heap average:
329.9 MiB
Isabelle version:
c6fc0c7ef56f

ZF

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
25.676s elapsed time, 26.513s cpu time, 3.591s 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:
c6fc0c7ef56f

HOLCF-Library

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
19.945s elapsed time, 20.511s cpu time, 0.768s 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:
c6fc0c7ef56f

IOA

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
19.794s elapsed time, 20.305s cpu time, 0.892s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
6.3 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:24 elapsed time, 0:00:25 cpu time, factor 1.04
ML timing:
17.152s elapsed time, 17.890s cpu time, 0.840s 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:
994.9 MiB
ML heap stored:
9.7 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Nominal

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
15.617s elapsed time, 15.700s cpu time, 0.904s 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:
1 GiB
ML heap stored:
9.1 MiB
Isabelle version:
c6fc0c7ef56f

HOL-SPARK-Examples

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
20.441s elapsed time, 20.652s cpu time, 0.284s 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:
c6fc0c7ef56f

HOL-ZF

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
19.889s elapsed time, 20.608s cpu time, 1.066s GC time, factor 1.04
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:
c6fc0c7ef56f

HOL-Hahn_Banach

data:
CSV
timing:
0:00:20 elapsed time, 0:00:17 cpu time, factor 0.85
ML timing:
16.181s elapsed time, 16.701s cpu time, 1.441s GC time, factor 1.03
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:
c6fc0c7ef56f

HOL-Induct

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.146s elapsed time, 19.436s cpu time, 1.162s GC time, factor 1.02
ML stack maximum:
1 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

ZF-Constructible

data:
CSV
timing:
0:00:20 elapsed time, 0:00:21 cpu time, factor 1.05
ML timing:
19.712s elapsed time, 20.590s cpu time, 4.247s 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:
c6fc0c7ef56f

HOL-Types_To_Sets

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
16.785s elapsed time, 17.099s cpu time, 0.661s 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:
c6fc0c7ef56f

Pure

data:
CSV
timing:
0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94
ML timing:
0.570s elapsed time, 0.604s cpu time, 0.021s GC time, factor 1.06
ML code maximum:
17.7 MiB
ML code average:
17.7 MiB
ML stack maximum:
2 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
393.1 MiB
ML heap stored:
23.9 MiB
Isabelle version:
c6fc0c7ef56f

Typeclass_Hierarchy

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
16.071s elapsed time, 15.774s cpu time, 0.801s GC time, factor 0.98
ML stack maximum:
8.5 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

HOL-TLA-Memory

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
15.765s elapsed time, 15.949s cpu time, 0.274s 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:
c6fc0c7ef56f

HOL-Unix

data:
CSV
timing:
0:00:17 elapsed time, 0:00:15 cpu time, factor 0.88
ML timing:
15.599s elapsed time, 14.100s cpu time, 1.439s GC time, factor 0.90
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:
c6fc0c7ef56f

ZF-UNITY

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.028s elapsed time, 15.473s cpu time, 0.753s 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:
c6fc0c7ef56f

HOL-Probability-ex

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
12.856s elapsed time, 13.041s cpu time, 0.961s 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.1 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Statespace

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
12.135s elapsed time, 12.292s cpu time, 0.481s 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:
c6fc0c7ef56f

Implementation

data:
CSV
timing:
0:00:13 elapsed time, 0:00:04 cpu time, factor 0.31
ML timing:
11.790s elapsed time, 3.923s cpu time, 0.039s GC time, factor 0.33
ML stack maximum:
4.5 MiB
ML stack average:
4 MiB
ML heap maximum:
1 GiB
ML heap average:
721.7 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Import

data:
CSV
timing:
0:00:12 elapsed time, 0:00:11 cpu time, factor 0.92
ML timing:
10.735s elapsed time, 10.778s cpu time, 0.336s GC time, factor 1.00
ML stack maximum:
64.5 MiB
ML stack average:
55.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c6fc0c7ef56f

HOLCF-Tutorial

data:
CSV
timing:
0:00:12 elapsed time, 0:00:11 cpu time, factor 0.92
ML timing:
10.216s elapsed time, 10.345s cpu time, 0.282s GC time, factor 1.01
ML heap maximum:
1.4 GiB
ML heap average:
1 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Eisbach

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.403s elapsed time, 10.625s cpu time, 0.258s GC time, factor 1.02
ML code maximum:
1.9 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:
c6fc0c7ef56f

IOA-NTP

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.111s elapsed time, 9.211s cpu time, 0.374s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Isar_Examples

data:
CSV
timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.90
ML timing:
8.937s elapsed time, 8.639s cpu time, 0.310s GC time, factor 0.97
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

ZF-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.90
ML timing:
8.796s elapsed time, 9.013s cpu time, 0.422s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

HOL-NanoJava

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.666s elapsed time, 7.782s cpu time, 0.348s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

CCL

data:
CSV
timing:
0:00:09 elapsed time, 0:00:06 cpu time, factor 0.67
ML timing:
5.923s elapsed time, 6.102s cpu time, 0.434s GC time, factor 1.03
ML code maximum:
1.6 MiB
ML code average:
1.2 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
820.4 MiB
Isabelle version:
c6fc0c7ef56f

HOLCF-IMP

data:
CSV
timing:
0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89
ML timing:
6.839s elapsed time, 6.870s cpu time, 0.220s GC time, factor 1.00
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

FOL-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.644s elapsed time, 7.834s cpu time, 0.178s GC time, factor 1.02
ML stack maximum:
2.5 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

Prog_Prove

data:
CSV
timing:
0:00:08 elapsed time, 0:00:07 cpu time, factor 0.88
ML timing:
6.877s elapsed time, 6.689s cpu time, 0.300s GC time, factor 0.97
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
c6fc0c7ef56f

HOLCF-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.233s elapsed time, 7.470s cpu time, 0.288s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c6fc0c7ef56f

IOA-ABP

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.319s elapsed time, 7.391s cpu time, 0.260s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

JEdit

data:
CSV
timing:
0:00:08 elapsed time
ML timing:
7.210s elapsed time, 0.743s cpu time, 0.000s GC time, factor 0.10
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
374 MiB
ML heap average:
278 MiB
Isabelle version:
c6fc0c7ef56f

ZF-Induct

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.636s elapsed time, 6.494s cpu time, 0.285s GC time, factor 0.98
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1006.8 MiB
ML heap stored:
3.9 MiB
Isabelle version:
c6fc0c7ef56f

HOL-TLA

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
2.397s elapsed time, 2.559s cpu time, 0.090s GC time, factor 1.07
ML stack maximum:
2.3 MiB
ML heap maximum:
805 MiB
ML heap average:
227.2 MiB
ML heap stored:
2.9 MiB
Isabelle version:
c6fc0c7ef56f

HOL-SPARK-Manual

data:
CSV
timing:
0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
ML timing:
5.955s elapsed time, 5.850s 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:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

HOLCF-FOCUS

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.418s elapsed time, 6.585s cpu time, 0.170s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

HOL-TPTP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
ML timing:
5.701s elapsed time, 5.834s cpu time, 0.284s GC time, factor 1.02
ML code maximum:
4 MiB
ML code average:
2.7 MiB
ML stack maximum:
16.5 MiB
ML stack average:
15.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

HOL-Proofs-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
4.368s elapsed time, 4.403s cpu time, 0.871s 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:
927.6 MiB
Isabelle version:
c6fc0c7ef56f

Tools

data:
CSV
timing:
0:00:06 elapsed time, 0:00:04 cpu time, factor 0.67
ML timing:
3.947s elapsed time, 3.977s cpu time, 0.171s GC time, factor 1.01
ML code maximum:
1.9 MiB
ML code average:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
681.7 MiB
Isabelle version:
c6fc0c7ef56f

HOL-IMPP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.374s elapsed time, 5.477s cpu time, 0.243s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
c6fc0c7ef56f

ZF-AC

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
6.118s elapsed time, 6.379s cpu time, 0.460s 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:
c6fc0c7ef56f

HOL-IOA

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.274s elapsed time, 3.332s cpu time, 0.048s GC time, factor 1.02
ML heap maximum:
1.4 GiB
ML heap average:
874.2 MiB
Isabelle version:
c6fc0c7ef56f

FOL

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.540s elapsed time, 3.646s cpu time, 0.099s GC time, factor 1.03
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
776.1 MiB
ML heap stored:
3.6 MiB
Isabelle version:
c6fc0c7ef56f

FOLP-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
5.062s elapsed time, 5.188s cpu time, 0.085s GC time, factor 1.02
ML code maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c6fc0c7ef56f

LCF

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.762s elapsed time, 3.852s cpu time, 0.109s GC time, factor 1.02
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
776.8 MiB
Isabelle version:
c6fc0c7ef56f

Classes

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
3.021s elapsed time, 1.614s cpu time, 0.044s GC time, factor 0.53
ML stack maximum:
1.5 MiB
ML stack average:
1.5 MiB
ML heap maximum:
757 MiB
ML heap average:
396.2 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.461s elapsed time, 2.492s cpu time, 0.058s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.1 GiB
ML heap average:
621.6 MiB
Isabelle version:
c6fc0c7ef56f

Sequents

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.906s elapsed time, 4.016s cpu time, 0.089s GC time, factor 1.03
ML heap maximum:
1.5 GiB
ML heap average:
896.9 MiB
Isabelle version:
c6fc0c7ef56f

Locales

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.798s elapsed time, 2.170s cpu time, 0.082s 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:
564.5 MiB
Isabelle version:
c6fc0c7ef56f

HOL-TLA-Inc

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.566s elapsed time, 3.608s cpu time, 0.043s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
823.3 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Lattice

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.828s elapsed time, 2.894s cpu time, 0.075s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
865 MiB
ML heap average:
654.7 MiB
Isabelle version:
c6fc0c7ef56f

Functions

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.399s elapsed time, 3.169s cpu time, 0.069s GC time, factor 0.93
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.2 GiB
ML heap average:
661.5 MiB
Isabelle version:
c6fc0c7ef56f

ZF-Resid

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.071s elapsed time, 2.165s cpu time, 0.039s GC time, factor 1.05
ML heap maximum:
886 MiB
ML heap average:
444.7 MiB
Isabelle version:
c6fc0c7ef56f

HOL-TLA-Buffer

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.114s elapsed time, 1.138s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
590 MiB
ML heap average:
451.3 MiB
Isabelle version:
c6fc0c7ef56f

IOA-Storage

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.895s elapsed time, 1.920s cpu time, 0.053s GC time, factor 1.01
ML heap maximum:
742 MiB
ML heap average:
462.5 MiB
Isabelle version:
c6fc0c7ef56f

Eisbach

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.562s elapsed time, 2.212s cpu time, 0.099s GC time, factor 0.86
ML stack maximum:
2.5 MiB
ML stack average:
2 MiB
ML heap maximum:
767 MiB
ML heap average:
686.8 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.166s elapsed time, 2.219s cpu time, 0.037s GC time, factor 1.02
ML heap maximum:
756 MiB
ML heap average:
447.7 MiB
Isabelle version:
c6fc0c7ef56f

Sugar

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.115s elapsed time, 1.015s cpu time, 0.000s GC time, factor 0.91
ML stack maximum:
1.3 MiB
ML heap maximum:
515 MiB
ML heap average:
403.3 MiB
Isabelle version:
c6fc0c7ef56f

ZF-Coind

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.172s elapsed time, 1.220s cpu time, 0.000s GC time, factor 1.04
ML heap maximum:
676 MiB
ML heap average:
344.8 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.797s elapsed time, 1.828s cpu time, 0.205s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
776 MiB
ML heap average:
516.8 MiB
Isabelle version:
c6fc0c7ef56f

ZF-IMP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.148s elapsed time, 1.178s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
646 MiB
ML heap average:
249.2 MiB
Isabelle version:
c6fc0c7ef56f

CTT

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.363s elapsed time, 1.460s cpu time, 0.102s GC time, factor 1.07
ML stack maximum:
1.3 MiB
ML heap maximum:
668 MiB
ML heap average:
355.9 MiB
Isabelle version:
c6fc0c7ef56f

Demo_FoilTeX

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.234s elapsed time, 0.240s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
49 MiB
ML heap average:
3 MiB
Isabelle version:
c6fc0c7ef56f

IOA-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.506s elapsed time, 1.533s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
688 MiB
ML heap average:
483 MiB
Isabelle version:
c6fc0c7ef56f

FOLP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.447s elapsed time, 1.498s cpu time, 0.053s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
647 MiB
ML heap average:
305 MiB
ML heap stored:
1.5 MiB
Isabelle version:
c6fc0c7ef56f

Pure-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.672s elapsed time, 0.588s cpu time, 0.000s GC time, factor 0.87
ML stack maximum:
1 MiB
ML heap maximum:
268 MiB
ML heap average:
70.5 MiB
Isabelle version:
c6fc0c7ef56f

Logics

data:
CSV
timing:
0:00:01 elapsed time
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
c6fc0c7ef56f

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.717s elapsed time, 0.601s cpu time, 0.000s GC time, factor 0.84
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
281 MiB
ML heap average:
281 MiB
Isabelle version:
c6fc0c7ef56f

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.435s elapsed time, 0.443s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
210 MiB
ML heap average:
210 MiB
Isabelle version:
c6fc0c7ef56f

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.234s elapsed time, 0.197s cpu time, 0.000s GC time, factor 0.84
ML heap maximum:
55 MiB
ML heap average:
55 MiB
Isabelle version:
c6fc0c7ef56f

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.239s elapsed time, 0.200s cpu time, 0.000s GC time, factor 0.84
ML heap maximum:
52 MiB
ML heap average:
52 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.569s elapsed time, 0.584s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
322 MiB
ML heap average:
322 MiB
Isabelle version:
c6fc0c7ef56f

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.227s elapsed time, 0.188s cpu time, 0.000s GC time, factor 0.83
ML heap maximum:
41 MiB
ML heap average:
41 MiB
Isabelle version:
c6fc0c7ef56f

Haskell

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.531s elapsed time, 0.553s cpu time, 0.000s GC time, factor 1.04
ML stack maximum:
4.5 MiB
ML stack average:
4.5 MiB
ML heap maximum:
344 MiB
ML heap average:
344 MiB
Isabelle version:
c6fc0c7ef56f

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.817s elapsed time, 0.883s cpu time, 0.000s GC time, factor 1.08
ML stack maximum:
1.3 MiB
ML heap maximum:
376 MiB
ML heap average:
189.7 MiB
Isabelle version:
c6fc0c7ef56f

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.247s elapsed time, 0.209s cpu time, 0.000s GC time, factor 0.85
ML heap maximum:
45 MiB
ML heap average:
45 MiB
Isabelle version:
c6fc0c7ef56f

Pure-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.616s elapsed time, 0.485s cpu time, 0.000s GC time, factor 0.79
ML heap maximum:
209 MiB
ML heap average:
209 MiB
Isabelle version:
c6fc0c7ef56f

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.502s elapsed time, 0.536s cpu time, 0.000s GC time, factor 1.07
ML heap maximum:
331 MiB
ML heap average:
331 MiB
Isabelle version:
c6fc0c7ef56f

SML

data:
CSV
ML timing:
0.014s elapsed time, 0.017s cpu time, 0.000s GC time, factor 1.21
ML heap maximum:
22 MiB
ML heap average:
22 MiB
Isabelle version:
c6fc0c7ef56f

Sledgehammer

data:
CSV
Isabelle version:
c6fc0c7ef56f

Nitpick

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
c6fc0c7ef56f

Cube

data:
CSV
ML timing:
0.341s elapsed time, 0.363s cpu time, 0.000s GC time, factor 1.06
ML heap maximum:
51 MiB
ML heap average:
3 MiB
Isabelle version:
c6fc0c7ef56f

Intro

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
c6fc0c7ef56f