Isabelle build status for AFP Windows

status date:

24-Aug-2026 13:47:21 +0200

build host:

windows2

• Crypto_Standards (1:06:53 elapsed time)
• AutoCorres2_Test (1:04:28 elapsed time)
• Correctness_Algebras (0:53:01 elapsed time)
• ResiduatedTransitionSystem2 (0:50:35 elapsed time)
• HOL-ODE-Numerics (0:47:45 elapsed time)
• Two_Hermitian_Results (0:47:01 elapsed time)
• CZH_Universal_Constructions (0:45:55 elapsed time)
• IMP_With_Speculation (0:43:46 elapsed time)
• CoSMeDis (0:40:57 elapsed time)
• AutoCorres2 (0:38:28 elapsed time)
• Modular_arithmetic_LLL_and_HNF_algorithms (0:37:36 elapsed time)
• MiniSail (0:33:06 elapsed time)
• Frequency_Moments (0:32:20 elapsed time)
• CoCon (0:31:00 elapsed time)
• Hidden_Number_Problem (0:29:25 elapsed time)
• Padic_Field (0:29:21 elapsed time)
• SC_DOM_Components (0:26:50 elapsed time)
• Shadow_SC_DOM (0:23:16 elapsed time)
• CZH_Elementary_Categories (0:22:59 elapsed time)
• Diophantine_Universal_Pairs (0:22:37 elapsed time)
• Neural_Networks (0:21:51 elapsed time)
• Automated_Stateful_Protocol_Verification (0:21:22 elapsed time)
• FO_Theory_Rewriting (0:20:50 elapsed time)
• Expander_Graphs (0:20:48 elapsed time)
• Complex_Bounded_Operators (0:20:31 elapsed time)
• Superposition_Calculus (0:20:08 elapsed time)
• CAVA_Setup (0:19:28 elapsed time)
• AutoCorres2_Main (0:19:22 elapsed time)
• Category3 (0:18:47 elapsed time)
• CVM_Distinct_Elements (0:18:47 elapsed time)
• Isabelle-Solidity (0:18:45 elapsed time)
• Goedel_HFSet_Semanticless (0:17:35 elapsed time)
• Broadcast_Psi (0:17:30 elapsed time)
• Zip_Benchmarks (0:16:58 elapsed time)
• Set_Reconciliation (0:16:35 elapsed time)
• JinjaDCI (0:16:34 elapsed time)
• Solidity (0:16:21 elapsed time)
• MSO_Regex_Equivalence (0:16:17 elapsed time)
• Quantifier_Elimination_Hybrid (0:16:00 elapsed time)
• HOL-ODE-ARCH-COMP (0:15:58 elapsed time)
• Universal_Hash_Families (0:15:40 elapsed time)
• Shadow_DOM (0:15:28 elapsed time)
• Jordan_Normal_Form (0:15:16 elapsed time)
• Smith_Normal_Form (0:15:14 elapsed time)
• CakeML_Codegen (0:14:54 elapsed time)
• SWF_Impossibility (0:14:46 elapsed time)
• Goedel_HFSet_Semantic (0:14:43 elapsed time)
• Affine_Arithmetic (0:14:40 elapsed time)
• FSM_Tests (0:14:36 elapsed time)
• Incompleteness (0:14:25 elapsed time)
• IsaGeoCoq (0:14:14 elapsed time)
• Three_Squares (0:13:39 elapsed time)
• Perron_Frobenius (0:13:26 elapsed time)
• Slicing (0:13:23 elapsed time)
• Iptables_Semantics_Examples (0:13:03 elapsed time)
• Finite_Fields (0:12:57 elapsed time)
• Schoenhage_Strassen (0:12:56 elapsed time)
• Distributed_Distinct_Elements (0:12:55 elapsed time)
• Constructive_Cryptography_CM (0:12:32 elapsed time)
• Multirelations (0:12:06 elapsed time)
• Stateful_Protocol_Composition_and_Typing (0:12:05 elapsed time)
• Network_Security_Policy_Verification (0:11:56 elapsed time)
• HRB-Slicing (0:11:55 elapsed time)
• Negative_Association (0:11:46 elapsed time)
• Security_Protocol_Refinement (0:11:27 elapsed time)
• PAC_Checker (0:11:27 elapsed time)
• Groebner_Bases (0:11:21 elapsed time)
• Polynomial_Commitment_Schemes (0:11:20 elapsed time)
• Psi_Calculi (0:11:16 elapsed time)
• CakeML (0:11:15 elapsed time)
• First_Order_Clause (0:11:07 elapsed time)
• Collections (0:11:05 elapsed time)
• Linear_Recurrences_Solver (0:11:02 elapsed time)
• MDP-Algorithms (0:10:57 elapsed time)
• Auto2_Imperative_HOL (0:10:52 elapsed time)
• Universal_Turing_Machine (0:10:47 elapsed time)
• Projective_Measurements (0:10:47 elapsed time)
• No_FTL_observers_Gen_Rel (0:10:36 elapsed time)
• OmegaCatoidsQuantales (0:10:36 elapsed time)
• MFODL_Monitor_Optimized (0:10:32 elapsed time)
• Core_DOM (0:10:11 elapsed time)
• Transition_Systems_and_Automata (0:10:11 elapsed time)
• X86_Semantics (0:10:08 elapsed time)
• Executable_Randomized_Algorithms (0:10:01 elapsed time)
• ResiduatedTransitionSystem (0:10:01 elapsed time)
• Virtual_Substitution (0:10:00 elapsed time)
• Computational_pAdics (0:09:54 elapsed time)
• Cook_Levin (0:09:34 elapsed time)
• Regular_Tree_Relations (0:09:14 elapsed time)
• Berlekamp_Zassenhaus (0:09:10 elapsed time)
• Complx (0:09:08 elapsed time)
• Formal_SSA (0:08:58 elapsed time)
• Core_SC_DOM (0:08:57 elapsed time)
• Van_Emde_Boas_Trees (0:08:40 elapsed time)
• Probabilistic_Prime_Tests (0:08:39 elapsed time)
• Formula_Derivatives (0:08:38 elapsed time)
• MonoidalCategory (0:08:31 elapsed time)
• Relational_Cardinality (0:08:19 elapsed time)
• Jinja (0:08:18 elapsed time)
• Key_Agreement_Strong_Adversaries (0:08:14 elapsed time)
• Hybrid_Systems_VCs (0:08:13 elapsed time)
• Syntax_Independent_Logic (0:08:05 elapsed time)
• DOM_Components (0:07:57 elapsed time)
• Elliptic_Functions (0:07:50 elapsed time)
• CoSMed (0:07:41 elapsed time)
• AI_Planning_Languages_Semantics (0:07:39 elapsed time)
• Probabilistic_Timed_Automata (0:07:39 elapsed time)
• Bessel (0:07:37 elapsed time)
• IP_Addresses (0:07:32 elapsed time)
• Infinite_Descent_Criteria (0:07:30 elapsed time)
• Quantales_Converse (0:07:30 elapsed time)
• MFOTL_Checker (0:07:30 elapsed time)
• Picks_Theorem (0:07:20 elapsed time)
• SCL_Simulates_Ground_Resolution (0:07:19 elapsed time)
• Polynomials (0:07:19 elapsed time)
• Boustrophedon_Transform (0:07:14 elapsed time)
• SPARCv8 (0:07:13 elapsed time)
• Lorenz_Approximation (0:07:13 elapsed time)
• Monad_Memo_DP (0:07:12 elapsed time)
• Stochastic_Matrices (0:07:11 elapsed time)
• CZH_Foundations (0:07:11 elapsed time)
• Proof_Terms_Term_Rewriting (0:07:06 elapsed time)
• Native_Word (0:07:06 elapsed time)
• AxiomaticCategoryTheory (0:07:04 elapsed time)
• Algebraic_Numbers (0:06:56 elapsed time)
• BTree (0:06:52 elapsed time)
• Transcendence_Series_Hancl_Rucki (0:06:50 elapsed time)
• Polynomial_Factorization (0:06:50 elapsed time)
• Transport (0:06:49 elapsed time)
• Refine_Imperative_HOL (0:06:46 elapsed time)
• Simple_Clause_Learning (0:06:42 elapsed time)
• Diagonal_Ramsey (0:06:32 elapsed time)
• CRYSTALS-Kyber_Security (0:06:27 elapsed time)
• Regression_Test_Selection (0:06:23 elapsed time)
• MSOinHOL (0:06:18 elapsed time)
• Coinductive (0:06:15 elapsed time)
• Hilbert_Basis (0:06:10 elapsed time)
• Pentagonal_Number_Theorem (0:06:09 elapsed time)
• Posix-Lexing (0:06:07 elapsed time)
• DPRM_Theorem (0:06:05 elapsed time)
• Ordinary_Differential_Equations (0:06:04 elapsed time)
• Dirichlet_Series (0:06:04 elapsed time)
• CAVA_LTL_Modelchecker (0:06:02 elapsed time)
• IsaNet (0:05:58 elapsed time)
• Q0_Metatheory (0:05:55 elapsed time)
• Balog_Szemeredi_Gowers (0:05:53 elapsed time)
• Differential_Dynamic_Logic (0:05:48 elapsed time)
• Relative_Security (0:05:43 elapsed time)
• QR_Decomposition (0:05:42 elapsed time)
• Isabelle_Marries_Dirac (0:05:42 elapsed time)
• Padic_Ints (0:05:42 elapsed time)
• Group-Ring-Module (0:05:39 elapsed time)
• Collections_Examples (0:05:38 elapsed time)
• Continued_Fractions (0:05:37 elapsed time)
• Alpha_Beta_Pruning (0:05:34 elapsed time)
• Levy_Prokhorov_Metric (0:05:33 elapsed time)
• Multi_Party_Computation (0:05:31 elapsed time)
• Notes_On_Goedels_Ontological_Argument (0:05:31 elapsed time)
• SimplifiedOntologicalArgument (0:05:31 elapsed time)
• SM_Base (0:05:28 elapsed time)
• Deep_Learning (0:05:26 elapsed time)
• CHERI-C_Memory_Model (0:05:24 elapsed time)
• Containers-Benchmarks (0:05:23 elapsed time)
• Nagata-Factoriality (0:05:21 elapsed time)
• Interval_Analysis (0:05:21 elapsed time)
• Zippy (0:05:13 elapsed time)
• Pattern_Completeness (0:05:12 elapsed time)
• Echelon_Form (0:05:10 elapsed time)
• Multirelations_Heterogeneous (0:05:08 elapsed time)
• First_Order_Rewriting (0:05:08 elapsed time)
• DFS_Framework (0:05:07 elapsed time)
• Wieferich_Kempner (0:05:03 elapsed time)
• Linear_Programming (0:05:03 elapsed time)
• Registers (0:05:01 elapsed time)
• MLSS_Decision_Proc (0:04:58 elapsed time)
• LLL_Basis_Reduction (0:04:58 elapsed time)
• Functional_Ordered_Resolution_Prover (0:04:56 elapsed time)
• WebAssembly (0:04:56 elapsed time)
• LTL_to_DRA (0:04:56 elapsed time)
• LTL_to_GBA (0:04:56 elapsed time)
• Hoare_Time (0:04:56 elapsed time)
• Schwartz_Zippel (0:04:55 elapsed time)
• Algebraic_VCs (0:04:54 elapsed time)
• Worklist_Algorithms (0:04:53 elapsed time)
• Gromov_Hyperbolicity (0:04:50 elapsed time)
• Rademacher_Series (0:04:50 elapsed time)
• Lie_Groups (0:04:50 elapsed time)
• Modal_Logics_for_NTS (0:04:46 elapsed time)
• CryptHOL (0:04:42 elapsed time)
• EnrichedCategoryBasics (0:04:40 elapsed time)
• Query_Optimization (0:04:39 elapsed time)
• Flow_Networks (0:04:32 elapsed time)
• FaithfulPMLinHOL (0:04:31 elapsed time)
• Abstract_Substitution (0:04:29 elapsed time)
• Store_Buffer_Reduction (0:04:29 elapsed time)
• Subset_Boolean_Algebras (0:04:28 elapsed time)
• DP_QBS (0:04:27 elapsed time)
• Fishers_Inequality (0:04:26 elapsed time)
• Tree_Enumeration (0:04:26 elapsed time)
• Datatype_Order_Generator (0:04:23 elapsed time)
• Sorted_Terms (0:04:19 elapsed time)
• Progress_Tracking (0:04:17 elapsed time)
• HOL-CSP_PTick (0:04:17 elapsed time)
• Interpreter_Optimizations (0:04:12 elapsed time)
• Bernoulli (0:04:12 elapsed time)
• Axiom_Free_Ontological_Trinity (0:04:11 elapsed time)
• Planarity_Certificates (0:04:06 elapsed time)
• Stable_Matching (0:04:03 elapsed time)
• CVP_Hardness (0:04:01 elapsed time)
• Metalogic_ProofChecker (0:04:00 elapsed time)
• Iptables_Semantics (0:03:59 elapsed time)
• Hilbert_Space_Tensor_Product (0:03:59 elapsed time)
• Grothendieck_Schemes (0:03:59 elapsed time)
• IMP_Noninterference_Extension (0:03:57 elapsed time)
• Proof_Strategy_Language (0:03:57 elapsed time)
• Flyspeck-Tame (0:03:53 elapsed time)
• Relational_Method (0:03:53 elapsed time)
• Symmetric_Polynomials (0:03:52 elapsed time)
• Dependent_SIFUM_Refinement (0:03:51 elapsed time)
• Dirichlet_L (0:03:51 elapsed time)
• Category_Set (0:03:51 elapsed time)
• Hermite_Lindemann (0:03:50 elapsed time)
• Riesz_Representation (0:03:49 elapsed time)
• Orient_Rewrite_Rule_Undecidable (0:03:47 elapsed time)
• InfPathElimination (0:03:46 elapsed time)
• Roth_Arithmetic_Progressions (0:03:46 elapsed time)
• Constructive_Cryptography (0:03:45 elapsed time)
• KBPs (0:03:44 elapsed time)
• E_Transcendental (0:03:44 elapsed time)
• Probabilistic_Noninterference (0:03:42 elapsed time)
• ConcurrentHOL (0:03:42 elapsed time)
• Safe_OCL (0:03:41 elapsed time)
• Galois_Energy_Games (0:03:41 elapsed time)
• Gelfand_Naimark_Segal (0:03:39 elapsed time)
• Eval_FO (0:03:37 elapsed time)
• Paraconsistency (0:03:36 elapsed time)
• Rewrite_Properties_Reduction (0:03:36 elapsed time)
• CoreC++ (0:03:36 elapsed time)
• With_Type (0:03:35 elapsed time)
• Markov_Models (0:03:33 elapsed time)
• Poincare_Bendixson (0:03:33 elapsed time)
• Count_Complex_Roots (0:03:32 elapsed time)
• Hypergraph_Colourings (0:03:30 elapsed time)
• Prpu_Maxflow (0:03:29 elapsed time)
• Allen_Calculus (0:03:28 elapsed time)
• Archimedes_Cattle (0:03:27 elapsed time)
• Simpl (0:03:27 elapsed time)
• HOL-CSP (0:03:26 elapsed time)
• Safe_Distance (0:03:26 elapsed time)
• Sets_Revisited (0:03:25 elapsed time)
• LL1_Parser (0:03:24 elapsed time)
• Interval_Arithmetic_Word32 (0:03:23 elapsed time)
• VYDRA_MDL (0:03:22 elapsed time)
• Types_To_Sets_Extension (0:03:21 elapsed time)
• GewirthPGCProof (0:03:21 elapsed time)
• Ordinal_Partitions (0:03:17 elapsed time)
• Gale_Shapley (0:03:17 elapsed time)
• Completeness_Decreasing_Diagrams_for_N1 (0:03:16 elapsed time)
• Containers (0:03:14 elapsed time)
• Relational_Disjoint_Set_Forests (0:03:14 elapsed time)
• Promela (0:03:13 elapsed time)
• SM (0:03:13 elapsed time)
• Modular_Forms (0:03:13 elapsed time)
• Prime_Harmonic_Series (0:03:11 elapsed time)
• IMP2 (0:03:11 elapsed time)
• Chebyshev_Prime_Bounds (0:03:11 elapsed time)
• Simplex (0:03:10 elapsed time)
• LEM (0:03:10 elapsed time)
• Verified_SAT_Based_AI_Planning (0:03:10 elapsed time)
• Free-Groups (0:03:09 elapsed time)
• Weak_Spectroscopy (0:03:09 elapsed time)
• Dependent_SIFUM_Type_Systems (0:03:08 elapsed time)
• BenOr_Kozen_Reif (0:03:08 elapsed time)
• Farkas (0:03:08 elapsed time)
• MFOTL_Monitor (0:03:08 elapsed time)
• Chandy_Lamport (0:03:08 elapsed time)
• LOFT (0:03:07 elapsed time)
• LTL_Master_Theorem (0:03:07 elapsed time)
• Akra_Bazzi (0:03:06 elapsed time)
• Binding_Syntax_Theory (0:03:06 elapsed time)
• Furstenberg_Topology (0:03:06 elapsed time)
• Sigma_Commit_Crypto (0:03:04 elapsed time)
• Inductive_Inference (0:03:04 elapsed time)
• Factor_Algebraic_Polynomial (0:03:03 elapsed time)
• BMSSP_Correctness (0:03:03 elapsed time)
• Karatsuba (0:03:02 elapsed time)
• Splitting_Framework (0:03:02 elapsed time)
• Knot_Theory (0:03:01 elapsed time)
• Simplicial_complexes_and_boolean_functions (0:02:59 elapsed time)
• Parity_Game (0:02:58 elapsed time)
• List_Update (0:02:58 elapsed time)
• Propositional_Proof_Systems (0:02:55 elapsed time)
• Real_Time_Deque (0:02:55 elapsed time)
• SuffixArray (0:02:53 elapsed time)
• Turans_Graph_Theorem (0:02:51 elapsed time)
• Stone_Kleene_Relation_Algebras (0:02:50 elapsed time)
• Gabow_SCC (0:02:50 elapsed time)
• Taylor_Models (0:02:49 elapsed time)
• Matrices_for_ODEs (0:02:48 elapsed time)
• Density_Compiler (0:02:48 elapsed time)
• Ergodic_Theory (0:02:48 elapsed time)
• Oneway2Hiding (0:02:48 elapsed time)
• Word_Lib (0:02:47 elapsed time)
• AOT (0:02:47 elapsed time)
• Green (0:02:46 elapsed time)
• Safe_Range_RC (0:02:45 elapsed time)
• No_FTL_observers (0:02:43 elapsed time)
• Randomized_Closest_Pair (0:02:43 elapsed time)
• CommCSL (0:02:43 elapsed time)
• S_Finite_Measure_Monad (0:02:43 elapsed time)
• Projective_Geometry (0:02:42 elapsed time)
• Encodability_Process_Calculi (0:02:42 elapsed time)
• PAPP_Impossibility (0:02:42 elapsed time)
• Morley_Theorem (0:02:42 elapsed time)
• Lower_Bound_Certificates_Planning (0:02:41 elapsed time)
• GyrovectorSpaces (0:02:40 elapsed time)
• Edwards_Elliptic_Curves_Group (0:02:40 elapsed time)
• Independence_CH (0:02:40 elapsed time)
• Gauss_Jordan (0:02:37 elapsed time)
• Disintegration (0:02:37 elapsed time)
• Bertrands_Postulate (0:02:36 elapsed time)
• Zeta_Function (0:02:33 elapsed time)
• Regular_Algebras (0:02:32 elapsed time)
• Freiman_3k_4 (0:02:32 elapsed time)
• Girth_Chromatic (0:02:32 elapsed time)
• Hyperdual (0:02:30 elapsed time)
• Resolution_FOL (0:02:28 elapsed time)
• Mersenne_Primes (0:02:28 elapsed time)
• MFMC_Countable (0:02:28 elapsed time)
• BirdKMP (0:02:26 elapsed time)
• Isabelle_DOF (0:02:26 elapsed time)
• First_Order_Terms (0:02:26 elapsed time)
• Region_Quadtrees (0:02:25 elapsed time)
• Quantales (0:02:25 elapsed time)
• Buildings (0:02:24 elapsed time)
• Featherweight_OCL (0:02:24 elapsed time)
• LTL (0:02:24 elapsed time)
• Design_Theory (0:02:23 elapsed time)
• IMP_Noninterference (0:02:23 elapsed time)
• QHLProver (0:02:23 elapsed time)
• ZFC_in_HOL (0:02:23 elapsed time)
• Isabelle_Meta_Model (0:02:23 elapsed time)
• HOL-CSPM (0:02:22 elapsed time)
• UPF_Firewall (0:02:22 elapsed time)
• Physical_Quantities (0:02:21 elapsed time)
• CRYSTALS-Kyber (0:02:21 elapsed time)
• Z_Toolkit (0:02:18 elapsed time)
• HOL-CSP_Proc-Omata (0:02:18 elapsed time)
• Relational_Paths (0:02:17 elapsed time)
• Twelvefold_Way (0:02:17 elapsed time)
• Higher_Order_Terms (0:02:16 elapsed time)
• Separation_Logic_Imperative_HOL (0:02:15 elapsed time)
• Actuarial_Mathematics (0:02:15 elapsed time)
• Approximate_Model_Counting (0:02:15 elapsed time)
• Poincare_Disc (0:02:14 elapsed time)
• Dottie_Number (0:02:14 elapsed time)
• Amicable_Numbers (0:02:14 elapsed time)
• Launchbury (0:02:13 elapsed time)
• DiscretePricing (0:02:13 elapsed time)
• Ordered_Resolution_Prover (0:02:13 elapsed time)
• Nested_Multisets_Ordinals (0:02:10 elapsed time)
• Closest_Pair_Points (0:02:10 elapsed time)
• Polygonal_Number_Theorem (0:02:09 elapsed time)
• Derandomization_Conditional_Expectations (0:02:09 elapsed time)
• Rep_Fin_Groups (0:02:09 elapsed time)
• Amortized_Complexity (0:02:08 elapsed time)
• Irrationality_J_Hancl (0:02:08 elapsed time)
• Schutz_Spacetime (0:02:08 elapsed time)
• KAD (0:02:07 elapsed time)
• Linear_Diophantine_Preprocessor (0:02:07 elapsed time)
• Root_Balanced_Tree (0:02:06 elapsed time)
• Complex_Geometry (0:02:05 elapsed time)
• ProcessComposition_ILL (0:02:04 elapsed time)
• Lambda_Free_KBOs (0:02:03 elapsed time)
• Kneser_Cauchy_Davenport (0:02:02 elapsed time)
• Linear_Recurrences (0:02:02 elapsed time)
• UTP-Toolkit (0:02:02 elapsed time)
• RG_Locks (0:02:02 elapsed time)
• SATSolverVerification (0:02:02 elapsed time)
• Sorted_Rewriting (0:02:02 elapsed time)
• AWN (0:02:01 elapsed time)
• Transitive_Models (0:02:01 elapsed time)
• Sepref_IICF (0:02:00 elapsed time)
• Adaptive_State_Counting (0:02:00 elapsed time)
• Aggregation_Algebras (0:01:59 elapsed time)
• LLL_Factorization (0:01:58 elapsed time)
• BD_Security_Compositional (0:01:58 elapsed time)
• Regex_Equivalence (0:01:56 elapsed time)
• Linear_Inequalities (0:01:56 elapsed time)
• Compressed_Oracles (0:01:56 elapsed time)
• Pi_Calculus (0:01:55 elapsed time)
• PLM (0:01:55 elapsed time)
• Lovasz_Local (0:01:55 elapsed time)
• Signature_Groebner (0:01:54 elapsed time)
• Busy_Beaver (0:01:54 elapsed time)
• Stone_Relation_Algebras (0:01:53 elapsed time)
• Graph_Theory (0:01:53 elapsed time)
• Kleene_Algebra (0:01:53 elapsed time)
• Extended_Finite_State_Machine_Inference (0:01:52 elapsed time)
• NREST (0:01:52 elapsed time)
• Gauss_Sums (0:01:52 elapsed time)
• Groebner_Macaulay (0:01:51 elapsed time)
• PseudoHoops (0:01:50 elapsed time)
• BytecodeLogicJmlTypes (0:01:50 elapsed time)
• Password_Authentication_Protocol (0:01:50 elapsed time)
• Real_Impl (0:01:50 elapsed time)
• Prim_Dijkstra_Simple (0:01:50 elapsed time)
• Nominal_Myhill_Nerode (0:01:49 elapsed time)
• Earley_Parser (0:01:49 elapsed time)
• Subresultants (0:01:48 elapsed time)
• Abs_Int_ITP2012 (0:01:48 elapsed time)
• Undirected_Graph_Theory (0:01:48 elapsed time)
• Refine_Monadic (0:01:48 elapsed time)
• Theta_Functions (0:01:47 elapsed time)
• Standard_Borel_Spaces (0:01:47 elapsed time)
• BDD (0:01:45 elapsed time)
• Banach_Tarski (0:01:45 elapsed time)
• KnuthMorrisPratt (0:01:44 elapsed time)
• Generalized_Counting_Sort (0:01:44 elapsed time)
• Q0_Soundness (0:01:44 elapsed time)
• ComponentDependencies (0:01:43 elapsed time)
• FOL_Compactness (0:01:42 elapsed time)
• Vickrey_Clarke_Groves (0:01:42 elapsed time)
• Deriving (0:01:41 elapsed time)
• Context_Free_Grammar (0:01:41 elapsed time)
• Prime_Distribution_Elementary (0:01:40 elapsed time)
• Statecharts (0:01:40 elapsed time)
• Call_Arity (0:01:40 elapsed time)
• HOLCF-Prelude (0:01:40 elapsed time)
• Given_Clause_Loops (0:01:39 elapsed time)
• SequentInvertibility (0:01:38 elapsed time)
• Smooth_Manifolds (0:01:38 elapsed time)
• Elliptic_Curves_Group_Law (0:01:38 elapsed time)
• Hybrid_Multi_Lane_Spatial_Logic (0:01:38 elapsed time)
• Order_Lattice_Props (0:01:38 elapsed time)
• Fourier (0:01:38 elapsed time)
• Winding_Number_Eval (0:01:37 elapsed time)
• ProcessComposition (0:01:37 elapsed time)
• LinearQuantifierElim (0:01:37 elapsed time)
• LambdaAuth (0:01:37 elapsed time)
• Combinatorics_Words (0:01:36 elapsed time)
• Partial_Order_Reduction (0:01:36 elapsed time)
• MLSSmf_to_MLSS (0:01:36 elapsed time)
• Sort_Encodings (0:01:35 elapsed time)
• Graph_Algorithms (0:01:35 elapsed time)
• Quantum_Fourier_Transform (0:01:34 elapsed time)
• Coppersmith_Method (0:01:34 elapsed time)
• Dijkstra_Shortest_Path (0:01:33 elapsed time)
• VerifyThis2018 (0:01:33 elapsed time)
• Detour_Calculus (0:01:32 elapsed time)
• LocalLexing (0:01:32 elapsed time)
• Khovanskii_Theorem (0:01:32 elapsed time)
• Differential_Privacy (0:01:32 elapsed time)
• Sepref_Prereq (0:01:32 elapsed time)
• CAVA_Automata (0:01:32 elapsed time)
• Abstract_Consistency_Property (0:01:31 elapsed time)
• Hypergraph_Basics (0:01:30 elapsed time)
• Clean (0:01:30 elapsed time)
• Generic_Deriving (0:01:29 elapsed time)
• Mission_Time_LTL_to_Regular_Expression (0:01:29 elapsed time)
• Zeta_3_Irrational (0:01:27 elapsed time)
• Treaps (0:01:26 elapsed time)
• Show (0:01:26 elapsed time)
• Decreasing-Diagrams-II (0:01:26 elapsed time)
• Circus (0:01:25 elapsed time)
• FOL_Seq_Calc2 (0:01:25 elapsed time)
• AutoFocus-Stream (0:01:25 elapsed time)
• Lambda_Free_EPO (0:01:25 elapsed time)
• Game_Based_Crypto (0:01:25 elapsed time)
• TsirelsonBound (0:01:24 elapsed time)
• Well_Quasi_Orders (0:01:24 elapsed time)
• Pluennecke_Ruzsa_Inequality (0:01:23 elapsed time)
• Robinson_Arithmetic (0:01:23 elapsed time)
• Three_Circles (0:01:23 elapsed time)
• Kruskal (0:01:23 elapsed time)
• UTP (0:01:23 elapsed time)
• Stone_Algebras (0:01:23 elapsed time)
• Hermite (0:01:23 elapsed time)
• Factored_Transition_System_Bounding (0:01:22 elapsed time)
• EdmondsKarp_Maxflow (0:01:22 elapsed time)
• Babai_Nearest_Plane (0:01:22 elapsed time)
• Top_Down_Solver (0:01:22 elapsed time)
• Quasi_Borel_Spaces (0:01:21 elapsed time)
• Probabilistic_While (0:01:21 elapsed time)
• Chevalley_Warning (0:01:21 elapsed time)
• Wetzels_Problem (0:01:21 elapsed time)
• Differential_Game_Logic (0:01:21 elapsed time)
• QBF_Solver_Verification (0:01:21 elapsed time)
• HoareForDivergence (0:01:20 elapsed time)
• IMP_Compiler_Reuse (0:01:20 elapsed time)
• Extended_Finite_State_Machines (0:01:20 elapsed time)
• Commuting_Hermitian (0:01:20 elapsed time)
• Arithmetic_Geometric_Mean (0:01:19 elapsed time)
• LightweightJava (0:01:19 elapsed time)
• Power_Sum_Polynomials (0:01:19 elapsed time)
• Probabilistic_System_Zoo (0:01:18 elapsed time)
• Buchi_Complementation (0:01:18 elapsed time)
• KAT_and_DRA (0:01:18 elapsed time)
• Weighted_Path_Order (0:01:17 elapsed time)
• Concentrated_Liquidity_Market_Making_Operations (0:01:16 elapsed time)
• Countable_Multiset (0:01:16 elapsed time)
• Multitape_To_Singletape_TM (0:01:16 elapsed time)
• Automatic_Refinement (0:01:15 elapsed time)
• Directed_Sets (0:01:14 elapsed time)
• Relational_Minimum_Spanning_Trees (0:01:14 elapsed time)
• CubicalCategories (0:01:14 elapsed time)
• WOOT_Strong_Eventual_Consistency (0:01:13 elapsed time)
• Incredible_Proof_Machine (0:01:13 elapsed time)
• Suppes_Theorem (0:01:13 elapsed time)
• UpDown_Scheme (0:01:13 elapsed time)
• Regular-Sets (0:01:12 elapsed time)
• HOL-CSP_OpSem (0:01:12 elapsed time)
• Knights_Tour (0:01:12 elapsed time)
• LTL_Normal_Form (0:01:12 elapsed time)
• Topological_Groups (0:01:12 elapsed time)
• Dominance_CHK (0:01:11 elapsed time)
• Nominal2 (0:01:11 elapsed time)
• Kraus_Maps (0:01:11 elapsed time)
• SIFUM_Type_Systems (0:01:11 elapsed time)
• Concurrent_Revisions (0:01:11 elapsed time)
• Jacobson_Basic_Algebra (0:01:10 elapsed time)
• Coupledsim_Contrasim (0:01:10 elapsed time)
• Valuation (0:01:09 elapsed time)
• Concentration_Inequalities (0:01:09 elapsed time)
• Prime_Number_Theorem (0:01:09 elapsed time)
• Mission_Time_LTL_Language_Partition (0:01:09 elapsed time)
• Gaussian_Integers (0:01:09 elapsed time)
• HyperHoareLogic (0:01:08 elapsed time)
• ILL (0:01:08 elapsed time)
• Number_Theoretic_Transform (0:01:07 elapsed time)
• Koenigsberg_Friendship (0:01:07 elapsed time)
• Lambda_Free_RPOs (0:01:07 elapsed time)
• Tarskis_Geometry (0:01:06 elapsed time)
• XML (0:01:06 elapsed time)
• SuperCalc (0:01:06 elapsed time)
• Martingales (0:01:05 elapsed time)
• Forcing (0:01:04 elapsed time)
• Applicative_Lifting (0:01:04 elapsed time)
• SIFPL (0:01:03 elapsed time)
• Separation_Algebra (0:01:02 elapsed time)
• Sigmoid_Universal_Approximation (0:01:02 elapsed time)
• Mission_Time_LTL_Formula_Progression (0:01:02 elapsed time)
• Propositional_Logic_Class (0:01:01 elapsed time)
• Foundation_of_geometry (0:01:01 elapsed time)
• Clique_and_Monotone_Circuits (0:01:01 elapsed time)
• Matrix (0:01:01 elapsed time)
• Dynamic_Pushdown_Networks (0:01:00 elapsed time)
• Pushdown_Systems (0:01:00 elapsed time)
• Relational_Forests (0:01:00 elapsed time)
• Sturm_Sequences (0:00:59 elapsed time)
• PCF (0:00:59 elapsed time)
• Multiset_Ordering_NPC (0:00:59 elapsed time)
• Pell (0:00:58 elapsed time)
• IEEE_Floating_Point (0:00:58 elapsed time)
• Priority_Queue_Braun (0:00:58 elapsed time)
• Goedel_Incompleteness (0:00:58 elapsed time)
• Approximation_Algorithms (0:00:58 elapsed time)
• Chebyshev_Polynomials (0:00:58 elapsed time)
• Kolmogorov_Chentsov (0:00:58 elapsed time)
• Greibach_Normal_Form (0:00:57 elapsed time)
• Fishburn_Impossibility (0:00:56 elapsed time)
• SDS_Impossibility (0:00:56 elapsed time)
• HOL-CSP_RS (0:00:56 elapsed time)
• Polynomial_Crit_Geometry (0:00:56 elapsed time)
• Consensus_Refined (0:00:55 elapsed time)
• Height_Balanced_Tree_Bounds (0:00:55 elapsed time)
• Pi_Transcendental (0:00:55 elapsed time)
• Min_Max_Least_Greatest (0:00:55 elapsed time)
• Tree-Automata (0:00:55 elapsed time)
• Nat-Interval-Logic (0:00:54 elapsed time)
• DiskPaxos (0:00:54 elapsed time)
• Relational_Divisibility (0:00:54 elapsed time)
• Probability_Inequality_Completeness (0:00:53 elapsed time)
• VectorSpace (0:00:53 elapsed time)
• MDP-Rewards (0:00:53 elapsed time)
• Myhill-Nerode (0:00:53 elapsed time)
• Randomised_Social_Choice (0:00:52 elapsed time)
• IMP_Compiler (0:00:52 elapsed time)
• Nash_Williams (0:00:52 elapsed time)
• Exp_Log_Integral (0:00:52 elapsed time)
• Sophie_Germain (0:00:52 elapsed time)
• pGCL (0:00:52 elapsed time)
• POPLmark-deBruijn (0:00:52 elapsed time)
• Decl_Sem_Fun_PL (0:00:51 elapsed time)
• Isabelle_C (0:00:51 elapsed time)
• Possibilistic_Noninterference (0:00:51 elapsed time)
• Rankings (0:00:51 elapsed time)
• Abortable_Linearizable_Modules (0:00:51 elapsed time)
• Stratified_Datalog (0:00:50 elapsed time)
• Modular_Assembly_Kit_Security (0:00:50 elapsed time)
• Stirling_Formula (0:00:50 elapsed time)
• Locally-Nameless-Sigma (0:00:50 elapsed time)
• Hidden_Markov_Models (0:00:50 elapsed time)
• Lp (0:00:50 elapsed time)
• Auto2_HOL (0:00:49 elapsed time)
• Separation_Logic_Unbounded (0:00:49 elapsed time)
• Hood_Melville_Queue (0:00:49 elapsed time)
• Rensets (0:00:49 elapsed time)
• Optics (0:00:49 elapsed time)
• Graph_Saturation (0:00:49 elapsed time)
• UPF (0:00:49 elapsed time)
• WHATandWHERE_Security (0:00:48 elapsed time)
• Generic_Join (0:00:48 elapsed time)
• Presburger-Automata (0:00:48 elapsed time)
• PNT_with_Remainder (0:00:47 elapsed time)
• Localization_Ring (0:00:47 elapsed time)
• Path_Automation (0:00:47 elapsed time)
• Bisimulation_Logic (0:00:47 elapsed time)
• Heard_Of (0:00:47 elapsed time)
• Splay_Tree (0:00:47 elapsed time)
• Shivers-CFA (0:00:47 elapsed time)
• Simple_Firewall (0:00:46 elapsed time)
• Discrete-UCB (0:00:46 elapsed time)
• Floyd_Warshall (0:00:46 elapsed time)
• Monomorphic_Monad (0:00:46 elapsed time)
• Quick_Sort_Cost (0:00:45 elapsed time)
• Program-Conflict-Analysis (0:00:45 elapsed time)
• Lebesgue_Stieltjes_Integral (0:00:45 elapsed time)
• Seifert-Van-Kampen (0:00:45 elapsed time)
• Logging_Independent_Anonymity (0:00:45 elapsed time)
• RSAPSS (0:00:45 elapsed time)
• Synthetic_Completeness (0:00:45 elapsed time)
• Prop_Compactness (0:00:44 elapsed time)
• Euler_Exponential (0:00:44 elapsed time)
• Architectural_Design_Patterns (0:00:43 elapsed time)
• Ramsey_Bounds (0:00:43 elapsed time)
• Labeled_Transition_Systems (0:00:43 elapsed time)
• Sepref_Basic (0:00:43 elapsed time)
• Special_Function_Bounds (0:00:43 elapsed time)
• Incomplete_Gamma (0:00:43 elapsed time)
• Decreasing-Diagrams (0:00:42 elapsed time)
• List_Inversions (0:00:42 elapsed time)
• TESL_Language (0:00:42 elapsed time)
• Sturm_Tarski (0:00:42 elapsed time)
• IFC_Tracking (0:00:42 elapsed time)
• Catoids (0:00:42 elapsed time)
• CRDT (0:00:42 elapsed time)
• PSemigroupsConvolution (0:00:42 elapsed time)
• ROBDD (0:00:42 elapsed time)
• Secret_Directed_Unwinding (0:00:41 elapsed time)
• Cardinality_Continuum (0:00:41 elapsed time)
• ConcurrentIMP (0:00:41 elapsed time)
• Saturation_Framework_Extensions (0:00:41 elapsed time)
• Knuth_Morris_Pratt (0:00:41 elapsed time)
• Saturation_Framework (0:00:41 elapsed time)
• Rewriting_Z (0:00:41 elapsed time)
• Package_logic (0:00:41 elapsed time)
• Irrational_Series_Erdos_Straus (0:00:41 elapsed time)
• Dict_Construction (0:00:40 elapsed time)
• Abstract-Rewriting (0:00:40 elapsed time)
• Ramsey-Infinite (0:00:40 elapsed time)
• Derangements (0:00:39 elapsed time)
• Pre_Star_CFG (0:00:39 elapsed time)
• VerifyThis2019 (0:00:39 elapsed time)
• Combinatorial_Enumeration_Algorithms (0:00:39 elapsed time)
• ML_Unification (0:00:39 elapsed time)
• Functional-Automata (0:00:39 elapsed time)
• FOL-Fitting (0:00:39 elapsed time)
• Restriction_Spaces-Examples (0:00:39 elapsed time)
• Kuratowski_Closure_Complement (0:00:39 elapsed time)
• Kummer_Congruence (0:00:38 elapsed time)
• Finite_Automata_HF (0:00:38 elapsed time)
• CSP_RefTK (0:00:38 elapsed time)
• Stern_Brocot (0:00:37 elapsed time)
• List-Infinite (0:00:37 elapsed time)
• Formula_Derivatives-Examples (0:00:37 elapsed time)
• Finite-Map-Extras (0:00:37 elapsed time)
• AVL-Trees (0:00:37 elapsed time)
• Budan_Fourier (0:00:37 elapsed time)
• Efficient-Mergesort (0:00:36 elapsed time)
• Andrew_Monotone_Chain (0:00:36 elapsed time)
• Matrix_Tensor (0:00:36 elapsed time)
• SCC_Bloemen_Sequential (0:00:36 elapsed time)
• Generalized_Cauchy_Davenport (0:00:36 elapsed time)
• Finitely_Generated_Abelian_Groups (0:00:35 elapsed time)
• Noninterference_Sequential_Composition (0:00:35 elapsed time)
• Residuated_Lattices (0:00:35 elapsed time)
• Hybrid_Logic (0:00:35 elapsed time)
• Diophantine_Eqns_Lin_Hom (0:00:35 elapsed time)
• Farey_Sequences (0:00:35 elapsed time)
• Unconstrained_Optimization (0:00:35 elapsed time)
• Coproduct_Measure (0:00:34 elapsed time)
• BNF_CC (0:00:34 elapsed time)
• Completeness (0:00:34 elapsed time)
• Chomsky_Schuetzenberger (0:00:34 elapsed time)
• Relation_Algebra (0:00:34 elapsed time)
• Hahn_Jordan_Decomposition (0:00:34 elapsed time)
• Complete_Non_Orders (0:00:34 elapsed time)
• Fermat3_4 (0:00:33 elapsed time)
• Catalan_Numbers (0:00:33 elapsed time)
• Coinductive_Languages (0:00:33 elapsed time)
• Optimal_BST (0:00:33 elapsed time)
• More_LazyLists (0:00:33 elapsed time)
• Cubic_Quartic_Equations (0:00:33 elapsed time)
• OpSets (0:00:33 elapsed time)
• Parikh (0:00:32 elapsed time)
• Generalized_Hypergeometric_Series (0:00:32 elapsed time)
• NormByEval (0:00:32 elapsed time)
• FocusStreamsCaseStudies (0:00:32 elapsed time)
• CNF_DNF_Exp_Blowup (0:00:32 elapsed time)
• InformationFlowSlicing_Inter (0:00:32 elapsed time)
• ADS_Functor (0:00:32 elapsed time)
• Binomial-Heaps (0:00:32 elapsed time)
• Euler_Polyhedron_Formula (0:00:32 elapsed time)
• Pushdown_Automata (0:00:32 elapsed time)
• Dedekind_Sums (0:00:31 elapsed time)
• Lambert_W (0:00:31 elapsed time)
• Priority_Search_Trees (0:00:31 elapsed time)
• Isabelle_hoops (0:00:31 elapsed time)
• Nominal_Unification (0:00:31 elapsed time)
• Elimination_Of_Repeated_Factors (0:00:31 elapsed time)
• Lambert_Series (0:00:31 elapsed time)
• Polynomial_Interpolation (0:00:31 elapsed time)
• Euler_MacLaurin (0:00:31 elapsed time)
• ZF_finite (0:00:30 elapsed time)
• GraphMarkingIBP (0:00:30 elapsed time)
• Name_Carrying_Type_Inference (0:00:30 elapsed time)
• DynamicArchitectures (0:00:30 elapsed time)
• Weighted_Set (0:00:30 elapsed time)
• Restriction_Spaces-Ultrametric (0:00:30 elapsed time)
• Swap_Distance (0:00:30 elapsed time)
• Minsky_Machines (0:00:29 elapsed time)
• SenSocialChoice (0:00:29 elapsed time)
• Interpolation_Polynomials_HOL_Algebra (0:00:29 elapsed time)
• Neumann_Morgenstern_Utility (0:00:29 elapsed time)
• Hales_Jewett (0:00:29 elapsed time)
• Bounded_Deducibility_Security (0:00:29 elapsed time)
• IMAP-CRDT (0:00:28 elapsed time)
• Pratt_Certificate (0:00:28 elapsed time)
• Stream_Fusion_Code (0:00:28 elapsed time)
• HereditarilyFinite (0:00:28 elapsed time)
• Doob_Convergence (0:00:28 elapsed time)
• Sumcheck_Protocol (0:00:28 elapsed time)
• Median_Of_Medians_Selection (0:00:28 elapsed time)
• Formal_Puiseux_Series (0:00:28 elapsed time)
• CAVA_Base (0:00:28 elapsed time)
• BNF_Operations (0:00:28 elapsed time)
• Random_BSTs (0:00:27 elapsed time)
• Weight_Balanced_Trees (0:00:27 elapsed time)
• Category2 (0:00:27 elapsed time)
• Octonions (0:00:27 elapsed time)
• Two_Way_DFA_HF (0:00:27 elapsed time)
• Mereology (0:00:27 elapsed time)
• Two_Generated_Word_Monoids_Intersection (0:00:27 elapsed time)
• CISC-Kernel (0:00:27 elapsed time)
• Binary_Code_Imprimitive (0:00:27 elapsed time)
• Perfect_Fields (0:00:27 elapsed time)
• Polylog (0:00:27 elapsed time)
• Combinatorics_Words_Lyndon (0:00:26 elapsed time)
• Sliding_Window_Algorithm (0:00:26 elapsed time)
• CCS (0:00:26 elapsed time)
• IO_Language_Conformance (0:00:26 elapsed time)
• FLP (0:00:26 elapsed time)
• Tabulation_Hashing (0:00:26 elapsed time)
• Equivalence_Relation_Enumeration (0:00:25 elapsed time)
• PAL (0:00:25 elapsed time)
• FOL_Harrison (0:00:25 elapsed time)
• Pi_Irrational (0:00:25 elapsed time)
• TLA (0:00:25 elapsed time)
• Combinatorial_Q_Analogues (0:00:25 elapsed time)
• IMP2_Binary_Heap (0:00:25 elapsed time)
• ABY3_Protocols (0:00:25 elapsed time)
• LTL3_Semantics (0:00:24 elapsed time)
• KD_Tree (0:00:24 elapsed time)
• Card_Partitions (0:00:24 elapsed time)
• Landau_Symbols (0:00:24 elapsed time)
• Euler_Partition (0:00:24 elapsed time)
• Finger-Trees (0:00:24 elapsed time)
• Efficient_Weighted_Path_Order (0:00:24 elapsed time)
• Transformer_Semantics (0:00:23 elapsed time)
• Abstract_Completeness (0:00:23 elapsed time)
• Youngs_Inequality (0:00:23 elapsed time)
• Equality_Saturation_Checker (0:00:23 elapsed time)
• FunWithTilings (0:00:23 elapsed time)
• Rank_Nullity_Theorem (0:00:23 elapsed time)
• Skip_Lists (0:00:23 elapsed time)
• Delta_System_Lemma (0:00:22 elapsed time)
• Boolos_Curious_Inference_Automated (0:00:22 elapsed time)
• Transitive-Closure-II (0:00:22 elapsed time)
• Perrons_Formula (0:00:22 elapsed time)
• Ordinal (0:00:22 elapsed time)
• Sqrt_Babylonian (0:00:22 elapsed time)
• Printing_Parsing_Roundtrip (0:00:21 elapsed time)
• Routing (0:00:21 elapsed time)
• Laplace_Transform (0:00:21 elapsed time)
• Randomised_BSTs (0:00:21 elapsed time)
• Mission_Time_LTL (0:00:21 elapsed time)
• Knuth_Bendix_Order (0:00:21 elapsed time)
• Combinable_Wands (0:00:21 elapsed time)
• Recursion-Theory-I (0:00:21 elapsed time)
• Error_Function (0:00:21 elapsed time)
• Countable_Sums_and_Discrete_Distributions (0:00:21 elapsed time)
• Jordan_Hoelder (0:00:21 elapsed time)
• Inductive_Confidentiality (0:00:21 elapsed time)
• Ribbon_Proofs (0:00:21 elapsed time)
• Digit_Expansions (0:00:20 elapsed time)
• Erdos_Ginzburg_Ziv (0:00:20 elapsed time)
• Stellar_Quorums (0:00:20 elapsed time)
• Dilworth (0:00:20 elapsed time)
• Card_Multisets (0:00:19 elapsed time)
• Separata (0:00:19 elapsed time)
• HyperCTL (0:00:19 elapsed time)
• BurrowsWheeler (0:00:19 elapsed time)
• FOL_Seq_Calc3 (0:00:19 elapsed time)
• Belief_Revision (0:00:19 elapsed time)
• Latin_Square (0:00:19 elapsed time)
• FOL_Seq_Calc1 (0:00:19 elapsed time)
• LambdaMu (0:00:19 elapsed time)
• First_Welfare_Theorem (0:00:18 elapsed time)
• Case_Labeling (0:00:18 elapsed time)
• Trie (0:00:18 elapsed time)
• Quaternions (0:00:18 elapsed time)
• Bell_Numbers_Spivey (0:00:18 elapsed time)
• FeatherweightJava (0:00:18 elapsed time)
• Szpilrajn (0:00:18 elapsed time)
• PropResPI (0:00:18 elapsed time)
• Strong_Security (0:00:18 elapsed time)
• Stone_Cech (0:00:17 elapsed time)
• Gabbay_Labelled_Natural_Deduction (0:00:17 elapsed time)
• Lam-ml-Normalization (0:00:17 elapsed time)
• MiniML (0:00:17 elapsed time)
• Abstract_Soundness (0:00:17 elapsed time)
• Elementary_Ultrametric_Spaces (0:00:17 elapsed time)
• Lower_Semicontinuous (0:00:17 elapsed time)
• Eudoxus_Reals (0:00:17 elapsed time)
• Abstract-Hoare-Logics (0:00:17 elapsed time)
• Boolean_Expression_Checkers (0:00:17 elapsed time)
• Noninterference_Concurrent_Composition (0:00:17 elapsed time)
• Real_Power (0:00:17 elapsed time)
• Impossible_Geometry (0:00:16 elapsed time)
• WorkerWrapper (0:00:16 elapsed time)
• Restriction_Spaces-HOLCF (0:00:16 elapsed time)
• StrictOmegaCategories (0:00:16 elapsed time)
• Van_der_Waerden (0:00:16 elapsed time)
• JiveDataStoreModel (0:00:16 elapsed time)
• Huffman (0:00:16 elapsed time)
• Noninterference_Generic_Unwinding (0:00:16 elapsed time)
• Szemeredi_Regularity (0:00:16 elapsed time)
• Noninterference_Ipurge_Unwinding (0:00:16 elapsed time)
• Arbitrage_Probability_Correspondence (0:00:16 elapsed time)
• Random_Graph_Subgraph_Threshold (0:00:16 elapsed time)
• Zeckendorf (0:00:16 elapsed time)
• GoedelGod (0:00:16 elapsed time)
• Sum_Of_Squares_Count (0:00:16 elapsed time)
• Tycon (0:00:16 elapsed time)
• FOL_Axiomatic (0:00:15 elapsed time)
• Wooley_Elementary_Discrete_Inequality (0:00:15 elapsed time)
• Comparison_Sort_Lower_Bound (0:00:15 elapsed time)
• Restriction_Spaces (0:00:15 elapsed time)
• ArrowImpossibilityGS (0:00:15 elapsed time)
• Shallow_Expressions (0:00:15 elapsed time)
• Serializable (0:00:15 elapsed time)
• Noninterference_Inductive_Unwinding (0:00:15 elapsed time)
• MuchAdoAboutTwo (0:00:15 elapsed time)
• Epistemic_Logic (0:00:15 elapsed time)
• Noninterference_CSP (0:00:15 elapsed time)
• Ceva (0:00:15 elapsed time)
• Birkhoff_Finite_Distributive_Lattices (0:00:15 elapsed time)
• Karatsuba_Sqrt (0:00:14 elapsed time)
• Attack_Trees (0:00:14 elapsed time)
• Nullstellensatz (0:00:14 elapsed time)
• Cauchy_Davenport_Vosper (0:00:14 elapsed time)
• Parallel_Shear_Sort (0:00:14 elapsed time)
• Selection_Heap_Sort (0:00:14 elapsed time)
• Workflow_Net_Fitness_Measures (0:00:14 elapsed time)
• InformationFlowSlicing (0:00:14 elapsed time)
• Banach_Steinhaus (0:00:14 elapsed time)
• Substitutions_Lambda_Free (0:00:14 elapsed time)
• CryptoBasedCompositionalProperties (0:00:14 elapsed time)
• AnselmGod (0:00:13 elapsed time)
• RefinementReactive (0:00:13 elapsed time)
• SumSquares (0:00:13 elapsed time)
• Median_Method (0:00:13 elapsed time)
• Go_Test_Slow (0:00:13 elapsed time)
• Buffons_Needle (0:00:13 elapsed time)
• Minimal_SSA (0:00:13 elapsed time)
• Menger (0:00:13 elapsed time)
• Dedekind_Real (0:00:13 elapsed time)
• MonoBoolTranAlgebra (0:00:13 elapsed time)
• Integration (0:00:12 elapsed time)
• Topology (0:00:12 elapsed time)
• Feuerbach (0:00:12 elapsed time)
• Category (0:00:12 elapsed time)
• FileRefinement (0:00:12 elapsed time)
• No_Free_Lunch_ML (0:00:12 elapsed time)
• Concurrent_Ref_Alg (0:00:12 elapsed time)
• IMO2019 (0:00:12 elapsed time)
• Dynamic_Tables (0:00:12 elapsed time)
• Cube_Dissection (0:00:12 elapsed time)
• Risk_Free_Lending (0:00:12 elapsed time)
• Verified-Prover (0:00:12 elapsed time)
• Tree_Decomposition (0:00:11 elapsed time)
• Pop_Refinement (0:00:11 elapsed time)
• LatticeProperties (0:00:11 elapsed time)
• VolpanoSmith (0:00:11 elapsed time)
• VeriComp (0:00:11 elapsed time)
• Orbit_Stabiliser (0:00:11 elapsed time)
• Robbins-Conjecture (0:00:11 elapsed time)
• Sunflowers (0:00:10 elapsed time)
• Fixed_Length_Vector (0:00:10 elapsed time)
• Conditional_Transfer_Rule (0:00:10 elapsed time)
• Transitive_Union_Closed_Families (0:00:10 elapsed time)
• Binomial-Queues (0:00:10 elapsed time)
• GaleStewart_Games (0:00:10 elapsed time)
• Rogers_Ramanujan (0:00:10 elapsed time)
• Constructor_Funs (0:00:10 elapsed time)
• Implicational_Logic (0:00:10 elapsed time)
• Cauchy (0:00:10 elapsed time)
• Public_Announcement_Logic (0:00:10 elapsed time)
• Falling_Factorial_Sum (0:00:10 elapsed time)
• HotelKeyCards (0:00:10 elapsed time)
• LP_Duality (0:00:09 elapsed time)
• Relational-Incorrectness-Logic (0:00:09 elapsed time)
• Source_Coding_Theorem (0:00:09 elapsed time)
• Gray_Codes (0:00:09 elapsed time)
• Imperative_Insertion_Sort (0:00:09 elapsed time)
• Old_Datatype_Show (0:00:09 elapsed time)
• GPU_Kernel_PL (0:00:09 elapsed time)
• BinarySearchTree (0:00:09 elapsed time)
• Nash_Equilibrium (0:00:09 elapsed time)
• Arith_Prog_Rel_Primes (0:00:09 elapsed time)
• Matroids (0:00:09 elapsed time)
• CYK (0:00:09 elapsed time)
• Stream-Fusion (0:00:09 elapsed time)
• Stalnaker_Logic (0:00:09 elapsed time)
• FinFun (0:00:09 elapsed time)
• Abel_Limit_Theorem (0:00:09 elapsed time)
• Certification_Monads (0:00:09 elapsed time)
• TortoiseHare (0:00:09 elapsed time)
• Chord_Segments (0:00:08 elapsed time)
• Isabelle_Lex-Yacc (0:00:08 elapsed time)
• Secondary_Sylow (0:00:08 elapsed time)
• Cayley_Hamilton (0:00:08 elapsed time)
• DigitsInBase (0:00:08 elapsed time)
• Card_Number_Partitions (0:00:08 elapsed time)
• Fair_Games_Theorem (0:00:08 elapsed time)
• Tail_Recursive_Functions (0:00:08 elapsed time)
• Lazy-Lists-II (0:00:07 elapsed time)
• GenClock (0:00:07 elapsed time)
• Discrete_Summation (0:00:07 elapsed time)
• Fresh_Identifiers (0:00:07 elapsed time)
• Go (0:00:07 elapsed time)
• Stewart_Apollonius (0:00:07 elapsed time)
• Combinatorial_Nullstellensatz (0:00:07 elapsed time)
• Partial_Function_MR (0:00:07 elapsed time)
• Irrationals_From_THEBOOK (0:00:07 elapsed time)
• Goodstein_Lambda (0:00:07 elapsed time)
• Laws_of_Large_Numbers (0:00:07 elapsed time)
• Pairing_Heap (0:00:07 elapsed time)
• Uncertainty_Principle (0:00:07 elapsed time)
• Prefix_Free_Code_Combinators (0:00:07 elapsed time)
• Combinatorics_Words_Graph_Lemma (0:00:07 elapsed time)
• Fisher_Yates (0:00:07 elapsed time)
• Transitive-Closure (0:00:07 elapsed time)
• Stuttering_Equivalence (0:00:07 elapsed time)
• Nano_JSON (0:00:06 elapsed time)
• Submodular_Greedy (0:00:06 elapsed time)
• Maximum_Segment_Sum (0:00:06 elapsed time)
• Cartan_FP (0:00:06 elapsed time)
• Open_Induction (0:00:06 elapsed time)
• DataRefinementIBP (0:00:06 elapsed time)
• SAT_Not_Const_Time (0:00:06 elapsed time)
• ShortestPath (0:00:06 elapsed time)
• Gauss-Jordan-Elim-Fun (0:00:06 elapsed time)
• ClockSynchInst (0:00:06 elapsed time)
• Skew_Heap (0:00:06 elapsed time)
• DPT-SAT-Solver (0:00:06 elapsed time)
• Cotangent_PFD_Formula (0:00:06 elapsed time)
• Iteration_Algebra (0:00:06 elapsed time)
• Triangle (0:00:06 elapsed time)
• Lucas_Theorem (0:00:05 elapsed time)
• List-Index (0:00:05 elapsed time)
• Dyck_Language (0:00:05 elapsed time)
• Lifting_the_Exponent (0:00:05 elapsed time)
• Mason_Stothers (0:00:05 elapsed time)
• List_Interleaving (0:00:05 elapsed time)
• C2KA_DistributedSystems (0:00:05 elapsed time)
• Compiling-Exceptions-Correctly (0:00:05 elapsed time)
• MHComputation (0:00:05 elapsed time)
• Involutions2Squares (0:00:05 elapsed time)
• Wlog (0:00:05 elapsed time)
• Minkowskis_Theorem (0:00:05 elapsed time)
• Descartes_Sign_Rule (0:00:05 elapsed time)
• Liouville_Numbers (0:00:04 elapsed time)
• Perfect-Number-Thm (0:00:04 elapsed time)
• Lazy_Case (0:00:04 elapsed time)
• Sophomores_Dream (0:00:04 elapsed time)
• Aho_Corasick (0:00:04 elapsed time)
• Ptolemys_Theorem (0:00:04 elapsed time)
• Marriage (0:00:04 elapsed time)
• Surprise_Paradox (0:00:04 elapsed time)
• Monad_Normalisation (0:00:04 elapsed time)
• Lifting_Definition_Option (0:00:03 elapsed time)
• Sauer_Shelah_Lemma (0:00:03 elapsed time)
• CofGroups (0:00:03 elapsed time)
• Blue_Eyes (0:00:03 elapsed time)
• Recursion-Addition (0:00:03 elapsed time)
• Weighted_Arithmetic_Geometric_Mean (0:00:03 elapsed time)
• Lehmer (0:00:03 elapsed time)
• Mechanized_Metasemantics (0:00:03 elapsed time)
• FunWithFunctions (0:00:03 elapsed time)
• Max-Card-Matching (0:00:03 elapsed time)
• FFT (0:00:03 elapsed time)
• Ackermanns_not_PR (0:00:03 elapsed time)
• DCR-ExecutionEquivalence (0:00:03 elapsed time)
• Go_Test_Quick (0:00:03 elapsed time)
• Depth-First-Search (0:00:03 elapsed time)
• Hello_World (0:00:03 elapsed time)
• Free-Boolean-Algebra (0:00:02 elapsed time)
• Aristotles_Assertoric_Syllogistic (0:00:02 elapsed time)
• Boolos_Curious_Inference (0:00:02 elapsed time)
• Bondy (0:00:02 elapsed time)
• Card_Equiv_Relations (0:00:02 elapsed time)
• General-Triangle (0:00:02 elapsed time)
• Intro_Dest_Elim (0:00:02 elapsed time)
• Roy_Floyd_Warshall (0:00:02 elapsed time)
• RIPEMD-160-SPARK (0:00:02 elapsed time)
• SpecCheck (0:00:02 elapsed time)
• List_Power (0:00:02 elapsed time)
• Conditional_Simplification (0:00:02 elapsed time)
• Example-Submission (0:00:01 elapsed time)
• Mostowski_Collapse (0:00:01 elapsed time)
• Ordinals_and_Cardinals (0:00:01 elapsed time)
• Types_Tableaus_and_Goedels_God (0:00:00 elapsed time)
• Difference_Bound_Matrices (0:00:00 elapsed time)
• Lowe_Ontological_Argument (0:00:00 elapsed time)
• Topological_Semantics (0:00:00 elapsed time)
• Typed_Ordered_Resolution (0:00:00 elapsed time)
• CondNormReasHOL (0:00:00 elapsed time)

