Isabelle build status for AFP

status date:
24-Apr-2019 17:36:41 +0200
build host:
lxbroy6, lxbroy8

HOL-ODE-Numerics

data:
CSV
timing:
1:43:34 elapsed time, 1:41:58 cpu time, factor 0.98
ML timing:
1:37:51 elapsed time, 1:47:12 cpu time, factor 1.10
code maximum:
5 M
code average:
3 M
stack maximum:
64 M
stack average:
53 M
heap maximum:
3191 M
heap average:
1908 M
heap stored:
262 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

CAVA_Setup

data:
CSV
timing:
0:48:14 elapsed time, 0:48:38 cpu time, factor 1.01
ML timing:
0:43:04 elapsed time, 0:43:42 cpu time, factor 1.01
stack maximum:
8 M
stack average:
7 M
heap maximum:
3057 M
heap average:
2200 M
heap stored:
288 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

HOL-ODE-ARCH-COMP

data:
CSV
timing:
0:37:22 elapsed time, 0:37:17 cpu time, factor 1.00
ML timing:
0:37:16 elapsed time, 0:38:11 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1500 M
heap average:
1482 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Iptables_Semantics_Examples

data:
CSV
timing:
0:34:57 elapsed time, 0:34:47 cpu time, factor 1.00
ML timing:
0:34:46 elapsed time, 0:37:43 cpu time, factor 1.08
code maximum:
34 M
code average:
16 M
stack maximum:
16 M
stack average:
10 M
heap maximum:
1958 M
heap average:
1560 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

MSO_Regex_Equivalence

data:
CSV
timing:
0:32:16 elapsed time, 0:32:13 cpu time, factor 1.00
ML timing:
0:32:14 elapsed time, 0:32:57 cpu time, factor 1.02
code maximum:
4 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
2999 M
heap average:
2656 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Algebraic_Numbers

data:
CSV
timing:
0:31:34 elapsed time, 0:26:35 cpu time, factor 0.84
ML timing:
0:31:26 elapsed time, 0:31:06 cpu time, factor 0.99
code maximum:
26 M
code average:
15 M
stack maximum:
16 M
stack average:
14 M
heap maximum:
3913 M
heap average:
1405 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Groebner_Bases

data:
CSV
timing:
0:30:01 elapsed time, 0:28:15 cpu time, factor 0.94
ML timing:
0:22:28 elapsed time, 0:24:53 cpu time, factor 1.11
code maximum:
20 M
code average:
5 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
4315 M
heap average:
2808 M
heap stored:
383 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Affine_Arithmetic

data:
CSV
timing:
0:29:58 elapsed time, 0:28:50 cpu time, factor 0.96
ML timing:
0:28:00 elapsed time, 0:32:27 cpu time, factor 1.16
code maximum:
4 M
code average:
1 M
stack maximum:
64 M
stack average:
30 M
heap maximum:
2599 M
heap average:
1782 M
heap stored:
110 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Incompleteness

data:
CSV
timing:
0:27:42 elapsed time, 0:27:34 cpu time, factor 1.00
ML timing:
0:26:51 elapsed time, 0:27:03 cpu time, factor 1.01
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:
39 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

CakeML

data:
CSV
timing:
0:26:10 elapsed time, 0:26:26 cpu time, factor 1.01
ML timing:
0:26:07 elapsed time, 0:27:08 cpu time, factor 1.04
code maximum:
2 M
stack maximum:
1024 M
stack average:
294 M
heap maximum:
3759 M
heap average:
2995 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Psi_Calculi

data:
CSV
timing:
0:25:10 elapsed time, 0:25:06 cpu time, factor 1.00
ML timing:
0:25:06 elapsed time, 0:25:54 cpu time, factor 1.03
stack maximum:
16 M
stack average:
15 M
heap maximum:
1500 M
heap average:
1483 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Category3

data:
CSV
timing:
0:24:41 elapsed time, 0:24:37 cpu time, factor 1.00
ML timing:
0:23:25 elapsed time, 0:25:17 cpu time, factor 1.08
stack maximum:
16 M
stack average:
8 M
heap maximum:
1799 M
heap average:
1489 M
heap stored:
144 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Auto2_Imperative_HOL

data:
CSV
timing:
0:24:31 elapsed time, 0:24:29 cpu time, factor 1.00
ML timing:
0:24:29 elapsed time, 0:24:48 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1500 M
heap average:
1493 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Slicing

data:
CSV
timing:
0:24:19 elapsed time, 0:24:14 cpu time, factor 1.00
ML timing:
0:23:17 elapsed time, 0:23:28 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1493 M
heap stored:
33 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Security_Protocol_Refinement

data:
CSV
timing:
0:23:54 elapsed time, 0:23:50 cpu time, factor 1.00
ML timing:
0:23:50 elapsed time, 0:23:56 cpu time, factor 1.00
stack maximum:
2 M
stack average:
1 M
heap maximum:
1500 M
heap average:
1493 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

HRB-Slicing

data:
CSV
timing:
0:23:45 elapsed time, 0:23:35 cpu time, factor 0.99
ML timing:
0:21:51 elapsed time, 0:22:14 cpu time, factor 1.02
stack maximum:
16 M
stack average:
15 M
heap maximum:
1500 M
heap average:
1491 M
heap stored:
62 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Network_Security_Policy_Verification

data:
CSV
timing:
0:22:28 elapsed time, 0:24:08 cpu time, factor 1.07
ML timing:
0:22:26 elapsed time, 0:21:59 cpu time, factor 0.98
code maximum:
10 M
code average:
5 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1609 M
heap average:
1499 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Echelon_Form

data:
CSV
timing:
0:21:46 elapsed time, 0:21:20 cpu time, factor 0.98
ML timing:
0:20:48 elapsed time, 0:23:20 cpu time, factor 1.12
code maximum:
23 M
code average:
17 M
stack maximum:
16 M
stack average:
12 M
heap maximum:
4748 M
heap average:
2053 M
heap stored:
40 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Transition_Systems_and_Automata

data:
CSV
timing:
0:21:11 elapsed time, 0:20:49 cpu time, factor 0.98
ML timing:
0:18:14 elapsed time, 0:18:44 cpu time, factor 1.03
stack maximum:
8 M
stack average:
5 M
heap maximum:
1500 M
heap average:
1472 M
heap stored:
135 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Collections

data:
CSV
timing:
0:19:57 elapsed time, 0:21:56 cpu time, factor 1.10
ML timing:
0:16:08 elapsed time, 0:12:55 cpu time, factor 0.80
stack maximum:
4 M
stack average:
4 M
heap maximum:
2276 M
heap average:
1580 M
heap stored:
226 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Native_Word

data:
CSV
timing:
0:19:42 elapsed time, 0:22:31 cpu time, factor 1.14
ML timing:
0:19:40 elapsed time, 0:13:04 cpu time, factor 0.66
code maximum:
8 M
code average:
4 M
stack maximum:
4 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1491 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Jordan_Normal_Form

data:
CSV
timing:
0:18:25 elapsed time, 0:18:18 cpu time, factor 0.99
ML timing:
0:16:54 elapsed time, 0:17:19 cpu time, factor 1.02
code maximum:
6 M
stack maximum:
8 M
stack average:
5 M
heap maximum:
1500 M
heap average:
1491 M
heap stored:
55 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

MonoidalCategory

data:
CSV
timing:
0:18:19 elapsed time, 0:18:18 cpu time, factor 1.00
ML timing:
0:18:16 elapsed time, 0:19:35 cpu time, factor 1.07
stack maximum:
8 M
stack average:
8 M
heap maximum:
2999 M
heap average:
2102 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

IP_Addresses

data:
CSV
timing:
0:18:03 elapsed time, 0:18:00 cpu time, factor 1.00
ML timing:
0:16:38 elapsed time, 0:17:21 cpu time, factor 1.04
code maximum:
4 M
stack maximum:
32 M
stack average:
19 M
heap maximum:
2999 M
heap average:
2058 M
heap stored:
48 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Jinja

data:
CSV
timing:
0:18:02 elapsed time, 0:17:56 cpu time, factor 0.99
ML timing:
0:16:43 elapsed time, 0:17:02 cpu time, factor 1.02
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1488 M
heap stored:
45 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Probabilistic_Prime_Tests

data:
CSV
timing:
0:17:49 elapsed time, 0:17:22 cpu time, factor 0.97
ML timing:
0:17:46 elapsed time, 0:19:36 cpu time, factor 1.10
stack maximum:
4 M
stack average:
3 M
heap maximum:
2994 M
heap average:
1569 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Key_Agreement_Strong_Adversaries

data:
CSV
timing:
0:17:37 elapsed time, 0:17:35 cpu time, factor 1.00
ML timing:
0:17:35 elapsed time, 0:17:40 cpu time, factor 1.00
stack maximum:
2 M
stack average:
1 M
heap maximum:
1500 M
heap average:
1492 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Linear_Recurrences_Solver

data:
CSV
timing:
0:17:36 elapsed time, 0:17:23 cpu time, factor 0.99
ML timing:
0:17:18 elapsed time, 0:18:48 cpu time, factor 1.09
code maximum:
64 M
code average:
19 M
stack maximum:
16 M
stack average:
12 M
heap maximum:
3731 M
heap average:
2551 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Formal_SSA

data:
CSV
timing:
0:17:26 elapsed time, 0:16:31 cpu time, factor 0.95
ML timing:
0:14:50 elapsed time, 0:15:04 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1489 M
heap stored:
76 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Core_DOM

data:
CSV
timing:
0:16:10 elapsed time, 0:16:08 cpu time, factor 1.00
ML timing:
0:16:08 elapsed time, 0:16:58 cpu time, factor 1.05
code maximum:
4 M
stack maximum:
32 M
stack average:
29 M
heap maximum:
2717 M
heap average:
1535 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Transcendence_Series_Hancl_Rucki

data:
CSV
timing:
0:16:01 elapsed time, 0:15:59 cpu time, factor 1.00
ML timing:
0:15:58 elapsed time, 0:17:09 cpu time, factor 1.07
code maximum:
13 M
code average:
8 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1708 M
heap average:
1548 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Complx

data:
CSV
timing:
0:15:41 elapsed time, 0:15:39 cpu time, factor 1.00
ML timing:
0:15:39 elapsed time, 0:15:47 cpu time, factor 1.01
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1491 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Perron_Frobenius

data:
CSV
timing:
0:15:37 elapsed time, 0:15:35 cpu time, factor 1.00
ML timing:
0:15:32 elapsed time, 0:16:13 cpu time, factor 1.04
stack maximum:
16 M
stack average:
12 M
heap maximum:
1499 M
heap average:
1489 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Refine_Imperative_HOL

data:
CSV
timing:
0:15:37 elapsed time, 0:17:19 cpu time, factor 1.11
ML timing:
0:13:45 elapsed time, 0:11:17 cpu time, factor 0.82
code maximum:
2 M
code average:
1 M
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1486 M
heap stored:
86 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Dirichlet_Series

data:
CSV
timing:
0:15:36 elapsed time, 0:15:17 cpu time, factor 0.98
ML timing:
0:13:38 elapsed time, 0:14:16 cpu time, factor 1.05
code maximum:
14 M
code average:
7 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
2324 M
heap average:
2244 M
heap stored:
149 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Iptables_Semantics

data:
CSV
timing:
0:15:29 elapsed time, 0:14:21 cpu time, factor 0.93
ML timing:
0:13:29 elapsed time, 0:12:35 cpu time, factor 0.93
code maximum:
6 M
code average:
2 M
stack maximum:
4 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1444 M
heap stored:
94 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Universal_Turing_Machine

data:
CSV
timing:
0:15:00 elapsed time, 0:14:58 cpu time, factor 1.00
ML timing:
0:14:58 elapsed time, 0:15:05 cpu time, factor 1.01
stack maximum:
16 M
stack average:
15 M
heap maximum:
1500 M
heap average:
1490 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Stochastic_Matrices

data:
CSV
timing:
0:14:29 elapsed time, 0:14:27 cpu time, factor 1.00
ML timing:
0:14:25 elapsed time, 0:15:29 cpu time, factor 1.07
code maximum:
12 M
code average:
9 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1489 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Group-Ring-Module

data:
CSV
timing:
0:13:33 elapsed time, 0:13:15 cpu time, factor 0.98
ML timing:
0:12:37 elapsed time, 0:13:43 cpu time, factor 1.09
stack maximum:
16 M
stack average:
16 M
heap maximum:
1500 M
heap average:
1485 M
heap stored:
20 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LLL_Basis_Reduction

data:
CSV
timing:
0:13:14 elapsed time, 0:13:03 cpu time, factor 0.99
ML timing:
0:10:57 elapsed time, 0:12:00 cpu time, factor 1.10
stack maximum:
8 M
stack average:
7 M
heap maximum:
1609 M
heap average:
1474 M
heap stored:
106 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lorenz_Approximation

