Isabelle build status for AFP macOS (macOS 14 Sonoma, Apple Silicon)

status date:

24-Dec-2024 01:15:41 +0100

build host:

studio1-sonoma

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

Crypto_Standards

data:

CSV

timing:

0:48:37 elapsed time, 0:48:33 cpu time, factor 1.00

ML timing:

0:48:31 elapsed time, 0:49:33 cpu time, factor 1.02

code maximum:

53.2 MiB

code average:

41.2 MiB

stack maximum:

65 MiB

stack average:

45.8 MiB

heap maximum:

7.7 GiB

heap average:

4.9 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

AutoCorres2_Test

data:

CSV

timing:

0:44:43 elapsed time, 0:44:35 cpu time, factor 1.00

ML timing:

0:44:26 elapsed time, 0:46:54 cpu time, factor 1.06

code maximum:

8.5 MiB

code average:

4.6 MiB

stack maximum:

6 MiB

stack average:

5.8 MiB

heap maximum:

12.1 GiB

heap average:

5.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

HOL-ODE-Numerics

data:

CSV

timing:

0:41:16 elapsed time, 0:41:08 cpu time, factor 1.00

ML timing:

0:39:55 elapsed time, 0:41:46 cpu time, factor 1.05

code maximum:

8.4 MiB

code average:

4.6 MiB

stack maximum:

33 MiB

stack average:

14.1 MiB

heap maximum:

13 GiB

heap average:

9.8 GiB

heap stored:

207.3 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CZH_Universal_Constructions

data:

CSV

timing:

0:38:53 elapsed time, 0:38:54 cpu time, factor 1.00

ML timing:

0:38:47 elapsed time, 0:41:14 cpu time, factor 1.06

stack maximum:

9 MiB

stack average:

8.8 MiB

heap maximum:

15.7 GiB

heap average:

12.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

ResiduatedTransitionSystem2

data:

CSV

timing:

0:38:49 elapsed time, 0:38:55 cpu time, factor 1.00

ML timing:

0:38:36 elapsed time, 0:42:26 cpu time, factor 1.10

stack maximum:

17 MiB

stack average:

17 MiB

heap maximum:

15.7 GiB

heap average:

9.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CoSMeDis

data:

CSV

timing:

0:38:21 elapsed time, 0:38:21 cpu time, factor 1.00

ML timing:

0:38:17 elapsed time, 0:39:09 cpu time, factor 1.02

stack maximum:

5 MiB

stack average:

4.8 MiB

heap maximum:

5.5 GiB

heap average:

2.3 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

IMP_With_Speculation

data:

CSV

timing:

0:32:52 elapsed time, 0:32:51 cpu time, factor 1.00

ML timing:

0:32:49 elapsed time, 0:33:21 cpu time, factor 1.02

stack maximum:

5 MiB

stack average:

4.9 MiB

heap maximum:

2.5 GiB

heap average:

2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Modular_arithmetic_LLL_and_HNF_algorithms

data:

CSV

timing:

0:31:51 elapsed time, 0:31:33 cpu time, factor 0.99

ML timing:

0:31:41 elapsed time, 0:33:06 cpu time, factor 1.04

code maximum:

1.4 MiB

code average:

1.1 MiB

stack maximum:

33 MiB

stack average:

20.3 MiB

heap maximum:

10.7 GiB

heap average:

6.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Cook_Levin

data:

CSV

timing:

0:31:07 elapsed time, 0:30:54 cpu time, factor 0.99

ML timing:

0:31:03 elapsed time, 0:31:10 cpu time, factor 1.00

stack maximum:

17 MiB

stack average:

14.8 MiB

heap maximum:

2.9 GiB

heap average:

2.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CoCon

data:

CSV

timing:

0:28:59 elapsed time, 0:29:00 cpu time, factor 1.00

ML timing:

0:28:57 elapsed time, 0:29:22 cpu time, factor 1.01

stack maximum:

3 MiB

stack average:

3 MiB

heap maximum:

1.6 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Frequency_Moments

data:

CSV

timing:

0:28:44 elapsed time, 0:28:54 cpu time, factor 1.01

ML timing:

0:28:32 elapsed time, 0:31:54 cpu time, factor 1.12

code maximum:

2 MiB

code average:

1.6 MiB

stack maximum:

17 MiB

stack average:

13.4 MiB

heap maximum:

15.6 GiB

heap average:

7.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

MiniSail

data:

CSV

timing:

0:28:07 elapsed time, 0:28:11 cpu time, factor 1.00

ML timing:

0:28:04 elapsed time, 0:29:44 cpu time, factor 1.06

code maximum:

3.2 MiB

code average:

3.2 MiB

stack maximum:

9 MiB

stack average:

8.2 MiB

heap maximum:

14.9 GiB

heap average:

10.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

AutoCorres2

data:

CSV

timing:

0:27:02 elapsed time, 0:26:31 cpu time, factor 0.98

ML timing:

0:26:51 elapsed time, 0:27:58 cpu time, factor 1.04

code maximum:

15.3 MiB

code average:

10.8 MiB

stack maximum:

34 MiB

stack average:

26.3 MiB

heap maximum:

8 GiB

heap average:

4.3 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CZH_Elementary_Categories

data:

CSV

timing:

0:19:55 elapsed time, 0:19:58 cpu time, factor 1.00

ML timing:

0:19:43 elapsed time, 0:22:32 cpu time, factor 1.14

stack maximum:

9 MiB

stack average:

8.4 MiB

heap maximum:

11.7 GiB

heap average:

7.7 GiB

heap stored:

25.7 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Shadow_SC_DOM

data:

CSV

timing:

0:19:54 elapsed time, 0:19:46 cpu time, factor 0.99

ML timing:

0:18:14 elapsed time, 0:19:03 cpu time, factor 1.04

code maximum:

7.4 MiB

code average:

1.5 MiB

stack maximum:

33 MiB

stack average:

30.5 MiB

heap maximum:

4.8 GiB

heap average:

3.6 GiB

heap stored:

30.5 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Solidity

data:

CSV

timing:

0:19:10 elapsed time, 0:19:05 cpu time, factor 1.00

ML timing:

0:19:07 elapsed time, 0:19:30 cpu time, factor 1.02

code maximum:

14.6 MiB

code average:

3.8 MiB

stack maximum:

9 MiB

stack average:

8.2 MiB

heap maximum:

2.3 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CAVA_Setup

data:

CSV

timing:

0:19:01 elapsed time, 0:18:29 cpu time, factor 0.97

ML timing:

0:17:51 elapsed time, 0:18:19 cpu time, factor 1.03

stack maximum:

9 MiB

stack average:

8.5 MiB

heap maximum:

8.7 GiB

heap average:

3.9 GiB

heap stored:

217.9 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

SC_DOM_Components

data:

CSV

timing:

0:18:37 elapsed time, 0:18:33 cpu time, factor 1.00

ML timing:

0:18:31 elapsed time, 0:18:56 cpu time, factor 1.02

stack maximum:

9 MiB

stack average:

9 MiB

heap maximum:

4.7 GiB

heap average:

4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Expander_Graphs

data:

CSV

timing:

0:18:24 elapsed time, 0:18:27 cpu time, factor 1.00

ML timing:

0:17:17 elapsed time, 0:18:37 cpu time, factor 1.08

code maximum:

1.8 MiB

code average:

1.4 MiB

stack maximum:

17 MiB

stack average:

12.1 MiB

heap maximum:

11.3 GiB

heap average:

8.6 GiB

heap stored:

195.9 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Automated_Stateful_Protocol_Verification

data:

CSV

timing:

0:18:17 elapsed time, 0:18:19 cpu time, factor 1.00

ML timing:

0:18:02 elapsed time, 0:20:13 cpu time, factor 1.12

code maximum:

8.9 MiB

code average:

3.1 MiB

stack maximum:

17 MiB

stack average:

16.6 MiB

heap maximum:

15.6 GiB

heap average:

7.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

JinjaDCI

data:

CSV

timing:

0:16:28 elapsed time, 0:16:29 cpu time, factor 1.00

ML timing:

0:16:25 elapsed time, 0:16:51 cpu time, factor 1.03

stack maximum:

9 MiB

stack average:

7.1 MiB

heap maximum:

2.9 GiB

heap average:

2.1 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

AutoCorres2_Main

data:

CSV

timing:

0:15:02 elapsed time, 0:14:30 cpu time, factor 0.96

ML timing:

0:14:03 elapsed time, 0:14:29 cpu time, factor 1.03

code maximum:

13.1 MiB

code average:

7.4 MiB

stack maximum:

33 MiB

stack average:

18.8 MiB

heap maximum:

5.8 GiB

heap average:

2.9 GiB

heap stored:

168.4 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Correctness_Algebras

data:

CSV

timing:

0:14:58 elapsed time, 0:11:24 cpu time, factor 0.76

ML timing:

0:14:53 elapsed time, 0:12:17 cpu time, factor 0.83

stack maximum:

5 MiB

stack average:

5 MiB

heap maximum:

7.9 GiB

heap average:

2.9 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

HOL-ODE-ARCH-COMP

data:

CSV

timing:

0:14:52 elapsed time, 0:14:52 cpu time, factor 1.00

ML timing:

0:14:49 elapsed time, 0:15:08 cpu time, factor 1.02

stack maximum:

3 MiB

stack average:

2 MiB

heap maximum:

2 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Category3

data:

CSV

timing:

0:14:23 elapsed time, 0:14:26 cpu time, factor 1.00

ML timing:

0:13:48 elapsed time, 0:14:39 cpu time, factor 1.06

