Isabelle build status for Mac OS X, quick_and_dirty, 8 threads

status date:
22-Feb-2019 18:05:34 +0100
build host:
macbroy2

HOL-Proofs

data:
CSV
timing:
0:14:12 elapsed time, 0:33:50 cpu time, factor 2.38
ML timing:
0:12:45 elapsed time, 0:34:29 cpu time, factor 2.70
maximum heap:
12756 M
average heap:
7743 M
stored heap:
269 M
Isabelle version:
3bfa28b3a5b2

HOL-Analysis

data:
CSV
timing:
0:06:00 elapsed time, 0:34:46 cpu time, factor 5.79
ML timing:
0:05:25 elapsed time, 0:37:01 cpu time, factor 6.83
maximum heap:
3080 M
average heap:
2543 M
stored heap:
133 M
Isabelle version:
3bfa28b3a5b2

HOL-Decision_Procs

data:
CSV
timing:
0:04:44 elapsed time, 0:20:50 cpu time, factor 4.40
ML timing:
0:04:40 elapsed time, 0:22:59 cpu time, factor 4.92
maximum heap:
4419 M
average heap:
3780 M
Isabelle version:
3bfa28b3a5b2

HOL-Codegenerator_Test

data:
CSV
timing:
0:04:22 elapsed time, 0:43:38 cpu time, factor 9.99
ML timing:
0:04:20 elapsed time, 0:08:10 cpu time, factor 1.89
maximum heap:
1499 M
average heap:
1488 M
Isabelle version:
3bfa28b3a5b2

HOL

data:
CSV
timing:
0:04:14 elapsed time, 0:13:34 cpu time, factor 3.20
ML timing:
0:03:35 elapsed time, 0:13:35 cpu time, factor 3.78
maximum heap:
5077 M
average heap:
2574 M
stored heap:
230 M
Isabelle version:
3bfa28b3a5b2

HOL-Nominal-Examples

data:
CSV
timing:
0:03:49 elapsed time, 0:16:15 cpu time, factor 4.26
ML timing:
0:03:47 elapsed time, 0:17:02 cpu time, factor 4.49
maximum heap:
3482 M
average heap:
3335 M
Isabelle version:
3bfa28b3a5b2

HOL-ex

data:
CSV
timing:
0:03:15 elapsed time, 0:16:15 cpu time, factor 5.00
ML timing:
0:03:13 elapsed time, 0:15:48 cpu time, factor 4.90
maximum heap:
2379 M
average heap:
2128 M
Isabelle version:
3bfa28b3a5b2

HOL-Corec_Examples

data:
CSV
timing:
0:03:00 elapsed time, 0:08:42 cpu time, factor 2.90
ML timing:
0:02:58 elapsed time, 0:10:12 cpu time, factor 3.43
maximum heap:
3521 M
average heap:
2946 M
Isabelle version:
3bfa28b3a5b2

HOL-Data_Structures

data:
CSV
timing:
0:02:33 elapsed time, 0:17:43 cpu time, factor 6.95
ML timing:
0:02:31 elapsed time, 0:18:21 cpu time, factor 7.25
maximum heap:
3514 M
average heap:
3314 M
Isabelle version:
3bfa28b3a5b2

HOL-Nitpick_Examples

data:
CSV
timing:
0:02:32 elapsed time, 0:34:17 cpu time, factor 13.53
ML timing:
0:02:30 elapsed time, 0:03:09 cpu time, factor 1.26
maximum heap:
1496 M
average heap:
1491 M
Isabelle version:
3bfa28b3a5b2

HOL-Proofs-Lambda

data:
CSV
timing:
0:02:25 elapsed time, 0:03:05 cpu time, factor 1.28
ML timing:
0:02:24 elapsed time, 0:03:10 cpu time, factor 1.32
maximum heap:
1499 M
average heap:
1486 M
Isabelle version:
3bfa28b3a5b2

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:50 elapsed time, 0:04:11 cpu time, factor 2.28
ML timing:
0:01:46 elapsed time, 0:04:19 cpu time, factor 2.43
maximum heap:
1499 M
average heap:
1484 M
Isabelle version:
3bfa28b3a5b2

