Isabelle build status for Linux C

status date:
10-Jul-2026 06:42:24 +0200
build host:
linux-netcup-g12

HOL-Analysis

data:
CSV
timing:
0:32:54 elapsed time, 0:33:04 cpu time, factor 1.01
ML timing:
1850.643s elapsed time, 1861.120s cpu time, 124.856s 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.9 MiB
ML heap maximum:
10.6 GiB
ML heap average:
5.4 GiB
ML heap stored:
265.7 MiB
Isabelle version:
cbf5095487bb

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:20:06 elapsed time, 0:20:07 cpu time, factor 1.00
ML timing:
1203.773s elapsed time, 1205.714s cpu time, 17.906s GC time, factor 1.00
ML code maximum:
160.3 MiB
ML code average:
116.1 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:
cbf5095487bb

HOL-Data_Structures

data:
CSV
timing:
0:16:40 elapsed time, 0:16:44 cpu time, factor 1.00
ML timing:
992.149s elapsed time, 996.288s cpu time, 77.741s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
5.7 GiB
ML heap average:
3.7 GiB
Isabelle version:
cbf5095487bb

HOL-Datatype_Benchmark

data:
CSV
timing:
0:15:26 elapsed time, 0:15:27 cpu time, factor 1.00
ML timing:
908.124s elapsed time, 910.031s cpu time, 173.524s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.5 MiB
ML heap maximum:
15.7 GiB
ML heap average:
7.5 GiB
Isabelle version:
cbf5095487bb

HOL-Proofs

data:
CSV
timing:
0:14:01 elapsed time, 0:14:08 cpu time, factor 1.01
ML timing:
653.083s elapsed time, 660.657s cpu time, 131.895s GC time, factor 1.01
ML code maximum:
27.7 MiB
ML code average:
20.4 MiB
ML stack maximum:
32.3 MiB
ML stack average:
19.9 MiB
ML heap maximum:
16 GiB
ML heap average:
7.3 GiB
ML heap stored:
378.4 MiB
Isabelle version:
cbf5095487bb

HOL-Codegenerator_Test

data:
CSV
timing:
0:13:04 elapsed time, 0:10:07 cpu time, factor 0.77
ML timing:
779.122s elapsed time, 602.438s cpu time, 42.054s GC time, factor 0.77
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:
4.7 GiB
ML heap average:
3.5 GiB
Isabelle version:
cbf5095487bb

HOL-ex

data:
CSV
timing:
0:12:20 elapsed time, 0:12:00 cpu time, factor 0.97
ML timing:
734.452s elapsed time, 715.309s cpu time, 38.352s 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.7 MiB
ML heap maximum:
8.8 GiB
ML heap average:
5.1 GiB
Isabelle version:
cbf5095487bb

HOL-Nominal-Examples

data:
CSV
timing:
0:12:14 elapsed time, 0:12:12 cpu time, factor 1.00
ML timing:
728.389s elapsed time, 727.067s cpu time, 39.933s GC time, factor 1.00
ML stack maximum:
32.3 MiB
ML stack average:
31.5 MiB
ML heap maximum:
3.8 GiB
ML heap average:
3.3 GiB
Isabelle version:
cbf5095487bb

HOL-Decision_Procs

data:
CSV
timing:
0:10:49 elapsed time, 0:10:55 cpu time, factor 1.01
ML timing:
644.422s elapsed time, 649.795s cpu time, 47.594s GC time, factor 1.01
ML code maximum:
3.9 MiB
ML code average:
2.3 MiB
ML stack maximum:
32.3 MiB
ML stack average:
15.9 MiB
ML heap maximum:
8.5 GiB
ML heap average:
4.7 GiB
Isabelle version:
cbf5095487bb

HOL-Library

data:
CSV
timing:
0:10:39 elapsed time, 0:10:38 cpu time, factor 1.00
ML timing:
589.916s elapsed time, 589.273s cpu time, 46.049s GC time, factor 1.00
ML code maximum:
4.4 MiB
ML code average:
3 MiB
ML stack maximum:
8.3 MiB
ML stack average:
7.6 MiB
ML heap maximum:
8.1 GiB
ML heap average:
4.2 GiB
ML heap stored:
144.9 MiB
Isabelle version:
cbf5095487bb

HOL