Crypto_Standards

data:

CSV

timing:

1:06:53 elapsed time

ML timing:

4007.214s elapsed time, 3989.719s cpu time, 78.281s GC time, factor 1.00

ML code maximum:

44.8 MiB

ML code average:

36.6 MiB

ML stack maximum:

65 MiB

ML stack average:

47.1 MiB

ML heap maximum:

6.1 GiB

ML heap average:

4.2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

AutoCorres2_Test

data:

CSV

timing:

1:04:28 elapsed time

ML timing:

3844.791s elapsed time, 3764.062s cpu time, 154.938s GC time, factor 0.98

ML code maximum:

9.4 MiB

ML code average:

6 MiB

ML stack maximum:

7 MiB

ML stack average:

6.5 MiB

ML heap maximum:

12.3 GiB

ML heap average:

6.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Correctness_Algebras

data:

CSV

timing:

0:53:01 elapsed time

ML timing:

3172.868s elapsed time, 814.688s cpu time, 46.656s GC time, factor 0.26

ML stack maximum:

5 MiB

ML stack average:

5 MiB

ML heap maximum:

5.5 GiB

ML heap average:

3.2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

ResiduatedTransitionSystem2

data:

CSV

timing:

0:50:35 elapsed time

ML timing:

3016.688s elapsed time, 3026.250s cpu time, 268.109s GC time, factor 1.00