HOL-Library

data:
CSV
timing:
0:01:48 elapsed time, 0:10:20 cpu time, factor 5.74
ML timing:
0:01:09 elapsed time, 0:08:17 cpu time, factor 7.18
maximum heap:
3515 M
average heap:
3122 M
stored heap:
135 M
Isabelle version:
3bfa28b3a5b2

HOL-Algebra

data:
CSV
timing:
0:01:38 elapsed time, 0:06:38 cpu time, factor 4.06
ML timing:
0:01:04 elapsed time, 0:06:20 cpu time, factor 5.89
maximum heap:
3306 M
average heap:
1808 M
stored heap:
108 M
Isabelle version:
3bfa28b3a5b2

HOL-Probability

data:
CSV
timing:
0:01:26 elapsed time, 0:07:53 cpu time, factor 5.50
ML timing:
0:00:59 elapsed time, 0:06:11 cpu time, factor 6.21
maximum heap:
2921 M
average heap:
2670 M
stored heap:
63 M
Isabelle version:
3bfa28b3a5b2

HOL-Real_Asymp

data:
CSV
timing:
0:01:24 elapsed time, 0:05:25 cpu time, factor 3.87
ML timing:
0:01:00 elapsed time, 0:04:50 cpu time, factor 4.83
maximum heap:
1499 M
average heap:
1485 M
stored heap:
60 M
Isabelle version:
3bfa28b3a5b2

HOL-Auth

data:
CSV
timing:
0:01:22 elapsed time, 0:06:44 cpu time, factor 4.93
ML timing:
0:00:58 elapsed time, 0:06:14 cpu time, factor 6.39
maximum heap:
1499 M
average heap:
1462 M
stored heap:
29 M
Isabelle version:
3bfa28b3a5b2

HOL-Word-SMT_Examples

data:
CSV
timing:
0:01:20 elapsed time, 0:02:05 cpu time, factor 1.56
ML timing:
0:01:19 elapsed time, 0:01:51 cpu time, factor 1.41
maximum heap:
1499 M
average heap:
1490 M
Isabelle version:
3bfa28b3a5b2

HOL-Number_Theory

data:
CSV
timing:
0:01:16 elapsed time, 0:04:45 cpu time, factor 3.75
ML timing:
0:00:50 elapsed time, 0:04:12 cpu time, factor 5.03
maximum heap:
1499 M
average heap:
1479 M
stored heap:
62 M
Isabelle version:
3bfa28b3a5b2

HOL-Datatype_Examples

data:
CSV
timing:
0:01:15 elapsed time, 0:03:15 cpu time, factor 2.60
ML timing:
0:01:13 elapsed time, 0:03:31 cpu time, factor 2.86
maximum heap:
2712 M
average heap:
2518 M
Isabelle version:
3bfa28b3a5b2

HOL-Computational_Algebra

data:
CSV
timing:
0:01:09 elapsed time, 0:03:35 cpu time, factor 3.12
ML timing:
0:00:48 elapsed time, 0:03:05 cpu time, factor 3.80
maximum heap:
1499 M
average heap:
1482 M
stored heap:
30 M
Isabelle version:
3bfa28b3a5b2

Datatypes

data:
CSV
timing:
0:01:08 elapsed time, 0:01:45 cpu time, factor 1.54
ML timing:
0:00:42 elapsed time, 0:01:01 cpu time, factor 1.44
maximum heap:
1487 M
average heap:
1445 M
stored heap:
82 M
Isabelle version:
3bfa28b3a5b2

HOL-Imperative_HOL

data:
CSV
timing:
0:01:08 elapsed time, 0:10:21 cpu time, factor 9.13
ML timing:
0:01:06 elapsed time, 0:01:31 cpu time, factor 1.37
maximum heap:
1499 M
average heap:
1496 M
Isabelle version:
3bfa28b3a5b2