stack maximum:

17 MiB

stack average:

12.9 MiB

heap maximum:

6.3 GiB

heap average:

4.3 GiB

heap stored:

42.4 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Broadcast_Psi

data:

CSV

timing:

0:14:22 elapsed time, 0:14:26 cpu time, factor 1.00

ML timing:

0:14:18 elapsed time, 0:14:44 cpu time, factor 1.03

stack maximum:

33 MiB

stack average:

31.7 MiB

heap maximum:

2.6 GiB

heap average:

2.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

MDP-Algorithms

data:

CSV

timing:

0:14:20 elapsed time, 0:14:19 cpu time, factor 1.00

ML timing:

0:14:12 elapsed time, 0:15:00 cpu time, factor 1.06

code maximum:

2.2 MiB

code average:

1.3 MiB

stack maximum:

9 MiB

stack average:

8.5 MiB

heap maximum:

7.4 GiB

heap average:

5.2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Goedel_HFSet_Semanticless

data:

CSV

timing:

0:14:00 elapsed time, 0:14:03 cpu time, factor 1.00

ML timing:

0:13:58 elapsed time, 0:14:21 cpu time, factor 1.03

code maximum:

3.2 MiB

code average:

3 MiB

stack maximum:

9 MiB

stack average:

9 MiB

heap maximum:

1.8 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Quantifier_Elimination_Hybrid

data:

CSV

timing:

0:14:00 elapsed time, 0:13:04 cpu time, factor 0.93

ML timing:

0:13:54 elapsed time, 0:13:30 cpu time, factor 0.97

code maximum:

6.5 MiB

code average:

4 MiB

stack maximum:

17 MiB

stack average:

13.8 MiB

heap maximum:

5.3 GiB

heap average:

3.9 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Universal_Hash_Families

data:

CSV

timing:

0:13:34 elapsed time, 0:13:42 cpu time, factor 1.01

ML timing:

0:12:49 elapsed time, 0:14:12 cpu time, factor 1.11

stack maximum:

9 MiB

stack average:

6.7 MiB

heap maximum:

7.6 GiB

heap average:

5.3 GiB

heap stored:

123.3 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Complex_Bounded_Operators_Dependencies

data:

CSV

timing:

0:13:09 elapsed time, 0:13:14 cpu time, factor 1.01

ML timing:

0:12:13 elapsed time, 0:13:02 cpu time, factor 1.07

code maximum:

2.3 MiB

code average:

1.2 MiB

stack maximum:

9 MiB

stack average:

7.8 MiB

heap maximum:

4 GiB

heap average:

3.1 GiB

heap stored:

143.8 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

FSM_Tests

data:

CSV

timing:

0:13:09 elapsed time, 0:13:14 cpu time, factor 1.01

ML timing:

0:13:01 elapsed time, 0:14:15 cpu time, factor 1.10

code maximum:

1 MiB

code average:

1 MiB

stack maximum:

17 MiB

stack average:

11.9 MiB

heap maximum:

5.1 GiB

heap average:

3.2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Shadow_DOM

data:

CSV

timing:

0:13:03 elapsed time, 0:13:01 cpu time, factor 1.00

ML timing:

0:11:46 elapsed time, 0:12:18 cpu time, factor 1.05

code maximum:

14.4 MiB

code average:

3.1 MiB

stack maximum:

33 MiB

stack average:

30.1 MiB

heap maximum:

5.3 GiB

heap average:

3.1 GiB

heap stored:

27.2 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Smith_Normal_Form

data:

CSV

timing:

0:12:59 elapsed time, 0:12:45 cpu time, factor 0.98

ML timing:

0:12:05 elapsed time, 0:12:42 cpu time, factor 1.05

code maximum:

1.3 MiB

code average:

1 MiB

stack maximum:

9 MiB

stack average:

6.5 MiB

heap maximum:

4 GiB

heap average:

3.4 GiB

heap stored:

107.8 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

MSO_Regex_Equivalence

data:

CSV

timing:

0:12:54 elapsed time, 0:12:54 cpu time, factor 1.00

ML timing:

0:12:50 elapsed time, 0:13:18 cpu time, factor 1.04

code maximum:

4.5 MiB

stack maximum:

9 MiB

stack average:

9 MiB

heap maximum:

4 GiB

heap average:

3.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CakeML_Codegen

data:

CSV

timing:

0:12:23 elapsed time, 0:11:27 cpu time, factor 0.92

ML timing:

0:12:19 elapsed time, 0:11:37 cpu time, factor 0.94

code maximum:

3 MiB

code average:

1.7 MiB

stack maximum:

5.1 MiB

stack average:

5 MiB

heap maximum:

2.9 GiB

heap average:

2.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Affine_Arithmetic

data:

CSV

timing:

0:12:20 elapsed time, 0:12:22 cpu time, factor 1.00

ML timing:

0:11:40 elapsed time, 0:12:40 cpu time, factor 1.09

code maximum:

4.3 MiB

code average:

1.4 MiB

stack maximum:

17 MiB

stack average:

12.6 MiB

heap maximum:

8 GiB

heap average:

3 GiB

heap stored:

116.2 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Picks_Theorem

data:

CSV

timing:

0:12:18 elapsed time, 0:11:44 cpu time, factor 0.95

ML timing:

0:12:14 elapsed time, 0:12:07 cpu time, factor 0.99

stack maximum:

17 MiB

stack average:

15.2 MiB

heap maximum:

2.7 GiB

heap average:

2.1 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Slicing

data:

CSV

timing:

0:12:17 elapsed time, 0:12:18 cpu time, factor 1.00

ML timing:

0:12:00 elapsed time, 0:12:10 cpu time, factor 1.01

stack maximum:

5 MiB

stack average:

4.9 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

heap stored:

41.2 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Three_Squares

data:

CSV

timing:

0:12:03 elapsed time, 0:12:07 cpu time, factor 1.01

ML timing:

0:11:24 elapsed time, 0:12:21 cpu time, factor 1.08

code maximum:

1.1 MiB

code average:

1.1 MiB

stack maximum:

9 MiB

stack average:

6.7 MiB

heap maximum:

7.2 GiB

heap average:

3.8 GiB

heap stored:

110.4 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Jordan_Normal_Form

data:

CSV

timing:

0:11:53 elapsed time, 0:11:56 cpu time, factor 1.00

ML timing:

0:11:11 elapsed time, 0:11:51 cpu time, factor 1.06

code maximum:

1.2 MiB

stack maximum:

9 MiB

stack average:

5.6 MiB

heap maximum:

4 GiB

heap average:

2.8 GiB

heap stored:

113.4 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Goedel_HFSet_Semantic

data:

CSV

timing:

0:11:37 elapsed time, 0:11:38 cpu time, factor 1.00

ML timing:

0:11:34 elapsed time, 0:11:49 cpu time, factor 1.02

code maximum:

3.2 MiB

code average:

2.9 MiB

stack maximum:

9 MiB

stack average:

9 MiB

heap maximum:

2.4 GiB

heap average:

1.8 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Finite_Fields

data:

CSV

timing:

0:11:31 elapsed time, 0:11:39 cpu time, factor 1.01

ML timing:

0:11:25 elapsed time, 0:12:38 cpu time, factor 1.11

stack maximum:

9 MiB

stack average:

6.9 MiB

heap maximum:

7.6 GiB

heap average:

5.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Padic_Field

data:

CSV

timing:

0:11:28 elapsed time, 0:11:17 cpu time, factor 0.98

ML timing:

0:11:22 elapsed time, 0:12:22 cpu time, factor 1.09

stack maximum:

17 MiB

stack average:

17 MiB

heap maximum:

10.8 GiB

heap average:

7.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

FO_Theory_Rewriting

data:

CSV

timing:

0:11:27 elapsed time, 0:11:29 cpu time, factor 1.00

ML timing:

0:11:20 elapsed time, 0:12:03 cpu time, factor 1.06

stack maximum:

9 MiB

stack average:

8.5 MiB

heap maximum:

4.5 GiB

heap average:

3.2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Groebner_Bases

data:

CSV

timing:

0:11:26 elapsed time, 0:11:30 cpu time, factor 1.01

ML timing:

0:10:04 elapsed time, 0:11:24 cpu time, factor 1.13

code maximum:

21.9 MiB

code average:

6.2 MiB

stack maximum:

9 MiB

stack average:

8.2 MiB

heap maximum:

15.4 GiB

heap average:

6.6 GiB

heap stored:

160.7 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Schoenhage_Strassen

data:

CSV

timing:

0:11:18 elapsed time, 0:11:22 cpu time, factor 1.01

ML timing:

0:11:11 elapsed time, 0:12:11 cpu time, factor 1.09

code maximum:

1.1 MiB

stack maximum:

9 MiB

stack average:

8.2 MiB

heap maximum:

8.1 GiB

heap average:

5.8 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Security_Protocol_Refinement

data:

CSV

timing:

0:11:12 elapsed time, 0:11:13 cpu time, factor 1.00

ML timing:

0:11:11 elapsed time, 0:11:16 cpu time, factor 1.01

stack maximum:

3 MiB

stack average:

2.9 MiB

heap maximum:

1.5 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Constructive_Cryptography_CM

data:

CSV

timing:

0:11:09 elapsed time, 0:11:09 cpu time, factor 1.00

ML timing:

0:11:04 elapsed time, 0:11:36 cpu time, factor 1.05

stack maximum:

9 MiB

stack average:

8.5 MiB

heap maximum:

2.9 GiB

heap average:

1.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Stateful_Protocol_Composition_and_Typing

data:

CSV

timing:

