Isabelle build status for Linux B, 2 threads

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

HOL-Proofs

data:
CSV
timing:
0:26:08 elapsed time, 0:46:40 cpu time, factor 1.79
ML timing:
0:23:54 elapsed time, 0:46:10 cpu time, factor 1.93
maximum heap:
8265 M
average heap:
6153 M
stored heap:
268 M
Isabelle version:
dfc5f8294fbc

HOL-Analysis

data:
CSV
timing:
0:21:09 elapsed time, 0:37:37 cpu time, factor 1.78
ML timing:
0:20:10 elapsed time, 0:37:43 cpu time, factor 1.87
maximum heap:
6050 M
average heap:
5624 M
stored heap:
137 M
Isabelle version:
dfc5f8294fbc

HOL-Nominal-Examples

data:
CSV
timing:
0:13:54 elapsed time, 0:25:55 cpu time, factor 1.86
ML timing:
0:13:52 elapsed time, 0:27:54 cpu time, factor 2.01
maximum heap:
7028 M
average heap:
5556 M
Isabelle version:
dfc5f8294fbc

HOL-Decision_Procs

data:
CSV
timing:
0:13:48 elapsed time, 0:26:38 cpu time, factor 1.93
ML timing:
0:13:44 elapsed time, 0:28:28 cpu time, factor 2.07
maximum heap:
9064 M
average heap:
6511 M
Isabelle version:
dfc5f8294fbc

HOL-Data_Structures

data:
CSV
timing:
0:12:38 elapsed time, 0:22:42 cpu time, factor 1.80
ML timing:
0:12:37 elapsed time, 0:23:35 cpu time, factor 1.87
maximum heap:
3463 M
average heap:
3300 M
Isabelle version:
dfc5f8294fbc

HOL-ex

data:
CSV
timing:
0:11:11 elapsed time, 0:21:24 cpu time, factor 1.91
ML timing:
0:11:09 elapsed time, 0:21:11 cpu time, factor 1.90
maximum heap:
3576 M
average heap:
3374 M
Isabelle version:
dfc5f8294fbc

HOL

data:
CSV
timing:
0:08:24 elapsed time, 0:15:14 cpu time, factor 1.81
ML timing:
0:07:20 elapsed time, 0:14:59 cpu time, factor 2.04
maximum heap:
3369 M
average heap:
2530 M
stored heap:
234 M
Isabelle version:
dfc5f8294fbc

HOL-Library

data:
CSV
timing:
0:06:02 elapsed time, 0:11:16 cpu time, factor 1.87
ML timing:
0:04:58 elapsed time, 0:09:40 cpu time, factor 1.94
maximum heap:
3957 M
average heap:
3394 M
stored heap:
138 M
Isabelle version:
dfc5f8294fbc

HOL-Corec_Examples

data:
CSV
timing:
0:06:00 elapsed time, 0:11:38 cpu time, factor 1.94
ML timing:
0:05:57 elapsed time, 0:13:25 cpu time, factor 2.25
maximum heap:
5953 M
average heap:
3450 M
Isabelle version:
dfc5f8294fbc

HOL-Auth

data:
CSV
timing:
0:05:06 elapsed time, 0:07:59 cpu time, factor 1.57
ML timing:
0:04:35 elapsed time, 0:07:29 cpu time, factor 1.63
maximum heap:
1499 M
average heap:
1484 M
stored heap:
30 M
Isabelle version:
dfc5f8294fbc

HOL-Probability

data:
CSV
timing:
0:04:17 elapsed time, 0:08:06 cpu time, factor 1.89
ML timing:
0:03:38 elapsed time, 0:06:58 cpu time, factor 1.92
maximum heap:
3439 M
average heap:
2810 M
stored heap:
64 M
Isabelle version:
dfc5f8294fbc

HOL-Hoare_Parallel

data:
CSV
timing:
0:04:14 elapsed time, 0:07:37 cpu time, factor 1.80
ML timing:
0:04:13 elapsed time, 0:07:45 cpu time, factor 1.84
maximum heap:
2995 M
average heap:
2697 M
Isabelle version:
dfc5f8294fbc

HOL-Algebra

data:
CSV
timing:
0:04:05 elapsed time, 0:07:16 cpu time, factor 1.78
ML timing:
0:03:17 elapsed time, 0:06:48 cpu time, factor 2.07
maximum heap:
3405 M
average heap:
2804 M
stored heap:
109 M
Isabelle version:
dfc5f8294fbc

