Isabelle build status for AFP

status date:
15-Oct-2019 17:18:45 +0200
build host:
lxbroy6, lxbroy8

HOL-ODE-Numerics

data:
CSV
timing:
2:17:25 elapsed time, 1:53:37 cpu time, factor 0.83
ML timing:
1:49:19 elapsed time, 2:03:58 cpu time, factor 1.13
code maximum:
5 M
code average:
2 M
stack maximum:
64 M
stack average:
53 M
heap maximum:
3259 M
heap average:
2015 M
heap stored:
294 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

HOL-ODE-ARCH-COMP

data:
CSV
timing:
0:39:37 elapsed time, 0:39:28 cpu time, factor 1.00
ML timing:
0:39:26 elapsed time, 0:40:32 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1660 M
heap average:
1526 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

CakeML_Codegen

data:
CSV
timing:
0:39:29 elapsed time, 0:43:20 cpu time, factor 1.10
ML timing:
0:39:11 elapsed time, 0:37:10 cpu time, factor 0.95
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
3366 M
heap average:
1654 M
Isabelle version:
8a43ce639d85
AFP version:
f9adabfbcca6

Groebner_Bases

data:
CSV
timing:
0:39:28 elapsed time, 0:37:23 cpu time, factor 0.95
ML timing:
0:32:07 elapsed time, 0:40:22 cpu time, factor 1.26
code maximum:
19 M
code average:
4 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
4746 M
heap average:
2366 M
heap stored:
377 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Formula_Derivatives

data:
CSV
timing:
0:37:21 elapsed time, 0:31:40 cpu time, factor 0.85
ML timing:
0:35:03 elapsed time, 0:48:17 cpu time, factor 1.38
code maximum:
1 M
stack maximum:
16 M
stack average:
7 M
heap maximum:
3623 M
heap average:
2035 M
heap stored:
84 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Iptables_Semantics_Examples

data:
CSV
timing:
0:36:29 elapsed time, 0:36:17 cpu time, factor 0.99
ML timing:
0:36:17 elapsed time, 0:39:25 cpu time, factor 1.09
code maximum:
32 M
code average:
16 M
stack maximum:
16 M
stack average:
10 M
heap maximum:
1759 M
heap average:
1538 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

MSO_Regex_Equivalence

data:
CSV
timing:
0:34:03 elapsed time, 0:33:58 cpu time, factor 1.00
ML timing:
0:34:01 elapsed time, 0:35:36 cpu time, factor 1.05
code maximum:
4 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
2450 M
heap average:
1596 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Incompleteness

data:
CSV
timing:
0:33:39 elapsed time, 0:33:30 cpu time, factor 1.00
ML timing:
0:31:48 elapsed time, 0:32:24 cpu time, factor 1.02
code maximum:
2 M
code average:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1494 M
heap stored:
50 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Echelon_Form

data:
CSV
timing:
0:32:33 elapsed time, 0:25:48 cpu time, factor 0.79
ML timing:
0:30:54 elapsed time, 0:29:09 cpu time, factor 0.94
code maximum:
19 M
code average:
16 M
stack maximum:
16 M
stack average:
13 M
heap maximum:
3582 M
heap average:
1604 M
heap stored:
59 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Affine_Arithmetic

data:
CSV
timing:
0:29:30 elapsed time, 0:28:29 cpu time, factor 0.97
ML timing:
0:25:50 elapsed time, 0:28:55 cpu time, factor 1.12
code maximum:
4 M
code average:
1 M
stack maximum:
64 M
stack average:
30 M
heap maximum:
2108 M
heap average:
1649 M
heap stored:
135 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Category3

data:
CSV
timing:
0:28:25 elapsed time, 0:28:20 cpu time, factor 1.00
ML timing:
0:26:02 elapsed time, 0:28:23 cpu time, factor 1.09
stack maximum:
16 M
stack average:
8 M
heap maximum:
2299 M
heap average:
1730 M
heap stored:
225 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Auto2_Imperative_HOL

data:
CSV
timing:
0:27:33 elapsed time, 0:27:30 cpu time, factor 1.00
ML timing:
0:27:31 elapsed time, 0:27:58 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1493 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Psi_Calculi

data:
CSV
timing:
0:27:20 elapsed time, 0:27:15 cpu time, factor 1.00
ML timing:
0:27:16 elapsed time, 0:28:37 cpu time, factor 1.05
stack maximum:
16 M
stack average:
15 M
heap maximum:
1500 M
heap average:
1484 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Security_Protocol_Refinement

data:
CSV
timing:
0:26:14 elapsed time, 0:26:12 cpu time, factor 1.00
ML timing:
0:26:12 elapsed time, 0:26:22 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1493 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Network_Security_Policy_Verification

data:
CSV
timing:
0:23:45 elapsed time, 0:25:23 cpu time, factor 1.07
ML timing:
0:23:43 elapsed time, 0:23:21 cpu time, factor 0.98
code maximum:
11 M
code average:
5 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1981 M
heap average:
1702 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Probabilistic_Prime_Tests

data:
CSV
timing:
0:23:39 elapsed time, 0:22:40 cpu time, factor 0.96
ML timing:
0:23:35 elapsed time, 0:27:36 cpu time, factor 1.17
stack maximum:
4 M
stack average:
3 M
heap maximum:
3140 M
heap average:
1748 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

MonoidalCategory

data:
CSV
timing:
0:20:31 elapsed time, 0:20:28 cpu time, factor 1.00
ML timing:
0:20:26 elapsed time, 0:22:43 cpu time, factor 1.11
stack maximum:
8 M
stack average:
8 M
heap maximum:
1909 M
heap average:
1555 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

IP_Addresses

data:
CSV
timing:
0:19:54 elapsed time, 0:19:50 cpu time, factor 1.00
ML timing:
0:17:44 elapsed time, 0:18:34 cpu time, factor 1.05
code maximum:
4 M
stack maximum:
32 M
stack average:
19 M
heap maximum:
2999 M
heap average:
2110 M
heap stored:
57 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

HOL-CSP

data:
CSV
timing:
0:19:25 elapsed time, 0:19:22 cpu time, factor 1.00
ML timing:
0:19:23 elapsed time, 0:20:03 cpu time, factor 1.03
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1487 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Key_Agreement_Strong_Adversaries

data:
CSV
timing:
0:19:24 elapsed time, 0:19:22 cpu time, factor 1.00
ML timing:
0:19:22 elapsed time, 0:19:30 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1492 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Dirichlet_Series

data:
CSV
timing:
0:18:28 elapsed time, 0:18:05 cpu time, factor 0.98
ML timing:
0:15:20 elapsed time, 0:16:26 cpu time, factor 1.07
code maximum:
13 M
code average:
7 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1818 M
heap average:
1626 M
heap stored:
183 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Iptables_Semantics

data:
CSV
timing:
0:18:10 elapsed time, 0:17:04 cpu time, factor 0.94
ML timing:
0:15:07 elapsed time, 0:15:19 cpu time, factor 1.01
code maximum:
6 M
code average:
2 M
stack maximum:
4 M
stack average:
2 M
heap maximum:
3388 M
heap average:
1772 M
heap stored:
109 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Transcendence_Series_Hancl_Rucki

data:
CSV
timing:
0:17:50 elapsed time, 0:17:47 cpu time, factor 1.00
ML timing:
0:17:46 elapsed time, 0:19:09 cpu time, factor 1.08
code maximum:
13 M
code average:
8 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1819 M
heap average:
1661 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Core_DOM

data:
CSV
timing:
0:17:45 elapsed time, 0:17:42 cpu time, factor 1.00
ML timing:
0:17:41 elapsed time, 0:19:15 cpu time, factor 1.09
code maximum:
4 M
stack maximum:
32 M
stack average:
29 M
heap maximum:
3654 M
heap average:
1668 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Universal_Turing_Machine

data:
CSV
timing:
0:17:31 elapsed time, 0:17:28 cpu time, factor 1.00
ML timing:
0:17:29 elapsed time, 0:18:04 cpu time, factor 1.03
stack maximum:
16 M
stack average:
15 M
heap maximum:
1499 M
heap average:
1489 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Stochastic_Matrices

data:
CSV
timing:
0:17:04 elapsed time, 0:17:01 cpu time, factor 1.00
ML timing:
0:17:00 elapsed time, 0:18:20 cpu time, factor 1.08
code maximum:
12 M
code average:
9 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1837 M
heap average:
1609 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Hybrid_Systems_VCs

data:
CSV
timing:
0:15:30 elapsed time, 0:15:28 cpu time, factor 1.00
ML timing:
0:15:27 elapsed time, 0:16:40 cpu time, factor 1.08
stack maximum:
4 M
stack average:
3 M
heap maximum:
1827 M
heap average:
1548 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

SPARCv8

data:
CSV
timing:
0:14:34 elapsed time, 0:14:33 cpu time, factor 1.00
ML timing:
0:14:32 elapsed time, 0:15:41 cpu time, factor 1.08
stack maximum:
32 M
stack average:
28 M
heap maximum:
2056 M
heap average:
1571 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Group-Ring-Module

data:
CSV
timing:
0:14:09 elapsed time, 0:14:05 cpu time, factor 1.00
ML timing:
0:13:05 elapsed time, 0:14:10 cpu time, factor 1.08
stack maximum:
16 M
stack average:
16 M
heap maximum:
1545 M
heap average:
1492 M
heap stored:
29 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Lorenz_Approximation

data:
CSV
timing:
0:14:08 elapsed time, 0:14:07 cpu time, factor 1.00
ML timing:
0:14:03 elapsed time, 0:15:13 cpu time, factor 1.08
code maximum:
6 M
code average:
2 M
stack maximum:
128 M
stack average:
49 M
heap maximum:
3717 M
heap average:
2680 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

QR_Decomposition

data:
CSV
timing:
0:14:03 elapsed time, 0:14:00 cpu time, factor 1.00
ML timing:
0:13:59 elapsed time, 0:14:35 cpu time, factor 1.04
code maximum:
13 M
code average:
4 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1489 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Deep_Learning

data:
CSV
timing:
0:13:39 elapsed time, 0:13:35 cpu time, factor 1.00
ML timing:
0:13:33 elapsed time, 0:14:47 cpu time, factor 1.09
code maximum:
11 M
code average:
7 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1542 M
heap average:
1487 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Ordinary_Differential_Equations

data:
CSV
timing:
0:13:02 elapsed time, 0:12:36 cpu time, factor 0.97
ML timing:
0:10:48 elapsed time, 0:11:10 cpu time, factor 1.03
stack maximum:
32 M
stack average:
26 M
heap maximum:
1500 M
heap average:
1484 M
heap stored:
64 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Containers-Benchmarks

data:
CSV
timing:
0:12:44 elapsed time, 0:13:36 cpu time, factor 1.07
ML timing:
0:12:40 elapsed time, 0:11:09 cpu time, factor 0.88
code maximum:
2 M
code average:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1914 M
heap average:
1577 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Probabilistic_Timed_Automata

data:
CSV
timing:
0:12:27 elapsed time, 0:12:24 cpu time, factor 1.00
ML timing:
0:12:22 elapsed time, 0:12:48 cpu time, factor 1.03
stack maximum:
16 M
stack average:
9 M
heap maximum:
1499 M
heap average:
1486 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Differential_Dynamic_Logic

data:
CSV
timing:
0:12:07 elapsed time, 0:12:05 cpu time, factor 1.00
ML timing:
0:12:03 elapsed time, 0:12:42 cpu time, factor 1.05
stack maximum:
8 M
stack average:
5 M
heap maximum:
1511 M
heap average:
1477 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Algebraic_VCs

data:
CSV
timing:
0:11:52 elapsed time, 0:11:50 cpu time, factor 1.00
ML timing:
0:11:49 elapsed time, 0:12:54 cpu time, factor 1.09
stack maximum:
2 M
stack average:
2 M
heap maximum:
2000 M
heap average:
1560 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Multi_Party_Computation

data:
CSV
timing:
0:11:42 elapsed time, 0:11:40 cpu time, factor 1.00
ML timing:
0:11:37 elapsed time, 0:12:05 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1486 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Monad_Memo_DP

data:
CSV
timing:
0:11:30 elapsed time, 0:11:19 cpu time, factor 0.98
ML timing:
0:09:35 elapsed time, 0:09:50 cpu time, factor 1.03
code maximum:
2 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1481 M
heap stored:
96 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

