Isabelle build status for AFP bulky2, 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

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

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

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