data:
CSV
timing:
0:13:10 elapsed time, 0:13:09 cpu time, factor 1.00
ML timing:
0:13:05 elapsed time, 0:14:10 cpu time, factor 1.08
code maximum:
6 M
code average:
2 M
stack maximum:
128 M
stack average:
50 M
heap maximum:
3562 M
heap average:
2640 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

SPARCv8

data:
CSV
timing:
0:13:03 elapsed time, 0:13:02 cpu time, factor 1.00
ML timing:
0:13:02 elapsed time, 0:13:17 cpu time, factor 1.02
stack maximum:
32 M
stack average:
28 M
heap maximum:
1500 M
heap average:
1485 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

CAVA_LTL_Modelchecker

data:
CSV
timing:
0:12:42 elapsed time, 0:13:20 cpu time, factor 1.05
ML timing:
0:12:37 elapsed time, 0:11:42 cpu time, factor 0.93
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1474 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Constructive_Cryptography

data:
CSV
timing:
0:12:32 elapsed time, 0:12:32 cpu time, factor 1.00
ML timing:
0:12:29 elapsed time, 0:12:36 cpu time, factor 1.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1500 M
heap average:
1488 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

SM_Base

data:
CSV
timing:
0:12:29 elapsed time, 0:12:35 cpu time, factor 1.01
ML timing:
0:10:31 elapsed time, 0:10:21 cpu time, factor 0.98
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1483 M
heap stored:
90 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

DFS_Framework

data:
CSV
timing:
0:12:05 elapsed time, 0:12:44 cpu time, factor 1.05
ML timing:
0:12:01 elapsed time, 0:11:12 cpu time, factor 0.93
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1482 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Differential_Dynamic_Logic

data:
CSV
timing:
0:11:37 elapsed time, 0:11:19 cpu time, factor 0.97
ML timing:
0:11:19 elapsed time, 0:11:35 cpu time, factor 1.02
stack maximum:
8 M
stack average:
5 M
heap maximum:
1500 M
heap average:
1483 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Probabilistic_Timed_Automata

data:
CSV
timing:
0:11:36 elapsed time, 0:11:33 cpu time, factor 1.00
ML timing:
0:11:32 elapsed time, 0:11:49 cpu time, factor 1.02
stack maximum:
16 M
stack average:
9 M
heap maximum:
1499 M
heap average:
1485 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Deep_Learning

data:
CSV
timing:
0:11:26 elapsed time, 0:11:23 cpu time, factor 1.00
ML timing:
0:11:22 elapsed time, 0:12:10 cpu time, factor 1.07
code maximum:
11 M
code average:
6 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1500 M
heap average:
1487 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Collections_Examples

data:
CSV
timing:
0:11:25 elapsed time, 0:13:35 cpu time, factor 1.19
ML timing:
0:11:21 elapsed time, 0:08:45 cpu time, factor 0.77
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1482 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Algebraic_VCs

data:
CSV
timing:
0:11:22 elapsed time, 0:10:55 cpu time, factor 0.96
ML timing:
0:11:19 elapsed time, 0:12:32 cpu time, factor 1.11
stack maximum:
2 M
stack average:
1 M
heap maximum:
3358 M
heap average:
1642 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Ordinary_Differential_Equations

data:
CSV
timing:
0:11:14 elapsed time, 0:10:57 cpu time, factor 0.97
ML timing:
0:09:59 elapsed time, 0:10:12 cpu time, factor 1.02
stack maximum:
32 M
stack average:
26 M
heap maximum:
1499 M
heap average:
1485 M
heap stored:
46 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LTL_to_GBA

data:
CSV
timing:
0:11:14 elapsed time, 0:11:16 cpu time, factor 1.00
ML timing:
0:11:10 elapsed time, 0:11:20 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1485 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Containers-Benchmarks

data:
CSV
timing:
0:11:08 elapsed time, 0:12:19 cpu time, factor 1.11
ML timing:
0:11:04 elapsed time, 0:09:40 cpu time, factor 0.87
code maximum:
2 M
code average:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1998 M
heap average:
1601 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Multirelations

data:
CSV
timing:
0:11:01 elapsed time, 0:16:57 cpu time, factor 1.54
ML timing:
0:10:59 elapsed time, 0:04:40 cpu time, factor 0.42
code maximum:
17 M
code average:
2 M
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1466 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LOFT

data:
CSV
timing:
0:10:41 elapsed time, 0:10:35 cpu time, factor 0.99
ML timing:
0:10:30 elapsed time, 0:10:54 cpu time, factor 1.04
code maximum:
37 M
code average:
13 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1484 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Flow_Networks

data:
CSV
timing:
0:10:14 elapsed time, 0:10:27 cpu time, factor 1.02
ML timing:
0:08:42 elapsed time, 0:08:12 cpu time, factor 0.94
stack maximum:
8 M
stack average:
5 M
heap maximum:
1499 M
heap average:
1480 M
heap stored:
59 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Monad_Memo_DP

data:
CSV
timing:
0:10:09 elapsed time, 0:10:00 cpu time, factor 0.99
ML timing:
0:08:47 elapsed time, 0:08:58 cpu time, factor 1.02
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1482 M
heap stored:
84 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

QR_Decomposition

data:
CSV
timing:
0:10:08 elapsed time, 0:10:07 cpu time, factor 1.00
ML timing:
0:10:05 elapsed time, 0:10:26 cpu time, factor 1.03
code maximum:
13 M
code average:
4 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1487 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Modal_Logics_for_NTS

data:
CSV
timing:
0:09:53 elapsed time, 0:09:51 cpu time, factor 1.00
ML timing:
0:09:51 elapsed time, 0:10:23 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1468 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Berlekamp_Zassenhaus

data:
CSV
timing:
0:09:53 elapsed time, 0:09:45 cpu time, factor 0.99
ML timing:
0:08:01 elapsed time, 0:08:21 cpu time, factor 1.04
stack maximum:
8 M
stack average:
4 M
heap maximum:
1500 M
heap average:
1480 M
heap stored:
72 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Datatype_Order_Generator

data:
CSV
timing:
0:09:44 elapsed time, 0:09:46 cpu time, factor 1.00
ML timing:
0:08:09 elapsed time, 0:08:24 cpu time, factor 1.03
stack maximum:
8 M
stack average:
7 M
heap maximum:
2364 M
heap average:
1507 M
heap stored:
56 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Allen_Calculus

data:
CSV
timing:
0:08:56 elapsed time, 0:08:55 cpu time, factor 1.00
ML timing:
0:08:54 elapsed time, 0:08:58 cpu time, factor 1.01
stack maximum:
8 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1481 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

CryptHOL

data:
CSV
timing:
0:08:40 elapsed time, 0:08:31 cpu time, factor 0.98
ML timing:
0:07:07 elapsed time, 0:07:06 cpu time, factor 1.00
code maximum:
1 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1477 M
heap stored:
88 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Paraconsistency

data:
CSV
timing:
0:08:32 elapsed time, 0:08:32 cpu time, factor 1.00
ML timing:
0:08:31 elapsed time, 0:08:33 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1487 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Flyspeck-Tame

data:
CSV
timing:
0:08:28 elapsed time, 0:08:04 cpu time, factor 0.95
ML timing:
0:08:04 elapsed time, 0:08:39 cpu time, factor 1.07
stack maximum:
16 M
stack average:
12 M
heap maximum:
1832 M
heap average:
1665 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

JNF-AFP-Lib

data:
CSV
timing:
0:08:26 elapsed time, 0:08:20 cpu time, factor 0.99
ML timing:
0:06:36 elapsed time, 0:06:53 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1483 M
heap stored:
92 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Store_Buffer_Reduction

data:
CSV
timing:
0:08:22 elapsed time, 0:08:21 cpu time, factor 1.00
ML timing:
0:08:21 elapsed time, 0:08:31 cpu time, factor 1.02
stack maximum:
32 M
stack average:
32 M
heap maximum:
1500 M
heap average:
1482 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Featherweight_OCL

data:
CSV
timing:
0:08:15 elapsed time, 0:08:13 cpu time, factor 1.00
ML timing:
0:08:13 elapsed time, 0:08:41 cpu time, factor 1.06
code maximum:
24 M
code average:
10 M
stack maximum:
128 M
stack average:
51 M
heap maximum:
1500 M
heap average:
1467 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Functional_Ordered_Resolution_Prover

data:
CSV
timing:
0:08:11 elapsed time, 0:08:28 cpu time, factor 1.03
ML timing:
0:08:08 elapsed time, 0:07:38 cpu time, factor 0.94
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1485 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

CoreC++

data:
CSV
timing:
0:08:09 elapsed time, 0:08:08 cpu time, factor 1.00
ML timing:
0:08:06 elapsed time, 0:08:40 cpu time, factor 1.07
code maximum:
10 M
code average:
4 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1455 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Promela

data:
CSV
timing:
0:08:03 elapsed time, 0:08:08 cpu time, factor 1.01
ML timing:
0:07:59 elapsed time, 0:08:06 cpu time, factor 1.01
stack maximum:
8 M
stack average:
6 M
heap maximum:
1500 M
heap average:
1479 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Timed_Automata

data:
CSV
timing:
0:07:58 elapsed time, 0:07:57 cpu time, factor 1.00
ML timing:
0:07:56 elapsed time, 0:08:03 cpu time, factor 1.02
stack maximum:
16 M
stack average:
8 M
heap maximum:
1499 M
heap average:
1482 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Gromov_Hyperbolicity

data:
CSV
timing:
0:07:45 elapsed time, 0:07:45 cpu time, factor 1.00
ML timing:
0:07:43 elapsed time, 0:07:55 cpu time, factor 1.03
stack maximum:
32 M
stack average:
23 M
heap maximum:
1500 M
heap average:
1482 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Planarity_Certificates

data:
CSV
timing:
0:07:42 elapsed time, 0:07:40 cpu time, factor 1.00
ML timing:
0:07:40 elapsed time, 0:07:59 cpu time, factor 1.04
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1480 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Containers

data:
CSV
timing:
0:07:41 elapsed time, 0:08:24 cpu time, factor 1.09
ML timing:
0:06:15 elapsed time, 0:05:20 cpu time, factor 0.85
code maximum:
3 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1476 M
heap stored:
68 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Stable_Matching

data:
CSV
timing:
0:07:37 elapsed time, 0:07:37 cpu time, factor 1.00
ML timing:
0:07:35 elapsed time, 0:07:40 cpu time, factor 1.01
stack maximum:
8 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1485 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

InfPathElimination

data:
CSV
timing:
0:07:36 elapsed time, 0:07:36 cpu time, factor 1.00
ML timing:
0:07:35 elapsed time, 0:07:36 cpu time, factor 1.00
stack maximum:
8 M
stack average:
6 M
heap maximum:
1500 M
heap average:
1484 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Polynomials

data:
CSV
timing:
0:07:32 elapsed time, 0:07:31 cpu time, factor 1.00
ML timing:
0:07:30 elapsed time, 0:07:58 cpu time, factor 1.06
code maximum:
16 M
code average:
3 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1482 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Pre_BZ

data:
CSV
timing:
0:07:30 elapsed time, 0:07:39 cpu time, factor 1.02
ML timing:
0:05:59 elapsed time, 0:05:41 cpu time, factor 0.95
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1480 M
heap stored:
48 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Coinductive

data:
CSV
timing:
0:07:29 elapsed time, 0:07:13 cpu time, factor 0.96
ML timing:
0:06:30 elapsed time, 0:06:13 cpu time, factor 0.96
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1477 M
heap stored:
43 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Dependent_SIFUM_Refinement

data:
CSV
timing:
0:07:20 elapsed time, 0:07:19 cpu time, factor 1.00
ML timing:
0:07:18 elapsed time, 0:07:29 cpu time, factor 1.02
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1480 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

WebAssembly

data:
CSV
timing:
0:07:19 elapsed time, 0:07:33 cpu time, factor 1.03
ML timing:
0:07:17 elapsed time, 0:07:01 cpu time, factor 0.96
stack maximum:
16 M
stack average:
12 M
heap maximum:
1499 M
heap average:
1479 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

E_Transcendental

data:
CSV
timing:
0:07:09 elapsed time, 0:07:02 cpu time, factor 0.98
ML timing:
0:06:04 elapsed time, 0:06:23 cpu time, factor 1.05
stack maximum:
8 M
stack average:
4 M
heap maximum:
1500 M
heap average:
1479 M
heap stored:
73 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Hoare_Time

data:
CSV
timing:
0:07:07 elapsed time, 0:07:06 cpu time, factor 1.00
ML timing:
0:07:05 elapsed time, 0:07:34 cpu time, factor 1.07
stack maximum:
128 M
stack average:
98 M
heap maximum:
1801 M
heap average:
1565 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Prpu_Maxflow

data:
CSV
timing:
0:06:54 elapsed time, 0:07:07 cpu time, factor 1.03
ML timing:
0:06:50 elapsed time, 0:05:51 cpu time, factor 0.86
stack maximum:
8 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1476 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

KBPs

data:
CSV
timing:
0:06:50 elapsed time, 0:06:49 cpu time, factor 1.00
ML timing:
0:06:47 elapsed time, 0:06:57 cpu time, factor 1.02
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1477 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Count_Complex_Roots