LOFT

data:
CSV
timing:
0:11:29 elapsed time, 0:11:23 cpu time, factor 0.99
ML timing:
0:11:17 elapsed time, 0:11:55 cpu time, factor 1.06
code maximum:
37 M
code average:
14 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1484 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Multirelations

data:
CSV
timing:
0:11:12 elapsed time, 0:17:05 cpu time, factor 1.53
ML timing:
0:11:09 elapsed time, 0:04:51 cpu time, factor 0.44
code maximum:
16 M
code average:
2 M
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1467 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Modal_Logics_for_NTS

data:
CSV
timing:
0:10:31 elapsed time, 0:10:29 cpu time, factor 1.00
ML timing:
0:10:28 elapsed time, 0:11:18 cpu time, factor 1.08
stack maximum:
4 M
stack average:
3 M
heap maximum:
1817 M
heap average:
1585 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

CryptHOL

data:
CSV
timing:
0:09:49 elapsed time, 0:09:38 cpu time, factor 0.98
ML timing:
0:07:38 elapsed time, 0:07:42 cpu time, factor 1.01
code maximum:
1 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1478 M
heap stored:
97 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Flyspeck-Tame

data:
CSV
timing:
0:09:27 elapsed time, 0:09:00 cpu time, factor 0.95
ML timing:
0:08:59 elapsed time, 0:09:36 cpu time, factor 1.07
stack maximum:
16 M
stack average:
12 M
heap maximum:
1792 M
heap average:
1646 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Allen_Calculus

data:
CSV
timing:
0:09:11 elapsed time, 0:09:10 cpu time, factor 1.00
ML timing:
0:09:09 elapsed time, 0:09:13 cpu time, factor 1.01
stack maximum:
8 M
stack average:
4 M
heap maximum:
1500 M
heap average:
1479 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Polynomials

data:
CSV
timing:
0:09:01 elapsed time, 0:08:59 cpu time, factor 1.00
ML timing:
0:08:58 elapsed time, 0:09:47 cpu time, factor 1.09
code maximum:
11 M
code average:
3 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1884 M
heap average:
1500 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Store_Buffer_Reduction

data:
CSV
timing:
0:08:58 elapsed time, 0:08:57 cpu time, factor 1.00
ML timing:
0:08:56 elapsed time, 0:09:15 cpu time, factor 1.03
stack maximum:
32 M
stack average:
32 M
heap maximum:
1499 M
heap average:
1481 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Functional_Ordered_Resolution_Prover

data:
CSV
timing:
0:08:52 elapsed time, 0:09:08 cpu time, factor 1.03
ML timing:
0:08:49 elapsed time, 0:08:27 cpu time, factor 0.96
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1484 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

E_Transcendental

data:
CSV
timing:
0:08:46 elapsed time, 0:08:18 cpu time, factor 0.95
ML timing:
0:06:45 elapsed time, 0:07:09 cpu time, factor 1.06
stack maximum:
8 M
stack average:
4 M
heap maximum:
1500 M
heap average:
1478 M
heap stored:
92 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Coinductive

data:
CSV
timing:
0:08:45 elapsed time, 0:08:34 cpu time, factor 0.98
ML timing:
0:07:13 elapsed time, 0:07:06 cpu time, factor 0.98
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1477 M
heap stored:
60 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Gromov_Hyperbolicity

data:
CSV
timing:
0:08:42 elapsed time, 0:08:41 cpu time, factor 1.00
ML timing:
0:08:39 elapsed time, 0:08:59 cpu time, factor 1.04
stack maximum:
32 M
stack average:
23 M
heap maximum:
1499 M
heap average:
1480 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Constructive_Cryptography

data:
CSV
timing:
0:08:41 elapsed time, 0:08:40 cpu time, factor 1.00
ML timing:
0:08:37 elapsed time, 0:08:44 cpu time, factor 1.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1482 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Paraconsistency

data:
CSV
timing:
0:08:39 elapsed time, 0:08:38 cpu time, factor 1.00
ML timing:
0:08:37 elapsed time, 0:08:41 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1486 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Containers

data:
CSV
timing:
0:08:37 elapsed time, 0:09:19 cpu time, factor 1.08
ML timing:
0:06:50 elapsed time, 0:05:52 cpu time, factor 0.86
code maximum:
3 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1475 M
heap stored:
75 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Count_Complex_Roots

data:
CSV
timing:
0:08:34 elapsed time, 0:08:30 cpu time, factor 0.99
ML timing:
0:07:15 elapsed time, 0:07:29 cpu time, factor 1.03
code maximum:
13 M
code average:
8 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1480 M
heap stored:
31 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Planarity_Certificates

data:
CSV
timing:
0:08:33 elapsed time, 0:08:31 cpu time, factor 1.00
ML timing:
0:08:30 elapsed time, 0:08:56 cpu time, factor 1.05
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1481 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Featherweight_OCL

data:
CSV
timing:
0:08:29 elapsed time, 0:08:28 cpu time, factor 1.00
ML timing:
0:08:27 elapsed time, 0:08:57 cpu time, factor 1.06
code maximum:
18 M
code average:
9 M
stack maximum:
128 M
stack average:
50 M
heap maximum:
1499 M
heap average:
1470 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Timed_Automata

data:
CSV
timing:
0:08:29 elapsed time, 0:08:28 cpu time, factor 1.00
ML timing:
0:08:27 elapsed time, 0:08:38 cpu time, factor 1.02
stack maximum:
16 M
stack average:
8 M
heap maximum:
1499 M
heap average:
1481 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

CoreC++

data:
CSV
timing:
0:08:26 elapsed time, 0:08:25 cpu time, factor 1.00
ML timing:
0:08:23 elapsed time, 0:09:01 cpu time, factor 1.07
code maximum:
8 M
code average:
3 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1578 M
heap average:
1480 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Hoare_Time

data:
CSV
timing:
0:08:21 elapsed time, 0:08:02 cpu time, factor 0.96
ML timing:
0:08:19 elapsed time, 0:08:53 cpu time, factor 1.07
stack maximum:
128 M
stack average:
100 M
heap maximum:
3251 M
heap average:
1672 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

InfPathElimination

data:
CSV
timing:
0:08:16 elapsed time, 0:08:16 cpu time, factor 1.00
ML timing:
0:08:14 elapsed time, 0:08:17 cpu time, factor 1.01
stack maximum:
8 M
stack average:
6 M
heap maximum:
1500 M
heap average:
1484 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Stable_Matching

data:
CSV
timing:
0:08:06 elapsed time, 0:08:04 cpu time, factor 1.00
ML timing:
0:08:03 elapsed time, 0:08:10 cpu time, factor 1.01
stack maximum:
8 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1483 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Dependent_SIFUM_Refinement

data:
CSV
timing:
0:07:55 elapsed time, 0:07:53 cpu time, factor 1.00
ML timing:
0:07:52 elapsed time, 0:08:10 cpu time, factor 1.04
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1480 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Markov_Models

data:
CSV
timing:
0:07:50 elapsed time, 0:07:35 cpu time, factor 0.97
ML timing:
0:06:03 elapsed time, 0:05:59 cpu time, factor 0.99
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1471 M
heap stored:
72 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

WebAssembly

data:
CSV
timing:
0:07:46 elapsed time, 0:08:00 cpu time, factor 1.03
ML timing:
0:07:43 elapsed time, 0:07:30 cpu time, factor 0.97
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1476 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Dependent_SIFUM_Type_Systems

data:
CSV
timing:
0:07:32 elapsed time, 0:07:27 cpu time, factor 0.99
ML timing:
0:05:58 elapsed time, 0:06:13 cpu time, factor 1.04
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1472 M
heap stored:
49 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

IMP2

data:
CSV
timing:
0:07:26 elapsed time, 0:07:19 cpu time, factor 0.98
ML timing:
0:06:23 elapsed time, 0:06:29 cpu time, factor 1.02
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1478 M
heap stored:
40 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

KBPs

data:
CSV
timing:
0:07:25 elapsed time, 0:07:23 cpu time, factor 1.00
ML timing:
0:07:22 elapsed time, 0:07:33 cpu time, factor 1.03
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1477 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Simpl

data:
CSV
timing:
0:07:25 elapsed time, 0:07:17 cpu time, factor 0.98
ML timing:
0:06:00 elapsed time, 0:06:17 cpu time, factor 1.05
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1480 M
heap stored:
67 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

LTL_to_DRA

data:
CSV
timing:
0:07:21 elapsed time, 0:07:20 cpu time, factor 1.00
ML timing:
0:07:17 elapsed time, 0:07:49 cpu time, factor 1.07
stack maximum:
128 M
stack average:
48 M
heap maximum:
1501 M
heap average:
1460 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Taylor_Models

data:
CSV
timing:
0:06:53 elapsed time, 0:06:40 cpu time, factor 0.97
ML timing:
0:06:37 elapsed time, 0:06:56 cpu time, factor 1.05
code maximum:
2 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1477 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

KAD

data:
CSV
timing:
0:06:50 elapsed time, 0:06:49 cpu time, factor 1.00
ML timing:
0:06:48 elapsed time, 0:07:08 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1475 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Safe_OCL

data:
CSV
timing:
0:06:45 elapsed time, 0:06:44 cpu time, factor 1.00
ML timing:
0:06:42 elapsed time, 0:07:04 cpu time, factor 1.05
code maximum:
2 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1479 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Linear_Recurrences

data:
CSV
timing:
0:06:44 elapsed time, 0:06:40 cpu time, factor 0.99
ML timing:
0:06:38 elapsed time, 0:06:57 cpu time, factor 1.05
code maximum:
5 M
code average:
2 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1475 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Binding_Syntax_Theory

data:
CSV
timing:
0:06:30 elapsed time, 0:06:30 cpu time, factor 1.00
ML timing:
0:06:28 elapsed time, 0:06:41 cpu time, factor 1.03
stack maximum:
8 M
stack average:
5 M
heap maximum:
1499 M
heap average:
1477 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Density_Compiler

data:
CSV
timing:
0:06:27 elapsed time, 0:06:26 cpu time, factor 1.00
ML timing:
0:06:23 elapsed time, 0:06:28 cpu time, factor 1.01
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1478 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Simplex

data:
CSV
timing:
0:06:20 elapsed time, 0:06:15 cpu time, factor 0.99
ML timing:
0:05:07 elapsed time, 0:05:15 cpu time, factor 1.03
stack maximum:
32 M
stack average:
20 M
heap maximum:
1499 M
heap average:
1469 M
heap stored:
42 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

List_Update

data:
CSV
timing:
0:06:20 elapsed time, 0:06:18 cpu time, factor 0.99
ML timing:
0:06:13 elapsed time, 0:06:20 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1475 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

No_FTL_observers

data:
CSV
timing:
0:06:16 elapsed time, 0:06:15 cpu time, factor 1.00
ML timing:
0:06:14 elapsed time, 0:06:22 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1481 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Prime_Harmonic_Series

data:
CSV
timing:
0:06:10 elapsed time, 0:06:09 cpu time, factor 1.00
ML timing:
0:06:07 elapsed time, 0:06:26 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1477 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Gauss_Jordan

data:
CSV
timing:
0:06:06 elapsed time, 0:06:05 cpu time, factor 1.00
ML timing:
0:06:03 elapsed time, 0:06:11 cpu time, factor 1.02
code maximum:
3 M
code average:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1477 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Isabelle_Meta_Model

data:
CSV
timing:
0:06:06 elapsed time, 0:06:05 cpu time, factor 1.00
ML timing:
0:06:03 elapsed time, 0:06:47 cpu time, factor 1.12
code maximum:
2 M
stack maximum:
4 M
stack average:
4 M
heap maximum:
3536 M
heap average:
2334 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

MFOTL_Monitor

data:
CSV
timing:
0:06:01 elapsed time, 0:05:19 cpu time, factor 0.88
ML timing:
0:05:17 elapsed time, 0:05:24 cpu time, factor 1.02
code maximum:
2 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1471 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Hermite

data:
CSV
timing:
0:05:52 elapsed time, 0:05:46 cpu time, factor 0.98
ML timing:
0:05:43 elapsed time, 0:06:01 cpu time, factor 1.05
code maximum:
44 M
code average:
14 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1723 M
heap average:
1595 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Stone_Kleene_Relation_Algebras