HOL-MicroJava

data:
CSV
timing:
0:01:07 elapsed time, 0:05:15 cpu time, factor 4.70
ML timing:
0:01:06 elapsed time, 0:05:23 cpu time, factor 4.89
maximum heap:
1499 M
average heap:
1484 M
Isabelle version:
3bfa28b3a5b2

HOL-Hoare_Parallel

data:
CSV
timing:
0:00:58 elapsed time, 0:06:05 cpu time, factor 6.29
ML timing:
0:00:57 elapsed time, 0:06:10 cpu time, factor 6.42
maximum heap:
1499 M
average heap:
1489 M
Isabelle version:
3bfa28b3a5b2

HOL-Bali

data:
CSV
timing:
0:00:58 elapsed time, 0:03:13 cpu time, factor 3.33
ML timing:
0:00:56 elapsed time, 0:03:19 cpu time, factor 3.55
maximum heap:
1498 M
average heap:
1462 M
Isabelle version:
3bfa28b3a5b2

HOL-IMP

data:
CSV
timing:
0:00:56 elapsed time, 0:05:27 cpu time, factor 5.84
ML timing:
0:00:54 elapsed time, 0:05:54 cpu time, factor 6.47
maximum heap:
1788 M
average heap:
1516 M
Isabelle version:
3bfa28b3a5b2

Corec

data:
CSV
timing:
0:00:53 elapsed time, 0:01:00 cpu time, factor 1.13
ML timing:
0:00:51 elapsed time, 0:01:03 cpu time, factor 1.24
maximum heap:
1488 M
average heap:
1424 M
Isabelle version:
3bfa28b3a5b2

Codegen

data:
CSV
timing:
0:00:44 elapsed time, 0:01:51 cpu time, factor 2.52
ML timing:
0:00:43 elapsed time, 0:01:54 cpu time, factor 2.61
maximum heap:
1499 M
average heap:
1479 M
Isabelle version:
3bfa28b3a5b2

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:00:40 elapsed time, 0:06:57 cpu time, factor 10.43
ML timing:
0:00:39 elapsed time, 0:03:34 cpu time, factor 5.49
maximum heap:
1499 M
average heap:
1492 M
Isabelle version:
3bfa28b3a5b2

HOL-Quotient_Examples

data:
CSV
timing:
0:00:35 elapsed time, 0:02:14 cpu time, factor 3.83
ML timing:
0:00:32 elapsed time, 0:00:38 cpu time, factor 1.18
maximum heap:
1494 M
average heap:
1476 M
Isabelle version:
3bfa28b3a5b2

HOL-Import

data:
CSV
timing:
0:00:26 elapsed time, 0:00:27 cpu time, factor 1.04
ML timing:
0:00:25 elapsed time, 0:00:27 cpu time, factor 1.07
maximum heap:
1495 M
average heap:
1420 M
Isabelle version:
3bfa28b3a5b2

HOLCF

data:
CSV
timing:
0:00:25 elapsed time, 0:00:58 cpu time, factor 2.32
ML timing:
0:00:12 elapsed time, 0:00:37 cpu time, factor 3.06
maximum heap:
1482 M
average heap:
1401 M
stored heap:
22 M
Isabelle version:
3bfa28b3a5b2

Pure

data:
CSV
timing:
0:00:24 elapsed time, 0:00:26 cpu time, factor 1.08
ML timing:
0:00:01 elapsed time
maximum heap:
1498 M
average heap:
1497 M
stored heap:
18 M
Isabelle version:
3bfa28b3a5b2

HOL-SET_Protocol

data:
CSV
timing:
0:00:24 elapsed time, 0:02:08 cpu time, factor 5.33
ML timing:
0:00:22 elapsed time, 0:02:08 cpu time, factor 5.70
maximum heap:
1499 M
average heap:
1391 M
Isabelle version:
3bfa28b3a5b2

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:24 elapsed time, 0:00:51 cpu time, factor 2.13
ML timing:
0:00:07 elapsed time, 0:00:23 cpu time, factor 3.05
maximum heap:
1491 M
average heap:
1223 M
stored heap:
9 M
Isabelle version:
3bfa28b3a5b2