data:
CSV
timing:
0:10:04 elapsed time, 0:10:16 cpu time, factor 1.02
ML timing:
566.909s elapsed time, 578.919s cpu time, 51.831s GC time, factor 1.02
ML code maximum:
29.1 MiB
ML code average:
21 MiB
ML stack maximum:
32.3 MiB
ML stack average:
24.5 MiB
ML heap maximum:
8.1 GiB
ML heap average:
5.4 GiB
ML heap stored:
199.6 MiB
Isabelle version:
cbf5095487bb

HOL-Algebra

data:
CSV
timing:
0:07:50 elapsed time, 0:07:56 cpu time, factor 1.01
ML timing:
439.499s elapsed time, 446.264s cpu time, 82.063s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
9.6 GiB
ML heap average:
5.1 GiB
ML heap stored:
62.6 MiB
Isabelle version:
cbf5095487bb

HOL-Corec_Examples

data:
CSV
timing:
0:06:58 elapsed time, 0:06:59 cpu time, factor 1.00
ML timing:
404.565s elapsed time, 406.079s cpu time, 63.062s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
5 GiB
ML heap average:
3.5 GiB
Isabelle version:
cbf5095487bb

HOL-Imperative_HOL

data:
CSV
timing:
0:04:50 elapsed time, 0:04:13 cpu time, factor 0.87
ML timing:
287.080s elapsed time, 250.792s cpu time, 13.185s GC time, factor 0.87
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
3.3 GiB
ML heap average:
2.7 GiB
Isabelle version:
cbf5095487bb

HOL-Probability

data:
CSV
timing:
0:04:36 elapsed time, 0:04:36 cpu time, factor 1.00
ML timing:
246.504s elapsed time, 247.464s cpu time, 11.619s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
2.5 GiB
ML heap average:
2 GiB
ML heap stored:
51.3 MiB
Isabelle version:
cbf5095487bb

HOL-Datatype_Examples

data:
CSV
timing:
0:04:18 elapsed time, 0:04:20 cpu time, factor 1.01
ML timing:
250.563s elapsed time, 252.092s cpu time, 32.100s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML heap maximum:
6.8 GiB
ML heap average:
3.7 GiB
Isabelle version:
cbf5095487bb

HOL-Homology

data:
CSV
timing:
0:04:14 elapsed time, 0:04:18 cpu time, factor 1.02
ML timing:
249.217s elapsed time, 253.428s cpu time, 25.688s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
5.7 MiB
ML heap maximum:
7.3 GiB
ML heap average:
3.6 GiB
Isabelle version:
cbf5095487bb

HOL-Real_Asymp

data:
CSV
timing:
0:04:12 elapsed time, 0:04:14 cpu time, factor 1.01
ML timing:
232.994s elapsed time, 235.731s cpu time, 14.894s 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:
3.8 GiB
ML heap average:
2 GiB
ML heap stored:
64.6 MiB
Isabelle version:
cbf5095487bb

HOL-Auth

data:
CSV
timing:
0:03:41 elapsed time, 0:03:43 cpu time, factor 1.01
ML timing:
211.810s elapsed time, 213.895s cpu time, 7.096s 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:
cbf5095487bb

Codegen

data:
CSV
timing:
0:03:40 elapsed time, 0:03:38 cpu time, factor 0.99
ML timing:
217.756s elapsed time, 216.297s cpu time, 17.731s GC time, factor 0.99
ML stack maximum:
8.3 MiB
ML stack average:
7.8 MiB
ML heap maximum:
2.7 GiB
ML heap average:
2 GiB
Isabelle version:
cbf5095487bb

HOL-MicroJava

data:
CSV
timing:
0:03:32 elapsed time, 0:03:34 cpu time, factor 1.01
ML timing:
210.058s elapsed time, 212.336s cpu time, 6.983s 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:
cbf5095487bb

HOL-Hoare_Parallel

data:
CSV
timing:
0:03:16 elapsed time, 0:03:17 cpu time, factor 1.01
ML timing:
194.419s elapsed time, 195.615s cpu time, 6.764s 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:
cbf5095487bb

HOL-Computational_Algebra

data:
CSV
timing:
0:03:03 elapsed time, 0:03:06 cpu time, factor 1.02
ML timing:
168.534s elapsed time, 172.105s cpu time, 8.361s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
7.6 MiB
ML heap maximum:
2 GiB
ML heap average:
1.7 GiB
ML heap stored:
40.7 MiB
Isabelle version:
cbf5095487bb

HOL-IMP