data:
CSV
timing:
0:05:50 elapsed time, 0:05:46 cpu time, factor 0.99
ML timing:
0:04:53 elapsed time, 0:05:07 cpu time, factor 1.05
stack maximum:
8 M
stack average:
6 M
heap maximum:
1498 M
heap average:
1479 M
heap stored:
35 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Zeta_Function

data:
CSV
timing:
0:05:40 elapsed time, 0:05:22 cpu time, factor 0.95
ML timing:
0:04:04 elapsed time, 0:04:10 cpu time, factor 1.03
stack maximum:
8 M
stack average:
6 M
heap maximum:
1497 M
heap average:
1467 M
heap stored:
20 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Separation_Logic_Imperative_HOL

data:
CSV
timing:
0:05:39 elapsed time, 0:06:48 cpu time, factor 1.20
ML timing:
0:05:36 elapsed time, 0:04:02 cpu time, factor 0.72
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1472 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Probabilistic_Noninterference

data:
CSV
timing:
0:05:39 elapsed time, 0:05:38 cpu time, factor 1.00
ML timing:
0:05:36 elapsed time, 0:05:36 cpu time, factor 1.00
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1476 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Amortized_Complexity

data:
CSV
timing:
0:05:29 elapsed time, 0:05:22 cpu time, factor 0.98
ML timing:
0:03:41 elapsed time, 0:03:51 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1457 M
heap stored:
71 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Propositional_Proof_Systems

data:
CSV
timing:
0:05:25 elapsed time, 0:05:24 cpu time, factor 1.00
ML timing:
0:05:23 elapsed time, 0:05:35 cpu time, factor 1.04
code maximum:
1 M
stack maximum:
64 M
stack average:
19 M
heap maximum:
1499 M
heap average:
1470 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Buildings

data:
CSV
timing:
0:05:25 elapsed time, 0:05:24 cpu time, factor 1.00
ML timing:
0:05:22 elapsed time, 0:05:27 cpu time, factor 1.01
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1478 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Fourier

data:
CSV
timing:
0:05:22 elapsed time, 0:05:21 cpu time, factor 1.00
ML timing:
0:05:18 elapsed time, 0:05:30 cpu time, factor 1.04
code maximum:
2 M
code average:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1473 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Green

data:
CSV
timing:
0:05:21 elapsed time, 0:05:19 cpu time, factor 0.99
ML timing:
0:05:17 elapsed time, 0:05:12 cpu time, factor 0.98
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1479 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Ergodic_Theory

data:
CSV
timing:
0:05:13 elapsed time, 0:05:12 cpu time, factor 1.00
ML timing:
0:05:09 elapsed time, 0:05:16 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1475 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Pi_Transcendental

data:
CSV
timing:
0:05:08 elapsed time, 0:05:07 cpu time, factor 1.00
ML timing:
0:05:04 elapsed time, 0:05:20 cpu time, factor 1.05
code maximum:
14 M
code average:
7 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1471 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Quantales

data:
CSV
timing:
0:05:08 elapsed time, 0:05:01 cpu time, factor 0.98
ML timing:
0:03:50 elapsed time, 0:03:58 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1462 M
heap stored:
75 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Rep_Fin_Groups

data:
CSV
timing:
0:05:07 elapsed time, 0:05:06 cpu time, factor 1.00
ML timing:
0:05:04 elapsed time, 0:05:09 cpu time, factor 1.02
stack maximum:
16 M
stack average:
16 M
heap maximum:
1499 M
heap average:
1475 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Groebner_Macaulay

data:
CSV
timing:
0:05:06 elapsed time, 0:04:30 cpu time, factor 0.88
ML timing:
0:04:23 elapsed time, 0:05:02 cpu time, factor 1.15
stack maximum:
8 M
stack average:
7 M
heap maximum:
3117 M
heap average:
1734 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Parity_Game

data:
CSV
timing:
0:04:56 elapsed time, 0:04:55 cpu time, factor 1.00
ML timing:
0:04:54 elapsed time, 0:04:58 cpu time, factor 1.01
stack maximum:
8 M
stack average:
6 M
heap maximum:
1498 M
heap average:
1470 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Winding_Number_Eval

data:
CSV
timing:
0:04:54 elapsed time, 0:04:53 cpu time, factor 1.00
ML timing:
0:04:50 elapsed time, 0:05:00 cpu time, factor 1.03
code maximum:
11 M
code average:
7 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1475 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Dirichlet_L

data:
CSV
timing:
0:04:54 elapsed time, 0:04:54 cpu time, factor 1.00
ML timing:
0:04:50 elapsed time, 0:05:00 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1473 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Free-Groups

data:
CSV
timing:
0:04:51 elapsed time, 0:04:50 cpu time, factor 1.00
ML timing:
0:04:48 elapsed time, 0:05:03 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1470 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

SATSolverVerification

data:
CSV
timing:
0:04:51 elapsed time, 0:04:50 cpu time, factor 1.00
ML timing:
0:04:48 elapsed time, 0:04:56 cpu time, factor 1.03
stack maximum:
16 M
stack average:
14 M
heap maximum:
1498 M
heap average:
1469 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Akra_Bazzi

data:
CSV
timing:
0:04:49 elapsed time, 0:04:48 cpu time, factor 1.00
ML timing:
0:04:46 elapsed time, 0:04:58 cpu time, factor 1.04
code maximum:
1 M
stack maximum:
32 M
stack average:
17 M
heap maximum:
1498 M
heap average:
1470 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Resolution_FOL

data:
CSV
timing:
0:04:34 elapsed time, 0:04:36 cpu time, factor 1.01
ML timing:
0:04:32 elapsed time, 0:04:33 cpu time, factor 1.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1481 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

DiscretePricing

data:
CSV
timing:
0:04:34 elapsed time, 0:04:34 cpu time, factor 1.00
ML timing:
0:04:30 elapsed time, 0:04:42 cpu time, factor 1.04
stack maximum:
8 M
stack average:
6 M
heap maximum:
1498 M
heap average:
1470 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

UPF_Firewall

data:
CSV
timing:
0:04:34 elapsed time, 0:04:32 cpu time, factor 0.99
ML timing:
0:04:31 elapsed time, 0:04:43 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1478 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Vickrey_Clarke_Groves

data:
CSV
timing:
0:04:31 elapsed time, 0:04:31 cpu time, factor 1.00
ML timing:
0:04:28 elapsed time, 0:04:34 cpu time, factor 1.02
code maximum:
2 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1480 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

MFMC_Countable

data:
CSV
timing:
0:04:31 elapsed time, 0:04:31 cpu time, factor 1.00
ML timing:
0:04:28 elapsed time, 0:04:35 cpu time, factor 1.03
stack maximum:
16 M
stack average:
10 M
heap maximum:
1498 M
heap average:
1469 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Prime_Distribution_Elementary

data:
CSV
timing:
0:04:29 elapsed time, 0:04:27 cpu time, factor 0.99
ML timing:
0:03:16 elapsed time, 0:03:22 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1460 M
heap stored:
14 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Deriving

data:
CSV
timing:
0:04:19 elapsed time, 0:04:12 cpu time, factor 0.97
ML timing:
0:03:03 elapsed time, 0:02:24 cpu time, factor 0.79
code maximum:
1 M
stack maximum:
8 M
stack average:
5 M
heap maximum:
1497 M
heap average:
1451 M
heap stored:
49 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Password_Authentication_Protocol

data:
CSV
timing:
0:04:19 elapsed time, 0:04:19 cpu time, factor 1.00
ML timing:
0:04:16 elapsed time, 0:04:21 cpu time, factor 1.02
stack maximum:
8 M
stack average:
7 M
heap maximum:
1498 M
heap average:
1470 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Farkas

data:
CSV
timing:
0:04:18 elapsed time, 0:04:18 cpu time, factor 1.00
ML timing:
0:04:15 elapsed time, 0:04:24 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1470 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

BytecodeLogicJmlTypes

data:
CSV
timing:
0:04:18 elapsed time, 0:04:17 cpu time, factor 1.00
ML timing:
0:04:16 elapsed time, 0:04:23 cpu time, factor 1.03
stack maximum:
16 M
stack average:
13 M
heap maximum:
1499 M
heap average:
1469 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Nested_Multisets_Ordinals

data:
CSV
timing:
0:04:13 elapsed time, 0:04:08 cpu time, factor 0.98
ML timing:
0:03:10 elapsed time, 0:03:19 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1458 M
heap stored:
55 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Lambda_Free_KBOs

data:
CSV
timing:
0:04:11 elapsed time, 0:04:14 cpu time, factor 1.01
ML timing:
0:04:09 elapsed time, 0:04:12 cpu time, factor 1.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1478 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Symmetric_Polynomials

data:
CSV
timing:
0:04:11 elapsed time, 0:04:13 cpu time, factor 1.01
ML timing:
0:04:08 elapsed time, 0:04:13 cpu time, factor 1.02
code maximum:
12 M
code average:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1462 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Root_Balanced_Tree

data:
CSV
timing:
0:04:11 elapsed time, 0:04:10 cpu time, factor 1.00
ML timing:
0:04:08 elapsed time, 0:04:19 cpu time, factor 1.04
stack maximum:
32 M
stack average:
17 M
heap maximum:
1499 M
heap average:
1462 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

AWN

data:
CSV
timing:
0:04:10 elapsed time, 0:04:09 cpu time, factor 1.00
ML timing:
0:04:08 elapsed time, 0:04:17 cpu time, factor 1.04
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1465 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Abs_Int_ITP2012

data:
CSV
timing:
0:04:05 elapsed time, 0:04:04 cpu time, factor 1.00
ML timing:
0:04:02 elapsed time, 0:04:09 cpu time, factor 1.03
code maximum:
5 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1466 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Regex_Equivalence

data:
CSV
timing:
0:04:03 elapsed time, 0:04:06 cpu time, factor 1.01
ML timing:
0:04:01 elapsed time, 0:04:18 cpu time, factor 1.07
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1424 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

LTL

data:
CSV
timing:
0:04:01 elapsed time, 0:03:57 cpu time, factor 0.98
ML timing:
0:02:42 elapsed time, 0:02:50 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1450 M
heap stored:
40 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

ComponentDependencies

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:06 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1465 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Aggregation_Algebras

data:
CSV
timing:
0:03:57 elapsed time, 0:03:57 cpu time, factor 1.00
ML timing:
0:03:55 elapsed time, 0:04:05 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1472 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

BDD

data:
CSV
timing:
0:03:56 elapsed time, 0:03:55 cpu time, factor 1.00
ML timing:
0:03:54 elapsed time, 0:03:56 cpu time, factor 1.01
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1482 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

LambdaAuth

data:
CSV
timing:
0:03:53 elapsed time, 0:04:07 cpu time, factor 1.06
ML timing:
0:03:51 elapsed time, 0:03:32 cpu time, factor 0.92
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1462 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Refine_Monadic

data:
CSV
timing:
0:03:52 elapsed time, 0:03:47 cpu time, factor 0.98
ML timing:
0:03:00 elapsed time, 0:03:06 cpu time, factor 1.03
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1448 M
heap stored:
41 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Pi_Calculus

data:
CSV
timing:
0:03:45 elapsed time, 0:03:43 cpu time, factor 0.99
ML timing:
0:03:40 elapsed time, 0:03:47 cpu time, factor 1.03
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1463 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Prim_Dijkstra_Simple

data:
CSV
timing:
0:03:40 elapsed time, 0:04:00 cpu time, factor 1.09
ML timing:
0:03:37 elapsed time, 0:02:52 cpu time, factor 0.79
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1472 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Polynomial_Factorization

data:
CSV
timing:
0:03:40 elapsed time, 0:03:39 cpu time, factor 1.00
ML timing:
0:03:34 elapsed time, 0:03:42 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1465 M
Isabelle version:
5bc338cee4a0
AFP version:
ab79744bf7a0

LinearQuantifierElim

data:
CSV
timing:
0:03:39 elapsed time, 0:03:32 cpu time, factor 0.97
ML timing:
0:03:36 elapsed time, 0:04:00 cpu time, factor 1.11
stack maximum:
64 M
stack average:
50 M
heap maximum:
3255 M
heap average:
2107 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Stone_Relation_Algebras

