Isabelle build status for AFP old2, 64bit, 8 threads

status date:

15-May-2024 08:31:10 +0200

build host:

lrzcloud2

• Flyspeck-Tame-Computation (4:26:54 elapsed time, 6:44:10 cpu time, factor 1.51)
• AODV (1:23:43 elapsed time, 8:37:40 cpu time, factor 6.18)
• JinjaThreads (1:05:57 elapsed time, 4:50:20 cpu time, factor 4.40)
• Iptables_Semantics_Examples_Big (1:04:37 elapsed time, 6:23:31 cpu time, factor 5.94)
• Bicategory (0:48:30 elapsed time, 2:47:04 cpu time, factor 3.44)
• ConcurrentGC (0:18:26 elapsed time, 1:45:37 cpu time, factor 5.73)
• HOL-ODE-Numerics (0:17:52 elapsed time, 1:23:19 cpu time, factor 4.66)
• Lorenz_C0 (0:06:43 elapsed time, 0:49:41 cpu time, factor 7.40)
• Category3 (0:06:37 elapsed time, 0:31:54 cpu time, factor 4.82)
• Lorenz_Approximation (0:05:10 elapsed time, 0:11:37 cpu time, factor 2.25)
• MonoidalCategory (0:04:05 elapsed time, 0:14:34 cpu time, factor 3.57)
• IP_Addresses (0:03:52 elapsed time, 0:12:36 cpu time, factor 3.26)
• Iptables_Semantics_Examples (0:03:47 elapsed time, 0:21:19 cpu time, factor 5.63)
• HOL-ODE-Examples (0:02:54 elapsed time, 0:11:46 cpu time, factor 4.06)
• Ordinary_Differential_Equations (0:02:28 elapsed time, 0:10:44 cpu time, factor 4.35)
• Iptables_Semantics (0:02:24 elapsed time, 0:10:11 cpu time, factor 4.24)
• Flyspeck-Tame (0:01:45 elapsed time, 0:07:43 cpu time, factor 4.41)
• Word_Lib (0:01:07 elapsed time, 0:04:47 cpu time, factor 4.28)
• AWN (0:01:03 elapsed time, 0:04:06 cpu time, factor 3.90)
• ConcurrentIMP (0:00:39 elapsed time, 0:01:49 cpu time, factor 2.79)
• Simple_Firewall (0:00:36 elapsed time, 0:01:48 cpu time, factor 3.00)
• Routing (0:00:24 elapsed time, 0:00:55 cpu time, factor 2.29)
• Lorenz_C1 (0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20)

Flyspeck-Tame-Computation

data:

CSV

timing:

4:26:54 elapsed time, 6:44:10 cpu time, factor 1.51

ML timing:

4:26:52 elapsed time, 6:50:23 cpu time, factor 1.54

stack maximum:

4.3 MiB

stack average:

4.3 MiB

heap maximum:

3.4 GiB

heap average:

3.1 GiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

AODV

data:

CSV

timing:

1:23:43 elapsed time, 8:37:40 cpu time, factor 6.18

ML timing:

1:23:41 elapsed time, 8:47:56 cpu time, factor 6.31

stack maximum:

34.8 MiB

stack average:

33.3 MiB

heap maximum:

4.1 GiB

heap average:

3.4 GiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

JinjaThreads

data:

CSV

timing:

1:05:57 elapsed time, 4:50:20 cpu time, factor 4.40

ML timing:

1:05:47 elapsed time, 5:43:29 cpu time, factor 5.22

code maximum:

7.8 MiB

code average:

4 MiB

stack maximum:

321 MiB

stack average:

200.6 MiB

heap maximum:

31 GiB

heap average:

26.8 GiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

Iptables_Semantics_Examples_Big

data:

CSV

timing:

1:04:37 elapsed time, 6:23:31 cpu time, factor 5.94

ML timing:

1:04:32 elapsed time, 7:43:50 cpu time, factor 7.19

code maximum:

20.3 MiB

code average:

6.2 MiB

stack maximum:

529.6 MiB

stack average:

498.2 MiB

heap maximum:

33.5 GiB

heap average:

25 GiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

Bicategory

data:

CSV

timing:

0:48:30 elapsed time, 2:47:04 cpu time, factor 3.44

ML timing:

0:48:23 elapsed time, 2:56:44 cpu time, factor 3.65

stack maximum:

174.5 MiB

stack average:

138.7 MiB

heap maximum:

29.3 GiB

heap average:

23.7 GiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

ConcurrentGC

data:

CSV

timing:

0:18:26 elapsed time, 1:45:37 cpu time, factor 5.73

ML timing:

0:18:24 elapsed time, 1:48:35 cpu time, factor 5.90

stack maximum:

44.5 MiB

stack average:

30.7 MiB

heap maximum:

5.9 GiB

heap average:

4.3 GiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

HOL-ODE-Numerics

data:

CSV

timing:

0:17:52 elapsed time, 1:23:19 cpu time, factor 4.66

ML timing:

0:16:48 elapsed time, 1:25:11 cpu time, factor 5.07

code maximum:

7.6 MiB

code average:

5.2 MiB

stack maximum:

176.3 MiB

stack average:

105 MiB

heap maximum:

17.1 GiB

heap average:

14.2 GiB

heap stored:

357.8 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

Lorenz_C0

data:

CSV

timing:

0:06:43 elapsed time, 0:49:41 cpu time, factor 7.40

ML timing:

0:06:39 elapsed time, 0:50:15 cpu time, factor 7.54

stack maximum:

2 MiB

stack average:

1.8 MiB

heap maximum:

2.9 GiB

heap average:

2.9 GiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

Category3

data:

CSV

timing:

0:06:37 elapsed time, 0:31:54 cpu time, factor 4.82