data:
CSV
timing:
0:06:48 elapsed time, 0:06:45 cpu time, factor 0.99
ML timing:
0:06:09 elapsed time, 0:06:18 cpu time, factor 1.02
code maximum:
13 M
code average:
8 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1479 M
heap stored:
17 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LTL_to_DRA

data:
CSV
timing:
0:06:44 elapsed time, 0:06:42 cpu time, factor 1.00
ML timing:
0:06:41 elapsed time, 0:06:59 cpu time, factor 1.04
stack maximum:
128 M
stack average:
47 M
heap maximum:
1499 M
heap average:
1474 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

SM

data:
CSV
timing:
0:06:43 elapsed time, 0:07:04 cpu time, factor 1.05
ML timing:
0:06:38 elapsed time, 0:06:13 cpu time, factor 0.94
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1476 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Markov_Models

data:
CSV
timing:
0:06:39 elapsed time, 0:06:32 cpu time, factor 0.98
ML timing:
0:05:24 elapsed time, 0:05:24 cpu time, factor 1.00
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1472 M
heap stored:
68 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Simpl

data:
CSV
timing:
0:06:29 elapsed time, 0:06:22 cpu time, factor 0.98
ML timing:
0:05:32 elapsed time, 0:05:43 cpu time, factor 1.03
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1482 M
heap stored:
57 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Gabow_SCC

data:
CSV
timing:
0:06:23 elapsed time, 0:06:35 cpu time, factor 1.03
ML timing:
0:06:19 elapsed time, 0:06:07 cpu time, factor 0.97
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1476 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Dependent_SIFUM_Type_Systems

data:
CSV
timing:
0:06:20 elapsed time, 0:06:16 cpu time, factor 0.99
ML timing:
0:05:30 elapsed time, 0:05:40 cpu time, factor 1.03
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1473 M
heap stored:
41 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Taylor_Models

data:
CSV
timing:
0:06:15 elapsed time, 0:06:04 cpu time, factor 0.97
ML timing:
0:06:02 elapsed time, 0:06:13 cpu time, factor 1.03
code maximum:
2 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
2172 M
heap average:
2009 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Safe_OCL

data:
CSV
timing:
0:06:14 elapsed time, 0:06:14 cpu time, factor 1.00
ML timing:
0:06:12 elapsed time, 0:06:28 cpu time, factor 1.04
code maximum:
2 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1481 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Binding_Syntax_Theory

data:
CSV
timing:
0:06:03 elapsed time, 0:06:03 cpu time, factor 1.00
ML timing:
0:06:01 elapsed time, 0:06:10 cpu time, factor 1.02
stack maximum:
8 M
stack average:
5 M
heap maximum:
1500 M
heap average:
1478 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Linear_Recurrences

data:
CSV
timing:
0:05:55 elapsed time, 0:05:54 cpu time, factor 1.00
ML timing:
0:05:53 elapsed time, 0:06:06 cpu time, factor 1.04
code maximum:
5 M
code average:
2 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1471 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

KAD

data:
CSV
timing:
0:05:49 elapsed time, 0:05:48 cpu time, factor 1.00
ML timing:
0:05:47 elapsed time, 0:06:09 cpu time, factor 1.06
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1472 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Isabelle_Meta_Model

data:
CSV
timing:
0:05:46 elapsed time, 0:05:45 cpu time, factor 1.00
ML timing:
0:05:43 elapsed time, 0:06:21 cpu time, factor 1.11
code maximum:
2 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
2134 M
heap average:
1512 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

IMP2

data:
CSV
timing:
0:05:40 elapsed time, 0:05:39 cpu time, factor 1.00
ML timing:
0:05:38 elapsed time, 0:05:42 cpu time, factor 1.01
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1479 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

List_Update

data:
CSV
timing:
0:05:39 elapsed time, 0:05:41 cpu time, factor 1.01
ML timing:
0:05:36 elapsed time, 0:05:40 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1474 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Simplex

data:
CSV
timing:
0:05:37 elapsed time, 0:05:33 cpu time, factor 0.99
ML timing:
0:04:44 elapsed time, 0:04:52 cpu time, factor 1.03
stack maximum:
32 M
stack average:
20 M
heap maximum:
1500 M
heap average:
1468 M
heap stored:
36 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

No_FTL_observers

data:
CSV
timing:
0:05:35 elapsed time, 0:05:34 cpu time, factor 1.00
ML timing:
0:05:33 elapsed time, 0:05:41 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1478 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Prime_Harmonic_Series

data:
CSV
timing:
0:05:35 elapsed time, 0:05:34 cpu time, factor 1.00
ML timing:
0:05:33 elapsed time, 0:05:49 cpu time, factor 1.05
stack maximum:
2 M
stack average:
1 M
heap maximum:
1500 M
heap average:
1478 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Separation_Logic_Imperative_HOL

data:
CSV
timing:
0:05:14 elapsed time, 0:06:25 cpu time, factor 1.23
ML timing:
0:05:12 elapsed time, 0:03:36 cpu time, factor 0.69
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1476 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Probabilistic_Noninterference

data:
CSV
timing:
0:05:11 elapsed time, 0:05:10 cpu time, factor 1.00
ML timing:
0:05:08 elapsed time, 0:05:07 cpu time, factor 1.00
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1475 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Hermite

data:
CSV
timing:
0:05:10 elapsed time, 0:05:06 cpu time, factor 0.99
ML timing:
0:05:04 elapsed time, 0:05:21 cpu time, factor 1.06
code maximum:
44 M
code average:
16 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1466 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Propositional_Proof_Systems

data:
CSV
timing:
0:05:04 elapsed time, 0:05:03 cpu time, factor 1.00
ML timing:
0:05:02 elapsed time, 0:05:13 cpu time, factor 1.04
code maximum:
1 M
stack maximum:
64 M
stack average:
19 M
heap maximum:
1500 M
heap average:
1471 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Buildings

data:
CSV
timing:
0:05:02 elapsed time, 0:05:02 cpu time, factor 1.00
ML timing:
0:05:00 elapsed time, 0:05:04 cpu time, factor 1.01
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1479 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Density_Compiler

data:
CSV
timing:
0:05:02 elapsed time, 0:05:01 cpu time, factor 1.00
ML timing:
0:04:59 elapsed time, 0:05:03 cpu time, factor 1.01
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1475 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Stone_Kleene_Relation_Algebras

data:
CSV
timing:
0:04:59 elapsed time, 0:04:56 cpu time, factor 0.99
ML timing:
0:04:25 elapsed time, 0:04:35 cpu time, factor 1.04
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1479 M
heap stored:
24 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Green

data:
CSV
timing:
0:04:52 elapsed time, 0:04:51 cpu time, factor 1.00
ML timing:
0:04:50 elapsed time, 0:04:42 cpu time, factor 0.97
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1480 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Rep_Fin_Groups

data:
CSV
timing:
0:04:50 elapsed time, 0:04:50 cpu time, factor 1.00
ML timing:
0:04:48 elapsed time, 0:04:52 cpu time, factor 1.02
stack maximum:
16 M
stack average:
16 M
heap maximum:
1499 M
heap average:
1475 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Pi_Transcendental

data:
CSV
timing:
0:04:48 elapsed time, 0:04:41 cpu time, factor 0.98
ML timing:
0:04:39 elapsed time, 0:04:50 cpu time, factor 1.04
code maximum:
14 M
code average:
8 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1471 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Sepref_IICF

data:
CSV
timing:
0:04:47 elapsed time, 0:04:54 cpu time, factor 1.02
ML timing:
0:03:42 elapsed time, 0:03:30 cpu time, factor 0.95
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1468 M
heap stored:
30 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Ergodic_Theory

data:
CSV
timing:
0:04:40 elapsed time, 0:04:40 cpu time, factor 1.00
ML timing:
0:04:38 elapsed time, 0:04:42 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1473 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Amortized_Complexity

data:
CSV
timing:
0:04:39 elapsed time, 0:04:32 cpu time, factor 0.97
ML timing:
0:03:23 elapsed time, 0:03:30 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1461 M
heap stored:
65 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LTL_Master_Theorem

data:
CSV
timing:
0:04:38 elapsed time, 0:04:32 cpu time, factor 0.98
ML timing:
0:04:28 elapsed time, 0:04:38 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1468 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Zeta_Function

data:
CSV
timing:
0:04:37 elapsed time, 0:04:22 cpu time, factor 0.95
ML timing:
0:03:36 elapsed time, 0:03:40 cpu time, factor 1.02
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1467 M
heap stored:
11 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Launchbury

data:
CSV
timing:
0:04:32 elapsed time, 0:04:24 cpu time, factor 0.97
ML timing:
0:03:38 elapsed time, 0:03:45 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:
1464 M
heap stored:
56 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Parity_Game

data:
CSV
timing:
0:04:32 elapsed time, 0:04:31 cpu time, factor 1.00
ML timing:
0:04:30 elapsed time, 0:04:31 cpu time, factor 1.00
stack maximum:
8 M
stack average:
6 M
heap maximum:
1498 M
heap average:
1469 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Dirichlet_L

data:
CSV
timing:
0:04:30 elapsed time, 0:04:29 cpu time, factor 1.00
ML timing:
0:04:26 elapsed time, 0:04:33 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1473 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Gauss_Jordan

data:
CSV
timing:
0:04:29 elapsed time, 0:04:28 cpu time, factor 1.00
ML timing:
0:04:27 elapsed time, 0:04:32 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:
1473 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Akra_Bazzi

data:
CSV
timing:
0:04:24 elapsed time, 0:04:23 cpu time, factor 1.00
ML timing:
0:04:22 elapsed time, 0:04:30 cpu time, factor 1.03
code maximum:
1 M
stack maximum:
32 M
stack average:
17 M
heap maximum:
1498 M
heap average:
1471 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Free-Groups

data:
CSV
timing:
0:04:22 elapsed time, 0:04:22 cpu time, factor 1.00
ML timing:
0:04:21 elapsed time, 0:04:32 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1470 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Winding_Number_Eval

data:
CSV
timing:
0:04:22 elapsed time, 0:04:22 cpu time, factor 1.00
ML timing:
0:04:20 elapsed time, 0:04:26 cpu time, factor 1.02
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:
49a65e3f04c9
AFP version:
6bd749578d6d

Vickrey_Clarke_Groves

data:
CSV
timing:
0:04:19 elapsed time, 0:04:19 cpu time, factor 1.00
ML timing:
0:04:17 elapsed time, 0:04:20 cpu time, factor 1.01
code maximum:
2 M
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1483 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

QHLProver

data:
CSV
timing:
0:04:19 elapsed time, 0:04:18 cpu time, factor 1.00
ML timing:
0:04:14 elapsed time, 0:04:19 cpu time, factor 1.02
stack maximum:
8 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1478 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Quantales

data:
CSV
timing:
0:04:19 elapsed time, 0:04:09 cpu time, factor 0.96
ML timing:
0:03:16 elapsed time, 0:03:20 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1459 M
heap stored:
69 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

UPF_Firewall

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:24 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1480 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

SATSolverVerification

data:
CSV
timing:
0:04:14 elapsed time, 0:04:13 cpu time, factor 1.00
ML timing:
0:04:11 elapsed time, 0:04:14 cpu time, factor 1.01
stack maximum:
16 M
stack average:
14 M
heap maximum:
1499 M
heap average:
1473 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Resolution_FOL

data:
CSV
timing:
0:04:09 elapsed time, 0:04:12 cpu time, factor 1.01
ML timing:
0:04:07 elapsed time, 0:04:08 cpu time, factor 1.00
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1480 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Sepref_Prereq

data:
CSV
timing:
0:04:08 elapsed time, 0:04:43 cpu time, factor 1.14
ML timing:
0:03:07 elapsed time, 0:01:43 cpu time, factor 0.55
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1458 M
heap stored:
27 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

MFMC_Countable

data:
CSV
timing:
0:04:07 elapsed time, 0:04:06 cpu time, factor 1.00
ML timing:
0:04:04 elapsed time, 0:04:09 cpu time, factor 1.02
stack maximum:
16 M
stack average:
10 M
heap maximum:
1499 M
heap average:
1468 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LLL_Factorization

data:
CSV
timing:
0:04:05 elapsed time, 0:03:00 cpu time, factor 0.73
ML timing:
0:02:54 elapsed time, 0:02:59 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1469 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Signature_Groebner

data:
CSV
timing:
0:04:03 elapsed time, 0:03:09 cpu time, factor 0.78
ML timing:
0:03:04 elapsed time, 0:03:18 cpu time, factor 1.08
code maximum:
1 M
stack maximum:
16 M
stack average:
15 M
heap maximum:
1500 M
heap average:
1455 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Password_Authentication_Protocol

data:
CSV
timing:
0:04:01 elapsed time, 0:04:01 cpu time, factor 1.00
ML timing:
0:03:59 elapsed time, 0:04:03 cpu time, factor 1.02
stack maximum:
8 M
stack average:
7 M
heap maximum:
1498 M
heap average:
1471 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Word_Lib