HOL-MicroJava

data:
CSV
timing:
0:03:45 elapsed time, 0:06:42 cpu time, factor 1.79
ML timing:
0:03:43 elapsed time, 0:06:54 cpu time, factor 1.86
maximum heap:
2971 M
average heap:
2623 M
Isabelle version:
dfc5f8294fbc

HOL-Proofs-Lambda

data:
CSV
timing:
0:03:35 elapsed time, 0:04:01 cpu time, factor 1.12
ML timing:
0:03:33 elapsed time, 0:04:06 cpu time, factor 1.15
maximum heap:
1499 M
average heap:
1480 M
Isabelle version:
dfc5f8294fbc

HOL-Datatype_Examples

data:
CSV
timing:
0:03:29 elapsed time, 0:06:56 cpu time, factor 1.99
ML timing:
0:03:27 elapsed time, 0:07:54 cpu time, factor 2.29
maximum heap:
3660 M
average heap:
2881 M
Isabelle version:
dfc5f8294fbc

HOL-IMP

data:
CSV
timing:
0:03:18 elapsed time, 0:05:39 cpu time, factor 1.71
ML timing:
0:03:16 elapsed time, 0:05:50 cpu time, factor 1.79
maximum heap:
2853 M
average heap:
2551 M
Isabelle version:
dfc5f8294fbc

HOL-Number_Theory

data:
CSV
timing:
0:03:15 elapsed time, 0:05:36 cpu time, factor 1.72
ML timing:
0:02:39 elapsed time, 0:05:08 cpu time, factor 1.94
maximum heap:
3432 M
average heap:
2659 M
stored heap:
62 M
Isabelle version:
dfc5f8294fbc

HOL-Bali

data:
CSV
timing:
0:02:41 elapsed time, 0:04:47 cpu time, factor 1.78
ML timing:
0:02:38 elapsed time, 0:05:01 cpu time, factor 1.90
maximum heap:
2415 M
average heap:
2090 M
Isabelle version:
dfc5f8294fbc

HOL-Proofs-Extraction

data:
CSV
timing:
0:02:34 elapsed time, 0:04:39 cpu time, factor 1.81
ML timing:
0:02:32 elapsed time, 0:04:52 cpu time, factor 1.91
maximum heap:
1499 M
average heap:
1474 M
Isabelle version:
dfc5f8294fbc

HOL-Computational_Algebra

data:
CSV
timing:
0:02:29 elapsed time, 0:04:04 cpu time, factor 1.64
ML timing:
0:02:02 elapsed time, 0:03:33 cpu time, factor 1.75
maximum heap:
1499 M
average heap:
1477 M
stored heap:
31 M
Isabelle version:
dfc5f8294fbc

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:01:59 elapsed time, 0:05:44 cpu time, factor 2.89
ML timing:
0:01:56 elapsed time, 0:03:32 cpu time, factor 1.82
maximum heap:
1500 M
average heap:
1471 M
Isabelle version:
dfc5f8294fbc

HOL-Word-SMT_Examples

data:
CSV
timing:
0:01:46 elapsed time, 0:02:34 cpu time, factor 1.45
ML timing:
0:01:44 elapsed time, 0:02:18 cpu time, factor 1.32
maximum heap:
1499 M
average heap:
1479 M
Isabelle version:
dfc5f8294fbc

HOL-Imperative_HOL

data:
CSV
timing:
0:01:42 elapsed time, 0:06:20 cpu time, factor 3.73
ML timing:
0:01:40 elapsed time, 0:01:36 cpu time, factor 0.96
maximum heap:
1499 M
average heap:
1463 M
Isabelle version:
dfc5f8294fbc

HOL-SET_Protocol

data:
CSV
timing:
0:01:41 elapsed time, 0:02:40 cpu time, factor 1.58
ML timing:
0:01:39 elapsed time, 0:02:40 cpu time, factor 1.62
maximum heap:
1499 M
average heap:
1466 M
Isabelle version:
dfc5f8294fbc

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:37 elapsed time, 0:03:11 cpu time, factor 1.97
ML timing:
0:01:35 elapsed time, 0:03:15 cpu time, factor 2.05
maximum heap:
1498 M
average heap:
1468 M
Isabelle version:
dfc5f8294fbc

HOL-UNITY

data:
CSV
timing:
0:01:20 elapsed time, 0:02:01 cpu time, factor 1.51
ML timing:
0:01:17 elapsed time, 0:02:04 cpu time, factor 1.59
maximum heap:
1499 M
average heap:
1466 M
Isabelle version:
dfc5f8294fbc

