Isabelle build status for Windows, 4 threads

status date:
24-Apr-2019 17:36:41 +0200
build host:
vmnipkow9

HOL-Proofs

data:
CSV
timing:
0:10:24 elapsed time
ML timing:
0:09:56 elapsed time, 0:25:29 cpu time, factor 2.56
heap maximum:
3275 M
heap average:
2939 M
heap stored:
238 M
Isabelle version:
d21789843f01

HOL-Analysis

data:
CSV
timing:
0:06:48 elapsed time
ML timing:
0:06:26 elapsed time, 0:22:02 cpu time, factor 3.43
heap maximum:
3275 M
heap average:
2990 M
heap stored:
113 M
Isabelle version:
d21789843f01

HOL-ex

data:
CSV
timing:
0:04:24 elapsed time
ML timing:
0:04:21 elapsed time, 0:18:54 cpu time, factor 4.33
heap maximum:
3274 M
heap average:
2018 M
Isabelle version:
d21789843f01

HOL-Decision_Procs

data:
CSV
timing:
0:04:15 elapsed time
ML timing:
0:04:13 elapsed time, 0:15:36 cpu time, factor 3.69
heap maximum:
3276 M
heap average:
3037 M
Isabelle version:
d21789843f01

HOL-Nominal-Examples

data:
CSV
timing:
0:04:10 elapsed time
ML timing:
0:04:08 elapsed time, 0:15:08 cpu time, factor 3.66
heap maximum:
3275 M
heap average:
3104 M
Isabelle version:
d21789843f01

HOL-Data_Structures

data:
CSV
timing:
0:03:31 elapsed time
ML timing:
0:03:30 elapsed time, 0:12:57 cpu time, factor 3.69
heap maximum:
3275 M
heap average:
2881 M
Isabelle version:
d21789843f01

HOL

data:
CSV
timing:
0:03:08 elapsed time
ML timing:
0:02:42 elapsed time, 0:08:42 cpu time, factor 3.22
heap maximum:
2525 M
heap average:
1864 M
heap stored:
202 M
Isabelle version:
d21789843f01

HOL-Corec_Examples

data:
CSV
timing:
0:02:49 elapsed time
ML timing:
0:02:47 elapsed time, 0:07:50 cpu time, factor 2.81
heap maximum:
3270 M
heap average:
2755 M
Isabelle version:
d21789843f01

HOL-Library

data:
CSV
timing:
0:02:06 elapsed time
ML timing:
0:01:39 elapsed time, 0:05:56 cpu time, factor 3.59
heap maximum:
3275 M
heap average:
2596 M
heap stored:
118 M
Isabelle version:
d21789843f01

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:54 elapsed time
ML timing:
0:01:52 elapsed time, 0:02:14 cpu time, factor 1.19
heap maximum:
1499 M
heap average:
1486 M
Isabelle version:
d21789843f01

HOL-Probability

data:
CSV
timing:
0:01:44 elapsed time
ML timing:
0:01:24 elapsed time, 0:04:09 cpu time, factor 2.95
heap maximum:
1848 M
heap average:
1547 M
heap stored:
54 M
Isabelle version:
d21789843f01

HOL-Auth

data:
CSV
timing:
0:01:33 elapsed time
ML timing:
0:01:19 elapsed time, 0:04:15 cpu time, factor 3.22
heap maximum:
1499 M
heap average:
1474 M
heap stored:
26 M
Isabelle version:
d21789843f01

HOL-Algebra

data:
CSV
timing:
0:01:22 elapsed time
ML timing:
0:01:00 elapsed time, 0:04:08 cpu time, factor 4.08
heap maximum:
1658 M
heap average:
1483 M
heap stored:
91 M
Isabelle version:
d21789843f01

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:20 elapsed time
ML timing:
0:01:19 elapsed time, 0:02:41 cpu time, factor 2.04
heap maximum:
1499 M
heap average:
1482 M
Isabelle version:
d21789843f01

HOL-Imperative_HOL

data:
CSV
timing:
0:01:17 elapsed time
ML timing:
0:01:16 elapsed time, 0:01:40 cpu time, factor 1.32
heap maximum:
1773 M
heap average:
831 M
Isabelle version:
d21789843f01

HOL-Datatype_Examples