data:
CSV
timing:
0:03:57 elapsed time, 0:03:53 cpu time, factor 0.98
ML timing:
0:03:30 elapsed time, 0:03:34 cpu time, factor 1.02
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1472 M
heap stored:
13 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

DiscretePricing

data:
CSV
timing:
0:03:55 elapsed time, 0:03:54 cpu time, factor 1.00
ML timing:
0:03:52 elapsed time, 0:04:00 cpu time, factor 1.04
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1468 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

ComponentDependencies

data:
CSV
timing:
0:03:54 elapsed time, 0:03:53 cpu time, factor 1.00
ML timing:
0:03:52 elapsed time, 0:04:00 cpu time, factor 1.03
stack maximum:
16 M
stack average:
8 M
heap maximum:
1499 M
heap average:
1466 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Root_Balanced_Tree

data:
CSV
timing:
0:03:54 elapsed time, 0:03:53 cpu time, factor 1.00
ML timing:
0:03:51 elapsed time, 0:03:59 cpu time, factor 1.03
stack maximum:
32 M
stack average:
17 M
heap maximum:
1499 M
heap average:
1466 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Girth_Chromatic

data:
CSV
timing:
0:03:54 elapsed time, 0:03:50 cpu time, factor 0.98
ML timing:
0:02:55 elapsed time, 0:03:00 cpu time, factor 1.03
stack maximum:
32 M
stack average:
12 M
heap maximum:
1498 M
heap average:
1455 M
heap stored:
30 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Subresultants

data:
CSV
timing:
0:03:53 elapsed time, 0:03:52 cpu time, factor 1.00
ML timing:
0:02:47 elapsed time, 0:02:50 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1463 M
heap stored:
10 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

AWN

data:
CSV
timing:
0:03:53 elapsed time, 0:03:52 cpu time, factor 1.00
ML timing:
0:03:51 elapsed time, 0:03:57 cpu time, factor 1.03
stack maximum:
4 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1465 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lambda_Free_KBOs

data:
CSV
timing:
0:03:52 elapsed time, 0:03:54 cpu time, factor 1.01
ML timing:
0:03:50 elapsed time, 0:03:50 cpu time, factor 1.00
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1479 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

BytecodeLogicJmlTypes

data:
CSV
timing:
0:03:52 elapsed time, 0:03:51 cpu time, factor 1.00
ML timing:
0:03:50 elapsed time, 0:03:53 cpu time, factor 1.01
stack maximum:
16 M
stack average:
12 M
heap maximum:
1499 M
heap average:
1470 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Abs_Int_ITP2012

data:
CSV
timing:
0:03:45 elapsed time, 0:03:43 cpu time, factor 0.99
ML timing:
0:03:41 elapsed time, 0:03:46 cpu time, factor 1.02
code maximum:
5 M
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1469 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Regex_Equivalence

data:
CSV
timing:
0:03:39 elapsed time, 0:03:41 cpu time, factor 1.01
ML timing:
0:03:37 elapsed time, 0:03:42 cpu time, factor 1.02
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1454 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Symmetric_Polynomials

data:
CSV
timing:
0:03:39 elapsed time, 0:03:41 cpu time, factor 1.01
ML timing:
0:03:36 elapsed time, 0:03:39 cpu time, factor 1.01
code maximum:
12 M
code average:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1462 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

CAVA_Automata

data:
CSV
timing:
0:03:37 elapsed time, 0:03:38 cpu time, factor 1.00
ML timing:
0:02:40 elapsed time, 0:02:42 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1454 M
heap stored:
18 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Nested_Multisets_Ordinals

data:
CSV
timing:
0:03:34 elapsed time, 0:03:29 cpu time, factor 0.98
ML timing:
0:02:53 elapsed time, 0:02:57 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1460 M
heap stored:
49 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

BDD

data:
CSV
timing:
0:03:31 elapsed time, 0:03:30 cpu time, factor 1.00
ML timing:
0:03:29 elapsed time, 0:03:30 cpu time, factor 1.01
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1481 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Pi_Calculus

data:
CSV
timing:
0:03:30 elapsed time, 0:03:29 cpu time, factor 1.00
ML timing:
0:03:27 elapsed time, 0:03:31 cpu time, factor 1.02
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1467 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Refine_Monadic

data:
CSV
timing:
0:03:30 elapsed time, 0:03:20 cpu time, factor 0.95
ML timing:
0:02:45 elapsed time, 0:02:50 cpu time, factor 1.03
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1452 M
heap stored:
37 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LTL

data:
CSV
timing:
0:03:29 elapsed time, 0:03:25 cpu time, factor 0.98
ML timing:
0:02:30 elapsed time, 0:02:35 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1453 M
heap stored:
33 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Deriving

data:
CSV
timing:
0:03:28 elapsed time, 0:03:39 cpu time, factor 1.05
ML timing:
0:02:31 elapsed time, 0:02:09 cpu time, factor 0.85
code maximum:
1 M
stack maximum:
8 M
stack average:
5 M
heap maximum:
1496 M
heap average:
1452 M
heap stored:
43 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Dijkstra_Shortest_Path

data:
CSV
timing:
0:03:27 elapsed time, 0:04:27 cpu time, factor 1.29
ML timing:
0:03:24 elapsed time, 0:02:16 cpu time, factor 0.67
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1458 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Aggregation_Algebras

data:
CSV
timing:
0:03:27 elapsed time, 0:03:26 cpu time, factor 1.00
ML timing:
0:03:24 elapsed time, 0:03:33 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1468 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Higher_Order_Terms

data:
CSV
timing:
0:03:20 elapsed time, 0:03:49 cpu time, factor 1.15
ML timing:
0:03:18 elapsed time, 0:02:45 cpu time, factor 0.84
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1459 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LocalLexing

data:
CSV
timing:
0:03:19 elapsed time, 0:03:18 cpu time, factor 0.99
ML timing:
0:03:17 elapsed time, 0:03:21 cpu time, factor 1.02
stack maximum:
8 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1464 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Call_Arity

data:
CSV
timing:
0:03:18 elapsed time, 0:03:17 cpu time, factor 0.99
ML timing:
0:03:16 elapsed time, 0:03:24 cpu time, factor 1.04
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1458 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Proof_Strategy_Language

data:
CSV
timing:
0:03:17 elapsed time, 0:03:26 cpu time, factor 1.05
ML timing:
0:03:15 elapsed time, 0:01:51 cpu time, factor 0.57
code maximum:
1 M
stack maximum:
2 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1468 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Factored_Transition_System_Bounding

data:
CSV
timing:
0:03:16 elapsed time, 0:03:30 cpu time, factor 1.07
ML timing:
0:03:14 elapsed time, 0:02:57 cpu time, factor 0.91
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1467 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LinearQuantifierElim

data:
CSV
timing:
0:03:16 elapsed time, 0:03:16 cpu time, factor 1.00
ML timing:
0:03:13 elapsed time, 0:03:43 cpu time, factor 1.15
stack maximum:
64 M
stack average:
50 M
heap maximum:
3181 M
heap average:
2032 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Knot_Theory

data:
CSV
timing:
0:03:16 elapsed time, 0:03:15 cpu time, factor 0.99
ML timing:
0:03:13 elapsed time, 0:03:19 cpu time, factor 1.03
stack maximum:
32 M
stack average:
21 M
heap maximum:
1499 M
heap average:
1460 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Partial_Order_Reduction

data:
CSV
timing:
0:03:14 elapsed time, 0:03:13 cpu time, factor 0.99
ML timing:
0:03:10 elapsed time, 0:03:08 cpu time, factor 0.99
stack maximum:
8 M
stack average:
7 M
heap maximum:
1497 M
heap average:
1462 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Hybrid_Multi_Lane_Spatial_Logic

data:
CSV
timing:
0:03:13 elapsed time, 0:03:12 cpu time, factor 0.99
ML timing:
0:03:11 elapsed time, 0:03:12 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1475 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Bertrands_Postulate

data:
CSV
timing:
0:03:09 elapsed time, 0:03:07 cpu time, factor 0.99
ML timing:
0:03:04 elapsed time, 0:03:07 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1468 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Stone_Relation_Algebras

data:
CSV
timing:
0:03:03 elapsed time, 0:02:58 cpu time, factor 0.97
ML timing:
0:02:24 elapsed time, 0:02:29 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1466 M
heap stored:
45 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Elliptic_Curves_Group_Law

data:
CSV
timing:
0:03:03 elapsed time, 0:03:02 cpu time, factor 0.99
ML timing:
0:03:00 elapsed time, 0:03:06 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1460 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Abortable_Linearizable_Modules

data:
CSV
timing:
0:03:03 elapsed time, 0:03:02 cpu time, factor 0.99
ML timing:
0:03:01 elapsed time, 0:03:08 cpu time, factor 1.04
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1473 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Twelvefold_Way

data:
CSV
timing:
0:03:03 elapsed time, 0:03:02 cpu time, factor 0.99
ML timing:
0:03:00 elapsed time, 0:03:03 cpu time, factor 1.01
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1467 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Regular_Algebras

data:
CSV
timing:
0:03:02 elapsed time, 0:03:04 cpu time, factor 1.01
ML timing:
0:03:00 elapsed time, 0:03:02 cpu time, factor 1.01
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1475 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

VerifyThis2018

data:
CSV
timing:
0:03:02 elapsed time, 0:03:11 cpu time, factor 1.05
ML timing:
0:02:58 elapsed time, 0:02:46 cpu time, factor 0.93
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1463 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Prime_Distribution_Elementary

data:
CSV
timing:
0:03:00 elapsed time, 0:02:58 cpu time, factor 0.99
ML timing:
0:02:55 elapsed time, 0:02:57 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1458 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

PseudoHoops

data:
CSV
timing:
0:02:59 elapsed time, 0:02:59 cpu time, factor 1.00
ML timing:
0:02:57 elapsed time, 0:03:03 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1461 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Statecharts

data:
CSV
timing:
0:02:57 elapsed time, 0:02:56 cpu time, factor 0.99
ML timing:
0:02:55 elapsed time, 0:02:57 cpu time, factor 1.01
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1460 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Ordered_Resolution_Prover

data:
CSV
timing:
0:02:57 elapsed time, 0:02:56 cpu time, factor 0.99
ML timing:
0:02:54 elapsed time, 0:02:50 cpu time, factor 0.98
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1464 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Encodability_Process_Calculi

data:
CSV
timing:
0:02:53 elapsed time, 0:02:52 cpu time, factor 0.99
ML timing:
0:02:51 elapsed time, 0:02:59 cpu time, factor 1.05
stack maximum:
8 M
stack average:
7 M
heap maximum:
1498 M
heap average:
1454 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Irrationality_J_Hancl

data:
CSV
timing:
0:02:53 elapsed time, 0:02:53 cpu time, factor 1.00
ML timing:
0:02:50 elapsed time, 0:02:56 cpu time, factor 1.03
stack maximum:
32 M
stack average:
11 M
heap maximum:
1498 M
heap average:
1461 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

EdmondsKarp_Maxflow

data:
CSV
timing:
0:02:51 elapsed time, 0:03:01 cpu time, factor 1.06
ML timing:
0:02:47 elapsed time, 0:02:22 cpu time, factor 0.85
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1455 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Hidden_Markov_Models

data:
CSV
timing:
0:02:48 elapsed time, 0:02:32 cpu time, factor 0.90
ML timing:
0:02:31 elapsed time, 0:02:38 cpu time, factor 1.05
code maximum:
1 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1445 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Real_Impl

data:
CSV
timing:
0:02:46 elapsed time, 0:02:45 cpu time, factor 0.99
ML timing:
0:02:44 elapsed time, 0:02:47 cpu time, factor 1.02
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1463 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Generic_Deriving

data:
CSV
timing:
0:02:45 elapsed time, 0:02:45 cpu time, factor 1.00
ML timing:
0:02:43 elapsed time, 0:02:52 cpu time, factor 1.05
code maximum:
1 M
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1448 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Graph_Theory

data:
CSV
timing:
0:02:44 elapsed time, 0:02:41 cpu time, factor 0.98
ML timing:
0:02:01 elapsed time, 0:02:07 cpu time, factor 1.05
stack maximum:
2 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1444 M
heap stored:
25 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Regular-Sets

data:
CSV
timing:
0:02:43 elapsed time, 0:02:44 cpu time, factor 1.01
ML timing:
0:02:00 elapsed time, 0:01:58 cpu time, factor 0.98
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1388 M
heap stored:
15 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Order_Lattice_Props

data:
CSV
timing:
0:02:41 elapsed time, 0:02:38 cpu time, factor 0.98
ML timing:
0:01:59 elapsed time, 0:02:00 cpu time, factor 1.00
stack maximum:
2 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1459 M
heap stored:
33 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Probabilistic_While

data:
CSV
timing:
0:02:34 elapsed time, 0:02:32 cpu time, factor 0.99
ML timing:
0:01:55 elapsed time, 0:01:56 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1443 M
heap stored:
15 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