data:
CSV
timing:
0:03:37 elapsed time, 0:03:33 cpu time, factor 0.98
ML timing:
0:02:48 elapsed time, 0:02:53 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1470 M
heap stored:
44 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Factored_Transition_System_Bounding

data:
CSV
timing:
0:03:34 elapsed time, 0:03:50 cpu time, factor 1.07
ML timing:
0:03:32 elapsed time, 0:03:16 cpu time, factor 0.92
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1467 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Knot_Theory

data:
CSV
timing:
0:03:34 elapsed time, 0:03:33 cpu time, factor 1.00
ML timing:
0:03:30 elapsed time, 0:03:38 cpu time, factor 1.04
stack maximum:
32 M
stack average:
21 M
heap maximum:
1499 M
heap average:
1463 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

LocalLexing

data:
CSV
timing:
0:03:33 elapsed time, 0:03:32 cpu time, factor 1.00
ML timing:
0:03:31 elapsed time, 0:03:38 cpu time, factor 1.04
stack maximum:
8 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1465 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

PseudoHoops

data:
CSV
timing:
0:03:32 elapsed time, 0:03:31 cpu time, factor 1.00
ML timing:
0:03:30 elapsed time, 0:03:36 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1467 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Higher_Order_Terms

data:
CSV
timing:
0:03:32 elapsed time, 0:03:59 cpu time, factor 1.13
ML timing:
0:03:30 elapsed time, 0:03:01 cpu time, factor 0.86
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1458 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Signature_Groebner

data:
CSV
timing:
0:03:32 elapsed time, 0:03:32 cpu time, factor 1.00
ML timing:
0:03:25 elapsed time, 0:03:47 cpu time, factor 1.10
code maximum:
1 M
stack maximum:
16 M
stack average:
15 M
heap maximum:
2152 M
heap average:
1593 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Game_Based_Crypto

data:
CSV
timing:
0:03:31 elapsed time, 0:03:28 cpu time, factor 0.99
ML timing:
0:02:15 elapsed time, 0:02:18 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1441 M
heap stored:
26 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Hybrid_Multi_Lane_Spatial_Logic

data:
CSV
timing:
0:03:27 elapsed time, 0:03:26 cpu time, factor 1.00
ML timing:
0:03:25 elapsed time, 0:03:27 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1473 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Regular_Algebras

data:
CSV
timing:
0:03:25 elapsed time, 0:03:27 cpu time, factor 1.01
ML timing:
0:03:22 elapsed time, 0:03:25 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1475 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Proof_Strategy_Language

data:
CSV
timing:
0:03:22 elapsed time, 0:03:31 cpu time, factor 1.04
ML timing:
0:03:20 elapsed time, 0:01:58 cpu time, factor 0.59
code maximum:
1 M
stack maximum:
3 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1463 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Bertrands_Postulate

data:
CSV
timing:
0:03:21 elapsed time, 0:03:20 cpu time, factor 1.00
ML timing:
0:03:16 elapsed time, 0:03:20 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1468 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Elliptic_Curves_Group_Law

data:
CSV
timing:
0:03:17 elapsed time, 0:03:16 cpu time, factor 0.99
ML timing:
0:03:13 elapsed time, 0:03:21 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1460 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Statecharts

data:
CSV
timing:
0:03:16 elapsed time, 0:03:15 cpu time, factor 0.99
ML timing:
0:03:14 elapsed time, 0:03:17 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1463 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Abortable_Linearizable_Modules

data:
CSV
timing:
0:03:14 elapsed time, 0:03:14 cpu time, factor 1.00
ML timing:
0:03:12 elapsed time, 0:03:21 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1474 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Twelvefold_Way

data:
CSV
timing:
0:03:13 elapsed time, 0:03:12 cpu time, factor 0.99
ML timing:
0:03:10 elapsed time, 0:03:13 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1466 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Ordered_Resolution_Prover

data:
CSV
timing:
0:03:12 elapsed time, 0:03:08 cpu time, factor 0.98
ML timing:
0:03:09 elapsed time, 0:03:03 cpu time, factor 0.97
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1461 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Order_Lattice_Props

data:
CSV
timing:
0:03:11 elapsed time, 0:03:07 cpu time, factor 0.98
ML timing:
0:02:17 elapsed time, 0:02:18 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1458 M
heap stored:
39 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Probabilistic_While

data:
CSV
timing:
0:03:07 elapsed time, 0:03:05 cpu time, factor 0.99
ML timing:
0:02:09 elapsed time, 0:02:12 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1447 M
heap stored:
19 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Graph_Theory

data:
CSV
timing:
0:03:07 elapsed time, 0:03:03 cpu time, factor 0.98
ML timing:
0:02:14 elapsed time, 0:02:20 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1441 M
heap stored:
30 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Encodability_Process_Calculi

data:
CSV
timing:
0:03:07 elapsed time, 0:03:07 cpu time, factor 1.00
ML timing:
0:03:05 elapsed time, 0:03:15 cpu time, factor 1.05
stack maximum:
8 M
stack average:
7 M
heap maximum:
1498 M
heap average:
1456 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Irrationality_J_Hancl

data:
CSV
timing:
0:03:07 elapsed time, 0:03:07 cpu time, factor 1.00
ML timing:
0:03:04 elapsed time, 0:03:12 cpu time, factor 1.04
stack maximum:
32 M
stack average:
11 M
heap maximum:
1498 M
heap average:
1458 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Regular-Sets

data:
CSV
timing:
0:03:05 elapsed time, 0:03:06 cpu time, factor 1.01
ML timing:
0:02:07 elapsed time, 0:02:06 cpu time, factor 1.00
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1379 M
heap stored:
21 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Generic_Deriving

data:
CSV
timing:
0:03:05 elapsed time, 0:03:04 cpu time, factor 0.99
ML timing:
0:03:03 elapsed time, 0:03:19 cpu time, factor 1.09
stack maximum:
2 M
stack average:
2 M
heap maximum:
2296 M
heap average:
1668 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Applicative_Lifting

data:
CSV
timing:
0:03:04 elapsed time, 0:02:35 cpu time, factor 0.84
ML timing:
0:01:24 elapsed time, 0:01:27 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1414 M
heap stored:
36 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Real_Impl

data:
CSV
timing:
0:03:04 elapsed time, 0:03:03 cpu time, factor 0.99
ML timing:
0:03:02 elapsed time, 0:03:06 cpu time, factor 1.02
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1467 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

AutoFocus-Stream

data:
CSV
timing:
0:03:02 elapsed time, 0:03:01 cpu time, factor 0.99
ML timing:
0:02:58 elapsed time, 0:03:02 cpu time, factor 1.02
stack maximum:
8 M
stack average:
7 M
heap maximum:
1498 M
heap average:
1456 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Word_Lib

data:
CSV
timing:
0:03:02 elapsed time, 0:02:58 cpu time, factor 0.98
ML timing:
0:02:19 elapsed time, 0:02:23 cpu time, factor 1.03
stack maximum:
8 M
stack average:
6 M
heap maximum:
1496 M
heap average:
1454 M
heap stored:
17 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Stone_Algebras

data:
CSV
timing:
0:03:01 elapsed time, 0:02:57 cpu time, factor 0.98
ML timing:
0:02:20 elapsed time, 0:02:24 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1468 M
heap stored:
40 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Kleene_Algebra

data:
CSV
timing:
0:02:57 elapsed time, 0:02:50 cpu time, factor 0.96
ML timing:
0:02:00 elapsed time, 0:02:05 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1430 M
heap stored:
54 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Sturm_Sequences

data:
CSV
timing:
0:02:54 elapsed time, 0:02:53 cpu time, factor 0.99
ML timing:
0:02:13 elapsed time, 0:02:15 cpu time, factor 1.02
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1449 M
heap stored:
5 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Sort_Encodings

data:
CSV
timing:
0:02:50 elapsed time, 0:02:49 cpu time, factor 0.99
ML timing:
0:02:48 elapsed time, 0:02:59 cpu time, factor 1.06
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1459 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Simple_Firewall

data:
CSV
timing:
0:02:46 elapsed time, 0:02:46 cpu time, factor 1.00
ML timing:
0:01:51 elapsed time, 0:01:49 cpu time, factor 0.98
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1494 M
heap average:
1424 M
heap stored:
26 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

LEM

data:
CSV
timing:
0:02:46 elapsed time, 0:02:41 cpu time, factor 0.97
ML timing:
0:01:45 elapsed time, 0:01:50 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1494 M
heap average:
1432 M
heap stored:
44 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Hidden_Markov_Models

data:
CSV
timing:
0:02:43 elapsed time, 0:02:43 cpu time, factor 1.00
ML timing:
0:02:39 elapsed time, 0:02:49 cpu time, factor 1.06
code maximum:
1 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1450 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Differential_Game_Logic

data:
CSV
timing:
0:02:43 elapsed time, 0:02:43 cpu time, factor 1.00
ML timing:
0:02:40 elapsed time, 0:02:46 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1459 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

UTP-Toolkit

data:
CSV
timing:
0:02:42 elapsed time, 0:02:40 cpu time, factor 0.99
ML timing:
0:01:34 elapsed time, 0:01:37 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1434 M
heap stored:
22 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Treaps

data:
CSV
timing:
0:02:41 elapsed time, 0:02:41 cpu time, factor 1.00
ML timing:
0:02:38 elapsed time, 0:02:42 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1452 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Circus

data:
CSV
timing:
0:02:40 elapsed time, 0:02:39 cpu time, factor 0.99
ML timing:
0:02:38 elapsed time, 0:02:43 cpu time, factor 1.03
stack maximum:
32 M
stack average:
21 M
heap maximum:
1499 M
heap average:
1454 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

SequentInvertibility

data:
CSV
timing:
0:02:35 elapsed time, 0:02:34 cpu time, factor 0.99
ML timing:
0:02:32 elapsed time, 0:02:39 cpu time, factor 1.05
stack maximum:
64 M
stack average:
25 M
heap maximum:
1499 M
heap average:
1447 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Matrix

data:
CSV
timing:
0:02:35 elapsed time, 0:02:29 cpu time, factor 0.96
ML timing:
0:01:38 elapsed time, 0:01:42 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1449 M
heap stored:
31 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Splay_Tree

data:
CSV
timing:
0:02:35 elapsed time, 0:02:35 cpu time, factor 1.00
ML timing:
0:02:32 elapsed time, 0:02:34 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1454 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Koenigsberg_Friendship

data:
CSV
timing:
0:02:34 elapsed time, 0:02:33 cpu time, factor 0.99
ML timing:
0:02:30 elapsed time, 0:02:37 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1455 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Valuation

data:
CSV
timing:
0:02:33 elapsed time, 0:02:29 cpu time, factor 0.97
ML timing:
0:02:27 elapsed time, 0:02:32 cpu time, factor 1.04
stack maximum:
8 M
stack average:
8 M
heap maximum:
1499 M
heap average:
1449 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Abstract-Rewriting

data:
CSV
timing:
0:02:32 elapsed time, 0:02:33 cpu time, factor 1.01
ML timing:
0:01:40 elapsed time, 0:01:38 cpu time, factor 0.98
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1455 M
heap stored:
22 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Quick_Sort_Cost

data:
CSV
timing:
0:02:31 elapsed time, 0:02:04 cpu time, factor 0.82
ML timing:
0:01:06 elapsed time, 0:01:09 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1492 M
heap average:
1405 M
heap stored:
18 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

UTP

data:
CSV
timing:
0:02:31 elapsed time, 0:02:30 cpu time, factor 0.99
ML timing:
0:02:26 elapsed time, 0:02:32 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1449 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

SIFUM_Type_Systems

data:
CSV
timing:
0:02:28 elapsed time, 0:02:28 cpu time, factor 1.00
ML timing:
0:02:26 elapsed time, 0:02:33 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1450 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Smooth_Manifolds

data:
CSV
timing:
0:02:27 elapsed time, 0:02:25 cpu time, factor 0.99
ML timing:
0:02:24 elapsed time, 0:02:27 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1441 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Nominal2

data:
CSV
timing:
0:02:25 elapsed time, 0:02:21 cpu time, factor 0.97
ML timing:
0:01:43 elapsed time, 0:01:47 cpu time, factor 1.04
code maximum:
3 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1495 M
heap average:
1428 M
heap stored:
37 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