data:
CSV
timing:
0:01:15 elapsed time
ML timing:
0:01:14 elapsed time, 0:04:21 cpu time, factor 3.53
heap maximum:
3266 M
heap average:
2798 M
Isabelle version:
d21789843f01

HOL-Hoare_Parallel

data:
CSV
timing:
0:01:14 elapsed time
ML timing:
0:01:13 elapsed time, 0:04:24 cpu time, factor 3.58
heap maximum:
1499 M
heap average:
1489 M
Isabelle version:
d21789843f01

HOL-Word-SMT_Examples

data:
CSV
timing:
0:01:12 elapsed time
ML timing:
0:01:11 elapsed time, 0:02:10 cpu time, factor 1.82
heap maximum:
1696 M
heap average:
637 M
Isabelle version:
d21789843f01

HOL-Real_Asymp

data:
CSV
timing:
0:01:11 elapsed time
ML timing:
0:00:54 elapsed time, 0:03:39 cpu time, factor 4.03
heap maximum:
1499 M
heap average:
1473 M
heap stored:
55 M
Isabelle version:
d21789843f01

HOL-MicroJava

data:
CSV
timing:
0:01:06 elapsed time
ML timing:
0:01:05 elapsed time, 0:03:54 cpu time, factor 3.61
heap maximum:
1499 M
heap average:
1485 M
Isabelle version:
d21789843f01

HOL-Number_Theory

data:
CSV
timing:
0:01:01 elapsed time
ML timing:
0:00:45 elapsed time, 0:02:50 cpu time, factor 3.76
heap maximum:
1499 M
heap average:
1489 M
heap stored:
53 M
Isabelle version:
d21789843f01

HOL-Bali

data:
CSV
timing:
0:01:00 elapsed time
ML timing:
0:00:58 elapsed time, 0:02:45 cpu time, factor 2.81
heap maximum:
1499 M
heap average:
1469 M
Isabelle version:
d21789843f01

HOL-IMP

data:
CSV
timing:
0:00:58 elapsed time
ML timing:
0:00:56 elapsed time, 0:03:21 cpu time, factor 3.55
heap maximum:
1499 M
heap average:
1484 M
Isabelle version:
d21789843f01

Datatypes

data:
CSV
timing:
0:00:57 elapsed time
ML timing:
0:00:38 elapsed time, 0:00:57 cpu time, factor 1.50
heap maximum:
1487 M
heap average:
1435 M
heap stored:
76 M
Isabelle version:
d21789843f01

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:00:52 elapsed time
ML timing:
0:00:46 elapsed time, 0:02:07 cpu time, factor 2.76
heap maximum:
1499 M
heap average:
1482 M
Isabelle version:
d21789843f01

HOL-Computational_Algebra

data:
CSV
timing:
0:00:51 elapsed time
ML timing:
0:00:38 elapsed time, 0:01:55 cpu time, factor 3.02
heap maximum:
1498 M
heap average:
1479 M
heap stored:
26 M
Isabelle version:
d21789843f01

Corec

data:
CSV
timing:
0:00:49 elapsed time
ML timing:
0:00:47 elapsed time, 0:01:05 cpu time, factor 1.36
heap maximum:
1487 M
heap average:
1426 M
Isabelle version:
d21789843f01

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:48 elapsed time
ML timing:
0:00:47 elapsed time
heap maximum:
12 M
heap average:
9 M
Isabelle version:
d21789843f01

Codegen

data:
CSV
timing:
0:00:37 elapsed time
ML timing:
0:00:36 elapsed time, 0:01:32 cpu time, factor 2.54
heap maximum:
1499 M
heap average:
1470 M
Isabelle version:
d21789843f01

HOL-Quotient_Examples

data:
CSV
timing:
0:00:33 elapsed time
ML timing:
0:00:29 elapsed time, 0:00:36 cpu time, factor 1.23
heap maximum:
1485 M
heap average:
984 M
Isabelle version:
d21789843f01

HOL-SET_Protocol

data:
CSV
timing:
0:00:30 elapsed time
ML timing:
0:00:28 elapsed time, 0:01:31 cpu time, factor 3.17
heap maximum:
1499 M
heap average:
1432 M
Isabelle version:
d21789843f01

HOL-UNITY

data:
CSV
timing:
0:00:26 elapsed time
ML timing:
0:00:24 elapsed time, 0:01:17 cpu time, factor 3.18
heap maximum:
1498 M
heap average:
1450 M
Isabelle version:
d21789843f01

