Isabelle build status for AFP bulky, 64bit, 6 threads

status date:
24-Apr-2019 17:36:41 +0200
build host:
lrzcloud1

Flyspeck-Tame-Computation

data:
CSV
timing:
6:54:00 elapsed time, 10:21:45 cpu time, factor 1.50
ML timing:
6:53:59 elapsed time, 10:27:25 cpu time, factor 1.52
stack maximum:
2 M
stack average:
2 M
heap maximum:
3000 M
heap average:
2996 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Iptables_Semantics_Examples_Big

data:
CSV
timing:
2:46:58 elapsed time, 11:54:34 cpu time, factor 4.28
ML timing:
2:46:54 elapsed time, 14:58:25 cpu time, factor 5.38
code maximum:
153 M
code average:
33 M
stack maximum:
1025 M
stack average:
871 M
heap maximum:
29998 M
heap average:
26233 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

ConcurrentGC

data:
CSV
timing:
2:33:26 elapsed time, 8:16:22 cpu time, factor 3.24
ML timing:
2:33:24 elapsed time, 8:41:44 cpu time, factor 3.40
stack maximum:
28 M
stack average:
24 M
heap maximum:
9571 M
heap average:
7511 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

AODV

data:
CSV
timing:
2:19:00 elapsed time, 11:28:35 cpu time, factor 4.95
ML timing:
2:18:59 elapsed time, 11:35:54 cpu time, factor 5.01
stack maximum:
16 M
stack average:
15 M
heap maximum:
6994 M
heap average:
5569 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

JinjaThreads

data:
CSV
timing:
0:45:30 elapsed time, 3:10:17 cpu time, factor 4.18
ML timing:
0:45:27 elapsed time, 3:28:32 cpu time, factor 4.59
code maximum:
9 M
code average:
2 M
stack maximum:
174 M
stack average:
101 M
heap maximum:
29997 M
heap average:
25405 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lorenz_C0

data:
CSV
timing:
0:12:56 elapsed time, 1:14:39 cpu time, factor 5.77
ML timing:
0:12:52 elapsed time, 1:15:17 cpu time, factor 5.85
stack maximum:
1 M
stack average:
1 M
heap maximum:
2999 M
heap average:
2996 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

HOL-ODE-Examples

data:
CSV
timing:
0:04:48 elapsed time, 0:16:43 cpu time, factor 3.48
ML timing:
0:04:45 elapsed time, 0:16:54 cpu time, factor 3.55
stack maximum:
10 M
stack average:
7 M
heap maximum:
2999 M
heap average:
2994 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lorenz_C1

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
0:00:01 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
34 M
heap average:
34 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d