Isabelle build status for jenkins isabelle-nightly-slow, 64bit, 8 threads

status date:
24-Apr-2019 17:36:41 +0200
build host:
workerlrz5.lrz-cloud

Flyspeck-Tame-Computation

data:
CSV
timing:
7:27:09 elapsed time, 11:13:31 cpu time, factor 1.51
ML timing:
7:27:07 elapsed time, 12:05:45 cpu time, factor 1.62
Isabelle version:
49a65e3f04c9
AFP version:
563945464fbc

AODV

data:
CSV
timing:
2:47:40 elapsed time, 15:14:31 cpu time, factor 5.45
ML timing:
2:47:26 elapsed time, 16:30:33 cpu time, factor 5.92
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

ConcurrentGC

data:
CSV
timing:
2:30:20 elapsed time, 9:09:52 cpu time, factor 3.66
ML timing:
2:30:13 elapsed time, 9:42:48 cpu time, factor 3.88
Isabelle version:
435fb018e8ee
AFP version:
1ef70ed8bc32

JinjaThreads

data:
CSV
timing:
1:00:38 elapsed time, 4:38:38 cpu time, factor 4.60
ML timing:
0:59:37 elapsed time, 6:02:58 cpu time, factor 6.09
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

HOL

data:
CSV
timing:
0:06:26 elapsed time, 0:19:55 cpu time, factor 3.10
ML timing:
0:04:53 elapsed time, 0:18:35 cpu time, factor 3.80
Isabelle version:
49a65e3f04c9
AFP version:
563945464fbc

Iptables_Semantics_Examples

data:
CSV
timing:
0:06:03 elapsed time, 0:39:36 cpu time, factor 6.55
ML timing:
0:05:34 elapsed time, 0:42:10 cpu time, factor 7.56
Isabelle version:
435fb018e8ee
AFP version:
1ef70ed8bc32

IP_Addresses

data:
CSV
timing:
0:05:56 elapsed time, 0:17:38 cpu time, factor 2.97
ML timing:
0:05:15 elapsed time, 0:16:56 cpu time, factor 3.22
Isabelle version:
435fb018e8ee
AFP version:
1ef70ed8bc32

Iptables_Semantics

data:
CSV
timing:
0:03:57 elapsed time, 0:16:41 cpu time, factor 4.22
ML timing:
0:02:58 elapsed time, 0:14:35 cpu time, factor 4.90
Isabelle version:
435fb018e8ee
AFP version:
1ef70ed8bc32

HOL-Library

data:
CSV
timing:
0:02:57 elapsed time, 0:14:14 cpu time, factor 4.82
ML timing:
0:01:45 elapsed time, 0:11:44 cpu time, factor 6.69
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Flyspeck-Tame

data:
CSV
timing:
0:02:25 elapsed time, 0:10:21 cpu time, factor 4.28
ML timing:
0:01:35 elapsed time, 0:09:16 cpu time, factor 5.85
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Word_Lib

data:
CSV
timing:
0:01:27 elapsed time, 0:03:43 cpu time, factor 2.56
ML timing:
0:01:09 elapsed time, 0:03:14 cpu time, factor 2.79
Isabelle version:
435fb018e8ee
AFP version:
1ef70ed8bc32

AWN

data:
CSV
timing:
0:01:19 elapsed time, 0:05:05 cpu time, factor 3.86
ML timing:
0:00:48 elapsed time, 0:04:09 cpu time, factor 5.12
Isabelle version:
49a65e3f04c9
AFP version:
563945464fbc

Simple_Firewall

data:
CSV
timing:
0:00:53 elapsed time, 0:02:46 cpu time, factor 3.13
ML timing:
0:00:25 elapsed time, 0:01:45 cpu time, factor 4.19
Isabelle version:
435fb018e8ee
AFP version:
1ef70ed8bc32

ConcurrentIMP

data:
CSV
timing:
0:00:47 elapsed time, 0:01:45 cpu time, factor 2.23
ML timing:
0:00:21 elapsed time, 0:00:55 cpu time, factor 2.63
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

HOL-Word

data:
CSV
timing:
0:00:32 elapsed time, 0:01:46 cpu time, factor 3.31
ML timing:
0:00:13 elapsed time, 0:01:09 cpu time, factor 5.30
Isabelle version:
435fb018e8ee
AFP version:
1ef70ed8bc32

Routing

data:
CSV
timing:
0:00:31 elapsed time, 0:01:14 cpu time, factor 2.39
ML timing:
0:00:13 elapsed time, 0:00:39 cpu time, factor 2.99
Isabelle version:
435fb018e8ee
AFP version:
1ef70ed8bc32