Console Output

01:33:12 Started by an SCM change
01:33:12 Running as SYSTEM
01:33:12 [EnvInject] - Loading node environment variables.
01:33:12 Building remotely on workerlrz5 (lrz-cloud) in workspace /media/data/jenkins/workspace/isabelle-nightly-slow
01:33:12 [isabelle-nightly-slow] $ hg showconfig paths.default
01:33:12 [isabelle-nightly-slow] $ hg pull --rev default
01:33:13 pulling from http://isabelle.in.tum.de/repos/isabelle/
01:33:13 no changes found
01:33:13 [isabelle-nightly-slow] $ hg update --clean --rev default
01:33:13 18 files updated, 0 files merged, 0 files removed, 0 files unresolved
01:33:13 [isabelle-nightly-slow] $ hg --config extensions.purge= clean --all
01:33:13 [isabelle-nightly-slow] $ hg log --rev . --template {node}
01:33:13 [isabelle-nightly-slow] $ hg log --rev . --template {rev}
01:33:14 [isabelle-nightly-slow] $ hg log --rev c5232e6fb10b42b791bbccd20acfa1a923d9abf7 --template exists\n
01:33:14 exists
01:33:14 [isabelle-nightly-slow] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg>{file_adds % '<addedFile>{file|xmlescape}</addedFile>'}{file_dels % '<deletedFile>{file|xmlescape}</deletedFile>'}{files % '<file>{file|xmlescape}</file>'}<parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(c5232e6fb10b42b791bbccd20acfa1a923d9abf7)" --encoding UTF-8 --encodingmode replace
01:33:14 [afp] $ hg showconfig paths.default
01:33:14 [afp] $ hg pull --rev default
01:33:15 pulling from https://bitbucket.org/isa-afp/afp-devel/
01:33:15 no changes found
01:33:15 [afp] $ hg update --clean --rev default
01:33:15 9 files updated, 0 files merged, 1 files removed, 0 files unresolved
01:33:15 [afp] $ hg --config extensions.purge= clean --all
01:33:16 [afp] $ hg log --rev . --template {node}
01:33:16 [afp] $ hg log --rev . --template {rev}
01:33:16 [afp] $ hg log --rev fb8151af3965dcb47e1b86c7d95affe36a7dcb4a --template exists\n
01:33:16 exists
01:33:16 [afp] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg>{file_adds % '<addedFile>{file|xmlescape}</addedFile>'}{file_dels % '<deletedFile>{file|xmlescape}</deletedFile>'}{files % '<file>{file|xmlescape}</file>'}<parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(fb8151af3965dcb47e1b86c7d95affe36a7dcb4a)" --encoding UTF-8 --encodingmode replace
01:33:16 No emails were triggered.
01:33:16 [isabelle-nightly-slow] $ /bin/sh -xe /tmp/jenkins18322858011223526238.sh
01:33:16 + Admin/jenkins/run_build slow
01:33:16 + set -e
01:33:16 + PROFILE=slow
01:33:16 + shift
01:33:16 + bin/isabelle components -a
01:33:16 + bin/isabelle jedit -bf
01:33:16 ### Building graph browser ...
01:33:17 warning: [options] bootstrap class path not set in conjunction with -source 6
01:33:17 warning: [options] source value 6 is obsolete and will be removed in a future release
01:33:17 warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
01:33:18 Note: Some input files use or override a deprecated API.
01:33:18 Note: Recompile with -Xlint:deprecation for details.
01:33:18 Note: Some input files use unchecked or unsafe operations.
01:33:18 Note: Recompile with -Xlint:unchecked for details.
01:33:18 3 warnings
01:33:18 ### Building Isabelle/Scala ...
01:33:50 ### Building Isabelle/jEdit ...
01:34:07 + bin/isabelle ocaml_setup
01:34:08 # Run eval $(opam env) to update the current shell environment
01:34:08 [NOTE] It seems you have not updated your repositories for a while. Consider updating them with:
01:34:08        opam update
01:34:08 
01:34:08 [NOTE] Package zarith is already installed (current version is 1.7).
01:34:08 + bin/isabelle ghc_setup
01:34:09 stack will use a sandboxed GHC it installed
01:34:09 For more information on paths, see 'stack path' and 'stack exec env'
01:34:09 To use this GHC and packages outside of a project, consider using:
01:34:09 stack ghc, stack ghci, stack runghc, or stack exec
01:34:09 The Glorious Glasgow Haskell Compilation System, version 8.4.4
01:34:09 + bin/isabelle ci_build_slow
01:34:14 
01:34:14 === CONFIGURATION ===
01:34:14 
01:34:14 ISABELLE_BUILD_OPTIONS=""
01:34:14 
01:34:14 ML_PLATFORM="x86_64-linux"
01:34:14 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.8/x86_64-linux"
01:34:14 ML_SYSTEM="polyml-5.8"
01:34:14 ML_OPTIONS="-H 4000 --maxheap 20G"
01:34:14 jobs = 1, threads = 8, numa = false
01:34:14 
01:34:14 === BUILD ===
01:34:14 
01:34:14 Build started at Wed, 25 Sep 2019 23:34:14 GMT
01:34:14 Isabelle id 26837fd025a3
01:34:14 Build for AFP id c3a70e5ad56b
01:34:14 
01:34:14 === LOG ===
01:34:14 
01:34:15 Session Pure/Pure
01:34:16 Session FOL/FOL
01:34:16 Session HOL/HOL (main)
01:34:17 Session AFP/AWN (AFP)
01:34:17 Session AFP/AODV (AFP slow)
01:34:17 Session HOL/HOL-Cardinals (timing)
01:34:17 Session HOL/HOL-Eisbach
01:34:17 Session HOL/HOL-Library (main timing)
01:34:18 Session AFP/Binomial-Heaps (AFP)
01:34:18 Session AFP/ConcurrentIMP (AFP)
01:34:18 Session AFP/ConcurrentGC (AFP slow)
01:34:18 Session AFP/FinFun (AFP)
01:34:18 Session AFP/Finger-Trees (AFP)
01:34:18 Session HOL/HOL-Computational_Algebra (main timing)
01:34:18 Session HOL/HOL-Algebra (main timing)
01:34:18 Session HOL/HOL-Analysis (main timing)
01:34:19 Session AFP/Coinductive (AFP)
01:34:19 Session HOL/HOL-Number_Theory (main timing)
01:34:19 Session HOL/HOL-ex (timing)
01:34:19 Session AFP/Automatic_Refinement (AFP)
01:34:19 Session HOL/HOL-Imperative_HOL (timing)
01:34:20 Session AFP/Trie (AFP)
01:34:20 Session AFP/Flyspeck-Tame (AFP)
01:34:20 Session AFP/Flyspeck-Tame-Computation (AFP slow very_slow)
01:34:20 Session HOL/HOL-Word (main timing)
01:34:20 Session AFP/Native_Word (AFP)
01:34:20 Session AFP/Refine_Monadic (AFP)
01:34:20 Session AFP/Collections (AFP)
01:34:21 Session AFP/Word_Lib (AFP)
01:34:21 Session AFP/IP_Addresses (AFP)
01:34:21 Session AFP/Simple_Firewall (AFP)
01:34:21 Session AFP/Routing (AFP)
01:34:21 Session AFP/Iptables_Semantics (AFP)
01:34:21 Session AFP/Iptables_Semantics_Examples (AFP)
01:34:21 Session AFP/Iptables_Semantics_Examples_Big (AFP slow very_slow)
01:34:21 Session AFP/JinjaThreads (AFP slow)
01:34:22 Building Pure ...
01:34:41 Pure: theory Pure
01:34:42 Pure: theory ML_Bootstrap
01:34:42 Pure: theory Pure.Sessions
01:34:42 Timing Pure (1 threads, 1.073s elapsed time, 1.065s cpu time, 0.039s GC time, factor 0.99)
01:34:43 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/Pure/Pure
01:34:44 Timing Pure (1 threads, 1.073s elapsed time, 1.065s cpu time, 0.039s GC time, factor 0.99)
01:34:44 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/Pure/Pure
01:34:44 Finished Pure (0:00:21 elapsed time, 0:00:20 cpu time, factor 1.00)
01:34:44 Building HOL ...
01:34:47 HOL: theory HOL.Code_Generator
01:34:51 HOL: theory HOL.HOL
01:34:55 HOL: theory HOL.Argo
01:34:55 HOL: theory HOL.Ctr_Sugar
01:34:55 HOL: theory HOL.Orderings
01:34:56 HOL: theory HOL.Groups
01:34:57 HOL: theory HOL.SAT
01:34:59 HOL: theory HOL.Lattices
01:35:01 HOL: theory HOL.Set
01:35:02 HOL: theory HOL.Fun
01:35:02 HOL: theory HOL.Typedef
01:35:02 HOL: theory HOL.Complete_Lattices
01:35:02 HOL: theory HOL.Rings
01:35:05 HOL: theory HOL.Inductive
01:35:07 HOL: theory HOL.Product_Type
01:35:07 HOL: theory HOL.Sum_Type
01:35:08 HOL: theory HOL.Complete_Partial_Order
01:35:13 HOL: theory HOL.Nat
01:35:15 HOL: theory HOL.Fields
01:35:15 HOL: theory HOL.Meson
01:35:16 HOL: theory HOL.ATP
01:35:19 HOL: theory HOL.Metis
01:35:20 HOL: theory HOL.Finite_Set
01:35:21 HOL: theory HOL.Relation
01:35:22 HOL: theory HOL.Transitive_Closure
01:35:24 HOL: theory HOL.Wellfounded
01:35:24 HOL: theory HOL.Fun_Def_Base
01:35:24 HOL: theory HOL.Hilbert_Choice
01:35:24 HOL: theory HOL.Wfrec
01:35:24 HOL: theory HOL.Order_Relation
01:35:25 HOL: theory HOL.BNF_Wellorder_Relation
01:35:25 HOL: theory HOL.BNF_Wellorder_Embedding
01:35:25 HOL: theory HOL.Zorn
01:35:26 HOL: theory HOL.BNF_Wellorder_Constructions
01:35:26 HOL: theory HOL.BNF_Cardinal_Order_Relation
01:35:27 HOL: theory HOL.BNF_Cardinal_Arithmetic
01:35:27 HOL: theory HOL.BNF_Def
01:35:30 HOL: theory HOL.BNF_Composition
01:35:30 HOL: theory HOL.Basic_BNFs
01:35:31 HOL: theory HOL.BNF_Fixpoint_Base
01:35:35 HOL: theory HOL.BNF_Least_Fixpoint
01:35:38 HOL: theory HOL.Basic_BNF_LFPs
01:35:39 HOL: theory HOL.Transfer
01:35:40 HOL: theory HOL.Num
01:35:43 HOL: theory HOL.Power
01:35:45 HOL: theory HOL.Groups_Big
01:35:48 HOL: theory HOL.Equiv_Relations
01:35:48 HOL: theory HOL.Lifting
01:35:50 HOL: theory HOL.Lifting_Set
01:35:50 HOL: theory HOL.Option
01:35:50 HOL: theory HOL.Quotient
01:35:51 HOL: theory HOL.Extraction
01:35:51 HOL: theory HOL.Lattices_Big
01:35:51 HOL: theory HOL.Partial_Function
01:35:51 HOL: theory HOL.Fun_Def
01:35:53 HOL: theory HOL.Int
01:35:57 HOL: theory HOL.Euclidean_Division
01:36:03 HOL: theory HOL.Parity
01:36:09 HOL: theory HOL.Divides
01:36:11 HOL: theory HOL.Code_Numeral
01:36:11 HOL: theory HOL.SMT
01:36:11 HOL: theory HOL.Set_Interval
01:36:11 HOL: theory HOL.Numeral_Simprocs
01:36:13 HOL: theory HOL.Semiring_Normalization
01:36:16 HOL: theory HOL.Groebner_Basis
01:36:17 HOL: theory HOL.Conditionally_Complete_Lattices
01:36:17 HOL: theory HOL.Filter
01:36:17 HOL: theory HOL.Presburger
01:36:21 HOL: theory HOL.Sledgehammer
01:36:24 HOL: theory HOL.List
01:36:34 HOL: theory HOL.Groups_List
01:36:34 HOL: theory HOL.Map
01:36:36 HOL: theory HOL.Factorial
01:36:36 HOL: theory HOL.GCD
01:36:36 HOL: theory HOL.Enum
01:36:36 HOL: theory HOL.Random
01:36:37 HOL: theory HOL.Binomial
01:36:41 HOL: theory HOL.String
01:36:45 HOL: theory HOL.BNF_Greatest_Fixpoint
01:36:45 HOL: theory HOL.Predicate
01:36:45 HOL: theory HOL.Typerep
01:36:49 HOL: theory HOL.Lazy_Sequence
01:36:49 HOL: theory HOL.Limited_Sequence
01:36:50 HOL: theory HOL.Code_Evaluation
01:36:51 HOL: theory HOL.Quickcheck_Random
01:36:53 HOL: theory HOL.Quickcheck_Exhaustive
01:36:53 HOL: theory HOL.Random_Pred
01:36:53 HOL: theory HOL.Quickcheck_Narrowing
01:36:54 HOL: theory HOL.Random_Sequence
01:36:57 HOL: theory HOL.Record
01:36:57 HOL: theory HOL.Predicate_Compile
01:36:59 HOL: theory HOL.Nitpick
01:37:08 HOL: theory HOL.Nunchaku
01:37:09 HOL: theory Main
01:37:11 HOL: theory HOL.Archimedean_Field
01:37:11 HOL: theory HOL.Hull
01:37:11 HOL: theory HOL.Topological_Spaces
01:37:11 HOL: theory HOL.Modules
01:37:12 HOL: theory HOL.Vector_Spaces
01:37:20 HOL: theory HOL.Rat
01:37:22 HOL: theory HOL.Real
01:37:24 HOL: theory HOL.Real_Vector_Spaces
01:37:41 HOL: theory HOL.Inequalities
01:37:41 HOL: theory HOL.Limits
01:37:48 HOL: theory HOL.Deriv
01:37:48 HOL: theory HOL.Series
01:37:50 HOL: theory HOL.NthRoot
01:37:51 HOL: theory HOL.Transcendental
01:37:56 HOL: theory HOL.Complex
01:37:57 HOL: theory HOL.MacLaurin
01:37:58 HOL: theory Complex_Main
01:38:05 Timing HOL (8 threads, 200.262s elapsed time, 688.187s cpu time, 70.858s GC time, factor 3.44)
01:38:05 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL
01:38:37 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL/document.pdf
01:38:37 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL/outline.pdf
01:39:25 Timing HOL (8 threads, 200.262s elapsed time, 688.187s cpu time, 70.858s GC time, factor 3.44)
01:39:25 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL
01:39:25 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL/document.pdf
01:39:25 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL/outline.pdf
01:39:25 Finished HOL (0:04:37 elapsed time, 0:13:58 cpu time, factor 3.03)
01:39:25 Running JinjaThreads ...
01:39:27 JinjaThreads: theory HOL-Eisbach.Eisbach
01:39:27 JinjaThreads: theory Automatic_Refinement.Foldi
01:39:27 JinjaThreads: theory Automatic_Refinement.Prio_List
01:39:27 JinjaThreads: theory Automatic_Refinement.Refine_Util_Bootstrap1
01:39:27 JinjaThreads: theory Collections.ICF_Tools
01:39:27 JinjaThreads: theory Finger-Trees.FingerTree
01:39:27 JinjaThreads: theory HOL-Library.AList
01:39:27 JinjaThreads: theory HOL-Library.Adhoc_Overloading
01:39:27 JinjaThreads: theory Automatic_Refinement.Mk_Term_Antiquot
01:39:27 JinjaThreads: theory Automatic_Refinement.Mpat_Antiquot
01:39:27 JinjaThreads: theory HOL-Library.Monad_Syntax
01:39:27 JinjaThreads: theory HOL-Library.Boolean_Algebra
01:39:27 JinjaThreads: theory HOL-Library.Cancellation
01:39:27 JinjaThreads: theory HOL-Library.Case_Converter
01:39:27 JinjaThreads: theory Collections.Ord_Code_Preproc
01:39:27 JinjaThreads: theory Collections.Locale_Code
01:39:27 JinjaThreads: theory Automatic_Refinement.Refine_Util
01:39:27 JinjaThreads: theory Collections.Record_Intf
01:39:27 JinjaThreads: theory HOL-Library.Simps_Case_Conv
01:39:27 JinjaThreads: theory HOL-Library.Code_Abstract_Nat
01:39:27 JinjaThreads: theory HOL-Library.Code_Target_Int
01:39:27 JinjaThreads: theory HOL-Library.Dlist
01:39:27 JinjaThreads: theory HOL-Library.Code_Target_Nat
01:39:27 JinjaThreads: theory HOL-Library.Infinite_Set
01:39:27 JinjaThreads: theory HOL-Library.Lattice_Syntax
01:39:27 JinjaThreads: theory HOL-Library.Complete_Partial_Order2
01:39:28 JinjaThreads: theory HOL-Library.Code_Target_Numeral
01:39:28 JinjaThreads: theory HOL-Library.Multiset
01:39:28 JinjaThreads: theory Automatic_Refinement.Anti_Unification
01:39:28 JinjaThreads: theory Automatic_Refinement.Attr_Comb
01:39:28 JinjaThreads: theory Automatic_Refinement.Autoref_Data
01:39:28 JinjaThreads: theory Automatic_Refinement.Indep_Vars
01:39:28 JinjaThreads: theory Automatic_Refinement.Named_Sorted_Thms
01:39:28 JinjaThreads: theory Automatic_Refinement.Mk_Record_Simp
01:39:28 JinjaThreads: theory Automatic_Refinement.Tagged_Solver
01:39:28 JinjaThreads: theory Automatic_Refinement.Select_Solve
01:39:28 JinjaThreads: theory HOL-Library.Nat_Bijection
01:39:28 JinjaThreads: theory HOL-Library.Old_Datatype
01:39:28 JinjaThreads: theory HOL-Library.Option_ord
01:39:28 JinjaThreads: theory HOL-Library.Phantom_Type
01:39:28 JinjaThreads: theory HOL-Library.Predicate_Compile_Alternative_Defs
01:39:28 JinjaThreads: theory Trie.Trie
01:39:28 JinjaThreads: theory HOL-Library.RBT_Impl
01:39:29 JinjaThreads: theory HOL-Library.Sublist
01:39:29 JinjaThreads: theory HOL-Library.Transitive_Closure_Table
01:39:29 JinjaThreads: theory HOL-Library.Cardinality
01:39:29 JinjaThreads: theory HOL-Library.While_Combinator
01:39:30 JinjaThreads: theory Collections.DatRef
01:39:30 JinjaThreads: theory HOL-Library.Z2
01:39:31 JinjaThreads: theory HOL-Word.Bits
01:39:31 JinjaThreads: theory HOL-Word.Misc_Auxiliary
01:39:31 JinjaThreads: theory FinFun.FinFun
01:39:31 JinjaThreads: theory HOL-Library.Numeral_Type
01:39:31 JinjaThreads: theory HOL-Word.Bits_Z2
01:39:31 JinjaThreads: theory HOL-Word.Bits_Int
01:39:31 JinjaThreads: theory HOL-Word.Misc_Arithmetic
01:39:31 JinjaThreads: theory HOL-Word.Misc_Typedef
01:39:32 JinjaThreads: theory HOL-Library.Countable
01:39:32 JinjaThreads: theory JinjaThreads.Set_Monad
01:39:32 JinjaThreads: theory JinjaThreads.Set_without_equal
01:39:32 JinjaThreads: theory Refine_Monadic.Refine_Chapter
01:39:32 JinjaThreads: theory HOL-Library.Type_Length
01:39:33 JinjaThreads: theory HOL-Library.Countable_Set
01:39:33 JinjaThreads: theory Binomial-Heaps.BinomialHeap
01:39:33 JinjaThreads: theory Binomial-Heaps.SkewBinomialHeap
01:39:33 JinjaThreads: theory HOL-ex.Quicksort
01:39:33 JinjaThreads: theory JinjaThreads.Auxiliary
01:39:33 JinjaThreads: theory HOL-Library.Countable_Complete_Lattices
01:39:34 JinjaThreads: theory HOL-Word.Bit_Comprehension
01:39:34 JinjaThreads: theory Native_Word.More_Bits_Int
01:39:34 JinjaThreads: theory Automatic_Refinement.Misc
01:39:35 JinjaThreads: theory Native_Word.Code_Symbolic_Bits_Int
01:39:35 JinjaThreads: theory Native_Word.Bits_Integer
01:39:37 JinjaThreads: theory HOL-Word.Word
01:39:37 JinjaThreads: theory HOL-Library.Order_Continuity
01:39:37 JinjaThreads: theory HOL-Library.Extended_Nat
01:39:38 JinjaThreads: theory Coinductive.Coinductive_Nat
01:39:39 JinjaThreads: theory Coinductive.Coinductive_List
01:39:40 JinjaThreads: theory Automatic_Refinement.Refine_Lib
01:39:40 JinjaThreads: theory Collections.SetIterator
01:39:41 JinjaThreads: theory Collections.Sorted_List_Operations
01:39:41 JinjaThreads: theory Automatic_Refinement.Autoref_Phases
01:39:41 JinjaThreads: theory Automatic_Refinement.Autoref_Tagging
01:39:41 JinjaThreads: theory Automatic_Refinement.Relators
01:39:41 JinjaThreads: theory Refine_Monadic.Refine_Mono_Prover
01:39:42 JinjaThreads: theory Collections.SetIteratorOperations
01:39:43 JinjaThreads: theory Automatic_Refinement.Param_Tool
01:39:43 JinjaThreads: theory Automatic_Refinement.Param_HOL
01:39:44 JinjaThreads: theory Collections.Assoc_List
01:39:44 JinjaThreads: theory Collections.Dlist_add
01:39:44 JinjaThreads: theory Automatic_Refinement.Parametricity
01:39:44 JinjaThreads: theory Automatic_Refinement.Autoref_Id_Ops
01:39:44 JinjaThreads: theory Collections.Proper_Iterator
01:39:45 JinjaThreads: theory Collections.SetIteratorGA
01:39:45 JinjaThreads: theory Collections.Diff_Array
01:39:45 JinjaThreads: theory Collections.Trie_Impl
01:39:45 JinjaThreads: theory Automatic_Refinement.Autoref_Fix_Rel
01:39:46 JinjaThreads: theory Collections.It_to_It
01:39:46 JinjaThreads: theory Collections.Trie2
01:39:46 JinjaThreads: theory Automatic_Refinement.Autoref_Translate
01:39:46 JinjaThreads: theory Automatic_Refinement.Autoref_Relator_Interface
01:39:46 JinjaThreads: theory Automatic_Refinement.Autoref_Gen_Algo
01:39:46 JinjaThreads: theory Automatic_Refinement.Autoref_Tool
01:39:47 JinjaThreads: theory Coinductive.Lazy_LList
01:39:47 JinjaThreads: theory Coinductive.TLList
01:39:47 JinjaThreads: theory Automatic_Refinement.Autoref_Bindings_HOL
01:39:47 JinjaThreads: theory Native_Word.Code_Target_Bits_Int
01:39:47 JinjaThreads: theory Native_Word.Code_Target_Word_Base
01:39:48 JinjaThreads: theory Collections.Code_Target_ICF
01:39:49 JinjaThreads: theory Native_Word.Uint32
01:39:50 JinjaThreads: theory Coinductive.Lazy_TLList
01:39:50 JinjaThreads: theory Collections.HashCode
01:39:51 JinjaThreads: theory Automatic_Refinement.Automatic_Refinement
01:39:51 JinjaThreads: theory Collections.Idx_Iterator
01:39:51 JinjaThreads: theory Refine_Monadic.Refine_Misc
01:39:52 JinjaThreads: theory Refine_Monadic.RefineG_Domain
01:39:52 JinjaThreads: theory Refine_Monadic.RefineG_Transfer
01:39:52 JinjaThreads: theory Refine_Monadic.RefineG_Assert
01:39:52 JinjaThreads: theory Refine_Monadic.RefineG_Recursion
01:39:53 JinjaThreads: theory Refine_Monadic.RefineG_While
01:39:53 JinjaThreads: theory Refine_Monadic.Refine_Basic
01:39:53 JinjaThreads: theory Refine_Monadic.Refine_Det
01:39:56 JinjaThreads: theory Refine_Monadic.Refine_Heuristics
01:39:56 JinjaThreads: theory Refine_Monadic.Refine_Leof
01:39:56 JinjaThreads: theory Refine_Monadic.Refine_Pfun
01:39:56 JinjaThreads: theory Refine_Monadic.Refine_More_Comb
01:39:56 JinjaThreads: theory Refine_Monadic.Refine_While
01:39:58 JinjaThreads: theory Refine_Monadic.Refine_Transfer
01:39:58 JinjaThreads: theory Refine_Monadic.Autoref_Monadic
01:39:58 JinjaThreads: theory Refine_Monadic.Refine_Automation
01:39:58 JinjaThreads: theory Refine_Monadic.Refine_Foreach
01:40:01 JinjaThreads: theory Refine_Monadic.Refine_Monadic
01:40:02 JinjaThreads: theory Collections.Gen_Iterator
01:40:02 JinjaThreads: theory Collections.Intf_Map
01:40:02 JinjaThreads: theory Collections.Intf_Set
01:40:02 JinjaThreads: theory Collections.Iterator
01:40:03 JinjaThreads: theory Collections.Array_Iterator
01:40:03 JinjaThreads: theory Collections.ICF_Spec_Base
01:40:03 JinjaThreads: theory Collections.AnnotatedListSpec
01:40:03 JinjaThreads: theory Collections.ListSpec
01:40:04 JinjaThreads: theory Collections.MapSpec
01:40:04 JinjaThreads: theory Collections.PrioSpec
01:40:04 JinjaThreads: theory Collections.PrioUniqueSpec
01:40:04 JinjaThreads: theory HOL-Library.RBT
01:40:04 JinjaThreads: theory Collections.SetSpec
01:40:05 JinjaThreads: theory Collections.RBT_add
01:40:05 JinjaThreads: theory Collections.BinoPrioImpl
01:40:05 JinjaThreads: theory Collections.SkewPrioImpl
01:40:05 JinjaThreads: theory Collections.ListGA
01:40:06 JinjaThreads: theory Collections.FTAnnotatedListImpl
01:40:06 JinjaThreads: theory Collections.Fifo
01:40:06 JinjaThreads: theory Collections.PrioByAnnotatedList
01:40:06 JinjaThreads: theory Collections.PrioUniqueByAnnotatedList
01:40:09 JinjaThreads: theory Collections.Algos
01:40:09 JinjaThreads: theory Collections.SetIndex
01:40:09 JinjaThreads: theory Collections.SetIteratorCollectionsGA
01:40:10 JinjaThreads: theory Collections.MapGA
01:40:10 JinjaThreads: theory Collections.SetGA
01:40:10 JinjaThreads: theory Collections.FTPrioImpl
01:40:10 JinjaThreads: theory Collections.FTPrioUniqueImpl
01:40:12 JinjaThreads: theory Collections.ArrayMapImpl
01:40:12 JinjaThreads: theory Collections.ListMapImpl_Invar
01:40:12 JinjaThreads: theory Collections.ListMapImpl
01:40:12 JinjaThreads: theory Collections.TrieMapImpl
01:40:13 JinjaThreads: theory Collections.RBTMapImpl
01:40:15 JinjaThreads: theory Collections.ListSetImpl
01:40:15 JinjaThreads: theory Collections.ListSetImpl_Invar
01:40:15 JinjaThreads: theory Collections.ListSetImpl_NotDist
01:40:16 JinjaThreads: theory Collections.ArrayHashMap_Impl
01:40:17 JinjaThreads: theory Collections.ListSetImpl_Sorted
01:40:17 JinjaThreads: theory Collections.SetByMap
01:40:20 JinjaThreads: theory Collections.HashMap_Impl
01:40:20 JinjaThreads: theory Collections.ArraySetImpl
01:40:20 JinjaThreads: theory Collections.TrieSetImpl
01:40:20 JinjaThreads: theory Collections.RBTSetImpl
01:40:21 JinjaThreads: theory Collections.ArrayHashMap
01:40:22 JinjaThreads: theory Collections.HashMap
01:40:26 JinjaThreads: theory Collections.ArrayHashSet
01:40:27 JinjaThreads: theory Collections.MapStdImpl
01:40:27 JinjaThreads: theory Collections.HashSet
01:40:32 JinjaThreads: theory Collections.SetStdImpl
01:40:35 JinjaThreads: theory Collections.ICF_Impl
01:40:39 JinjaThreads: theory Collections.ICF_Refine_Monadic
01:40:40 JinjaThreads: theory Collections.ICF_Autoref
01:40:43 JinjaThreads: theory Collections.Collections
01:40:43 JinjaThreads: theory Collections.CollectionsV1
01:40:49 JinjaThreads: theory JinjaThreads.JT_ICF
01:40:49 JinjaThreads: theory JinjaThreads.Basic_Main
01:41:19 JinjaThreads: theory HOL-Library.Mapping
01:41:19 JinjaThreads: theory HOL-Library.Prefix_Order
01:41:19 JinjaThreads: theory JinjaThreads.FWState
01:41:19 JinjaThreads: theory JinjaThreads.LTS
01:41:19 JinjaThreads: theory JinjaThreads.Type
01:41:19 JinjaThreads: theory JinjaThreads.ListIndex
01:41:19 JinjaThreads: theory JinjaThreads.Orders
01:41:19 JinjaThreads: theory JinjaThreads.Semilat
01:41:19 JinjaThreads: theory JinjaThreads.Err
01:41:20 JinjaThreads: theory HOL-Library.AList_Mapping
01:41:20 JinjaThreads: theory JinjaThreads.Listn
01:41:20 JinjaThreads: theory JinjaThreads.Opt
01:41:20 JinjaThreads: theory JinjaThreads.Product
01:41:21 JinjaThreads: theory JinjaThreads.Semilattices
01:41:21 JinjaThreads: theory JinjaThreads.Typing_Framework
01:41:21 JinjaThreads: theory JinjaThreads.SemilatAlg
01:41:21 JinjaThreads: theory JinjaThreads.Decl
01:41:21 JinjaThreads: theory JinjaThreads.Kildall
01:41:21 JinjaThreads: theory JinjaThreads.LBVSpec
01:41:21 JinjaThreads: theory JinjaThreads.Bisimulation
01:41:21 JinjaThreads: theory JinjaThreads.Typing_Framework_err
01:41:22 JinjaThreads: theory JinjaThreads.LBVComplete
01:41:22 JinjaThreads: theory JinjaThreads.LBVCorrect
01:41:22 JinjaThreads: theory JinjaThreads.Abstract_BV
01:41:23 JinjaThreads: theory JinjaThreads.TypeRel
01:41:26 JinjaThreads: theory JinjaThreads.TypeRelRefine
01:41:26 JinjaThreads: theory JinjaThreads.Value
01:41:29 JinjaThreads: theory JinjaThreads.Exceptions
01:41:29 JinjaThreads: theory JinjaThreads.Heap
01:41:30 JinjaThreads: theory JinjaThreads.SystemClasses
01:41:31 JinjaThreads: theory JinjaThreads.MM
01:41:31 JinjaThreads: theory JinjaThreads.State
01:41:37 JinjaThreads: theory JinjaThreads.FWCondAction
01:41:37 JinjaThreads: theory JinjaThreads.FWInterrupt
01:41:37 JinjaThreads: theory JinjaThreads.FWLock
01:41:37 JinjaThreads: theory JinjaThreads.FWThread
01:41:37 JinjaThreads: theory JinjaThreads.FWWait
01:41:37 JinjaThreads: theory JinjaThreads.Observable_Events
01:41:39 JinjaThreads: theory JinjaThreads.FWLocking
01:41:39 JinjaThreads: theory JinjaThreads.FWLockingThread
01:41:39 JinjaThreads: theory JinjaThreads.FWWellform
01:41:40 JinjaThreads: theory JinjaThreads.FWLifting
01:41:40 JinjaThreads: theory JinjaThreads.FWSemantics
01:41:42 JinjaThreads: theory JinjaThreads.JVMState
01:41:42 JinjaThreads: theory JinjaThreads.StartConfig
01:41:42 JinjaThreads: theory JinjaThreads.JMM_Spec
01:41:43 JinjaThreads: theory JinjaThreads.FWLiftingSem
01:41:43 JinjaThreads: theory JinjaThreads.FWProgressAux
01:41:44 JinjaThreads: theory JinjaThreads.Conform
01:41:44 JinjaThreads: theory JinjaThreads.State_Refinement
01:41:45 JinjaThreads: theory JinjaThreads.FWDeadlock
01:41:46 JinjaThreads: theory JinjaThreads.FWLTS
01:41:46 JinjaThreads: theory JinjaThreads.ConformThreaded
01:41:46 JinjaThreads: theory JinjaThreads.ExternalCall
01:41:47 JinjaThreads: theory JinjaThreads.SC
01:41:48 JinjaThreads: theory JinjaThreads.SC_Collections
01:41:48 JinjaThreads: theory JinjaThreads.FWProgress
01:41:54 JinjaThreads: theory JinjaThreads.JMM_DRF
01:41:54 JinjaThreads: theory JinjaThreads.SC_Legal
01:42:00 JinjaThreads: theory JinjaThreads.FWBisimulation
01:42:00 JinjaThreads: theory JinjaThreads.FWInitFinLift
01:42:01 JinjaThreads: theory JinjaThreads.Non_Speculative
01:42:01 JinjaThreads: theory JinjaThreads.Scheduler
01:42:07 JinjaThreads: theory JinjaThreads.HB_Completion
01:42:17 JinjaThreads: theory JinjaThreads.SC_Completion
01:42:26 JinjaThreads: theory JinjaThreads.WellForm
01:42:26 JinjaThreads: theory JinjaThreads.ExternalCall_Execute
01:42:28 JinjaThreads: theory JinjaThreads.BinOp
01:42:28 JinjaThreads: theory JinjaThreads.ExternalCallWF
01:42:28 JinjaThreads: theory JinjaThreads.JMM_Heap
01:42:30 JinjaThreads: theory JinjaThreads.SemiType
01:42:32 JinjaThreads: theory JinjaThreads.JMM_Type
01:42:32 JinjaThreads: theory JinjaThreads.JMM_Type2
01:42:32 JinjaThreads: theory JinjaThreads.JVM_SemiType
01:42:39 JinjaThreads: theory JinjaThreads.Random_Scheduler
01:42:40 JinjaThreads: theory JinjaThreads.Round_Robin
01:42:42 JinjaThreads: theory JinjaThreads.JMM_Framework
01:42:42 JinjaThreads: theory JinjaThreads.Expr
01:42:42 JinjaThreads: theory JinjaThreads.JVMInstructions
01:42:42 JinjaThreads: theory JinjaThreads.PCompiler
01:42:43 JinjaThreads: theory JinjaThreads.PCompilerRefine
01:42:49 JinjaThreads: theory JinjaThreads.SC_Schedulers
01:42:51 JinjaThreads: theory JinjaThreads.JVMExceptions
01:42:51 JinjaThreads: theory JinjaThreads.JVMHeap
01:42:51 JinjaThreads: theory JinjaThreads.Effect
01:42:57 JinjaThreads: theory JinjaThreads.JVMExecInstr
01:42:58 JinjaThreads: theory JinjaThreads.CallExpr
01:42:58 JinjaThreads: theory JinjaThreads.DefAss
01:42:58 JinjaThreads: theory JinjaThreads.WWellForm
01:42:58 JinjaThreads: theory JinjaThreads.JHeap
01:42:59 JinjaThreads: theory JinjaThreads.WellType
01:43:00 JinjaThreads: theory JinjaThreads.JVMExec
01:43:03 JinjaThreads: theory JinjaThreads.JVMDefensive
01:43:04 JinjaThreads: theory JinjaThreads.J1State
01:43:04 JinjaThreads: theory JinjaThreads.Annotate
01:43:04 JinjaThreads: theory JinjaThreads.SmallStep
01:43:06 JinjaThreads: theory JinjaThreads.Compiler2
01:43:08 JinjaThreads: theory JinjaThreads.JVMThreaded
01:43:08 JinjaThreads: theory JinjaThreads.J1Heap
01:43:09 JinjaThreads: theory JinjaThreads.Compiler1
01:43:17 JinjaThreads: theory JinjaThreads.J1WellType
01:43:19 JinjaThreads: theory JinjaThreads.JWellForm
01:43:20 JinjaThreads: theory JinjaThreads.J1WellForm
01:43:20 JinjaThreads: theory JinjaThreads.Preprocessor
01:43:25 JinjaThreads: theory JinjaThreads.Exception_Tables
01:43:25 JinjaThreads: theory JinjaThreads.Compiler
01:43:26 JinjaThreads: theory JinjaThreads.JJ1WellForm
01:43:26 JinjaThreads: theory JinjaThreads.WellTypeRT
01:43:27 JinjaThreads: theory JinjaThreads.JVMExec_Execute
01:43:29 JinjaThreads: theory JinjaThreads.ToString
01:43:32 JinjaThreads: theory JinjaThreads.JVM_Main
01:43:39 JinjaThreads: theory JinjaThreads.JMM_JVM
01:43:39 JinjaThreads: theory JinjaThreads.JMM_Typesafe
01:43:43 JinjaThreads: theory JinjaThreads.BVSpec
01:43:44 JinjaThreads: theory JinjaThreads.BVConform
01:43:46 JinjaThreads: theory JinjaThreads.TypeComp
01:43:47 JinjaThreads: theory JinjaThreads.EffectMono
01:43:47 JinjaThreads: theory JinjaThreads.TF_JVM
01:43:51 JinjaThreads: theory JinjaThreads.BVExec
01:43:51 JinjaThreads: theory JinjaThreads.LBVJVM
01:43:52 JinjaThreads: theory JinjaThreads.BVSpecTypeSafe
01:43:52 JinjaThreads: theory JinjaThreads.JMM_Common
01:43:58 JinjaThreads: theory JinjaThreads.JMM_Typesafe2
01:44:00 JinjaThreads: theory JinjaThreads.BVNoTypeError
01:44:03 JinjaThreads: theory JinjaThreads.BVProgressThreaded
01:44:03 JinjaThreads: theory JinjaThreads.BCVExec
01:44:03 JinjaThreads: theory JinjaThreads.JVMExec_Execute2
01:44:06 JinjaThreads: theory JinjaThreads.FWBisimDeadlock
01:44:06 JinjaThreads: theory JinjaThreads.FWBisimLift
01:44:06 JinjaThreads: theory JinjaThreads.J1
01:44:06 JinjaThreads: theory JinjaThreads.JVMTau
01:44:33 JinjaThreads: theory JinjaThreads.Common_Main
01:44:35 JinjaThreads: theory JinjaThreads.Execs
01:44:42 JinjaThreads: theory JinjaThreads.J1Deadlock
01:44:43 JinjaThreads: theory JinjaThreads.DefAssPreservation
01:44:43 JinjaThreads: theory JinjaThreads.Threaded
01:44:44 JinjaThreads: theory JinjaThreads.Progress
01:44:49 JinjaThreads: theory JinjaThreads.TypeSafe
01:45:09 JinjaThreads: theory JinjaThreads.J0
01:45:10 JinjaThreads: theory JinjaThreads.JMM_J
01:45:10 JinjaThreads: theory JinjaThreads.ProgressThreaded
01:45:10 JinjaThreads: theory JinjaThreads.J_Execute
01:45:37 JinjaThreads: theory JinjaThreads.J1JVMBisim
01:45:57 JinjaThreads: theory JinjaThreads.DRF_J
01:46:01 JinjaThreads: theory JinjaThreads.DRF_JVM
01:46:28 JinjaThreads: theory JinjaThreads.JVMDeadlocked
01:46:28 JinjaThreads: theory JinjaThreads.Deadlocked
01:46:28 JinjaThreads: theory JinjaThreads.JVM_Execute
01:46:31 JinjaThreads: theory JinjaThreads.JVM_Execute2
01:46:34 JinjaThreads: theory JinjaThreads.J0Bisim
01:46:39 JinjaThreads: theory JinjaThreads.J0J1Bisim
01:47:14 JinjaThreads: theory JinjaThreads.J_Main
01:47:16 JinjaThreads: theory JinjaThreads.BV_Main
01:47:35 JinjaThreads: theory JinjaThreads.Correctness1
01:47:36 JinjaThreads: theory JinjaThreads.Correctness1Threaded
01:52:09 JinjaThreads: theory JinjaThreads.Code_Generation
01:52:16 JinjaThreads: theory JinjaThreads.ApprenticeChallenge
01:52:20 JinjaThreads: theory JinjaThreads.BufferExample
01:52:21 JinjaThreads: theory JinjaThreads.Java2Jinja
01:52:32 JinjaThreads: theory JinjaThreads.Examples_Main
01:54:18 JinjaThreads: theory JinjaThreads.JMM_JVM_Typesafe
01:54:45 JinjaThreads: theory JinjaThreads.JMM_J_Typesafe
01:54:57 JinjaThreads: theory JinjaThreads.Execute_Main
01:55:18 JinjaThreads: theory JinjaThreads.J1JVM
01:55:19 JinjaThreads: theory JinjaThreads.JVMJ1
01:56:36 JinjaThreads: theory JinjaThreads.Correctness2
02:00:06 JinjaThreads: theory JinjaThreads.Correctness
02:12:46 JinjaThreads: theory JinjaThreads.Compiler_Main
02:12:47 JinjaThreads: theory JinjaThreads.JMM_Compiler
02:12:47 JinjaThreads: theory JinjaThreads.SC_Interp
02:16:19 JinjaThreads: theory JinjaThreads.JMM_Interp
02:16:22 JinjaThreads: theory JinjaThreads.JMM_Compiler_Type2
02:16:24 JinjaThreads: theory JinjaThreads.JMM
02:16:26 JinjaThreads: theory JinjaThreads.MM_Main
02:16:33 JinjaThreads: theory JinjaThreads.JinjaThreads
02:19:27 Timing JinjaThreads (8 threads, 2400.970s elapsed time, 11001.215s cpu time, 4212.118s GC time, factor 4.58)
02:19:28 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/JinjaThreads
02:20:01 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/JinjaThreads/document.pdf
02:20:01 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/JinjaThreads/outline.pdf
02:20:03 Timing JinjaThreads (8 threads, 2400.970s elapsed time, 11001.215s cpu time, 4212.118s GC time, factor 4.58)
02:20:03 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/JinjaThreads
02:20:03 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/JinjaThreads/document.pdf
02:20:03 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/JinjaThreads/outline.pdf
02:20:03 Finished JinjaThreads (0:40:36 elapsed time, 3:06:51 cpu time, factor 4.60)
02:20:03 Building Flyspeck-Tame ...
02:20:04 Flyspeck-Tame: theory HOL-Library.Code_Abstract_Nat
02:20:04 Flyspeck-Tame: theory HOL-Library.AList
02:20:04 Flyspeck-Tame: theory Flyspeck-Tame.Quasi_Order
02:20:04 Flyspeck-Tame: theory Flyspeck-Tame.RTranCl
02:20:04 Flyspeck-Tame: theory Flyspeck-Tame.ListAux
02:20:04 Flyspeck-Tame: theory HOL-Library.Code_Target_Int
02:20:04 Flyspeck-Tame: theory HOL-Library.IArray
02:20:04 Flyspeck-Tame: theory HOL-Library.While_Combinator
02:20:04 Flyspeck-Tame: theory HOL-Library.Code_Target_Nat
02:20:04 Flyspeck-Tame: theory Flyspeck-Tame.PlaneGraphIso
02:20:04 Flyspeck-Tame: theory HOL-Library.Code_Target_Numeral
02:20:04 Flyspeck-Tame: theory Flyspeck-Tame.Arch
02:20:04 Flyspeck-Tame: theory Flyspeck-Tame.Worklist
02:20:05 Flyspeck-Tame: theory Flyspeck-Tame.IArray_Syntax
02:20:05 Flyspeck-Tame: theory Flyspeck-Tame.ListSum
02:20:05 Flyspeck-Tame: theory Flyspeck-Tame.Rotation
02:20:05 Flyspeck-Tame: theory Flyspeck-Tame.Maps
02:20:05 Flyspeck-Tame: theory Flyspeck-Tame.Graph
02:20:06 Flyspeck-Tame: theory Trie.Trie
02:20:07 Flyspeck-Tame: theory Flyspeck-Tame.FaceDivision
02:20:07 Flyspeck-Tame: theory Flyspeck-Tame.GraphProps
02:20:07 Flyspeck-Tame: theory Flyspeck-Tame.Tame
02:20:08 Flyspeck-Tame: theory Flyspeck-Tame.Enumerator
02:20:08 Flyspeck-Tame: theory Trie.Tries
02:20:08 Flyspeck-Tame: theory Flyspeck-Tame.TameProps
02:20:08 Flyspeck-Tame: theory Flyspeck-Tame.EnumeratorProps
02:20:08 Flyspeck-Tame: theory Flyspeck-Tame.Plane
02:20:09 Flyspeck-Tame: theory Flyspeck-Tame.FaceDivisionProps
02:20:09 Flyspeck-Tame: theory Flyspeck-Tame.Plane1
02:20:09 Flyspeck-Tame: theory Flyspeck-Tame.Generator
02:20:09 Flyspeck-Tame: theory Flyspeck-Tame.TameEnum
02:20:13 Flyspeck-Tame: theory Flyspeck-Tame.Invariants
02:20:14 Flyspeck-Tame: theory Flyspeck-Tame.ArchCompAux
02:20:14 Flyspeck-Tame: theory Flyspeck-Tame.PlaneProps
02:20:14 Flyspeck-Tame: theory Flyspeck-Tame.ScoreProps
02:20:14 Flyspeck-Tame: theory Flyspeck-Tame.Plane1Props
02:20:15 Flyspeck-Tame: theory Flyspeck-Tame.LowerBound
02:20:15 Flyspeck-Tame: theory Flyspeck-Tame.GeneratorProps
02:20:16 Flyspeck-Tame: theory Flyspeck-Tame.TameEnumProps
02:20:16 Flyspeck-Tame: theory Flyspeck-Tame.ArchCompProps
02:20:16 Flyspeck-Tame: theory Flyspeck-Tame.Relative_Completeness
02:20:59 Timing Flyspeck-Tame (8 threads, 55.484s elapsed time, 303.064s cpu time, 23.295s GC time, factor 5.46)
02:20:59 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Flyspeck-Tame
02:21:06 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Flyspeck-Tame/document.pdf
02:21:06 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Flyspeck-Tame/outline.pdf
02:21:39 Timing Flyspeck-Tame (8 threads, 55.484s elapsed time, 303.064s cpu time, 23.295s GC time, factor 5.46)
02:21:39 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Flyspeck-Tame
02:21:39 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Flyspeck-Tame/document.pdf
02:21:39 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Flyspeck-Tame/outline.pdf
02:21:39 Finished Flyspeck-Tame (0:01:35 elapsed time, 0:06:26 cpu time, factor 4.05)
02:21:39 Running Flyspeck-Tame-Computation ...
02:21:41 Flyspeck-Tame-Computation: theory Flyspeck-Tame-Computation.ArchComp
02:21:41 Flyspeck-Tame-Computation: theory Flyspeck-Tame-Computation.Completeness
06:51:31 Timing Flyspeck-Tame-Computation (8 threads, 16190.278s elapsed time, 24182.812s cpu time, 1907.386s GC time, factor 1.49)
06:51:31 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Flyspeck-Tame-Computation
06:51:36 Timing Flyspeck-Tame-Computation (8 threads, 16190.278s elapsed time, 24182.812s cpu time, 1907.386s GC time, factor 1.49)
06:51:36 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Flyspeck-Tame-Computation
06:51:36 Finished Flyspeck-Tame-Computation (4:29:51 elapsed time, 6:43:04 cpu time, factor 1.49)
06:51:36 Building AWN ...
06:51:37 AWN: theory AWN.Lib
06:51:37 AWN: theory AWN.TransitionSystems
06:51:37 AWN: theory AWN.AWN
06:51:37 AWN: theory AWN.Invariants
06:51:38 AWN: theory AWN.OInvariants
06:51:47 AWN: theory AWN.AWN_Cterms
06:51:47 AWN: theory AWN.AWN_SOS
06:51:48 AWN: theory AWN.OAWN_SOS
06:51:50 AWN: theory AWN.AWN_Labels
06:51:51 AWN: theory AWN.Pnet
06:51:51 AWN: theory AWN.Inv_Cterms
06:51:51 AWN: theory AWN.AWN_Invariants
06:51:52 AWN: theory AWN.Closed
06:51:52 AWN: theory AWN.AWN_SOS_Labels
06:51:52 AWN: theory AWN.Qmsg
06:51:53 AWN: theory AWN.OAWN_Invariants
06:51:53 AWN: theory AWN.OAWN_SOS_Labels
06:51:53 AWN: theory AWN.ONode_Lifting
06:51:53 AWN: theory AWN.OPnet
06:51:54 AWN: theory AWN.OPnet_Lifting
06:51:54 AWN: theory AWN.OClosed_Lifting
06:51:54 AWN: theory AWN.OClosed_Transfer
06:51:54 AWN: theory AWN.OAWN_Convert
06:51:54 AWN: theory AWN.Qmsg_Lifting
06:51:55 AWN: theory AWN.AWN_Main
06:51:56 AWN: theory AWN.Toy
06:52:04 AWN: theory AWN.AWN_Term_Graph
06:52:07 Timing AWN (8 threads, 30.787s elapsed time, 149.930s cpu time, 6.370s GC time, factor 4.87)
06:52:08 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/AWN
06:52:13 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/AWN/document.pdf
06:52:13 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/AWN/outline.pdf
06:52:39 Timing AWN (8 threads, 30.787s elapsed time, 149.930s cpu time, 6.370s GC time, factor 4.87)
06:52:39 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/AWN
06:52:39 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/AWN/document.pdf
06:52:39 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/AWN/outline.pdf
06:52:39 Finished AWN (0:01:02 elapsed time, 0:03:35 cpu time, factor 3.43)
06:52:39 Running AODV ...
06:52:40 AODV: theory AODV.Aodv_Basic
06:52:42 AODV: theory AODV.Aodv_Data
06:52:42 AODV: theory AODV.A_Norreqid
06:52:42 AODV: theory AODV.Aodv_Message
06:52:42 AODV: theory AODV.B_Fwdrreps
06:52:42 AODV: theory AODV.C_Gtobcast
06:52:42 AODV: theory AODV.D_Fwdrreqs
06:52:42 AODV: theory AODV.E_All_ABCD
06:52:42 AODV: theory AODV.E_Aodv_Data
06:52:42 AODV: theory AODV.E_Aodv_Message
06:52:42 AODV: theory AODV.A_Aodv_Data
06:52:42 AODV: theory AODV.A_Aodv_Message
06:52:42 AODV: theory AODV.B_Aodv_Data
06:52:42 AODV: theory AODV.B_Aodv_Message
06:52:43 AODV: theory AODV.C_Aodv_Data
06:52:43 AODV: theory AODV.Fresher
06:52:43 AODV: theory AODV.A_Fresher
06:52:43 AODV: theory AODV.C_Aodv_Message
06:52:43 AODV: theory AODV.B_Fresher
06:52:43 AODV: theory AODV.D_Aodv_Data
06:52:43 AODV: theory AODV.D_Aodv_Message
06:52:43 AODV: theory AODV.E_Fresher
06:52:44 AODV: theory AODV.C_Fresher
06:52:44 AODV: theory AODV.A_Aodv
06:52:44 AODV: theory AODV.Aodv
06:52:44 AODV: theory AODV.B_Aodv
06:52:44 AODV: theory AODV.E_Aodv
06:52:44 AODV: theory AODV.D_Fresher
06:52:44 AODV: theory AODV.C_Aodv
06:52:45 AODV: theory AODV.D_Aodv
06:53:16 AODV: theory AODV.E_Aodv_Predicates
06:53:16 AODV: theory AODV.E_Loop_Freedom
06:53:16 AODV: theory AODV.E_Quality_Increases
06:53:17 AODV: theory AODV.E_Seq_Invariants
06:53:17 AODV: theory AODV.E_OAodv
06:53:17 AODV: theory AODV.E_Global_Invariants
06:53:18 AODV: theory AODV.E_Aodv_Loop_Freedom
06:53:26 AODV: theory AODV.Aodv_Predicates
06:53:26 AODV: theory AODV.OAodv
06:53:26 AODV: theory AODV.Loop_Freedom
06:53:26 AODV: theory AODV.Quality_Increases
06:53:26 AODV: theory AODV.Seq_Invariants
06:53:27 AODV: theory AODV.Global_Invariants
06:53:27 AODV: theory AODV.Aodv_Loop_Freedom
06:53:32 AODV: theory AODV.A_Aodv_Predicates
06:53:32 AODV: theory AODV.A_OAodv
06:53:32 AODV: theory AODV.A_Loop_Freedom
06:53:32 AODV: theory AODV.A_Quality_Increases
06:53:32 AODV: theory AODV.A_Seq_Invariants
06:53:33 AODV: theory AODV.B_Aodv_Predicates
06:53:33 AODV: theory AODV.B_OAodv
06:53:33 AODV: theory AODV.A_Global_Invariants
06:53:33 AODV: theory AODV.B_Loop_Freedom
06:53:33 AODV: theory AODV.B_Quality_Increases
06:53:33 AODV: theory AODV.B_Seq_Invariants
06:53:33 AODV: theory AODV.A_Aodv_Loop_Freedom
06:53:34 AODV: theory AODV.B_Global_Invariants
06:53:34 AODV: theory AODV.C_Aodv_Predicates
06:53:34 AODV: theory AODV.C_OAodv
06:53:34 AODV: theory AODV.C_Loop_Freedom
06:53:34 AODV: theory AODV.C_Quality_Increases
06:53:34 AODV: theory AODV.C_Seq_Invariants
06:53:34 AODV: theory AODV.B_Aodv_Loop_Freedom
06:53:35 AODV: theory AODV.C_Global_Invariants
06:53:35 AODV: theory AODV.C_Aodv_Loop_Freedom
06:53:39 AODV: theory AODV.D_Aodv_Predicates
06:53:40 AODV: theory AODV.D_OAodv
06:53:40 AODV: theory AODV.D_Loop_Freedom
06:53:40 AODV: theory AODV.D_Quality_Increases
06:53:40 AODV: theory AODV.D_Seq_Invariants
06:53:40 AODV: theory AODV.D_Global_Invariants
06:53:41 AODV: theory AODV.D_Aodv_Loop_Freedom
06:53:45 AODV: theory AODV.All
08:21:36 Timing AODV (8 threads, 5335.701s elapsed time, 28732.921s cpu time, 2250.818s GC time, factor 5.39)
08:21:36 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/AODV
08:21:45 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/AODV/document.pdf
08:21:45 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/AODV/outline.pdf
08:21:46 Timing AODV (8 threads, 5335.701s elapsed time, 28732.921s cpu time, 2250.818s GC time, factor 5.39)
08:21:46 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/AODV
08:21:46 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/AODV/document.pdf
08:21:46 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/AODV/outline.pdf
08:21:46 Finished AODV (1:29:05 elapsed time, 7:59:11 cpu time, factor 5.38)
08:21:46 Building HOL-Library ...
08:21:48 HOL-Library: theory HOL-Library.Adhoc_Overloading
08:21:48 HOL-Library: theory HOL-Library.BNF_Axiomatization
08:21:48 HOL-Library: theory HOL-Library.BNF_Corec
08:21:48 HOL-Library: theory HOL-Library.Boolean_Algebra
08:21:48 HOL-Library: theory HOL-Library.AList
08:21:48 HOL-Library: theory HOL-Library.Cancellation
08:21:48 HOL-Library: theory HOL-Library.Case_Converter
08:21:48 HOL-Library: theory HOL-Library.Char_ord
08:21:48 HOL-Library: theory HOL-Library.Code_Abstract_Nat
08:21:48 HOL-Library: theory HOL-Library.Code_Prolog
08:21:48 HOL-Library: theory HOL-Library.Monad_Syntax
08:21:48 HOL-Library: theory HOL-Library.Code_Binary_Nat
08:21:48 HOL-Library: theory HOL-Library.State_Monad
08:21:48 HOL-Library: theory HOL-Library.Code_Target_Nat
08:21:48 HOL-Library: theory HOL-Library.Code_Lazy
08:21:48 HOL-Library: theory HOL-Library.Simps_Case_Conv
08:21:48 HOL-Library: theory HOL-Library.Extended
08:21:48 HOL-Library: theory HOL-Library.Code_Target_Int
08:21:48 HOL-Library: theory HOL-Library.Multiset
08:21:49 HOL-Library: theory HOL-Library.Code_Target_Numeral
08:21:49 HOL-Library: theory HOL-Library.Code_Test
08:21:49 HOL-Library: theory HOL-Library.Comparator
08:21:49 HOL-Library: theory HOL-Library.Conditional_Parametricity
08:21:49 HOL-Library: theory HOL-Library.Datatype_Records
08:21:49 HOL-Library: theory HOL-Library.Debug
08:21:49 HOL-Library: theory HOL-Library.Disjoint_Sets
08:21:50 HOL-Library: theory HOL-Library.Dlist
08:21:50 HOL-Library: theory HOL-Library.Dual_Ordered_Lattice
08:21:50 HOL-Library: theory HOL-Library.Fun_Lexorder
08:21:50 HOL-Library: theory HOL-Library.FuncSet
08:21:50 HOL-Library: theory HOL-Library.Function_Algebras
08:21:50 HOL-Library: theory HOL-Library.DAList
08:21:50 HOL-Library: theory HOL-Library.Function_Division
08:21:50 HOL-Library: theory HOL-Library.Groups_Big_Fun
08:21:50 HOL-Library: theory HOL-Library.IArray
08:21:50 HOL-Library: theory HOL-Library.Infinite_Set
08:21:50 HOL-Library: theory HOL-Library.LaTeXsugar
08:21:50 HOL-Library: theory HOL-Library.Equipollence
08:21:50 HOL-Library: theory HOL-Library.Lattice_Constructions
08:21:50 HOL-Library: theory HOL-Library.Omega_Words_Fun
08:21:50 HOL-Library: theory HOL-Library.Ramsey
08:21:51 HOL-Library: theory HOL-Library.Lattice_Syntax
08:21:51 HOL-Library: theory HOL-Library.Combine_PER
08:21:51 HOL-Library: theory HOL-Library.Complete_Partial_Order2
08:21:51 HOL-Library: theory HOL-Library.ListVector
08:21:51 HOL-Library: theory HOL-Library.List_Lexorder
08:21:51 HOL-Library: theory HOL-Library.Mapping
08:21:51 HOL-Library: theory HOL-Library.More_List
08:21:51 HOL-Library: theory HOL-Library.Nat_Bijection
08:21:51 HOL-Library: theory HOL-Library.Old_Datatype
08:21:51 HOL-Library: theory HOL-Library.Poly_Mapping
08:21:52 HOL-Library: theory HOL-Library.Stream
08:21:52 HOL-Library: theory HOL-Library.Old_Recdef
08:21:52 HOL-Library: theory HOL-Library.AList_Mapping
08:21:53 HOL-Library: theory HOL-Library.Open_State_Syntax
08:21:53 HOL-Library: theory HOL-Library.Option_ord
08:21:53 HOL-Library: theory HOL-Library.Parallel
08:21:53 HOL-Library: theory HOL-Library.Pattern_Aliases
08:21:53 HOL-Library: theory HOL-Library.Perm
08:21:53 HOL-Library: theory HOL-Library.Phantom_Type
08:21:53 HOL-Library: theory HOL-Library.Power_By_Squaring
08:21:54 HOL-Library: theory HOL-Library.Predicate_Compile_Alternative_Defs
08:21:54 HOL-Library: theory HOL-Library.Preorder
08:21:54 HOL-Library: theory HOL-Library.Predicate_Compile_Quickcheck
08:21:54 HOL-Library: theory HOL-Library.Product_Lexorder
08:21:54 HOL-Library: theory HOL-Library.Product_Plus
08:21:54 HOL-Library: theory HOL-Library.Quotient_Syntax
08:21:54 HOL-Library: theory HOL-Library.DAList_Multiset
08:21:54 HOL-Library: theory HOL-Library.Multiset_Order
08:21:54 HOL-Library: theory HOL-Library.Permutation
08:21:54 HOL-Library: theory HOL-Library.Permutations
08:21:54 HOL-Library: theory HOL-Library.Product_Order
08:21:54 HOL-Library: theory HOL-Library.Cardinality
08:21:54 HOL-Library: theory HOL-Library.Quotient_Option
08:21:54 HOL-Library: theory HOL-Library.Quotient_Product
08:21:54 HOL-Library: theory HOL-Library.Quotient_Set
08:21:54 HOL-Library: theory HOL-Library.Quotient_Sum
08:21:54 HOL-Library: theory HOL-Library.Finite_Lattice
08:21:54 HOL-Library: theory HOL-Library.Quotient_List
08:21:54 HOL-Library: theory HOL-Library.Quotient_Type
08:21:55 HOL-Library: theory HOL-Library.RBT_Impl
08:21:55 HOL-Library: theory HOL-Library.Realizers
08:21:55 HOL-Library: theory HOL-Library.Reflection
08:21:55 HOL-Library: theory HOL-Library.Refute
08:21:56 HOL-Library: theory HOL-Library.Rewrite
08:21:56 HOL-Library: theory HOL-Library.Set_Algebras
08:21:56 HOL-Library: theory HOL-Library.Sorting_Algorithms
08:21:56 HOL-Library: theory HOL-Library.Stirling
08:21:56 HOL-Library: theory HOL-Library.Sublist
08:21:56 HOL-Library: theory HOL-Library.Numeral_Type
08:21:56 HOL-Library: theory HOL-Library.Transitive_Closure_Table
08:21:56 HOL-Library: theory HOL-Library.Tree
08:21:57 HOL-Library: theory HOL-Library.Uprod
08:21:57 HOL-Library: theory HOL-Library.While_Combinator
08:21:57 HOL-Library: theory HOL-Library.Z2
08:21:57 HOL-Library: theory HOL-Library.Countable
08:21:57 HOL-Library: theory HOL-Library.Type_Length
08:21:57 HOL-Library: theory HOL-Library.BigO
08:21:57 HOL-Library: theory HOL-Library.Bourbaki_Witt_Fixpoint
08:21:57 HOL-Library: theory HOL-Library.Saturated
08:21:58 HOL-Library: theory HOL-Library.Prefix_Order
08:21:58 HOL-Library: theory HOL-Library.Subseq_Order
08:21:58 HOL-Library: theory HOL-Library.Code_Real_Approx_By_Float
08:21:58 HOL-Library: theory HOL-Library.Diagonal_Subsequence
08:21:58 HOL-Library: theory HOL-Library.Discrete
08:21:58 HOL-Library: theory HOL-Library.Going_To_Filter
08:21:58 HOL-Library: theory HOL-Library.Indicator_Function
08:21:58 HOL-Library: theory HOL-Library.Landau_Symbols
08:21:58 HOL-Library: theory HOL-Library.Lattice_Algebras
08:21:58 HOL-Library: theory HOL-Library.Liminf_Limsup
08:21:58 HOL-Library: theory HOL-Library.Log_Nat
08:21:58 HOL-Library: theory HOL-Library.Lub_Glb
08:21:59 HOL-Library: theory HOL-Library.Multiset_Permutations
08:21:59 HOL-Library: theory HOL-Library.Countable_Set
08:21:59 HOL-Library: theory HOL-Library.FSet
08:21:59 HOL-Library: theory HOL-Library.Nonpos_Ints
08:21:59 HOL-Library: theory HOL-Library.Tree_Multiset
08:21:59 HOL-Library: theory HOL-Library.OptionalSugar
08:21:59 HOL-Library: theory HOL-Library.Countable_Complete_Lattices
08:21:59 HOL-Library: theory HOL-Library.Countable_Set_Type
08:21:59 HOL-Library: theory HOL-Library.Set_Idioms
08:22:00 HOL-Library: theory HOL-Library.Periodic_Fun
08:22:00 HOL-Library: theory HOL-Library.Quadratic_Discriminant
08:22:00 HOL-Library: theory HOL-Library.Sum_of_Squares
08:22:00 HOL-Library: theory HOL-Library.Tree_Real
08:22:01 HOL-Library: theory HOL-Library.Order_Continuity
08:22:02 HOL-Library: theory HOL-Library.Extended_Nat
08:22:02 HOL-Library: theory HOL-Library.Finite_Map
08:22:03 HOL-Library: theory HOL-Library.Float
08:22:03 HOL-Library: theory HOL-Library.Extended_Real
08:22:03 HOL-Library: theory HOL-Library.Linear_Temporal_Logic_on_Streams
08:22:06 HOL-Library: theory HOL-Library.Extended_Nonnegative_Real
08:22:13 HOL-Library: theory HOL-Library.Library
08:22:24 HOL-Library: theory HOL-Library.RBT
08:22:24 HOL-Library: theory HOL-Library.RBT_Mapping
08:22:24 HOL-Library: theory HOL-Library.RBT_Set
08:22:52 Timing HOL-Library (8 threads, 64.681s elapsed time, 422.632s cpu time, 25.780s GC time, factor 6.53)
08:22:52 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL-Library
08:23:10 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL-Library/document.pdf
08:23:10 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL-Library/outline.pdf
08:23:55 Timing HOL-Library (8 threads, 64.681s elapsed time, 422.632s cpu time, 25.780s GC time, factor 6.53)
08:23:55 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL-Library
08:23:55 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL-Library/document.pdf
08:23:55 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL-Library/outline.pdf
08:23:55 Finished HOL-Library (0:02:05 elapsed time, 0:09:26 cpu time, factor 4.51)
08:23:55 Building ConcurrentIMP ...
08:23:56 ConcurrentIMP: theory ConcurrentIMP.CIMP_pred
08:23:56 ConcurrentIMP: theory ConcurrentIMP.CIMP_lang
08:24:06 ConcurrentIMP: theory ConcurrentIMP.CIMP_vcg
08:24:07 ConcurrentIMP: theory ConcurrentIMP.CIMP
08:24:08 ConcurrentIMP: theory ConcurrentIMP.CIMP_one_place_buffer_ex
08:24:08 ConcurrentIMP: theory ConcurrentIMP.CIMP_unbounded_buffer_ex
08:24:12 Timing ConcurrentIMP (8 threads, 15.510s elapsed time, 40.384s cpu time, 2.457s GC time, factor 2.60)
08:24:12 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/ConcurrentIMP
08:24:15 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/ConcurrentIMP/document.pdf
08:24:15 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/ConcurrentIMP/outline.pdf
08:24:34 Timing ConcurrentIMP (8 threads, 15.510s elapsed time, 40.384s cpu time, 2.457s GC time, factor 2.60)
08:24:34 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/ConcurrentIMP
08:24:34 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/ConcurrentIMP/document.pdf
08:24:34 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/ConcurrentIMP/outline.pdf
08:24:34 Finished ConcurrentIMP (0:00:38 elapsed time, 0:01:28 cpu time, factor 2.29)
08:24:34 Running ConcurrentGC ...
08:24:35 ConcurrentGC: theory ConcurrentGC.Model
08:24:49 ConcurrentGC: theory ConcurrentGC.Tactics
08:24:55 ConcurrentGC: theory ConcurrentGC.Proofs_basis
08:24:57 ConcurrentGC: theory ConcurrentGC.TSO
08:25:06 ConcurrentGC: theory ConcurrentGC.Handshakes
08:27:07 ConcurrentGC: theory ConcurrentGC.MarkObject
08:28:34 ConcurrentGC: theory ConcurrentGC.StrongTricolour
08:28:57 ConcurrentGC: theory ConcurrentGC.Proofs
08:28:58 ConcurrentGC: theory ConcurrentGC.Concrete_heap
08:29:00 ConcurrentGC: theory ConcurrentGC.Concrete
08:52:09 Timing ConcurrentGC (8 threads, 1653.267s elapsed time, 10080.854s cpu time, 546.453s GC time, factor 6.10)
08:52:09 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/ConcurrentGC
08:52:12 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/ConcurrentGC/document.pdf
08:52:12 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/ConcurrentGC/outline.pdf
08:52:13 Timing ConcurrentGC (8 threads, 1653.267s elapsed time, 10080.854s cpu time, 546.453s GC time, factor 6.10)
08:52:13 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/ConcurrentGC
08:52:13 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/ConcurrentGC/document.pdf
08:52:13 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/ConcurrentGC/outline.pdf
08:52:13 Finished ConcurrentGC (0:27:38 elapsed time, 2:48:11 cpu time, factor 6.08)
08:52:13 Building HOL-Word ...
08:52:14 HOL-Word: theory HOL-Library.Phantom_Type
08:52:14 HOL-Word: theory HOL-Library.Boolean_Algebra
08:52:14 HOL-Word: theory HOL-Word.Bits
08:52:14 HOL-Word: theory HOL-Word.Misc_Auxiliary
08:52:14 HOL-Word: theory HOL-Word.Misc_Typedef
08:52:14 HOL-Word: theory HOL-Library.Z2
08:52:15 HOL-Word: theory HOL-Word.Bits_Int
08:52:15 HOL-Word: theory HOL-Word.Bits_Z2
08:52:15 HOL-Word: theory HOL-Word.Misc_Arithmetic
08:52:15 HOL-Word: theory HOL-Library.Cardinality
08:52:17 HOL-Word: theory HOL-Library.Numeral_Type
08:52:17 HOL-Word: theory HOL-Word.Bit_Comprehension
08:52:17 HOL-Word: theory HOL-Library.Type_Length
08:52:17 HOL-Word: theory HOL-Word.Word
08:52:22 HOL-Word: theory HOL-Word.Word_Bitwise
08:52:22 HOL-Word: theory HOL-Word.More_Word
08:52:22 HOL-Word: theory HOL-Word.Word_Examples
08:52:23 Timing HOL-Word (8 threads, 8.459s elapsed time, 46.101s cpu time, 2.217s GC time, factor 5.45)
08:52:23 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL-Word
08:52:28 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL-Word/document.pdf
08:52:28 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL-Word/outline.pdf
08:52:40 Timing HOL-Word (8 threads, 8.459s elapsed time, 46.101s cpu time, 2.217s GC time, factor 5.45)
08:52:40 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL-Word
08:52:40 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL-Word/document.pdf
08:52:40 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/HOL/HOL-Word/outline.pdf
08:52:40 Finished HOL-Word (0:00:26 elapsed time, 0:01:22 cpu time, factor 3.13)
08:52:40 Building Word_Lib ...
08:52:41 Word_Lib: theory HOL-Library.Sublist
08:52:41 Word_Lib: theory Word_Lib.Hex_Words
08:52:41 Word_Lib: theory Word_Lib.Signed_Words
08:52:41 Word_Lib: theory Word_Lib.Word_Type_Syntax
08:52:41 Word_Lib: theory Word_Lib.Enumeration
08:52:41 Word_Lib: theory Word_Lib.More_Divides
08:52:41 Word_Lib: theory Word_Lib.HOL_Lemmas
08:52:41 Word_Lib: theory Word_Lib.Norm_Words
08:52:41 Word_Lib: theory Word_Lib.WordBitwise_Signed
08:52:42 Word_Lib: theory Word_Lib.Word_Syntax
08:52:42 Word_Lib: theory Word_Lib.Word_Lib
08:52:43 Word_Lib: theory Word_Lib.Word_Enum
08:52:43 Word_Lib: theory Word_Lib.Aligned
08:52:43 Word_Lib: theory Word_Lib.Word_Setup_32
08:52:43 Word_Lib: theory Word_Lib.Word_Setup_64
08:52:43 Word_Lib: theory Word_Lib.Word_Next
08:52:44 Word_Lib: theory Word_Lib.Word_Lemmas
08:52:48 Word_Lib: theory Word_Lib.Word_Lemmas_32
08:52:48 Word_Lib: theory Word_Lib.Word_Lemmas_64
08:53:08 Timing Word_Lib (8 threads, 26.299s elapsed time, 79.232s cpu time, 4.240s GC time, factor 3.01)
08:53:08 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Word_Lib
08:53:11 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Word_Lib/document.pdf
08:53:11 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Word_Lib/outline.pdf
08:53:24 Timing Word_Lib (8 threads, 26.299s elapsed time, 79.232s cpu time, 4.240s GC time, factor 3.01)
08:53:24 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Word_Lib
08:53:24 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Word_Lib/document.pdf
08:53:24 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Word_Lib/outline.pdf
08:53:24 Finished Word_Lib (0:00:43 elapsed time, 0:01:54 cpu time, factor 2.66)
08:53:24 Building IP_Addresses ...
08:53:25 IP_Addresses: theory HOL-Eisbach.Eisbach
08:53:25 IP_Addresses: theory HOL-Library.Cancellation
08:53:25 IP_Addresses: theory HOL-Library.Infinite_Set
08:53:25 IP_Addresses: theory HOL-Library.Option_ord
08:53:25 IP_Addresses: theory IP_Addresses.NumberWang_IPv4
08:53:25 IP_Addresses: theory IP_Addresses.NumberWang_IPv6
08:53:26 IP_Addresses: theory HOL-Library.Multiset
08:53:30 IP_Addresses: theory HOL-ex.Quicksort
08:53:31 IP_Addresses: theory Automatic_Refinement.Misc
08:53:36 IP_Addresses: theory HOL-Library.Product_Lexorder
08:53:36 IP_Addresses: theory HOL-Library.Code_Abstract_Nat
08:53:36 IP_Addresses: theory IP_Addresses.Hs_Compat
08:53:36 IP_Addresses: theory IP_Addresses.Lib_Numbers_toString
08:53:36 IP_Addresses: theory IP_Addresses.WordInterval
08:53:36 IP_Addresses: theory HOL-Library.Code_Target_Nat
08:53:36 IP_Addresses: theory IP_Addresses.Lib_List_toString
08:53:36 IP_Addresses: theory IP_Addresses.Lib_Word_toString
08:53:39 IP_Addresses: theory IP_Addresses.IP_Address
08:53:39 IP_Addresses: theory IP_Addresses.WordInterval_Sorted
08:53:43 IP_Addresses: theory IP_Addresses.IPv4
08:53:43 IP_Addresses: theory IP_Addresses.IPv6
08:53:43 IP_Addresses: theory IP_Addresses.Prefix_Match
08:53:44 IP_Addresses: theory IP_Addresses.CIDR_Split
08:54:50 IP_Addresses: theory IP_Addresses.IP_Address_Parser
08:54:50 IP_Addresses: theory IP_Addresses.IP_Address_toString
08:54:51 IP_Addresses: theory IP_Addresses.Prefix_Match_toString
08:56:27 Timing IP_Addresses (8 threads, 182.181s elapsed time, 579.364s cpu time, 38.858s GC time, factor 3.18)
08:56:27 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/IP_Addresses
08:56:31 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/IP_Addresses/document.pdf
08:56:31 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/IP_Addresses/outline.pdf
08:57:12 Timing IP_Addresses (8 threads, 182.181s elapsed time, 579.364s cpu time, 38.858s GC time, factor 3.18)
08:57:12 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/IP_Addresses
08:57:12 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/IP_Addresses/document.pdf
08:57:12 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/IP_Addresses/outline.pdf
08:57:12 Finished IP_Addresses (0:03:46 elapsed time, 0:11:15 cpu time, factor 2.98)
08:57:12 Building Simple_Firewall ...
08:57:13 Simple_Firewall: theory HOL-Library.Char_ord
08:57:13 Simple_Firewall: theory Simple_Firewall.Firewall_Common_Decision_State
08:57:13 Simple_Firewall: theory Simple_Firewall.GroupF
08:57:13 Simple_Firewall: theory Simple_Firewall.IP_Partition_Preliminaries
08:57:13 Simple_Firewall: theory Simple_Firewall.List_Product_More
08:57:13 Simple_Firewall: theory Simple_Firewall.Lib_Enum_toString
08:57:13 Simple_Firewall: theory Simple_Firewall.IP_Addr_WordInterval_toString
08:57:13 Simple_Firewall: theory Simple_Firewall.Option_Helpers
08:57:13 Simple_Firewall: theory Simple_Firewall.Iface
08:57:13 Simple_Firewall: theory Simple_Firewall.L4_Protocol
08:57:16 Simple_Firewall: theory Simple_Firewall.Simple_Packet
08:57:16 Simple_Firewall: theory Simple_Firewall.Primitives_toString
08:57:17 Simple_Firewall: theory Simple_Firewall.SimpleFw_Syntax
08:57:20 Simple_Firewall: theory Simple_Firewall.SimpleFw_toString
08:57:20 Simple_Firewall: theory Simple_Firewall.SimpleFw_Semantics
08:57:22 Simple_Firewall: theory Simple_Firewall.Generic_SimpleFw
08:57:22 Simple_Firewall: theory Simple_Firewall.Shadowed
08:57:22 Simple_Firewall: theory Simple_Firewall.Service_Matrix
08:57:29 Timing Simple_Firewall (8 threads, 15.893s elapsed time, 64.542s cpu time, 3.414s GC time, factor 4.06)
08:57:29 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Simple_Firewall
08:57:34 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Simple_Firewall/document.pdf
08:57:34 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Simple_Firewall/outline.pdf
08:57:51 Timing Simple_Firewall (8 threads, 15.893s elapsed time, 64.542s cpu time, 3.414s GC time, factor 4.06)
08:57:51 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Simple_Firewall
08:57:51 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Simple_Firewall/document.pdf
08:57:51 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Simple_Firewall/outline.pdf
08:57:51 Finished Simple_Firewall (0:00:39 elapsed time, 0:01:57 cpu time, factor 3.00)
08:57:51 Building Routing ...
08:57:53 Routing: theory HOL-Library.Adhoc_Overloading
08:57:53 Routing: theory Routing.Linorder_Helper
08:57:53 Routing: theory HOL-Library.Monad_Syntax
08:57:54 Routing: theory Routing.Routing_Table
08:57:57 Routing: theory Routing.IpRoute_Parser
08:57:57 Routing: theory Routing.Linux_Router
08:58:02 Timing Routing (8 threads, 9.059s elapsed time, 25.401s cpu time, 0.868s GC time, factor 2.80)
08:58:02 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Routing
08:58:04 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Routing/document.pdf
08:58:04 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Routing/outline.pdf
08:58:17 Timing Routing (8 threads, 9.059s elapsed time, 25.401s cpu time, 0.868s GC time, factor 2.80)
08:58:17 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Routing
08:58:17 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Routing/document.pdf
08:58:17 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Routing/outline.pdf
08:58:17 Finished Routing (0:00:25 elapsed time, 0:00:59 cpu time, factor 2.34)
08:58:17 Building Iptables_Semantics ...
08:58:18 Iptables_Semantics: theory Iptables_Semantics.Negation_Type
08:58:18 Iptables_Semantics: theory Iptables_Semantics.List_Misc
08:58:20 Iptables_Semantics: theory Iptables_Semantics.WordInterval_Lists
08:58:21 Iptables_Semantics: theory HOL-Library.Code_Target_Int
08:58:21 Iptables_Semantics: theory HOL-Library.LaTeXsugar
08:58:21 Iptables_Semantics: theory Native_Word.More_Bits_Int
08:58:21 Iptables_Semantics: theory Iptables_Semantics.Datatype_Selectors
08:58:21 Iptables_Semantics: theory Iptables_Semantics.Remdups_Rev
08:58:21 Iptables_Semantics: theory Iptables_Semantics.Repeat_Stabilize
08:58:21 Iptables_Semantics: theory Iptables_Semantics.Ternary
08:58:21 Iptables_Semantics: theory Iptables_Semantics.Negation_Type_DNF
08:58:21 Iptables_Semantics: theory Iptables_Semantics.Conntrack_State
08:58:21 Iptables_Semantics: theory Iptables_Semantics.L4_Protocol_Flags
08:58:21 Iptables_Semantics: theory Iptables_Semantics.IpAddresses
08:58:21 Iptables_Semantics: theory Iptables_Semantics.Firewall_Common
08:58:21 Iptables_Semantics: theory Iptables_Semantics.Word_Upto
08:58:22 Iptables_Semantics: theory Iptables_Semantics.Ports
08:58:22 Iptables_Semantics: theory Native_Word.Code_Symbolic_Bits_Int
08:58:22 Iptables_Semantics: theory Native_Word.Bits_Integer
08:58:22 Iptables_Semantics: theory Iptables_Semantics.Tagged_Packet
08:58:24 Iptables_Semantics: theory Iptables_Semantics.Common_Primitive_Syntax
08:58:33 Iptables_Semantics: theory Iptables_Semantics.Matching_Ternary
08:58:33 Iptables_Semantics: theory Iptables_Semantics.Semantics
08:58:33 Iptables_Semantics: theory Iptables_Semantics.Semantics_Goto
08:58:33 Iptables_Semantics: theory Native_Word.Code_Target_Bits_Int
08:58:34 Iptables_Semantics: theory Iptables_Semantics.Alternative_Semantics
08:58:34 Iptables_Semantics: theory Iptables_Semantics.Matching
08:58:34 Iptables_Semantics: theory Iptables_Semantics.Ruleset_Update
08:58:34 Iptables_Semantics: theory Iptables_Semantics.Call_Return_Unfolding
08:58:34 Iptables_Semantics: theory Iptables_Semantics.Semantics_Stateful
08:58:35 Iptables_Semantics: theory Iptables_Semantics.Semantics_Ternary
08:58:35 Iptables_Semantics: theory Iptables_Semantics.Unknown_Match_Tacs
08:58:35 Iptables_Semantics: theory Iptables_Semantics.Matching_Embeddings
08:58:36 Iptables_Semantics: theory Iptables_Semantics.Fixed_Action
08:58:36 Iptables_Semantics: theory Iptables_Semantics.Optimizing
08:58:36 Iptables_Semantics: theory Iptables_Semantics.Common_Primitive_Matcher_Generic
08:58:36 Iptables_Semantics: theory Iptables_Semantics.Normalized_Matches
08:58:37 Iptables_Semantics: theory Iptables_Semantics.Negation_Type_Matching
08:58:38 Iptables_Semantics: theory Iptables_Semantics.Primitive_Normalization
08:58:40 Iptables_Semantics: theory Iptables_Semantics.Common_Primitive_Matcher
08:58:41 Iptables_Semantics: theory Iptables_Semantics.MatchExpr_Fold
08:58:41 Iptables_Semantics: theory Iptables_Semantics.Ipassmt
08:58:44 Iptables_Semantics: theory Iptables_Semantics.Routing_IpAssmt
08:59:17 Iptables_Semantics: theory Iptables_Semantics.Common_Primitive_Lemmas
08:59:17 Iptables_Semantics: theory Iptables_Semantics.Common_Primitive_toString
08:59:17 Iptables_Semantics: theory Iptables_Semantics.Conntrack_State_Transform
08:59:17 Iptables_Semantics: theory Iptables_Semantics.Example_Semantics
08:59:18 Iptables_Semantics: theory Iptables_Semantics.Interfaces_Normalize
08:59:18 Iptables_Semantics: theory Iptables_Semantics.No_Spoof
08:59:18 Iptables_Semantics: theory Iptables_Semantics.Ports_Normalize
08:59:18 Iptables_Semantics: theory Iptables_Semantics.IpAddresses_Normalize
08:59:18 Iptables_Semantics: theory Iptables_Semantics.Protocols_Normalize
08:59:22 Iptables_Semantics: theory Iptables_Semantics.Output_Interface_Replace
08:59:23 Iptables_Semantics: theory Iptables_Semantics.Interface_Replace
08:59:25 Iptables_Semantics: theory Iptables_Semantics.Transform
08:59:29 Iptables_Semantics: theory Iptables_Semantics.Primitive_Abstract
08:59:30 Iptables_Semantics: theory Iptables_Semantics.SimpleFw_Compliance
08:59:34 Iptables_Semantics: theory Iptables_Semantics.Code_Interface
08:59:35 Iptables_Semantics: theory Iptables_Semantics.Semantics_Embeddings
08:59:35 Iptables_Semantics: theory Iptables_Semantics.Access_Matrix_Embeddings
08:59:36 Iptables_Semantics: theory Iptables_Semantics.Iptables_Semantics
08:59:36 Iptables_Semantics: theory Iptables_Semantics.No_Spoof_Embeddings
08:59:41 Iptables_Semantics: theory Iptables_Semantics.Parser
08:59:41 Iptables_Semantics: theory Iptables_Semantics.Parser6
08:59:41 Iptables_Semantics: theory Iptables_Semantics.Documentation
08:59:41 Iptables_Semantics: theory Iptables_Semantics.Code_haskell
09:00:00 Timing Iptables_Semantics (8 threads, 101.850s elapsed time, 453.087s cpu time, 41.485s GC time, factor 4.45)
09:00:00 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics
09:00:09 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics/document.pdf
09:00:09 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics/outline.pdf
09:00:54 Timing Iptables_Semantics (8 threads, 101.850s elapsed time, 453.087s cpu time, 41.485s GC time, factor 4.45)
09:00:54 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics
09:00:54 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics/document.pdf
09:00:54 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics/outline.pdf
09:00:54 Finished Iptables_Semantics (0:02:34 elapsed time, 0:09:59 cpu time, factor 3.87)
09:00:54 Building Iptables_Semantics_Examples ...
09:00:55 Iptables_Semantics_Examples: theory Iptables_Semantics_Examples.Analyze_Ringofsaturn_com
09:00:55 Iptables_Semantics_Examples: theory Iptables_Semantics_Examples.Analyze_SQRL_Shorewall
09:00:55 Iptables_Semantics_Examples: theory Iptables_Semantics_Examples.Analyze_medium_sized_company
09:00:55 Iptables_Semantics_Examples: theory Iptables_Semantics_Examples.Contrived_Example
09:00:55 Iptables_Semantics_Examples: theory Iptables_Semantics_Examples.SNS_IAS_Eduroam_Spoofing
09:00:55 Iptables_Semantics_Examples: theory Iptables_Semantics_Examples.Parser_Test
09:00:55 Iptables_Semantics_Examples: theory Iptables_Semantics_Examples.Parser6_Test
09:00:55 Iptables_Semantics_Examples: theory Iptables_Semantics_Examples.SQRL_2015_nospoof
09:00:59 Iptables_Semantics_Examples: theory Iptables_Semantics_Examples.Ports_Fail
09:01:00 Iptables_Semantics_Examples: theory Iptables_Semantics_Examples.Small_Examples
09:01:00 Iptables_Semantics_Examples: theory Iptables_Semantics_Examples.iptables_Ln_tuned_parsed
09:01:00 Iptables_Semantics_Examples: theory Iptables_Semantics_Examples.Analyze_Synology_Diskstation
09:04:01 Timing Iptables_Semantics_Examples (8 threads, 186.400s elapsed time, 1263.466s cpu time, 121.135s GC time, factor 6.78)
09:04:02 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics_Examples
09:04:05 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics_Examples/document.pdf
09:04:05 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics_Examples/outline.pdf
09:04:29 Timing Iptables_Semantics_Examples (8 threads, 186.400s elapsed time, 1263.466s cpu time, 121.135s GC time, factor 6.78)
09:04:29 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics_Examples
09:04:29 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics_Examples/document.pdf
09:04:29 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics_Examples/outline.pdf
09:04:29 Finished Iptables_Semantics_Examples (0:03:34 elapsed time, 0:22:03 cpu time, factor 6.16)
09:04:29 Running Iptables_Semantics_Examples_Big ...
09:04:30 Iptables_Semantics_Examples_Big: theory Iptables_Semantics_Examples_Big.Analyze_topos_generated
09:04:30 Iptables_Semantics_Examples_Big: theory Iptables_Semantics_Examples_Big.IP_Address_Space_Examples_All_Small
09:04:30 Iptables_Semantics_Examples_Big: theory Iptables_Semantics_Examples_Big.TUM_Spoofing_new3
09:04:30 Iptables_Semantics_Examples_Big: theory Iptables_Semantics_Examples_Big.Analyze_TUM_Net_Firewall
09:04:30 Iptables_Semantics_Examples_Big: theory Iptables_Semantics_Examples_Big.Analyze_Containern
09:07:10 Iptables_Semantics_Examples_Big: theory Iptables_Semantics_Examples_Big.IP_Address_Space_Examples_All_Large
10:05:33 Iptables_Semantics_Examples_Big: theory Iptables_Semantics_Examples_Big.TUM_Simple_FW
10:55:34 Timing Iptables_Semantics_Examples_Big (8 threads, 6664.066s elapsed time, 29676.624s cpu time, 12635.399s GC time, factor 4.45)
10:55:35 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics_Examples_Big
10:55:38 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics_Examples_Big/document.pdf
10:55:38 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics_Examples_Big/outline.pdf
10:55:40 Timing Iptables_Semantics_Examples_Big (8 threads, 6664.066s elapsed time, 29676.624s cpu time, 12635.399s GC time, factor 4.45)
10:55:40 Browser info at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics_Examples_Big
10:55:40 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics_Examples_Big/document.pdf
10:55:40 Document at /media/data/jenkins/workspace/isabelle-nightly-slow/browser_info/AFP/Iptables_Semantics_Examples_Big/outline.pdf
10:55:40 Finished Iptables_Semantics_Examples_Big (1:51:10 elapsed time, 8:14:54 cpu time, factor 4.45)
10:55:40 
10:55:40 === TIMING ===
10:55:40 
10:55:40 Group slow: 8:58:22 elapsed time, 28:52:12 cpu time, factor 3.22
10:55:40 Group AFP: 9:13:22 elapsed time, 29:51:52 cpu time, factor 3.24
10:55:40 Group main: 0:07:09 elapsed time, 0:24:48 cpu time, factor 3.47
10:55:40 Group timing: 0:02:32 elapsed time, 0:10:49 cpu time, factor 4.27
10:55:40 Group very_slow: 6:21:01 elapsed time, 14:57:58 cpu time, factor 2.36
10:55:40 Overall: 9:21:26 elapsed time, 30:17:01 cpu time, factor 3.24
10:55:45 Archiving artifacts
10:55:46 Started calculate disk usage of build
10:55:46 Finished Calculation of disk usage of build in 0 seconds
10:55:53 Started calculate disk usage of workspace
10:55:54 Finished Calculation of disk usage of workspace in 0 seconds
10:55:54 No emails were triggered.
10:55:54 Finished: SUCCESS