data:
CSV
timing:
0:02:54 elapsed time, 0:02:54 cpu time, factor 1.00
ML timing:
172.175s elapsed time, 171.814s cpu time, 7.737s GC time, factor 1.00
ML code maximum:
8.7 MiB
ML code average:
3.2 MiB
ML stack maximum:
8.3 MiB
ML stack average:
2 MiB
ML heap maximum:
2 GiB
ML heap average:
1.7 GiB
Isabelle version:
cbf5095487bb

HOL-Complex_Analysis

data:
CSV
timing:
0:02:53 elapsed time, 0:02:57 cpu time, factor 1.02
ML timing:
170.262s elapsed time, 174.384s cpu time, 7.117s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-Examples

data:
CSV
timing:
0:02:53 elapsed time, 0:02:54 cpu time, factor 1.01
ML timing:
169.724s elapsed time, 171.266s cpu time, 11.927s GC time, factor 1.01
ML stack maximum:
8.5 MiB
ML stack average:
6.6 MiB
ML heap maximum:
3.5 GiB
ML heap average:
2.3 GiB
Isabelle version:
cbf5095487bb

HOL-Number_Theory

data:
CSV
timing:
0:02:53 elapsed time, 0:02:56 cpu time, factor 1.02
ML timing:
170.414s elapsed time, 173.451s cpu time, 15.006s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
4.2 GiB
ML heap average:
2.6 GiB
Isabelle version:
cbf5095487bb

HOL-Bali

data:
CSV
timing:
0:02:45 elapsed time, 0:02:48 cpu time, factor 1.02
ML timing:
162.810s elapsed time, 165.951s cpu time, 8.644s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
4.9 MiB
ML heap maximum:
2.6 GiB
ML heap average:
2.1 GiB
Isabelle version:
cbf5095487bb

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:02:43 elapsed time, 0:02:13 cpu time, factor 0.82
ML timing:
161.174s elapsed time, 130.833s cpu time, 5.463s GC time, factor 0.81
ML code maximum:
4.4 MiB
ML code average:
1.6 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-Proofs-Extraction

data:
CSV
timing:
0:02:36 elapsed time, 0:02:38 cpu time, factor 1.01
ML timing:
153.028s elapsed time, 154.492s cpu time, 11.868s 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.9 GiB
Isabelle version:
cbf5095487bb

HOL-SMT_Examples

data:
CSV
timing:
0:02:11 elapsed time, 0:01:56 cpu time, factor 0.89
ML timing:
129.662s elapsed time, 114.404s cpu time, 5.726s 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:
cbf5095487bb

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:52 elapsed time, 0:01:18 cpu time, factor 0.70
ML timing:
111.148s elapsed time, 77.350s cpu time, 1.604s GC time, factor 0.70
ML stack maximum:
8.3 MiB
ML stack average:
8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-Record_Benchmark

data:
CSV
timing:
0:01:49 elapsed time, 0:01:49 cpu time, factor 1.00
ML timing:
106.933s elapsed time, 107.121s cpu time, 9.169s 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:
cbf5095487bb

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:44 elapsed time, 0:01:44 cpu time, factor 1.00
ML timing:
102.379s elapsed time, 102.635s cpu time, 8.991s 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:
cbf5095487bb

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:39 elapsed time, 0:01:40 cpu time, factor 1.01
ML timing:
97.888s elapsed time, 98.970s cpu time, 5.423s GC time, factor 1.01
ML code maximum:
7.6 MiB
ML code average:
3 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:
cbf5095487bb

HOL-UNITY

data:
CSV
timing:
0:01:25 elapsed time, 0:01:27 cpu time, factor 1.02
ML timing:
83.442s elapsed time, 85.283s cpu time, 5.820s 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:
cbf5095487bb

HOL-SET_Protocol

data:
CSV
timing:
0:01:20 elapsed time, 0:01:20 cpu time, factor 1.00
ML timing:
78.792s elapsed time, 79.291s cpu time, 1.116s 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:
cbf5095487bb

Datatypes

data:
CSV
timing:
0:01:17 elapsed time, 0:01:14 cpu time, factor 0.96
ML timing:
58.157s elapsed time, 55.371s cpu time, 7.491s GC time, factor 0.95
ML stack maximum:
4.3 MiB
ML stack average:
3 MiB
ML heap maximum:
2 GiB
ML heap average:
1.2 GiB
ML heap stored:
69.7 MiB
Isabelle version:
cbf5095487bb