ML stack maximum:

17 MiB

ML stack average:

17 MiB

ML heap maximum:

24.9 GiB

ML heap average:

11.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

HOL-ODE-Numerics

data:

CSV

timing:

0:47:45 elapsed time

ML timing:

2778.634s elapsed time, 2746.594s cpu time, 118.969s GC time, factor 0.99

ML code maximum:

8.1 MiB

ML code average:

4.5 MiB

ML stack maximum:

33 MiB

ML stack average:

14.2 MiB

ML heap maximum:

13.6 GiB

ML heap average:

10.2 GiB

ML heap stored:

281.4 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Two_Hermitian_Results

data:

CSV

timing:

0:47:01 elapsed time

ML timing:

2802.615s elapsed time, 2647.562s cpu time, 186.875s GC time, factor 0.94

ML code maximum:

3.8 MiB

ML code average:

3 MiB

ML stack maximum:

17 MiB

ML stack average:

13.4 MiB

ML heap maximum:

8 GiB

ML heap average:

5.3 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CZH_Universal_Constructions

data:

CSV

timing:

0:45:55 elapsed time

ML timing:

2745.937s elapsed time, 2743.375s cpu time, 361.422s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

8.8 MiB

ML heap maximum:

19.5 GiB

ML heap average:

8.3 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