HOL-Analysis-ex

data:
CSV
timing:
0:00:22 elapsed time
ML timing:
0:00:20 elapsed time, 0:00:35 cpu time, factor 1.70
heap maximum:
1499 M
heap average:
1498 M
Isabelle version:
d21789843f01

HOLCF

data:
CSV
timing:
0:00:20 elapsed time
ML timing:
0:00:12 elapsed time, 0:00:27 cpu time, factor 2.28
heap maximum:
1481 M
heap average:
1292 M
heap stored:
19 M
Isabelle version:
d21789843f01

HOL-Import

data:
CSV
timing:
0:00:19 elapsed time
ML timing:
0:00:18 elapsed time, 0:00:19 cpu time, factor 1.04
heap maximum:
1494 M
heap average:
1389 M
Isabelle version:
d21789843f01

HOL-Hoare

data:
CSV
timing:
0:00:17 elapsed time
ML timing:
0:00:15 elapsed time, 0:00:36 cpu time, factor 2.30
heap maximum:
1499 M
heap average:
1454 M
Isabelle version:
d21789843f01

HOL-Word

data:
CSV
timing:
0:00:16 elapsed time
ML timing:
0:00:09 elapsed time, 0:00:35 cpu time, factor 3.84
heap maximum:
1496 M
heap average:
1400 M
heap stored:
16 M
Isabelle version:
d21789843f01

Pure

data:
CSV
timing:
0:00:16 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
1497 M
heap average:
1497 M
heap stored:
17 M
Isabelle version:
d21789843f01

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:16 elapsed time
ML timing:
0:00:06 elapsed time, 0:00:16 cpu time, factor 2.54
heap maximum:
1491 M
heap average:
1265 M
heap stored:
8 M
Isabelle version:
d21789843f01

HOL-Nominal

data:
CSV
timing:
0:00:15 elapsed time
ML timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 1.87
heap maximum:
1484 M
heap average:
1182 M
heap stored:
7 M
Isabelle version:
d21789843f01

Tutorial

data:
CSV
timing:
0:00:15 elapsed time
ML timing:
0:00:14 elapsed time, 0:00:43 cpu time, factor 2.99
heap maximum:
1491 M
heap average:
1336 M
Isabelle version:
d21789843f01

IOA

data:
CSV
timing:
0:00:15 elapsed time
ML timing:
0:00:07 elapsed time, 0:00:24 cpu time, factor 3.23
heap maximum:
1492 M
heap average:
1376 M
heap stored:
6 M
Isabelle version:
d21789843f01

HOLCF-Library

data:
CSV
timing:
0:00:14 elapsed time
ML timing:
0:00:06 elapsed time, 0:00:22 cpu time, factor 3.21
heap maximum:
1491 M
heap average:
1451 M
heap stored:
9 M
Isabelle version:
d21789843f01

HOL-Statespace

data:
CSV
timing:
0:00:14 elapsed time
ML timing:
0:00:13 elapsed time, 0:00:15 cpu time, factor 1.17
heap maximum:
1474 M
heap average:
1335 M
Isabelle version:
d21789843f01

ZF

data:
CSV
timing:
0:00:13 elapsed time
ML timing:
0:00:11 elapsed time, 0:00:29 cpu time, factor 2.48
heap maximum:
1489 M
heap average:
1241 M
heap stored:
14 M
Isabelle version:
d21789843f01

HOLCF-Tutorial

data:
CSV
timing:
0:00:12 elapsed time
ML timing:
0:00:11 elapsed time, 0:00:15 cpu time, factor 1.31
heap maximum:
1484 M
heap average:
1246 M
Isabelle version:
d21789843f01

Isar_Ref

data:
CSV
timing:
0:00:12 elapsed time
ML timing:
0:00:11 elapsed time, 0:00:27 cpu time, factor 2.43
heap maximum:
1490 M
heap average:
1417 M
Isabelle version:
d21789843f01

HOL-Types_To_Sets

data:
CSV
timing:
0:00:10 elapsed time
ML timing:
0:00:09 elapsed time, 0:00:18 cpu time, factor 1.98
heap maximum:
1494 M
heap average:
1361 M
Isabelle version:
d21789843f01

HOL-SPARK-Examples