HOL-Metis_Examples

data:
CSV
timing:
0:01:11 elapsed time, 0:00:54 cpu time, factor 0.76
ML timing:
69.058s elapsed time, 52.371s cpu time, 4.457s GC time, factor 0.76
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:
cbf5095487bb

Corec

data:
CSV
timing:
0:01:04 elapsed time, 0:00:59 cpu time, factor 0.92
ML timing:
61.215s elapsed time, 57.045s cpu time, 4.802s GC time, factor 0.93
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:
cbf5095487bb

HOL-Matrix_LP

data:
CSV
timing:
0:00:46 elapsed time, 0:00:46 cpu time, factor 1.00
ML timing:
45.162s elapsed time, 45.267s cpu time, 3.128s 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:
cbf5095487bb

Isar_Ref

data:
CSV
timing:
0:00:45 elapsed time, 0:00:29 cpu time, factor 0.64
ML timing:
44.008s elapsed time, 28.320s cpu time, 3.001s GC time, factor 0.64
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-Combinatorics

data:
CSV
timing:
0:00:44 elapsed time, 0:00:45 cpu time, factor 1.02
ML timing:
42.440s elapsed time, 43.682s cpu time, 2.550s 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:
cbf5095487bb

Tutorial

data:
CSV
timing:
0:00:42 elapsed time, 0:00:39 cpu time, factor 0.93
ML timing:
40.546s elapsed time, 37.399s cpu time, 3.645s 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:
cbf5095487bb

HOL-SPARK

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
33.562s elapsed time, 34.093s cpu time, 2.243s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
6.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
14.8 MiB
Isabelle version:
cbf5095487bb

HOL-Hoare

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
39.917s elapsed time, 40.273s cpu time, 0.894s 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:
cbf5095487bb

HOL-Analysis-ex

data:
CSV
timing:
0:00:39 elapsed time, 0:00:39 cpu time, factor 1.00
ML timing:
37.478s elapsed time, 37.631s cpu time, 0.287s 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:
cbf5095487bb

HOL-Quotient_Examples

data:
CSV
timing:
0:00:39 elapsed time, 0:00:32 cpu time, factor 0.82
ML timing:
37.256s elapsed time, 30.778s cpu time, 2.212s GC time, factor 0.83
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

HOLCF

data:
CSV
timing:
0:00:38 elapsed time, 0:00:39 cpu time, factor 1.03
ML timing:
29.596s elapsed time, 30.806s cpu time, 3.281s 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:
cbf5095487bb

HOL-Cardinals

data:
CSV
timing:
0:00:33 elapsed time, 0:00:34 cpu time, factor 1.03
ML timing:
31.951s elapsed time, 32.646s cpu time, 1.008s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

System

data:
CSV
timing:
0:00:30 elapsed time
ML timing:
29.490s elapsed time, 1.412s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
628 MiB
ML heap average:
321.4 MiB
Isabelle version:
cbf5095487bb

ZF

data:
CSV
timing:
0:00:30 elapsed time, 0:00:32 cpu time, factor 1.07
ML timing:
28.711s elapsed time, 30.232s cpu time, 3.430s GC time, factor 1.05
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:
cbf5095487bb

HOLCF-Library

data:
CSV
timing:
0:00:28 elapsed time, 0:00:29 cpu time, factor 1.04
ML timing:
20.827s elapsed time, 21.434s cpu time, 0.688s 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 GiB
ML heap stored:
9.4 MiB
Isabelle version:
cbf5095487bb

IOA

data:
CSV
timing:
0:00:28 elapsed time, 0:00:29 cpu time, factor 1.04
ML timing:
20.894s elapsed time, 21.449s cpu time, 0.857s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
6.3 MiB
Isabelle version:
cbf5095487bb

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
19.301s elapsed time, 20.159s cpu time, 0.996s 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:
1005.2 MiB
ML heap stored:
9.7 MiB
Isabelle version:
cbf5095487bb

HOL-Nominal

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
17.131s elapsed time, 17.396s cpu time, 0.717s GC time, factor 1.02
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:
cbf5095487bb

ZF-Constructible

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
21.935s elapsed time, 22.960s cpu time, 4.353s GC time, factor 1.05
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:
cbf5095487bb

HOL-Induct

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
20.815s elapsed time, 21.156s cpu time, 1.189s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-ZF

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
20.618s elapsed time, 21.487s cpu time, 1.120s 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:
cbf5095487bb