HOL-Analysis-ex

data:
CSV
timing:
0:00:24 elapsed time, 0:00:51 cpu time, factor 2.13
ML timing:
0:00:21 elapsed time, 0:00:50 cpu time, factor 2.35
maximum heap:
1499 M
average heap:
1479 M
Isabelle version:
3bfa28b3a5b2

HOL-Quickcheck_Examples

data:
CSV
timing:
0:00:23 elapsed time, 0:02:44 cpu time, factor 7.13
ML timing:
0:00:22 elapsed time, 0:02:52 cpu time, factor 7.82
maximum heap:
1497 M
average heap:
1489 M
Isabelle version:
3bfa28b3a5b2

HOL-Nominal

data:
CSV
timing:
0:00:22 elapsed time, 0:00:41 cpu time, factor 1.86
ML timing:
0:00:07 elapsed time, 0:00:15 cpu time, factor 2.11
maximum heap:
1486 M
average heap:
1208 M
stored heap:
7 M
Isabelle version:
3bfa28b3a5b2

HOL-Word

data:
CSV
timing:
0:00:21 elapsed time, 0:01:09 cpu time, factor 3.29
ML timing:
0:00:09 elapsed time, 0:00:50 cpu time, factor 5.24
maximum heap:
1495 M
average heap:
1460 M
stored heap:
18 M
Isabelle version:
3bfa28b3a5b2

HOL-UNITY

data:
CSV
timing:
0:00:20 elapsed time, 0:01:58 cpu time, factor 5.90
ML timing:
0:00:18 elapsed time, 0:02:01 cpu time, factor 6.49
maximum heap:
1497 M
average heap:
1468 M
Isabelle version:
3bfa28b3a5b2

IOA

data:
CSV
timing:
0:00:20 elapsed time, 0:00:54 cpu time, factor 2.70
ML timing:
0:00:08 elapsed time, 0:00:35 cpu time, factor 4.41
maximum heap:
1495 M
average heap:
1374 M
stored heap:
7 M
Isabelle version:
3bfa28b3a5b2

HOLCF-Library

data:
CSV
timing:
0:00:19 elapsed time, 0:00:51 cpu time, factor 2.68
ML timing:
0:00:07 elapsed time, 0:00:32 cpu time, factor 4.15
maximum heap:
1494 M
average heap:
1456 M
stored heap:
11 M
Isabelle version:
3bfa28b3a5b2

HOL-Statespace

data:
CSV
timing:
0:00:18 elapsed time, 0:00:21 cpu time, factor 1.17
ML timing:
0:00:16 elapsed time, 0:00:20 cpu time, factor 1.24
maximum heap:
1485 M
average heap:
1380 M
Isabelle version:
3bfa28b3a5b2

ZF

data:
CSV
timing:
0:00:18 elapsed time, 0:00:58 cpu time, factor 3.22
ML timing:
0:00:15 elapsed time, 0:00:58 cpu time, factor 3.79
maximum heap:
1970 M
average heap:
1484 M
stored heap:
16 M
Isabelle version:
3bfa28b3a5b2

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:18 elapsed time, 0:00:50 cpu time, factor 2.78
ML timing:
0:00:17 elapsed time
maximum heap:
11 M
average heap:
9 M
Isabelle version:
3bfa28b3a5b2

HOL-Hoare

data:
CSV
timing:
0:00:17 elapsed time, 0:00:49 cpu time, factor 2.88
ML timing:
0:00:16 elapsed time, 0:00:49 cpu time, factor 3.04
maximum heap:
1499 M
average heap:
1452 M
Isabelle version:
3bfa28b3a5b2

HOL-Metis_Examples

