Isabelle build status for AFP2, 64bit, 8 threads

status date:
23-Aug-2019 20:26:08 +0200
build host:
lrzcloud2

Flyspeck-Tame-Computation

data:
CSV
timing:
4:16:28 elapsed time, 6:23:37 cpu time, factor 1.50
ML timing:
4:16:26 elapsed time, 6:30:01 cpu time, factor 1.52
stack maximum:
2 M
stack average:
2 M
heap maximum:
3000 M
heap average:
2998 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Iptables_Semantics_Examples_Big

data:
CSV
timing:
2:21:44 elapsed time, 8:57:45 cpu time, factor 3.79
ML timing:
2:21:40 elapsed time, 12:21:45 cpu time, factor 5.24
code maximum:
151 M
code average:
34 M
stack maximum:
1281 M
stack average:
1108 M
heap maximum:
29998 M
heap average:
26531 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

AODV

data:
CSV
timing:
1:34:26 elapsed time, 8:17:51 cpu time, factor 5.27
ML timing:
1:34:25 elapsed time, 8:57:08 cpu time, factor 5.69
stack maximum:
24 M
stack average:
21 M
heap maximum:
7034 M
heap average:
5165 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

JinjaThreads

data:
CSV
timing:
0:40:57 elapsed time, 3:06:08 cpu time, factor 4.55
ML timing:
0:40:54 elapsed time, 3:54:49 cpu time, factor 5.74
code maximum:
10 M
code average:
3 M
stack maximum:
216 M
stack average:
126 M
heap maximum:
29999 M
heap average:
25835 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

ConcurrentGC

data:
CSV
timing:
0:29:15 elapsed time, 2:56:08 cpu time, factor 6.02
ML timing:
0:29:14 elapsed time, 3:08:16 cpu time, factor 6.44
stack maximum:
33 M
stack average:
18 M
heap maximum:
11269 M
heap average:
7012 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

HOL-ODE-Numerics

data:
CSV
timing:
0:17:36 elapsed time, 1:01:36 cpu time, factor 3.50
ML timing:
0:15:06 elapsed time, 0:59:25 cpu time, factor 3.93
code maximum:
9 M
code average:
4 M
stack maximum:
228 M
stack average:
153 M
heap maximum:
25835 M
heap average:
21500 M
heap stored:
524 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Lorenz_C0

data:
CSV
timing:
0:06:13 elapsed time, 0:44:11 cpu time, factor 7.11
ML timing:
0:06:10 elapsed time, 0:45:07 cpu time, factor 7.30
stack maximum:
1 M
stack average:
1 M
heap maximum:
2999 M
heap average:
2996 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Lorenz_Approximation

data:
CSV
timing:
0:04:18 elapsed time, 0:09:09 cpu time, factor 2.13
ML timing:
0:03:29 elapsed time, 0:08:28 cpu time, factor 2.43
code maximum:
6 M
code average:
2 M
stack maximum:
200 M
stack average:
101 M
heap maximum:
6959 M
heap average:
5234 M
heap stored:
57 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

IP_Addresses

data:
CSV
timing:
0:03:59 elapsed time, 0:11:44 cpu time, factor 2.95
ML timing:
0:03:13 elapsed time, 0:11:00 cpu time, factor 3.41
code maximum:
4 M
code average:
2 M
stack maximum:
53 M
stack average:
45 M
heap maximum:
8261 M
heap average:
6073 M
heap stored:
100 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Iptables_Semantics_Examples

data:
CSV
timing:
0:03:52 elapsed time, 0:23:01 cpu time, factor 5.95
ML timing:
0:03:25 elapsed time, 0:24:04 cpu time, factor 7.02
code maximum:
52 M
code average:
22 M
stack maximum:
71 M
stack average:
44 M
heap maximum:
17615 M
heap average:
10592 M
heap stored:
16 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

HOL-ODE-Examples

data:
CSV
timing:
0:03:15 elapsed time, 0:11:04 cpu time, factor 3.41
ML timing:
0:03:12 elapsed time, 0:11:20 cpu time, factor 3.54
stack maximum:
11 M
stack average:
8 M
heap maximum:
2999 M
heap average:
2994 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Iptables_Semantics

data:
CSV
timing:
0:02:33 elapsed time, 0:09:58 cpu time, factor 3.91
ML timing:
0:01:41 elapsed time, 0:08:31 cpu time, factor 5.06
code maximum:
8 M
code average:
2 M
stack maximum:
28 M
stack average:
20 M
heap maximum:
5692 M
heap average:
4527 M
heap stored:
194 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Ordinary_Differential_Equations

data:
CSV
timing:
0:02:13 elapsed time, 0:08:28 cpu time, factor 3.82
ML timing:
0:01:30 elapsed time, 0:07:46 cpu time, factor 5.14
stack maximum:
50 M
stack average:
37 M
heap maximum:
2999 M
heap average:
2989 M
heap stored:
111 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Flyspeck-Tame

data:
CSV
timing:
0:01:37 elapsed time, 0:06:39 cpu time, factor 4.11
ML timing:
0:00:58 elapsed time, 0:05:54 cpu time, factor 6.04
stack maximum:
35 M
stack average:
32 M
heap maximum:
8235 M
heap average:
6954 M
heap stored:
218 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

AWN

data:
CSV
timing:
0:01:00 elapsed time, 0:03:30 cpu time, factor 3.50
ML timing:
0:00:31 elapsed time, 0:02:43 cpu time, factor 5.12
stack maximum:
16 M
stack average:
8 M
heap maximum:
2997 M
heap average:
2958 M
heap stored:
78 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Word_Lib

data:
CSV
timing:
0:00:44 elapsed time, 0:01:54 cpu time, factor 2.59
ML timing:
0:00:27 elapsed time, 0:01:28 cpu time, factor 3.26
stack maximum:
22 M
stack average:
20 M
heap maximum:
2993 M
heap average:
2966 M
heap stored:
32 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Simple_Firewall

data:
CSV
timing:
0:00:38 elapsed time, 0:01:52 cpu time, factor 2.95
ML timing:
0:00:16 elapsed time, 0:01:10 cpu time, factor 4.31
code maximum:
1 M
code average:
1 M
stack maximum:
17 M
stack average:
14 M
heap maximum:
2989 M
heap average:
2977 M
heap stored:
46 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

ConcurrentIMP

data:
CSV
timing:
0:00:38 elapsed time, 0:01:25 cpu time, factor 2.24
ML timing:
0:00:15 elapsed time, 0:00:43 cpu time, factor 2.85
stack maximum:
4 M
stack average:
3 M
heap maximum:
2949 M
heap average:
2938 M
heap stored:
34 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Routing

data:
CSV
timing:
0:00:24 elapsed time, 0:00:55 cpu time, factor 2.29
ML timing:
0:00:09 elapsed time, 0:00:27 cpu time, factor 2.88
stack maximum:
3 M
stack average:
3 M
heap maximum:
2982 M
heap average:
2982 M
heap stored:
16 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Lorenz_C1

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
0:00:01 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
459 M
heap average:
459 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73