ML timing:

0:06:00 elapsed time, 0:33:02 cpu time, factor 5.50

stack maximum:

67.8 MiB

stack average:

50.3 MiB

heap maximum:

12.2 GiB

heap average:

7.9 GiB

heap stored:

75.1 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

Lorenz_Approximation

data:

CSV

timing:

0:05:10 elapsed time, 0:11:37 cpu time, factor 2.25

ML timing:

0:04:45 elapsed time, 0:11:41 cpu time, factor 2.46

code maximum:

3.6 MiB

stack maximum:

128.8 MiB

stack average:

47.4 MiB

heap maximum:

6.8 GiB

heap average:

3.1 GiB

heap stored:

39 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

MonoidalCategory

data:

CSV

timing:

0:04:05 elapsed time, 0:14:34 cpu time, factor 3.57

ML timing:

0:03:43 elapsed time, 0:15:01 cpu time, factor 4.03

stack maximum:

22 MiB

stack average:

19.1 MiB

heap maximum:

7 GiB

heap average:

4 GiB

heap stored:

39.3 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

IP_Addresses

data:

CSV

timing:

0:03:52 elapsed time, 0:12:36 cpu time, factor 3.26

ML timing:

0:03:31 elapsed time, 0:12:35 cpu time, factor 3.56

code maximum:

2.7 MiB

code average:

1.6 MiB

stack maximum:

58.3 MiB

stack average:

46.4 MiB

heap maximum:

4.4 GiB

heap average:

3.4 GiB

heap stored:

73.6 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

Iptables_Semantics_Examples

data:

CSV

timing:

0:03:47 elapsed time, 0:21:19 cpu time, factor 5.63

ML timing:

0:03:33 elapsed time, 0:22:37 cpu time, factor 6.35

code maximum:

4.4 MiB

code average:

1.7 MiB

stack maximum:

42.3 MiB

stack average:

31.7 MiB

heap maximum:

7.9 GiB

heap average:

4.5 GiB

heap stored:

7.7 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

HOL-ODE-Examples

data:

CSV

timing:

0:02:54 elapsed time, 0:11:46 cpu time, factor 4.06

ML timing:

0:02:50 elapsed time, 0:11:59 cpu time, factor 4.21

stack maximum:

22 MiB

stack average:

13.9 MiB

heap maximum:

2.9 GiB

heap average:

2.9 GiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

Ordinary_Differential_Equations

data:

CSV

timing:

0:02:28 elapsed time, 0:10:44 cpu time, factor 4.35

ML timing:

0:01:58 elapsed time, 0:10:16 cpu time, factor 5.22

stack maximum:

56.8 MiB

stack average:

37.2 MiB

heap maximum:

3.5 GiB

heap average:

2.4 GiB

heap stored:

87.4 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

Iptables_Semantics

data:

CSV

timing:

0:02:24 elapsed time, 0:10:11 cpu time, factor 4.24

ML timing:

0:01:48 elapsed time, 0:09:43 cpu time, factor 5.38

code maximum:

5.1 MiB

code average:

1.3 MiB

stack maximum:

37.3 MiB

stack average:

20.9 MiB

heap maximum:

9.2 GiB

heap average:

4.7 GiB

heap stored:

163 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

Flyspeck-Tame

data:

CSV

timing:

0:01:45 elapsed time, 0:07:43 cpu time, factor 4.41

ML timing:

0:01:13 elapsed time, 0:07:05 cpu time, factor 5.79

stack maximum:

43.8 MiB

stack average:

27.9 MiB

heap maximum:

7.6 GiB

heap average:

5 GiB

heap stored:

213.2 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

Word_Lib

data:

CSV

timing:

0:01:07 elapsed time, 0:04:47 cpu time, factor 4.28

ML timing:

0:00:50 elapsed time, 0:04:32 cpu time, factor 5.39

stack maximum:

43.3 MiB

stack average:

26.5 MiB

heap maximum:

2.9 GiB

heap average:

2.3 GiB

heap stored:

66 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

AWN

data:

CSV

timing:

0:01:03 elapsed time, 0:04:06 cpu time, factor 3.90

ML timing:

0:00:42 elapsed time, 0:03:33 cpu time, factor 5.05

stack maximum:

23.5 MiB

stack average:

10.7 MiB

heap maximum:

2.9 GiB

heap average:

2.2 GiB

heap stored:

70.2 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

ConcurrentIMP

data:

CSV

timing:

0:00:39 elapsed time, 0:01:49 cpu time, factor 2.79

ML timing:

0:00:22 elapsed time, 0:01:20 cpu time, factor 3.55

stack maximum:

4.5 MiB

stack average:

2.8 MiB

heap maximum:

2.9 GiB

heap average:

1.6 GiB

heap stored:

33.4 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

Simple_Firewall

data:

CSV

timing:

0:00:36 elapsed time, 0:01:48 cpu time, factor 3.00

ML timing:

0:00:19 elapsed time, 0:01:22 cpu time, factor 4.25

code maximum:

1.1 MiB

stack maximum:

20.8 MiB

stack average:

6.9 MiB

heap maximum:

2.9 GiB

heap average:

1.4 GiB

heap stored:

39.7 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

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:31 cpu time, factor 3.33

stack maximum:

5.2 MiB

stack average:

2.1 MiB

heap maximum:

2.9 GiB

heap average:

790.7 MiB

heap stored:

14.2 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8

Lorenz_C1

data:

CSV

timing:

0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20

ML timing:

0:00:02 elapsed time, 0:00:03 cpu time

stack maximum:

1.1 MiB

stack average:

1.1 MiB

heap maximum:

61 MiB

heap average:

61 MiB

Isabelle version:

8d153846f65f

AFP version:

15aad96054f8