Isabelle build status for AFP2, 64bit, 8 threads

status date:
20-Oct-2019 18:22:21 +0200
build host:
lrzcloud2

Flyspeck-Tame-Computation

data:
CSV
timing:
4:22:48 elapsed time, 6:35:01 cpu time, factor 1.50
ML timing:
4:22:46 elapsed time, 6:41:44 cpu time, factor 1.53
stack maximum:
3 M
stack average:
3 M
heap maximum:
3000 M
heap average:
2998 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Iptables_Semantics_Examples_Big

data:
CSV
timing:
2:07:32 elapsed time, 8:53:34 cpu time, factor 4.18
ML timing:
2:07:29 elapsed time, 12:09:55 cpu time, factor 5.73
code maximum:
153 M
code average:
33 M
stack maximum:
1283 M
stack average:
1095 M
heap maximum:
29998 M
heap average:
26371 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

AODV

data:
CSV
timing:
1:29:25 elapsed time, 8:11:36 cpu time, factor 5.50
ML timing:
1:29:23 elapsed time, 8:42:55 cpu time, factor 5.85
stack maximum:
26 M
stack average:
22 M
heap maximum:
9692 M
heap average:
5988 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

JinjaThreads

data:
CSV
timing:
0:43:54 elapsed time, 3:17:48 cpu time, factor 4.51
ML timing:
0:43:51 elapsed time, 4:09:44 cpu time, factor 5.69
code maximum:
10 M
code average:
3 M
stack maximum:
235 M
stack average:
125 M
heap maximum:
29999 M
heap average:
26082 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

ConcurrentGC

data:
CSV
timing:
0:30:45 elapsed time, 3:01:09 cpu time, factor 5.89
ML timing:
0:30:43 elapsed time, 3:15:21 cpu time, factor 6.36
stack maximum:
33 M
stack average:
19 M
heap maximum:
9694 M
heap average:
6102 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

HOL-ODE-Numerics

data:
CSV
timing:
0:19:06 elapsed time, 1:04:38 cpu time, factor 3.38
ML timing:
0:16:25 elapsed time, 1:04:07 cpu time, factor 3.91
code maximum:
6 M
code average:
4 M
stack maximum:
243 M
stack average:
166 M
heap maximum:
17609 M
heap average:
14897 M
heap stored:
524 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lorenz_C0

data:
CSV
timing:
0:06:19 elapsed time, 0:44:45 cpu time, factor 7.08
ML timing:
0:06:15 elapsed time, 0:45:44 cpu time, factor 7.30
stack maximum:
2 M
stack average:
2 M
heap maximum:
2999 M
heap average:
2972 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lorenz_Approximation

data:
CSV
timing:
0:04:21 elapsed time, 0:09:13 cpu time, factor 2.12
ML timing:
0:03:26 elapsed time, 0:08:19 cpu time, factor 2.42
code maximum:
6 M
code average:
2 M
stack maximum:
201 M
stack average:
99 M
heap maximum:
7031 M
heap average:
5315 M
heap stored:
57 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

IP_Addresses

data:
CSV
timing:
0:03:58 elapsed time, 0:11:48 cpu time, factor 2.97
ML timing:
0:03:10 elapsed time, 0:10:58 cpu time, factor 3.45
code maximum:
4 M
code average:
2 M
stack maximum:
55 M
stack average:
46 M
heap maximum:
7216 M
heap average:
5599 M
heap stored:
100 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

Iptables_Semantics_Examples

data:
CSV
timing:
0:03:56 elapsed time, 0:23:48 cpu time, factor 6.05
ML timing:
0:03:27 elapsed time, 0:25:13 cpu time, factor 7.31
code maximum:
27 M
code average:
11 M
stack maximum:
72 M
stack average:
45 M
heap maximum:
9383 M
heap average:
6881 M
heap stored:
16 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

HOL-ODE-Examples

data:
CSV
timing:
0:03:19 elapsed time, 0:11:28 cpu time, factor 3.46
ML timing:
0:03:17 elapsed time, 0:11:45 cpu time, factor 3.58
stack maximum:
12 M
stack average:
9 M
heap maximum:
2999 M
heap average:
2995 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Iptables_Semantics

data:
CSV
timing:
0:02:37 elapsed time, 0:10:14 cpu time, factor 3.91
ML timing:
0:01:41 elapsed time, 0:08:41 cpu time, factor 5.13
code maximum:
6 M
code average:
1 M
stack maximum:
24 M
stack average:
17 M
heap maximum:
6928 M
heap average:
5471 M
heap stored:
194 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

Ordinary_Differential_Equations

data:
CSV
timing:
0:02:20 elapsed time, 0:08:47 cpu time, factor 3.76
ML timing:
0:01:35 elapsed time, 0:08:06 cpu time, factor 5.09
stack maximum:
53 M
stack average:
39 M
heap maximum:
2999 M
heap average:
2942 M
heap stored:
114 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Flyspeck-Tame

data:
CSV
timing:
0:01:37 elapsed time, 0:06:40 cpu time, factor 4.12
ML timing:
0:00:57 elapsed time, 0:05:50 cpu time, factor 6.08
stack maximum:
36 M
stack average:
31 M
heap maximum:
8355 M
heap average:
6706 M
heap stored:
218 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

AWN

data:
CSV
timing:
0:01:03 elapsed time, 0:03:36 cpu time, factor 3.43
ML timing:
0:00:32 elapsed time, 0:02:46 cpu time, factor 5.09
stack maximum:
16 M
stack average:
9 M
heap maximum:
2995 M
heap average:
2968 M
heap stored:
79 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Simple_Firewall

data:
CSV
timing:
0:00:39 elapsed time, 0:01:56 cpu time, factor 2.97
ML timing:
0:00:16 elapsed time, 0:01:11 cpu time, factor 4.29
code maximum:
1 M
code average:
1 M
stack maximum:
17 M
stack average:
15 M
heap maximum:
2984 M
heap average:
2972 M
heap stored:
46 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

ConcurrentIMP

data:
CSV
timing:
0:00:39 elapsed time, 0:01:27 cpu time, factor 2.23
ML timing:
0:00:15 elapsed time, 0:00:44 cpu time, factor 2.80
stack maximum:
5 M
stack average:
4 M
heap maximum:
2972 M
heap average:
2941 M
heap stored:
34 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Routing

data:
CSV
timing:
0:00:25 elapsed time, 0:00:57 cpu time, factor 2.28
ML timing:
0:00:09 elapsed time, 0:00:27 cpu time, factor 2.94
stack maximum:
4 M
stack average:
4 M
heap maximum:
2973 M
heap average:
2973 M
heap stored:
16 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

Lorenz_C1

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
452 M
heap average:
452 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Word_Lib

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118