KAT_and_DRA

data:
CSV
timing:
0:02:25 elapsed time, 0:02:24 cpu time, factor 0.99
ML timing:
0:01:45 elapsed time, 0:01:46 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1454 M
heap stored:
21 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Stirling_Formula

data:
CSV
timing:
0:02:24 elapsed time, 0:02:22 cpu time, factor 0.99
ML timing:
0:01:26 elapsed time, 0:01:29 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1495 M
heap average:
1416 M
heap stored:
22 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

UpDown_Scheme

data:
CSV
timing:
0:02:23 elapsed time, 0:02:22 cpu time, factor 0.99
ML timing:
0:02:19 elapsed time, 0:02:24 cpu time, factor 1.04
stack maximum:
8 M
stack average:
7 M
heap maximum:
1496 M
heap average:
1455 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Probabilistic_System_Zoo

data:
CSV
timing:
0:02:22 elapsed time, 0:02:22 cpu time, factor 1.00
ML timing:
0:02:18 elapsed time, 0:02:24 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1448 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Automatic_Refinement

data:
CSV
timing:
0:02:22 elapsed time, 0:02:18 cpu time, factor 0.97
ML timing:
0:01:42 elapsed time, 0:01:46 cpu time, factor 1.04
code maximum:
1 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1495 M
heap average:
1434 M
heap stored:
29 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Jacobson_Basic_Algebra

data:
CSV
timing:
0:02:20 elapsed time, 0:02:20 cpu time, factor 1.00
ML timing:
0:02:18 elapsed time, 0:02:23 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1452 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Incredible_Proof_Machine

data:
CSV
timing:
0:02:15 elapsed time, 0:02:14 cpu time, factor 0.99
ML timing:
0:02:12 elapsed time, 0:02:18 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1441 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

HOLCF-Prelude

data:
CSV
timing:
0:02:14 elapsed time, 0:02:13 cpu time, factor 0.99
ML timing:
0:02:11 elapsed time, 0:02:16 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1449 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Nat-Interval-Logic

data:
CSV
timing:
0:02:13 elapsed time, 0:02:12 cpu time, factor 0.99
ML timing:
0:01:32 elapsed time, 0:01:34 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1422 M
heap stored:
9 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Prime_Number_Theorem

data:
CSV
timing:
0:02:13 elapsed time, 0:02:13 cpu time, factor 1.00
ML timing:
0:02:08 elapsed time, 0:02:12 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1448 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Concurrent_Revisions

data:
CSV
timing:
0:02:13 elapsed time, 0:02:13 cpu time, factor 1.00
ML timing:
0:02:11 elapsed time, 0:02:16 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1445 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

UPF

data:
CSV
timing:
0:02:12 elapsed time, 0:02:10 cpu time, factor 0.98
ML timing:
0:01:31 elapsed time, 0:01:34 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1425 M
heap stored:
19 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

SIFPL

data:
CSV
timing:
0:02:11 elapsed time, 0:02:10 cpu time, factor 0.99
ML timing:
0:02:09 elapsed time, 0:02:12 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1444 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Tarskis_Geometry

data:
CSV
timing:
0:02:09 elapsed time, 0:02:08 cpu time, factor 0.99
ML timing:
0:02:06 elapsed time, 0:02:10 cpu time, factor 1.04
stack maximum:
8 M
stack average:
4 M
heap maximum:
1496 M
heap average:
1444 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

PCF

data:
CSV
timing:
0:02:08 elapsed time, 0:02:08 cpu time, factor 1.00
ML timing:
0:02:06 elapsed time, 0:02:09 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1444 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Formula_Derivatives-Examples

data:
CSV
timing:
0:02:08 elapsed time, 0:02:00 cpu time, factor 0.94
ML timing:
0:01:56 elapsed time, 0:02:13 cpu time, factor 1.15
stack maximum:
16 M
stack average:
5 M
heap maximum:
1837 M
heap average:
1348 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

SDS_Impossibility

data:
CSV
timing:
0:02:05 elapsed time, 0:02:04 cpu time, factor 0.99
ML timing:
0:02:01 elapsed time, 0:02:04 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1444 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Matrix_Tensor

data:
CSV
timing:
0:02:04 elapsed time, 0:02:03 cpu time, factor 0.99
ML timing:
0:01:21 elapsed time, 0:01:26 cpu time, factor 1.05
stack maximum:
64 M
stack average:
44 M
heap maximum:
1498 M
heap average:
1440 M
heap stored:
5 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Consensus_Refined

data:
CSV
timing:
0:01:59 elapsed time, 0:01:58 cpu time, factor 0.99
ML timing:
0:01:57 elapsed time, 0:02:01 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1444 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

LightweightJava

data:
CSV
timing:
0:01:59 elapsed time, 0:01:59 cpu time, factor 1.00
ML timing:
0:01:56 elapsed time, 0:02:00 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1436 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

DiskPaxos

data:
CSV
timing:
0:01:59 elapsed time, 0:01:59 cpu time, factor 1.00
ML timing:
0:01:57 elapsed time, 0:01:58 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1445 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

SuperCalc

data:
CSV
timing:
0:01:58 elapsed time, 0:01:57 cpu time, factor 0.99
ML timing:
0:01:55 elapsed time, 0:02:00 cpu time, factor 1.04
stack maximum:
16 M
stack average:
12 M
heap maximum:
1499 M
heap average:
1434 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Randomised_Social_Choice

data:
CSV
timing:
0:01:57 elapsed time, 0:01:55 cpu time, factor 0.98
ML timing:
0:00:59 elapsed time, 0:01:01 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1393 M
heap stored:
18 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Decl_Sem_Fun_PL

data:
CSV
timing:
0:01:51 elapsed time, 0:01:50 cpu time, factor 0.99
ML timing:
0:01:49 elapsed time, 0:01:54 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1432 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Locally-Nameless-Sigma

data:
CSV
timing:
0:01:50 elapsed time, 0:01:49 cpu time, factor 0.99
ML timing:
0:01:48 elapsed time, 0:01:50 cpu time, factor 1.02
stack maximum:
16 M
stack average:
5 M
heap maximum:
1497 M
heap average:
1435 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

WHATandWHERE_Security

data:
CSV
timing:
0:01:50 elapsed time, 0:01:50 cpu time, factor 1.00
ML timing:
0:01:48 elapsed time, 0:01:51 cpu time, factor 1.02
stack maximum:
8 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1439 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Special_Function_Bounds

data:
CSV
timing:
0:01:50 elapsed time, 0:01:50 cpu time, factor 1.00
ML timing:
0:01:47 elapsed time, 0:01:49 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1444 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Relation_Algebra

data:
CSV
timing:
0:01:49 elapsed time, 0:01:48 cpu time, factor 0.99
ML timing:
0:01:07 elapsed time, 0:01:10 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1438 M
heap stored:
16 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

VectorSpace

data:
CSV
timing:
0:01:49 elapsed time, 0:01:48 cpu time, factor 0.99
ML timing:
0:01:44 elapsed time, 0:01:49 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1439 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Modular_Assembly_Kit_Security

data:
CSV
timing:
0:01:48 elapsed time, 0:01:47 cpu time, factor 0.99
ML timing:
0:01:46 elapsed time, 0:01:49 cpu time, factor 1.03
stack maximum:
16 M
stack average:
9 M
heap maximum:
1495 M
heap average:
1438 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

pGCL

data:
CSV
timing:
0:01:48 elapsed time, 0:01:48 cpu time, factor 1.00
ML timing:
0:01:45 elapsed time, 0:01:46 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1434 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

FOL-Fitting

data:
CSV
timing:
0:01:47 elapsed time, 0:01:45 cpu time, factor 0.98
ML timing:
0:01:02 elapsed time, 0:01:07 cpu time, factor 1.07
stack maximum:
8 M
stack average:
8 M
heap maximum:
1916 M
heap average:
1387 M
heap stored:
13 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

CRDT

data:
CSV
timing:
0:01:44 elapsed time, 0:01:42 cpu time, factor 0.98
ML timing:
0:01:09 elapsed time, 0:01:12 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1408 M
heap stored:
18 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Lp

data:
CSV
timing:
0:01:43 elapsed time, 0:01:43 cpu time, factor 1.00
ML timing:
0:01:39 elapsed time, 0:01:41 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1438 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

List-Infinite

data:
CSV
timing:
0:01:41 elapsed time, 0:01:39 cpu time, factor 0.98
ML timing:
0:00:57 elapsed time, 0:00:59 cpu time, factor 1.04
stack maximum:
4 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1378 M
heap stored:
13 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Graph_Saturation

data:
CSV
timing:
0:01:41 elapsed time, 0:01:41 cpu time, factor 1.00
ML timing:
0:01:38 elapsed time, 0:01:40 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1430 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Possibilistic_Noninterference

data:
CSV
timing:
0:01:40 elapsed time, 0:01:39 cpu time, factor 0.99
ML timing:
0:01:38 elapsed time, 0:01:41 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1439 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Heard_Of

data:
CSV
timing:
0:01:40 elapsed time, 0:01:40 cpu time, factor 1.00
ML timing:
0:01:38 elapsed time, 0:01:41 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1447 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Auto2_HOL

data:
CSV
timing:
0:01:39 elapsed time, 0:01:37 cpu time, factor 0.98
ML timing:
0:01:11 elapsed time, 0:01:13 cpu time, factor 1.03
code maximum:
3 M
code average:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1420 M
heap stored:
18 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Myhill-Nerode

data:
CSV
timing:
0:01:38 elapsed time, 0:01:41 cpu time, factor 1.03
ML timing:
0:01:35 elapsed time, 0:01:32 cpu time, factor 0.97
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1428 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

DynamicArchitectures

data:
CSV
timing:
0:01:37 elapsed time, 0:01:27 cpu time, factor 0.90
ML timing:
0:00:41 elapsed time, 0:00:42 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1495 M
heap average:
1365 M
heap stored:
6 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

IEEE_Floating_Point

data:
CSV
timing:
0:01:36 elapsed time, 0:01:35 cpu time, factor 0.99
ML timing:
0:01:33 elapsed time, 0:01:35 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1422 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

AxiomaticCategoryTheory

data:
CSV
timing:
0:01:36 elapsed time, 0:02:03 cpu time, factor 1.28
ML timing:
0:01:34 elapsed time, 0:00:50 cpu time, factor 0.53
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1357 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Dict_Construction

data:
CSV
timing:
0:01:34 elapsed time, 0:01:34 cpu time, factor 1.00
ML timing:
0:01:32 elapsed time, 0:01:40 cpu time, factor 1.08
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1421 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Presburger-Automata

data:
CSV
timing:
0:01:34 elapsed time, 0:01:34 cpu time, factor 1.00
ML timing:
0:01:31 elapsed time, 0:01:34 cpu time, factor 1.03
stack maximum:
8 M
stack average:
7 M
heap maximum:
1498 M
heap average:
1427 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Projective_Geometry

data:
CSV
timing:
0:01:33 elapsed time, 0:01:35 cpu time, factor 1.02
ML timing:
0:01:31 elapsed time, 0:01:27 cpu time, factor 0.95
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1447 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

PLM

data:
CSV
timing:
0:01:33 elapsed time, 0:01:40 cpu time, factor 1.08
ML timing:
0:01:31 elapsed time, 0:01:22 cpu time, factor 0.90
stack maximum:
8 M
stack average:
6 M
heap maximum:
1496 M
heap average:
1428 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Fishburn_Impossibility

data:
CSV
timing:
0:01:32 elapsed time, 0:01:32 cpu time, factor 1.00
ML timing:
0:01:30 elapsed time, 0:01:33 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1427 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Lambda_Free_EPO

data:
CSV
timing:
0:01:32 elapsed time, 0:01:31 cpu time, factor 0.99
ML timing:
0:01:29 elapsed time, 0:01:32 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1427 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

GewirthPGCProof

data:
CSV
timing:
0:01:32 elapsed time, 0:02:14 cpu time, factor 1.46
ML timing:
0:01:30 elapsed time, 0:00:36 cpu time, factor 0.40
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1434 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Stern_Brocot

data:
CSV
timing:
0:01:31 elapsed time, 0:01:27 cpu time, factor 0.96
ML timing:
0:01:24 elapsed time, 0:01:30 cpu time, factor 1.07
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1493 M
heap average:
1398 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Architectural_Design_Patterns