data:
CSV
timing:
0:00:10 elapsed time
ML timing:
0:00:09 elapsed time, 0:00:25 cpu time, factor 2.76
heap maximum:
1499 M
heap average:
1409 M
Isabelle version:
d21789843f01

HOL-Induct

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
0:00:08 elapsed time, 0:00:28 cpu time, factor 3.56
heap maximum:
1607 M
heap average:
1206 M
Isabelle version:
d21789843f01

HOL-Cardinals

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
0:00:08 elapsed time, 0:00:31 cpu time, factor 3.85
heap maximum:
1496 M
heap average:
1458 M
Isabelle version:
d21789843f01

HOL-SPARK

data:
CSV
timing:
0:00:08 elapsed time
ML timing:
0:00:02 elapsed time
heap maximum:
769 M
heap average:
678 M
heap stored:
3 M
Isabelle version:
d21789843f01

ZF-Constructible

data:
CSV
timing:
0:00:08 elapsed time
ML timing:
0:00:08 elapsed time, 0:00:26 cpu time, factor 3.26
heap maximum:
1634 M
heap average:
1153 M
Isabelle version:
d21789843f01

HOL-Probability-ex

data:
CSV
timing:
0:00:08 elapsed time
ML timing:
0:00:06 elapsed time, 0:00:17 cpu time, factor 2.54
heap maximum:
1495 M
heap average:
1454 M
Isabelle version:
d21789843f01

ZF-UNITY

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
0:00:07 elapsed time, 0:00:22 cpu time, factor 3.16
heap maximum:
1496 M
heap average:
1272 M
Isabelle version:
d21789843f01

HOL-TLA-Memory

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
0:00:06 elapsed time, 0:00:18 cpu time, factor 2.81
heap maximum:
1497 M
heap average:
1180 M
Isabelle version:
d21789843f01

HOL-Matrix_LP

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
0:00:05 elapsed time, 0:00:21 cpu time, factor 3.90
heap maximum:
1494 M
heap average:
1417 M
Isabelle version:
d21789843f01

IOA-NTP

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.16
heap maximum:
1487 M
heap average:
1129 M
Isabelle version:
d21789843f01

HOL-TLA

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
770 M
heap average:
557 M
heap stored:
2 M
Isabelle version:
d21789843f01

Typeclass_Hierarchy

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
0:00:05 elapsed time, 0:00:14 cpu time, factor 2.68
heap maximum:
1489 M
heap average:
1230 M
Isabelle version:
d21789843f01

HOL-TPTP

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.15
heap maximum:
1489 M
heap average:
1180 M
Isabelle version:
d21789843f01

HOL-Mirabelle

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
256 M
heap average:
256 M
heap stored:
1 M
Isabelle version:
d21789843f01

HOL-NanoJava

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 1.88
heap maximum:
1473 M
heap average:
1060 M
Isabelle version:
d21789843f01

IOA-ABP

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 2.01
heap maximum:
1473 M
heap average:
956 M
Isabelle version:
d21789843f01

HOL-Unix

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:07 cpu time, factor 1.71
heap maximum:
1475 M
heap average:
1027 M
Isabelle version:
d21789843f01

ZF-ex

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
0:00:05 elapsed time, 0:00:12 cpu time, factor 2.32
heap maximum:
1493 M
heap average:
1372 M
Isabelle version:
d21789843f01

CCL

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.47
heap maximum:
1467 M
heap average:
1025 M
Isabelle version:
d21789843f01

HOLCF-IMP

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 1.89
heap maximum:
1486 M
heap average:
1199 M
Isabelle version:
d21789843f01

ZF-Induct

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.74
heap maximum:
1485 M
heap average:
1329 M
heap stored:
4 M
Isabelle version:
d21789843f01

FOL-ex

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 1.64
heap maximum:
1493 M
heap average:
1197 M
Isabelle version:
d21789843f01

HOL-SPARK-Manual

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:06 cpu time
heap maximum:
1494 M
heap average:
1044 M
Isabelle version:
d21789843f01

Prog_Prove

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:09 cpu time
heap maximum:
1466 M
heap average:
1234 M
Isabelle version:
d21789843f01

HOL-Hahn_Banach

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:06 cpu time
heap maximum:
1474 M
heap average:
1055 M
Isabelle version:
d21789843f01

HOL-Isar_Examples

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:08 cpu time
heap maximum:
1478 M
heap average:
1478 M
Isabelle version:
d21789843f01