0:11:03 elapsed time, 0:11:06 cpu time, factor 1.00

ML timing:

0:10:19 elapsed time, 0:10:45 cpu time, factor 1.04

stack maximum:

17 MiB

stack average:

14.8 MiB

heap maximum:

3.6 GiB

heap average:

2.5 GiB

heap stored:

66.2 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Incompleteness

data:

CSV

timing:

0:11:00 elapsed time, 0:11:01 cpu time, factor 1.00

ML timing:

0:10:46 elapsed time, 0:10:56 cpu time, factor 1.01

code maximum:

2.9 MiB

code average:

2.8 MiB

stack maximum:

5 MiB

stack average:

4.9 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

heap stored:

41.5 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

HRB-Slicing

data:

CSV

timing:

0:10:59 elapsed time, 0:11:02 cpu time, factor 1.00

ML timing:

0:10:32 elapsed time, 0:10:58 cpu time, factor 1.04

stack maximum:

9 MiB

stack average:

8.7 MiB

heap maximum:

2.1 GiB

heap average:

1.7 GiB

heap stored:

51.3 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Distributed_Distinct_Elements

data:

CSV

timing:

0:10:43 elapsed time, 0:10:50 cpu time, factor 1.01

ML timing:

0:10:03 elapsed time, 0:10:49 cpu time, factor 1.08

stack maximum:

9 MiB

stack average:

7.4 MiB

heap maximum:

4.9 GiB

heap average:

3.4 GiB

heap stored:

113 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Universal_Turing_Machine

data:

CSV

timing:

0:10:20 elapsed time, 0:10:13 cpu time, factor 0.99

ML timing:

0:10:17 elapsed time, 0:10:24 cpu time, factor 1.01

stack maximum:

17 MiB

stack average:

8.3 MiB

heap maximum:

1.9 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Virtual_Substitution

data:

CSV

timing:

0:10:18 elapsed time, 0:09:28 cpu time, factor 0.92

ML timing:

0:10:13 elapsed time, 0:09:55 cpu time, factor 0.97

code maximum:

5.3 MiB

code average:

3.7 MiB

stack maximum:

17 MiB

stack average:

11.3 MiB

heap maximum:

5.8 GiB

heap average:

3.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Complx

data:

CSV

timing:

0:10:08 elapsed time, 0:10:07 cpu time, factor 1.00

ML timing:

0:10:06 elapsed time, 0:10:13 cpu time, factor 1.01

stack maximum:

5 MiB

stack average:

3 MiB

heap maximum:

3.5 GiB

heap average:

3 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Projective_Measurements

data:

CSV

timing:

0:09:54 elapsed time, 0:09:52 cpu time, factor 1.00

ML timing:

0:09:13 elapsed time, 0:09:49 cpu time, factor 1.07

stack maximum:

9 MiB

stack average:

8.1 MiB

heap maximum:

4.2 GiB

heap average:

2.9 GiB

heap stored:

100.5 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Network_Security_Policy_Verification

data:

CSV

timing:

0:09:49 elapsed time, 0:09:27 cpu time, factor 0.96

ML timing:

0:09:45 elapsed time, 0:09:50 cpu time, factor 1.01

code maximum:

21.4 MiB

code average:

6.1 MiB

stack maximum:

9 MiB

stack average:

9 MiB

heap maximum:

4.1 GiB

heap average:

3 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Collections

data:

CSV

timing:

0:09:46 elapsed time, 0:08:54 cpu time, factor 0.91

ML timing:

0:08:38 elapsed time, 0:08:34 cpu time, factor 0.99

stack maximum:

9 MiB

stack average:

7.7 MiB

heap maximum:

7 GiB

heap average:

2.8 GiB

heap stored:

184.7 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

X86_Semantics

data:

CSV

timing:

0:09:40 elapsed time, 0:09:39 cpu time, factor 1.00

ML timing:

0:09:38 elapsed time, 0:09:45 cpu time, factor 1.01

stack maximum:

9 MiB

stack average:

9 MiB

heap maximum:

2.1 GiB

heap average:

2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Auto2_Imperative_HOL

data:

CSV

timing:

0:09:36 elapsed time, 0:09:37 cpu time, factor 1.00

ML timing:

0:09:34 elapsed time, 0:09:39 cpu time, factor 1.01

code maximum:

1.1 MiB

stack maximum:

2 MiB

stack average:

1.7 MiB

heap maximum:

1.5 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Perron_Frobenius

data:

CSV

timing:

0:09:33 elapsed time, 0:09:32 cpu time, factor 1.00

ML timing:

0:09:27 elapsed time, 0:09:52 cpu time, factor 1.04

code maximum:

1.8 MiB

stack maximum:

9 MiB

stack average:

9 MiB

heap maximum:

4.1 GiB

heap average:

2.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CakeML

data:

CSV

timing:

0:09:26 elapsed time, 0:09:12 cpu time, factor 0.98

ML timing:

0:08:50 elapsed time, 0:09:25 cpu time, factor 1.07

code maximum:

1.8 MiB

code average:

1.4 MiB

stack maximum:

9 MiB

stack average:

8.3 MiB

heap maximum:

5.7 GiB

heap average:

3.6 GiB

heap stored:

154.3 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

MFODL_Monitor_Optimized

data:

CSV

timing:

0:09:22 elapsed time, 0:09:21 cpu time, factor 1.00

ML timing:

0:09:18 elapsed time, 0:09:35 cpu time, factor 1.03

stack maximum:

17 MiB

stack average:

12.9 MiB

heap maximum:

2.5 GiB

heap average:

2.1 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Transition_Systems_and_Automata

data:

CSV

timing:

0:09:16 elapsed time, 0:09:07 cpu time, factor 0.98

ML timing:

0:08:30 elapsed time, 0:09:01 cpu time, factor 1.06

stack maximum:

9 MiB

stack average:

5.8 MiB

heap maximum:

4.6 GiB

heap average:

2.6 GiB

heap stored:

113.8 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

DOM_Components

data:

CSV

timing:

0:08:53 elapsed time, 0:08:52 cpu time, factor 1.00

ML timing:

0:08:50 elapsed time, 0:09:07 cpu time, factor 1.03

stack maximum:

5 MiB

stack average:

5 MiB

heap maximum:

2 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Psi_Calculi

data:

CSV

timing:

0:08:52 elapsed time, 0:08:56 cpu time, factor 1.01

ML timing:

0:08:49 elapsed time, 0:09:08 cpu time, factor 1.04

stack maximum:

17 MiB

stack average:

16.2 MiB

heap maximum:

2.8 GiB

heap average:

2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Iptables_Semantics_Examples

data:

CSV

timing:

0:08:51 elapsed time, 0:08:51 cpu time, factor 1.00

ML timing:

0:08:48 elapsed time, 0:09:25 cpu time, factor 1.07

code maximum:

8.7 MiB

code average:

5.5 MiB

stack maximum:

5 MiB

stack average:

4.8 MiB

heap maximum:

2.6 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Core_DOM

data:

CSV

timing:

0:08:48 elapsed time, 0:08:49 cpu time, factor 1.00

ML timing:

0:07:35 elapsed time, 0:08:15 cpu time, factor 1.09

code maximum:

4.7 MiB

stack maximum:

17 MiB

stack average:

15 MiB

heap maximum:

4.2 GiB

heap average:

2.1 GiB

heap stored:

47 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Formal_SSA

data:

CSV

timing:

0:08:37 elapsed time, 0:08:39 cpu time, factor 1.00

ML timing:

0:08:09 elapsed time, 0:08:24 cpu time, factor 1.03

stack maximum:

5 MiB

stack average:

4.7 MiB

heap maximum:

2.9 GiB

heap average:

1.6 GiB

heap stored:

53.5 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Van_Emde_Boas_Trees

data:

CSV

timing:

0:08:37 elapsed time, 0:08:20 cpu time, factor 0.97

ML timing:

0:08:33 elapsed time, 0:08:37 cpu time, factor 1.01

code maximum:

1.2 MiB

code average:

1.1 MiB

stack maximum:

9 MiB

stack average:

9 MiB

heap maximum:

2.9 GiB

heap average:

2.2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

No_FTL_observers_Gen_Rel

data:

CSV

timing:

0:08:30 elapsed time, 0:08:29 cpu time, factor 1.00

ML timing:

0:08:26 elapsed time, 0:08:43 cpu time, factor 1.03

stack maximum:

33 MiB

stack average:

16 MiB

heap maximum:

2.9 GiB

heap average:

2.2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

OmegaCatoidsQuantales

data:

CSV

timing:

0:08:25 elapsed time, 0:08:18 cpu time, factor 0.99

ML timing:

0:08:21 elapsed time, 0:08:39 cpu time, factor 1.03

stack maximum:

3 MiB

stack average:

2.9 MiB

heap maximum:

2.9 GiB

heap average:

2.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Executable_Randomized_Algorithms

data:

CSV

timing:

0:08:14 elapsed time, 0:08:20 cpu time, factor 1.01

ML timing:

0:08:09 elapsed time, 0:08:54 cpu time, factor 1.09

stack maximum:

9 MiB

stack average:

7.9 MiB

heap maximum:

3.4 GiB

heap average:

2.9 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Jinja

data:

CSV

timing:

0:08:09 elapsed time, 0:08:09 cpu time, factor 1.00

ML timing:

0:07:49 elapsed time, 0:08:01 cpu time, factor 1.02

code maximum:

1.5 MiB

code average:

1.2 MiB

stack maximum:

5 MiB

stack average:

4.5 MiB

heap maximum:

2.9 GiB

heap average:

1.8 GiB

heap stored:

46.8 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

IP_Addresses

data:

CSV

timing:

0:08:04 elapsed time, 0:08:00 cpu time, factor 0.99

ML timing:

0:07:50 elapsed time, 0:08:01 cpu time, factor 1.02

code maximum:

3 MiB

code average:

1 MiB

stack maximum:

17 MiB

stack average:

12.1 MiB

heap maximum:

2.9 GiB

heap average:

2.1 GiB

heap stored:

42.8 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Probabilistic_Prime_Tests

data:

CSV

timing:

0:08:02 elapsed time, 0:08:07 cpu time, factor 1.01

ML timing:

0:07:56 elapsed time, 0:08:58 cpu time, factor 1.13

stack maximum:

5 MiB

stack average:

4.8 MiB

heap maximum:

9.5 GiB

heap average:

4.8 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Linear_Recurrences_Solver

data:

CSV

timing:

0:07:51 elapsed time, 0:07:54 cpu time, factor 1.01

ML timing:

0:07:46 elapsed time, 0:08:07 cpu time, factor 1.05

code maximum:

11 MiB

code average:

4.5 MiB

stack maximum:

9 MiB

stack average:

9 MiB

heap maximum:

5.2 GiB

heap average:

3.9 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Syntax_Independent_Logic

data:

CSV

timing:

0:07:38 elapsed time, 0:07:39 cpu time, factor 1.00

ML timing:

0:07:29 elapsed time, 0:07:33 cpu time, factor 1.01

stack maximum:

5 MiB

stack average:

4.9 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

heap stored:

11.4 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

ResiduatedTransitionSystem

data:

CSV

timing:

0:07:34 elapsed time, 0:07:35 cpu time, factor 1.00

ML timing:

0:07:09 elapsed time, 0:07:29 cpu time, factor 1.05

stack maximum:

33 MiB

stack average:

31.5 MiB

heap maximum:

2.9 GiB

heap average:

2.2 GiB

heap stored:

39.8 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

MonoidalCategory

data:

CSV

timing:

0:07:23 elapsed time, 0:07:23 cpu time, factor 1.00

ML timing:

0:07:03 elapsed time, 0:07:25 cpu time, factor 1.05

stack maximum:

9 MiB

stack average:

8.7 MiB

heap maximum:

5.7 GiB

heap average:

3.4 GiB

heap stored:

21.4 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Key_Agreement_Strong_Adversaries

data:

CSV

timing:

0:07:19 elapsed time, 0:07:20 cpu time, factor 1.00

ML timing:

0:07:18 elapsed time, 0:07:22 cpu time, factor 1.01

stack maximum:

3 MiB

stack average:

2.8 MiB

heap maximum:

1.5 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Core_SC_DOM

data:

CSV

timing:

0:07:19 elapsed time, 0:07:20 cpu time, factor 1.00

ML timing:

0:06:14 elapsed time, 0:06:34 cpu time, factor 1.05

code maximum:

4.8 MiB

stack maximum:

17 MiB

stack average:

14.9 MiB

heap maximum:

2.9 GiB

heap average:

2.2 GiB

heap stored:

46.6 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CoSMed

data:

CSV

timing:

0:06:51 elapsed time, 0:06:52 cpu time, factor 1.00

ML timing:

0:06:50 elapsed time, 0:06:54 cpu time, factor 1.01

stack maximum:

5 MiB

stack average:

3.5 MiB

heap maximum:

1.5 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Formula_Derivatives

data:

CSV

timing:

0:06:50 elapsed time, 0:06:50 cpu time, factor 1.00

ML timing:

0:06:19 elapsed time, 0:07:48 cpu time, factor 1.23

code maximum:

1.7 MiB

stack maximum:

9 MiB

stack average:

4.6 MiB

heap maximum:

8 GiB

heap average:

3.9 GiB

heap stored:

67.8 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Hybrid_Systems_VCs

data:

CSV

timing:

0:06:48 elapsed time, 0:06:49 cpu time, factor 1.00

ML timing:

0:06:44 elapsed time, 0:07:00 cpu time, factor 1.04

stack maximum:

5 MiB

stack average:

5 MiB

heap maximum:

2.9 GiB

heap average:

2.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Stochastic_Matrices

data:

CSV

timing:

0:06:48 elapsed time, 0:06:51 cpu time, factor 1.01

ML timing:

0:06:43 elapsed time, 0:07:15 cpu time, factor 1.08

stack maximum:

9 MiB

stack average:

8.3 MiB

heap maximum:

2.9 GiB

heap average:

2.3 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Regular_Tree_Relations

data:

CSV

timing:

0:06:43 elapsed time, 0:06:44 cpu time, factor 1.00

ML timing:

0:06:39 elapsed time, 0:07:01 cpu time, factor 1.05

stack maximum:

5 MiB

stack average:

5 MiB

heap maximum:

3.5 GiB

heap average:

2.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

HOL-CSP

data:

CSV

timing:

0:06:39 elapsed time, 0:06:40 cpu time, factor 1.00

ML timing:

0:06:22 elapsed time, 0:06:30 cpu time, factor 1.02

stack maximum:

9 MiB

stack average:

8.7 MiB

heap maximum:

2.9 GiB

heap average:

2.6 GiB

heap stored:

17.5 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

BTree

data:

CSV

timing:

0:06:29 elapsed time, 0:06:30 cpu time, factor 1.00

ML timing:

0:06:26 elapsed time, 0:06:36 cpu time, factor 1.02

stack maximum:

9 MiB

stack average:

7 MiB

heap maximum:

1.6 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Monad_Memo_DP

data:

CSV

timing:

0:06:29 elapsed time, 0:06:30 cpu time, factor 1.00

ML timing:

0:06:03 elapsed time, 0:06:20 cpu time, factor 1.05

code maximum:

2.2 MiB

code average:

1 MiB

stack maximum:

9 MiB

stack average:

8.2 MiB

heap maximum:

2.2 GiB

heap average:

1.7 GiB

heap stored:

82.3 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

SPARCv8

data:

CSV

timing:

0:06:26 elapsed time, 0:06:26 cpu time, factor 1.00

ML timing:

0:06:24 elapsed time, 0:06:37 cpu time, factor 1.04

stack maximum:

33 MiB

stack average:

27.5 MiB

heap maximum:

2.9 GiB

heap average:

1.8 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

AI_Planning_Languages_Semantics

data:

CSV

timing:

0:06:26 elapsed time, 0:06:28 cpu time, factor 1.01

ML timing:

0:06:22 elapsed time, 0:06:48 cpu time, factor 1.07

code maximum:

1.7 MiB

stack maximum:

9 MiB

stack average:

8.3 MiB

heap maximum:

4.1 GiB

heap average:

2.3 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Berlekamp_Zassenhaus

data:

CSV

timing:

0:06:24 elapsed time, 0:06:27 cpu time, factor 1.01

ML timing:

0:05:51 elapsed time, 0:06:15 cpu time, factor 1.07

stack maximum:

9 MiB

stack average:

5.7 MiB

heap maximum:

3.2 GiB

heap average:

2 GiB

heap stored:

86.5 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Superposition_Calculus

data:

CSV

timing:

0:06:13 elapsed time, 0:06:08 cpu time, factor 0.99

ML timing:

0:06:08 elapsed time, 0:06:28 cpu time, factor 1.05

stack maximum:

5 MiB

stack average:

5 MiB

heap maximum:

4.9 GiB

heap average:

3.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Refine_Imperative_HOL

data:

CSV

timing:

0:06:08 elapsed time, 0:05:23 cpu time, factor 0.88

ML timing:

0:05:39 elapsed time, 0:05:09 cpu time, factor 0.91

code maximum:

1.9 MiB

code average:

1.7 MiB

stack maximum:

3 MiB

stack average:

2.9 MiB

heap maximum:

2.9 GiB

heap average:

1.9 GiB

heap stored:

72.1 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Quantales_Converse

data:

CSV

timing:

0:06:06 elapsed time, 0:06:05 cpu time, factor 1.00

ML timing:

0:05:48 elapsed time, 0:06:02 cpu time, factor 1.04

stack maximum:

3 MiB

stack average:

2.8 MiB

heap maximum:

2.9 GiB

heap average:

2.1 GiB

heap stored:

70 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CZH_Foundations

data:

CSV

timing:

0:06:06 elapsed time, 0:06:08 cpu time, factor 1.01

ML timing:

0:05:56 elapsed time, 0:06:39 cpu time, factor 1.12

stack maximum:

5 MiB

stack average:

4.9 MiB

heap maximum:

7.6 GiB

heap average:

4.1 GiB

heap stored:

33.5 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Probabilistic_Timed_Automata

data:

CSV

timing:

0:06:06 elapsed time, 0:06:09 cpu time, factor 1.01

ML timing:

0:06:02 elapsed time, 0:06:17 cpu time, factor 1.04

stack maximum:

9 MiB

stack average:

6.9 MiB

heap maximum:

2.9 GiB

heap average:

1.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Wieferich_Kempner

data:

CSV

timing:

0:06:03 elapsed time, 0:05:57 cpu time, factor 0.98

ML timing:

0:06:01 elapsed time, 0:05:59 cpu time, factor 1.00

stack maximum:

3 MiB

stack average:

3 MiB

heap maximum:

1.5 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Transcendence_Series_Hancl_Rucki

data:

CSV

timing:

0:06:02 elapsed time, 0:06:06 cpu time, factor 1.01

ML timing:

0:05:58 elapsed time, 0:06:25 cpu time, factor 1.07

stack maximum:

9 MiB