HOL-SPARK-Examples

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
20.275s elapsed time, 20.503s cpu time, 0.300s 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:
cbf5095487bb

HOL-Types_To_Sets

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
18.290s elapsed time, 18.656s cpu time, 0.685s 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:
cbf5095487bb

HOL-Hahn_Banach

data:
CSV
timing:
0:00:19 elapsed time, 0:00:18 cpu time, factor 0.95
ML timing:
18.007s elapsed time, 17.435s cpu time, 1.526s GC time, factor 0.97
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:
cbf5095487bb

Pure

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0.616s elapsed time, 0.648s cpu time, 0.018s 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:
579.2 MiB
ML heap stored:
24 MiB
Isabelle version:
cbf5095487bb

Typeclass_Hierarchy

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
17.351s elapsed time, 17.120s cpu time, 0.867s GC time, factor 0.99
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:
cbf5095487bb

HOL-TLA-Memory

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
17.092s elapsed time, 17.322s cpu time, 0.328s 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:
cbf5095487bb

ZF-UNITY

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
16.840s elapsed time, 17.422s cpu time, 0.671s 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:
cbf5095487bb

HOL-Unix

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
14.754s elapsed time, 14.728s cpu time, 1.578s 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:
cbf5095487bb

HOL-Statespace

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
12.645s elapsed time, 12.807s cpu time, 0.518s 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:
cbf5095487bb

HOL-Probability-ex

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
12.233s elapsed time, 12.430s 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:
cbf5095487bb

HOL-Eisbach

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.144s elapsed time, 11.384s cpu time, 0.282s GC time, factor 1.02
ML code maximum:
1.8 MiB
ML code average:
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.3 GiB
Isabelle version:
cbf5095487bb

HOL-Import

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
10.991s elapsed time, 11.052s cpu time, 0.325s GC time, factor 1.01
ML stack maximum:
64.3 MiB
ML stack average:
53.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

Implementation

data:
CSV
timing:
0:00:12 elapsed time, 0:00:05 cpu time, factor 0.42
ML timing:
10.695s elapsed time, 4.136s cpu time, 0.047s GC time, factor 0.39
ML stack maximum:
4.3 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1006 MiB
ML heap average:
686.8 MiB
Isabelle version:
cbf5095487bb

HOLCF-Tutorial

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
10.531s elapsed time, 10.662s cpu time, 0.301s GC time, factor 1.01
ML heap maximum:
1.4 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

IOA-NTP

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.185s elapsed time, 9.293s cpu time, 0.378s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

HOL-NanoJava

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
8.865s elapsed time, 9.027s cpu time, 0.384s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

HOL-Isar_Examples

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.176s elapsed time, 8.878s cpu time, 0.337s GC time, factor 0.97
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

ZF-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.510s elapsed time, 9.931s cpu time, 0.454s GC time, factor 1.04
ML stack maximum:
4.3 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

FOL-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89
ML timing:
8.059s elapsed time, 8.223s cpu time, 0.203s GC time, factor 1.02
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:
cbf5095487bb

Prog_Prove

data:
CSV
timing:
0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89
ML timing:
7.531s elapsed time, 7.386s cpu time, 0.321s 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:
cbf5095487bb

HOLCF-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.648s elapsed time, 7.891s cpu time, 0.362s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

IOA-ABP

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.809s elapsed time, 7.895s cpu time, 0.284s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

ZF-Induct

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.439s elapsed time, 7.394s cpu time, 0.337s GC time, factor 0.99
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
998 MiB
ML heap stored:
3.9 MiB
Isabelle version:
cbf5095487bb

HOL-TLA

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
2.734s elapsed time, 2.926s cpu time, 0.103s GC time, factor 1.07
ML stack maximum:
2.3 MiB
ML heap maximum:
762 MiB
ML heap average:
235.9 MiB
ML heap stored:
2.9 MiB
Isabelle version:
cbf5095487bb

HOLCF-FOCUS

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.197s elapsed time, 7.390s cpu time, 0.189s 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:
cbf5095487bb

JEdit

data:
CSV
timing:
0:00:08 elapsed time
ML timing:
7.755s elapsed time, 0.770s cpu time, 0.000s GC time, factor 0.10
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
375 MiB
ML heap average:
266.2 MiB
Isabelle version:
cbf5095487bb

CCL