data:
CSV
timing:
0:00:16 elapsed time, 0:01:46 cpu time, factor 6.63
ML timing:
0:00:15 elapsed time, 0:01:10 cpu time, factor 4.67
maximum heap:
1499 M
average heap:
1481 M
Isabelle version:
3bfa28b3a5b2

Isar_Ref

data:
CSV
timing:
0:00:14 elapsed time, 0:00:35 cpu time, factor 2.50
ML timing:
0:00:12 elapsed time, 0:00:36 cpu time, factor 2.85
maximum heap:
1487 M
average heap:
1462 M
Isabelle version:
3bfa28b3a5b2

Tutorial

data:
CSV
timing:
0:00:13 elapsed time, 0:00:44 cpu time, factor 3.38
ML timing:
0:00:12 elapsed time, 0:00:46 cpu time, factor 3.77
maximum heap:
1490 M
average heap:
1396 M
Isabelle version:
3bfa28b3a5b2

HOLCF-Tutorial

data:
CSV
timing:
0:00:13 elapsed time, 0:00:18 cpu time, factor 1.38
ML timing:
0:00:11 elapsed time, 0:00:17 cpu time, factor 1.46
maximum heap:
1482 M
average heap:
1315 M
Isabelle version:
3bfa28b3a5b2

HOL-Types_To_Sets

data:
CSV
timing:
0:00:12 elapsed time, 0:00:25 cpu time, factor 2.08
ML timing:
0:00:11 elapsed time, 0:00:25 cpu time, factor 2.25
maximum heap:
1495 M
average heap:
1406 M
Isabelle version:
3bfa28b3a5b2

HOL-SPARK

data:
CSV
timing:
0:00:12 elapsed time, 0:00:20 cpu time, factor 1.67
ML timing:
0:00:02 elapsed time, 0:00:03 cpu time
maximum heap:
767 M
average heap:
608 M
stored heap:
3 M
Isabelle version:
3bfa28b3a5b2

HOL-SPARK-Examples

data:
CSV
timing:
0:00:11 elapsed time, 0:00:35 cpu time, factor 3.18
ML timing:
0:00:10 elapsed time, 0:00:34 cpu time, factor 3.47
maximum heap:
1499 M
average heap:
1470 M
Isabelle version:
3bfa28b3a5b2

HOL-TLA

data:
CSV
timing:
0:00:10 elapsed time, 0:00:18 cpu time, factor 1.80
ML timing:
0:00:01 elapsed time, 0:00:03 cpu time
maximum heap:
775 M
average heap:
625 M
stored heap:
2 M
Isabelle version:
3bfa28b3a5b2

ZF-Constructible

data:
CSV
timing:
0:00:10 elapsed time, 0:00:40 cpu time, factor 4.00
ML timing:
0:00:09 elapsed time, 0:00:45 cpu time, factor 4.67
maximum heap:
1566 M
average heap:
1294 M
Isabelle version:
3bfa28b3a5b2

HOL-Probability-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:24 cpu time, factor 2.40
ML timing:
0:00:07 elapsed time, 0:00:23 cpu time, factor 3.06
maximum heap:
1496 M
average heap:
1465 M
Isabelle version:
3bfa28b3a5b2

HOL-Mirabelle

data:
CSV
timing:
0:00:09 elapsed time, 0:00:15 cpu time, factor 1.67
ML timing:
0:00:00 elapsed time
maximum heap:
364 M
average heap:
364 M
stored heap:
1 M
Isabelle version:
3bfa28b3a5b2

HOL-Cardinals

data:
CSV
timing:
0:00:08 elapsed time, 0:00:47 cpu time, factor 5.88
ML timing:
0:00:06 elapsed time, 0:00:47 cpu time, factor 7.20
maximum heap:
1496 M
average heap:
1482 M
Isabelle version:
3bfa28b3a5b2

HOL-TPTP

data:
CSV
timing:
0:00:08 elapsed time, 0:00:09 cpu time, factor 1.13
ML timing:
0:00:06 elapsed time, 0:00:08 cpu time, factor 1.32
maximum heap:
1488 M
average heap:
1223 M
Isabelle version:
3bfa28b3a5b2