stack average:

6.4 MiB

heap maximum:

4.4 GiB

heap average:

3.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CRYSTALS-Kyber_Security

data:

CSV

timing:

0:05:49 elapsed time, 0:05:52 cpu time, factor 1.01

ML timing:

0:05:44 elapsed time, 0:06:15 cpu time, factor 1.09

stack maximum:

9 MiB

stack average:

8 MiB

heap maximum:

4.3 GiB

heap average:

3.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Regression_Test_Selection

data:

CSV

timing:

0:05:46 elapsed time, 0:05:47 cpu time, factor 1.00

ML timing:

0:05:44 elapsed time, 0:05:49 cpu time, factor 1.01

stack maximum:

5 MiB

stack average:

3.9 MiB

heap maximum:

1.5 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Lorenz_Approximation

data:

CSV

timing:

0:05:41 elapsed time, 0:05:40 cpu time, factor 1.00

ML timing:

0:05:38 elapsed time, 0:05:55 cpu time, factor 1.05

code maximum:

3.4 MiB

code average:

1.4 MiB

stack maximum:

65 MiB

stack average:

23.7 MiB

heap maximum:

3.7 GiB

heap average:

1.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Transport

data:

CSV

timing:

0:05:38 elapsed time, 0:05:40 cpu time, factor 1.01

ML timing:

0:05:36 elapsed time, 0:05:50 cpu time, factor 1.04

code maximum:

5 MiB

code average:

4.5 MiB

stack maximum:

5 MiB

stack average:

4.8 MiB

heap maximum:

2.9 GiB

heap average:

2.3 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Diagonal_Ramsey

data:

CSV

timing:

0:05:35 elapsed time, 0:05:29 cpu time, factor 0.98

ML timing:

0:05:32 elapsed time, 0:05:39 cpu time, factor 1.02

stack maximum:

17 MiB

stack average:

12.7 MiB

heap maximum:

2.4 GiB

heap average:

1.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

IsaNet

data:

CSV

timing:

0:05:28 elapsed time, 0:05:27 cpu time, factor 1.00

ML timing:

0:05:25 elapsed time, 0:05:34 cpu time, factor 1.03

stack maximum:

5 MiB

stack average:

5 MiB

heap maximum:

3 GiB

heap average:

2.3 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Deep_Learning

data:

CSV

timing:

0:05:25 elapsed time, 0:05:28 cpu time, factor 1.01

ML timing:

0:05:20 elapsed time, 0:05:47 cpu time, factor 1.08

stack maximum:

9 MiB

stack average:

7.6 MiB

heap maximum:

5.6 GiB

heap average:

2.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

SM_Base

data:

CSV

timing:

0:05:21 elapsed time, 0:05:12 cpu time, factor 0.97

ML timing:

0:04:50 elapsed time, 0:05:03 cpu time, factor 1.04

stack maximum:

9 MiB

stack average:

8 MiB

heap maximum:

3.6 GiB

heap average:

2 GiB

heap stored:

68.4 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Continued_Fractions

data:

CSV

timing:

0:05:21 elapsed time, 0:05:20 cpu time, factor 1.00

ML timing:

0:05:17 elapsed time, 0:05:31 cpu time, factor 1.04

code maximum:

1.9 MiB

code average:

1.3 MiB

stack maximum:

17 MiB

stack average:

12.3 MiB

heap maximum:

2.6 GiB

heap average:

2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Ordinary_Differential_Equations

data:

CSV

timing:

0:05:20 elapsed time, 0:05:22 cpu time, factor 1.01

ML timing:

0:04:59 elapsed time, 0:05:09 cpu time, factor 1.03

stack maximum:

17 MiB

stack average:

12.2 MiB

heap maximum:

2.2 GiB

heap average:

1.8 GiB

heap stored:

50.7 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Go_Test_Slow

data:

CSV

timing:

0:05:18 elapsed time, 0:05:14 cpu time, factor 0.99

ML timing:

0:05:14 elapsed time, 0:05:39 cpu time, factor 1.08

stack maximum:

9 MiB

stack average:

7.6 MiB

heap maximum:

2.7 GiB

heap average:

1.8 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

DFS_Framework

data:

CSV

timing:

0:05:16 elapsed time, 0:04:56 cpu time, factor 0.94

ML timing:

0:05:13 elapsed time, 0:05:06 cpu time, factor 0.98

stack maximum:

9 MiB

stack average:

7.7 MiB

heap maximum:

2.9 GiB

heap average:

1.9 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Timed_Automata

data:

CSV

timing:

0:05:14 elapsed time, 0:05:13 cpu time, factor 1.00

ML timing:

0:05:10 elapsed time, 0:05:20 cpu time, factor 1.03

stack maximum:

9 MiB

stack average:

6.5 MiB

heap maximum:

2.9 GiB

heap average:

2.2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Group-Ring-Module

data:

CSV

timing:

0:05:14 elapsed time, 0:05:19 cpu time, factor 1.02

ML timing:

0:04:59 elapsed time, 0:05:26 cpu time, factor 1.09

stack maximum:

17 MiB

stack average:

16.4 MiB

heap maximum:

4.2 GiB

heap average:

2.7 GiB

heap stored:

26.4 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Algebraic_Numbers

data:

CSV

timing:

0:05:11 elapsed time, 0:05:13 cpu time, factor 1.01

ML timing:

0:04:47 elapsed time, 0:05:02 cpu time, factor 1.05

code maximum:

3.6 MiB

code average:

1.6 MiB

stack maximum:

9 MiB

stack average:

8.5 MiB

heap maximum:

4.2 GiB

heap average:

2.1 GiB

heap stored:

47.2 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Dirichlet_Series

data:

CSV

timing:

0:05:10 elapsed time, 0:05:13 cpu time, factor 1.01

ML timing:

0:04:43 elapsed time, 0:05:08 cpu time, factor 1.09

stack maximum:

9 MiB

stack average:

5.5 MiB

heap maximum:

4.3 GiB

heap average:

2.9 GiB

heap stored:

60.7 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Q0_Metatheory

data:

CSV

timing:

0:05:05 elapsed time, 0:05:07 cpu time, factor 1.01

ML timing:

0:05:03 elapsed time, 0:05:15 cpu time, factor 1.04

stack maximum:

9 MiB

stack average:

8.2 MiB

heap maximum:

2.4 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CHERI-C_Memory_Model

data:

CSV

timing:

0:05:04 elapsed time, 0:04:57 cpu time, factor 0.98

ML timing:

0:05:01 elapsed time, 0:05:09 cpu time, factor 1.03

stack maximum:

9 MiB

stack average:

7.6 MiB

heap maximum:

2.6 GiB

heap average:

1.8 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Balog_Szemeredi_Gowers

data:

CSV

timing:

0:05:04 elapsed time, 0:04:38 cpu time, factor 0.91

ML timing:

0:05:01 elapsed time, 0:04:54 cpu time, factor 0.98

stack maximum:

17 MiB

stack average:

10.3 MiB

heap maximum:

2.9 GiB

heap average:

1.9 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Containers-Benchmarks

data:

CSV

timing:

0:04:58 elapsed time, 0:04:25 cpu time, factor 0.89

ML timing:

0:04:51 elapsed time, 0:04:46 cpu time, factor 0.98

code maximum:

2.9 MiB

code average:

2.3 MiB

stack maximum:

9 MiB

stack average:

8.4 MiB

heap maximum:

5.9 GiB

heap average:

3.3 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Complex_Bounded_Operators

data:

CSV

timing:

0:04:57 elapsed time, 0:04:46 cpu time, factor 0.96

ML timing:

0:04:33 elapsed time, 0:04:36 cpu time, factor 1.01

code maximum:

3.8 MiB

code average:

1.1 MiB

stack maximum:

9 MiB

stack average:

7.2 MiB

heap maximum:

2.9 GiB

heap average:

1.7 GiB

heap stored:

40.5 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Differential_Dynamic_Logic

data:

CSV

timing:

0:04:57 elapsed time, 0:04:58 cpu time, factor 1.00

ML timing:

0:04:53 elapsed time, 0:05:06 cpu time, factor 1.05

stack maximum:

9 MiB

stack average:

6.4 MiB

heap maximum:

2.9 GiB

heap average:

2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

DPRM_Theorem

data:

CSV

timing:

0:04:57 elapsed time, 0:04:56 cpu time, factor 1.00

ML timing:

0:04:55 elapsed time, 0:05:07 cpu time, factor 1.04

stack maximum:

17 MiB

stack average:

8.9 MiB

heap maximum:

2.9 GiB

heap average:

2.1 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Echelon_Form

data:

CSV

timing:

0:04:52 elapsed time, 0:04:54 cpu time, factor 1.01

ML timing:

0:04:35 elapsed time, 0:04:47 cpu time, factor 1.04

code maximum:

1.1 MiB

stack maximum:

9 MiB

stack average:

8.5 MiB

heap maximum:

2.9 GiB

heap average:

1.8 GiB

heap stored:

23.5 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Polynomials

data:

CSV

timing:

0:04:50 elapsed time, 0:04:54 cpu time, factor 1.01

ML timing:

0:04:22 elapsed time, 0:04:54 cpu time, factor 1.12

code maximum:

6 MiB

code average:

1.9 MiB

stack maximum:

9 MiB

stack average:

8.3 MiB

heap maximum:

4.6 GiB

heap average:

2.8 GiB

heap stored:

75.2 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Schwartz_Zippel

data:

CSV

timing:

0:04:45 elapsed time, 0:04:47 cpu time, factor 1.01

ML timing:

0:04:41 elapsed time, 0:05:07 cpu time, factor 1.09

stack maximum:

9 MiB

stack average:

7.3 MiB

heap maximum:

3.2 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Relative_Security

data:

CSV

timing:

0:04:43 elapsed time, 0:04:43 cpu time, factor 1.00

ML timing:

0:04:20 elapsed time, 0:04:27 cpu time, factor 1.03

stack maximum:

17 MiB

stack average:

14.3 MiB

heap maximum:

1.8 GiB

heap average:

1.5 GiB

heap stored:

20.9 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Simple_Clause_Learning

data:

CSV

timing:

0:04:41 elapsed time, 0:04:21 cpu time, factor 0.93

ML timing:

0:04:36 elapsed time, 0:04:26 cpu time, factor 0.96

stack maximum:

17 MiB

stack average:

11.3 MiB

heap maximum:

2.8 GiB

heap average:

2.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

LTL_to_GBA

data:

CSV

timing:

0:04:41 elapsed time, 0:04:39 cpu time, factor 0.99

ML timing:

0:04:38 elapsed time, 0:04:49 cpu time, factor 1.04

stack maximum:

5 MiB

stack average:

4.9 MiB

heap maximum:

3.9 GiB

heap average:

2.9 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Multi_Party_Computation

data:

CSV

timing:

0:04:38 elapsed time, 0:04:39 cpu time, factor 1.00

ML timing:

0:04:35 elapsed time, 0:04:51 cpu time, factor 1.06

stack maximum:

5 MiB

stack average:

4.4 MiB

heap maximum:

3.7 GiB

heap average:

2.8 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

MFOTL_Checker

data:

CSV

timing:

0:04:38 elapsed time, 0:04:37 cpu time, factor 1.00

ML timing:

0:04:33 elapsed time, 0:04:52 cpu time, factor 1.07

code maximum:

1.3 MiB

stack maximum:

5 MiB

stack average:

3.9 MiB

heap maximum:

3.8 GiB

heap average:

2.3 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CAVA_LTL_Modelchecker

data:

CSV

timing:

0:04:38 elapsed time, 0:04:17 cpu time, factor 0.92

ML timing:

0:04:35 elapsed time, 0:04:27 cpu time, factor 0.97

stack maximum:

3 MiB

stack average:

3 MiB

heap maximum:

2.2 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Isabelle_Marries_Dirac

data:

CSV

timing:

0:04:35 elapsed time, 0:04:30 cpu time, factor 0.98

ML timing:

0:04:32 elapsed time, 0:04:33 cpu time, factor 1.01

stack maximum:

9 MiB

stack average:

8.9 MiB

heap maximum:

2.9 GiB

heap average:

2.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Collections_Examples

data:

CSV

timing:

0:04:32 elapsed time, 0:03:49 cpu time, factor 0.84

ML timing:

0:04:29 elapsed time, 0:04:01 cpu time, factor 0.90

code maximum:

1.4 MiB

stack maximum:

5 MiB

stack average:

4.8 MiB

heap maximum:

2.9 GiB

heap average:

2.2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Worklist_Algorithms

data:

CSV

timing:

0:04:31 elapsed time, 0:04:32 cpu time, factor 1.00

ML timing:

0:04:28 elapsed time, 0:04:40 cpu time, factor 1.05

stack maximum:

3 MiB

stack average:

3 MiB

heap maximum:

3.4 GiB

heap average:

2.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Alpha_Beta_Pruning

data:

CSV

timing:

0:04:26 elapsed time, 0:04:17 cpu time, factor 0.97

ML timing:

0:04:22 elapsed time, 0:04:47 cpu time, factor 1.09

code maximum:

2.7 MiB

code average:

2.1 MiB

stack maximum:

9 MiB

stack average:

8.6 MiB

heap maximum:

4.1 GiB

heap average:

1.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Padic_Ints

data:

CSV

timing:

0:04:22 elapsed time, 0:04:16 cpu time, factor 0.98

ML timing:

0:03:59 elapsed time, 0:04:26 cpu time, factor 1.11

stack maximum:

17 MiB

stack average:

15.2 MiB

heap maximum:

6 GiB

heap average:

3.9 GiB

heap stored:

22 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CryptHOL

data:

CSV

timing:

0:04:21 elapsed time, 0:04:16 cpu time, factor 0.98

ML timing:

0:03:50 elapsed time, 0:04:08 cpu time, factor 1.08

code maximum:

1.1 MiB

code average:

1.1 MiB

stack maximum:

17 MiB

stack average:

10.6 MiB

heap maximum:

2.1 GiB

heap average:

1.4 GiB

heap stored:

71.7 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

MLSS_Decision_Proc

data:

CSV

timing:

0:04:21 elapsed time, 0:04:23 cpu time, factor 1.01

ML timing:

0:04:18 elapsed time, 0:04:33 cpu time, factor 1.06

stack maximum:

9 MiB

stack average:

8.9 MiB

heap maximum:

2.9 GiB

heap average:

2.2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

LLL_Basis_Reduction

data:

CSV

timing:

0:04:21 elapsed time, 0:04:22 cpu time, factor 1.00

ML timing:

0:03:57 elapsed time, 0:04:13 cpu time, factor 1.07

stack maximum:

5 MiB

stack average:

4.7 MiB

heap maximum:

2.9 GiB

heap average:

1.9 GiB

heap stored:

34.1 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Hoare_Time

data:

CSV

timing:

0:04:20 elapsed time, 0:04:21 cpu time, factor 1.00

ML timing:

0:04:18 elapsed time, 0:04:34 cpu time, factor 1.07

stack maximum:

3 MiB

stack average:

2.9 MiB

heap maximum:

4.2 GiB

heap average:

2.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Iptables_Semantics

data:

CSV

timing:

0:04:16 elapsed time, 0:04:13 cpu time, factor 0.99

ML timing:

0:03:49 elapsed time, 0:04:03 cpu time, factor 1.06

code maximum:

5 MiB

code average:

1.6 MiB

stack maximum:

5 MiB

stack average:

3.4 MiB

heap maximum:

5.4 GiB

heap average:

2.6 GiB

heap stored:

91.8 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Gromov_Hyperbolicity

data:

CSV

timing:

0:04:15 elapsed time, 0:04:17 cpu time, factor 1.01

ML timing:

0:04:12 elapsed time, 0:04:22 cpu time, factor 1.04

stack maximum:

17 MiB

stack average:

11.4 MiB

heap maximum:

2.7 GiB

heap average:

2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Levy_Prokhorov_Metric

data:

CSV

timing:

0:04:14 elapsed time, 0:04:16 cpu time, factor 1.01

ML timing:

0:04:12 elapsed time, 0:04:23 cpu time, factor 1.04

stack maximum:

65 MiB

stack average:

30.5 MiB

heap maximum:

1.7 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Datatype_Order_Generator

data:

CSV

timing:

0:04:12 elapsed time, 0:04:10 cpu time, factor 0.99

ML timing:

0:03:35 elapsed time, 0:03:51 cpu time, factor 1.07

stack maximum:

5 MiB

stack average:

4.4 MiB

heap maximum:

4.1 GiB

heap average:

1.8 GiB

heap stored:

60.9 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Interval_Analysis

data:

CSV

timing:

0:04:08 elapsed time, 0:03:27 cpu time, factor 0.83

ML timing:

0:04:05 elapsed time, 0:03:29 cpu time, factor 0.85

stack maximum:

5 MiB

stack average:

5 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Posix-Lexing

data:

CSV

timing:

0:04:07 elapsed time, 0:04:05 cpu time, factor 0.99

ML timing:

0:04:03 elapsed time, 0:04:31 cpu time, factor 1.11

stack maximum:

3 MiB

stack average:

3 MiB

heap maximum:

4.2 GiB

heap average:

3.2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

EnrichedCategoryBasics

data:

CSV

timing:

0:04:05 elapsed time, 0:04:06 cpu time, factor 1.00

ML timing:

0:04:03 elapsed time, 0:04:23 cpu time, factor 1.08

stack maximum:

9 MiB

stack average:

9 MiB

heap maximum:

3.9 GiB

heap average:

1.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

QR_Decomposition

data:

CSV

timing:

0:03:59 elapsed time, 0:04:01 cpu time, factor 1.01

ML timing:

0:03:57 elapsed time, 0:04:12 cpu time, factor 1.06

code maximum:

2.4 MiB

code average:

1.4 MiB

stack maximum:

9 MiB

stack average:

7.6 MiB

heap maximum:

2.3 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Progress_Tracking

data:

CSV

timing:

0:03:59 elapsed time, 0:03:59 cpu time, factor 1.00

ML timing:

0:03:57 elapsed time, 0:04:00 cpu time, factor 1.01

stack maximum:

5 MiB

stack average:

4.7 MiB

heap maximum:

1.5 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Flow_Networks

data:

CSV

timing:

0:03:58 elapsed time, 0:03:47 cpu time, factor 0.95

ML timing:

0:03:36 elapsed time, 0:03:34 cpu time, factor 0.99

stack maximum:

9 MiB

stack average:

6.1 MiB

heap maximum:

3 GiB

heap average:

1.8 GiB

heap stored:

38 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Coinductive

data:

CSV

timing:

0:03:56 elapsed time, 0:03:48 cpu time, factor 0.97

ML timing:

0:03:33 elapsed time, 0:03:32 cpu time, factor 1.00

stack maximum:

9 MiB

stack average:

8.2 MiB

heap maximum:

2.9 GiB

heap average:

1.9 GiB

heap stored:

49.9 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Functional_Ordered_Resolution_Prover