data:
CSV
timing:
0:00:08 elapsed time, 0:00:07 cpu time, factor 0.88
ML timing:
6.638s elapsed time, 6.886s cpu time, 0.441s 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:
1012.9 MiB
Isabelle version:
cbf5095487bb

HOLCF-IMP

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
6.985s elapsed time, 7.019s cpu time, 0.204s GC time, factor 1.00
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

HOL-SPARK-Manual

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.205s elapsed time, 6.064s cpu time, 0.068s 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 GiB
Isabelle version:
cbf5095487bb

HOL-IMPP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
5.861s elapsed time, 5.980s cpu time, 0.257s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
cbf5095487bb

HOL-TPTP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.311s elapsed time, 6.447s cpu time, 0.270s 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.2 GiB
Isabelle version:
cbf5095487bb

ZF-AC

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.370s elapsed time, 6.723s cpu time, 0.393s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

HOL-Proofs-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
4.871s elapsed time, 4.910s cpu time, 1.013s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.4 GiB
ML heap average:
942.6 MiB
Isabelle version:
cbf5095487bb

FOLP-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
5.378s elapsed time, 5.513s cpu time, 0.080s GC time, factor 1.03
ML code maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
979.8 MiB
Isabelle version:
cbf5095487bb

LCF

data:
CSV
timing:
0:00:06 elapsed time, 0:00:04 cpu time, factor 0.67
ML timing:
4.043s elapsed time, 4.141s cpu time, 0.104s GC time, factor 1.02
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
691.1 MiB
Isabelle version:
cbf5095487bb

Tools

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
4.093s elapsed time, 4.137s cpu time, 0.128s GC time, factor 1.01
ML code maximum:
1.9 MiB
ML code average:
1.2 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
863.8 MiB
Isabelle version:
cbf5095487bb

Sequents

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.562s elapsed time, 4.706s cpu time, 0.084s GC time, factor 1.03
ML heap maximum:
1.5 GiB
ML heap average:
1003.6 MiB
Isabelle version:
cbf5095487bb

HOL-TLA-Inc

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.809s elapsed time, 3.859s cpu time, 0.042s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
848.2 MiB
Isabelle version:
cbf5095487bb

HOL-Lattice

data:
CSV
timing:
0:00:05 elapsed time, 0:00:03 cpu time, factor 0.60
ML timing:
4.005s elapsed time, 2.895s cpu time, 0.082s GC time, factor 0.72
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
831 MiB
ML heap average:
660.5 MiB
Isabelle version:
cbf5095487bb

Functions

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.687s elapsed time, 3.464s cpu time, 0.073s GC time, factor 0.94
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.1 GiB
ML heap average:
759.1 MiB
Isabelle version:
cbf5095487bb

HOL-IOA

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.349s elapsed time, 3.413s cpu time, 0.051s GC time, factor 1.02
ML heap maximum:
1.4 GiB
ML heap average:
866.1 MiB
Isabelle version:
cbf5095487bb

Classes

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
3.082s elapsed time, 1.641s cpu time, 0.044s GC time, factor 0.53
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
757 MiB
ML heap average:
386.5 MiB
Isabelle version:
cbf5095487bb

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
2.660s elapsed time, 2.693s cpu time, 0.063s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.1 GiB
ML heap average:
685 MiB
Isabelle version:
cbf5095487bb

FOL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.637s elapsed time, 3.755s cpu time, 0.107s 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:
838.4 MiB
ML heap stored:
3.6 MiB
Isabelle version:
cbf5095487bb

Locales

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.741s elapsed time, 2.234s cpu time, 0.066s GC time, factor 0.82
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
760 MiB
ML heap average:
497.4 MiB
Isabelle version:
cbf5095487bb

Eisbach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.625s elapsed time, 3.280s cpu time, 0.106s GC time, factor 0.90
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
767 MiB
ML heap average:
614.2 MiB
Isabelle version:
cbf5095487bb

ZF-Resid

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.311s elapsed time, 2.426s cpu time, 0.054s GC time, factor 1.05
ML heap maximum:
758 MiB
ML heap average:
603.8 MiB
Isabelle version:
cbf5095487bb

HOL-Mutabelle

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.855s elapsed time, 1.889s cpu time, 0.224s 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:
587.3 MiB
Isabelle version:
cbf5095487bb

IOA-ex

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.583s elapsed time, 1.611s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
681 MiB
ML heap average:
480.7 MiB
Isabelle version:
cbf5095487bb