IMP_With_Speculation

data:

CSV

timing:

0:43:46 elapsed time

ML timing:

2621.930s elapsed time, 2376.891s cpu time, 37.484s GC time, factor 0.91

ML stack maximum:

5 MiB

ML stack average:

4.9 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CoSMeDis

data:

CSV

timing:

0:40:57 elapsed time

ML timing:

2451.553s elapsed time, 2450.703s cpu time, 63.266s GC time, factor 1.00

ML stack maximum:

5 MiB

ML stack average:

4.8 MiB

ML heap maximum:

6.5 GiB

ML heap average:

2.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

AutoCorres2

data:

CSV

timing:

0:38:28 elapsed time

ML timing:

2290.152s elapsed time, 2220.094s cpu time, 116.484s GC time, factor 0.97

ML code maximum:

20.6 MiB

ML code average:

13.3 MiB

ML stack maximum:

34.5 MiB

ML stack average:

27 MiB

ML heap maximum:

5.9 GiB

ML heap average:

4.7 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Modular_arithmetic_LLL_and_HNF_algorithms

data:

CSV

timing:

0:37:36 elapsed time

ML timing:

2242.699s elapsed time, 2180.078s cpu time, 123.328s GC time, factor 0.97

ML stack maximum:

33 MiB

ML stack average:

20.4 MiB

ML heap maximum:

10.9 GiB

ML heap average:

6.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

MiniSail

data:

CSV

timing:

0:33:06 elapsed time

ML timing:

1982.340s elapsed time, 1983.125s cpu time, 102.406s GC time, factor 1.00

ML code maximum:

3.3 MiB

ML code average:

3.3 MiB

ML stack maximum:

9 MiB

ML stack average:

8.2 MiB

ML heap maximum:

16.1 GiB

ML heap average:

11.3 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Frequency_Moments

data:

CSV

timing:

0:32:20 elapsed time

ML timing:

1923.442s elapsed time, 1929.594s cpu time, 164.906s GC time, factor 1.00

ML code maximum:

1.6 MiB

ML code average:

1.3 MiB

ML stack maximum:

17 MiB

ML stack average:

13.6 MiB

ML heap maximum:

17.8 GiB

ML heap average:

9.1 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CoCon

data:

CSV

timing:

0:31:00 elapsed time

ML timing:

1856.881s elapsed time, 1857.250s cpu time, 20.297s GC time, factor 1.00

ML stack maximum:

3 MiB

ML stack average:

3 MiB

ML heap maximum:

2.5 GiB

ML heap average:

1.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Hidden_Number_Problem

data:

CSV

timing:

0:29:25 elapsed time

ML timing:

1742.557s elapsed time, 1733.906s cpu time, 109.906s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

8.6 MiB

ML heap maximum:

11.3 GiB

ML heap average:

7.3 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Padic_Field

data:

CSV

timing:

0:29:21 elapsed time

ML timing:

1747.212s elapsed time, 1585.578s cpu time, 225.734s GC time, factor 0.91

ML code maximum:

1.1 MiB

ML stack maximum:

17 MiB

ML stack average:

16.9 MiB

ML heap maximum:

31.6 GiB

ML heap average:

11.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

SC_DOM_Components

data:

CSV

timing:

0:26:50 elapsed time

ML timing:

1604.684s elapsed time, 1602.188s cpu time, 30.078s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

9 MiB

ML heap maximum:

4.3 GiB

ML heap average:

2.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Shadow_SC_DOM

data:

CSV

timing:

0:23:16 elapsed time

ML timing:

1296.072s elapsed time, 1280.219s cpu time, 55.547s GC time, factor 0.99

ML code maximum:

8.8 MiB

ML code average:

1.6 MiB

ML stack maximum:

33 MiB

ML stack average:

30.9 MiB

ML heap maximum:

5.4 GiB

ML heap average:

3.3 GiB

ML heap stored:

42.2 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CZH_Elementary_Categories

data:

CSV

timing:

0:22:59 elapsed time

ML timing:

1365.427s elapsed time, 1369.969s cpu time, 206.750s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

8.4 MiB

ML heap maximum:

11.7 GiB

ML heap average:

7.2 GiB

ML heap stored:

34.2 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Diophantine_Universal_Pairs

data:

CSV

timing:

0:22:37 elapsed time

ML timing:

1347.743s elapsed time, 1300.344s cpu time, 89.891s GC time, factor 0.96

ML code maximum:

1.1 MiB

ML stack maximum:

9 MiB

ML stack average:

6.2 MiB

ML heap maximum:

10.7 GiB

ML heap average:

4.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Neural_Networks

data:

CSV

timing:

0:21:51 elapsed time

ML timing:

1303.798s elapsed time, 1200.234s cpu time, 64.953s GC time, factor 0.92

ML code maximum:

15.2 MiB

ML code average:

5.7 MiB

ML stack maximum:

17 MiB

ML stack average:

16.1 MiB

ML heap maximum:

6.4 GiB

ML heap average:

4.7 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Automated_Stateful_Protocol_Verification

data:

CSV

timing:

0:21:22 elapsed time

ML timing:

1259.859s elapsed time, 1258.797s cpu time, 157.344s GC time, factor 1.00

ML code maximum:

11.6 MiB

ML code average:

3.4 MiB

ML stack maximum:

33 MiB

ML stack average:

28.7 MiB

ML heap maximum:

25.9 GiB

ML heap average:

11.2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

FO_Theory_Rewriting

data:

CSV

timing:

0:20:50 elapsed time

ML timing:

1232.901s elapsed time, 1237.266s cpu time, 74.438s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

8.9 MiB

ML heap maximum:

6.7 GiB

ML heap average:

4.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Expander_Graphs

data:

CSV

timing:

0:20:48 elapsed time

ML timing:

1178.033s elapsed time, 1178.594s cpu time, 111.781s GC time, factor 1.00

ML code maximum:

1.4 MiB

ML code average:

1.1 MiB

ML stack maximum:

17 MiB

ML stack average:

12 MiB

ML heap maximum:

13.3 GiB

ML heap average:

9.3 GiB

ML heap stored:

254.8 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Complex_Bounded_Operators

data:

CSV

timing:

0:20:31 elapsed time

ML timing:

1157.981s elapsed time, 1129.938s cpu time, 81.297s GC time, factor 0.98

ML code maximum:

6 MiB

ML code average:

1.4 MiB

ML stack maximum:

9 MiB

ML stack average:

8.1 MiB

ML heap maximum:

8.4 GiB

ML heap average:

4.1 GiB

ML heap stored:

233 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Superposition_Calculus

data:

CSV

timing:

0:20:08 elapsed time

ML timing:

1196.951s elapsed time, 1191.781s cpu time, 102.281s GC time, factor 1.00

ML stack maximum:

5 MiB

ML stack average:

5 MiB

ML heap maximum:

9.8 GiB

ML heap average:

6.3 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CAVA_Setup

data:

CSV

timing:

0:19:28 elapsed time

ML timing:

1101.768s elapsed time, 1090.453s cpu time, 51.938s GC time, factor 0.99

ML stack maximum:

9 MiB

ML stack average:

8.5 MiB

ML heap maximum:

8.4 GiB

ML heap average:

5.5 GiB

ML heap stored:

292.4 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

AutoCorres2_Main

data:

CSV

timing:

0:19:22 elapsed time

ML timing:

1095.112s elapsed time, 1038.031s cpu time, 63.469s GC time, factor 0.95

ML code maximum:

13.6 MiB

ML code average:

7.7 MiB

ML stack maximum:

33 MiB

ML stack average:

18.7 MiB

ML heap maximum:

5.3 GiB

ML heap average:

3.5 GiB

ML heap stored:

236.9 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Category3

data:

CSV

timing:

0:18:47 elapsed time

ML timing:

1086.664s elapsed time, 1085.125s cpu time, 84.719s GC time, factor 1.00

ML stack maximum:

17 MiB

ML stack average:

13.1 MiB

ML heap maximum:

14.3 GiB

ML heap average:

6.5 GiB

ML heap stored:

61.1 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CVM_Distinct_Elements

data:

CSV

timing:

0:18:47 elapsed time

ML timing:

1116.481s elapsed time, 1125.156s cpu time, 103.375s GC time, factor 1.01

ML code maximum:

1.3 MiB

ML code average:

1.1 MiB

ML stack maximum:

17 MiB

ML stack average:

10.7 MiB

ML heap maximum:

15.2 GiB

ML heap average:

9.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Isabelle-Solidity

data:

CSV

timing:

0:18:45 elapsed time

ML timing:

1121.217s elapsed time, 1118.828s cpu time, 23.000s GC time, factor 1.00

ML code maximum:

64.1 MiB

ML code average:

51.4 MiB

ML stack maximum:

17 MiB

ML stack average:

16.9 MiB

ML heap maximum:

2.4 GiB

ML heap average:

2.1 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Goedel_HFSet_Semanticless

data:

CSV

timing:

0:17:35 elapsed time

ML timing:

1052.527s elapsed time, 1055.891s cpu time, 22.641s GC time, factor 1.00

ML code maximum:

3.3 MiB

ML code average:

3.1 MiB

ML stack maximum:

9 MiB

ML stack average:

9 MiB

ML heap maximum:

2.5 GiB

ML heap average:

1.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Broadcast_Psi

data:

CSV

timing:

0:17:30 elapsed time

ML timing:

1044.821s elapsed time, 1051.047s cpu time, 19.062s GC time, factor 1.01

ML stack maximum:

33 MiB

ML stack average:

31.9 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Zip_Benchmarks

data:

CSV

timing:

0:16:58 elapsed time

ML timing:

1011.749s elapsed time, 1020.734s cpu time, 56.594s GC time, factor 1.01

ML code maximum:

22.2 MiB

ML code average:

19 MiB

ML stack maximum:

17 MiB

ML stack average:

9.8 MiB

ML heap maximum:

9.3 GiB

ML heap average:

8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Set_Reconciliation

data:

CSV

timing:

0:16:35 elapsed time

ML timing:

986.525s elapsed time, 976.703s cpu time, 84.891s GC time, factor 0.99

ML code maximum:

1.5 MiB

ML stack maximum:

9 MiB

ML stack average:

9 MiB

ML heap maximum:

8.5 GiB

ML heap average:

4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

JinjaDCI

data:

CSV

timing:

0:16:34 elapsed time

ML timing:

989.566s elapsed time, 993.156s cpu time, 17.469s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

7 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Solidity

data:

CSV

timing:

0:16:21 elapsed time

ML timing:

976.606s elapsed time, 977.969s cpu time, 19.031s GC time, factor 1.00

ML code maximum:

12.6 MiB

ML code average:

4 MiB

ML stack maximum:

9 MiB

ML stack average:

8.7 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.7 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

MSO_Regex_Equivalence

data:

CSV

timing:

0:16:17 elapsed time

ML timing:

973.114s elapsed time, 975.141s cpu time, 29.453s GC time, factor 1.00

ML code maximum:

4.7 MiB

ML stack maximum:

9 MiB

ML stack average:

9 MiB

ML heap maximum:

3.3 GiB

ML heap average:

2.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Quantifier_Elimination_Hybrid

data:

CSV

timing:

0:16:00 elapsed time

ML timing:

951.060s elapsed time, 898.031s cpu time, 30.328s GC time, factor 0.94

ML code maximum:

12.1 MiB

ML code average:

5.3 MiB

ML stack maximum:

17 MiB

ML stack average:

12.3 MiB

ML heap maximum:

3.1 GiB

ML heap average:

2.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

HOL-ODE-ARCH-COMP

data:

CSV

timing:

0:15:58 elapsed time

ML timing:

955.018s elapsed time, 942.750s cpu time, 17.250s GC time, factor 0.99

ML stack maximum:

3 MiB

ML stack average:

2 MiB

ML heap maximum:

2 GiB

ML heap average:

1.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Universal_Hash_Families

data:

CSV

timing:

0:15:40 elapsed time

ML timing:

891.770s elapsed time, 900.062s cpu time, 70.000s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

6.7 MiB

ML heap maximum:

10.1 GiB

ML heap average:

7 GiB

ML heap stored:

158 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Shadow_DOM

data:

CSV

timing:

0:15:28 elapsed time

ML timing:

854.564s elapsed time, 852.578s cpu time, 55.766s GC time, factor 1.00

ML code maximum:

6.2 MiB

ML code average:

1.8 MiB

ML stack maximum:

33 MiB

ML stack average:

30.7 MiB

ML heap maximum:

4.1 GiB

ML heap average:

2.9 GiB

ML heap stored:

38 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Jordan_Normal_Form

data:

CSV

timing:

0:15:16 elapsed time

ML timing:

864.752s elapsed time, 871.094s cpu time, 31.719s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

8.4 MiB

ML heap maximum:

4.4 GiB

ML heap average:

3.4 GiB

ML heap stored:

185.7 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Smith_Normal_Form

data:

CSV

timing:

0:15:14 elapsed time

ML timing:

857.394s elapsed time, 833.391s cpu time, 49.750s GC time, factor 0.97

ML stack maximum:

9 MiB

ML stack average:

6.5 MiB

ML heap maximum:

4.9 GiB

ML heap average:

3.9 GiB

ML heap stored:

143.9 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CakeML_Codegen

data:

CSV

timing:

0:14:54 elapsed time

ML timing:

888.902s elapsed time, 771.359s cpu time, 51.688s GC time, factor 0.87

ML code maximum:

2 MiB

ML code average:

1.7 MiB

ML stack maximum:

5.1 MiB

ML stack average:

4.7 MiB

ML heap maximum:

2.9 GiB

ML heap average:

1.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

SWF_Impossibility

data:

CSV

timing:

0:14:46 elapsed time

ML timing:

883.732s elapsed time, 883.344s cpu time, 29.938s GC time, factor 1.00

ML stack maximum:

33 MiB

ML stack average:

27.3 MiB

ML heap maximum:

7 GiB

ML heap average:

5.2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Goedel_HFSet_Semantic

data:

CSV

timing:

0:14:43 elapsed time

ML timing:

879.931s elapsed time, 881.641s cpu time, 20.422s GC time, factor 1.00

ML code maximum:

3.3 MiB

ML code average:

3.1 MiB

ML stack maximum:

9 MiB

ML stack average:

9 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Affine_Arithmetic

data:

CSV

timing:

0:14:40 elapsed time

ML timing:

836.513s elapsed time, 837.484s cpu time, 56.000s GC time, factor 1.00

ML code maximum:

4.1 MiB

ML code average:

1.3 MiB

ML stack maximum:

17 MiB

ML stack average:

12.8 MiB

ML heap maximum:

7.3 GiB

ML heap average:

3.1 GiB

ML heap stored:

157.6 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

FSM_Tests

data:

CSV

timing:

0:14:36 elapsed time

ML timing:

867.479s elapsed time, 877.281s cpu time, 49.297s GC time, factor 1.01

ML code maximum:

1 MiB

ML code average:

1 MiB

ML stack maximum:

17 MiB

ML stack average:

11.7 MiB

ML heap maximum:

5.3 GiB

ML heap average:

3.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Incompleteness

data:

CSV

timing:

0:14:25 elapsed time

ML timing:

850.790s elapsed time, 853.234s cpu time, 20.297s GC time, factor 1.00

ML code maximum:

3.3 MiB

ML code average:

3.1 MiB

ML stack maximum:

9 MiB

ML stack average:

8.9 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.4 GiB

ML heap stored:

76.4 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

IsaGeoCoq

data:

CSV

timing:

0:14:14 elapsed time

ML timing:

849.673s elapsed time, 848.797s cpu time, 56.266s GC time, factor 1.00

ML stack maximum:

65 MiB

ML stack average:

65 MiB

ML heap maximum:

3.7 GiB

ML heap average:

2.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Three_Squares

data:

CSV

timing:

0:13:39 elapsed time

ML timing:

774.160s elapsed time, 778.344s cpu time, 50.781s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

6.7 MiB

ML heap maximum:

6 GiB

ML heap average:

3.7 GiB

ML heap stored:

148 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Perron_Frobenius

data:

CSV

timing:

0:13:26 elapsed time

ML timing:

799.007s elapsed time, 774.922s cpu time, 34.031s GC time, factor 0.97

ML code maximum:

3.6 MiB

ML code average:

2.8 MiB

ML stack maximum:

9 MiB

ML stack average:

9 MiB

ML heap maximum:

4.7 GiB

ML heap average:

2.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Slicing

data:

CSV

timing:

0:13:23 elapsed time

ML timing:

783.006s elapsed time, 785.250s cpu time, 12.656s GC time, factor 1.00

ML stack maximum:

5 MiB

ML stack average:

4.9 MiB

ML heap maximum:

2 GiB

ML heap average:

1.4 GiB

ML heap stored:

57.5 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Iptables_Semantics_Examples

data:

CSV

timing:

0:13:03 elapsed time

ML timing:

781.302s elapsed time, 781.188s cpu time, 43.156s GC time, factor 1.00

ML code maximum:

8.1 MiB

ML code average:

4.9 MiB

ML stack maximum:

5 MiB

ML stack average:

4.9 MiB

ML heap maximum:

3.1 GiB

ML heap average:

1.7 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Finite_Fields

data:

CSV

timing:

0:12:57 elapsed time

ML timing:

769.499s elapsed time, 774.359s cpu time, 61.328s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

6.9 MiB

ML heap maximum:

6.9 GiB

ML heap average:

5.3 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Schoenhage_Strassen

data:

CSV

timing:

0:12:56 elapsed time

ML timing:

767.488s elapsed time, 762.906s cpu time, 66.250s GC time, factor 0.99

ML stack maximum:

9 MiB

ML stack average:

8.2 MiB

ML heap maximum:

7.9 GiB

ML heap average:

5.7 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Distributed_Distinct_Elements

data:

CSV

timing:

0:12:55 elapsed time

ML timing:

727.952s elapsed time, 735.562s cpu time, 41.844s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

7.5 MiB

ML heap maximum:

4.6 GiB

ML heap average:

3.9 GiB

ML heap stored:

151.9 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Constructive_Cryptography_CM

data:

CSV

timing:

0:12:32 elapsed time

ML timing:

746.039s elapsed time, 747.078s cpu time, 22.641s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

8.4 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Multirelations

data:

CSV

timing:

0:12:06 elapsed time

ML timing:

724.049s elapsed time, 91.281s cpu time, 5.688s GC time, factor 0.13

ML code maximum:

6.5 MiB

ML stack maximum:

5 MiB

ML stack average:

5 MiB

ML heap maximum:

2.1 GiB

ML heap average:

1.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Stateful_Protocol_Composition_and_Typing

data:

CSV

timing:

0:12:05 elapsed time

ML timing:

683.987s elapsed time, 688.797s cpu time, 29.172s GC time, factor 1.01

ML stack maximum:

17 MiB

ML stack average:

14.8 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.1 GiB

ML heap stored:

92.4 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Network_Security_Policy_Verification

data:

CSV

timing:

0:11:56 elapsed time

ML timing:

712.089s elapsed time, 671.531s cpu time, 29.281s GC time, factor 0.94

ML code maximum:

21.2 MiB

ML code average:

5.3 MiB

ML stack maximum:

9 MiB

ML stack average:

9 MiB

ML heap maximum:

4 GiB

ML heap average:

3.2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

HRB-Slicing

data:

CSV

timing:

0:11:55 elapsed time

ML timing:

684.526s elapsed time, 690.891s cpu time, 19.250s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

8.7 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.4 GiB

ML heap stored:

74.7 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Negative_Association

data:

CSV

timing:

0:11:46 elapsed time

ML timing:

699.355s elapsed time, 703.828s cpu time, 57.375s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

7.8 MiB

ML heap maximum:

6.1 GiB

ML heap average:

2.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Security_Protocol_Refinement

data:

CSV

timing:

0:11:27 elapsed time

ML timing:

685.431s elapsed time, 686.609s cpu time, 4.844s GC time, factor 1.00

ML stack maximum:

3 MiB

ML stack average:

2.9 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

PAC_Checker

data:

CSV

timing:

0:11:27 elapsed time

ML timing:

679.462s elapsed time, 667.656s cpu time, 47.219s GC time, factor 0.98

ML stack maximum:

5 MiB

ML stack average:

4.9 MiB

ML heap maximum:

8.6 GiB

ML heap average:

5.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Groebner_Bases

data:

CSV

timing:

0:11:21 elapsed time

ML timing:

609.983s elapsed time, 618.391s cpu time, 70.703s GC time, factor 1.01

ML code maximum:

16.9 MiB

ML code average:

6 MiB

ML stack maximum:

9 MiB

ML stack average:

8.3 MiB

ML heap maximum:

9.6 GiB

ML heap average:

5.1 GiB

ML heap stored:

183.2 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Polynomial_Commitment_Schemes

data:

CSV

timing:

0:11:20 elapsed time

ML timing:

673.077s elapsed time, 669.422s cpu time, 52.938s GC time, factor 0.99

ML stack maximum:

9 MiB

ML stack average:

8.1 MiB

ML heap maximum:

3.8 GiB

ML heap average:

3.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Psi_Calculi

data:

CSV

timing:

0:11:16 elapsed time

ML timing:

672.565s elapsed time, 679.953s cpu time, 23.719s GC time, factor 1.01

ML stack maximum:

17 MiB

ML stack average:

16.2 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.1 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CakeML

data:

CSV

timing:

0:11:15 elapsed time

ML timing:

636.276s elapsed time, 620.312s cpu time, 52.688s GC time, factor 0.97

ML code maximum:

1.8 MiB

ML code average:

1.4 MiB

ML stack maximum:

9 MiB

ML stack average:

8.3 MiB

ML heap maximum:

6.7 GiB

ML heap average:

3.9 GiB

ML heap stored:

205.9 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

First_Order_Clause

data:

CSV

timing:

0:11:07 elapsed time

ML timing:

659.149s elapsed time, 652.297s cpu time, 44.875s GC time, factor 0.99

ML code maximum:

2.2 MiB

ML code average:

2 MiB

ML stack maximum:

9 MiB

ML stack average:

8.7 MiB

ML heap maximum:

5.4 GiB

ML heap average:

3.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Collections

data:

CSV

timing:

0:11:05 elapsed time

ML timing:

593.076s elapsed time, 537.344s cpu time, 62.250s GC time, factor 0.91

ML stack maximum:

9 MiB

ML stack average:

7.6 MiB

ML heap maximum:

8.3 GiB

ML heap average:

4.3 GiB

ML heap stored:

247.6 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Linear_Recurrences_Solver

data:

CSV

timing:

0:11:02 elapsed time

ML timing:

656.893s elapsed time, 656.109s cpu time, 23.109s GC time, factor 1.00

ML code maximum:

11.1 MiB

ML code average:

4.7 MiB

ML stack maximum:

9 MiB

ML stack average:

9 MiB

ML heap maximum:

3 GiB

ML heap average:

2.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

MDP-Algorithms

data:

CSV

timing:

0:10:57 elapsed time

ML timing:

649.755s elapsed time, 649.344s cpu time, 40.953s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

5.8 MiB

ML heap maximum:

6 GiB

ML heap average:

3.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Auto2_Imperative_HOL

data:

CSV

timing:

0:10:52 elapsed time

ML timing:

650.329s elapsed time, 643.312s cpu time, 5.094s GC time, factor 0.99

ML code maximum:

1.1 MiB

ML stack maximum:

2 MiB

ML stack average:

1.7 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Universal_Turing_Machine

data:

CSV

timing:

0:10:47 elapsed time

ML timing:

644.776s elapsed time, 637.312s cpu time, 12.750s GC time, factor 0.99

ML stack maximum:

17 MiB

ML stack average:

8.6 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Projective_Measurements

data:

CSV

timing:

0:10:47 elapsed time

ML timing:

603.363s elapsed time, 599.016s cpu time, 32.328s GC time, factor 0.99

ML stack maximum:

9 MiB

ML stack average:

7.2 MiB

ML heap maximum:

3.4 GiB

ML heap average:

2.6 GiB

ML heap stored:

125.1 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

No_FTL_observers_Gen_Rel

data:

CSV

timing:

0:10:36 elapsed time

ML timing:

632.488s elapsed time, 635.000s cpu time, 13.531s GC time, factor 1.00

ML stack maximum:

33 MiB

ML stack average:

16.1 MiB

ML heap maximum:

3.5 GiB

ML heap average:

2.7 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

OmegaCatoidsQuantales

data:

CSV

timing:

0:10:36 elapsed time

ML timing:

630.239s elapsed time, 596.234s cpu time, 27.297s GC time, factor 0.95

ML stack maximum:

3 MiB

ML stack average:

2.8 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

MFODL_Monitor_Optimized

data:

CSV

timing:

0:10:32 elapsed time

ML timing:

627.948s elapsed time, 627.859s cpu time, 23.625s GC time, factor 1.00

ML stack maximum:

17 MiB

ML stack average:

12.9 MiB

ML heap maximum:

2.9 GiB

ML heap average:

1.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Core_DOM

data:

CSV

timing:

0:10:11 elapsed time

ML timing:

542.013s elapsed time, 542.469s cpu time, 27.906s GC time, factor 1.00

ML code maximum:

4.3 MiB

ML stack maximum:

17 MiB

ML stack average:

15.4 MiB

ML heap maximum:

4.7 GiB

ML heap average:

2.3 GiB

ML heap stored:

65.4 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Transition_Systems_and_Automata

data:

CSV

timing:

0:10:11 elapsed time

ML timing:

564.687s elapsed time, 561.938s cpu time, 34.234s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

5.6 MiB

ML heap maximum:

3.7 GiB

ML heap average:

2.7 GiB

ML heap stored:

154.1 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

X86_Semantics

data:

CSV

timing:

0:10:08 elapsed time

ML timing:

606.015s elapsed time, 602.672s cpu time, 16.359s GC time, factor 0.99

ML stack maximum:

9 MiB

ML stack average:

9 MiB

ML heap maximum:

2.5 GiB

ML heap average:

1.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Executable_Randomized_Algorithms

data:

CSV

timing:

0:10:01 elapsed time

ML timing:

595.848s elapsed time, 599.297s cpu time, 63.422s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

8 MiB

ML heap maximum:

3.6 GiB

ML heap average:

2.7 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

ResiduatedTransitionSystem

data:

CSV

timing:

0:10:01 elapsed time

ML timing:

570.123s elapsed time, 572.141s cpu time, 26.984s GC time, factor 1.00

ML stack maximum:

33 MiB

ML stack average:

31.6 MiB

ML heap maximum:

4.6 GiB

ML heap average:

3.3 GiB

ML heap stored:

61.1 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Virtual_Substitution

data:

CSV

timing:

0:10:00 elapsed time

ML timing:

594.387s elapsed time, 572.406s cpu time, 38.922s GC time, factor 0.96

ML code maximum:

5.9 MiB

ML code average:

3.8 MiB

ML stack maximum:

17 MiB

ML stack average:

10 MiB

ML heap maximum:

3.1 GiB

ML heap average:

2.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Computational_pAdics

data:

CSV

timing:

0:09:54 elapsed time

ML timing:

587.763s elapsed time, 587.781s cpu time, 25.500s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

9 MiB

ML heap maximum:

3.5 GiB

ML heap average:

2.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Cook_Levin

data:

CSV

timing:

0:09:34 elapsed time

ML timing:

540.428s elapsed time, 514.625s cpu time, 12.234s GC time, factor 0.95

ML stack maximum:

17 MiB

ML stack average:

12.3 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.1 GiB

ML heap stored:

90.3 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Regular_Tree_Relations

data:

CSV

timing:

0:09:14 elapsed time

ML timing:

548.334s elapsed time, 549.000s cpu time, 25.562s GC time, factor 1.00

ML stack maximum:

5 MiB

ML stack average:

5 MiB

ML heap maximum:

5 GiB

ML heap average:

4.1 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Berlekamp_Zassenhaus

data:

CSV

timing:

0:09:10 elapsed time

ML timing:

510.650s elapsed time, 511.625s cpu time, 33.938s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

8.2 MiB

ML heap maximum:

3.1 GiB

ML heap average:

2.2 GiB

ML heap stored:

133.4 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Complx

data:

CSV

timing:

0:09:08 elapsed time

ML timing:

545.558s elapsed time, 546.016s cpu time, 8.297s GC time, factor 1.00

ML stack maximum:

5 MiB

ML stack average:

2.9 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Formal_SSA

data:

CSV

timing:

0:08:58 elapsed time

ML timing:

508.568s elapsed time, 511.844s cpu time, 15.906s GC time, factor 1.01

ML stack maximum:

5 MiB

ML stack average:

4.7 MiB

ML heap maximum:

2.9 GiB

ML heap average:

1.9 GiB

ML heap stored:

74.7 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Core_SC_DOM

data:

CSV

timing:

0:08:57 elapsed time

ML timing:

473.316s elapsed time, 466.953s cpu time, 16.406s GC time, factor 0.99

ML code maximum:

5 MiB

ML code average:

1.1 MiB

ML stack maximum:

17 MiB

ML stack average:

15.3 MiB

ML heap maximum:

3 GiB

ML heap average:

2.3 GiB

ML heap stored:

75.6 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Van_Emde_Boas_Trees

data:

CSV

timing:

0:08:40 elapsed time

ML timing:

516.131s elapsed time, 493.219s cpu time, 16.281s GC time, factor 0.96

ML code maximum:

1.5 MiB

ML code average:

1.4 MiB

ML stack maximum:

9 MiB

ML stack average:

8.9 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Probabilistic_Prime_Tests

data:

CSV

timing:

0:08:39 elapsed time

ML timing:

512.200s elapsed time, 518.922s cpu time, 56.281s GC time, factor 1.01

ML stack maximum:

5 MiB

ML stack average:

4.8 MiB

ML heap maximum:

7.6 GiB

ML heap average:

4.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Formula_Derivatives

data:

CSV

timing:

0:08:38 elapsed time

ML timing:

488.777s elapsed time, 489.672s cpu time, 158.109s GC time, factor 1.00

ML code maximum:

1.7 MiB

ML stack maximum:

17 MiB

ML stack average:

4.9 MiB

ML heap maximum:

6.7 GiB

ML heap average:

4 GiB

ML heap stored:

93.9 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

MonoidalCategory

data:

CSV

timing:

0:08:31 elapsed time

ML timing:

491.037s elapsed time, 492.172s cpu time, 35.266s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

8.8 MiB

ML heap maximum:

10.9 GiB

ML heap average:

4.1 GiB

ML heap stored:

32.7 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Relational_Cardinality

data:

CSV

timing:

0:08:19 elapsed time

ML timing:

497.015s elapsed time, 217.281s cpu time, 8.125s GC time, factor 0.44

ML stack maximum:

5 MiB

ML stack average:

4.8 MiB

ML heap maximum:

2.8 GiB

ML heap average:

1.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Jinja

data:

CSV

timing:

0:08:18 elapsed time

ML timing:

479.610s elapsed time, 481.250s cpu time, 13.000s GC time, factor 1.00

ML code maximum:

1.5 MiB

ML code average:

1.3 MiB

ML stack maximum:

5 MiB

ML stack average:

4.6 MiB

ML heap maximum:

2.8 GiB

ML heap average:

1.8 GiB

ML heap stored:

64.2 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Key_Agreement_Strong_Adversaries

data:

CSV

timing:

0:08:14 elapsed time

ML timing:

492.895s elapsed time, 494.359s cpu time, 3.828s GC time, factor 1.00