AutoFocus-Stream

data:
CSV
timing:
0:02:34 elapsed time, 0:02:33 cpu time, factor 0.99
ML timing:
0:02:31 elapsed time, 0:02:32 cpu time, factor 1.01
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1455 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Sort_Encodings

data:
CSV
timing:
0:02:33 elapsed time, 0:02:32 cpu time, factor 0.99
ML timing:
0:02:31 elapsed time, 0:02:40 cpu time, factor 1.06
stack maximum:
1 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1461 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Sturm_Sequences

data:
CSV
timing:
0:02:31 elapsed time, 0:02:30 cpu time, factor 0.99
ML timing:
0:01:58 elapsed time, 0:01:59 cpu time, factor 1.01
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1446 M
heap stored:
3 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Treaps

data:
CSV
timing:
0:02:30 elapsed time, 0:02:29 cpu time, factor 0.99
ML timing:
0:02:27 elapsed time, 0:02:30 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1450 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LEM

data:
CSV
timing:
0:02:30 elapsed time, 0:02:24 cpu time, factor 0.96
ML timing:
0:01:39 elapsed time, 0:01:44 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1495 M
heap average:
1434 M
heap stored:
41 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Prime_Number_Theorem

data:
CSV
timing:
0:02:30 elapsed time, 0:01:58 cpu time, factor 0.79
ML timing:
0:01:55 elapsed time, 0:01:56 cpu time, factor 1.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1443 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Circus

data:
CSV
timing:
0:02:28 elapsed time, 0:02:27 cpu time, factor 0.99
ML timing:
0:02:26 elapsed time, 0:02:30 cpu time, factor 1.03
stack maximum:
32 M
stack average:
21 M
heap maximum:
1499 M
heap average:
1455 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Kleene_Algebra

data:
CSV
timing:
0:02:26 elapsed time, 0:02:19 cpu time, factor 0.95
ML timing:
0:01:42 elapsed time, 0:01:46 cpu time, factor 1.04
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1427 M
heap stored:
47 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Stone_Algebras

data:
CSV
timing:
0:02:26 elapsed time, 0:02:23 cpu time, factor 0.98
ML timing:
0:01:57 elapsed time, 0:02:01 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1462 M
heap stored:
30 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Splay_Tree

data:
CSV
timing:
0:02:26 elapsed time, 0:02:26 cpu time, factor 1.00
ML timing:
0:02:24 elapsed time, 0:02:25 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1457 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

SequentInvertibility

data:
CSV
timing:
0:02:25 elapsed time, 0:02:25 cpu time, factor 1.00
ML timing:
0:02:22 elapsed time, 0:02:28 cpu time, factor 1.04
stack maximum:
64 M
stack average:
25 M
heap maximum:
1499 M
heap average:
1449 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Abstract-Rewriting

data:
CSV
timing:
0:02:25 elapsed time, 0:02:14 cpu time, factor 0.92
ML timing:
0:01:33 elapsed time, 0:01:31 cpu time, factor 0.98
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1460 M
heap stored:
16 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Koenigsberg_Friendship

data:
CSV
timing:
0:02:25 elapsed time, 0:02:24 cpu time, factor 0.99
ML timing:
0:02:21 elapsed time, 0:02:26 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1456 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Simple_Firewall

data:
CSV
timing:
0:02:24 elapsed time, 0:02:25 cpu time, factor 1.01
ML timing:
0:01:42 elapsed time, 0:01:40 cpu time, factor 0.98
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1496 M
heap average:
1430 M
heap stored:
22 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Valuation

data:
CSV
timing:
0:02:23 elapsed time, 0:02:21 cpu time, factor 0.99
ML timing:
0:02:18 elapsed time, 0:02:23 cpu time, factor 1.03
stack maximum:
8 M
stack average:
8 M
heap maximum:
1499 M
heap average:
1452 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

UTP-Toolkit

data:
CSV
timing:
0:02:23 elapsed time, 0:02:20 cpu time, factor 0.98
ML timing:
0:01:28 elapsed time, 0:01:30 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1434 M
heap stored:
19 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Applicative_Lifting

data:
CSV
timing:
0:02:20 elapsed time, 0:02:11 cpu time, factor 0.94
ML timing:
0:01:18 elapsed time, 0:01:21 cpu time, factor 1.04
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1411 M
heap stored:
32 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

UTP

data:
CSV
timing:
0:02:20 elapsed time, 0:02:20 cpu time, factor 1.00
ML timing:
0:02:16 elapsed time, 0:02:21 cpu time, factor 1.04
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1449 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Buchi_Complementation

data:
CSV
timing:
0:02:20 elapsed time, 0:02:15 cpu time, factor 0.96
ML timing:
0:02:16 elapsed time, 0:01:58 cpu time, factor 0.87
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1451 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Smooth_Manifolds

data:
CSV
timing:
0:02:18 elapsed time, 0:02:17 cpu time, factor 0.99
ML timing:
0:02:16 elapsed time, 0:02:19 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1449 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

SIFUM_Type_Systems

data:
CSV
timing:
0:02:17 elapsed time, 0:02:17 cpu time, factor 1.00
ML timing:
0:02:15 elapsed time, 0:02:18 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1451 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Kruskal

data:
CSV
timing:
0:02:15 elapsed time, 0:02:23 cpu time, factor 1.06
ML timing:
0:02:11 elapsed time, 0:01:59 cpu time, factor 0.91
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1444 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Tree-Automata

data:
CSV
timing:
0:02:15 elapsed time, 0:01:50 cpu time, factor 0.81
ML timing:
0:01:47 elapsed time, 0:01:50 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1496 M
heap average:
1429 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Game_Based_Crypto

data:
CSV
timing:
0:02:15 elapsed time, 0:02:15 cpu time, factor 1.00
ML timing:
0:02:12 elapsed time, 0:02:14 cpu time, factor 1.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1500 M
heap average:
1436 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Matrix

data:
CSV
timing:
0:02:14 elapsed time, 0:02:11 cpu time, factor 0.98
ML timing:
0:01:31 elapsed time, 0:01:35 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1448 M
heap stored:
25 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Polynomial_Factorization

data:
CSV
timing:
0:02:13 elapsed time, 0:02:12 cpu time, factor 0.99
ML timing:
0:02:08 elapsed time, 0:02:11 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1453 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Pre_Polynomial_Factorization

data:
CSV
timing:
0:02:12 elapsed time, 0:02:10 cpu time, factor 0.98
ML timing:
0:01:09 elapsed time, 0:01:10 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1411 M
heap stored:
14 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

UpDown_Scheme

data:
CSV
timing:
0:02:11 elapsed time, 0:02:11 cpu time, factor 1.00
ML timing:
0:02:08 elapsed time, 0:02:11 cpu time, factor 1.02
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1457 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Probabilistic_System_Zoo-Non_BNFs

data:
CSV
timing:
0:02:10 elapsed time, 0:02:09 cpu time, factor 0.99
ML timing:
0:02:07 elapsed time, 0:02:11 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1448 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Nominal2

data:
CSV
timing:
0:02:09 elapsed time, 0:02:05 cpu time, factor 0.97
ML timing:
0:01:36 elapsed time, 0:01:39 cpu time, factor 1.04
code maximum:
3 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1431 M
heap stored:
35 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Tarskis_Geometry

data:
CSV
timing:
0:02:06 elapsed time, 0:02:05 cpu time, factor 0.99
ML timing:
0:02:03 elapsed time, 0:02:06 cpu time, factor 1.03
stack maximum:
8 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1450 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

SIFPL

data:
CSV
timing:
0:02:05 elapsed time, 0:02:04 cpu time, factor 0.99
ML timing:
0:02:03 elapsed time, 0:02:06 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1446 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Concurrent_Revisions

data:
CSV
timing:
0:02:05 elapsed time, 0:02:05 cpu time, factor 1.00
ML timing:
0:02:04 elapsed time, 0:02:07 cpu time, factor 1.02
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1444 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

KAT_and_DRA

data:
CSV
timing:
0:02:05 elapsed time, 0:02:05 cpu time, factor 1.00
ML timing:
0:01:36 elapsed time, 0:01:37 cpu time, factor 1.00
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1456 M
heap stored:
14 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Automatic_Refinement

data:
CSV
timing:
0:02:05 elapsed time, 0:02:02 cpu time, factor 0.98
ML timing:
0:01:35 elapsed time, 0:01:38 cpu time, factor 1.03
code maximum:
1 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1495 M
heap average:
1438 M
heap stored:
26 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Quick_Sort_Cost

data:
CSV
timing:
0:02:03 elapsed time, 0:01:45 cpu time, factor 0.85
ML timing:
0:01:01 elapsed time, 0:01:03 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1398 M
heap stored:
16 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Formula_Derivatives-Examples

data:
CSV
timing:
0:02:02 elapsed time, 0:01:55 cpu time, factor 0.94
ML timing:
0:01:53 elapsed time, 0:02:09 cpu time, factor 1.14
code maximum:
1 M
stack maximum:
16 M
stack average:
5 M
heap maximum:
1727 M
heap average:
1389 M
Isabelle version:
6d2effbbf8d4
AFP version:
91971ca6ad5e

PCF

data:
CSV
timing:
0:02:00 elapsed time, 0:01:59 cpu time, factor 0.99
ML timing:
0:01:57 elapsed time, 0:01:59 cpu time, factor 1.02
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1444 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Incredible_Proof_Machine

data:
CSV
timing:
0:02:00 elapsed time, 0:02:00 cpu time, factor 1.00
ML timing:
0:01:57 elapsed time, 0:02:02 cpu time, factor 1.04
stack maximum:
1 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1444 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

HOLCF-Prelude

data:
CSV
timing:
0:01:59 elapsed time, 0:01:59 cpu time, factor 1.00
ML timing:
0:01:57 elapsed time, 0:02:01 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1448 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Probabilistic_System_Zoo

data:
CSV
timing:
0:01:56 elapsed time, 0:01:55 cpu time, factor 0.99
ML timing:
0:01:53 elapsed time, 0:01:56 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1437 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Stirling_Formula

data:
CSV
timing:
0:01:56 elapsed time, 0:01:54 cpu time, factor 0.98
ML timing:
0:01:18 elapsed time, 0:01:20 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1417 M
heap stored:
18 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

SDS_Impossibility

data:
CSV
timing:
0:01:56 elapsed time, 0:01:55 cpu time, factor 0.99
ML timing:
0:01:53 elapsed time, 0:01:54 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1444 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

UPF

data:
CSV
timing:
0:01:56 elapsed time, 0:01:55 cpu time, factor 0.99
ML timing:
0:01:26 elapsed time, 0:01:28 cpu time, factor 1.02
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1429 M
heap stored:
16 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LightweightJava

data:
CSV
timing:
0:01:54 elapsed time, 0:01:53 cpu time, factor 0.99
ML timing:
0:01:51 elapsed time, 0:01:54 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1441 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

DiskPaxos

data:
CSV
timing:
0:01:52 elapsed time, 0:01:51 cpu time, factor 0.99
ML timing:
0:01:50 elapsed time, 0:01:51 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1442 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Nat-Interval-Logic

data:
CSV
timing:
0:01:51 elapsed time, 0:01:50 cpu time, factor 0.99
ML timing:
0:01:20 elapsed time, 0:01:21 cpu time, factor 1.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1500 M
heap average:
1419 M
heap stored:
5 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Sepref_Basic

data:
CSV
timing:
0:01:50 elapsed time, 0:01:49 cpu time, factor 0.99
ML timing:
0:00:56 elapsed time, 0:00:58 cpu time, factor 1.03
code maximum:
1 M
stack maximum:
2 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1398 M
heap stored:
12 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

SuperCalc

data:
CSV
timing:
0:01:50 elapsed time, 0:01:49 cpu time, factor 0.99
ML timing:
0:01:47 elapsed time, 0:01:50 cpu time, factor 1.03
stack maximum:
16 M
stack average:
12 M
heap maximum:
1499 M
heap average:
1441 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Consensus_Refined

data:
CSV
timing:
0:01:49 elapsed time, 0:01:49 cpu time, factor 1.00
ML timing:
0:01:47 elapsed time, 0:01:50 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1442 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Matrix_Tensor

data:
CSV
timing:
0:01:48 elapsed time, 0:01:47 cpu time, factor 0.99
ML timing:
0:01:15 elapsed time, 0:01:17 cpu time, factor 1.03
stack maximum:
64 M
stack average:
44 M
heap maximum:
1498 M
heap average:
1450 M
heap stored:
3 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Relation_Algebra

data:
CSV
timing:
0:01:44 elapsed time, 0:01:36 cpu time, factor 0.92
ML timing:
0:01:04 elapsed time, 0:01:06 cpu time, factor 1.04
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1439 M
heap stored:
17 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Decl_Sem_Fun_PL

data:
CSV
timing:
0:01:42 elapsed time, 0:01:42 cpu time, factor 1.00
ML timing:
0:01:41 elapsed time, 0:01:44 cpu time, factor 1.04
stack maximum:
2 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1435 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