IOA-Storage

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.368s elapsed time, 2.392s cpu time, 0.056s GC time, factor 1.01
ML heap maximum:
757 MiB
ML heap average:
481.9 MiB
Isabelle version:
cbf5095487bb

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.241s elapsed time, 2.302s cpu time, 0.041s GC time, factor 1.03
ML heap maximum:
756 MiB
ML heap average:
442.8 MiB
Isabelle version:
cbf5095487bb

Sugar

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.160s elapsed time, 1.027s cpu time, 0.000s GC time, factor 0.89
ML stack maximum:
1.3 MiB
ML heap maximum:
505 MiB
ML heap average:
407.1 MiB
Isabelle version:
cbf5095487bb

ZF-Coind

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.439s elapsed time, 1.501s cpu time, 0.040s GC time, factor 1.04
ML heap maximum:
575 MiB
ML heap average:
389.4 MiB
Isabelle version:
cbf5095487bb

HOL-TLA-Buffer

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.160s elapsed time, 1.187s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
579 MiB
ML heap average:
438.1 MiB
Isabelle version:
cbf5095487bb

CTT

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.588s elapsed time, 1.681s cpu time, 0.107s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
765 MiB
ML heap average:
548.1 MiB
Isabelle version:
cbf5095487bb

FOLP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.463s elapsed time, 1.534s cpu time, 0.046s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
706 MiB
ML heap average:
418.8 MiB
ML heap stored:
1.5 MiB
Isabelle version:
cbf5095487bb

Main

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.976s elapsed time, 1.051s cpu time, 0.000s GC time, factor 1.08
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
519 MiB
ML heap average:
413.5 MiB
Isabelle version:
cbf5095487bb

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.751s elapsed time, 0.630s cpu time, 0.000s GC time, factor 0.84
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
266 MiB
ML heap average:
266 MiB
Isabelle version:
cbf5095487bb

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.494s elapsed time, 0.503s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
268 MiB
ML heap average:
268 MiB
Isabelle version:
cbf5095487bb

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.222s elapsed time, 1.251s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
617 MiB
ML heap average:
325.6 MiB
Isabelle version:
cbf5095487bb

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.196s elapsed time, 0.201s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
51 MiB
ML heap average:
51 MiB
Isabelle version:
cbf5095487bb

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.238s elapsed time, 0.199s cpu time, 0.000s GC time, factor 0.84
ML heap maximum:
43 MiB
ML heap average:
43 MiB
Isabelle version:
cbf5095487bb

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.514s elapsed time, 0.343s cpu time, 0.000s GC time, factor 0.67
ML heap maximum:
119 MiB
ML heap average:
119 MiB
Isabelle version:
cbf5095487bb

HOL-Real_Asymp-Manual

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

Pure-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.762s elapsed time, 0.689s cpu time, 0.000s GC time, factor 0.90
ML heap maximum:
225 MiB
ML heap average:
114 MiB
Isabelle version:
cbf5095487bb

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.259s elapsed time, 0.220s cpu time, 0.000s GC time, factor 0.85
ML heap maximum:
50 MiB
ML heap average:
50 MiB
Isabelle version:
cbf5095487bb

Haskell

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.544s elapsed time, 0.565s 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:
cbf5095487bb

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.248s elapsed time, 0.209s cpu time, 0.000s GC time, factor 0.84
ML heap maximum:
37 MiB
ML heap average:
37 MiB
Isabelle version:
cbf5095487bb

Pure-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.660s elapsed time, 0.487s cpu time, 0.000s GC time, factor 0.74
ML heap maximum:
192 MiB
ML heap average:
192 MiB
Isabelle version:
cbf5095487bb

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.532s elapsed time, 0.569s cpu time, 0.000s GC time, factor 1.07
ML heap maximum:
332 MiB
ML heap average:
332 MiB
Isabelle version:
cbf5095487bb

Logics

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

SML

data:
CSV
ML timing:
0.025s elapsed time, 0.022s cpu time, 0.000s GC time, factor 0.88
ML heap maximum:
23 MiB
ML heap average:
23 MiB
Isabelle version:
cbf5095487bb

Sledgehammer

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

Nitpick

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

Cube

data:
CSV
ML timing:
0.386s elapsed time, 0.416s cpu time, 0.000s GC time, factor 1.08
ML heap maximum:
64 MiB
ML heap average:
3 MiB
Isabelle version:
cbf5095487bb

Intro

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