HOL-Matrix_LP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:29 cpu time, factor 4.14
ML timing:
0:00:05 elapsed time, 0:00:29 cpu time, factor 4.95
maximum heap:
1493 M
average heap:
1469 M
Isabelle version:
3bfa28b3a5b2

IOA-NTP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:14 cpu time, factor 2.00
ML timing:
0:00:05 elapsed time, 0:00:13 cpu time, factor 2.33
maximum heap:
1487 M
average heap:
1096 M
Isabelle version:
3bfa28b3a5b2

Typeclass_Hierarchy

data:
CSV
timing:
0:00:07 elapsed time, 0:00:21 cpu time, factor 3.00
ML timing:
0:00:06 elapsed time, 0:00:21 cpu time, factor 3.18
maximum heap:
1490 M
average heap:
1235 M
Isabelle version:
3bfa28b3a5b2

HOL-TLA-Memory

data:
CSV
timing:
0:00:07 elapsed time, 0:00:25 cpu time, factor 3.57
ML timing:
0:00:06 elapsed time, 0:00:25 cpu time, factor 3.84
maximum heap:
1497 M
average heap:
1220 M
Isabelle version:
3bfa28b3a5b2

HOL-NanoJava

data:
CSV
timing:
0:00:06 elapsed time, 0:00:09 cpu time, factor 1.50
ML timing:
0:00:05 elapsed time, 0:00:09 cpu time, factor 1.82
maximum heap:
1472 M
average heap:
907 M
Isabelle version:
3bfa28b3a5b2

HOL-Induct

data:
CSV
timing:
0:00:06 elapsed time, 0:00:24 cpu time, factor 4.00
ML timing:
0:00:05 elapsed time, 0:00:25 cpu time, factor 4.93
maximum heap:
1481 M
average heap:
1152 M
Isabelle version:
3bfa28b3a5b2

IOA-ABP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:10 cpu time, factor 1.67
ML timing:
0:00:04 elapsed time, 0:00:10 cpu time, factor 2.08
maximum heap:
1474 M
average heap:
885 M
Isabelle version:
3bfa28b3a5b2

HOL-Unix

data:
CSV
timing:
0:00:06 elapsed time, 0:00:09 cpu time, factor 1.50
ML timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.67
maximum heap:
1474 M
average heap:
974 M
Isabelle version:
3bfa28b3a5b2

ZF-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:24 cpu time, factor 4.00
ML timing:
0:00:05 elapsed time, 0:00:25 cpu time, factor 4.30
maximum heap:
1494 M
average heap:
1489 M
Isabelle version:
3bfa28b3a5b2

CCL

data:
CSV
timing:
0:00:06 elapsed time, 0:00:09 cpu time, factor 1.50
ML timing:
0:00:06 elapsed time, 0:00:10 cpu time, factor 1.66
maximum heap:
1484 M
average heap:
1129 M
Isabelle version:
3bfa28b3a5b2

HOLCF-IMP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
0:00:05 elapsed time, 0:00:11 cpu time, factor 2.15
maximum heap:
1488 M
average heap:
1130 M
Isabelle version:
3bfa28b3a5b2

FOL-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:09 cpu time, factor 1.80
ML timing:
0:00:04 elapsed time, 0:00:09 cpu time, factor 1.96
maximum heap:
1494 M
average heap:
1316 M
Isabelle version:
3bfa28b3a5b2

HOL-Hahn_Banach

data:
CSV
timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.00
ML timing:
0:00:03 elapsed time, 0:00:09 cpu time, factor 2.86
maximum heap:
1491 M
average heap:
1158 M
Isabelle version:
3bfa28b3a5b2

Classes

data:
CSV
timing:
0:00:05 elapsed time, 0:00:03 cpu time, factor 0.60
ML timing:
0:00:02 elapsed time
maximum heap:
765 M
average heap:
558 M
Isabelle version:
3bfa28b3a5b2