IEEE_Floating_Point

data:
CSV
timing:
0:01:42 elapsed time, 0:01:24 cpu time, factor 0.82
ML timing:
0:01:22 elapsed time, 0:01:24 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1426 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

WHATandWHERE_Security

data:
CSV
timing:
0:01:42 elapsed time, 0:01:42 cpu time, factor 1.00
ML timing:
0:01:40 elapsed time, 0:01:42 cpu time, factor 1.02
stack maximum:
8 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1438 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Locally-Nameless-Sigma

data:
CSV
timing:
0:01:41 elapsed time, 0:01:41 cpu time, factor 1.00
ML timing:
0:01:39 elapsed time, 0:01:42 cpu time, factor 1.03
stack maximum:
16 M
stack average:
5 M
heap maximum:
1498 M
heap average:
1434 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

VectorSpace

data:
CSV
timing:
0:01:41 elapsed time, 0:01:41 cpu time, factor 1.00
ML timing:
0:01:37 elapsed time, 0:01:41 cpu time, factor 1.05
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1433 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Special_Function_Bounds

data:
CSV
timing:
0:01:41 elapsed time, 0:01:40 cpu time, factor 0.99
ML timing:
0:01:38 elapsed time, 0:01:39 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1440 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Modular_Assembly_Kit_Security

data:
CSV
timing:
0:01:40 elapsed time, 0:01:40 cpu time, factor 1.00
ML timing:
0:01:39 elapsed time, 0:01:40 cpu time, factor 1.02
stack maximum:
16 M
stack average:
8 M
heap maximum:
1497 M
heap average:
1441 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

pGCL

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:39 cpu time, factor 1.01
stack maximum:
2 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1436 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Randomised_Social_Choice

data:
CSV
timing:
0:01:37 elapsed time, 0:01:35 cpu time, factor 0.98
ML timing:
0:00:55 elapsed time, 0:00:56 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1388 M
heap stored:
15 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lp

data:
CSV
timing:
0:01:35 elapsed time, 0:01:35 cpu time, factor 1.00
ML timing:
0:01:32 elapsed time, 0:01:33 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1432 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Possibilistic_Noninterference

data:
CSV
timing:
0:01:33 elapsed time, 0:01:33 cpu time, factor 1.00
ML timing:
0:01:31 elapsed time, 0:01:34 cpu time, factor 1.03
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1440 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

AxiomaticCategoryTheory

data:
CSV
timing:
0:01:33 elapsed time, 0:01:58 cpu time, factor 1.27
ML timing:
0:01:31 elapsed time, 0:00:49 cpu time, factor 0.54
stack maximum:
1 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1358 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Graph_Saturation

data:
CSV
timing:
0:01:32 elapsed time, 0:01:32 cpu time, factor 1.00
ML timing:
0:01:29 elapsed time, 0:01:31 cpu time, factor 1.02
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1433 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Heard_Of

data:
CSV
timing:
0:01:31 elapsed time, 0:01:31 cpu time, factor 1.00
ML timing:
0:01:29 elapsed time, 0:01:31 cpu time, factor 1.02
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1449 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

ROBDD

data:
CSV
timing:
0:01:31 elapsed time, 0:01:30 cpu time, factor 0.99
ML timing:
0:01:27 elapsed time, 0:01:27 cpu time, factor 1.00
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1422 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Myhill-Nerode

data:
CSV
timing:
0:01:30 elapsed time, 0:01:33 cpu time, factor 1.03
ML timing:
0:01:28 elapsed time, 0:01:25 cpu time, factor 0.97
stack maximum:
4 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1433 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

GewirthPGCProof

data:
CSV
timing:
0:01:30 elapsed time, 0:02:11 cpu time, factor 1.46
ML timing:
0:01:29 elapsed time, 0:00:34 cpu time, factor 0.39
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1434 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Auto2_HOL

data:
CSV
timing:
0:01:29 elapsed time, 0:01:27 cpu time, factor 0.98
ML timing:
0:01:05 elapsed time, 0:01:07 cpu time, factor 1.02
code maximum:
2 M
code average:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1418 M
heap stored:
18 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

CRDT

data:
CSV
timing:
0:01:29 elapsed time, 0:01:27 cpu time, factor 0.98
ML timing:
0:01:04 elapsed time, 0:01:06 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1407 M
heap stored:
16 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

PLM

data:
CSV
timing:
0:01:28 elapsed time, 0:01:37 cpu time, factor 1.10
ML timing:
0:01:27 elapsed time, 0:01:16 cpu time, factor 0.88
stack maximum:
8 M
stack average:
6 M
heap maximum:
1497 M
heap average:
1429 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Dict_Construction

data:
CSV
timing:
0:01:27 elapsed time, 0:01:27 cpu time, factor 1.00
ML timing:
0:01:26 elapsed time, 0:01:32 cpu time, factor 1.07
stack maximum:
2 M
stack average:
1 M
heap maximum:
1491 M
heap average:
1420 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Projective_Geometry

data:
CSV
timing:
0:01:27 elapsed time, 0:01:29 cpu time, factor 1.02
ML timing:
0:01:26 elapsed time, 0:01:20 cpu time, factor 0.93
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1445 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Architectural_Design_Patterns

data:
CSV
timing:
0:01:26 elapsed time, 0:01:25 cpu time, factor 0.99
ML timing:
0:01:22 elapsed time, 0:01:26 cpu time, factor 1.05
stack maximum:
32 M
stack average:
15 M
heap maximum:
1499 M
heap average:
1412 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

List-Infinite

data:
CSV
timing:
0:01:26 elapsed time, 0:01:25 cpu time, factor 0.99
ML timing:
0:00:52 elapsed time, 0:00:53 cpu time, factor 1.03
stack maximum:
4 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1384 M
heap stored:
10 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Fishburn_Impossibility

data:
CSV
timing:
0:01:26 elapsed time, 0:01:25 cpu time, factor 0.99
ML timing:
0:01:24 elapsed time, 0:01:26 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1424 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Stern_Brocot

data:
CSV
timing:
0:01:25 elapsed time, 0:01:25 cpu time, factor 1.00
ML timing:
0:01:22 elapsed time, 0:01:27 cpu time, factor 1.06
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1413 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lambda_Free_EPO

data:
CSV
timing:
0:01:25 elapsed time, 0:01:25 cpu time, factor 1.00
ML timing:
0:01:23 elapsed time, 0:01:24 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1433 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Presburger-Automata

data:
CSV
timing:
0:01:23 elapsed time, 0:01:23 cpu time, factor 1.00
ML timing:
0:01:21 elapsed time, 0:01:23 cpu time, factor 1.02
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1428 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Shivers-CFA

data:
CSV
timing:
0:01:21 elapsed time, 0:01:21 cpu time, factor 1.00
ML timing:
0:01:20 elapsed time, 0:01:22 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1412 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Diophantine_Eqns_Lin_Hom

data:
CSV
timing:
0:01:19 elapsed time, 0:01:19 cpu time, factor 1.00
ML timing:
0:01:17 elapsed time, 0:01:15 cpu time, factor 0.97
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1447 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Rewriting_Z

data:
CSV
timing:
0:01:19 elapsed time, 0:01:22 cpu time, factor 1.04
ML timing:
0:01:17 elapsed time, 0:01:14 cpu time, factor 0.96
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1456 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Octonions

data:
CSV
timing:
0:01:18 elapsed time, 0:01:18 cpu time, factor 1.00
ML timing:
0:01:15 elapsed time, 0:01:17 cpu time, factor 1.02
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1437 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Kuratowski_Closure_Complement

data:
CSV
timing:
0:01:18 elapsed time, 0:01:18 cpu time, factor 1.00
ML timing:
0:01:15 elapsed time, 0:01:17 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1421 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Euler_MacLaurin

data:
CSV
timing:
0:01:18 elapsed time, 0:01:17 cpu time, factor 0.99
ML timing:
0:01:15 elapsed time, 0:01:17 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1416 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Localization_Ring

data:
CSV
timing:
0:01:17 elapsed time, 0:01:19 cpu time, factor 1.03
ML timing:
0:01:14 elapsed time, 0:01:13 cpu time, factor 0.99
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1423 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

DynamicArchitectures

data:
CSV
timing:
0:01:15 elapsed time, 0:01:13 cpu time, factor 0.97
ML timing:
0:00:38 elapsed time, 0:00:39 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1365 M
heap stored:
4 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Well_Quasi_Orders

data:
CSV
timing:
0:01:15 elapsed time, 0:01:18 cpu time, factor 1.04
ML timing:
0:01:13 elapsed time, 0:01:10 cpu time, factor 0.97
stack maximum:
4 M
stack average:
1 M
heap maximum:
1495 M
heap average:
1418 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Program-Conflict-Analysis

data:
CSV
timing:
0:01:14 elapsed time, 0:01:14 cpu time, factor 1.00
ML timing:
0:01:11 elapsed time, 0:01:13 cpu time, factor 1.03
stack maximum:
4 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1414 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Farkas

data:
CSV
timing:
0:01:14 elapsed time, 0:01:13 cpu time, factor 0.99
ML timing:
0:01:11 elapsed time, 0:01:11 cpu time, factor 1.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1413 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Noninterference_Sequential_Composition

data:
CSV
timing:
0:01:11 elapsed time, 0:01:10 cpu time, factor 0.99
ML timing:
0:00:49 elapsed time, 0:00:50 cpu time, factor 1.03
stack maximum:
8 M
stack average:
5 M
heap maximum:
1494 M
heap average:
1376 M
heap stored:
5 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

CAVA_Base

data:
CSV
timing:
0:01:09 elapsed time, 0:01:08 cpu time, factor 0.99
ML timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1211 M
heap stored:
10 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Types_Tableaus_and_Goedels_God

data:
CSV
timing:
0:01:08 elapsed time, 0:01:30 cpu time, factor 1.32
ML timing:
0:01:06 elapsed time, 0:00:27 cpu time, factor 0.41
stack maximum:
1 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1270 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Bell_Numbers_Spivey

data:
CSV
timing:
0:01:08 elapsed time, 0:01:08 cpu time, factor 1.00
ML timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1370 M
heap stored:
2 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

FocusStreamsCaseStudies

data:
CSV
timing:
0:01:08 elapsed time, 0:01:07 cpu time, factor 0.99
ML timing:
0:01:06 elapsed time, 0:01:07 cpu time, factor 1.02
stack maximum:
2 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1407 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Monomorphic_Monad

data:
CSV
timing:
0:01:08 elapsed time, 0:01:07 cpu time, factor 0.99
ML timing:
0:01:05 elapsed time, 0:01:08 cpu time, factor 1.05
stack maximum:
8 M
stack average:
7 M
heap maximum:
1490 M
heap average:
1387 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Routing

data:
CSV
timing:
0:01:07 elapsed time, 0:01:06 cpu time, factor 0.99
ML timing:
0:00:37 elapsed time, 0:00:38 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1493 M
heap average:
1329 M
heap stored:
8 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

NormByEval

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.02
stack maximum:
16 M
stack average:
12 M
heap maximum:
1498 M
heap average:
1408 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

InformationFlowSlicing_Inter

data:
CSV
timing:
0:01:07 elapsed time, 0:01:01 cpu time, factor 0.91
ML timing:
0:00:58 elapsed time, 0:01:02 cpu time, factor 1.06
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1390 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Pell

data:
CSV
timing:
0:01:06 elapsed time, 0:01:05 cpu time, factor 0.98
ML timing:
0:01:03 elapsed time, 0:01:03 cpu time, factor 1.01
stack maximum:
8 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1386 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

JNF-HOL-Lib

data:
CSV
timing:
0:01:06 elapsed time, 0:00:49 cpu time, factor 0.74
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
754 M
heap average:
547 M
heap stored:
4 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lowe_Ontological_Argument

data:
CSV
timing:
0:01:06 elapsed time, 0:01:38 cpu time, factor 1.48
ML timing:
0:01:04 elapsed time, 0:00:17 cpu time, factor 0.27
stack maximum:
1 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1228 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Knuth_Morris_Pratt

data:
CSV
timing:
0:01:06 elapsed time, 0:01:06 cpu time, factor 1.00
ML timing:
0:01:02 elapsed time, 0:01:03 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1423 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Budan_Fourier

data:
CSV
timing:
0:01:06 elapsed time, 0:01:05 cpu time, factor 0.98
ML timing:
0:01:03 elapsed time, 0:01:04 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1404 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Abstract_Completeness

data:
CSV
timing:
0:01:05 elapsed time, 0:00:51 cpu time, factor 0.78
ML timing:
0:00:18 elapsed time, 0:00:19 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1495 M
heap average:
1239 M
heap stored:
9 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Residuated_Lattices

data:
CSV
timing:
0:01:04 elapsed time, 0:01:04 cpu time, factor 1.00
ML timing:
0:01:02 elapsed time, 0:01:04 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1446 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Floyd_Warshall

