Console Output

15:53:54 Started by upstream project "isabelle-repo" build number 1285
15:53:54 originally caused by:
15:53:54  Started by an SCM change
15:53:54 [EnvInject] - Loading node environment variables.
15:53:54 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-repo-afp
15:53:54 [isabelle-repo-afp] $ hg showconfig paths.default
15:53:54 [isabelle-repo-afp] $ hg pull --rev 49309fe530fd0858734fbedcd84eb083fe33bfd5
15:53:55 pulling from http://isabelle.in.tum.de/repos/isabelle/
15:53:55 searching for changes
15:53:55 adding changesets
15:53:55 adding manifests
15:53:55 adding file changes
15:53:55 added 3 changesets with 7 changes to 6 files
15:53:55 (run 'hg update' to get a working copy)
15:53:55 [isabelle-repo-afp] $ hg update --clean --rev 49309fe530fd0858734fbedcd84eb083fe33bfd5
15:53:56 6 files updated, 0 files merged, 0 files removed, 0 files unresolved
15:53:56 [isabelle-repo-afp] $ hg log --rev . --template {node}
15:53:56 [isabelle-repo-afp] $ hg log --rev . --template {rev}
15:53:56 [isabelle-repo-afp] $ hg id --branch
15:53:56 [afp] $ hg showconfig paths.default
15:53:56 [afp] $ hg pull --rev default
15:53:57 pulling from https://bitbucket.org/isa-afp/afp-devel/
15:53:57 no changes found
15:53:57 [afp] $ hg update --clean --rev default
15:53:57 392 files updated, 0 files merged, 0 files removed, 0 files unresolved
15:53:57 [afp] $ hg --config extensions.purge= clean --all
15:53:58 [afp] $ hg log --rev . --template {node}
15:53:58 [afp] $ hg log --rev . --template {rev}
15:53:58 No emails were triggered.
15:53:58 [isabelle-repo-afp] $ /bin/sh -xe /tmp/jenkins3487911311311219401.sh
15:53:58 + Admin/jenkins/run_build afp
15:53:58 + set -e
15:53:58 + PROFILE=afp
15:53:58 + shift
15:53:58 + bin/isabelle components -a
15:53:58 + bin/isabelle jedit -bf
15:53:59 ### Building Isabelle/Scala ...
15:54:24 ### Building Isabelle/jEdit ...
15:54:41 + bin/isabelle ci_build_afp
15:54:48 
15:54:48 === CONFIGURATION ===
15:54:48 
15:54:48 ISABELLE_BUILD_OPTIONS=""
15:54:48 
15:54:48 ML_PLATFORM="x86_64-linux"
15:54:48 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-test-fb4f42af00fa/x86_64-linux"
15:54:48 ML_SYSTEM="polyml-5.7.1"
15:54:48 ML_OPTIONS="-H 4000 --maxheap 8G"
15:54:48 
15:54:48 === BUILD ===
15:54:48 
15:54:48 Build started at Tue, 7 Nov 2017 14:54:47 GMT
15:54:48 Isabelle id 49309fe530fd
15:54:48 AFP id fee069c9805b
15:54:48 
15:54:48 === LOG ===
15:54:48 
15:54:49 Session Pure/Pure
15:54:49 Session FOL/FOL
15:54:49 Session HOL/HOL (main)
15:54:50 Session AFP/AVL-Trees (AFP)
15:54:50 Session AFP/AWN (AFP)
15:54:50 Session AFP/Abortable_Linearizable_Modules (AFP)
15:54:50 Session AFP/Abstract-Hoare-Logics (AFP)
15:54:50 Session AFP/AnselmGod (AFP)
15:54:50 Session AFP/BinarySearchTree (AFP)
15:54:50 Session AFP/Binomial-Queues (AFP)
15:54:50 Session AFP/Bondy (AFP)
15:54:50 Session AFP/Bounded_Deducibility_Security (AFP)
15:54:50 Session AFP/BytecodeLogicJmlTypes (AFP)
15:54:50 Session AFP/CISC-Kernel (AFP)
15:54:50 Session AFP/CYK (AFP)
15:54:50 Session AFP/Cauchy (AFP)
15:54:50 Session AFP/Sqrt_Babylonian (AFP)
15:54:50 Session AFP/ClockSynchInst (AFP)
15:54:50 Session AFP/Compiling-Exceptions-Correctly (AFP)
15:54:50 Session AFP/ComponentDependencies (AFP)
15:54:50 Session AFP/Constructor_Funs (AFP)
15:54:50 Session AFP/CryptoBasedCompositionalProperties (AFP)
15:54:50 Session AFP/DPT-SAT-Solver (AFP)
15:54:50 Session AFP/Depth-First-Search (AFP)
15:54:50 Session AFP/Diophantine_Eqns_Lin_Hom (AFP)
15:54:50 Session AFP/DiskPaxos (AFP)
15:54:50 Session AFP/Example-Submission (AFP)
15:54:50 Session AFP/FFT (AFP)
15:54:50 Session AFP/FLP (AFP)
15:54:51 Session AFP/FeatherweightJava (AFP)
15:54:51 Session AFP/Featherweight_OCL (AFP)
15:54:51 Session AFP/FileRefinement (AFP)
15:54:51 Session AFP/FocusStreamsCaseStudies (AFP)
15:54:51 Session AFP/Free-Boolean-Algebra (AFP)
15:54:51 Session AFP/FunWithFunctions (AFP)
15:54:51 Session AFP/FunWithTilings (AFP)
15:54:51 Session AFP/GPU_Kernel_PL (AFP)
15:54:51 Session AFP/Gauss-Jordan-Elim-Fun (AFP)
15:54:51 Session AFP/GenClock (AFP)
15:54:51 Session AFP/General-Triangle (AFP)
15:54:51 Session AFP/GoedelGod (AFP)
15:54:51 Session HOL/HOL-Eisbach
15:54:51 Session AFP/Allen_Calculus (AFP)
15:54:51 Session AFP/Dependent_SIFUM_Type_Systems (AFP)
15:54:51 Session AFP/Dependent_SIFUM_Refinement (AFP)
15:54:51 Session HOL/HOL-Hoare
15:54:51 Session AFP/Case_Labeling (AFP)
15:54:51 Session HOL/HOL-Lattice
15:54:51 Session HOL/HOL-Library (main timing)
15:54:52 Session AFP/ArrowImpossibilityGS (AFP)
15:54:52 Session AFP/Binomial-Heaps (AFP)
15:54:52 Session AFP/Boolean_Expression_Checkers (AFP)
15:54:52 Session AFP/Buildings (AFP)
15:54:52 Session AFP/CRDT (AFP)
15:54:52 Session AFP/Card_Multisets (AFP)
15:54:52 Session AFP/Card_Number_Partitions (AFP)
15:54:52 Session AFP/Category (AFP)
15:54:52 Session AFP/Category3 (AFP)
15:54:52 Session AFP/MonoidalCategory (AFP)
15:54:52 Session AFP/CofGroups (AFP)
15:54:52 Session AFP/Completeness (AFP)
15:54:53 Session AFP/ConcurrentIMP (AFP)
15:54:53 Session AFP/Concurrent_Ref_Alg (AFP)
15:54:53 Session AFP/CoreC++ (AFP)
15:54:53 Session AFP/Decl_Sem_Fun_PL (AFP)
15:54:53 Session AFP/Derangements (AFP)
15:54:53 Session AFP/Discrete_Summation (AFP)
15:54:53 Session AFP/Card_Partitions (AFP)
15:54:53 Session AFP/Bell_Numbers_Spivey (AFP)
15:54:53 Session AFP/Card_Equiv_Relations (AFP)
15:54:53 Session AFP/Efficient-Mergesort (AFP)
15:54:54 Session AFP/Encodability_Process_Calculi (AFP)
15:54:54 Session AFP/Euler_Partition (AFP)
15:54:54 Session AFP/FOL-Fitting (AFP)
15:54:54 Session AFP/FOL_Harrison (AFP)
15:54:54 Session AFP/FinFun (AFP)
15:54:54 Session AFP/Finger-Trees (AFP)
15:54:54 Session AFP/Graph_Theory (AFP)
15:54:54 Session AFP/ShortestPath (AFP)
15:54:54 Session AFP/Group-Ring-Module (AFP)
15:54:54 Session AFP/Valuation (AFP)
15:54:54 Session HOL/HOL-Cardinals (timing)
15:54:54 Session AFP/Ordinals_and_Cardinals (AFP)
15:54:55 Session AFP/Sort_Encodings (AFP)
15:54:55 Session HOL/HOL-Computational_Algebra (timing)
15:54:55 Session AFP/Descartes_Sign_Rule (AFP)
15:54:55 Session HOL/HOL-Algebra (main timing)
15:54:55 Session HOL/HOL-Decision_Procs (timing)
15:54:55 Session AFP/JNF-HOL-Lib (AFP)
15:54:55 Session AFP/Orbit_Stabiliser (AFP)
15:54:55 Session AFP/Perfect-Number-Thm (AFP)
15:54:55 Session AFP/Secondary_Sylow (AFP)
15:54:56 Session AFP/Jordan_Hoelder (AFP)
15:54:56 Session AFP/VectorSpace (AFP)
15:54:56 Session HOL/HOL-Analysis (main timing)
15:54:56 Session AFP/Bernoulli (AFP)
15:54:56 Session AFP/Cartan_FP (AFP)
15:54:56 Session AFP/Cayley_Hamilton (AFP)
15:54:56 Session AFP/Coinductive (AFP)
15:54:57 Session AFP/DynamicArchitectures (AFP)
15:54:57 Session AFP/Lazy-Lists-II (AFP)
15:54:57 Session AFP/Stream_Fusion_Code (AFP)
15:54:57 Session AFP/Topology (AFP)
15:54:57 Session AFP/First_Welfare_Theorem (AFP)
15:54:57 Session HOL/HOL-Probability (main timing)
15:54:57 Session AFP/Buffons_Needle (AFP)
15:54:57 Session AFP/Density_Compiler (AFP)
15:54:57 Session AFP/Ergodic_Theory (AFP)
15:54:57 Session AFP/Fisher_Yates (AFP)
15:54:57 Session AFP/Girth_Chromatic (AFP)
15:54:58 Session AFP/Random_Graph_Subgraph_Threshold (AFP)
15:54:58 Session AFP/Lp (AFP)
15:54:58 Session AFP/Markov_Models (AFP)
15:54:58 Session AFP/Monad_Normalisation (AFP)
15:54:58 Session AFP/Monomorphic_Monad (AFP)
15:54:58 Session AFP/Probabilistic_Noninterference (AFP)
15:54:58 Session AFP/Probabilistic_System_Zoo (AFP)
15:54:58 Session AFP/Probabilistic_System_Zoo-Non_BNFs (AFP)
15:54:58 Session AFP/Source_Coding_Theorem (AFP)
15:54:58 Session AFP/Kuratowski_Closure_Complement (AFP)
15:54:58 Session AFP/Lower_Semicontinuous (AFP)
15:54:58 Session AFP/Minkowskis_Theorem (AFP)
15:54:58 Session AFP/Probabilistic_System_Zoo-BNFs (AFP)
15:54:59 Session AFP/Ptolemys_Theorem (AFP)
15:54:59 Session AFP/Rank_Nullity_Theorem (AFP)
15:54:59 Session AFP/Gauss_Jordan (AFP)
15:54:59 Session AFP/Echelon_Form (AFP)
15:54:59 Session AFP/Hermite (AFP)
15:54:59 Session AFP/Tarskis_Geometry (AFP)
15:54:59 Session AFP/Triangle (AFP)
15:54:59 Session AFP/Chord_Segments (AFP)
15:54:59 Session AFP/Stewart_Apollonius (AFP)
15:54:59 Session AFP/pGCL (AFP)
15:54:59 Session HOL/HOL-Nonstandard_Analysis (timing)
15:55:00 Session HOL/HOL-Number_Theory (timing)
15:55:00 Session AFP/E_Transcendental (AFP)
15:55:00 Session AFP/Elliptic_Curves_Group_Law (AFP)
15:55:00 Session AFP/Fermat3_4 (AFP)
15:55:00 Session HOL/HOL-Data_Structures (timing)
15:55:00 Session HOL/HOL-ex (timing)
15:55:01 Session AFP/Automatic_Refinement (AFP)
15:55:01 Session AFP/Lehmer (AFP)
15:55:01 Session AFP/Pratt_Certificate (AFP)
15:55:01 Session AFP/Prime_Harmonic_Series (AFP)
15:55:01 Session AFP/RSAPSS (AFP)
15:55:01 Session AFP/SumSquares (AFP)
15:55:01 Session AFP/Liouville_Numbers (AFP)
15:55:01 Session AFP/Polynomial_Interpolation (AFP)
15:55:01 Session AFP/Rep_Fin_Groups (AFP)
15:55:01 Session AFP/Sturm_Sequences (AFP)
15:55:01 Session AFP/Special_Function_Bounds (AFP)
15:55:02 Session AFP/Sturm_Tarski (AFP)
15:55:02 Session AFP/Winding_Number_Eval (AFP)
15:55:02 Session AFP/Count_Complex_Roots (AFP)
15:55:02 Session HOL/HOL-IMP (timing)
15:55:02 Session AFP/Abs_Int_ITP2012 (AFP)
15:55:02 Session HOL/HOL-Imperative_HOL (timing)
15:55:02 Session AFP/Imperative_Insertion_Sort (AFP)
15:55:02 Session HOL/HOL-Nominal
15:55:02 Session AFP/CCS (AFP)
15:55:02 Session AFP/Lam-ml-Normalization (AFP)
15:55:02 Session AFP/Pi_Calculus (AFP)
15:55:02 Session AFP/Psi_Calculi (AFP)
15:55:03 Session AFP/SequentInvertibility (AFP)
15:55:03 Session HOL/HOL-ZF
15:55:03 Session AFP/Category2 (AFP)
15:55:03 Session AFP/HereditarilyFinite (AFP)
15:55:03 Session AFP/HyperCTL (AFP)
15:55:03 Session AFP/IEEE_Floating_Point (AFP)
15:55:03 Session AFP/Integration (AFP)
15:55:03 Session AFP/Isabelle_Meta_Model (AFP)
15:55:03 Session Doc/Isar_Ref (doc)
15:55:03 Session AFP/LTL (AFP)
15:55:03 Session AFP/Stuttering_Equivalence (AFP)
15:55:03 Session AFP/Lambda_Free_RPOs (AFP)
15:55:03 Session AFP/Landau_Symbols (AFP)
15:55:03 Session AFP/Landau_Analysis (AFP)
15:55:04 Session AFP/Catalan_Numbers (AFP)
15:55:04 Session AFP/Euler_MacLaurin (AFP)
15:55:04 Session AFP/Stirling_Formula (AFP)
15:55:04 Session AFP/LightweightJava (AFP)
15:55:04 Session AFP/LinearQuantifierElim (AFP)
15:55:04 Session AFP/List-Infinite (AFP)
15:55:04 Session AFP/Nat-Interval-Logic (AFP)
15:55:04 Session AFP/AutoFocus-Stream (AFP)
15:55:04 Session AFP/MuchAdoAboutTwo (AFP)
15:55:04 Session AFP/Optics (AFP)
15:55:04 Session AFP/POPLmark-deBruijn (AFP)
15:55:04 Session AFP/Pairing_Heap (AFP)
15:55:04 Session AFP/Password_Authentication_Protocol (AFP)
15:55:04 Session AFP/Presburger-Automata (AFP)
15:55:04 Session AFP/Priority_Queue_Braun (AFP)
15:55:04 Session AFP/Program-Conflict-Analysis (AFP)
15:55:05 Session AFP/Regular-Sets (AFP)
15:55:05 Session AFP/Abstract-Rewriting (AFP)
15:55:05 Session AFP/Decreasing-Diagrams (AFP)
15:55:05 Session AFP/Matrix (AFP)
15:55:05 Session AFP/Matrix_Tensor (AFP)
15:55:05 Session AFP/Knot_Theory (AFP)
15:55:05 Session AFP/Coinductive_Languages (AFP)
15:55:05 Session AFP/Finite_Automata_HF (AFP)
15:55:05 Session AFP/Functional-Automata (AFP)
15:55:05 Session AFP/Posix-Lexing (AFP)
15:55:05 Session AFP/Ribbon_Proofs (AFP)
15:55:05 Session AFP/SATSolverVerification (AFP)
15:55:05 Session AFP/Selection_Heap_Sort (AFP)
15:55:05 Session AFP/Skew_Heap (AFP)
15:55:05 Session AFP/Splay_Tree (AFP)
15:55:06 Session AFP/Amortized_Complexity (AFP)
15:55:06 Session AFP/Dynamic_Tables (AFP)
15:55:06 Session AFP/Root_Balanced_Tree (AFP)
15:55:06 Session AFP/Stable_Matching (AFP)
15:55:06 Session AFP/SuperCalc (AFP)
15:55:06 Session AFP/Tail_Recursive_Functions (AFP)
15:55:06 Session AFP/TortoiseHare (AFP)
15:55:06 Session AFP/Trie (AFP)
15:55:06 Session AFP/Twelvefold_Way (AFP)
15:55:06 Session AFP/Vickrey_Clarke_Groves (AFP)
15:55:06 Session HOL/HOL-Statespace
15:55:06 Session HOL/HOL-Types_To_Sets
15:55:07 Session HOL/HOL-Word (main timing)
15:55:07 Session HOL/HOL-SPARK (main)
15:55:07 Session HOL/HOL-SPARK-Examples
15:55:07 Session AFP/RIPEMD-160-SPARK (AFP)
15:55:07 Session AFP/Kleene_Algebra (AFP)
15:55:07 Session AFP/KAT_and_DRA (AFP)
15:55:07 Session AFP/Multirelations (AFP)
15:55:07 Session AFP/Regular_Algebras (AFP)
15:55:07 Session AFP/Relation_Algebra (AFP)
15:55:07 Session AFP/Residuated_Lattices (AFP)
15:55:07 Session AFP/Native_Word (AFP)
15:55:07 Session AFP/Refine_Monadic (AFP)
15:55:08 Session AFP/Collections (AFP)
15:55:08 Session AFP/Abstract_Completeness (AFP)
15:55:08 Session AFP/Abstract_Soundness (AFP)
15:55:08 Session AFP/Incredible_Proof_Machine (AFP)
15:55:08 Session AFP/Collections_Examples (AFP)
15:55:09 Session AFP/Deriving (AFP)
15:55:09 Session AFP/CAVA_Base (AFP)
15:55:09 Session AFP/CAVA_Automata (AFP)
15:55:09 Session AFP/DFS_Framework (AFP)
15:55:09 Session AFP/Gabow_SCC (AFP)
15:55:10 Session AFP/LTL_to_GBA (AFP)
15:55:10 Session AFP/CAVA_buildchain1 (AFP)
15:55:10 Session AFP/Promela (AFP)
15:55:10 Session AFP/CAVA_buildchain3 (AFP)
15:55:10 Session AFP/CAVA_LTL_Modelchecker (AFP)
15:55:10 Session AFP/Containers (AFP)
15:55:11 Session AFP/Containers-Benchmarks (AFP)
15:55:11 Session AFP/Datatype_Order_Generator (AFP)
15:55:11 Session AFP/Old_Datatype_Show (AFP)
15:55:11 Session AFP/Show (AFP)
15:55:12 Session AFP/JNF-AFP-Lib (AFP)
15:55:12 Session AFP/Real_Impl (AFP)
15:55:12 Session AFP/QR_Decomposition (AFP)
15:55:12 Session AFP/Dijkstra_Shortest_Path (AFP)
15:55:13 Session AFP/Koenigsberg_Friendship (AFP)
15:55:13 Session AFP/Transition_Systems_and_Automata (AFP)
15:55:13 Session AFP/Buchi_Complementation (AFP)
15:55:13 Session AFP/Transitive-Closure (AFP)
15:55:13 Session AFP/KBPs (AFP)
15:55:13 Session AFP/Tree-Automata (AFP)
15:55:13 Session AFP/SPARCv8 (AFP)
15:55:13 Session AFP/Separation_Algebra (AFP)
15:55:14 Session AFP/Separata (AFP)
15:55:14 Session AFP/Separation_Logic_Imperative_HOL (AFP)
15:55:14 Session AFP/Sepref_Prereq (AFP)
15:55:14 Session AFP/ROBDD (AFP)
15:55:15 Session AFP/UpDown_Scheme (AFP)
15:55:15 Session AFP/Word_Lib (AFP)
15:55:15 Session AFP/Complx (AFP)
15:55:15 Session AFP/IP_Addresses (AFP)
15:55:15 Session AFP/Simple_Firewall (AFP)
15:55:15 Session AFP/Routing (AFP)
15:55:15 Session AFP/Iptables_Semantics (AFP)
15:55:15 Session AFP/Iptables_Semantics_Examples (AFP)
15:55:16 Session AFP/LOFT (AFP)
15:55:16 Session HOL/HOLCF (main timing)
15:55:16 Session AFP/Circus (AFP)
15:55:16 Session HOL/HOLCF-Library
15:55:16 Session AFP/PCF (AFP)
15:55:16 Session AFP/HOLCF-Prelude (AFP)
15:55:16 Session AFP/Shivers-CFA (AFP)
15:55:16 Session AFP/Stream-Fusion (AFP)
15:55:16 Session AFP/Tycon (AFP)
15:55:16 Session AFP/WorkerWrapper (AFP)
15:55:16 Session AFP/Heard_Of (AFP)
15:55:17 Session AFP/Consensus_Refined (AFP)
15:55:17 Session AFP/HotelKeyCards (AFP)
15:55:17 Session AFP/Huffman (AFP)
15:55:17 Session AFP/Impossible_Geometry (AFP)
15:55:17 Session AFP/Inductive_Confidentiality (AFP)
15:55:17 Session AFP/InfPathElimination (AFP)
15:55:17 Session AFP/JiveDataStoreModel (AFP)
15:55:17 Session AFP/KAD (AFP)
15:55:17 Session AFP/Algebraic_VCs (AFP)
15:55:17 Session AFP/Key_Agreement_Strong_Adversaries (AFP)
15:55:17 Session AFP/LambdaMu (AFP)
15:55:17 Session AFP/LatticeProperties (AFP)
15:55:17 Session AFP/DataRefinementIBP (AFP)
15:55:17 Session AFP/GraphMarkingIBP (AFP)
15:55:17 Session AFP/Lazy_Case (AFP)
15:55:17 Session AFP/Dict_Construction (AFP)
15:55:17 Session AFP/Lifting_Definition_Option (AFP)
15:55:17 Session AFP/List-Index (AFP)
15:55:17 Session AFP/Affine_Arithmetic (AFP)
15:55:18 Session AFP/Comparison_Sort_Lower_Bound (AFP)
15:55:18 Session AFP/Formula_Derivatives (AFP)
15:55:18 Session AFP/Formula_Derivatives-Examples (AFP)
15:55:18 Session AFP/Jinja (AFP)
15:55:18 Session AFP/HRB-Slicing (AFP)
15:55:18 Session AFP/InformationFlowSlicing_Inter (AFP)
15:55:18 Session AFP/Slicing (AFP)
15:55:19 Session AFP/Formal_SSA (AFP)
15:55:19 Session AFP/Minimal_SSA (AFP)
15:55:19 Session AFP/InformationFlowSlicing (AFP)
15:55:19 Session AFP/LTL_to_DRA (AFP)
15:55:19 Session AFP/List_Update (AFP)
15:55:19 Session AFP/Ordinary_Differential_Equations (AFP)
15:55:20 Session AFP/Akra_Bazzi (AFP)
15:55:20 Session AFP/Bertrands_Postulate (AFP)
15:55:20 Session AFP/HOL-ODE (AFP)
15:55:20 Session AFP/Differential_Dynamic_Logic (AFP)
15:55:21 Session AFP/HOL-ODE-Refinement (AFP)
15:55:21 Session AFP/HOL-ODE-Numerics (AFP)
15:55:22 Session AFP/Lorenz_Approximation (AFP)
15:55:22 Session AFP/Lorenz_C1 (AFP)
15:55:22 Session AFP/Quick_Sort_Cost (AFP)
15:55:22 Session AFP/Random_BSTs (AFP)
15:55:22 Session AFP/Randomised_Social_Choice (AFP)
15:55:22 Session AFP/SDS_Impossibility (AFP)
15:55:22 Session AFP/Refine_Imperative_HOL (AFP)
15:55:23 Session AFP/Floyd_Warshall (AFP)
15:55:23 Session AFP/Sepref_Basic (AFP)
15:55:23 Session AFP/Sepref_IICF (AFP)
15:55:23 Session AFP/Maxflow_Lib (AFP)
15:55:24 Session AFP/Flow_Networks (AFP)
15:55:24 Session AFP/EdmondsKarp_Maxflow (AFP)
15:55:24 Session AFP/MFMC_Countable (AFP)
15:55:24 Session AFP/Prpu_Maxflow (AFP)
15:55:24 Session AFP/List_Interleaving (AFP)
15:55:24 Session AFP/LocalLexing (AFP)
15:55:24 Session AFP/Lowe_Ontological_Argument (AFP)
15:55:24 Session AFP/MSO_Regex_Equivalence (AFP)
15:55:25 Session AFP/MSO_Examples (AFP)
15:55:25 Session AFP/Marriage (AFP)
15:55:25 Session AFP/Latin_Square (AFP)
15:55:25 Session AFP/Max-Card-Matching (AFP)
15:55:25 Session AFP/Menger (AFP)
15:55:25 Session AFP/MiniML (AFP)
15:55:25 Session AFP/MonoBoolTranAlgebra (AFP)
15:55:25 Session AFP/Name_Carrying_Type_Inference (AFP)
15:55:25 Session AFP/Network_Security_Policy_Verification (AFP)
15:55:26 Session AFP/No_FTL_observers (AFP)
15:55:26 Session AFP/Nominal2 (AFP)
15:55:26 Session AFP/Incompleteness (AFP)
15:55:26 Session AFP/Surprise_Paradox (AFP)
15:55:26 Session AFP/Launchbury (AFP)
15:55:27 Session AFP/Call_Arity (AFP)
15:55:27 Session AFP/Modal_Logics_for_NTS (AFP)
15:55:27 Session AFP/Rewriting_Z (AFP)
15:55:27 Session AFP/Noninterference_CSP (AFP)
15:55:27 Session AFP/Noninterference_Ipurge_Unwinding (AFP)
15:55:27 Session AFP/Noninterference_Generic_Unwinding (AFP)
15:55:27 Session AFP/Noninterference_Inductive_Unwinding (AFP)
15:55:27 Session AFP/Noninterference_Sequential_Composition (AFP)
15:55:27 Session AFP/Noninterference_Concurrent_Composition (AFP)
15:55:27 Session AFP/NormByEval (AFP)
15:55:27 Session AFP/Open_Induction (AFP)
15:55:27 Session AFP/Well_Quasi_Orders (AFP)
15:55:27 Session AFP/Decreasing-Diagrams-II (AFP)
15:55:27 Session AFP/Myhill-Nerode (AFP)
15:55:28 Session AFP/Ordinal (AFP)
15:55:28 Session AFP/Nested_Multisets_Ordinals (AFP)
15:55:28 Session AFP/PLM (AFP)
15:55:28 Session AFP/PSemigroupsConvolution (AFP)
15:55:28 Session AFP/Paraconsistency (AFP)
15:55:28 Session AFP/Parity_Game (AFP)
15:55:28 Session AFP/Partial_Function_MR (AFP)
15:55:28 Session AFP/Certification_Monads (AFP)
15:55:29 Session AFP/XML (AFP)
15:55:29 Session AFP/Pre_Polynomial_Factorization (AFP)
15:55:29 Session AFP/Polynomial_Factorization (AFP)
15:55:29 Session AFP/Dirichlet_Series (AFP)
15:55:30 Session AFP/Zeta_Function (AFP)
15:55:30 Session AFP/Jordan_Normal_Form (AFP)
15:55:30 Session AFP/Deep_Learning_Lib (AFP)
15:55:30 Session AFP/Deep_Learning (AFP)
15:55:31 Session AFP/Polynomials (AFP)
15:55:31 Session AFP/Groebner_Bases (AFP)
15:55:31 Session AFP/Lambda_Free_KBOs (AFP)
15:55:31 Session AFP/Subresultants (AFP)
15:55:31 Session AFP/Pre_BZ (AFP)
15:55:32 Session AFP/Berlekamp_Zassenhaus (AFP)
15:55:32 Session AFP/Pre_Algebraic_Numbers (AFP)
15:55:32 Session AFP/Algebraic_Numbers (AFP)
15:55:33 Session AFP/Algebraic_Numbers_Lib (AFP)
15:55:33 Session AFP/Linear_Recurrences (AFP)
15:55:33 Session AFP/Linear_Recurrences_Test (AFP)
15:55:33 Session AFP/Pre_Perron_Frobenius (AFP)
15:55:34 Session AFP/Perron_Frobenius (AFP)
15:55:34 Session AFP/Probabilistic_While (AFP)
15:55:34 Session AFP/Pop_Refinement (AFP)
15:55:34 Session AFP/Possibilistic_Noninterference (AFP)
15:55:34 Session AFP/Proof_Strategy_Language (AFP)
15:55:34 Session AFP/PropResPI (AFP)
15:55:34 Session AFP/Propositional_Proof_Systems (AFP)
15:55:34 Session AFP/PseudoHoops (AFP)
15:55:34 Session AFP/Ramsey-Infinite (AFP)
15:55:34 Session AFP/Recursion-Theory-I (AFP)
15:55:35 Session AFP/RefinementReactive (AFP)
15:55:35 Session AFP/Regex_Equivalence (AFP)
15:55:35 Session AFP/Resolution_FOL (AFP)
15:55:35 Session AFP/Robbins-Conjecture (AFP)
15:55:35 Session AFP/Roy_Floyd_Warshall (AFP)
15:55:35 Session AFP/SIFPL (AFP)
15:55:35 Session AFP/SIFUM_Type_Systems (AFP)
15:55:35 Session AFP/Security_Protocol_Refinement (AFP)
15:55:35 Session AFP/SenSocialChoice (AFP)
15:55:35 Session AFP/Simpl (AFP)
15:55:36 Session AFP/BDD (AFP)
15:55:36 Session AFP/Planarity_Certificates (AFP)
15:55:36 Session AFP/Statecharts (AFP)
15:55:36 Session AFP/Stone_Algebras (AFP)
15:55:36 Session AFP/Stone_Relation_Algebras (AFP)
15:55:36 Session AFP/Stone_Kleene_Relation_Algebras (AFP)
15:55:36 Session AFP/Strong_Security (AFP)
15:55:36 Session AFP/TLA (AFP)
15:55:36 Session AFP/Timed_Automata (AFP)
15:55:36 Session AFP/Transitive-Closure-II (AFP)
15:55:36 Session AFP/Tree_Decomposition (AFP)
15:55:36 Session AFP/Types_Tableaus_and_Goedels_God (AFP)
15:55:36 Session AFP/UPF (AFP)
15:55:36 Session AFP/UPF_Firewall (AFP)
15:55:36 Session AFP/Verified-Prover (AFP)
15:55:37 Session AFP/VolpanoSmith (AFP)
15:55:37 Session AFP/WHATandWHERE_Security (AFP)
15:55:37 Session HOL/HOL-Proofs (timing)
15:55:37 Session HOL/HOL-Proofs-Lambda (timing)
15:55:37 Session AFP/Applicative_Lifting (AFP)
15:55:37 Session AFP/CryptHOL (AFP)
15:55:38 Session AFP/Game_Based_Crypto (AFP)
15:55:38 Session AFP/Free-Groups (AFP)
15:55:38 Session AFP/Locally-Nameless-Sigma (AFP)
15:55:38 Session AFP/Stern_Brocot (AFP)
15:55:38 Session Unsorted/Spec_Check
15:55:38 Session AFP/Regex_Equivalence_Examples (AFP)
15:55:49 Building HOL ...
15:55:51 Fail "Saved state was exported from a different executable or the executable has changed": Pure
15:55:51 HOL FAILED
15:55:51 (see also /media/data/jenkins/workspace/isabelle-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/HOL)
15:55:51 HOL-Library CANCELLED
15:55:51 HOL-Analysis CANCELLED
15:55:51 HOL-Probability CANCELLED
15:55:51 HOL-Computational_Algebra CANCELLED
15:55:51 HOL-Number_Theory CANCELLED
15:55:51 HOLCF CANCELLED
15:55:51 HOL-Algebra CANCELLED
15:55:51 HOL-Word CANCELLED
15:55:51 HOL-Nominal CANCELLED
15:55:51 Coinductive CANCELLED
15:55:51 Kleene_Algebra CANCELLED
15:55:51 Abstract-Rewriting CANCELLED
15:55:51 Landau_Analysis CANCELLED
15:55:51 Jinja CANCELLED
15:55:51 Simpl CANCELLED
15:55:51 Word_Lib CANCELLED
15:55:51 Deriving CANCELLED
15:55:51 Nominal2 CANCELLED
15:55:51 LTL CANCELLED
15:55:51 HOL-Cardinals CANCELLED
15:55:51 Category3 CANCELLED
15:55:51 MSO_Regex_Equivalence CANCELLED
15:55:51 Slicing CANCELLED
15:55:51 HRB-Slicing CANCELLED
15:55:51 Formula_Derivatives CANCELLED
15:55:51 Echelon_Form CANCELLED
15:55:51 IP_Addresses CANCELLED
15:55:51 Group-Ring-Module CANCELLED
15:55:51 Ordinary_Differential_Equations CANCELLED
15:55:51 HOL-ODE CANCELLED
15:55:51 HOL-ODE-Refinement CANCELLED
15:55:51 HOL-ODE-Numerics CANCELLED
15:55:51 Lorenz_Approximation CANCELLED
15:55:51 Datatype_Order_Generator CANCELLED
15:55:51 Deep_Learning_Lib CANCELLED
15:55:51 Dependent_SIFUM_Type_Systems CANCELLED
15:55:51 Containers CANCELLED
15:55:51 Amortized_Complexity CANCELLED
15:55:51 Launchbury CANCELLED
15:55:51 Polynomials CANCELLED
15:55:51 HOL-Imperative_HOL CANCELLED
15:55:51 Regex_Equivalence CANCELLED
15:55:51 Girth_Chromatic CANCELLED
15:55:51 Stone_Algebras CANCELLED
15:55:51 Stone_Relation_Algebras CANCELLED
15:55:51 Graph_Theory CANCELLED
15:55:51 Regular-Sets CANCELLED
15:55:51 Automatic_Refinement CANCELLED
15:55:51 Refine_Monadic CANCELLED
15:55:51 Collections CANCELLED
15:55:51 Sepref_Prereq CANCELLED
15:55:51 Formal_SSA CANCELLED
15:55:51 Refine_Imperative_HOL CANCELLED
15:55:51 Transition_Systems_and_Automata CANCELLED
15:55:51 Matrix CANCELLED
15:55:51 Probabilistic_While CANCELLED
15:55:51 CryptHOL CANCELLED
15:55:51 KAT_and_DRA CANCELLED
15:55:51 Matrix_Tensor CANCELLED
15:55:51 Sturm_Sequences CANCELLED
15:55:51 Simple_Firewall CANCELLED
15:55:51 Applicative_Lifting CANCELLED
15:55:51 UPF CANCELLED
15:55:51 Relation_Algebra CANCELLED
15:55:51 List-Infinite CANCELLED
15:55:51 Nat-Interval-Logic CANCELLED
15:55:51 Sepref_Basic CANCELLED
15:55:51 Sepref_IICF CANCELLED
15:55:51 Maxflow_Lib CANCELLED
15:55:51 Flow_Networks CANCELLED
15:55:51 Randomised_Social_Choice CANCELLED
15:55:51 Quick_Sort_Cost CANCELLED
15:55:51 Noninterference_Sequential_Composition CANCELLED
15:55:51 Stirling_Formula CANCELLED
15:55:51 Bell_Numbers_Spivey CANCELLED
15:55:51 Euler_MacLaurin CANCELLED
15:55:51 Dirichlet_Series CANCELLED
15:55:51 HereditarilyFinite CANCELLED
15:55:51 Incompleteness CANCELLED
15:55:51 HOLCF-Library CANCELLED
15:55:51 Routing CANCELLED
15:55:51 Iptables_Semantics CANCELLED
15:55:51 CAVA_Base CANCELLED
15:55:51 CAVA_Automata CANCELLED
15:55:51 LTL_to_GBA CANCELLED
15:55:51 CAVA_buildchain1 CANCELLED
15:55:51 CAVA_buildchain3 CANCELLED
15:55:51 Abstract_Completeness CANCELLED
15:55:51 Noninterference_CSP CANCELLED
15:55:51 Noninterference_Ipurge_Unwinding CANCELLED
15:55:51 HOL-Eisbach CANCELLED
15:55:51 Ordinal CANCELLED
15:55:51 Nested_Multisets_Ordinals CANCELLED
15:55:51 Cauchy CANCELLED
15:55:51 Sqrt_Babylonian CANCELLED
15:55:51 HOL-SPARK CANCELLED
15:55:51 HOL-SPARK-Examples CANCELLED
15:55:51 JNF-HOL-Lib CANCELLED
15:55:51 JNF-AFP-Lib CANCELLED
15:55:51 Jordan_Normal_Form CANCELLED
15:55:51 Subresultants CANCELLED
15:55:51 Pre_BZ CANCELLED
15:55:51 Berlekamp_Zassenhaus CANCELLED
15:55:51 Pre_Algebraic_Numbers CANCELLED
15:55:51 Algebraic_Numbers_Lib CANCELLED
15:55:51 Pre_Perron_Frobenius CANCELLED
15:55:51 Pre_Polynomial_Factorization CANCELLED
15:55:51 Linear_Recurrences CANCELLED
15:55:51 MonoidalCategory CANCELLED
15:55:51 Iptables_Semantics_Examples CANCELLED
15:55:51 Affine_Arithmetic CANCELLED
15:55:51 Psi_Calculi CANCELLED
15:55:51 Security_Protocol_Refinement CANCELLED
15:55:51 Key_Agreement_Strong_Adversaries CANCELLED
15:55:51 Algebraic_Numbers CANCELLED
15:55:51 Network_Security_Policy_Verification CANCELLED
15:55:51 Complx CANCELLED
15:55:51 SPARCv8 CANCELLED
15:55:51 DFS_Framework CANCELLED
15:55:51 Differential_Dynamic_Logic CANCELLED
15:55:51 Native_Word CANCELLED
15:55:51 CAVA_LTL_Modelchecker CANCELLED
15:55:51 QR_Decomposition CANCELLED
15:55:51 Algebraic_VCs CANCELLED
15:55:51 No_FTL_observers CANCELLED
15:55:51 Modal_Logics_for_NTS CANCELLED
15:55:51 CoreC++ CANCELLED
15:55:51 Linear_Recurrences_Test CANCELLED
15:55:51 Containers-Benchmarks CANCELLED
15:55:51 Allen_Calculus CANCELLED
15:55:51 Stable_Matching CANCELLED
15:55:51 Timed_Automata CANCELLED
15:55:51 LOFT CANCELLED
15:55:51 Dependent_SIFUM_Refinement CANCELLED
15:55:51 KAD CANCELLED
15:55:51 Promela CANCELLED
15:55:51 Paraconsistency CANCELLED
15:55:51 KBPs CANCELLED
15:55:51 Planarity_Certificates CANCELLED
15:55:51 LTL_to_DRA CANCELLED
15:55:51 Isabelle_Meta_Model CANCELLED
15:55:51 Prpu_Maxflow CANCELLED
15:55:51 Featherweight_OCL CANCELLED
15:55:51 InfPathElimination CANCELLED
15:55:51 Gabow_SCC CANCELLED
15:55:51 E_Transcendental CANCELLED
15:55:51 Buildings CANCELLED
15:55:51 List_Update CANCELLED
15:55:51 Probabilistic_Noninterference CANCELLED
15:55:51 Prime_Harmonic_Series CANCELLED
15:55:51 Gauss_Jordan CANCELLED
15:55:51 Markov_Models CANCELLED
15:55:51 Separation_Logic_Imperative_HOL CANCELLED
15:55:51 UPF_Firewall CANCELLED
15:55:51 PseudoHoops CANCELLED
15:55:51 Parity_Game CANCELLED
15:55:51 Propositional_Proof_Systems CANCELLED
15:55:51 Count_Complex_Roots CANCELLED
15:55:51 Vickrey_Clarke_Groves CANCELLED
15:55:51 Encodability_Process_Calculi CANCELLED
15:55:51 Password_Authentication_Protocol CANCELLED
15:55:51 Rep_Fin_Groups CANCELLED
15:55:51 Multirelations CANCELLED
15:55:51 Consensus_Refined CANCELLED
15:55:51 Free-Groups CANCELLED
15:55:51 Twelvefold_Way CANCELLED
15:55:51 Density_Compiler CANCELLED
15:55:51 Deep_Learning CANCELLED
15:55:51 LinearQuantifierElim CANCELLED
15:55:51 Collections_Examples CANCELLED
15:55:51 Regular_Algebras CANCELLED
15:55:51 LocalLexing CANCELLED
15:55:51 MFMC_Countable CANCELLED
15:55:51 AWN CANCELLED
15:55:51 Root_Balanced_Tree CANCELLED
15:55:51 SATSolverVerification CANCELLED
15:55:51 BytecodeLogicJmlTypes CANCELLED
15:55:51 Ergodic_Theory CANCELLED
15:55:51 Hermite CANCELLED
15:55:51 Bertrands_Postulate CANCELLED
15:55:51 Abs_Int_ITP2012 CANCELLED
15:55:51 Winding_Number_Eval CANCELLED
15:55:51 Proof_Strategy_Language CANCELLED
15:55:51 Stone_Kleene_Relation_Algebras CANCELLED
15:55:51 Call_Arity CANCELLED
15:55:51 Pi_Calculus CANCELLED
15:55:51 Akra_Bazzi CANCELLED
15:55:51 Lambda_Free_KBOs CANCELLED
15:55:51 Splay_Tree CANCELLED
15:55:51 Knot_Theory CANCELLED
15:55:51 ComponentDependencies CANCELLED
15:55:51 Elliptic_Curves_Group_Law CANCELLED
15:55:51 MSO_Examples CANCELLED
15:55:51 EdmondsKarp_Maxflow CANCELLED
15:55:51 BDD CANCELLED
15:55:51 Statecharts CANCELLED
15:55:51 Real_Impl CANCELLED
15:55:51 Dijkstra_Shortest_Path CANCELLED
15:55:51 Sort_Encodings CANCELLED
15:55:51 SIFUM_Type_Systems CANCELLED
15:55:51 Valuation CANCELLED
15:55:51 Formula_Derivatives-Examples CANCELLED
15:55:51 SDS_Impossibility CANCELLED
15:55:51 Koenigsberg_Friendship CANCELLED
15:55:51 Abortable_Linearizable_Modules CANCELLED
15:55:51 PCF CANCELLED
15:55:51 AutoFocus-Stream CANCELLED
15:55:51 SequentInvertibility CANCELLED
15:55:51 Tarskis_Geometry CANCELLED
15:55:51 Probabilistic_System_Zoo-BNFs CANCELLED
15:55:51 SIFPL CANCELLED
15:55:51 Circus CANCELLED
15:55:51 DiskPaxos CANCELLED
15:55:51 LightweightJava CANCELLED
15:55:51 VectorSpace CANCELLED
15:55:51 UpDown_Scheme CANCELLED
15:55:51 Probabilistic_System_Zoo CANCELLED
15:55:51 Polynomial_Factorization CANCELLED
15:55:51 Incredible_Proof_Machine CANCELLED
15:55:51 Perron_Frobenius CANCELLED
15:55:51 Probabilistic_System_Zoo-Non_BNFs CANCELLED
15:55:51 Dict_Construction CANCELLED
15:55:51 SuperCalc CANCELLED
15:55:51 Possibilistic_Noninterference CANCELLED
15:55:51 Decl_Sem_Fun_PL CANCELLED
15:55:51 HOLCF-Prelude CANCELLED
15:55:51 Special_Function_Bounds CANCELLED
15:55:51 Locally-Nameless-Sigma CANCELLED
15:55:51 Stern_Brocot CANCELLED
15:55:51 Heard_Of CANCELLED
15:55:51 WHATandWHERE_Security CANCELLED
15:55:51 Groebner_Bases CANCELLED
15:55:51 Myhill-Nerode CANCELLED
15:55:51 Lp CANCELLED
15:55:51 Game_Based_Crypto CANCELLED
15:55:51 pGCL CANCELLED
15:55:51 Tree-Automata CANCELLED
15:55:51 Presburger-Automata CANCELLED
15:55:51 ROBDD CANCELLED
15:55:51 PLM CANCELLED
15:55:51 InformationFlowSlicing_Inter CANCELLED
15:55:51 FocusStreamsCaseStudies CANCELLED
15:55:51 Shivers-CFA CANCELLED
15:55:51 Program-Conflict-Analysis CANCELLED
15:55:51 Kuratowski_Closure_Complement CANCELLED
15:55:51 IEEE_Floating_Point CANCELLED
15:55:51 NormByEval CANCELLED
15:55:51 Rewriting_Z CANCELLED
15:55:51 Diophantine_Eqns_Lin_Hom CANCELLED
15:55:51 Well_Quasi_Orders CANCELLED
15:55:51 CRDT CANCELLED
15:55:51 Residuated_Lattices CANCELLED
15:55:51 PSemigroupsConvolution CANCELLED
15:55:51 Fermat3_4 CANCELLED
15:55:51 POPLmark-deBruijn CANCELLED
15:55:51 CISC-Kernel CANCELLED
15:55:51 Floyd_Warshall CANCELLED
15:55:51 ConcurrentIMP CANCELLED
15:55:51 Decreasing-Diagrams-II CANCELLED
15:55:51 Rank_Nullity_Theorem CANCELLED
15:55:51 Show CANCELLED
15:55:51 Trie CANCELLED
15:55:51 RSAPSS CANCELLED
15:55:51 Name_Carrying_Type_Inference CANCELLED
15:55:51 Decreasing-Diagrams CANCELLED
15:55:51 SenSocialChoice CANCELLED
15:55:51 FunWithTilings CANCELLED
15:55:51 FLP CANCELLED
15:55:51 Types_Tableaus_and_Goedels_God CANCELLED
15:55:51 Monomorphic_Monad CANCELLED
15:55:51 GraphMarkingIBP CANCELLED
15:55:51 Binomial-Heaps CANCELLED
15:55:51 Pratt_Certificate CANCELLED
15:55:51 Polynomial_Interpolation CANCELLED
15:55:51 Coinductive_Languages CANCELLED
15:55:51 Jordan_Hoelder CANCELLED
15:55:51 Separation_Algebra CANCELLED
15:55:51 CCS CANCELLED
15:55:51 XML CANCELLED
15:55:51 Derangements CANCELLED
15:55:51 TLA CANCELLED
15:55:51 Finite_Automata_HF CANCELLED
15:55:51 Noninterference_Generic_Unwinding CANCELLED
15:55:51 Sturm_Tarski CANCELLED
15:55:51 Category2 CANCELLED
15:55:51 Resolution_FOL CANCELLED
15:55:51 Boolean_Expression_Checkers CANCELLED
15:55:51 Lambda_Free_RPOs CANCELLED
15:55:51 Stream_Fusion_Code CANCELLED
15:55:51 Ribbon_Proofs CANCELLED
15:55:51 Buchi_Complementation CANCELLED
15:55:51 Lowe_Ontological_Argument CANCELLED
15:55:51 AVL-Trees CANCELLED
15:55:51 Cayley_Hamilton CANCELLED
15:55:51 FOL-Fitting CANCELLED
15:55:51 Finger-Trees CANCELLED
15:55:51 PropResPI CANCELLED
15:55:51 Functional-Automata CANCELLED
15:55:51 Completeness CANCELLED
15:55:51 HyperCTL CANCELLED
15:55:51 Posix-Lexing CANCELLED
15:55:51 Recursion-Theory-I CANCELLED
15:55:51 Inductive_Confidentiality CANCELLED
15:55:51 Bernoulli CANCELLED
15:55:51 Strong_Security CANCELLED
15:55:51 Separata CANCELLED
15:55:51 Euler_Partition CANCELLED
15:55:51 DynamicArchitectures CANCELLED
15:55:51 JiveDataStoreModel CANCELLED
15:55:51 Robbins-Conjecture CANCELLED
15:55:51 Transitive-Closure-II CANCELLED
15:55:51 Abstract-Hoare-Logics CANCELLED
15:55:51 Landau_Symbols CANCELLED
15:55:51 Abstract_Soundness CANCELLED
15:55:51 Regex_Equivalence_Examples CANCELLED
15:55:51 Optics CANCELLED
15:55:51 RefinementReactive CANCELLED
15:55:51 MiniML CANCELLED
15:55:51 WorkerWrapper CANCELLED
15:55:51 FOL_Harrison CANCELLED
15:55:51 CryptoBasedCompositionalProperties CANCELLED
15:55:51 FeatherweightJava CANCELLED
15:55:51 Integration CANCELLED
15:55:51 Huffman CANCELLED
15:55:51 Orbit_Stabiliser CANCELLED
15:55:51 Menger CANCELLED
15:55:51 Selection_Heap_Sort CANCELLED
15:55:51 Impossible_Geometry CANCELLED
15:55:51 InformationFlowSlicing CANCELLED
15:55:51 Card_Multisets CANCELLED
15:55:51 Constructor_Funs CANCELLED
15:55:51 Efficient-Mergesort CANCELLED
15:55:51 Random_Graph_Subgraph_Threshold CANCELLED
15:55:51 Concurrent_Ref_Alg CANCELLED
15:55:51 Old_Datatype_Show CANCELLED
15:55:51 Stream-Fusion CANCELLED
15:55:51 Noninterference_Inductive_Unwinding CANCELLED
15:55:51 Tycon CANCELLED
15:55:51 Lam-ml-Normalization CANCELLED
15:55:51 Noninterference_Concurrent_Composition CANCELLED
15:55:51 MonoBoolTranAlgebra CANCELLED
15:55:51 Zeta_Function CANCELLED
15:55:51 LambdaMu CANCELLED
15:55:51 Verified-Prover CANCELLED
15:55:51 FileRefinement CANCELLED
15:55:51 VolpanoSmith CANCELLED
15:55:51 Minimal_SSA CANCELLED
15:55:51 GoedelGod CANCELLED
15:55:51 First_Welfare_Theorem CANCELLED
15:55:51 Pop_Refinement CANCELLED
15:55:51 SumSquares CANCELLED
15:55:51 Comparison_Sort_Lower_Bound CANCELLED
15:55:51 Topology CANCELLED
15:55:51 Tree_Decomposition CANCELLED
15:55:51 GPU_Kernel_PL CANCELLED
15:55:51 Latin_Square CANCELLED
15:55:51 Card_Partitions CANCELLED
15:55:51 Dynamic_Tables CANCELLED
15:55:51 Buffons_Needle CANCELLED
15:55:51 Imperative_Insertion_Sort CANCELLED
15:55:51 Binomial-Queues CANCELLED
15:55:51 Bounded_Deducibility_Security CANCELLED
15:55:51 Partial_Function_MR CANCELLED
15:55:51 Random_BSTs CANCELLED
15:55:51 Lower_Semicontinuous CANCELLED
15:55:51 HotelKeyCards CANCELLED
15:55:51 Ramsey-Infinite CANCELLED
15:55:51 ShortestPath CANCELLED
15:55:51 Secondary_Sylow CANCELLED
15:55:51 TortoiseHare CANCELLED
15:55:51 FinFun CANCELLED
15:55:51 Chord_Segments CANCELLED
15:55:51 MuchAdoAboutTwo CANCELLED
15:55:51 Source_Coding_Theorem CANCELLED
15:55:51 Certification_Monads CANCELLED
15:55:51 ArrowImpossibilityGS CANCELLED
15:55:51 Category CANCELLED
15:55:51 CYK CANCELLED
15:55:51 Tail_Recursive_Functions CANCELLED
15:55:51 Priority_Queue_Braun CANCELLED
15:55:51 Case_Labeling CANCELLED
15:55:51 Stewart_Apollonius CANCELLED
15:55:51 DPT-SAT-Solver CANCELLED
15:55:51 Pairing_Heap CANCELLED
15:55:51 Card_Number_Partitions CANCELLED
15:55:51 Triangle CANCELLED
15:55:51 GenClock CANCELLED
15:55:51 ClockSynchInst CANCELLED
15:55:51 Compiling-Exceptions-Correctly CANCELLED
15:55:51 Transitive-Closure CANCELLED
15:55:51 Stuttering_Equivalence CANCELLED
15:55:51 LatticeProperties CANCELLED
15:55:51 BinarySearchTree CANCELLED
15:55:51 Gauss-Jordan-Elim-Fun CANCELLED
15:55:51 List_Interleaving CANCELLED
15:55:51 Lazy_Case CANCELLED
15:55:51 Descartes_Sign_Rule CANCELLED
15:55:51 Discrete_Summation CANCELLED
15:55:51 Fisher_Yates CANCELLED
15:55:51 DataRefinementIBP CANCELLED
15:55:51 Catalan_Numbers CANCELLED
15:55:51 List-Index CANCELLED
15:55:51 Lifting_Definition_Option CANCELLED
15:55:51 Ptolemys_Theorem CANCELLED
15:55:51 AnselmGod CANCELLED
15:55:51 Open_Induction CANCELLED
15:55:51 Surprise_Paradox CANCELLED
15:55:51 Cartan_FP CANCELLED
15:55:51 Liouville_Numbers CANCELLED
15:55:51 Lazy-Lists-II CANCELLED
15:55:51 Minkowskis_Theorem CANCELLED
15:55:51 Perfect-Number-Thm CANCELLED
15:55:51 Marriage CANCELLED
15:55:51 Max-Card-Matching CANCELLED
15:55:51 FunWithFunctions CANCELLED
15:55:51 CofGroups CANCELLED
15:55:51 FFT CANCELLED
15:55:51 Skew_Heap CANCELLED
15:55:51 RIPEMD-160-SPARK CANCELLED
15:55:51 Lehmer CANCELLED
15:55:51 Card_Equiv_Relations CANCELLED
15:55:51 Depth-First-Search CANCELLED
15:55:51 Free-Boolean-Algebra CANCELLED
15:55:51 Monad_Normalisation CANCELLED
15:55:51 Lorenz_C1 CANCELLED
15:55:51 General-Triangle CANCELLED
15:55:51 Roy_Floyd_Warshall CANCELLED
15:55:51 Bondy CANCELLED
15:55:51 Example-Submission CANCELLED
15:55:51 Ordinals_and_Cardinals CANCELLED
15:55:51 Unfinished session(s): AVL-Trees, AWN, Abortable_Linearizable_Modules, Abs_Int_ITP2012, Abstract-Hoare-Logics, Abstract-Rewriting, Abstract_Completeness, Abstract_Soundness, Affine_Arithmetic, Akra_Bazzi, Algebraic_Numbers, Algebraic_Numbers_Lib, Algebraic_VCs, Allen_Calculus, Amortized_Complexity, AnselmGod, Applicative_Lifting, ArrowImpossibilityGS, AutoFocus-Stream, Automatic_Refinement, BDD, Bell_Numbers_Spivey, Berlekamp_Zassenhaus, Bernoulli, Bertrands_Postulate, BinarySearchTree, Binomial-Heaps, Binomial-Queues, Bondy, Boolean_Expression_Checkers, Bounded_Deducibility_Security, Buchi_Complementation, Buffons_Needle, Buildings, BytecodeLogicJmlTypes, CAVA_Automata, CAVA_Base, CAVA_LTL_Modelchecker, CAVA_buildchain1, CAVA_buildchain3, CCS, CISC-Kernel, CRDT, CYK, Call_Arity, Card_Equiv_Relations, Card_Multisets, Card_Number_Partitions, Card_Partitions, Cartan_FP, Case_Labeling, Catalan_Numbers, Category, Category2, Category3, Cauchy, Cayley_Hamilton, Certification_Monads, Chord_Segments, Circus, ClockSynchInst, CofGroups, Coinductive, Coinductive_Languages, Collections, Collections_Examples, Comparison_Sort_Lower_Bound, Compiling-Exceptions-Correctly, Completeness, Complx, ComponentDependencies, ConcurrentIMP, Concurrent_Ref_Alg, Consensus_Refined, Constructor_Funs, Containers, Containers-Benchmarks, CoreC++, Count_Complex_Roots, CryptHOL, CryptoBasedCompositionalProperties, DFS_Framework, DPT-SAT-Solver, DataRefinementIBP, Datatype_Order_Generator, Decl_Sem_Fun_PL, Decreasing-Diagrams, Decreasing-Diagrams-II, Deep_Learning, Deep_Learning_Lib, Density_Compiler, Dependent_SIFUM_Refinement, Dependent_SIFUM_Type_Systems, Depth-First-Search, Derangements, Deriving, Descartes_Sign_Rule, Dict_Construction, Differential_Dynamic_Logic, Dijkstra_Shortest_Path, Diophantine_Eqns_Lin_Hom, Dirichlet_Series, Discrete_Summation, DiskPaxos, DynamicArchitectures, Dynamic_Tables, E_Transcendental, Echelon_Form, EdmondsKarp_Maxflow, Efficient-Mergesort, Elliptic_Curves_Group_Law, Encodability_Process_Calculi, Ergodic_Theory, Euler_MacLaurin, Euler_Partition, Example-Submission, FFT, FLP, FOL-Fitting, FOL_Harrison, FeatherweightJava, Featherweight_OCL, Fermat3_4, FileRefinement, FinFun, Finger-Trees, Finite_Automata_HF, First_Welfare_Theorem, Fisher_Yates, Flow_Networks, Floyd_Warshall, FocusStreamsCaseStudies, Formal_SSA, Formula_Derivatives, Formula_Derivatives-Examples, Free-Boolean-Algebra, Free-Groups, FunWithFunctions, FunWithTilings, Functional-Automata, GPU_Kernel_PL, Gabow_SCC, Game_Based_Crypto, Gauss-Jordan-Elim-Fun, Gauss_Jordan, GenClock, General-Triangle, Girth_Chromatic, GoedelGod, GraphMarkingIBP, Graph_Theory, Groebner_Bases, Group-Ring-Module, HOL, HOL-Algebra, HOL-Analysis, HOL-Cardinals, HOL-Computational_Algebra, HOL-Eisbach, HOL-Imperative_HOL, HOL-Library, HOL-Nominal, HOL-Number_Theory, HOL-ODE, HOL-ODE-Numerics, HOL-ODE-Refinement, HOL-Probability, HOL-SPARK, HOL-SPARK-Examples, HOL-Word, HOLCF, HOLCF-Library, HOLCF-Prelude, HRB-Slicing, Heard_Of, HereditarilyFinite, Hermite, HotelKeyCards, Huffman, HyperCTL, IEEE_Floating_Point, IP_Addresses, Imperative_Insertion_Sort, Impossible_Geometry, Incompleteness, Incredible_Proof_Machine, Inductive_Confidentiality, InfPathElimination, InformationFlowSlicing, InformationFlowSlicing_Inter, Integration, Iptables_Semantics, Iptables_Semantics_Examples, Isabelle_Meta_Model, JNF-AFP-Lib, JNF-HOL-Lib, Jinja, JiveDataStoreModel, Jordan_Hoelder, Jordan_Normal_Form, KAD, KAT_and_DRA, KBPs, Key_Agreement_Strong_Adversaries, Kleene_Algebra, Knot_Theory, Koenigsberg_Friendship, Kuratowski_Closure_Complement, LOFT, LTL, LTL_to_DRA, LTL_to_GBA, Lam-ml-Normalization, LambdaMu, Lambda_Free_KBOs, Lambda_Free_RPOs, Landau_Analysis, Landau_Symbols, Latin_Square, LatticeProperties, Launchbury, Lazy-Lists-II, Lazy_Case, Lehmer, Lifting_Definition_Option, LightweightJava, LinearQuantifierElim, Linear_Recurrences, Linear_Recurrences_Test, Liouville_Numbers, List-Index, List-Infinite, List_Interleaving, List_Update, LocalLexing, Locally-Nameless-Sigma, Lorenz_Approximation, Lorenz_C1, Lowe_Ontological_Argument, Lower_Semicontinuous, Lp, MFMC_Countable, MSO_Examples, MSO_Regex_Equivalence, Markov_Models, Marriage, Matrix, Matrix_Tensor, Max-Card-Matching, Maxflow_Lib, Menger, MiniML, Minimal_SSA, Minkowskis_Theorem, Modal_Logics_for_NTS, Monad_Normalisation, MonoBoolTranAlgebra, MonoidalCategory, Monomorphic_Monad, MuchAdoAboutTwo, Multirelations, Myhill-Nerode, Name_Carrying_Type_Inference, Nat-Interval-Logic, Native_Word, Nested_Multisets_Ordinals, Network_Security_Policy_Verification, No_FTL_observers, Nominal2, Noninterference_CSP, Noninterference_Concurrent_Composition, Noninterference_Generic_Unwinding, Noninterference_Inductive_Unwinding, Noninterference_Ipurge_Unwinding, Noninterference_Sequential_Composition, NormByEval, Old_Datatype_Show, Open_Induction, Optics, Orbit_Stabiliser, Ordinal, Ordinals_and_Cardinals, Ordinary_Differential_Equations, PCF, PLM, POPLmark-deBruijn, PSemigroupsConvolution, Pairing_Heap, Paraconsistency, Parity_Game, Partial_Function_MR, Password_Authentication_Protocol, Perfect-Number-Thm, Perron_Frobenius, Pi_Calculus, Planarity_Certificates, Polynomial_Factorization, Polynomial_Interpolation, Polynomials, Pop_Refinement, Posix-Lexing, Possibilistic_Noninterference, Pratt_Certificate, Pre_Algebraic_Numbers, Pre_BZ, Pre_Perron_Frobenius, Pre_Polynomial_Factorization, Presburger-Automata, Prime_Harmonic_Series, Priority_Queue_Braun, Probabilistic_Noninterference, Probabilistic_System_Zoo, Probabilistic_System_Zoo-BNFs, Probabilistic_System_Zoo-Non_BNFs, Probabilistic_While, Program-Conflict-Analysis, Promela, Proof_Strategy_Language, PropResPI, Propositional_Proof_Systems, Prpu_Maxflow, PseudoHoops, Psi_Calculi, Ptolemys_Theorem, QR_Decomposition, Quick_Sort_Cost, RIPEMD-160-SPARK, ROBDD, RSAPSS, Ramsey-Infinite, Random_BSTs, Random_Graph_Subgraph_Threshold, Randomised_Social_Choice, Rank_Nullity_Theorem, Real_Impl, Recursion-Theory-I, Refine_Imperative_HOL, Refine_Monadic, RefinementReactive, Regex_Equivalence, Regex_Equivalence_Examples, Regular-Sets, Regular_Algebras, Relation_Algebra, Rep_Fin_Groups, Residuated_Lattices, Resolution_FOL, Rewriting_Z, Ribbon_Proofs, Robbins-Conjecture, Root_Balanced_Tree, Routing, Roy_Floyd_Warshall, SATSolverVerification, SDS_Impossibility, SIFPL, SIFUM_Type_Systems, SPARCv8, Secondary_Sylow, Security_Protocol_Refinement, Selection_Heap_Sort, SenSocialChoice, Separata, Separation_Algebra, Separation_Logic_Imperative_HOL, Sepref_Basic, Sepref_IICF, Sepref_Prereq, SequentInvertibility, Shivers-CFA, ShortestPath, Show, Simpl, Simple_Firewall, Skew_Heap, Slicing, Sort_Encodings, Source_Coding_Theorem, Special_Function_Bounds, Splay_Tree, Sqrt_Babylonian, Stable_Matching, Statecharts, Stern_Brocot, Stewart_Apollonius, Stirling_Formula, Stone_Algebras, Stone_Kleene_Relation_Algebras, Stone_Relation_Algebras, Stream-Fusion, Stream_Fusion_Code, Strong_Security, Sturm_Sequences, Sturm_Tarski, Stuttering_Equivalence, Subresultants, SumSquares, SuperCalc, Surprise_Paradox, TLA, Tail_Recursive_Functions, Tarskis_Geometry, Timed_Automata, Topology, TortoiseHare, Transition_Systems_and_Automata, Transitive-Closure, Transitive-Closure-II, Tree-Automata, Tree_Decomposition, Triangle, Trie, Twelvefold_Way, Tycon, Types_Tableaus_and_Goedels_God, UPF, UPF_Firewall, UpDown_Scheme, Valuation, VectorSpace, Verified-Prover, Vickrey_Clarke_Groves, VolpanoSmith, WHATandWHERE_Security, Well_Quasi_Orders, Winding_Number_Eval, Word_Lib, WorkerWrapper, XML, Zeta_Function, pGCL
15:55:51 
15:55:51 === TIMING ===
15:55:51 
15:55:51 Group AFP: 0:00:00 elapsed time
15:55:51 Group main: 0:00:00 elapsed time
15:55:51 Group timing: 0:00:00 elapsed time
15:55:51 Overall: 0:01:03 elapsed time
15:55:51 
15:55:51 === FAILED SESSIONS ===
15:55:51 
15:55:51 Session InfPathElimination: CANCELLED
15:55:51 Session Liouville_Numbers: CANCELLED
15:55:51 Session KAD: CANCELLED
15:55:51 Session Lifting_Definition_Option: CANCELLED
15:55:51 Session Fermat3_4: CANCELLED
15:55:51 Session Random_BSTs: CANCELLED
15:55:51 Session Markov_Models: CANCELLED
15:55:51 Session Stern_Brocot: CANCELLED
15:55:51 Session Lambda_Free_KBOs: CANCELLED
15:55:51 Session Pre_Algebraic_Numbers: CANCELLED
15:55:51 Session Pi_Calculus: CANCELLED
15:55:51 Session Containers: CANCELLED
15:55:51 Session Integration: CANCELLED
15:55:51 Session Efficient-Mergesort: CANCELLED
15:55:51 Session Free-Boolean-Algebra: CANCELLED
15:55:51 Session Category3: CANCELLED
15:55:51 Session Datatype_Order_Generator: CANCELLED
15:55:51 Session HOL-ODE-Refinement: CANCELLED
15:55:51 Session Category2: CANCELLED
15:55:51 Session Regular-Sets: CANCELLED
15:55:51 Session Routing: CANCELLED
15:55:51 Session Dict_Construction: CANCELLED
15:55:51 Session Separation_Logic_Imperative_HOL: CANCELLED
15:55:51 Session Probabilistic_While: CANCELLED
15:55:51 Session Posix-Lexing: CANCELLED
15:55:51 Session CAVA_buildchain3: CANCELLED
15:55:51 Session Impossible_Geometry: CANCELLED
15:55:51 Session QR_Decomposition: CANCELLED
15:55:51 Session Lazy-Lists-II: CANCELLED
15:55:51 Session GenClock: CANCELLED
15:55:51 Session Gauss_Jordan: CANCELLED
15:55:51 Session Security_Protocol_Refinement: CANCELLED
15:55:51 Session Chord_Segments: CANCELLED
15:55:51 Session Topology: CANCELLED
15:55:51 Session Subresultants: CANCELLED
15:55:51 Session Multirelations: CANCELLED
15:55:51 Session Linear_Recurrences_Test: CANCELLED
15:55:51 Session CofGroups: CANCELLED
15:55:51 Session Tarskis_Geometry: CANCELLED
15:55:51 Session Probabilistic_System_Zoo: CANCELLED
15:55:51 Session Lam-ml-Normalization: CANCELLED
15:55:51 Session WorkerWrapper: CANCELLED
15:55:51 Session ComponentDependencies: CANCELLED
15:55:51 Session HOL-Probability: CANCELLED
15:55:51 Session Abs_Int_ITP2012: CANCELLED
15:55:51 Session AnselmGod: CANCELLED
15:55:51 Session Simple_Firewall: CANCELLED
15:55:51 Session Tree_Decomposition: CANCELLED
15:55:51 Session First_Welfare_Theorem: CANCELLED
15:55:51 Session List-Index: CANCELLED
15:55:51 Session Slicing: CANCELLED
15:55:51 Session Perfect-Number-Thm: CANCELLED
15:55:51 Session Completeness: CANCELLED
15:55:51 Session Zeta_Function: CANCELLED
15:55:51 Session Noninterference_Sequential_Composition: CANCELLED
15:55:51 Session Probabilistic_System_Zoo-BNFs: CANCELLED
15:55:51 Session Count_Complex_Roots: CANCELLED
15:55:51 Session HOL-Word: CANCELLED
15:55:51 Session Propositional_Proof_Systems: CANCELLED
15:55:51 Session Refine_Monadic: CANCELLED
15:55:51 Session Iptables_Semantics_Examples: CANCELLED
15:55:51 Session Perron_Frobenius: CANCELLED
15:55:51 Session HOL: FAILED 1
15:55:51 Session Buildings: CANCELLED
15:55:51 Session Decl_Sem_Fun_PL: CANCELLED
15:55:51 Session Randomised_Social_Choice: CANCELLED
15:55:51 Session Containers-Benchmarks: CANCELLED
15:55:51 Session Pop_Refinement: CANCELLED
15:55:51 Session Featherweight_OCL: CANCELLED
15:55:51 Session Valuation: CANCELLED
15:55:51 Session Category: CANCELLED
15:55:51 Session No_FTL_observers: CANCELLED
15:55:51 Session Case_Labeling: CANCELLED
15:55:51 Session Transitive-Closure-II: CANCELLED
15:55:51 Session Types_Tableaus_and_Goedels_God: CANCELLED
15:55:51 Session Timed_Automata: CANCELLED
15:55:51 Session Derangements: CANCELLED
15:55:51 Session XML: CANCELLED
15:55:51 Session Regex_Equivalence: CANCELLED
15:55:51 Session EdmondsKarp_Maxflow: CANCELLED
15:55:51 Session MiniML: CANCELLED
15:55:51 Session Stone_Relation_Algebras: CANCELLED
15:55:51 Session Maxflow_Lib: CANCELLED
15:55:51 Session Card_Multisets: CANCELLED
15:55:51 Session Formula_Derivatives: CANCELLED
15:55:51 Session Ordinary_Differential_Equations: CANCELLED
15:55:51 Session Nat-Interval-Logic: CANCELLED
15:55:51 Session Discrete_Summation: CANCELLED
15:55:51 Session Dependent_SIFUM_Type_Systems: CANCELLED
15:55:51 Session Secondary_Sylow: CANCELLED
15:55:51 Session Circus: CANCELLED
15:55:51 Session Quick_Sort_Cost: CANCELLED
15:55:51 Session Source_Coding_Theorem: CANCELLED
15:55:51 Session Promela: CANCELLED
15:55:51 Session Formal_SSA: CANCELLED
15:55:51 Session Vickrey_Clarke_Groves: CANCELLED
15:55:51 Session PseudoHoops: CANCELLED
15:55:51 Session SequentInvertibility: CANCELLED
15:55:51 Session HOL-SPARK: CANCELLED
15:55:51 Session Regular_Algebras: CANCELLED
15:55:51 Session Network_Security_Policy_Verification: CANCELLED
15:55:51 Session Trie: CANCELLED
15:55:51 Session Pre_Perron_Frobenius: CANCELLED
15:55:51 Session Program-Conflict-Analysis: CANCELLED
15:55:51 Session Key_Agreement_Strong_Adversaries: CANCELLED
15:55:51 Session FileRefinement: CANCELLED
15:55:51 Session Bell_Numbers_Spivey: CANCELLED
15:55:51 Session Residuated_Lattices: CANCELLED
15:55:51 Session Example-Submission: CANCELLED
15:55:51 Session Prime_Harmonic_Series: CANCELLED
15:55:51 Session NormByEval: CANCELLED
15:55:51 Session Decreasing-Diagrams: CANCELLED
15:55:51 Session Selection_Heap_Sort: CANCELLED
15:55:51 Session SPARCv8: CANCELLED
15:55:51 Session Stirling_Formula: CANCELLED
15:55:51 Session Pratt_Certificate: CANCELLED
15:55:51 Session Old_Datatype_Show: CANCELLED
15:55:51 Session Catalan_Numbers: CANCELLED
15:55:51 Session Graph_Theory: CANCELLED
15:55:51 Session GPU_Kernel_PL: CANCELLED
15:55:51 Session Cayley_Hamilton: CANCELLED
15:55:51 Session Dependent_SIFUM_Refinement: CANCELLED
15:55:51 Session Nested_Multisets_Ordinals: CANCELLED
15:55:51 Session Abstract_Soundness: CANCELLED
15:55:51 Session LocalLexing: CANCELLED
15:55:51 Session Deriving: CANCELLED
15:55:51 Session Cartan_FP: CANCELLED
15:55:51 Session Comparison_Sort_Lower_Bound: CANCELLED
15:55:51 Session RefinementReactive: CANCELLED
15:55:51 Session Iptables_Semantics: CANCELLED
15:55:51 Session Consensus_Refined: CANCELLED
15:55:51 Session Akra_Bazzi: CANCELLED
15:55:51 Session Imperative_Insertion_Sort: CANCELLED
15:55:51 Session HOLCF: CANCELLED
15:55:51 Session HOLCF-Library: CANCELLED
15:55:51 Session BinarySearchTree: CANCELLED
15:55:51 Session Paraconsistency: CANCELLED
15:55:51 Session PLM: CANCELLED
15:55:51 Session Sepref_IICF: CANCELLED
15:55:51 Session IEEE_Floating_Point: CANCELLED
15:55:51 Session DFS_Framework: CANCELLED
15:55:51 Session List-Infinite: CANCELLED
15:55:51 Session Launchbury: CANCELLED
15:55:51 Session Diophantine_Eqns_Lin_Hom: CANCELLED
15:55:51 Session Relation_Algebra: CANCELLED
15:55:51 Session LTL_to_DRA: CANCELLED
15:55:51 Session CryptHOL: CANCELLED
15:55:51 Session Free-Groups: CANCELLED
15:55:51 Session FocusStreamsCaseStudies: CANCELLED
15:55:51 Session Lehmer: CANCELLED
15:55:51 Session Stream_Fusion_Code: CANCELLED
15:55:51 Session Pre_BZ: CANCELLED
15:55:51 Session Winding_Number_Eval: CANCELLED
15:55:51 Session Parity_Game: CANCELLED
15:55:51 Session SumSquares: CANCELLED
15:55:51 Session FeatherweightJava: CANCELLED
15:55:51 Session GraphMarkingIBP: CANCELLED
15:55:51 Session Linear_Recurrences: CANCELLED
15:55:51 Session Name_Carrying_Type_Inference: CANCELLED
15:55:51 Session HOL-Nominal: CANCELLED
15:55:51 Session Priority_Queue_Braun: CANCELLED
15:55:51 Session Statecharts: CANCELLED
15:55:51 Session Open_Induction: CANCELLED
15:55:51 Session Concurrent_Ref_Alg: CANCELLED
15:55:51 Session HOL-Eisbach: CANCELLED
15:55:51 Session FOL_Harrison: CANCELLED
15:55:51 Session Sturm_Sequences: CANCELLED
15:55:51 Session Bondy: CANCELLED
15:55:51 Session JiveDataStoreModel: CANCELLED
15:55:51 Session LTL: CANCELLED
15:55:51 Session Huffman: CANCELLED
15:55:51 Session Coinductive: CANCELLED
15:55:51 Session Incompleteness: CANCELLED
15:55:51 Session DataRefinementIBP: CANCELLED
15:55:51 Session Card_Partitions: CANCELLED
15:55:51 Session Locally-Nameless-Sigma: CANCELLED
15:55:51 Session Coinductive_Languages: CANCELLED
15:55:51 Session SenSocialChoice: CANCELLED
15:55:51 Session PCF: CANCELLED
15:55:51 Session Encodability_Process_Calculi: CANCELLED
15:55:51 Session HOL-Cardinals: CANCELLED
15:55:51 Session WHATandWHERE_Security: CANCELLED
15:55:51 Session BytecodeLogicJmlTypes: CANCELLED
15:55:51 Session Dijkstra_Shortest_Path: CANCELLED
15:55:51 Session List_Interleaving: CANCELLED
15:55:51 Session Finite_Automata_HF: CANCELLED
15:55:51 Session pGCL: CANCELLED
15:55:51 Session Resolution_FOL: CANCELLED
15:55:51 Session Bertrands_Postulate: CANCELLED
15:55:51 Session Landau_Symbols: CANCELLED
15:55:51 Session Card_Equiv_Relations: CANCELLED
15:55:51 Session Euler_Partition: CANCELLED
15:55:51 Session FunWithFunctions: CANCELLED
15:55:51 Session HereditarilyFinite: CANCELLED
15:55:51 Session Possibilistic_Noninterference: CANCELLED
15:55:51 Session Psi_Calculi: CANCELLED
15:55:51 Session Noninterference_Generic_Unwinding: CANCELLED
15:55:51 Session Lazy_Case: CANCELLED
15:55:51 Session Monomorphic_Monad: CANCELLED
15:55:51 Session Card_Number_Partitions: CANCELLED
15:55:51 Session Stewart_Apollonius: CANCELLED
15:55:51 Session Deep_Learning_Lib: CANCELLED
15:55:51 Session AutoFocus-Stream: CANCELLED
15:55:51 Session LightweightJava: CANCELLED
15:55:51 Session Separation_Algebra: CANCELLED
15:55:51 Session Floyd_Warshall: CANCELLED
15:55:51 Session Regex_Equivalence_Examples: CANCELLED
15:55:51 Session ArrowImpossibilityGS: CANCELLED
15:55:51 Session Optics: CANCELLED
15:55:51 Session LatticeProperties: CANCELLED
15:55:51 Session Lower_Semicontinuous: CANCELLED
15:55:51 Session Sort_Encodings: CANCELLED
15:55:51 Session Matrix_Tensor: CANCELLED
15:55:51 Session Binomial-Queues: CANCELLED
15:55:51 Session JNF-HOL-Lib: CANCELLED
15:55:51 Session Amortized_Complexity: CANCELLED
15:55:51 Session KBPs: CANCELLED
15:55:51 Session Noninterference_Ipurge_Unwinding: CANCELLED
15:55:51 Session Algebraic_Numbers: CANCELLED
15:55:51 Session Max-Card-Matching: CANCELLED
15:55:51 Session Dynamic_Tables: CANCELLED
15:55:51 Session Abstract-Rewriting: CANCELLED
15:55:51 Session Collections: CANCELLED
15:55:51 Session CISC-Kernel: CANCELLED
15:55:51 Session Algebraic_Numbers_Lib: CANCELLED
15:55:51 Session Kleene_Algebra: CANCELLED
15:55:51 Session Native_Word: CANCELLED
15:55:51 Session FFT: CANCELLED
15:55:51 Session InformationFlowSlicing_Inter: CANCELLED
15:55:51 Session Nominal2: CANCELLED
15:55:51 Session Call_Arity: CANCELLED
15:55:51 Session Landau_Analysis: CANCELLED
15:55:51 Session Buffons_Needle: CANCELLED
15:55:51 Session General-Triangle: CANCELLED
15:55:51 Session Sturm_Tarski: CANCELLED
15:55:51 Session LOFT: CANCELLED
15:55:51 Session Ptolemys_Theorem: CANCELLED
15:55:51 Session Functional-Automata: CANCELLED
15:55:51 Session VectorSpace: CANCELLED
15:55:51 Session Prpu_Maxflow: CANCELLED
15:55:51 Session Stone_Kleene_Relation_Algebras: CANCELLED
15:55:51 Session Roy_Floyd_Warshall: CANCELLED
15:55:51 Session LinearQuantifierElim: CANCELLED
15:55:51 Session MSO_Regex_Equivalence: CANCELLED
15:55:51 Session Abstract-Hoare-Logics: CANCELLED
15:55:51 Session Partial_Function_MR: CANCELLED
15:55:51 Session HOLCF-Prelude: CANCELLED
15:55:51 Session InformationFlowSlicing: CANCELLED
15:55:51 Session JNF-AFP-Lib: CANCELLED
15:55:51 Session Abstract_Completeness: CANCELLED
15:55:51 Session Password_Authentication_Protocol: CANCELLED
15:55:51 Session Modal_Logics_for_NTS: CANCELLED
15:55:51 Session ShortestPath: CANCELLED
15:55:51 Session Gauss-Jordan-Elim-Fun: CANCELLED
15:55:51 Session SIFPL: CANCELLED
15:55:51 Session Sepref_Basic: CANCELLED
15:55:51 Session Minimal_SSA: CANCELLED
15:55:51 Session BDD: CANCELLED
15:55:51 Session MonoidalCategory: CANCELLED
15:55:51 Session RSAPSS: CANCELLED
15:55:51 Session ClockSynchInst: CANCELLED
15:55:51 Session Lowe_Ontological_Argument: CANCELLED
15:55:51 Session Special_Function_Bounds: CANCELLED
15:55:51 Session CoreC++: CANCELLED
15:55:51 Session Gabow_SCC: CANCELLED
15:55:51 Session DiskPaxos: CANCELLED
15:55:51 Session Menger: CANCELLED
15:55:51 Session CYK: CANCELLED
15:55:51 Session Skew_Heap: CANCELLED
15:55:51 Session Compiling-Exceptions-Correctly: CANCELLED
15:55:51 Session RIPEMD-160-SPARK: CANCELLED
15:55:51 Session Applicative_Lifting: CANCELLED
15:55:51 Session Planarity_Certificates: CANCELLED
15:55:51 Session Elliptic_Curves_Group_Law: CANCELLED
15:55:51 Session SDS_Impossibility: CANCELLED
15:55:51 Session Dirichlet_Series: CANCELLED
15:55:51 Session AWN: CANCELLED
15:55:51 Session E_Transcendental: CANCELLED
15:55:51 Session Group-Ring-Module: CANCELLED
15:55:51 Session CCS: CANCELLED
15:55:51 Session Separata: CANCELLED
15:55:51 Session Boolean_Expression_Checkers: CANCELLED
15:55:51 Session Word_Lib: CANCELLED
15:55:51 Session Pairing_Heap: CANCELLED
15:55:51 Session HOL-ODE-Numerics: CANCELLED
15:55:51 Session Real_Impl: CANCELLED
15:55:51 Session IP_Addresses: CANCELLED
15:55:51 Session FOL-Fitting: CANCELLED
15:55:51 Session SIFUM_Type_Systems: CANCELLED
15:55:51 Session Root_Balanced_Tree: CANCELLED
15:55:51 Session HOL-SPARK-Examples: CANCELLED
15:55:51 Session VolpanoSmith: CANCELLED
15:55:51 Session Density_Compiler: CANCELLED
15:55:51 Session Incredible_Proof_Machine: CANCELLED
15:55:51 Session Recursion-Theory-I: CANCELLED
15:55:51 Session Bernoulli: CANCELLED
15:55:51 Session HOL-Imperative_HOL: CANCELLED
15:55:51 Session Deep_Learning: CANCELLED
15:55:51 Session Girth_Chromatic: CANCELLED
15:55:51 Session Formula_Derivatives-Examples: CANCELLED
15:55:51 Session Ramsey-Infinite: CANCELLED
15:55:51 Session Bounded_Deducibility_Security: CANCELLED
15:55:51 Session HRB-Slicing: CANCELLED
15:55:51 Session LTL_to_GBA: CANCELLED
15:55:51 Session Jordan_Normal_Form: CANCELLED
15:55:51 Session SATSolverVerification: CANCELLED
15:55:51 Session HyperCTL: CANCELLED
15:55:51 Session DynamicArchitectures: CANCELLED
15:55:51 Session Ordinal: CANCELLED
15:55:51 Session DPT-SAT-Solver: CANCELLED
15:55:51 Session Simpl: CANCELLED
15:55:51 Session Polynomial_Interpolation: CANCELLED
15:55:51 Session Lorenz_C1: CANCELLED
15:55:51 Session Buchi_Complementation: CANCELLED
15:55:51 Session Finger-Trees: CANCELLED
15:55:51 Session Differential_Dynamic_Logic: CANCELLED
15:55:51 Session Matrix: CANCELLED
15:55:51 Session ConcurrentIMP: CANCELLED
15:55:51 Session Ergodic_Theory: CANCELLED
15:55:51 Session Lp: CANCELLED
15:55:51 Session HOL-Analysis: CANCELLED
15:55:51 Session Orbit_Stabiliser: CANCELLED
15:55:51 Session KAT_and_DRA: CANCELLED
15:55:51 Session Random_Graph_Subgraph_Threshold: CANCELLED
15:55:51 Session POPLmark-deBruijn: CANCELLED
15:55:51 Session Abortable_Linearizable_Modules: CANCELLED
15:55:51 Session CAVA_Base: CANCELLED
15:55:51 Session Stone_Algebras: CANCELLED
15:55:51 Session Constructor_Funs: CANCELLED
15:55:51 Session TLA: CANCELLED
15:55:51 Session Stream-Fusion: CANCELLED
15:55:51 Session Tree-Automata: CANCELLED
15:55:51 Session Collections_Examples: CANCELLED
15:55:51 Session Marriage: CANCELLED
15:55:51 Session Allen_Calculus: CANCELLED
15:55:51 Session Sqrt_Babylonian: CANCELLED
15:55:51 Session CryptoBasedCompositionalProperties: CANCELLED
15:55:51 Session Robbins-Conjecture: CANCELLED
15:55:51 Session FinFun: CANCELLED
15:55:51 Session Show: CANCELLED
15:55:51 Session Minkowskis_Theorem: CANCELLED
15:55:51 Session Noninterference_Inductive_Unwinding: CANCELLED
15:55:51 Session Koenigsberg_Friendship: CANCELLED
15:55:51 Session CRDT: CANCELLED
15:55:51 Session Stable_Matching: CANCELLED
15:55:51 Session Hermite: CANCELLED
15:55:51 Session Well_Quasi_Orders: CANCELLED
15:55:51 Session Game_Based_Crypto: CANCELLED
15:55:51 Session PropResPI: CANCELLED
15:55:51 Session UPF: CANCELLED
15:55:51 Session Ordinals_and_Cardinals: CANCELLED
15:55:51 Session HOL-Number_Theory: CANCELLED
15:55:51 Session Transition_Systems_and_Automata: CANCELLED
15:55:51 Session Jinja: CANCELLED
15:55:51 Session Kuratowski_Closure_Complement: CANCELLED
15:55:51 Session GoedelGod: CANCELLED
15:55:51 Session Probabilistic_Noninterference: CANCELLED
15:55:51 Session Fisher_Yates: CANCELLED
15:55:51 Session Complx: CANCELLED
15:55:51 Session Rep_Fin_Groups: CANCELLED
15:55:51 Session FLP: CANCELLED
15:55:51 Session Euler_MacLaurin: CANCELLED
15:55:51 Session FunWithTilings: CANCELLED
15:55:51 Session Transitive-Closure: CANCELLED
15:55:51 Session MonoBoolTranAlgebra: CANCELLED
15:55:51 Session MSO_Examples: CANCELLED
15:55:51 Session Surprise_Paradox: CANCELLED
15:55:51 Session CAVA_LTL_Modelchecker: CANCELLED
15:55:51 Session HOL-Library: CANCELLED
15:55:51 Session Polynomial_Factorization: CANCELLED
15:55:51 Session List_Update: CANCELLED
15:55:51 Session Sepref_Prereq: CANCELLED
15:55:51 Session Certification_Monads: CANCELLED
15:55:51 Session Cauchy: CANCELLED
15:55:51 Session MuchAdoAboutTwo: CANCELLED
15:55:51 Session Binomial-Heaps: CANCELLED
15:55:51 Session Refine_Imperative_HOL: CANCELLED
15:55:51 Session Strong_Security: CANCELLED
15:55:51 Session Heard_Of: CANCELLED
15:55:51 Session Depth-First-Search: CANCELLED
15:55:51 Session Myhill-Nerode: CANCELLED
15:55:51 Session AVL-Trees: CANCELLED
15:55:51 Session Presburger-Automata: CANCELLED
15:55:51 Session Rewriting_Z: CANCELLED
15:55:51 Session Flow_Networks: CANCELLED
15:55:51 Session UPF_Firewall: CANCELLED
15:55:51 Session Noninterference_Concurrent_Composition: CANCELLED
15:55:51 Session Affine_Arithmetic: CANCELLED
15:55:51 Session PSemigroupsConvolution: CANCELLED
15:55:51 Session Knot_Theory: CANCELLED
15:55:51 Session HOL-Computational_Algebra: CANCELLED
15:55:51 Session CAVA_Automata: CANCELLED
15:55:51 Session ROBDD: CANCELLED
15:55:51 Session CAVA_buildchain1: CANCELLED
15:55:51 Session Berlekamp_Zassenhaus: CANCELLED
15:55:51 Session Splay_Tree: CANCELLED
15:55:51 Session Polynomials: CANCELLED
15:55:51 Session Latin_Square: CANCELLED
15:55:51 Session Monad_Normalisation: CANCELLED
15:55:51 Session Proof_Strategy_Language: CANCELLED
15:55:51 Session Noninterference_CSP: CANCELLED
15:55:51 Session Rank_Nullity_Theorem: CANCELLED
15:55:51 Session HOL-Algebra: CANCELLED
15:55:51 Session Pre_Polynomial_Factorization: CANCELLED
15:55:51 Session SuperCalc: CANCELLED
15:55:51 Session Probabilistic_System_Zoo-Non_BNFs: CANCELLED
15:55:51 Session Decreasing-Diagrams-II: CANCELLED
15:55:51 Session Jordan_Hoelder: CANCELLED
15:55:51 Session Automatic_Refinement: CANCELLED
15:55:51 Session MFMC_Countable: CANCELLED
15:55:51 Session Tycon: CANCELLED
15:55:51 Session Inductive_Confidentiality: CANCELLED
15:55:51 Session Lambda_Free_RPOs: CANCELLED
15:55:51 Session UpDown_Scheme: CANCELLED
15:55:51 Session Twelvefold_Way: CANCELLED
15:55:51 Session Ribbon_Proofs: CANCELLED
15:55:51 Session Algebraic_VCs: CANCELLED
15:55:51 Session Echelon_Form: CANCELLED
15:55:51 Session Lorenz_Approximation: CANCELLED
15:55:51 Session Groebner_Bases: CANCELLED
15:55:51 Session Verified-Prover: CANCELLED
15:55:51 Session Tail_Recursive_Functions: CANCELLED
15:55:51 Session HOL-ODE: CANCELLED
15:55:51 Session Isabelle_Meta_Model: CANCELLED
15:55:51 Session Triangle: CANCELLED
15:55:51 Session LambdaMu: CANCELLED
15:55:51 Session Descartes_Sign_Rule: CANCELLED
15:55:51 Session Shivers-CFA: CANCELLED
15:55:51 Session HotelKeyCards: CANCELLED
15:55:51 Session TortoiseHare: CANCELLED
15:55:51 Session Stuttering_Equivalence: CANCELLED
15:55:51 
15:55:51 === DEPENDENCIES ===
15:55:51 
15:55:51 Generating dependencies file ...
15:55:58 Writing dependencies file ...
15:55:58 
15:55:58 === SITEGEN ===
15:55:58 
15:55:58 Writing status file ...
15:55:58 Running sitegen ...
15:56:00 Success: Generated topics.html
15:56:00 Success: Generated index.html
15:56:00 Success: Generated html files for 388 entries
15:56:00 Success: Generated statistics.html
15:56:00 Success: Generated download.html
15:56:00 Success: Generated about.html
15:56:00 Success: Generated citing.html
15:56:00 Success: Generated updating.html
15:56:00 Success: Generated search.html
15:56:00 Success: Generated submitting.html
15:56:00 Success: Generated using.html
15:56:00 Success: Generated rss.xml
15:56:00 Success: Generated status.html
15:56:00 Packing tars ...
15:56:06 
15:56:06 === NOTIFICATIONS ===
15:56:06 
15:56:06 
15:56:06 === COMPLETED ===
15:56:06 
15:56:06 Build step 'Execute shell' marked build as failure
15:56:06 Archiving artifacts
15:57:06 Started calculate disk usage of build
15:57:06 Finished Calculation of disk usage of build in 0 seconds
15:57:55 Started calculate disk usage of workspace
15:57:56 Finished Calculation of disk usage of workspace in 0 seconds
15:57:56 Email was triggered for: Failure - 1st
15:57:56 Trigger Failure - Any was overridden by another trigger and will not send an email.
15:57:56 Trigger Failure - Still was overridden by another trigger and will not send an email.
15:57:56 Sending email for trigger: Failure - 1st
15:57:56 Sending email to: isabelle-ci@mail46.informatik.tu-muenchen.de
15:57:56 Finished: FAILURE