ZF-UNITY

data:
CSV
timing:
0:00:05 elapsed time, 0:00:35 cpu time, factor 7.00
ML timing:
0:00:05 elapsed time, 0:00:36 cpu time, factor 6.96
maximum heap:
1496 M
average heap:
1448 M
Isabelle version:
3bfa28b3a5b2

ZF-Induct

data:
CSV
timing:
0:00:04 elapsed time, 0:00:19 cpu time, factor 4.75
ML timing:
0:00:02 elapsed time, 0:00:16 cpu time
maximum heap:
1495 M
average heap:
1456 M
stored heap:
4 M
Isabelle version:
3bfa28b3a5b2

HOL-SPARK-Manual

data:
CSV
timing:
0:00:04 elapsed time, 0:00:09 cpu time, factor 2.25
ML timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.57
maximum heap:
1493 M
average heap:
1078 M
Isabelle version:
3bfa28b3a5b2

Prog_Prove

data:
CSV
timing:
0:00:04 elapsed time, 0:00:10 cpu time, factor 2.50
ML timing:
0:00:03 elapsed time, 0:00:10 cpu time, factor 3.33
maximum heap:
1484 M
average heap:
1333 M
Isabelle version:
3bfa28b3a5b2

HOLCF-FOCUS

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
0:00:02 elapsed time, 0:00:10 cpu time
maximum heap:
1492 M
average heap:
1299 M
Isabelle version:
3bfa28b3a5b2

HOL-ZF

data:
CSV
timing:
0:00:04 elapsed time, 0:00:12 cpu time, factor 3.00
ML timing:
0:00:02 elapsed time, 0:00:11 cpu time
maximum heap:
1485 M
average heap:
1233 M
Isabelle version:
3bfa28b3a5b2

HOL-Eisbach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:09 cpu time, factor 2.25
ML timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.25
maximum heap:
1477 M
average heap:
1204 M
Isabelle version:
3bfa28b3a5b2

FOL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.20
maximum heap:
1484 M
average heap:
964 M
stored heap:
3 M
Isabelle version:
3bfa28b3a5b2

HOL-Isar_Examples

data:
CSV
timing:
0:00:04 elapsed time, 0:00:12 cpu time, factor 3.00
ML timing:
0:00:02 elapsed time, 0:00:11 cpu time
maximum heap:
1482 M
average heap:
1356 M
Isabelle version:
3bfa28b3a5b2

HOL-IMPP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 2.00
ML timing:
0:00:03 elapsed time, 0:00:07 cpu time, factor 2.01
maximum heap:
1478 M
average heap:
811 M
Isabelle version:
3bfa28b3a5b2

Functions

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time, 0:00:04 cpu time
maximum heap:
823 M
average heap:
669 M
Isabelle version:
3bfa28b3a5b2

LCF

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.22
maximum heap:
1484 M
average heap:
985 M
Isabelle version:
3bfa28b3a5b2

HOL-IOA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
0:00:02 elapsed time, 0:00:04 cpu time
maximum heap:
771 M
average heap:
682 M
Isabelle version:
3bfa28b3a5b2

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
0:00:01 elapsed time, 0:00:04 cpu time
maximum heap:
772 M
average heap:
619 M
Isabelle version:
3bfa28b3a5b2

HOLCF-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:12 cpu time, factor 4.00
ML timing:
0:00:02 elapsed time, 0:00:12 cpu time
maximum heap:
1482 M
average heap:
1302 M
Isabelle version:
3bfa28b3a5b2

Implementation

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
0:00:02 elapsed time, 0:00:07 cpu time
maximum heap:
1455 M
average heap:
1095 M
Isabelle version:
3bfa28b3a5b2

FOLP-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:07 cpu time, factor 2.33
ML timing:
0:00:02 elapsed time, 0:00:07 cpu time
maximum heap:
1494 M
average heap:
1298 M
Isabelle version:
3bfa28b3a5b2