data:

CSV

timing:

0:03:51 elapsed time, 0:03:51 cpu time, factor 1.00

ML timing:

0:03:48 elapsed time, 0:04:05 cpu time, factor 1.08

code maximum:

1.4 MiB

stack maximum:

5 MiB

stack average:

5 MiB

heap maximum:

2.9 GiB

heap average:

1.8 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Lie_Groups

data:

CSV

timing:

0:03:50 elapsed time, 0:03:49 cpu time, factor 1.00

ML timing:

0:03:46 elapsed time, 0:04:08 cpu time, factor 1.10

code maximum:

1.2 MiB

code average:

1.2 MiB

stack maximum:

9 MiB

stack average:

8.7 MiB

heap maximum:

4.3 GiB

heap average:

2.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Store_Buffer_Reduction

data:

CSV

timing:

0:03:50 elapsed time, 0:03:49 cpu time, factor 1.00

ML timing:

0:03:47 elapsed time, 0:03:54 cpu time, factor 1.03

stack maximum:

33 MiB

stack average:

33 MiB

heap maximum:

2.3 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Linear_Programming

data:

CSV

timing:

0:03:49 elapsed time, 0:03:50 cpu time, factor 1.00

ML timing:

0:03:46 elapsed time, 0:03:57 cpu time, factor 1.05

stack maximum:

33 MiB

stack average:

26.5 MiB

heap maximum:

2.9 GiB

heap average:

1.9 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Interval_Arithmetic_Word32

data:

CSV

timing:

0:03:45 elapsed time, 0:03:44 cpu time, factor 1.00

ML timing:

0:03:43 elapsed time, 0:03:48 cpu time, factor 1.02

stack maximum:

65 MiB

stack average:

60.3 MiB

heap maximum:

1.7 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

WebAssembly

data:

CSV

timing:

0:03:45 elapsed time, 0:03:45 cpu time, factor 1.00

ML timing:

0:03:42 elapsed time, 0:03:53 cpu time, factor 1.05

stack maximum:

5 MiB

stack average:

4.9 MiB

heap maximum:

1.6 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Modal_Logics_for_NTS

data:

CSV

timing:

0:03:43 elapsed time, 0:03:44 cpu time, factor 1.00

ML timing:

0:03:40 elapsed time, 0:03:56 cpu time, factor 1.07

stack maximum:

5 MiB

stack average:

4.9 MiB

heap maximum:

4 GiB

heap average:

2.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Query_Optimization

data:

CSV

timing:

0:03:42 elapsed time, 0:03:42 cpu time, factor 1.00

ML timing:

0:03:39 elapsed time, 0:03:49 cpu time, factor 1.04

stack maximum:

17 MiB

stack average:

11.8 MiB

heap maximum:

2.5 GiB

heap average:

1.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Interpreter_Optimizations

data:

CSV

timing:

0:03:42 elapsed time, 0:03:42 cpu time, factor 1.00

ML timing:

0:03:38 elapsed time, 0:03:49 cpu time, factor 1.05

stack maximum:

5 MiB

stack average:

5 MiB

heap maximum:

2.9 GiB

heap average:

2.3 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CoreC++

data:

CSV

timing:

0:03:42 elapsed time, 0:03:41 cpu time, factor 1.00

ML timing:

0:03:40 elapsed time, 0:03:50 cpu time, factor 1.04

code maximum:

5.8 MiB

code average:

2.2 MiB

stack maximum:

5 MiB

stack average:

3.4 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Paraconsistency

data:

CSV

timing:

0:03:40 elapsed time, 0:03:39 cpu time, factor 1.00

ML timing:

0:03:39 elapsed time, 0:03:40 cpu time, factor 1.00

stack maximum:

3 MiB

stack average:

3 MiB

heap maximum:

1.5 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Tree_Enumeration

data:

CSV

timing:

0:03:38 elapsed time, 0:03:38 cpu time, factor 1.00

ML timing:

0:03:36 elapsed time, 0:03:45 cpu time, factor 1.04

stack maximum:

9 MiB

stack average:

9 MiB

heap maximum:

2.9 GiB

heap average:

2.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Planarity_Certificates

data:

CSV

timing:

0:03:36 elapsed time, 0:03:38 cpu time, factor 1.01

ML timing:

0:03:33 elapsed time, 0:03:54 cpu time, factor 1.10

code maximum:

1.1 MiB

code average:

1 MiB

stack maximum:

9 MiB

stack average:

7.9 MiB

heap maximum:

3 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Safe_Distance

data:

CSV

timing:

0:03:32 elapsed time, 0:03:27 cpu time, factor 0.98

ML timing:

0:03:29 elapsed time, 0:03:34 cpu time, factor 1.03

code maximum:

1.3 MiB

stack maximum:

65 MiB

stack average:

14.9 MiB

heap maximum:

2.1 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Bernoulli

data:

CSV

timing:

0:03:29 elapsed time, 0:03:30 cpu time, factor 1.00

ML timing:

0:03:08 elapsed time, 0:03:22 cpu time, factor 1.08

stack maximum:

5 MiB

stack average:

4.3 MiB

heap maximum:

4.1 GiB

heap average:

2.5 GiB

heap stored:

38.5 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Metalogic_ProofChecker

data:

CSV

timing:

0:03:28 elapsed time, 0:03:27 cpu time, factor 1.00

ML timing:

0:03:26 elapsed time, 0:03:31 cpu time, factor 1.02

stack maximum:

5 MiB

stack average:

4 MiB

heap maximum:

1.6 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Dependent_SIFUM_Refinement

data:

CSV

timing:

0:03:27 elapsed time, 0:03:27 cpu time, factor 1.00

ML timing:

0:03:25 elapsed time, 0:03:36 cpu time, factor 1.05

stack maximum:

9 MiB

stack average:

8.5 MiB

heap maximum:

2.6 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

CVP_Hardness

data:

CSV

timing:

0:03:27 elapsed time, 0:03:18 cpu time, factor 0.96

ML timing:

0:03:24 elapsed time, 0:03:23 cpu time, factor 0.99

stack maximum:

5 MiB

stack average:

4.8 MiB

heap maximum:

2.3 GiB

heap average:

1.8 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Fishers_Inequality

data:

CSV

timing:

0:03:26 elapsed time, 0:03:26 cpu time, factor 1.00

ML timing:

0:03:22 elapsed time, 0:03:36 cpu time, factor 1.07

stack maximum:

5 MiB

stack average:

4.2 MiB

heap maximum:

3.9 GiB

heap average:

2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Relational_Cardinality

data:

CSV

timing:

0:03:26 elapsed time, 0:03:00 cpu time, factor 0.87

ML timing:

0:03:23 elapsed time, 0:03:04 cpu time, factor 0.91

stack maximum:

5 MiB

stack average:

4.6 MiB

heap maximum:

2.9 GiB

heap average:

1.7 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Stable_Matching

data:

CSV

timing:

0:03:25 elapsed time, 0:03:25 cpu time, factor 1.00

ML timing:

0:03:23 elapsed time, 0:03:26 cpu time, factor 1.02

stack maximum:

9 MiB

stack average:

5 MiB

heap maximum:

1.5 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

E_Transcendental

data:

CSV

timing:

0:03:24 elapsed time, 0:03:26 cpu time, factor 1.01

ML timing:

0:03:03 elapsed time, 0:03:22 cpu time, factor 1.10

stack maximum:

5 MiB

stack average:

4.3 MiB

heap maximum:

4.2 GiB

heap average:

2.3 GiB

heap stored:

38.2 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Relational_Method

data:

CSV

timing:

0:03:23 elapsed time, 0:03:23 cpu time, factor 1.00

ML timing:

0:03:21 elapsed time, 0:03:24 cpu time, factor 1.01

stack maximum:

17 MiB

stack average:

16.1 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Flyspeck-Tame

data:

CSV

timing:

0:03:22 elapsed time, 0:03:23 cpu time, factor 1.00

ML timing:

0:03:19 elapsed time, 0:03:31 cpu time, factor 1.06

stack maximum:

17 MiB

stack average:

13.6 MiB

heap maximum:

2.9 GiB

heap average:

2.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Grothendieck_Schemes

data:

CSV

timing:

0:03:22 elapsed time, 0:03:21 cpu time, factor 1.00

ML timing:

0:03:20 elapsed time, 0:03:30 cpu time, factor 1.05

stack maximum:

17 MiB

stack average:

12.7 MiB

heap maximum:

2.9 GiB

heap average:

2.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Ordinal_Partitions

data:

CSV

timing:

0:03:21 elapsed time, 0:03:21 cpu time, factor 1.00

ML timing:

0:03:19 elapsed time, 0:03:26 cpu time, factor 1.03

stack maximum:

9 MiB

stack average:

5.9 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Probabilistic_Noninterference

data:

CSV

timing:

0:03:21 elapsed time, 0:03:18 cpu time, factor 0.99

ML timing:

0:03:17 elapsed time, 0:03:28 cpu time, factor 1.05

stack maximum:

9 MiB

stack average:

8.9 MiB

heap maximum:

2.7 GiB

heap average:

2 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

InfPathElimination

data:

CSV

timing:

0:03:19 elapsed time, 0:03:19 cpu time, factor 1.00

ML timing:

0:03:17 elapsed time, 0:03:19 cpu time, factor 1.01

stack maximum:

9 MiB

stack average:

8 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Count_Complex_Roots

data:

CSV

timing:

0:03:16 elapsed time, 0:03:16 cpu time, factor 1.00

ML timing:

0:02:58 elapsed time, 0:03:03 cpu time, factor 1.03