data:
CSV
timing:
0:01:31 elapsed time, 0:01:31 cpu time, factor 1.00
ML timing:
0:01:27 elapsed time, 0:01:32 cpu time, factor 1.05
stack maximum:
32 M
stack average:
14 M
heap maximum:
1498 M
heap average:
1413 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

TESL_Language

data:
CSV
timing:
0:01:30 elapsed time, 0:01:30 cpu time, factor 1.00
ML timing:
0:01:28 elapsed time, 0:01:31 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1427 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Generic_Join

data:
CSV
timing:
0:01:29 elapsed time, 0:01:29 cpu time, factor 1.00
ML timing:
0:01:27 elapsed time, 0:01:29 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1416 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Shivers-CFA

data:
CSV
timing:
0:01:28 elapsed time, 0:01:27 cpu time, factor 0.99
ML timing:
0:01:25 elapsed time, 0:01:29 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1407 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Diophantine_Eqns_Lin_Hom

data:
CSV
timing:
0:01:27 elapsed time, 0:01:27 cpu time, factor 1.00
ML timing:
0:01:25 elapsed time, 0:01:23 cpu time, factor 0.98
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1450 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Euler_MacLaurin

data:
CSV
timing:
0:01:27 elapsed time, 0:01:26 cpu time, factor 0.99
ML timing:
0:01:23 elapsed time, 0:01:26 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1494 M
heap average:
1415 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Noninterference_Sequential_Composition

data:
CSV
timing:
0:01:24 elapsed time, 0:01:23 cpu time, factor 0.99
ML timing:
0:00:54 elapsed time, 0:00:56 cpu time, factor 1.04
stack maximum:
8 M
stack average:
5 M
heap maximum:
1490 M
heap average:
1374 M
heap stored:
7 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Priority_Search_Trees

data:
CSV
timing:
0:01:24 elapsed time, 0:01:22 cpu time, factor 0.98
ML timing:
0:00:45 elapsed time, 0:00:47 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1330 M
heap stored:
14 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Rewriting_Z

data:
CSV
timing:
0:01:24 elapsed time, 0:01:27 cpu time, factor 1.04
ML timing:
0:01:22 elapsed time, 0:01:20 cpu time, factor 0.97
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1454 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Localization_Ring

data:
CSV
timing:
0:01:22 elapsed time, 0:01:24 cpu time, factor 1.02
ML timing:
0:01:18 elapsed time, 0:01:19 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1426 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Well_Quasi_Orders

data:
CSV
timing:
0:01:21 elapsed time, 0:01:24 cpu time, factor 1.04
ML timing:
0:01:18 elapsed time, 0:01:16 cpu time, factor 0.97
stack maximum:
4 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1413 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Program-Conflict-Analysis

data:
CSV
timing:
0:01:20 elapsed time, 0:01:20 cpu time, factor 1.00
ML timing:
0:01:17 elapsed time, 0:01:20 cpu time, factor 1.03
stack maximum:
4 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1408 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Kuratowski_Closure_Complement

data:
CSV
timing:
0:01:20 elapsed time, 0:01:20 cpu time, factor 1.00
ML timing:
0:01:17 elapsed time, 0:01:19 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1413 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Octonions

data:
CSV
timing:
0:01:18 elapsed time, 0:01:17 cpu time, factor 0.99
ML timing:
0:01:14 elapsed time, 0:01:16 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1427 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Routing

data:
CSV
timing:
0:01:16 elapsed time, 0:01:15 cpu time, factor 0.99
ML timing:
0:00:40 elapsed time, 0:00:41 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1342 M
heap stored:
9 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Bell_Numbers_Spivey

data:
CSV
timing:
0:01:15 elapsed time, 0:01:14 cpu time, factor 0.99
ML timing:
0:00:40 elapsed time, 0:00:41 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1370 M
heap stored:
3 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Residuated_Lattices

data:
CSV
timing:
0:01:15 elapsed time, 0:01:15 cpu time, factor 1.00
ML timing:
0:01:12 elapsed time, 0:01:15 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1452 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Monomorphic_Monad

data:
CSV
timing:
0:01:14 elapsed time, 0:01:14 cpu time, factor 1.00
ML timing:
0:01:10 elapsed time, 0:01:14 cpu time, factor 1.06
stack maximum:
8 M
stack average:
7 M
heap maximum:
1487 M
heap average:
1397 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

NormByEval

data:
CSV
timing:
0:01:13 elapsed time, 0:01:12 cpu time, factor 0.99
ML timing:
0:01:11 elapsed time, 0:01:12 cpu time, factor 1.03
stack maximum:
16 M
stack average:
12 M
heap maximum:
1497 M
heap average:
1411 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Polynomial_Interpolation

data:
CSV
timing:
0:01:13 elapsed time, 0:01:13 cpu time, factor 1.00
ML timing:
0:01:10 elapsed time, 0:01:12 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1398 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Median_Of_Medians_Selection

data:
CSV
timing:
0:01:12 elapsed time, 0:01:11 cpu time, factor 0.99
ML timing:
0:00:44 elapsed time, 0:00:45 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1492 M
heap average:
1358 M
heap stored:
13 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Budan_Fourier

data:
CSV
timing:
0:01:12 elapsed time, 0:01:12 cpu time, factor 1.00
ML timing:
0:01:09 elapsed time, 0:01:11 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1406 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Types_Tableaus_and_Goedels_God

data:
CSV
timing:
0:01:11 elapsed time, 0:01:35 cpu time, factor 1.34
ML timing:
0:01:09 elapsed time, 0:00:28 cpu time, factor 0.41
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1268 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

FocusStreamsCaseStudies

data:
CSV
timing:
0:01:11 elapsed time, 0:01:11 cpu time, factor 1.00
ML timing:
0:01:09 elapsed time, 0:01:11 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1407 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

IMAP-CRDT

data:
CSV
timing:
0:01:10 elapsed time, 0:00:58 cpu time, factor 0.83
ML timing:
0:00:56 elapsed time, 0:00:59 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1377 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

HereditarilyFinite

data:
CSV
timing:
0:01:10 elapsed time, 0:01:09 cpu time, factor 0.99
ML timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1385 M
heap stored:
7 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Random_BSTs

data:
CSV
timing:
0:01:09 elapsed time, 0:01:07 cpu time, factor 0.97
ML timing:
0:00:16 elapsed time, 0:00:17 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1480 M
heap average:
1093 M
heap stored:
9 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Optimal_BST

data:
CSV
timing:
0:01:09 elapsed time, 0:01:00 cpu time, factor 0.87
ML timing:
0:00:58 elapsed time, 0:00:59 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1388 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

RSAPSS

data:
CSV
timing:
0:01:09 elapsed time, 0:01:08 cpu time, factor 0.99
ML timing:
0:01:05 elapsed time, 0:01:07 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1496 M
heap average:
1400 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

PSemigroupsConvolution

data:
CSV
timing:
0:01:07 elapsed time, 0:01:07 cpu time, factor 1.00
ML timing:
0:01:05 elapsed time, 0:01:07 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1430 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

OpSets

data:
CSV
timing:
0:01:07 elapsed time, 0:01:06 cpu time, factor 0.99
ML timing:
0:01:05 elapsed time, 0:01:06 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1418 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

POPLmark-deBruijn

data:
CSV
timing:
0:01:06 elapsed time, 0:01:06 cpu time, factor 1.00
ML timing:
0:01:03 elapsed time, 0:01:06 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1493 M
heap average:
1392 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Pell

data:
CSV
timing:
0:01:05 elapsed time, 0:01:05 cpu time, factor 1.00
ML timing:
0:01:02 elapsed time, 0:01:03 cpu time, factor 1.01
stack maximum:
8 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1380 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Lowe_Ontological_Argument

data:
CSV
timing:
0:01:05 elapsed time, 0:01:37 cpu time, factor 1.49
ML timing:
0:01:03 elapsed time, 0:00:17 cpu time, factor 0.28
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1225 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Show

data:
CSV
timing:
0:01:05 elapsed time, 0:01:05 cpu time, factor 1.00
ML timing:
0:01:01 elapsed time, 0:01:04 cpu time, factor 1.04
stack maximum:
8 M
stack average:
6 M
heap maximum:
1492 M
heap average:
1409 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Coinductive_Languages

data:
CSV
timing:
0:01:04 elapsed time, 0:01:07 cpu time, factor 1.05
ML timing:
0:01:02 elapsed time, 0:00:59 cpu time, factor 0.94
code maximum:
4 M
code average:
1 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1399 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

ConcurrentIMP

data:
CSV
timing:
0:01:03 elapsed time, 0:01:03 cpu time, factor 1.00
ML timing:
0:01:00 elapsed time, 0:01:03 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1381 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

FunWithTilings

data:
CSV
timing:
0:01:03 elapsed time, 0:01:02 cpu time, factor 0.98
ML timing:
0:01:00 elapsed time, 0:01:01 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1440 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Minsky_Machines

data:
CSV
timing:
0:01:02 elapsed time, 0:01:01 cpu time, factor 0.98
ML timing:
0:00:58 elapsed time, 0:01:00 cpu time, factor 1.03
stack maximum:
4 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1388 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

GraphMarkingIBP

data:
CSV
timing:
0:01:02 elapsed time, 0:01:02 cpu time, factor 1.00
ML timing:
0:01:00 elapsed time, 0:01:01 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1395 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

CISC-Kernel

data:
CSV
timing:
0:01:02 elapsed time, 0:01:02 cpu time, factor 1.00
ML timing:
0:01:00 elapsed time, 0:01:02 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1494 M
heap average:
1391 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

SenSocialChoice

data:
CSV
timing:
0:01:01 elapsed time, 0:01:01 cpu time, factor 1.00
ML timing:
0:00:59 elapsed time, 0:01:00 cpu time, factor 1.01
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1393 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Decreasing-Diagrams-II

data:
CSV
timing:
0:01:01 elapsed time, 0:01:01 cpu time, factor 1.00
ML timing:
0:00:58 elapsed time, 0:00:59 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1397 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Decreasing-Diagrams

data:
CSV
timing:
0:01:00 elapsed time, 0:00:59 cpu time, factor 0.98
ML timing:
0:00:57 elapsed time, 0:00:58 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1384 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Sqrt_Babylonian

data:
CSV
timing:
0:01:00 elapsed time, 0:00:59 cpu time, factor 0.98
ML timing:
0:00:37 elapsed time, 0:00:38 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1384 M
heap stored:
5 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Abstract_Completeness

data:
CSV
timing:
0:00:59 elapsed time, 0:00:58 cpu time, factor 0.98
ML timing:
0:00:19 elapsed time, 0:00:20 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1230 M
heap stored:
9 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

CCS

data:
CSV
timing:
0:00:58 elapsed time, 0:00:57 cpu time, factor 0.98
ML timing:
0:00:54 elapsed time, 0:00:55 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1385 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

BNF_CC

data:
CSV
timing:
0:00:57 elapsed time, 0:00:57 cpu time, factor 1.00
ML timing:
0:00:55 elapsed time, 0:00:58 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1372 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

FLP

data:
CSV
timing:
0:00:57 elapsed time, 0:00:57 cpu time, factor 1.00
ML timing:
0:00:55 elapsed time, 0:00:57 cpu time, factor 1.04
stack maximum:
4 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1392 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

AVL-Trees

data:
CSV
timing:
0:00:57 elapsed time, 0:00:57 cpu time, factor 1.00
ML timing:
0:00:55 elapsed time, 0:00:57 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1385 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Fermat3_4

data:
CSV
timing:
0:00:56 elapsed time, 0:00:56 cpu time, factor 1.00
ML timing:
0:00:52 elapsed time, 0:00:54 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1366 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Name_Carrying_Type_Inference

data:
CSV
timing:
0:00:56 elapsed time, 0:00:56 cpu time, factor 1.00
ML timing:
0:00:54 elapsed time, 0:00:57 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1494 M
heap average:
1408 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Finite_Automata_HF

data:
CSV
timing:
0:00:56 elapsed time, 0:00:59 cpu time, factor 1.05
ML timing:
0:00:54 elapsed time, 0:00:51 cpu time, factor 0.93
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1413 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Jordan_Hoelder