HOL-IMPP

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 1.95
heap maximum:
1478 M
heap average:
862 M
Isabelle version:
d21789843f01

HOLCF-FOCUS

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:07 cpu time
heap maximum:
1489 M
heap average:
1313 M
Isabelle version:
d21789843f01

HOL-ZF

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:06 cpu time
heap maximum:
1484 M
heap average:
1121 M
Isabelle version:
d21789843f01

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
762 M
heap average:
563 M
Isabelle version:
d21789843f01

HOL-Eisbach

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:06 cpu time
heap maximum:
1478 M
heap average:
1059 M
Isabelle version:
d21789843f01

FOL

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time
heap maximum:
773 M
heap average:
681 M
heap stored:
3 M
Isabelle version:
d21789843f01

HOLCF-ex

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:08 cpu time
heap maximum:
1477 M
heap average:
1210 M
Isabelle version:
d21789843f01

Implementation

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:05 cpu time
heap maximum:
925 M
heap average:
737 M
Isabelle version:
d21789843f01

FOLP-ex

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:05 cpu time
heap maximum:
1491 M
heap average:
1222 M
Isabelle version:
d21789843f01

ZF-AC

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:08 cpu time
heap maximum:
1481 M
heap average:
1135 M
Isabelle version:
d21789843f01

Functions

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:03 cpu time
heap maximum:
768 M
heap average:
615 M
Isabelle version:
d21789843f01

LCF

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time
heap maximum:
866 M
heap average:
693 M
Isabelle version:
d21789843f01

HOL-Proofs-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
560 M
heap average:
560 M
Isabelle version:
d21789843f01

HOL-IOA

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
762 M
heap average:
662 M
Isabelle version:
d21789843f01

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
602 M
heap average:
454 M
Isabelle version:
d21789843f01

Sequents

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:05 cpu time
heap maximum:
1494 M
heap average:
1183 M
Isabelle version:
d21789843f01

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
493 M
heap average:
408 M
Isabelle version:
d21789843f01

Locales

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
672 M
heap average:
541 M
Isabelle version:
d21789843f01

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
762 M
heap average:
633 M
Isabelle version:
d21789843f01

JEdit

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
234 M
heap average:
183 M
Isabelle version:
d21789843f01

Main

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
456 M
heap average:
376 M
Isabelle version:
d21789843f01

HOL-Lattice

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
772 M
heap average:
612 M
Isabelle version:
d21789843f01

Spec_Check

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time, 0:00:03 cpu time
heap maximum:
1464 M
heap average:
981 M
Isabelle version:
d21789843f01

Eisbach

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
742 M
heap average:
562 M
Isabelle version:
d21789843f01

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
289 M
heap average:
223 M
Isabelle version:
d21789843f01

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
766 M
heap average:
663 M
Isabelle version:
d21789843f01

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
499 M
heap average:
499 M
Isabelle version:
d21789843f01

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
316 M
heap average:
316 M
Isabelle version:
d21789843f01

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
224 M
heap average:
224 M
Isabelle version:
d21789843f01

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
141 M
heap average:
141 M
Isabelle version:
d21789843f01

HOL-Mutabelle

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
200 M
heap average:
200 M
Isabelle version:
d21789843f01

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
446 M
heap average:
403 M
Isabelle version:
d21789843f01

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
446 M
heap average:
446 M
Isabelle version:
d21789843f01

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
377 M
heap average:
377 M
Isabelle version:
d21789843f01

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
215 M
heap average:
215 M
Isabelle version:
d21789843f01

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
457 M
heap average:
413 M
heap stored:
1 M
Isabelle version:
d21789843f01

System

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
291 M
heap average:
291 M
Isabelle version:
d21789843f01

Haskell

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
70 M
heap average:
70 M
Isabelle version:
d21789843f01

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
169 M
heap average:
169 M
Isabelle version:
d21789843f01

Logics

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
d21789843f01

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
d21789843f01

SML

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
11 M
heap average:
11 M
Isabelle version:
d21789843f01

Sledgehammer

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
d21789843f01

Nitpick

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
d21789843f01

HOL-Quickcheck_Examples

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
d21789843f01

Cube

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
127 M
heap average:
127 M
Isabelle version:
d21789843f01

Intro

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
d21789843f01

HOL-Metis_Examples

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
d21789843f01

HOL-Codegenerator_Test

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
d21789843f01