code maximum:

1.4 MiB

stack maximum:

9 MiB

stack average:

6.7 MiB

heap maximum:

1.5 GiB

heap average:

1.3 GiB

heap stored:

29.1 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Dirichlet_L

data:

CSV

timing:

0:03:16 elapsed time, 0:03:17 cpu time, factor 1.01

ML timing:

0:03:13 elapsed time, 0:03:28 cpu time, factor 1.08

stack maximum:

5 MiB

stack average:

4.7 MiB

heap maximum:

3 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

KBPs

data:

CSV

timing:

0:03:16 elapsed time, 0:03:16 cpu time, factor 1.00

ML timing:

0:03:13 elapsed time, 0:03:20 cpu time, factor 1.03

stack maximum:

5 MiB

stack average:

3.4 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Constructive_Cryptography

data:

CSV

timing:

0:03:15 elapsed time, 0:03:15 cpu time, factor 1.00

ML timing:

0:02:55 elapsed time, 0:02:58 cpu time, factor 1.02

stack maximum:

5 MiB

stack average:

4.6 MiB

heap maximum:

1.5 GiB

heap average:

1.3 GiB

heap stored:

19.6 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

IMP_Noninterference_Extension

data:

CSV

timing:

0:03:15 elapsed time, 0:03:16 cpu time, factor 1.01

ML timing:

0:03:14 elapsed time, 0:03:19 cpu time, factor 1.03

stack maximum:

5 MiB

stack average:

3.9 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Roth_Arithmetic_Progressions

data:

CSV

timing:

0:03:11 elapsed time, 0:03:10 cpu time, factor 0.99

ML timing:

0:03:08 elapsed time, 0:03:14 cpu time, factor 1.03

stack maximum:

17 MiB

stack average:

9.6 MiB

heap maximum:

1.5 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Markov_Models

data:

CSV

timing:

0:03:09 elapsed time, 0:03:07 cpu time, factor 0.99

ML timing:

0:02:46 elapsed time, 0:02:52 cpu time, factor 1.04

stack maximum:

9 MiB

stack average:

7.8 MiB

heap maximum:

2.9 GiB

heap average:

1.5 GiB

heap stored:

49 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Safe_OCL

data:

CSV

timing:

0:03:09 elapsed time, 0:03:08 cpu time, factor 0.99

ML timing:

0:03:06 elapsed time, 0:03:13 cpu time, factor 1.04

code maximum:

2.7 MiB

stack maximum:

3 MiB

stack average:

3 MiB

heap maximum:

2.4 GiB

heap average:

1.9 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Riesz_Representation

data:

CSV

timing:

0:03:09 elapsed time, 0:03:10 cpu time, factor 1.01

ML timing:

0:03:07 elapsed time, 0:03:15 cpu time, factor 1.04

stack maximum:

65 MiB

stack average:

28.7 MiB

heap maximum:

1.7 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Orient_Rewrite_Rule_Undecidable

data:

CSV

timing:

0:03:07 elapsed time, 0:03:08 cpu time, factor 1.01

ML timing:

0:03:04 elapsed time, 0:03:14 cpu time, factor 1.06

stack maximum:

9 MiB

stack average:

8.5 MiB

heap maximum:

2.9 GiB

heap average:

1.8 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Difference_Bound_Matrices

data:

CSV

timing:

0:03:07 elapsed time, 0:03:04 cpu time, factor 0.98

ML timing:

0:02:47 elapsed time, 0:02:49 cpu time, factor 1.02

stack maximum:

5 MiB

stack average:

4.3 MiB

heap maximum:

1.5 GiB

heap average:

1.3 GiB

heap stored:

27.1 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Eval_FO

data:

CSV

timing:

0:03:07 elapsed time, 0:03:04 cpu time, factor 0.98

ML timing:

0:03:04 elapsed time, 0:03:07 cpu time, factor 1.01

code maximum:

1.6 MiB

stack maximum:

9 MiB

stack average:

8 MiB

heap maximum:

1.7 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

ConcurrentHOL

data:

CSV

timing:

0:03:07 elapsed time, 0:03:09 cpu time, factor 1.01

ML timing:

0:03:04 elapsed time, 0:03:16 cpu time, factor 1.07

code maximum:

2.6 MiB

code average:

1.6 MiB

stack maximum:

9 MiB

stack average:

8 MiB

heap maximum:

2.7 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Promela

data:

CSV

timing:

0:03:06 elapsed time, 0:03:02 cpu time, factor 0.98

ML timing:

0:03:03 elapsed time, 0:03:04 cpu time, factor 1.01

stack maximum:

5 MiB

stack average:

3.8 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Featherweight_OCL

data:

CSV

timing:

0:03:03 elapsed time, 0:03:04 cpu time, factor 1.01

ML timing:

0:03:01 elapsed time, 0:03:12 cpu time, factor 1.06

code maximum:

16.7 MiB

code average:

8.7 MiB

stack maximum:

17 MiB

stack average:

11.7 MiB

heap maximum:

3.8 GiB

heap average:

1.8 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

SM

data:

CSV

timing:

0:03:03 elapsed time, 0:02:53 cpu time, factor 0.95

ML timing:

0:03:00 elapsed time, 0:02:56 cpu time, factor 0.98

stack maximum:

3 MiB

stack average:

3 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Groebner_Macaulay

data:

CSV

timing:

0:03:02 elapsed time, 0:03:03 cpu time, factor 1.01

ML timing:

0:02:56 elapsed time, 0:03:29 cpu time, factor 1.18

stack maximum:

9 MiB

stack average:

8.4 MiB

heap maximum:

6.8 GiB

heap average:

3.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

LTL_to_DRA

data:

CSV

timing:

0:02:59 elapsed time, 0:02:59 cpu time, factor 1.00

ML timing:

0:02:56 elapsed time, 0:03:12 cpu time, factor 1.10

stack maximum:

5 MiB

stack average:

4.4 MiB

heap maximum:

3.5 GiB

heap average:

1.8 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

VYDRA_MDL

data:

CSV

timing:

0:02:59 elapsed time, 0:02:59 cpu time, factor 1.00

ML timing:

0:02:55 elapsed time, 0:03:06 cpu time, factor 1.06

stack maximum:

5 MiB

stack average:

4.6 MiB

heap maximum:

3 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Hermite_Lindemann

data:

CSV

timing:

0:02:59 elapsed time, 0:03:01 cpu time, factor 1.01

ML timing:

0:02:55 elapsed time, 0:03:10 cpu time, factor 1.08

stack maximum:

5 MiB

stack average:

5 MiB

heap maximum:

2.7 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

LOFT

data:

CSV

timing:

0:02:59 elapsed time, 0:02:58 cpu time, factor 0.99

ML timing:

0:02:57 elapsed time, 0:03:03 cpu time, factor 1.03

code maximum:

5.1 MiB

code average:

2.6 MiB

stack maximum:

5 MiB

stack average:

3.7 MiB

heap maximum:

1.9 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Verified_SAT_Based_AI_Planning

data:

CSV

timing:

0:02:58 elapsed time, 0:02:59 cpu time, factor 1.01

ML timing:

0:02:55 elapsed time, 0:03:08 cpu time, factor 1.07

stack maximum:

9 MiB

stack average:

5 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Simpl

data:

CSV

timing:

0:02:58 elapsed time, 0:03:00 cpu time, factor 1.01

ML timing:

0:02:38 elapsed time, 0:02:52 cpu time, factor 1.09

code maximum:

1.8 MiB

stack maximum:

9 MiB

stack average:

8.3 MiB

heap maximum:

2.9 GiB

heap average:

1.5 GiB

heap stored:

53.6 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Types_To_Sets_Extension

data:

CSV

timing:

0:02:55 elapsed time, 0:02:56 cpu time, factor 1.01

ML timing:

0:02:53 elapsed time, 0:03:00 cpu time, factor 1.05

code maximum:

1.1 MiB

code average:

1 MiB

stack maximum:

5 MiB

stack average:

4.5 MiB

heap maximum:

2 GiB

heap average:

1.6 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Gabow_SCC

data:

CSV

timing:

0:02:55 elapsed time, 0:02:48 cpu time, factor 0.96

ML timing:

0:02:53 elapsed time, 0:02:53 cpu time, factor 1.00

stack maximum:

5 MiB

stack average:

5 MiB

heap maximum:

1.5 GiB

heap average:

1.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

LTL_Master_Theorem

data:

CSV

timing:

0:02:55 elapsed time, 0:02:56 cpu time, factor 1.01

ML timing:

0:02:51 elapsed time, 0:03:02 cpu time, factor 1.06

stack maximum:

5 MiB

stack average:

4.8 MiB

heap maximum:

1.9 GiB

heap average:

1.5 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Hypergraph_Colourings

data:

CSV

timing:

0:02:54 elapsed time, 0:02:53 cpu time, factor 0.99

ML timing:

0:02:51 elapsed time, 0:02:57 cpu time, factor 1.03

stack maximum:

3 MiB

stack average:

3 MiB

heap maximum:

2.9 GiB

heap average:

2.4 GiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b

Containers

data:

CSV

timing:

0:02:49 elapsed time, 0:02:35 cpu time, factor 0.92

ML timing:

0:02:28 elapsed time, 0:02:25 cpu time, factor 0.98

code maximum:

2.1 MiB

code average:

1.1 MiB

stack maximum:

5 MiB

stack average:

4.4 MiB

heap maximum:

3.1 GiB

heap average:

1.9 GiB

heap stored:

56.1 MiB

Isabelle version:

25978a474603

AFP version:

8f699d45e94b