data:
CSV
timing:
0:01:04 elapsed time, 0:01:07 cpu time, factor 1.05
ML timing:
0:01:00 elapsed time, 0:00:56 cpu time, factor 0.94
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1422 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Polynomial_Interpolation

data:
CSV
timing:
0:01:04 elapsed time, 0:01:04 cpu time, factor 1.00
ML timing:
0:01:01 elapsed time, 0:01:03 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1393 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Probabilistic_System_Zoo-BNFs

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:02 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1496 M
heap average:
1406 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

FOL-Fitting

data:
CSV
timing:
0:01:02 elapsed time, 0:01:02 cpu time, factor 1.00
ML timing:
0:00:59 elapsed time, 0:01:04 cpu time, factor 1.07
stack maximum:
8 M
stack average:
8 M
heap maximum:
1892 M
heap average:
1377 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

OpSets

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:
1 M
heap maximum:
1499 M
heap average:
1415 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Coinductive_Languages

data:
CSV
timing:
0:01:01 elapsed time, 0:01:04 cpu time, factor 1.05
ML timing:
0:00:59 elapsed time, 0:00:56 cpu time, factor 0.94
code maximum:
4 M
code average:
1 M
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1392 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

HereditarilyFinite

data:
CSV
timing:
0:01:01 elapsed time, 0:01:00 cpu time, factor 0.98
ML timing:
0:00:31 elapsed time, 0:00:32 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1392 M
heap stored:
4 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

RSAPSS

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:
4 M
heap maximum:
1499 M
heap average:
1394 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Optimal_BST

data:
CSV
timing:
0:01:00 elapsed time, 0:00:52 cpu time, factor 0.87
ML timing:
0:00:50 elapsed time, 0:00:51 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1381 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

POPLmark-deBruijn

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:59 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1495 M
heap average:
1397 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

GraphMarkingIBP

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:56 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1386 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

CISC-Kernel

data:
CSV
timing:
0:00:57 elapsed time, 0:00:57 cpu time, factor 1.00
ML timing:
0:00:56 elapsed time, 0:00:57 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1387 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Show

data:
CSV
timing:
0:00:57 elapsed time, 0:00:57 cpu time, factor 1.00
ML timing:
0:00:54 elapsed time, 0:00:56 cpu time, factor 1.04
stack maximum:
8 M
stack average:
6 M
heap maximum:
1493 M
heap average:
1397 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Minsky_Machines

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:55 cpu time, factor 1.03
stack maximum:
4 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1394 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

SenSocialChoice

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:54 cpu time, factor 1.00
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1384 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Decreasing-Diagrams-II

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:55 cpu time, factor 1.02
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1400 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Random_BSTs

data:
CSV
timing:
0:00:55 elapsed time, 0:00:54 cpu time, factor 0.98
ML timing:
0:00:15 elapsed time, 0:00:16 cpu time, factor 1.04
stack maximum:
2 M
stack average:
1 M
heap maximum:
1478 M
heap average:
1077 M
heap stored:
8 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

IMAP-CRDT

data:
CSV
timing:
0:00:55 elapsed time, 0:00:53 cpu time, factor 0.96
ML timing:
0:00:51 elapsed time, 0:00:53 cpu time, factor 1.04
stack maximum:
1 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1380 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Decreasing-Diagrams

data:
CSV
timing:
0:00:55 elapsed time, 0:00:55 cpu time, factor 1.00
ML timing:
0:00:52 elapsed time, 0:00:53 cpu time, factor 1.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1391 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

ConcurrentIMP

data:
CSV
timing:
0:00:55 elapsed time, 0:00:55 cpu time, factor 1.00
ML timing:
0:00:53 elapsed time, 0:00:55 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1380 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

CCS

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.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1386 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

FunWithTilings

data:
CSV
timing:
0:00:54 elapsed time, 0:00:54 cpu time, factor 1.00
ML timing:
0:00:53 elapsed time, 0:00:53 cpu time, factor 1.00
heap maximum:
1499 M
heap average:
1431 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

PSemigroupsConvolution

data:
CSV
timing:
0:00:54 elapsed time, 0:00:54 cpu time, factor 1.00
ML timing:
0:00:52 elapsed time, 0:00:55 cpu time, factor 1.04
stack maximum:
1 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1415 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

BNF_CC

data:
CSV
timing:
0:00:53 elapsed time, 0:00:53 cpu time, factor 1.00
ML timing:
0:00:51 elapsed time, 0:00:53 cpu time, factor 1.05
stack maximum:
2 M
stack average:
1 M
heap maximum:
1492 M
heap average:
1369 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Finite_Automata_HF

data:
CSV
timing:
0:00:53 elapsed time, 0:00:55 cpu time, factor 1.04
ML timing:
0:00:51 elapsed time, 0:00:47 cpu time, factor 0.92
stack maximum:
2 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1410 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Sqrt_Babylonian

data:
CSV
timing:
0:00:53 elapsed time, 0:00:53 cpu time, factor 1.00
ML timing:
0:00:35 elapsed time, 0:00:35 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1377 M
heap stored:
4 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Name_Carrying_Type_Inference

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.03
stack maximum:
4 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1407 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

FLP

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:
4 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1386 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Weight_Balanced_Trees

data:
CSV
timing:
0:00:51 elapsed time, 0:00:51 cpu time, factor 1.00
ML timing:
0:00:50 elapsed time, 0:00:51 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1373 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Priority_Queue_Braun

data:
CSV
timing:
0:00:49 elapsed time, 0:00:49 cpu time, factor 1.00
ML timing:
0:00:46 elapsed time, 0:00:47 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1377 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

TLA

data:
CSV
timing:
0:00:49 elapsed time, 0:00:48 cpu time, factor 0.98
ML timing:
0:00:47 elapsed time, 0:00:48 cpu time, factor 1.01
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1372 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

AVL-Trees

data:
CSV
timing:
0:00:49 elapsed time, 0:00:49 cpu time, factor 1.00
ML timing:
0:00:48 elapsed time, 0:00:48 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1375 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Jordan_Hoelder

data:
CSV
timing:
0:00:49 elapsed time, 0:00:48 cpu time, factor 0.98
ML timing:
0:00:44 elapsed time, 0:00:45 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1495 M
heap average:
1367 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Fermat3_4

data:
CSV
timing:
0:00:48 elapsed time, 0:00:48 cpu time, factor 1.00
ML timing:
0:00:45 elapsed time, 0:00:45 cpu time, factor 1.01
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1357 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Pratt_Certificate

data:
CSV
timing:
0:00:48 elapsed time, 0:00:48 cpu time, factor 1.00
ML timing:
0:00:45 elapsed time, 0:00:45 cpu time, factor 1.01
stack maximum:
2 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1359 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

List_Inversions

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:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1372 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Error_Function

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:47 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1493 M
heap average:
1375 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Binomial-Heaps

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:49 cpu time, factor 1.07
stack maximum:
4 M
stack average:
3 M
heap maximum:
1490 M
heap average:
1370 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Category2

data:
CSV
timing:
0:00:47 elapsed time, 0:00:46 cpu time, factor 0.98
ML timing:
0:00:44 elapsed time, 0:00:46 cpu time, factor 1.04
stack maximum:
2 M
stack average:
1 M
heap maximum:
1492 M
heap average:
1365 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Derangements

data:
CSV
timing:
0:00:47 elapsed time, 0:00:46 cpu time, factor 0.98
ML timing:
0:00:45 elapsed time, 0:00:47 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1369 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Catalan_Numbers

data:
CSV
timing:
0:00:47 elapsed time, 0:00:47 cpu time, factor 1.00
ML timing:
0:00:44 elapsed time, 0:00:46 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1491 M
heap average:
1371 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lambda_Free_RPOs

data:
CSV
timing:
0:00:47 elapsed time, 0:00:47 cpu time, factor 1.00
ML timing:
0:00:44 elapsed time, 0:00:46 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1378 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

XML

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:46 cpu time, factor 1.06
stack maximum:
1 M
stack average:
1 M
heap maximum:
1494 M
heap average:
1360 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Stream_Fusion_Code

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.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1363 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

BNF_Operations

data:
CSV
timing:
0:00:46 elapsed time, 0:00:46 cpu time, factor 1.00
ML timing:
0:00:45 elapsed time, 0:00:50 cpu time, factor 1.12
code maximum:
1 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1696 M
heap average:
1255 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Separation_Algebra

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.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1360 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Neumann_Morgenstern_Utility

data:
CSV
timing:
0:00:45 elapsed time, 0:00:45 cpu time, factor 1.00
ML timing:
0:00:42 elapsed time, 0:00:43 cpu time, factor 1.02
stack maximum:
2 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1381 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Boolean_Expression_Checkers

data:
CSV
timing:
0:00:45 elapsed time, 0:00:44 cpu time, factor 0.98
ML timing:
0:00:42 elapsed time, 0:00:44 cpu time, factor 1.05
stack maximum:
1 M
stack average:
1 M
heap maximum:
1494 M
heap average:
1364 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Cayley_Hamilton

data:
CSV
timing:
0:00:44 elapsed time, 0:00:44 cpu time, factor 1.00
ML timing:
0:00:42 elapsed time, 0:00:43 cpu time, factor 1.04
stack maximum:
8 M
stack average:
7 M
heap maximum:
1491 M
heap average:
1356 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

FOL_Harrison

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:42 cpu time, factor 1.02
stack maximum:
8 M
stack average:
8 M
heap maximum:
1499 M
heap average:
1366 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Optics

data:
CSV
timing:
0:00:43 elapsed time, 0:00:42 cpu time, factor 0.98
ML timing:
0:00:40 elapsed time, 0:00:41 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1350 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Sturm_Tarski

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.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1356 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Completeness

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
0:00:40 elapsed time, 0:00:41 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1491 M
heap average:
1342 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Functional-Automata

data:
CSV
timing:
0:00:41 elapsed time, 0:00:44 cpu time, factor 1.07
ML timing:
0:00:39 elapsed time, 0:00:35 cpu time, factor 0.90
stack maximum:
1 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1310 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Median_Of_Medians_Selection

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
0:00:39 elapsed time, 0:00:41 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1494 M
heap average:
1353 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Inductive_Confidentiality

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
0:00:39 elapsed time, 0:00:41 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1494 M
heap average:
1351 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Posix-Lexing

data:
CSV
timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.00
ML timing:
0:00:38 elapsed time, 0:00:40 cpu time, factor 1.05
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1373 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Quaternions

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.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1370 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Randomised_BSTs

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:37 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1342 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Separata

data:
CSV
timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.00
ML timing:
0:00:38 elapsed time, 0:00:39 cpu time, factor 1.02
stack maximum:
2 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1391 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Recursion-Theory-I

data:
CSV
timing:
0:00:40 elapsed time, 0:00:39 cpu time, factor 0.98
ML timing:
0:00:38 elapsed time, 0:00:39 cpu time, factor 1.03
stack maximum:
4 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1346 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Strong_Security

data:
CSV
timing:
0:00:39 elapsed time, 0:00:39 cpu time, factor 1.00
ML timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.02
stack maximum:
32 M
stack average:
11 M
heap maximum:
1498 M
heap average:
1344 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Noninterference_Ipurge_Unwinding

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1488 M
heap average:
1177 M
heap stored:
2 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

HyperCTL

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
0:00:35 elapsed time, 0:00:36 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1371 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Ribbon_Proofs

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
0:00:35 elapsed time, 0:00:36 cpu time, factor 1.04
stack maximum:
2 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1343 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Transitive-Closure-II

data:
CSV
timing:
0:00:37 elapsed time, 0:00:39 cpu time, factor 1.05
ML timing:
0:00:35 elapsed time, 0:00:31 cpu time, factor 0.89
stack maximum:
2 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1237 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Transformer_Semantics

data:
CSV
timing:
0:00:37 elapsed time, 0:00:37 cpu time, factor 1.00
ML timing:
0:00:34 elapsed time, 0:00:34 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1368 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Euler_Partition

data:
CSV
timing:
0:00:37 elapsed time, 0:00:37 cpu time, factor 1.00
ML timing:
0:00:35 elapsed time, 0:00:36 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1335 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Finger-Trees

data:
CSV
timing:
0:00:37 elapsed time, 0:00:37 cpu time, factor 1.00
ML timing:
0:00:35 elapsed time, 0:00:37 cpu time, factor 1.06
stack maximum:
4 M
stack average:
4 M
heap maximum:
1490 M
heap average:
1332 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Noninterference_Concurrent_Composition

data:
CSV
timing:
0:00:35 elapsed time, 0:00:35 cpu time, factor 1.00
ML timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.01
stack maximum:
8 M
stack average:
8 M
heap maximum:
1498 M
heap average:
1321 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

PropResPI

data:
CSV
timing:
0:00:34 elapsed time, 0:00:34 cpu time, factor 1.00
ML timing:
0:00:32 elapsed time, 0:00:33 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1341 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Noninterference_CSP

data:
CSV
timing:
0:00:34 elapsed time, 0:00:34 cpu time, factor 1.00
ML timing:
0:00:15 elapsed time, 0:00:16 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1491 M
heap average:
1158 M
heap stored:
4 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