HOL-Metis_Examples

data:
CSV
timing:
0:00:54 elapsed time, 0:01:44 cpu time, factor 1.93
ML timing:
0:00:52 elapsed time, 0:01:19 cpu time, factor 1.51
maximum heap:
1499 M
average heap:
1445 M
Isabelle version:
dfc5f8294fbc

HOL-Quotient_Examples

data:
CSV
timing:
0:00:46 elapsed time, 0:01:45 cpu time, factor 2.28
ML timing:
0:00:43 elapsed time, 0:00:54 cpu time, factor 1.24
maximum heap:
1487 M
average heap:
1433 M
Isabelle version:
dfc5f8294fbc

HOL-Word

data:
CSV
timing:
0:00:44 elapsed time, 0:01:17 cpu time, factor 1.75
ML timing:
0:00:29 elapsed time, 0:00:58 cpu time, factor 2.00
maximum heap:
1497 M
average heap:
1411 M
stored heap:
18 M
Isabelle version:
dfc5f8294fbc

HOLCF

data:
CSV
timing:
0:00:38 elapsed time, 0:01:04 cpu time, factor 1.68
ML timing:
0:00:21 elapsed time, 0:00:44 cpu time, factor 2.10
maximum heap:
1489 M
average heap:
1366 M
stored heap:
22 M
Isabelle version:
dfc5f8294fbc

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:35 elapsed time, 0:00:54 cpu time, factor 1.54
ML timing:
0:00:13 elapsed time, 0:00:26 cpu time, factor 1.97
maximum heap:
1491 M
average heap:
1307 M
stored heap:
9 M
Isabelle version:
dfc5f8294fbc

ZF

data:
CSV
timing:
0:00:34 elapsed time, 0:00:57 cpu time, factor 1.68
ML timing:
0:00:31 elapsed time, 0:00:58 cpu time, factor 1.87
maximum heap:
1922 M
average heap:
1455 M
stored heap:
16 M
Isabelle version:
dfc5f8294fbc

Pure

data:
CSV
timing:
0:00:33 elapsed time, 0:00:34 cpu time, factor 1.03
ML timing:
0:00:01 elapsed time
maximum heap:
1498 M
average heap:
1497 M
stored heap:
18 M
Isabelle version:
dfc5f8294fbc

HOL-Nominal

data:
CSV
timing:
0:00:29 elapsed time, 0:00:43 cpu time, factor 1.48
ML timing:
0:00:09 elapsed time, 0:00:17 cpu time, factor 1.82
maximum heap:
1488 M
average heap:
1181 M
stored heap:
8 M
Isabelle version:
dfc5f8294fbc

HOL-Cardinals

data:
CSV
timing:
0:00:29 elapsed time, 0:00:53 cpu time, factor 1.83
ML timing:
0:00:27 elapsed time, 0:00:53 cpu time, factor 1.92
maximum heap:
1496 M
average heap:
1415 M
Isabelle version:
dfc5f8294fbc

IOA

data:
CSV
timing:
0:00:22 elapsed time, 0:00:41 cpu time, factor 1.86
ML timing:
0:00:20 elapsed time, 0:00:41 cpu time, factor 2.00
maximum heap:
1497 M
average heap:
1369 M
Isabelle version:
dfc5f8294fbc

ZF-UNITY

data:
CSV
timing:
0:00:19 elapsed time, 0:00:35 cpu time, factor 1.84
ML timing:
0:00:19 elapsed time, 0:00:36 cpu time, factor 1.90
maximum heap:
1497 M
average heap:
1409 M
Isabelle version:
dfc5f8294fbc

HOL-Probability-ex

data:
CSV
timing:
0:00:17 elapsed time, 0:00:29 cpu time, factor 1.71
ML timing:
0:00:14 elapsed time, 0:00:27 cpu time, factor 1.87
maximum heap:
1497 M
average heap:
1368 M
Isabelle version:
dfc5f8294fbc

ZF-Induct

data:
CSV
timing:
0:00:10 elapsed time, 0:00:16 cpu time, factor 1.60
ML timing:
0:00:07 elapsed time, 0:00:13 cpu time, factor 1.82
maximum heap:
1493 M
average heap:
1248 M
stored heap:
4 M
Isabelle version:
dfc5f8294fbc

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20
ML timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.29
maximum heap:
762 M
average heap:
614 M
Isabelle version:
dfc5f8294fbc