data:
CSV
timing:
0:00:56 elapsed time, 0:00:54 cpu time, factor 0.96
ML timing:
0:00:49 elapsed time, 0:00:51 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1371 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Weight_Balanced_Trees

data:
CSV
timing:
0:00:55 elapsed time, 0:00:54 cpu time, factor 0.98
ML timing:
0:00:53 elapsed time, 0:00:56 cpu time, factor 1.06
stack maximum:
2 M
stack average:
2 M
heap maximum:
1489 M
heap average:
1366 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Priority_Queue_Braun

data:
CSV
timing:
0:00:54 elapsed time, 0:00:53 cpu time, factor 0.98
ML timing:
0:00:51 elapsed time, 0:00:51 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1370 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

IMP2_Binary_Heap

data:
CSV
timing:
0:00:54 elapsed time, 0:00:50 cpu time, factor 0.93
ML timing:
0:00:48 elapsed time, 0:00:49 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1384 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Error_Function

data:
CSV
timing:
0:00:53 elapsed time, 0:00:53 cpu time, factor 1.00
ML timing:
0:00:50 elapsed time, 0:00:52 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1494 M
heap average:
1379 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Catalan_Numbers

data:
CSV
timing:
0:00:52 elapsed time, 0:00:52 cpu time, factor 1.00
ML timing:
0:00:48 elapsed time, 0:00:50 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1490 M
heap average:
1375 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

List_Inversions

data:
CSV
timing:
0:00:52 elapsed time, 0:00:52 cpu time, factor 1.00
ML timing:
0:00:50 elapsed time, 0:00:52 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1492 M
heap average:
1380 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

TLA

data:
CSV
timing:
0:00:52 elapsed time, 0:00:52 cpu time, factor 1.00
ML timing:
0:00:50 elapsed time, 0:00:51 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1380 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Binomial-Heaps

data:
CSV
timing:
0:00:52 elapsed time, 0:00:52 cpu time, factor 1.00
ML timing:
0:00:49 elapsed time, 0:00:53 cpu time, factor 1.07
stack maximum:
4 M
stack average:
3 M
heap maximum:
1493 M
heap average:
1364 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Category2

data:
CSV
timing:
0:00:51 elapsed time, 0:00:51 cpu time, factor 1.00
ML timing:
0:00:48 elapsed time, 0:00:50 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1362 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Derangements

data:
CSV
timing:
0:00:51 elapsed time, 0:00:51 cpu time, factor 1.00
ML timing:
0:00:49 elapsed time, 0:00:51 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1496 M
heap average:
1378 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Pratt_Certificate

data:
CSV
timing:
0:00:51 elapsed time, 0:00:50 cpu time, factor 0.98
ML timing:
0:00:47 elapsed time, 0:00:48 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1365 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Lambda_Free_RPOs

data:
CSV
timing:
0:00:51 elapsed time, 0:00:51 cpu time, factor 1.00
ML timing:
0:00:48 elapsed time, 0:00:50 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1491 M
heap average:
1373 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

XML

data:
CSV
timing:
0:00:50 elapsed time, 0:00:49 cpu time, factor 0.98
ML timing:
0:00:47 elapsed time, 0:00:50 cpu time, factor 1.07
stack maximum:
2 M
stack average:
2 M
heap maximum:
1483 M
heap average:
1349 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Cayley_Hamilton

data:
CSV
timing:
0:00:50 elapsed time, 0:00:50 cpu time, factor 1.00
ML timing:
0:00:46 elapsed time, 0:00:48 cpu time, factor 1.04
stack maximum:
8 M
stack average:
7 M
heap maximum:
1491 M
heap average:
1360 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Stream_Fusion_Code

data:
CSV
timing:
0:00:50 elapsed time, 0:00:50 cpu time, factor 1.00
ML timing:
0:00:47 elapsed time, 0:00:48 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1490 M
heap average:
1361 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

BNF_Operations

data:
CSV
timing:
0:00:50 elapsed time, 0:00:49 cpu time, factor 0.98
ML timing:
0:00:48 elapsed time, 0:00:54 cpu time, factor 1.13
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1701 M
heap average:
1270 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Neumann_Morgenstern_Utility

data:
CSV
timing:
0:00:49 elapsed time, 0:00:49 cpu time, factor 1.00
ML timing:
0:00:45 elapsed time, 0:00:46 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1394 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Separation_Algebra

data:
CSV
timing:
0:00:48 elapsed time, 0:00:48 cpu time, factor 1.00
ML timing:
0:00:46 elapsed time, 0:00:48 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1366 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Completeness

data:
CSV
timing:
0:00:46 elapsed time, 0:00:45 cpu time, factor 0.98
ML timing:
0:00:44 elapsed time, 0:00:46 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1491 M
heap average:
1355 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Noninterference_Generic_Unwinding

data:
CSV
timing:
0:00:46 elapsed time, 0:00:36 cpu time, factor 0.78
ML timing:
0:00:34 elapsed time, 0:00:34 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1338 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Sturm_Tarski

data:
CSV
timing:
0:00:46 elapsed time, 0:00:46 cpu time, factor 1.00
ML timing:
0:00:43 elapsed time, 0:00:44 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1352 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Boolean_Expression_Checkers

data:
CSV
timing:
0:00:46 elapsed time, 0:00:46 cpu time, factor 1.00
ML timing:
0:00:43 elapsed time, 0:00:45 cpu time, factor 1.06
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1350 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Inductive_Confidentiality

data:
CSV
timing:
0:00:46 elapsed time, 0:00:45 cpu time, factor 0.98
ML timing:
0:00:43 elapsed time, 0:00:44 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1353 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Optics

data:
CSV
timing:
0:00:45 elapsed time, 0:00:45 cpu time, factor 1.00
ML timing:
0:00:43 elapsed time, 0:00:44 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1357 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Quaternions

data:
CSV
timing:
0:00:44 elapsed time, 0:00:44 cpu time, factor 1.00
ML timing:
0:00:40 elapsed time, 0:00:42 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
1363 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

FOL_Harrison

data:
CSV
timing:
0:00:44 elapsed time, 0:00:43 cpu time, factor 0.98
ML timing:
0:00:42 elapsed time, 0:00:43 cpu time, factor 1.02
stack maximum:
8 M
stack average:
8 M
heap maximum:
1499 M
heap average:
1366 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Noninterference_Ipurge_Unwinding

data:
CSV
timing:
0:00:44 elapsed time, 0:00:43 cpu time, factor 0.98
ML timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1489 M
heap average:
1195 M
heap stored:
3 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Functional-Automata

data:
CSV
timing:
0:00:44 elapsed time, 0:00:47 cpu time, factor 1.07
ML timing:
0:00:41 elapsed time, 0:00:37 cpu time, factor 0.90
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1305 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Laplace_Transform

data:
CSV
timing:
0:00:43 elapsed time, 0:00:43 cpu time, factor 1.00
ML timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1357 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Randomised_BSTs

data:
CSV
timing:
0:00:43 elapsed time, 0:00:43 cpu time, factor 1.00
ML timing:
0:00:39 elapsed time, 0:00:40 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1496 M
heap average:
1338 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Recursion-Theory-I

data:
CSV
timing:
0:00:43 elapsed time, 0:00:43 cpu time, factor 1.00
ML timing:
0:00:41 elapsed time, 0:00:43 cpu time, factor 1.04
stack maximum:
4 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1354 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Strong_Security

data:
CSV
timing:
0:00:43 elapsed time, 0:00:42 cpu time, factor 0.98
ML timing:
0:00:41 elapsed time, 0:00:42 cpu time, factor 1.03
stack maximum:
32 M
stack average:
12 M
heap maximum:
1498 M
heap average:
1342 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Posix-Lexing

data:
CSV
timing:
0:00:42 elapsed time, 0:00:42 cpu time, factor 1.00
ML timing:
0:00:39 elapsed time, 0:00:42 cpu time, factor 1.06
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1364 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Separata

data:
CSV
timing:
0:00:42 elapsed time, 0:00:42 cpu time, factor 1.00
ML timing:
0:00:39 elapsed time, 0:00:40 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1385 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Euler_Partition

data:
CSV
timing:
0:00:41 elapsed time, 0:00:40 cpu time, factor 0.98
ML timing:
0:00:39 elapsed time, 0:00:40 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1495 M
heap average:
1350 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

HyperCTL

data:
CSV
timing:
0:00:41 elapsed time, 0:00:40 cpu time, factor 0.98
ML timing:
0:00:37 elapsed time, 0:00:39 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1359 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Noninterference_CSP

data:
CSV
timing:
0:00:41 elapsed time, 0:00:40 cpu time, factor 0.98
ML timing:
0:00:16 elapsed time, 0:00:17 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1492 M
heap average:
1149 M
heap stored:
5 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Ribbon_Proofs

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
0:00:38 elapsed time, 0:00:40 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1334 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Transformer_Semantics

data:
CSV
timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.00
ML timing:
0:00:37 elapsed time, 0:00:38 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1382 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Finger-Trees

data:
CSV
timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.00
ML timing:
0:00:37 elapsed time, 0:00:40 cpu time, factor 1.07
stack maximum:
4 M
stack average:
4 M
heap maximum:
1485 M
heap average:
1320 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Transitive-Closure-II

data:
CSV
timing:
0:00:39 elapsed time, 0:00:42 cpu time, factor 1.08
ML timing:
0:00:37 elapsed time, 0:00:33 cpu time, factor 0.90
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1245 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Stellar_Quorums

data:
CSV
timing:
0:00:39 elapsed time, 0:00:40 cpu time, factor 1.03
ML timing:
0:00:31 elapsed time, 0:00:28 cpu time, factor 0.93
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1308 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Noninterference_Concurrent_Composition

data:
CSV
timing:
0:00:38 elapsed time, 0:00:37 cpu time, factor 0.97
ML timing:
0:00:36 elapsed time, 0:00:36 cpu time, factor 1.01
stack maximum:
8 M
stack average:
8 M
heap maximum:
1496 M
heap average:
1334 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Bernoulli

data:
CSV
timing:
0:00:36 elapsed time, 0:00:36 cpu time, factor 1.00
ML timing:
0:00:33 elapsed time, 0:00:34 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1314 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

PropResPI

data:
CSV
timing:
0:00:36 elapsed time, 0:00:36 cpu time, factor 1.00
ML timing:
0:00:34 elapsed time, 0:00:36 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1352 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Trie

data:
CSV
timing:
0:00:35 elapsed time, 0:00:35 cpu time, factor 1.00
ML timing:
0:00:32 elapsed time, 0:00:33 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1304 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

JiveDataStoreModel

data:
CSV
timing:
0:00:35 elapsed time, 0:00:34 cpu time, factor 0.97
ML timing:
0:00:33 elapsed time, 0:00:34 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1484 M
heap average:
1305 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Abstract-Hoare-Logics

data:
CSV
timing:
0:00:35 elapsed time, 0:00:34 cpu time, factor 0.97
ML timing:
0:00:33 elapsed time, 0:00:34 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
1321 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

WorkerWrapper

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
0:00:31 elapsed time, 0:00:32 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1484 M
heap average:
1254 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

First_Welfare_Theorem

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
0:00:30 elapsed time, 0:00:31 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1332 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Abstract_Soundness

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
0:00:30 elapsed time, 0:00:31 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1229 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

FeatherweightJava

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
0:00:31 elapsed time, 0:00:32 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1307 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Huffman

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
0:00:31 elapsed time, 0:00:31 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1496 M
heap average:
1307 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Dynamic_Tables

data:
CSV
timing:
0:00:32 elapsed time, 0:00:25 cpu time, factor 0.78
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1208 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Nullstellensatz

data:
CSV
timing:
0:00:31 elapsed time, 0:00:30 cpu time, factor 0.97
ML timing:
0:00:24 elapsed time, 0:00:25 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1489 M
heap average:
1209 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Card_Partitions

data:
CSV
timing:
0:00:31 elapsed time, 0:00:31 cpu time, factor 1.00
ML timing:
0:00:29 elapsed time, 0:00:29 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1322 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Random_Graph_Subgraph_Threshold

data:
CSV
timing:
0:00:31 elapsed time, 0:00:31 cpu time, factor 1.00
ML timing:
0:00:27 elapsed time, 0:00:28 cpu time, factor 1.02
stack maximum:
4 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1319 M
Isabelle version:
5352449209b1
AFP version:
dfa7db541b8e