Eisbach

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time, 0:00:03 cpu time
maximum heap:
766 M
average heap:
648 M
Isabelle version:
3bfa28b3a5b2

HOL-Proofs-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
0:00:01 elapsed time
maximum heap:
702 M
average heap:
630 M
Isabelle version:
3bfa28b3a5b2

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
278 M
average heap:
278 M
Isabelle version:
3bfa28b3a5b2

Sequents

data:
CSV
timing:
0:00:02 elapsed time, 0:00:08 cpu time
ML timing:
0:00:01 elapsed time, 0:00:08 cpu time
maximum heap:
1492 M
average heap:
1349 M
Isabelle version:
3bfa28b3a5b2

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
292 M
average heap:
292 M
Isabelle version:
3bfa28b3a5b2

FOLP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
maximum heap:
715 M
average heap:
594 M
stored heap:
1 M
Isabelle version:
3bfa28b3a5b2

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
0:00:01 elapsed time
maximum heap:
565 M
average heap:
408 M
Isabelle version:
3bfa28b3a5b2

Locales

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
0:00:01 elapsed time
maximum heap:
774 M
average heap:
668 M
Isabelle version:
3bfa28b3a5b2

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
0:00:01 elapsed time, 0:00:04 cpu time
maximum heap:
907 M
average heap:
815 M
Isabelle version:
3bfa28b3a5b2

ZF-AC

data:
CSV
timing:
0:00:02 elapsed time, 0:00:12 cpu time
ML timing:
0:00:02 elapsed time, 0:00:12 cpu time
maximum heap:
1475 M
average heap:
1431 M
Isabelle version:
3bfa28b3a5b2

Main

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
maximum heap:
584 M
average heap:
484 M
Isabelle version:
3bfa28b3a5b2

HOL-Lattice

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
0:00:01 elapsed time, 0:00:03 cpu time
maximum heap:
775 M
average heap:
594 M
Isabelle version:
3bfa28b3a5b2

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
368 M
average heap:
319 M
Isabelle version:
3bfa28b3a5b2

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time, 0:00:03 cpu time
ML timing:
0:00:01 elapsed time, 0:00:03 cpu time
maximum heap:
767 M
average heap:
767 M
Isabelle version:
3bfa28b3a5b2

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
618 M
average heap:
618 M
Isabelle version:
3bfa28b3a5b2

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
400 M
average heap:
400 M
Isabelle version:
3bfa28b3a5b2

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
180 M
average heap:
180 M
Isabelle version:
3bfa28b3a5b2

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:01 elapsed time
maximum heap:
550 M
average heap:
501 M
Isabelle version:
3bfa28b3a5b2

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
612 M
average heap:
593 M
Isabelle version:
3bfa28b3a5b2

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
416 M
average heap:
371 M
Isabelle version:
3bfa28b3a5b2

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
319 M
average heap:
319 M
Isabelle version:
3bfa28b3a5b2

Spec_Check

data:
CSV
timing:
0:00:01 elapsed time, 0:00:04 cpu time
ML timing:
0:00:01 elapsed time, 0:00:04 cpu time
maximum heap:
1497 M
average heap:
1217 M
Isabelle version:
3bfa28b3a5b2

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
232 M
average heap:
232 M
Isabelle version:
3bfa28b3a5b2

Logics

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
3bfa28b3a5b2

Logics_ZF

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
306 M
average heap:
306 M
Isabelle version:
3bfa28b3a5b2

SML

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
13 M
average heap:
13 M
Isabelle version:
3bfa28b3a5b2

Sledgehammer

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
3bfa28b3a5b2

System

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
398 M
average heap:
398 M
Isabelle version:
3bfa28b3a5b2

Nitpick

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
3bfa28b3a5b2

Haskell

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
95 M
average heap:
95 M
Isabelle version:
3bfa28b3a5b2

Cube

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
164 M
average heap:
164 M
Isabelle version:
3bfa28b3a5b2

Intro

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
3bfa28b3a5b2