Console Output

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