ML stack maximum:

3 MiB

ML stack average:

2.8 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Hybrid_Systems_VCs

data:

CSV

timing:

0:08:13 elapsed time

ML timing:

488.332s elapsed time, 485.062s cpu time, 16.672s GC time, factor 0.99

ML stack maximum:

5 MiB

ML stack average:

5 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Syntax_Independent_Logic

data:

CSV

timing:

0:08:05 elapsed time

ML timing:

475.353s elapsed time, 476.797s cpu time, 3.688s GC time, factor 1.00

ML stack maximum:

5 MiB

ML stack average:

4.9 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.4 GiB

ML heap stored:

17.3 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

DOM_Components

data:

CSV

timing:

0:07:57 elapsed time

ML timing:

473.585s elapsed time, 473.141s cpu time, 11.734s GC time, factor 1.00

ML stack maximum:

5 MiB

ML stack average:

5 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.1 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Elliptic_Functions

data:

CSV

timing:

0:07:50 elapsed time

ML timing:

435.124s elapsed time, 443.297s cpu time, 21.906s GC time, factor 1.02

ML stack maximum:

5 MiB

ML stack average:

4.7 MiB

ML heap maximum:

3.9 GiB

ML heap average:

2.4 GiB

ML heap stored:

111 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CoSMed

data:

CSV

timing:

0:07:41 elapsed time

ML timing:

459.873s elapsed time, 459.688s cpu time, 3.594s GC time, factor 1.00

ML stack maximum:

5 MiB

ML stack average:

3.5 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

AI_Planning_Languages_Semantics

data:

CSV

timing:

0:07:39 elapsed time

ML timing:

454.125s elapsed time, 457.688s cpu time, 42.344s GC time, factor 1.01

ML code maximum:

1.4 MiB

ML code average:

1.3 MiB

ML stack maximum:

9 MiB

ML stack average:

8.8 MiB

ML heap maximum:

5.1 GiB

ML heap average:

2.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Probabilistic_Timed_Automata

data:

CSV

timing:

0:07:39 elapsed time

ML timing:

454.196s elapsed time, 457.375s cpu time, 22.703s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

7 MiB

ML heap maximum:

3.5 GiB

ML heap average:

1.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Bessel

data:

CSV

timing:

0:07:37 elapsed time

ML timing:

452.084s elapsed time, 458.453s cpu time, 30.891s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

6.7 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

IP_Addresses

data:

CSV

timing:

0:07:32 elapsed time

ML timing:

440.080s elapsed time, 440.781s cpu time, 16.109s GC time, factor 1.00

ML code maximum:

3 MiB

ML stack maximum:

17 MiB

ML stack average:

12.3 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.1 GiB

ML heap stored:

58.7 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Infinite_Descent_Criteria

data:

CSV

timing:

0:07:30 elapsed time

ML timing:

446.239s elapsed time, 441.578s cpu time, 14.047s GC time, factor 0.99

ML stack maximum:

5 MiB

ML stack average:

4.6 MiB

ML heap maximum:

2.7 GiB

ML heap average:

1.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Quantales_Converse

data:

CSV

timing:

0:07:30 elapsed time

ML timing:

426.992s elapsed time, 420.984s cpu time, 17.016s GC time, factor 0.99

ML stack maximum:

3 MiB

ML stack average:

2.8 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.1 GiB

ML heap stored:

93.9 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

MFOTL_Checker

data:

CSV

timing:

0:07:30 elapsed time

ML timing:

444.384s elapsed time, 443.938s cpu time, 30.609s GC time, factor 1.00

ML code maximum:

1.5 MiB

ML stack maximum:

9 MiB

ML stack average:

6.1 MiB

ML heap maximum:

3.8 GiB

ML heap average:

2.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Picks_Theorem

data:

CSV

timing:

0:07:20 elapsed time

ML timing:

436.229s elapsed time, 327.500s cpu time, 9.422s GC time, factor 0.75

ML stack maximum:

17 MiB

ML stack average:

12.9 MiB

ML heap maximum:

2.2 GiB

ML heap average:

1.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

SCL_Simulates_Ground_Resolution

data:

CSV

timing:

0:07:19 elapsed time

ML timing:

432.043s elapsed time, 410.562s cpu time, 33.875s GC time, factor 0.95

ML stack maximum:

17 MiB

ML stack average:

8.1 MiB

ML heap maximum:

5.9 GiB

ML heap average:

3.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Polynomials

data:

CSV

timing:

0:07:19 elapsed time

ML timing:

404.353s elapsed time, 402.703s cpu time, 32.922s GC time, factor 1.00

ML code maximum:

6.8 MiB

ML code average:

1.9 MiB

ML stack maximum:

9 MiB

ML stack average:

8.5 MiB

ML heap maximum:

5.4 GiB

ML heap average:

3.3 GiB

ML heap stored:

136.9 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Boustrophedon_Transform

data:

CSV

timing:

0:07:14 elapsed time

ML timing:

428.078s elapsed time, 413.906s cpu time, 24.250s GC time, factor 0.97

ML code maximum:

4.1 MiB

ML code average:

3.1 MiB

ML stack maximum:

9 MiB

ML stack average:

8.8 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.3 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

SPARCv8

data:

CSV

timing:

0:07:13 elapsed time

ML timing:

429.629s elapsed time, 428.484s cpu time, 17.484s GC time, factor 1.00

ML stack maximum:

33 MiB

ML stack average:

26.7 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.1 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Lorenz_Approximation

data:

CSV

timing:

0:07:13 elapsed time

ML timing:

429.339s elapsed time, 417.625s cpu time, 18.156s GC time, factor 0.97

ML code maximum:

3.5 MiB

ML stack maximum:

65 MiB

ML stack average:

32.9 MiB

ML heap maximum:

3 GiB

ML heap average:

1.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Monad_Memo_DP

data:

CSV

timing:

0:07:12 elapsed time

ML timing:

404.131s elapsed time, 403.594s cpu time, 21.938s GC time, factor 1.00

ML code maximum:

2.2 MiB

ML stack maximum:

9 MiB

ML stack average:

8.2 MiB

ML heap maximum:

2.6 GiB

ML heap average:

2.2 GiB

ML heap stored:

114.8 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Stochastic_Matrices

data:

CSV

timing:

0:07:11 elapsed time

ML timing:

424.699s elapsed time, 427.422s cpu time, 26.266s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

6.2 MiB

ML heap maximum:

6.4 GiB

ML heap average:

3.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CZH_Foundations

data:

CSV

timing:

0:07:11 elapsed time

ML timing:

420.148s elapsed time, 422.078s cpu time, 55.469s GC time, factor 1.00

ML stack maximum:

5 MiB

ML stack average:

4.9 MiB

ML heap maximum:

5.8 GiB

ML heap average:

3 GiB

ML heap stored:

43.6 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Proof_Terms_Term_Rewriting

data:

CSV

timing:

0:07:06 elapsed time

ML timing:

421.954s elapsed time, 386.797s cpu time, 24.922s GC time, factor 0.92

ML stack maximum:

9 MiB

ML stack average:

7.6 MiB

ML heap maximum:

2.5 GiB

ML heap average:

2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Native_Word

data:

CSV

timing:

0:07:06 elapsed time

ML timing:

423.949s elapsed time, 348.328s cpu time, 3.891s GC time, factor 0.82

ML code maximum:

9.7 MiB

ML code average:

5.1 MiB

ML stack maximum:

9 MiB

ML stack average:

3 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

AxiomaticCategoryTheory

data:

CSV

timing:

0:07:04 elapsed time

ML timing:

422.301s elapsed time, 27.641s cpu time, 0.812s GC time, factor 0.07

ML stack maximum:

2 MiB

ML stack average:

2 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Algebraic_Numbers

data:

CSV

timing:

0:06:56 elapsed time

ML timing:

394.923s elapsed time, 397.359s cpu time, 13.766s GC time, factor 1.01

ML code maximum:

5 MiB

ML code average:

1.7 MiB

ML stack maximum:

9 MiB

ML stack average:

8.7 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.1 GiB

ML heap stored:

60.6 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

BTree

data:

CSV

timing:

0:06:52 elapsed time

ML timing:

408.544s elapsed time, 408.375s cpu time, 10.172s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

7.1 MiB

ML heap maximum:

1.8 GiB

ML heap average:

1.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Transcendence_Series_Hancl_Rucki

data:

CSV

timing:

0:06:50 elapsed time

ML timing:

405.574s elapsed time, 410.391s cpu time, 24.391s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

6.4 MiB

ML heap maximum:

3.4 GiB

ML heap average:

2.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Polynomial_Factorization

data:

CSV

timing:

0:06:50 elapsed time

ML timing:

406.064s elapsed time, 409.516s cpu time, 21.172s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

8.4 MiB

ML heap maximum:

4.7 GiB

ML heap average:

2.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Transport

data:

CSV

timing:

0:06:49 elapsed time

ML timing:

406.142s elapsed time, 405.203s cpu time, 25.609s GC time, factor 1.00

ML code maximum:

2.8 MiB

ML code average:

2.8 MiB

ML stack maximum:

3 MiB

ML stack average:

3 MiB

ML heap maximum:

2.5 GiB

ML heap average:

1.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Refine_Imperative_HOL

data:

CSV

timing:

0:06:46 elapsed time

ML timing:

373.775s elapsed time, 337.281s cpu time, 16.609s GC time, factor 0.90

ML code maximum:

1.9 MiB

ML code average:

1.7 MiB

ML stack maximum:

3 MiB

ML stack average:

2.8 MiB

ML heap maximum:

3 GiB

ML heap average:

2 GiB

ML heap stored:

97.4 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Simple_Clause_Learning

data:

CSV

timing:

0:06:42 elapsed time

ML timing:

362.772s elapsed time, 344.609s cpu time, 23.859s GC time, factor 0.95

ML code maximum:

2.3 MiB

ML code average:

2.3 MiB

ML stack maximum:

17 MiB

ML stack average:

10.7 MiB

ML heap maximum:

4.4 GiB

ML heap average:

2.1 GiB

ML heap stored:

123.7 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Diagonal_Ramsey

data:

CSV

timing:

0:06:32 elapsed time

ML timing:

388.084s elapsed time, 361.297s cpu time, 9.234s GC time, factor 0.93

ML stack maximum:

17 MiB

ML stack average:

12.9 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.3 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CRYSTALS-Kyber_Security

data:

CSV

timing:

0:06:27 elapsed time

ML timing:

381.284s elapsed time, 379.188s cpu time, 38.750s GC time, factor 0.99

ML stack maximum:

9 MiB

ML stack average:

8 MiB

ML heap maximum:

4 GiB

ML heap average:

2.7 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Regression_Test_Selection

data:

CSV

timing:

0:06:23 elapsed time

ML timing:

380.695s elapsed time, 382.469s cpu time, 4.281s GC time, factor 1.00

ML stack maximum:

5 MiB

ML stack average:

3.9 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

MSOinHOL

data:

CSV

timing:

0:06:18 elapsed time

ML timing:

376.094s elapsed time, 47.359s cpu time, 0.922s GC time, factor 0.13

ML stack maximum:

2 MiB

ML stack average:

2 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Coinductive

data:

CSV

timing:

0:06:15 elapsed time

ML timing:

349.076s elapsed time, 341.281s cpu time, 13.297s GC time, factor 0.98

ML code maximum:

1.6 MiB

ML stack maximum:

9 MiB

ML stack average:

8 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.1 GiB

ML heap stored:

108.5 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Hilbert_Basis

data:

CSV

timing:

0:06:10 elapsed time

ML timing:

365.339s elapsed time, 339.438s cpu time, 48.875s GC time, factor 0.93

ML stack maximum:

17 MiB

ML stack average:

15.8 MiB

ML heap maximum:

8.2 GiB

ML heap average:

4.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Pentagonal_Number_Theorem

data:

CSV

timing:

0:06:09 elapsed time

ML timing:

363.553s elapsed time, 345.812s cpu time, 16.453s GC time, factor 0.95

ML code maximum:

3.8 MiB

ML code average:

2.9 MiB

ML stack maximum:

9 MiB

ML stack average:

8.9 MiB

ML heap maximum:

3.2 GiB

ML heap average:

2.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Posix-Lexing

data:

CSV

timing:

0:06:07 elapsed time

ML timing:

363.622s elapsed time, 246.234s cpu time, 28.422s GC time, factor 0.68

ML stack maximum:

3 MiB

ML stack average:

3 MiB

ML heap maximum:

4.9 GiB

ML heap average:

3.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

DPRM_Theorem

data:

CSV

timing:

0:06:05 elapsed time

ML timing:

361.923s elapsed time, 348.438s cpu time, 12.750s GC time, factor 0.96

ML stack maximum:

17 MiB

ML stack average:

9 MiB

ML heap maximum:

2.9 GiB

ML heap average:

1.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Ordinary_Differential_Equations

data:

CSV

timing:

0:06:04 elapsed time

ML timing:

342.394s elapsed time, 345.000s cpu time, 8.969s GC time, factor 1.01

ML stack maximum:

17 MiB

ML stack average:

12.3 MiB

ML heap maximum:

1.9 GiB

ML heap average:

1.6 GiB

ML heap stored:

70.4 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Dirichlet_Series

data:

CSV

timing:

0:06:04 elapsed time

ML timing:

334.880s elapsed time, 338.859s cpu time, 26.469s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

5.6 MiB

ML heap maximum:

3.6 GiB

ML heap average:

2.6 GiB

ML heap stored:

84.2 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CAVA_LTL_Modelchecker

data:

CSV

timing:

0:06:02 elapsed time

ML timing:

358.159s elapsed time, 343.141s cpu time, 14.500s GC time, factor 0.96

ML stack maximum:

3 MiB

ML stack average:

3 MiB

ML heap maximum:

2.7 GiB

ML heap average:

1.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

IsaNet

data:

CSV

timing:

0:05:58 elapsed time

ML timing:

355.249s elapsed time, 357.047s cpu time, 12.219s GC time, factor 1.01

ML stack maximum:

3 MiB

ML stack average:

3 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.3 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Q0_Metatheory

data:

CSV

timing:

0:05:55 elapsed time

ML timing:

352.745s elapsed time, 355.219s cpu time, 12.281s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

8.1 MiB

ML heap maximum:

2.2 GiB

ML heap average:

1.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Balog_Szemeredi_Gowers

data:

CSV

timing:

0:05:53 elapsed time

ML timing:

349.870s elapsed time, 311.797s cpu time, 19.547s GC time, factor 0.89

ML stack maximum:

17 MiB

ML stack average:

10.5 MiB

ML heap maximum:

2.9 GiB

ML heap average:

1.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Differential_Dynamic_Logic

data:

CSV

timing:

0:05:48 elapsed time

ML timing:

342.775s elapsed time, 344.516s cpu time, 10.016s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

6.5 MiB

ML heap maximum:

3.4 GiB

ML heap average:

2.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Relative_Security

data:

CSV

timing:

0:05:43 elapsed time

ML timing:

319.022s elapsed time, 318.016s cpu time, 12.359s GC time, factor 1.00

ML stack maximum:

17 MiB

ML stack average:

14.5 MiB

ML heap maximum:

2.3 GiB

ML heap average:

1.7 GiB

ML heap stored:

42.1 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

QR_Decomposition

data:

CSV

timing:

0:05:42 elapsed time

ML timing:

339.082s elapsed time, 342.188s cpu time, 15.469s GC time, factor 1.01

ML code maximum:

5.4 MiB

ML code average:

2.8 MiB

ML stack maximum:

17 MiB

ML stack average:

13.4 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.3 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Isabelle_Marries_Dirac

data:

CSV

timing:

0:05:42 elapsed time

ML timing:

324.958s elapsed time, 312.719s cpu time, 5.562s GC time, factor 0.96

ML stack maximum:

9 MiB

ML stack average:

8.5 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.6 GiB

ML heap stored:

29.2 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Padic_Ints

data:

CSV

timing:

0:05:42 elapsed time

ML timing:

319.635s elapsed time, 306.469s cpu time, 50.984s GC time, factor 0.96

ML stack maximum:

17 MiB

ML stack average:

15.4 MiB

ML heap maximum:

7.8 GiB

ML heap average:

4.2 GiB

ML heap stored:

34 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Group-Ring-Module

data:

CSV

timing:

0:05:39 elapsed time

ML timing:

320.764s elapsed time, 329.719s cpu time, 25.891s GC time, factor 1.03

ML stack maximum:

17 MiB

ML stack average:

16.4 MiB

ML heap maximum:

6.8 GiB

ML heap average:

3.7 GiB

ML heap stored:

37.1 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Collections_Examples

data:

CSV

timing:

0:05:38 elapsed time

ML timing:

334.441s elapsed time, 274.375s cpu time, 15.672s GC time, factor 0.82

ML code maximum:

1.7 MiB

ML stack maximum:

5 MiB

ML stack average:

4.8 MiB

ML heap maximum:

3.5 GiB

ML heap average:

2.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Continued_Fractions

data:

CSV

timing:

0:05:37 elapsed time

ML timing:

333.018s elapsed time, 335.250s cpu time, 15.344s GC time, factor 1.01

ML code maximum:

1.9 MiB

ML code average:

1 MiB

ML stack maximum:

17 MiB

ML stack average:

12.3 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Alpha_Beta_Pruning

data:

CSV

timing:

0:05:34 elapsed time

ML timing:

328.748s elapsed time, 307.719s cpu time, 38.094s GC time, factor 0.94

ML code maximum:

2 MiB

ML code average:

1.7 MiB

ML stack maximum:

5 MiB

ML stack average:

4.8 MiB

ML heap maximum:

4.6 GiB

ML heap average:

2.2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Levy_Prokhorov_Metric

data:

CSV

timing:

0:05:33 elapsed time

ML timing:

328.584s elapsed time, 328.641s cpu time, 9.828s GC time, factor 1.00

ML stack maximum:

65 MiB

ML stack average:

29.5 MiB

ML heap maximum:

2.9 GiB

ML heap average:

1.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Multi_Party_Computation

data:

CSV

timing:

0:05:31 elapsed time

ML timing:

326.231s elapsed time, 324.953s cpu time, 20.625s GC time, factor 1.00

ML stack maximum:

5 MiB

ML stack average:

4.3 MiB

ML heap maximum:

3.6 GiB

ML heap average:

2.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Notes_On_Goedels_Ontological_Argument

data:

CSV

timing:

0:05:31 elapsed time

ML timing:

329.818s elapsed time, 142.609s cpu time, 1.156s GC time, factor 0.43

ML stack maximum:

3 MiB

ML stack average:

1.9 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

SimplifiedOntologicalArgument

data:

CSV

timing:

0:05:31 elapsed time

ML timing:

329.672s elapsed time, 67.188s cpu time, 1.031s GC time, factor 0.20

ML stack maximum:

5 MiB

ML stack average:

4.1 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

SM_Base

data:

CSV

timing:

0:05:28 elapsed time

ML timing:

297.890s elapsed time, 297.922s cpu time, 18.328s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

8 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.1 GiB

ML heap stored:

94.1 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Deep_Learning

data:

CSV

timing:

0:05:26 elapsed time

ML timing:

321.458s elapsed time, 326.516s cpu time, 20.953s GC time, factor 1.02

ML stack maximum:

5 MiB

ML stack average:

4.6 MiB

ML heap maximum:

3.5 GiB

ML heap average:

2.3 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CHERI-C_Memory_Model

data:

CSV

timing:

0:05:24 elapsed time

ML timing:

320.569s elapsed time, 304.234s cpu time, 14.438s GC time, factor 0.95

ML stack maximum:

9 MiB

ML stack average:

7.4 MiB

ML heap maximum:

2.3 GiB

ML heap average:

1.7 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Containers-Benchmarks

data:

CSV

timing:

0:05:23 elapsed time

ML timing:

316.044s elapsed time, 295.781s cpu time, 28.594s GC time, factor 0.94

ML code maximum:

2.6 MiB

ML code average:

2.1 MiB

ML stack maximum:

9 MiB

ML stack average:

8.4 MiB

ML heap maximum:

7.2 GiB

ML heap average:

3.7 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Nagata-Factoriality

data:

CSV

timing:

0:05:21 elapsed time

ML timing:

316.764s elapsed time, 308.625s cpu time, 32.562s GC time, factor 0.97

ML stack maximum:

5 MiB

ML stack average:

4.8 MiB

ML heap maximum:

6.8 GiB

ML heap average:

3.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Interval_Analysis

data:

CSV

timing:

0:05:21 elapsed time

ML timing:

301.752s elapsed time, 239.938s cpu time, 6.500s GC time, factor 0.80

ML stack maximum:

5 MiB

ML stack average:

4.8 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.4 GiB

ML heap stored:

41.5 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Zippy

data:

CSV

timing:

0:05:13 elapsed time

ML timing:

310.128s elapsed time, 310.844s cpu time, 32.922s GC time, factor 1.00

ML code maximum:

21 MiB

ML code average:

14.7 MiB

ML stack maximum:

5 MiB

ML stack average:

4.8 MiB

ML heap maximum:

9 GiB

ML heap average:

5.1 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Pattern_Completeness

data:

CSV

timing:

0:05:12 elapsed time

ML timing:

308.267s elapsed time, 310.672s cpu time, 17.406s GC time, factor 1.01

ML code maximum:

3.5 MiB

ML stack maximum:

9 MiB

ML stack average:

6.9 MiB

ML heap maximum:

2 GiB

ML heap average:

1.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Echelon_Form

data:

CSV

timing:

0:05:10 elapsed time

ML timing:

292.001s elapsed time, 293.125s cpu time, 8.312s GC time, factor 1.00

ML code maximum:

1.1 MiB

ML stack maximum:

9 MiB

ML stack average:

7.8 MiB

ML heap maximum:

3 GiB

ML heap average:

1.9 GiB

ML heap stored:

23.9 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Multirelations_Heterogeneous

data:

CSV

timing:

0:05:08 elapsed time

ML timing:

305.793s elapsed time, 163.422s cpu time, 7.156s GC time, factor 0.53

ML stack maximum:

9 MiB

ML stack average:

8 MiB

ML heap maximum:

2.1 GiB

ML heap average:

1.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

First_Order_Rewriting

data:

CSV

timing:

0:05:08 elapsed time

ML timing:

280.452s elapsed time, 282.781s cpu time, 17.625s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

8.4 MiB

ML heap maximum:

2.2 GiB

ML heap average:

1.7 GiB

ML heap stored:

68.9 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

DFS_Framework

data:

CSV

timing:

0:05:07 elapsed time

ML timing:

304.243s elapsed time, 294.703s cpu time, 17.141s GC time, factor 0.97

ML stack maximum:

9 MiB

ML stack average:

7.6 MiB

ML heap maximum:

2.9 GiB

ML heap average:

1.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Wieferich_Kempner

data:

CSV

timing:

0:05:03 elapsed time

ML timing:

300.429s elapsed time, 289.094s cpu time, 4.344s GC time, factor 0.96

ML stack maximum:

3 MiB

ML stack average:

3 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Linear_Programming

data:

CSV

timing:

0:05:03 elapsed time

ML timing:

298.599s elapsed time, 284.609s cpu time, 9.750s GC time, factor 0.95

ML stack maximum:

33 MiB

ML stack average:

23.7 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Registers

data:

CSV

timing:

0:05:01 elapsed time

ML timing:

271.948s elapsed time, 258.344s cpu time, 14.641s GC time, factor 0.95

ML code maximum:

2.8 MiB

ML stack maximum:

9 MiB

ML stack average:

8.4 MiB

ML heap maximum:

3.1 GiB

ML heap average:

1.5 GiB

ML heap stored:

54.2 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

MLSS_Decision_Proc

data:

CSV

timing:

0:04:58 elapsed time

ML timing:

275.575s elapsed time, 279.188s cpu time, 14.094s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

8.4 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.1 GiB

ML heap stored:

92.5 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

LLL_Basis_Reduction

data:

CSV

timing:

0:04:58 elapsed time

ML timing:

276.260s elapsed time, 278.188s cpu time, 20.328s GC time, factor 1.01

ML stack maximum:

5 MiB

ML stack average:

4.8 MiB

ML heap maximum:

4 GiB

ML heap average:

2.3 GiB

ML heap stored:

47.6 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Functional_Ordered_Resolution_Prover

data:

CSV

timing:

0:04:56 elapsed time

ML timing:

291.606s elapsed time, 287.938s cpu time, 23.719s GC time, factor 0.99

ML code maximum:

1.4 MiB

ML stack maximum:

5 MiB

ML stack average:

5 MiB

ML heap maximum:

3.3 GiB

ML heap average:

2.1 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

WebAssembly

data:

CSV

timing:

0:04:56 elapsed time

ML timing:

292.873s elapsed time, 291.688s cpu time, 10.094s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

8.9 MiB

ML heap maximum:

3 GiB

ML heap average:

2.2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

LTL_to_DRA

data:

CSV

timing:

0:04:56 elapsed time

ML timing:

289.634s elapsed time, 274.281s cpu time, 24.625s GC time, factor 0.95

ML stack maximum:

5 MiB

ML stack average:

4.5 MiB

ML heap maximum:

4.2 GiB

ML heap average:

2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

LTL_to_GBA

data:

CSV

timing:

0:04:56 elapsed time

ML timing:

293.074s elapsed time, 292.781s cpu time, 7.406s GC time, factor 1.00

ML stack maximum:

5 MiB

ML stack average:

4.9 MiB

ML heap maximum:

3.2 GiB

ML heap average:

2.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Hoare_Time

data:

CSV

timing:

0:04:56 elapsed time

ML timing:

294.053s elapsed time, 293.000s cpu time, 17.375s GC time, factor 1.00

ML stack maximum:

3 MiB

ML stack average:

2.9 MiB

ML heap maximum:

5 GiB

ML heap average:

2.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Schwartz_Zippel

data:

CSV

timing:

0:04:55 elapsed time

ML timing:

290.113s elapsed time, 292.000s cpu time, 19.656s GC time, factor 1.01

ML stack maximum:

9 MiB

ML stack average:

7.1 MiB

ML heap maximum:

2.3 GiB

ML heap average:

2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Algebraic_VCs

data:

CSV

timing:

0:04:54 elapsed time

ML timing:

290.047s elapsed time, 272.422s cpu time, 19.375s GC time, factor 0.94

ML stack maximum:

3 MiB

ML stack average:

2.9 MiB

ML heap maximum:

3.8 GiB

ML heap average:

1.7 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Worklist_Algorithms

data:

CSV

timing:

0:04:53 elapsed time

ML timing:

289.881s elapsed time, 291.344s cpu time, 15.125s GC time, factor 1.01

ML stack maximum:

3 MiB

ML stack average:

3 MiB

ML heap maximum:

2.8 GiB

ML heap average:

1.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Gromov_Hyperbolicity

data:

CSV

timing:

0:04:50 elapsed time

ML timing:

286.350s elapsed time, 289.016s cpu time, 8.297s GC time, factor 1.01

ML stack maximum:

17 MiB

ML stack average:

11.6 MiB

ML heap maximum:

2.4 GiB

ML heap average:

1.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Rademacher_Series

data:

CSV

timing:

0:04:50 elapsed time

ML timing:

284.494s elapsed time, 286.984s cpu time, 8.969s GC time, factor 1.01

ML stack maximum:

17 MiB

ML stack average:

11.7 MiB

ML heap maximum:

2.9 GiB

ML heap average:

2.1 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Lie_Groups

data:

CSV

timing:

0:04:50 elapsed time

ML timing:

283.574s elapsed time, 275.234s cpu time, 29.078s GC time, factor 0.97

ML stack maximum:

5 MiB

ML stack average:

4.1 MiB

ML heap maximum:

5.5 GiB

ML heap average:

3 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Modal_Logics_for_NTS

data:

CSV

timing:

0:04:46 elapsed time

ML timing:

283.440s elapsed time, 284.906s cpu time, 17.047s GC time, factor 1.01

ML stack maximum:

5 MiB

ML stack average:

4.9 MiB

ML heap maximum:

3.6 GiB

ML heap average:

2.2 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

CryptHOL

data:

CSV

timing:

0:04:42 elapsed time

ML timing:

247.315s elapsed time, 252.750s cpu time, 13.312s GC time, factor 1.02

ML code maximum:

1.2 MiB

ML code average:

1.1 MiB

ML stack maximum:

17 MiB

ML stack average:

10.5 MiB

ML heap maximum:

2.9 GiB

ML heap average:

1.8 GiB

ML heap stored:

99.3 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

EnrichedCategoryBasics

data:

CSV

timing:

0:04:40 elapsed time

ML timing:

276.927s elapsed time, 277.500s cpu time, 17.312s GC time, factor 1.00

ML stack maximum:

9 MiB

ML stack average:

9 MiB

ML heap maximum:

2.1 GiB

ML heap average:

1.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Query_Optimization

data:

CSV

timing:

0:04:39 elapsed time

ML timing:

275.829s elapsed time, 271.703s cpu time, 10.969s GC time, factor 0.99

ML stack maximum:

17 MiB

ML stack average:

10.5 MiB

ML heap maximum:

2.9 GiB

ML heap average:

1.9 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Flow_Networks

data:

CSV

timing:

0:04:32 elapsed time

ML timing:

249.534s elapsed time, 240.781s cpu time, 12.469s GC time, factor 0.96

ML stack maximum:

9 MiB

ML stack average:

5.9 MiB

ML heap maximum:

2.9 GiB

ML heap average:

1.8 GiB

ML heap stored:

53.2 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

FaithfulPMLinHOL

data:

CSV

timing:

0:04:31 elapsed time

ML timing:

269.748s elapsed time, 128.734s cpu time, 2.547s GC time, factor 0.48

ML stack maximum:

2 MiB

ML stack average:

1.9 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.4 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Abstract_Substitution

data:

CSV

timing:

0:04:29 elapsed time

ML timing:

237.893s elapsed time, 233.844s cpu time, 19.406s GC time, factor 0.98

ML stack maximum:

9 MiB

ML stack average:

8.1 MiB

ML heap maximum:

4.1 GiB

ML heap average:

2 GiB

ML heap stored:

108.9 MiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Store_Buffer_Reduction

data:

CSV

timing:

0:04:29 elapsed time

ML timing:

266.753s elapsed time, 271.125s cpu time, 8.484s GC time, factor 1.02

ML stack maximum:

33 MiB

ML stack average:

33 MiB

ML heap maximum:

2.9 GiB

ML heap average:

1.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Subset_Boolean_Algebras

data:

CSV

timing:

0:04:28 elapsed time

ML timing:

266.538s elapsed time, 65.797s cpu time, 1.453s GC time, factor 0.25

ML stack maximum:

5 MiB

ML stack average:

5 MiB

ML heap maximum:

1.5 GiB

ML heap average:

1.5 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

DP_QBS

data:

CSV

timing:

0:04:27 elapsed time

ML timing:

263.233s elapsed time, 267.922s cpu time, 7.969s GC time, factor 1.02

ML stack maximum:

9 MiB

ML stack average:

5.4 MiB

ML heap maximum:

2 GiB

ML heap average:

1.6 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Fishers_Inequality

data:

CSV

timing:

0:04:26 elapsed time

ML timing:

261.922s elapsed time, 260.312s cpu time, 13.375s GC time, factor 0.99

ML stack maximum:

5 MiB

ML stack average:

4.1 MiB

ML heap maximum:

2.9 GiB

ML heap average:

1.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e

Tree_Enumeration

data:

CSV

timing:

0:04:26 elapsed time

ML timing:

262.609s elapsed time, 259.969s cpu time, 18.094s GC time, factor 0.99

ML stack maximum:

9 MiB

ML stack average:

9 MiB

ML heap maximum:

3.9 GiB

ML heap average:

1.8 GiB

Isabelle version:

604295839268

AFP version:

08d4e2a40f8e