JiveDataStoreModel

data:
CSV
timing:
0:00:33 elapsed time, 0:00:32 cpu time, factor 0.97
ML timing:
0:00:31 elapsed time, 0:00:32 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1489 M
heap average:
1307 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Noninterference_Generic_Unwinding

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
0:00:32 elapsed time, 0:00:32 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1327 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Abstract-Hoare-Logics

data:
CSV
timing:
0:00:33 elapsed time, 0:00:32 cpu time, factor 0.97
ML timing:
0:00:31 elapsed time, 0:00:32 cpu time, factor 1.04
stack maximum:
1 M
stack average:
1 M
heap maximum:
1491 M
heap average:
1312 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Trie

data:
CSV
timing:
0:00:32 elapsed time, 0:00:32 cpu time, factor 1.00
ML timing:
0:00:29 elapsed time, 0:00:30 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1493 M
heap average:
1306 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Abstract_Soundness

data:
CSV
timing:
0:00:32 elapsed time, 0:00:32 cpu time, factor 1.00
ML timing:
0:00:29 elapsed time, 0:00:30 cpu time, factor 1.04
stack maximum:
1 M
stack average:
1 M
heap maximum:
1494 M
heap average:
1231 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

First_Welfare_Theorem

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.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1331 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Bernoulli

data:
CSV
timing:
0:00:31 elapsed time, 0:00:31 cpu time, factor 1.00
ML timing:
0:00:28 elapsed time, 0:00:29 cpu time, factor 1.01
stack maximum:
2 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1308 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Random_Graph_Subgraph_Threshold

data:
CSV
timing:
0:00:31 elapsed time, 0:00:28 cpu time, factor 0.90
ML timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.01
stack maximum:
4 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1327 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

WorkerWrapper

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.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1490 M
heap average:
1241 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

FeatherweightJava

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
0:00:29 elapsed time, 0:00:29 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1294 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Huffman

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:28 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1293 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

InformationFlowSlicing

data:
CSV
timing:
0:00:30 elapsed time, 0:00:26 cpu time, factor 0.87
ML timing:
0:00:23 elapsed time, 0:00:24 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1496 M
heap average:
1265 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

First_Order_Terms

data:
CSV
timing:
0:00:30 elapsed time, 0:00:28 cpu time, factor 0.93
ML timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1489 M
heap average:
1285 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Card_Partitions

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.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1310 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Efficient-Mergesort

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1271 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Card_Multisets

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
0:00:26 elapsed time, 0:00:27 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1488 M
heap average:
1280 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Selection_Heap_Sort

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1495 M
heap average:
1306 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Landau_Symbols

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.04
stack maximum:
2 M
stack average:
1 M
heap maximum:
1490 M
heap average:
1263 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Ordinal

data:
CSV
timing:
0:00:27 elapsed time, 0:00:26 cpu time, factor 0.96
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
stack maximum:
1 M
stack average:
1 M
heap maximum:
1444 M
heap average:
793 M
heap stored:
4 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

CryptoBasedCompositionalProperties

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1270 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Comparison_Sort_Lower_Bound

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:
1 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1237 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

RefinementReactive

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:25 cpu time, factor 1.02
stack maximum:
2 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1272 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Menger

data:
CSV
timing:
0:00:26 elapsed time, 0:00:25 cpu time, factor 0.96
ML timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1302 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Robbins-Conjecture

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
0:00:25 elapsed time, 0:00:25 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1325 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Noninterference_Inductive_Unwinding

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1493 M
heap average:
1263 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

SumSquares

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.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1207 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Minimal_SSA

data:
CSV
timing:
0:00:25 elapsed time, 0:00:25 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:
1498 M
heap average:
1344 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Orbit_Stabiliser

data:
CSV
timing:
0:00:25 elapsed time, 0:00:23 cpu time, factor 0.92
ML timing:
0:00:19 elapsed time, 0:00:20 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1250 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Tycon

data:
CSV
timing:
0:00:25 elapsed time, 0:00:25 cpu time, factor 1.00
ML timing:
0:00:23 elapsed time, 0:00:24 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1489 M
heap average:
1197 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Constructor_Funs

data:
CSV
timing:
0:00:24 elapsed time, 0:00:35 cpu time, factor 1.46
ML timing:
0:00:23 elapsed time, 0:00:09 cpu time, factor 0.41
heap maximum:
1475 M
heap average:
1131 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Surprise_Paradox

data:
CSV
timing:
0:00:24 elapsed time, 0:00:07 cpu time, factor 0.29
ML timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
763 M
heap average:
528 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Cauchy

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
stack maximum:
2 M
stack average:
1 M
heap maximum:
1164 M
heap average:
702 M
heap stored:
1 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lam-ml-Normalization

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.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1493 M
heap average:
1231 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Pop_Refinement

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1493 M
heap average:
1241 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

MiniML

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1493 M
heap average:
1229 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Latin_Square

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.01
stack maximum:
1 M
heap maximum:
1498 M
heap average:
1258 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Integration

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:20 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1494 M
heap average:
1218 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Impossible_Geometry

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1229 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Topology

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
0:00:19 elapsed time, 0:00:20 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1484 M
heap average:
1210 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Concurrent_Ref_Alg

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:20 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1265 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Dynamic_Tables

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1197 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Verified-Prover

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.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1231 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

FileRefinement

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1174 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Old_Datatype_Show

data:
CSV
timing:
0:00:20 elapsed time, 0:00:19 cpu time, factor 0.95
ML timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1491 M
heap average:
1146 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

VolpanoSmith

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
1495 M
heap average:
1187 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LambdaMu

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:
1 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1183 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

GPU_Kernel_PL

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:18 cpu time, factor 1.05
stack maximum:
1 M
stack average:
1 M
heap maximum:
1486 M
heap average:
1165 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lower_Semicontinuous

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:17 cpu time, factor 1.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1496 M
heap average:
1171 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Buffons_Needle

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:16 cpu time, factor 1.00
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1097 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Stream-Fusion

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:
1 M
stack average:
1 M
heap maximum:
1488 M
heap average:
1010 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

MonoBoolTranAlgebra

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1492 M
heap average:
1151 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Rank_Nullity_Theorem

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.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1493 M
heap average:
1179 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

HotelKeyCards

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.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1172 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Tree_Decomposition

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1217 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Imperative_Insertion_Sort

data:
CSV
timing:
0:00:18 elapsed time, 0:00:17 cpu time, factor 0.94
ML timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1141 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

ArrowImpossibilityGS

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0:00:16 elapsed time, 0:00:17 cpu time, factor 1.04
stack maximum:
4 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1182 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Matroids

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.01
stack maximum:
2 M
stack average:
1 M
heap maximum:
1495 M
heap average:
1129 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Epistemic_Logic

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:16 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1156 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Binomial-Queues

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:16 cpu time, factor 1.03
stack maximum:
1 M
heap maximum:
1489 M
heap average:
1138 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

FinFun

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:16 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1486 M
heap average:
1102 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Category

data:
CSV
timing:
0:00:16 elapsed time, 0:00:15 cpu time, factor 0.94
ML timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1494 M
heap average:
1138 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Secondary_Sylow

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:13 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1496 M
heap average:
1071 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Transitive-Closure

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1492 M
heap average:
1047 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Falling_Factorial_Sum

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:14 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1120 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Case_Labeling

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1491 M
heap average:
1134 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Source_Coding_Theorem

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.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1498 M
heap average:
1063 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Bounded_Deducibility_Security

data:
CSV
timing:
0:00:15 elapsed time, 0:00:14 cpu time, factor 0.93
ML timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.04
stack maximum:
1 M
stack average:
1 M
heap maximum:
1495 M
heap average:
1101 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Certification_Monads

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.03
stack maximum:
1 M
stack average:
1 M
heap maximum:
1484 M
heap average:
1090 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

MuchAdoAboutTwo

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.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1488 M
heap average:
1046 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

TortoiseHare

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:
1 M
stack average:
1 M
heap maximum:
1495 M
heap average:
1062 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Card_Number_Partitions

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.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1497 M
heap average:
1004 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

CYK

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1490 M
heap average:
1047 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Pairing_Heap

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:12 cpu time, factor 1.04
stack maximum:
1 M
stack average:
1 M
heap maximum:
1481 M
heap average:
984 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Tail_Recursive_Functions

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:12 cpu time, factor 1.05
stack maximum:
1 M
stack average:
1 M
heap maximum:
1471 M
heap average:
1031 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Chord_Segments

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.00
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
1010 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Partial_Function_MR

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.04
stack maximum:
1 M
stack average:
1 M
heap maximum:
1484 M
heap average:
1015 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Ramsey-Infinite

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.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1495 M
heap average:
1177 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Stuttering_Equivalence

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:
1 M
stack average:
1 M
heap maximum:
1491 M
heap average:
968 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Discrete_Summation

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1495 M
heap average:
975 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Stewart_Apollonius

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 0.99
stack maximum:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
926 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

ShortestPath

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:10 cpu time, factor 1.04
stack maximum:
1 M
stack average:
1 M
heap maximum:
1485 M
heap average:
934 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

ClockSynchInst

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.00
stack maximum:
1 M
stack average:
1 M
heap maximum:
1495 M
heap average:
924 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

GoedelGod

data:
CSV
timing:
0:00:12 elapsed time, 0:00:13 cpu time, factor 1.08
ML timing:
0:00:11 elapsed time, 0:00:09 cpu time, factor 0.88
heap maximum:
1499 M
heap average:
1264 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

GenClock

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:10 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
912 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

BinarySearchTree

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.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1492 M
heap average:
899 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Mason_Stothers

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1419 M
heap average:
802 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

DPT-SAT-Solver

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 0.97
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
998 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Triangle

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:
1 M
stack average:
1 M
heap maximum:
1499 M
heap average:
907 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Descartes_Sign_Rule

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:
1495 M
heap average:
829 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lazy-Lists-II

data:
CSV
timing:
0:00:10 elapsed time, 0:00:08 cpu time, factor 0.80
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:
763 M
heap average:
616 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

List-Index

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1496 M
heap average:
889 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

DataRefinementIBP

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
stack maximum:
1 M
stack average:
1 M
heap maximum:
1478 M
heap average:
806 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

List_Interleaving

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 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:
1487 M
heap average:
875 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

LatticeProperties

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1494 M
heap average:
886 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Gauss-Jordan-Elim-Fun

data:
CSV
timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.90
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.01
heap maximum:
1498 M
heap average:
826 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Compiling-Exceptions-Correctly

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.05
heap maximum:
1483 M
heap average:
836 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Fisher_Yates

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
1245 M
heap average:
696 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Perfect-Number-Thm

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
755 M
heap average:
537 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

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.03
heap maximum:
1118 M
heap average:
666 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

AnselmGod

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:04 cpu time, factor 0.78
stack maximum:
1 M
stack average:
1 M
heap maximum:
934 M
heap average:
577 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Cartan_FP

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:
1 M
stack average:
1 M
heap maximum:
1019 M
heap average:
687 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Open_Induction

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:06 cpu time, factor 1.02
stack maximum:
1 M
stack average:
1 M
heap maximum:
1112 M
heap average:
677 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Marriage

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
heap maximum:
1212 M
heap average:
670 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Minkowskis_Theorem

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:
1 M
stack average:
1 M
heap maximum:
755 M
heap average:
600 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Liouville_Numbers

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.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
755 M
heap average:
542 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lifting_Definition_Option

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.04
heap maximum:
765 M
heap average:
540 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Lehmer

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
754 M
heap average:
490 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

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:04 cpu time, factor 1.01
heap maximum:
755 M
heap average:
559 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Ptolemys_Theorem

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.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
756 M
heap average:
551 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

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:
1 M
stack average:
1 M
heap maximum:
758 M
heap average:
498 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

FunWithFunctions

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.01
heap maximum:
754 M
heap average:
538 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

FFT

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.01
stack maximum:
1 M
stack average:
1 M
heap maximum:
756 M
heap average:
513 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

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:
1 M
stack average:
1 M
heap maximum:
599 M
heap average:
376 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

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
stack maximum:
1 M
stack average:
1 M
heap maximum:
729 M
heap average:
433 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Card_Equiv_Relations

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:
1 M
stack average:
1 M
heap maximum:
524 M
heap average:
344 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
heap maximum:
604 M
heap average:
380 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Monad_Normalisation

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:01 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
526 M
heap average:
329 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

General-Triangle

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
0:00:01 elapsed time
heap maximum:
434 M
heap average:
290 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

RIPEMD-160-SPARK

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:
1 M
stack average:
1 M
heap maximum:
271 M
heap average:
187 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Bondy

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
252 M
heap average:
207 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Roy_Floyd_Warshall

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
heap maximum:
331 M
heap average:
241 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Example-Submission

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
heap maximum:
19 M
heap average:
19 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Ordinals_and_Cardinals

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
12 M
heap average:
12 M
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d

Formula_Derivatives

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
49a65e3f04c9
AFP version:
6bd749578d6d