Efficient-Mergesort

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
0:00:27 elapsed time, 0:00:28 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1271 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Card_Multisets

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
0:00:28 elapsed time, 0:00:29 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1490 M
heap average:
1296 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Landau_Symbols

data:
CSV
timing:
0:00:30 elapsed time, 0:00:29 cpu time, factor 0.97
ML timing:
0:00:26 elapsed time, 0:00:28 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
1261 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Lower_Semicontinuous

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1274 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Ordinal

data:
CSV
timing:
0:00:30 elapsed time, 0:00:29 cpu time, factor 0.97
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1489 M
heap average:
809 M
heap stored:
4 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

First_Order_Terms

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
0:00:27 elapsed time, 0:00:28 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1487 M
heap average:
1289 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

CryptoBasedCompositionalProperties

data:
CSV
timing:
0:00:30 elapsed time, 0:00:29 cpu time, factor 0.97
ML timing:
0:00:28 elapsed time, 0:00:29 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1284 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Selection_Heap_Sort

data:
CSV
timing:
0:00:29 elapsed time, 0:00:29 cpu time, factor 1.00
ML timing:
0:00:26 elapsed time, 0:00:27 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1293 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Robbins-Conjecture

data:
CSV
timing:
0:00:29 elapsed time, 0:00:28 cpu time, factor 0.97
ML timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1329 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

RefinementReactive

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
0:00:26 elapsed time, 0:00:27 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1282 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

SumSquares

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
0:00:24 elapsed time, 0:00:25 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1225 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Menger

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
0:00:26 elapsed time, 0:00:27 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1315 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Noninterference_Inductive_Unwinding

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
0:00:26 elapsed time, 0:00:27 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1490 M
heap average:
1274 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Surprise_Paradox

data:
CSV
timing:
0:00:28 elapsed time, 0:00:08 cpu time, factor 0.29
ML timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
767 M
heap average:
565 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Cauchy

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:07 cpu time, factor 1.00
stack maximum:
2 M
stack average:
2 M
heap maximum:
1264 M
heap average:
719 M
heap stored:
2 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Tycon

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
0:00:26 elapsed time, 0:00:27 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1480 M
heap average:
1213 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Orbit_Stabiliser

data:
CSV
timing:
0:00:27 elapsed time, 0:00:25 cpu time, factor 0.93
ML timing:
0:00:20 elapsed time, 0:00:21 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1268 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Impossible_Geometry

data:
CSV
timing:
0:00:26 elapsed time, 0:00:24 cpu time, factor 0.92
ML timing:
0:00:22 elapsed time, 0:00:23 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1238 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Lam-ml-Normalization

data:
CSV
timing:
0:00:26 elapsed time, 0:00:25 cpu time, factor 0.96
ML timing:
0:00:22 elapsed time, 0:00:24 cpu time, factor 1.06
stack maximum:
4 M
stack average:
4 M
heap maximum:
1492 M
heap average:
1230 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

MiniML

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1242 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Comparison_Sort_Lower_Bound

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1490 M
heap average:
1235 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

IMO2019

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1250 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Latin_Square

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1276 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

FOL_Seq_Calc1

data:
CSV
timing:
0:00:26 elapsed time, 0:00:24 cpu time, factor 0.92
ML timing:
0:00:21 elapsed time, 0:00:22 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1256 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Topology

data:
CSV
timing:
0:00:25 elapsed time, 0:00:24 cpu time, factor 0.96
ML timing:
0:00:21 elapsed time, 0:00:22 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1483 M
heap average:
1216 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Pop_Refinement

data:
CSV
timing:
0:00:25 elapsed time, 0:00:24 cpu time, factor 0.96
ML timing:
0:00:23 elapsed time, 0:00:24 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1244 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Constructor_Funs

data:
CSV
timing:
0:00:25 elapsed time, 0:00:36 cpu time, factor 1.44
ML timing:
0:00:23 elapsed time, 0:00:09 cpu time, factor 0.39
stack maximum:
2 M
stack average:
2 M
heap maximum:
1434 M
heap average:
1179 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Integration

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1493 M
heap average:
1214 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

FileRefinement

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1201 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Concurrent_Ref_Alg

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1273 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Complete_Non_Orders

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
0:00:22 elapsed time, 0:00:23 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1202 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

MonoBoolTranAlgebra

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1489 M
heap average:
1196 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Verified-Prover

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
0:00:21 elapsed time, 0:00:22 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1241 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

VolpanoSmith

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
0:00:20 elapsed time, 0:00:21 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1204 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

LambdaMu

data:
CSV
timing:
0:00:22 elapsed time, 0:00:21 cpu time, factor 0.95
ML timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1193 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Buffons_Needle

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1119 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Stream-Fusion

data:
CSV
timing:
0:00:21 elapsed time, 0:00:20 cpu time, factor 0.95
ML timing:
0:00:18 elapsed time, 0:00:19 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1477 M
heap average:
1034 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Rank_Nullity_Theorem

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
0:00:18 elapsed time, 0:00:19 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1490 M
heap average:
1183 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

HotelKeyCards

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
0:00:19 elapsed time, 0:00:20 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1189 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Tree_Decomposition

data:
CSV
timing:
0:00:20 elapsed time, 0:00:19 cpu time, factor 0.95
ML timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1239 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

GPU_Kernel_PL

data:
CSV
timing:
0:00:20 elapsed time, 0:00:19 cpu time, factor 0.95
ML timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1476 M
heap average:
1158 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Imperative_Insertion_Sort

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1134 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

ArrowImpossibilityGS

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
0:00:18 elapsed time, 0:00:19 cpu time, factor 1.04
stack maximum:
4 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1204 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Matroids

data:
CSV
timing:
0:00:20 elapsed time, 0:00:19 cpu time, factor 0.95
ML timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1154 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Binomial-Queues

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
0:00:17 elapsed time, 0:00:18 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1487 M
heap average:
1174 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

FinFun

data:
CSV
timing:
0:00:19 elapsed time, 0:00:18 cpu time, factor 0.95
ML timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1492 M
heap average:
1118 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Epistemic_Logic

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
0:00:16 elapsed time, 0:00:17 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1483 M
heap average:
1139 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Secondary_Sylow

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1110 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Falling_Factorial_Sum

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1118 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Category

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1161 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Source_Coding_Theorem

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1108 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Certification_Monads

data:
CSV
timing:
0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94
ML timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1481 M
heap average:
1115 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

TortoiseHare

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1066 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Case_Labeling

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0:00:14 elapsed time, 0:00:15 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1485 M
heap average:
1149 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Bounded_Deducibility_Security

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0:00:14 elapsed time, 0:00:15 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1111 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

MuchAdoAboutTwo

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0:00:13 elapsed time, 0:00:14 cpu time, factor 1.05
stack maximum:
4 M
stack average:
4 M
heap maximum:
1491 M
heap average:
1057 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Chord_Segments

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1016 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Card_Number_Partitions

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:13 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1002 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

CYK

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0:00:13 elapsed time, 0:00:14 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
1081 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Pairing_Heap

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:13 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1476 M
heap average:
967 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Tail_Recursive_Functions

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:13 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1463 M
heap average:
1021 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Discrete_Summation

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1490 M
heap average:
1003 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Stewart_Apollonius

data:
CSV
timing:
0:00:14 elapsed time, 0:00:13 cpu time, factor 0.93
ML timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
952 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Partial_Function_MR

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.06
stack maximum:
2 M
stack average:
2 M
heap maximum:
1484 M
heap average:
1027 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

ShortestPath

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1484 M
heap average:
936 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Ramsey-Infinite

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1189 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Stuttering_Equivalence

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1490 M
heap average:
973 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

GenClock

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1487 M
heap average:
951 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Mason_Stothers

data:
CSV
timing:
0:00:13 elapsed time, 0:00:12 cpu time, factor 0.92
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
870 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

ClockSynchInst

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:12 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
968 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

GoedelGod

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:09 cpu time, factor 0.89
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1282 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Fisher_Yates

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
860 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Triangle

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
927 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Descartes_Sign_Rule

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
839 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

BinarySearchTree

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1486 M
heap average:
924 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

LatticeProperties

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1490 M
heap average:
954 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

DPT-SAT-Solver

data:
CSV
timing:
0:00:12 elapsed time, 0:00:11 cpu time, factor 0.92
ML timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.89
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1024 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

List-Index

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
916 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

DataRefinementIBP

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
865 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

List_Interleaving

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1484 M
heap average:
911 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Gauss-Jordan-Elim-Fun

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
867 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Compiling-Exceptions-Correctly

data:
CSV
timing:
0:00:11 elapsed time, 0:00:10 cpu time, factor 0.91
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.06
stack maximum:
2 M
stack average:
2 M
heap maximum:
1474 M
heap average:
858 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Lazy-Lists-II

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
764 M
heap average:
619 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Perfect-Number-Thm

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
stack maximum:
2 M
stack average:
2 M
heap maximum:
756 M
heap average:
569 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Cartan_FP

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1077 M
heap average:
699 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Liouville_Numbers

data:
CSV
timing:
0:00:08 elapsed time, 0:00:07 cpu time, factor 0.88
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
758 M
heap average:
550 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Open_Induction

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1170 M
heap average:
719 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Lazy_Case

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
980 M
heap average:
667 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Marriage

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1276 M
heap average:
703 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Minkowskis_Theorem

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
757 M
heap average:
598 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

AnselmGod

data:
CSV
timing:
0:00:07 elapsed time, 0:00:08 cpu time, factor 1.14
ML timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.79
stack maximum:
2 M
stack average:
2 M
heap maximum:
941 M
heap average:
589 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Lehmer

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
756 M
heap average:
527 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

C2KA_DistributedSystems

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
921 M
heap average:
650 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Ptolemys_Theorem

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
759 M
heap average:
539 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Lifting_Definition_Option

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
767 M
heap average:
575 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Max-Card-Matching

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
758 M
heap average:
586 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

FFT

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
759 M
heap average:
542 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

CofGroups

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
760 M
heap average:
528 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Card_Equiv_Relations

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
551 M
heap average:
408 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

FunWithFunctions

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
756 M
heap average:
571 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Skew_Heap

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
617 M
heap average:
367 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Monad_Normalisation

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
542 M
heap average:
397 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Free-Boolean-Algebra

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time, 0:00:03 cpu time
stack maximum:
2 M
stack average:
2 M
heap maximum:
763 M
heap average:
499 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

General-Triangle

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
456 M
heap average:
322 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

RIPEMD-160-SPARK

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
263 M
heap average:
174 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
621 M
heap average:
414 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Bondy

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
270 M
heap average:
234 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Roy_Floyd_Warshall

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
347 M
heap average:
264 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Example-Submission

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
25 M
heap average:
25 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Szpilrajn

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
285 M
heap average:
245 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Ordinals_and_Cardinals

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
20 M
heap average:
20 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Datatype_Order_Generator

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:08:29 elapsed time, 0:09:00 cpu time, factor 1.06
stack maximum:
8 M
stack average:
7 M
heap maximum:
3285 M
heap average:
1652 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

KD_Tree

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Launchbury

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:03:57 elapsed time, 0:04:06 cpu time, factor 1.04
code maximum:
2 M
code average:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1463 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Collections

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:17:06 elapsed time, 0:14:11 cpu time, factor 0.83
stack maximum:
4 M
stack average:
4 M
heap maximum:
2720 M
heap average:
1880 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Native_Word

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

JNF-AFP-Lib

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:07:24 elapsed time, 0:07:41 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1483 M
heap stored:
107 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

CakeML

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:38:08 elapsed time, 0:39:00 cpu time, factor 1.02
code maximum:
1 M
stack maximum:
1024 M
stack average:
274 M
heap maximum:
3648 M
heap average:
1380 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Girth_Chromatic

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Jordan_Normal_Form

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
5bc338cee4a0
AFP version:
ab79744bf7a0

Jinja

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:19:16 elapsed time, 0:20:24 cpu time, factor 1.06
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1563 M
heap average:
1496 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Complx

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:39:57 elapsed time, 0:40:15 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1495 M
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6

Linear_Programming

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
b627cfb23595
AFP version:
f9adabfbcca6