Isabelle build status for AFP2

status date:
20-Oct-2019 18:22:21 +0200
build host:
lrzcloud2

HOL-ODE-Numerics

data:
CSV
timing:
0:51:17 elapsed time, 0:51:35 cpu time, factor 1.01
ML timing:
0:47:31 elapsed time, 0:50:12 cpu time, factor 1.06
code maximum:
5 M
code average:
4 M
stack maximum:
64 M
stack average:
53 M
heap maximum:
5661 M
heap average:
4017 M
heap stored:
295 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CAVA_Setup

data:
CSV
timing:
0:26:00 elapsed time, 0:26:59 cpu time, factor 1.04
ML timing:
0:22:53 elapsed time, 0:23:50 cpu time, factor 1.04
stack maximum:
8 M
stack average:
7 M
heap maximum:
3974 M
heap average:
3065 M
heap stored:
333 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

MSO_Regex_Equivalence

data:
CSV
timing:
0:19:10 elapsed time, 0:18:54 cpu time, factor 0.99
ML timing:
0:19:08 elapsed time, 0:19:42 cpu time, factor 1.03
code maximum:
4 M
stack maximum:
4 M
stack average:
4 M
heap maximum:
2248 M
heap average:
1551 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Iptables_Semantics_Examples

data:
CSV
timing:
0:18:24 elapsed time, 0:18:25 cpu time, factor 1.00
ML timing:
0:18:23 elapsed time, 0:19:56 cpu time, factor 1.08
code maximum:
31 M
code average:
15 M
stack maximum:
16 M
stack average:
11 M
heap maximum:
1925 M
heap average:
1572 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

CakeML_Codegen

data:
CSV
timing:
0:17:34 elapsed time, 0:21:24 cpu time, factor 1.22
ML timing:
0:17:32 elapsed time, 0:16:10 cpu time, factor 0.92
code maximum:
2 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1736 M
heap average:
1615 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

HOL-ODE-ARCH-COMP

data:
CSV
timing:
0:16:36 elapsed time, 0:16:33 cpu time, factor 1.00
ML timing:
0:16:33 elapsed time, 0:17:01 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1480 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Groebner_Bases

data:
CSV
timing:
0:15:52 elapsed time, 0:15:45 cpu time, factor 0.99
ML timing:
0:12:19 elapsed time, 0:13:24 cpu time, factor 1.09
code maximum:
21 M
code average:
3 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
4682 M
heap average:
3148 M
heap stored:
377 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Incompleteness

data:
CSV
timing:
0:15:41 elapsed time, 0:15:31 cpu time, factor 0.99
ML timing:
0:14:50 elapsed time, 0:15:02 cpu time, factor 1.01
code maximum:
2 M
code average:
1 M
stack maximum:
4 M
stack average:
4 M
heap maximum:
1500 M
heap average:
1494 M
heap stored:
50 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Category3

data:
CSV
timing:
0:14:44 elapsed time, 0:14:36 cpu time, factor 0.99
ML timing:
0:13:43 elapsed time, 0:14:52 cpu time, factor 1.08
stack maximum:
16 M
stack average:
8 M
heap maximum:
2311 M
heap average:
1740 M
heap stored:
225 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

HRB-Slicing

data:
CSV
timing:
0:13:57 elapsed time, 0:13:52 cpu time, factor 0.99
ML timing:
0:12:15 elapsed time, 0:12:56 cpu time, factor 1.06
stack maximum:
16 M
stack average:
15 M
heap maximum:
1885 M
heap average:
1589 M
heap stored:
71 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Psi_Calculi

data:
CSV
timing:
0:13:54 elapsed time, 0:13:49 cpu time, factor 0.99
ML timing:
0:13:52 elapsed time, 0:14:36 cpu time, factor 1.05
stack maximum:
16 M
stack average:
15 M
heap maximum:
1500 M
heap average:
1485 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Algebraic_Numbers

data:
CSV
timing:
0:13:46 elapsed time, 0:13:40 cpu time, factor 0.99
ML timing:
0:13:42 elapsed time, 0:14:52 cpu time, factor 1.09
code maximum:
69 M
code average:
25 M
stack maximum:
16 M
stack average:
13 M
heap maximum:
7269 M
heap average:
4419 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Auto2_Imperative_HOL

data:
CSV
timing:
0:13:32 elapsed time, 0:13:28 cpu time, factor 1.00
ML timing:
0:13:31 elapsed time, 0:13:44 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1494 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Slicing

data:
CSV
timing:
0:13:06 elapsed time, 0:13:02 cpu time, factor 0.99
ML timing:
0:12:16 elapsed time, 0:12:24 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1492 M
heap stored:
46 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Affine_Arithmetic

data:
CSV
timing:
0:12:57 elapsed time, 0:13:02 cpu time, factor 1.01
ML timing:
0:11:30 elapsed time, 0:12:18 cpu time, factor 1.07
code maximum:
4 M
code average:
1 M
stack maximum:
64 M
stack average:
30 M
heap maximum:
4396 M
heap average:
2385 M
heap stored:
135 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Security_Protocol_Refinement

data:
CSV
timing:
0:12:42 elapsed time, 0:12:35 cpu time, factor 0.99
ML timing:
0:12:41 elapsed time, 0:12:41 cpu time, factor 1.00
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1493 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Network_Security_Policy_Verification

data:
CSV
timing:
0:12:18 elapsed time, 0:13:32 cpu time, factor 1.10
ML timing:
0:12:17 elapsed time, 0:12:24 cpu time, factor 1.01
code maximum:
10 M
code average:
5 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1940 M
heap average:
1688 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Transition_Systems_and_Automata

data:
CSV
timing:
0:11:58 elapsed time, 0:12:09 cpu time, factor 1.02
ML timing:
0:10:36 elapsed time, 0:11:00 cpu time, factor 1.04
stack maximum:
8 M
stack average:
5 M
heap maximum:
1813 M
heap average:
1483 M
heap stored:
162 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Complx

data:
CSV
timing:
0:11:40 elapsed time, 0:11:39 cpu time, factor 1.00
ML timing:
0:11:39 elapsed time, 0:11:52 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1492 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

Jordan_Normal_Form

data:
CSV
timing:
0:11:34 elapsed time, 0:11:30 cpu time, factor 0.99
ML timing:
0:10:24 elapsed time, 0:11:07 cpu time, factor 1.07
code maximum:
6 M
stack maximum:
8 M
stack average:
5 M
heap maximum:
1565 M
heap average:
1488 M
heap stored:
89 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Echelon_Form

data:
CSV
timing:
0:11:07 elapsed time, 0:11:01 cpu time, factor 0.99
ML timing:
0:10:30 elapsed time, 0:11:37 cpu time, factor 1.11
code maximum:
19 M
code average:
14 M
stack maximum:
16 M
stack average:
12 M
heap maximum:
13647 M
heap average:
3793 M
heap stored:
59 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Collections

data:
CSV
timing:
0:10:42 elapsed time, 0:12:49 cpu time, factor 1.20
ML timing:
0:08:35 elapsed time, 0:07:21 cpu time, factor 0.86
stack maximum:
4 M
stack average:
4 M
heap maximum:
2710 M
heap average:
1882 M
heap stored:
238 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Probabilistic_Prime_Tests

data:
CSV
timing:
0:10:08 elapsed time, 0:10:05 cpu time, factor 1.00
ML timing:
0:10:05 elapsed time, 0:11:12 cpu time, factor 1.11
stack maximum:
4 M
stack average:
3 M
heap maximum:
5600 M
heap average:
2700 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Jinja

data:
CSV
timing:
0:10:06 elapsed time, 0:10:02 cpu time, factor 0.99
ML timing:
0:09:07 elapsed time, 0:09:32 cpu time, factor 1.05
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1531 M
heap average:
1492 M
heap stored:
60 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

MonoidalCategory

data:
CSV
timing:
0:09:58 elapsed time, 0:09:54 cpu time, factor 0.99
ML timing:
0:09:56 elapsed time, 0:10:43 cpu time, factor 1.08
stack maximum:
8 M
stack average:
8 M
heap maximum:
3546 M
heap average:
1909 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Perron_Frobenius

data:
CSV
timing:
0:09:47 elapsed time, 0:09:44 cpu time, factor 0.99
ML timing:
0:09:44 elapsed time, 0:10:33 cpu time, factor 1.08
code maximum:
1 M
stack maximum:
16 M
stack average:
13 M
heap maximum:
1770 M
heap average:
1557 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Core_DOM

data:
CSV
timing:
0:09:40 elapsed time, 0:09:37 cpu time, factor 0.99
ML timing:
0:09:38 elapsed time, 0:10:25 cpu time, factor 1.08
code maximum:
4 M
stack maximum:
32 M
stack average:
30 M
heap maximum:
3634 M
heap average:
1669 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

HOL-CSP

data:
CSV
timing:
0:09:39 elapsed time, 0:09:34 cpu time, factor 0.99
ML timing:
0:09:37 elapsed time, 0:09:56 cpu time, factor 1.03
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1489 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

IP_Addresses

data:
CSV
timing:
0:09:26 elapsed time, 0:09:29 cpu time, factor 1.01
ML timing:
0:08:32 elapsed time, 0:08:56 cpu time, factor 1.05
code maximum:
4 M
stack maximum:
32 M
stack average:
19 M
heap maximum:
2999 M
heap average:
2089 M
heap stored:
57 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

Native_Word

data:
CSV
timing:
0:09:21 elapsed time, 0:11:42 cpu time, factor 1.25
ML timing:
0:09:20 elapsed time, 0:06:19 cpu time, factor 0.68
code maximum:
8 M
code average:
4 M
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1489 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Key_Agreement_Strong_Adversaries

data:
CSV
timing:
0:09:13 elapsed time, 0:09:10 cpu time, factor 0.99
ML timing:
0:09:12 elapsed time, 0:09:15 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1493 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Linear_Recurrences_Solver

data:
CSV
timing:
0:09:02 elapsed time, 0:08:59 cpu time, factor 0.99
ML timing:
0:08:59 elapsed time, 0:09:46 cpu time, factor 1.09
code maximum:
64 M
code average:
17 M
stack maximum:
16 M
stack average:
12 M
heap maximum:
3514 M
heap average:
2423 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Formal_SSA

data:
CSV
timing:
0:08:58 elapsed time, 0:08:53 cpu time, factor 0.99
ML timing:
0:08:04 elapsed time, 0:08:09 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1490 M
heap stored:
79 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Transcendence_Series_Hancl_Rucki

data:
CSV
timing:
0:08:55 elapsed time, 0:08:52 cpu time, factor 0.99
ML timing:
0:08:53 elapsed time, 0:09:32 cpu time, factor 1.07
code maximum:
13 M
code average:
8 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1808 M
heap average:
1648 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Dirichlet_Series

data:
CSV
timing:
0:08:48 elapsed time, 0:08:45 cpu time, factor 0.99
ML timing:
0:07:34 elapsed time, 0:08:05 cpu time, factor 1.07
code maximum:
13 M
code average:
7 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1804 M
heap average:
1621 M
heap stored:
183 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Formula_Derivatives

data:
CSV
timing:
0:08:34 elapsed time, 0:08:28 cpu time, factor 0.99
ML timing:
0:07:29 elapsed time, 0:08:56 cpu time, factor 1.19
code maximum:
1 M
stack maximum:
16 M
stack average:
6 M
heap maximum:
9454 M
heap average:
4365 M
heap stored:
84 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Refine_Imperative_HOL

data:
CSV
timing:
0:08:32 elapsed time, 0:10:06 cpu time, factor 1.18
ML timing:
0:07:33 elapsed time, 0:06:29 cpu time, factor 0.86
code maximum:
2 M
code average:
1 M
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1476 M
heap stored:
98 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Stochastic_Matrices

data:
CSV
timing:
0:08:30 elapsed time, 0:08:28 cpu time, factor 1.00
ML timing:
0:08:28 elapsed time, 0:09:06 cpu time, factor 1.07
code maximum:
12 M
code average:
9 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1824 M
heap average:
1604 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Universal_Turing_Machine

data:
CSV
timing:
0:08:08 elapsed time, 0:08:06 cpu time, factor 1.00
ML timing:
0:08:07 elapsed time, 0:08:26 cpu time, factor 1.04
stack maximum:
16 M
stack average:
15 M
heap maximum:
1500 M
heap average:
1490 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Hybrid_Systems_VCs

data:
CSV
timing:
0:08:02 elapsed time, 0:07:56 cpu time, factor 0.99
ML timing:
0:08:01 elapsed time, 0:08:31 cpu time, factor 1.06
stack maximum:
4 M
stack average:
3 M
heap maximum:
1773 M
heap average:
1539 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Iptables_Semantics

data:
CSV
timing:
0:07:29 elapsed time, 0:07:46 cpu time, factor 1.04
ML timing:
0:06:25 elapsed time, 0:06:31 cpu time, factor 1.01
code maximum:
8 M
code average:
2 M
stack maximum:
4 M
stack average:
2 M
heap maximum:
3285 M
heap average:
2134 M
heap stored:
109 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

Deep_Learning

data:
CSV
timing:
0:07:06 elapsed time, 0:07:03 cpu time, factor 0.99
ML timing:
0:07:04 elapsed time, 0:07:39 cpu time, factor 1.08
code maximum:
11 M
code average:
7 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1857 M
heap average:
1558 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

SPARCv8

data:
CSV
timing:
0:06:59 elapsed time, 0:06:56 cpu time, factor 0.99
ML timing:
0:06:58 elapsed time, 0:07:26 cpu time, factor 1.07
stack maximum:
32 M
stack average:
28 M
heap maximum:
3893 M
heap average:
1702 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CAVA_LTL_Modelchecker

data:
CSV
timing:
0:06:59 elapsed time, 0:07:40 cpu time, factor 1.10
ML timing:
0:06:56 elapsed time, 0:06:39 cpu time, factor 0.96
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1477 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

SM_Base

data:
CSV
timing:
0:06:50 elapsed time, 0:06:58 cpu time, factor 1.02
ML timing:
0:05:49 elapsed time, 0:05:48 cpu time, factor 1.00
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1471 M
heap stored:
104 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lorenz_Approximation

data:
CSV
timing:
0:06:46 elapsed time, 0:06:45 cpu time, factor 1.00
ML timing:
0:06:43 elapsed time, 0:07:13 cpu time, factor 1.07
code maximum:
6 M
code average:
2 M
stack maximum:
128 M
stack average:
48 M
heap maximum:
3800 M
heap average:
2707 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

DFS_Framework

data:
CSV
timing:
0:06:37 elapsed time, 0:07:02 cpu time, factor 1.06
ML timing:
0:06:35 elapsed time, 0:06:10 cpu time, factor 0.94
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1466 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Group-Ring-Module

data:
CSV
timing:
0:06:28 elapsed time, 0:06:24 cpu time, factor 0.99
ML timing:
0:06:00 elapsed time, 0:06:28 cpu time, factor 1.08
stack maximum:
16 M
stack average:
16 M
heap maximum:
1555 M
heap average:
1493 M
heap stored:
29 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LLL_Basis_Reduction

data:
CSV
timing:
0:06:27 elapsed time, 0:06:24 cpu time, factor 0.99
ML timing:
0:05:22 elapsed time, 0:05:47 cpu time, factor 1.08
stack maximum:
4 M
stack average:
4 M
heap maximum:
1500 M
heap average:
1491 M
heap stored:
118 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

QR_Decomposition

data:
CSV
timing:
0:06:23 elapsed time, 0:06:20 cpu time, factor 0.99
ML timing:
0:06:22 elapsed time, 0:06:43 cpu time, factor 1.05
code maximum:
13 M
code average:
4 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1489 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Algebraic_VCs

data:
CSV
timing:
0:06:16 elapsed time, 0:06:14 cpu time, factor 0.99
ML timing:
0:06:15 elapsed time, 0:06:44 cpu time, factor 1.08
stack maximum:
2 M
stack average:
2 M
heap maximum:
1865 M
heap average:
1542 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Probabilistic_Timed_Automata

data:
CSV
timing:
0:06:14 elapsed time, 0:06:12 cpu time, factor 0.99
ML timing:
0:06:12 elapsed time, 0:06:27 cpu time, factor 1.04
stack maximum:
16 M
stack average:
9 M
heap maximum:
1499 M
heap average:
1488 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Containers-Benchmarks

data:
CSV
timing:
0:06:11 elapsed time, 0:07:18 cpu time, factor 1.18
ML timing:
0:06:09 elapsed time, 0:05:30 cpu time, factor 0.90
code maximum:
2 M
code average:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
2045 M
heap average:
1691 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Collections_Examples

data:
CSV
timing:
0:06:11 elapsed time, 0:08:01 cpu time, factor 1.30
ML timing:
0:06:09 elapsed time, 0:05:09 cpu time, factor 0.84
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1473 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Ordinary_Differential_Equations

data:
CSV
timing:
0:06:06 elapsed time, 0:06:04 cpu time, factor 0.99
ML timing:
0:05:15 elapsed time, 0:05:24 cpu time, factor 1.03
stack maximum:
32 M
stack average:
26 M
heap maximum:
1500 M
heap average:
1486 M
heap stored:
64 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Differential_Dynamic_Logic

data:
CSV
timing:
0:06:01 elapsed time, 0:05:59 cpu time, factor 0.99
ML timing:
0:05:59 elapsed time, 0:06:18 cpu time, factor 1.05
stack maximum:
8 M
stack average:
5 M
heap maximum:
1505 M
heap average:
1478 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Datatype_Order_Generator

data:
CSV
timing:
0:06:00 elapsed time, 0:06:10 cpu time, factor 1.03
ML timing:
0:04:44 elapsed time, 0:05:02 cpu time, factor 1.06
stack maximum:
8 M
stack average:
7 M
heap maximum:
2346 M
heap average:
1541 M
heap stored:
73 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LOFT

data:
CSV
timing:
0:05:54 elapsed time, 0:05:58 cpu time, factor 1.01
ML timing:
0:05:52 elapsed time, 0:06:11 cpu time, factor 1.05
code maximum:
37 M
code average:
14 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1485 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

Modal_Logics_for_NTS

data:
CSV
timing:
0:05:52 elapsed time, 0:05:50 cpu time, factor 0.99
ML timing:
0:05:51 elapsed time, 0:06:20 cpu time, factor 1.08
stack maximum:
4 M
stack average:
3 M
heap maximum:
1779 M
heap average:
1550 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Multi_Party_Computation

data:
CSV
timing:
0:05:42 elapsed time, 0:05:41 cpu time, factor 1.00
ML timing:
0:05:40 elapsed time, 0:05:53 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1489 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LTL_to_GBA

data:
CSV
timing:
0:05:38 elapsed time, 0:05:38 cpu time, factor 1.00
ML timing:
0:05:36 elapsed time, 0:05:41 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1855 M
heap average:
1755 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Monad_Memo_DP

data:
CSV
timing:
0:05:34 elapsed time, 0:05:31 cpu time, factor 0.99
ML timing:
0:04:51 elapsed time, 0:04:56 cpu time, factor 1.02
code maximum:
2 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1485 M
heap stored:
96 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Flow_Networks

data:
CSV
timing:
0:05:26 elapsed time, 0:05:46 cpu time, factor 1.06
ML timing:
0:04:41 elapsed time, 0:04:32 cpu time, factor 0.97
stack maximum:
8 M
stack average:
5 M
heap maximum:
1499 M
heap average:
1479 M
heap stored:
67 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Berlekamp_Zassenhaus

data:
CSV
timing:
0:05:08 elapsed time, 0:05:05 cpu time, factor 0.99
ML timing:
0:04:05 elapsed time, 0:04:16 cpu time, factor 1.04
stack maximum:
8 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1479 M
heap stored:
88 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

JNF-AFP-Lib

data:
CSV
timing:
0:04:47 elapsed time, 0:04:43 cpu time, factor 0.99
ML timing:
0:03:42 elapsed time, 0:03:48 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1500 M
heap average:
1488 M
heap stored:
107 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CryptHOL

data:
CSV
timing:
0:04:45 elapsed time, 0:04:44 cpu time, factor 1.00
ML timing:
0:03:51 elapsed time, 0:03:52 cpu time, factor 1.00
code maximum:
1 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1480 M
heap stored:
97 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Allen_Calculus

data:
CSV
timing:
0:04:41 elapsed time, 0:04:39 cpu time, factor 0.99
ML timing:
0:04:40 elapsed time, 0:04:41 cpu time, factor 1.00
stack maximum:
8 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1483 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Polynomials

data:
CSV
timing:
0:04:34 elapsed time, 0:04:32 cpu time, factor 0.99
ML timing:
0:04:32 elapsed time, 0:04:57 cpu time, factor 1.09
code maximum:
11 M
code average:
3 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1897 M
heap average:
1496 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Functional_Ordered_Resolution_Prover

data:
CSV
timing:
0:04:30 elapsed time, 0:04:42 cpu time, factor 1.04
ML timing:
0:04:28 elapsed time, 0:04:19 cpu time, factor 0.97
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1487 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Store_Buffer_Reduction

data:
CSV
timing:
0:04:26 elapsed time, 0:04:25 cpu time, factor 1.00
ML timing:
0:04:24 elapsed time, 0:04:33 cpu time, factor 1.03
stack maximum:
32 M
stack average:
32 M
heap maximum:
1499 M
heap average:
1482 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Coinductive

data:
CSV
timing:
0:04:20 elapsed time, 0:04:19 cpu time, factor 1.00
ML timing:
0:03:43 elapsed time, 0:03:42 cpu time, factor 0.99
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1480 M
heap stored:
60 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Gromov_Hyperbolicity

data:
CSV
timing:
0:04:18 elapsed time, 0:04:16 cpu time, factor 0.99
ML timing:
0:04:16 elapsed time, 0:04:25 cpu time, factor 1.04
stack maximum:
32 M
stack average:
23 M
heap maximum:
1499 M
heap average:
1482 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Planarity_Certificates

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:30 cpu time, factor 1.05
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1479 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Promela

data:
CSV
timing:
0:04:17 elapsed time, 0:04:21 cpu time, factor 1.02
ML timing:
0:04:15 elapsed time, 0:04:28 cpu time, factor 1.05
stack maximum:
4 M
stack average:
2 M
heap maximum:
2194 M
heap average:
1703 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Timed_Automata

data:
CSV
timing:
0:04:16 elapsed time, 0:04:15 cpu time, factor 1.00
ML timing:
0:04:15 elapsed time, 0:04:21 cpu time, factor 1.02
stack maximum:
16 M
stack average:
8 M
heap maximum:
1499 M
heap average:
1483 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Flyspeck-Tame

data:
CSV
timing:
0:04:15 elapsed time, 0:04:15 cpu time, factor 1.00
ML timing:
0:04:14 elapsed time, 0:04:31 cpu time, factor 1.07
stack maximum:
16 M
stack average:
12 M
heap maximum:
3507 M
heap average:
2551 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Constructive_Cryptography

data:
CSV
timing:
0:04:08 elapsed time, 0:04:07 cpu time, factor 1.00
ML timing:
0:04:06 elapsed time, 0:04:09 cpu time, factor 1.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1482 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CoreC++

data:
CSV
timing:
0:04:08 elapsed time, 0:04:08 cpu time, factor 1.00
ML timing:
0:04:07 elapsed time, 0:04:24 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:
1457 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Pre_BZ

data:
CSV
timing:
0:04:04 elapsed time, 0:04:15 cpu time, factor 1.05
ML timing:
0:03:14 elapsed time, 0:03:10 cpu time, factor 0.98
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1480 M
heap stored:
60 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

E_Transcendental

data:
CSV
timing:
0:04:04 elapsed time, 0:04:02 cpu time, factor 0.99
ML timing:
0:03:24 elapsed time, 0:03:36 cpu time, factor 1.06
stack maximum:
8 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1483 M
heap stored:
92 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

InfPathElimination

data:
CSV
timing:
0:04:03 elapsed time, 0:04:02 cpu time, factor 1.00
ML timing:
0:04:02 elapsed time, 0:04:03 cpu time, factor 1.00
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1484 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Containers

data:
CSV
timing:
0:04:03 elapsed time, 0:04:46 cpu time, factor 1.18
ML timing:
0:03:21 elapsed time, 0:02:58 cpu time, factor 0.89
code maximum:
3 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1478 M
heap stored:
75 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Featherweight_OCL

data:
CSV
timing:
0:04:02 elapsed time, 0:04:00 cpu time, factor 0.99
ML timing:
0:04:01 elapsed time, 0:04:15 cpu time, factor 1.06
code maximum:
18 M
code average:
9 M
stack maximum:
128 M
stack average:
52 M
heap maximum:
1499 M
heap average:
1469 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Hoare_Time

data:
CSV
timing:
0:04:02 elapsed time, 0:04:01 cpu time, factor 1.00
ML timing:
0:04:01 elapsed time, 0:04:19 cpu time, factor 1.07
stack maximum:
128 M
stack average:
98 M
heap maximum:
3455 M
heap average:
1937 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Count_Complex_Roots

data:
CSV
timing:
0:03:59 elapsed time, 0:03:59 cpu time, factor 1.00
ML timing:
0:03:24 elapsed time, 0:03:31 cpu time, factor 1.03
code maximum:
13 M
code average:
8 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1482 M
heap stored:
31 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Paraconsistency

data:
CSV
timing:
0:03:55 elapsed time, 0:03:55 cpu time, factor 1.00
ML timing:
0:03:54 elapsed time, 0:03:56 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1486 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Dependent_SIFUM_Refinement

data:
CSV
timing:
0:03:52 elapsed time, 0:03:51 cpu time, factor 1.00
ML timing:
0:03:51 elapsed time, 0:03:58 cpu time, factor 1.03
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1479 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

KBPs

data:
CSV
timing:
0:03:51 elapsed time, 0:03:46 cpu time, factor 0.98
ML timing:
0:03:50 elapsed time, 0:03:51 cpu time, factor 1.00
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1477 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

WebAssembly

data:
CSV
timing:
0:03:49 elapsed time, 0:04:00 cpu time, factor 1.05
ML timing:
0:03:47 elapsed time, 0:03:42 cpu time, factor 0.98
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1477 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Markov_Models

data:
CSV
timing:
0:03:46 elapsed time, 0:03:45 cpu time, factor 1.00
ML timing:
0:02:57 elapsed time, 0:02:59 cpu time, factor 1.01
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1476 M
heap stored:
72 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LTL_to_DRA

data:
CSV
timing:
0:03:40 elapsed time, 0:03:39 cpu time, factor 1.00
ML timing:
0:03:39 elapsed time, 0:03:54 cpu time, factor 1.07
stack maximum:
128 M
stack average:
49 M
heap maximum:
1525 M
heap average:
1471 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Prpu_Maxflow

data:
CSV
timing:
0:03:40 elapsed time, 0:03:57 cpu time, factor 1.08
ML timing:
0:03:38 elapsed time, 0:03:15 cpu time, factor 0.90
stack maximum:
8 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1476 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Stable_Matching

data:
CSV
timing:
0:03:38 elapsed time, 0:03:38 cpu time, factor 1.00
ML timing:
0:03:37 elapsed time, 0:03:40 cpu time, factor 1.02
stack maximum:
8 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1483 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

KAD

data:
CSV
timing:
0:03:37 elapsed time, 0:03:34 cpu time, factor 0.99
ML timing:
0:03:36 elapsed time, 0:03:43 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1474 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Dependent_SIFUM_Type_Systems

data:
CSV
timing:
0:03:37 elapsed time, 0:03:37 cpu time, factor 1.00
ML timing:
0:02:59 elapsed time, 0:03:07 cpu time, factor 1.04
stack maximum:
8 M
stack average:
7 M
heap maximum:
1500 M
heap average:
1474 M
heap stored:
49 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

SM

data:
CSV
timing:
0:03:36 elapsed time, 0:03:55 cpu time, factor 1.09
ML timing:
0:03:34 elapsed time, 0:03:22 cpu time, factor 0.94
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1474 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Multirelations

data:
CSV
timing:
0:03:31 elapsed time, 0:05:49 cpu time, factor 1.65
ML timing:
0:03:29 elapsed time, 0:02:25 cpu time, factor 0.69
code maximum:
18 M
code average:
3 M
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1450 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

IMP2

data:
CSV
timing:
0:03:30 elapsed time, 0:03:29 cpu time, factor 1.00
ML timing:
0:03:03 elapsed time, 0:03:05 cpu time, factor 1.02
code maximum:
1 M
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1479 M
heap stored:
40 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Gabow_SCC

data:
CSV
timing:
0:03:30 elapsed time, 0:03:38 cpu time, factor 1.04
ML timing:
0:03:28 elapsed time, 0:03:21 cpu time, factor 0.97
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1476 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Simpl

data:
CSV
timing:
0:03:29 elapsed time, 0:03:28 cpu time, factor 1.00
ML timing:
0:02:55 elapsed time, 0:03:03 cpu time, factor 1.04
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1487 M
heap stored:
67 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Linear_Recurrences

data:
CSV
timing:
0:03:21 elapsed time, 0:03:20 cpu time, factor 1.00
ML timing:
0:03:19 elapsed time, 0:03:28 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:
1478 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Taylor_Models

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:23 cpu time, factor 1.04
code maximum:
2 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1478 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

No_FTL_observers

data:
CSV
timing:
0:03:17 elapsed time, 0:03:16 cpu time, factor 0.99
ML timing:
0:03:16 elapsed time, 0:03:20 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1482 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Binding_Syntax_Theory

data:
CSV
timing:
0:03:16 elapsed time, 0:03:15 cpu time, factor 0.99
ML timing:
0:03:15 elapsed time, 0:03:20 cpu time, factor 1.03
stack maximum:
8 M
stack average:
5 M
heap maximum:
1499 M
heap average:
1480 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Safe_OCL

data:
CSV
timing:
0:03:14 elapsed time, 0:03:13 cpu time, factor 0.99
ML timing:
0:03:12 elapsed time, 0:03:23 cpu time, factor 1.05
code maximum:
2 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1479 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LTL_Master_Theorem

data:
CSV
timing:
0:03:12 elapsed time, 0:03:11 cpu time, factor 0.99
ML timing:
0:03:10 elapsed time, 0:03:18 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1476 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Stone_Kleene_Relation_Algebras

data:
CSV
timing:
0:03:10 elapsed time, 0:03:09 cpu time, factor 0.99
ML timing:
0:02:45 elapsed time, 0:02:52 cpu time, factor 1.04
stack maximum:
8 M
stack average:
6 M
heap maximum:
1498 M
heap average:
1481 M
heap stored:
35 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Isabelle_Meta_Model

data:
CSV
timing:
0:03:05 elapsed time, 0:03:05 cpu time, factor 1.00
ML timing:
0:03:04 elapsed time, 0:03:29 cpu time, factor 1.14
code maximum:
1 M
stack maximum:
4 M
stack average:
4 M
heap maximum:
3536 M
heap average:
1796 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Prime_Harmonic_Series

data:
CSV
timing:
0:03:04 elapsed time, 0:03:03 cpu time, factor 0.99
ML timing:
0:03:02 elapsed time, 0:03:12 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1480 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Simplex

data:
CSV
timing:
0:03:03 elapsed time, 0:03:02 cpu time, factor 0.99
ML timing:
0:02:30 elapsed time, 0:02:34 cpu time, factor 1.02
stack maximum:
32 M
stack average:
20 M
heap maximum:
1499 M
heap average:
1471 M
heap stored:
42 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

List_Update

data:
CSV
timing:
0:03:00 elapsed time, 0:03:02 cpu time, factor 1.01
ML timing:
0:02:58 elapsed time, 0:03:04 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1857 M
heap average:
1709 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Propositional_Proof_Systems

data:
CSV
timing:
0:02:47 elapsed time, 0:02:46 cpu time, factor 0.99
ML timing:
0:02:46 elapsed time, 0:02:52 cpu time, factor 1.04
code maximum:
1 M
stack maximum:
64 M
stack average:
20 M
heap maximum:
1499 M
heap average:
1475 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Gauss_Jordan

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:48 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:
1475 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Separation_Logic_Imperative_HOL

data:
CSV
timing:
0:02:45 elapsed time, 0:03:38 cpu time, factor 1.32
ML timing:
0:02:43 elapsed time, 0:02:02 cpu time, factor 0.75
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1472 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Green

data:
CSV
timing:
0:02:44 elapsed time, 0:02:42 cpu time, factor 0.99
ML timing:
0:02:42 elapsed time, 0:02:37 cpu time, factor 0.97
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1482 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Density_Compiler

data:
CSV
timing:
0:02:44 elapsed time, 0:02:43 cpu time, factor 0.99
ML timing:
0:02:42 elapsed time, 0:02:45 cpu time, factor 1.02
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1476 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Probabilistic_Noninterference

data:
CSV
timing:
0:02:43 elapsed time, 0:02:43 cpu time, factor 1.00
ML timing:
0:02:41 elapsed time, 0:02:42 cpu time, factor 1.00
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1476 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Fourier

data:
CSV
timing:
0:02:40 elapsed time, 0:02:39 cpu time, factor 0.99
ML timing:
0:02:38 elapsed time, 0:02:44 cpu time, factor 1.04
code maximum:
2 M
code average:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1472 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

MFOTL_Monitor

data:
CSV
timing:
0:02:39 elapsed time, 0:02:38 cpu time, factor 0.99
ML timing:
0:02:37 elapsed time, 0:02:41 cpu time, factor 1.02
code maximum:
2 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1472 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Proof_Strategy_Language

data:
CSV
timing:
0:02:39 elapsed time, 0:02:48 cpu time, factor 1.06
ML timing:
0:02:38 elapsed time, 0:01:17 cpu time, factor 0.49
code maximum:
1 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1478 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Hermite

data:
CSV
timing:
0:02:38 elapsed time, 0:02:37 cpu time, factor 0.99
ML timing:
0:02:36 elapsed time, 0:02:46 cpu time, factor 1.07
code maximum:
44 M
code average:
15 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1468 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Buildings

data:
CSV
timing:
0:02:37 elapsed time, 0:02:37 cpu time, factor 1.00
ML timing:
0:02:35 elapsed time, 0:02:38 cpu time, factor 1.02
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1479 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Amortized_Complexity

data:
CSV
timing:
0:02:37 elapsed time, 0:02:37 cpu time, factor 1.00
ML timing:
0:01:51 elapsed time, 0:01:55 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1459 M
heap stored:
71 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Sepref_IICF

data:
CSV
timing:
0:02:36 elapsed time, 0:02:43 cpu time, factor 1.04
ML timing:
0:02:00 elapsed time, 0:01:54 cpu time, factor 0.96
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1465 M
heap stored:
34 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Ergodic_Theory

data:
CSV
timing:
0:02:36 elapsed time, 0:02:35 cpu time, factor 0.99
ML timing:
0:02:34 elapsed time, 0:02:37 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1477 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Launchbury

data:
CSV
timing:
0:02:35 elapsed time, 0:02:34 cpu time, factor 0.99
ML timing:
0:02:03 elapsed time, 0:02:07 cpu time, factor 1.03
code maximum:
2 M
code average:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1465 M
heap stored:
62 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Pi_Transcendental

data:
CSV
timing:
0:02:35 elapsed time, 0:02:34 cpu time, factor 0.99
ML timing:
0:02:33 elapsed time, 0:02:41 cpu time, factor 1.05
code maximum:
14 M
code average:
8 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1474 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Zeta_Function

data:
CSV
timing:
0:02:34 elapsed time, 0:02:34 cpu time, factor 1.00
ML timing:
0:01:59 elapsed time, 0:02:03 cpu time, factor 1.03
stack maximum:
8 M
stack average:
6 M
heap maximum:
1498 M
heap average:
1466 M
heap stored:
20 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Quantales

data:
CSV
timing:
0:02:33 elapsed time, 0:02:33 cpu time, factor 1.00
ML timing:
0:02:02 elapsed time, 0:02:06 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1463 M
heap stored:
75 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Parity_Game

data:
CSV
timing:
0:02:32 elapsed time, 0:02:31 cpu time, factor 0.99
ML timing:
0:02:31 elapsed time, 0:02:34 cpu time, factor 1.02
stack maximum:
8 M
stack average:
6 M
heap maximum:
1498 M
heap average:
1470 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Rep_Fin_Groups

data:
CSV
timing:
0:02:29 elapsed time, 0:02:29 cpu time, factor 1.00
ML timing:
0:02:28 elapsed time, 0:02:31 cpu time, factor 1.02
stack maximum:
16 M
stack average:
16 M
heap maximum:
1499 M
heap average:
1479 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Free-Groups

data:
CSV
timing:
0:02:28 elapsed time, 0:02:27 cpu time, factor 0.99
ML timing:
0:02:27 elapsed time, 0:02:34 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1475 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Winding_Number_Eval

data:
CSV
timing:
0:02:24 elapsed time, 0:02:24 cpu time, factor 1.00
ML timing:
0:02:22 elapsed time, 0:02:27 cpu time, factor 1.03
code maximum:
11 M
code average:
7 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1476 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Subresultants

data:
CSV
timing:
0:02:23 elapsed time, 0:02:23 cpu time, factor 1.00
ML timing:
0:01:35 elapsed time, 0:01:38 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1458 M
heap stored:
22 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

UPF_Firewall

data:
CSV
timing:
0:02:23 elapsed time, 0:02:23 cpu time, factor 1.00
ML timing:
0:02:22 elapsed time, 0:02:28 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1485 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Akra_Bazzi

data:
CSV
timing:
0:02:22 elapsed time, 0:02:21 cpu time, factor 0.99
ML timing:
0:02:20 elapsed time, 0:02:25 cpu time, factor 1.04
code maximum:
1 M
stack maximum:
32 M
stack average:
17 M
heap maximum:
1499 M
heap average:
1473 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

DiscretePricing

data:
CSV
timing:
0:02:22 elapsed time, 0:02:21 cpu time, factor 0.99
ML timing:
0:02:20 elapsed time, 0:02:26 cpu time, factor 1.04
stack maximum:
8 M
stack average:
6 M
heap maximum:
1498 M
heap average:
1474 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Password_Authentication_Protocol

data:
CSV
timing:
0:02:20 elapsed time, 0:02:19 cpu time, factor 0.99
ML timing:
0:02:19 elapsed time, 0:02:21 cpu time, factor 1.02
stack maximum:
8 M
stack average:
7 M
heap maximum:
1498 M
heap average:
1472 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Groebner_Macaulay

data:
CSV
timing:
0:02:20 elapsed time, 0:02:20 cpu time, factor 1.00
ML timing:
0:02:17 elapsed time, 0:02:40 cpu time, factor 1.17
stack maximum:
8 M
stack average:
7 M
heap maximum:
2355 M
heap average:
1572 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Vickrey_Clarke_Groves

data:
CSV
timing:
0:02:19 elapsed time, 0:02:19 cpu time, factor 1.00
ML timing:
0:02:18 elapsed time, 0:02:21 cpu time, factor 1.02
code maximum:
2 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1480 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Dirichlet_L

data:
CSV
timing:
0:02:19 elapsed time, 0:02:18 cpu time, factor 0.99
ML timing:
0:02:17 elapsed time, 0:02:22 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1471 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

SATSolverVerification

data:
CSV
timing:
0:02:14 elapsed time, 0:02:14 cpu time, factor 1.00
ML timing:
0:02:13 elapsed time, 0:02:17 cpu time, factor 1.03
stack maximum:
16 M
stack average:
14 M
heap maximum:
1498 M
heap average:
1471 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

QHLProver

data:
CSV
timing:
0:02:13 elapsed time, 0:02:13 cpu time, factor 1.00
ML timing:
0:02:11 elapsed time, 0:02:14 cpu time, factor 1.03
stack maximum:
8 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1477 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Girth_Chromatic

data:
CSV
timing:
0:02:10 elapsed time, 0:02:10 cpu time, factor 1.00
ML timing:
0:01:32 elapsed time, 0:01:36 cpu time, factor 1.04
stack maximum:
32 M
stack average:
11 M
heap maximum:
1497 M
heap average:
1463 M
heap stored:
39 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

MFMC_Countable

data:
CSV
timing:
0:02:09 elapsed time, 0:02:08 cpu time, factor 0.99
ML timing:
0:02:07 elapsed time, 0:02:11 cpu time, factor 1.03
stack maximum:
16 M
stack average:
10 M
heap maximum:
1498 M
heap average:
1472 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Farkas

data:
CSV
timing:
0:02:08 elapsed time, 0:02:08 cpu time, factor 1.00
ML timing:
0:02:06 elapsed time, 0:02:11 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1472 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Prime_Distribution_Elementary

data:
CSV
timing:
0:02:07 elapsed time, 0:02:05 cpu time, factor 0.98
ML timing:
0:01:35 elapsed time, 0:01:36 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1461 M
heap stored:
14 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Resolution_FOL

data:
CSV
timing:
0:02:07 elapsed time, 0:02:08 cpu time, factor 1.01
ML timing:
0:02:06 elapsed time, 0:02:06 cpu time, factor 1.00
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1486 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

AWN

data:
CSV
timing:
0:02:07 elapsed time, 0:02:06 cpu time, factor 0.99
ML timing:
0:02:06 elapsed time, 0:02:10 cpu time, factor 1.04
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1467 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Symmetric_Polynomials

data:
CSV
timing:
0:02:07 elapsed time, 0:02:10 cpu time, factor 1.02
ML timing:
0:02:05 elapsed time, 0:02:09 cpu time, factor 1.03
code maximum:
12 M
code average:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1467 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lambda_Free_KBOs

data:
CSV
timing:
0:02:06 elapsed time, 0:02:08 cpu time, factor 1.02
ML timing:
0:02:04 elapsed time, 0:02:06 cpu time, factor 1.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1484 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Nested_Multisets_Ordinals

data:
CSV
timing:
0:02:04 elapsed time, 0:02:03 cpu time, factor 0.99
ML timing:
0:01:36 elapsed time, 0:01:40 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1496 M
heap average:
1458 M
heap stored:
55 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Aggregation_Algebras

data:
CSV
timing:
0:02:03 elapsed time, 0:02:03 cpu time, factor 1.00
ML timing:
0:02:02 elapsed time, 0:02:07 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1471 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Root_Balanced_Tree

data:
CSV
timing:
0:02:03 elapsed time, 0:02:02 cpu time, factor 0.99
ML timing:
0:02:01 elapsed time, 0:02:06 cpu time, factor 1.04
stack maximum:
32 M
stack average:
17 M
heap maximum:
1499 M
heap average:
1463 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

BytecodeLogicJmlTypes

data:
CSV
timing:
0:02:01 elapsed time, 0:02:00 cpu time, factor 0.99
ML timing:
0:02:00 elapsed time, 0:02:03 cpu time, factor 1.03
stack maximum:
16 M
stack average:
13 M
heap maximum:
1499 M
heap average:
1470 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Sepref_Prereq

data:
CSV
timing:
0:02:01 elapsed time, 0:02:40 cpu time, factor 1.32
ML timing:
0:01:29 elapsed time, 0:00:58 cpu time, factor 0.65
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1457 M
heap stored:
30 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CAVA_Automata

data:
CSV
timing:
0:02:00 elapsed time, 0:02:01 cpu time, factor 1.01
ML timing:
0:01:33 elapsed time, 0:01:34 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1458 M
heap stored:
21 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

ComponentDependencies

data:
CSV
timing:
0:01:59 elapsed time, 0:01:59 cpu time, factor 1.00
ML timing:
0:01:58 elapsed time, 0:02:02 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1464 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Abs_Int_ITP2012

data:
CSV
timing:
0:01:57 elapsed time, 0:01:56 cpu time, factor 0.99
ML timing:
0:01:55 elapsed time, 0:01:59 cpu time, factor 1.03
code maximum:
5 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1465 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LTL

data:
CSV
timing:
0:01:57 elapsed time, 0:01:52 cpu time, factor 0.96
ML timing:
0:01:22 elapsed time, 0:01:23 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1453 M
heap stored:
40 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Regex_Equivalence

data:
CSV
timing:
0:01:55 elapsed time, 0:01:57 cpu time, factor 1.02
ML timing:
0:01:54 elapsed time, 0:02:00 cpu time, factor 1.06
code maximum:
1 M
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1433 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Deriving

data:
CSV
timing:
0:01:55 elapsed time, 0:02:07 cpu time, factor 1.10
ML timing:
0:01:22 elapsed time, 0:01:13 cpu time, factor 0.89
code maximum:
1 M
stack maximum:
8 M
stack average:
5 M
heap maximum:
1497 M
heap average:
1446 M
heap stored:
49 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Regular_Algebras

data:
CSV
timing:
0:01:53 elapsed time, 0:01:49 cpu time, factor 0.96
ML timing:
0:01:52 elapsed time, 0:01:46 cpu time, factor 0.94
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1480 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Adaptive_State_Counting

data:
CSV
timing:
0:01:53 elapsed time, 0:01:52 cpu time, factor 0.99
ML timing:
0:01:51 elapsed time, 0:01:53 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1466 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LambdaAuth

data:
CSV
timing:
0:01:53 elapsed time, 0:02:06 cpu time, factor 1.12
ML timing:
0:01:52 elapsed time, 0:01:44 cpu time, factor 0.93
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1465 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Refine_Monadic

data:
CSV
timing:
0:01:52 elapsed time, 0:01:51 cpu time, factor 0.99
ML timing:
0:01:29 elapsed time, 0:01:32 cpu time, factor 1.03
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1455 M
heap stored:
41 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Stone_Relation_Algebras

data:
CSV
timing:
0:01:52 elapsed time, 0:01:52 cpu time, factor 1.00
ML timing:
0:01:31 elapsed time, 0:01:34 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1479 M
heap stored:
44 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LocalLexing

data:
CSV
timing:
0:01:52 elapsed time, 0:01:51 cpu time, factor 0.99
ML timing:
0:01:51 elapsed time, 0:01:54 cpu time, factor 1.03
stack maximum:
8 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1468 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Call_Arity

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:55 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1461 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Twelvefold_Way

data:
CSV
timing:
0:01:52 elapsed time, 0:01:52 cpu time, factor 1.00
ML timing:
0:01:51 elapsed time, 0:01:53 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1471 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Pi_Calculus

data:
CSV
timing:
0:01:50 elapsed time, 0:01:49 cpu time, factor 0.99
ML timing:
0:01:48 elapsed time, 0:01:51 cpu time, factor 1.02
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1465 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Higher_Order_Terms

data:
CSV
timing:
0:01:48 elapsed time, 0:02:10 cpu time, factor 1.20
ML timing:
0:01:47 elapsed time, 0:01:34 cpu time, factor 0.88
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1461 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Polynomial_Factorization

data:
CSV
timing:
0:01:48 elapsed time, 0:01:48 cpu time, factor 1.00
ML timing:
0:01:46 elapsed time, 0:01:49 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1473 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Knot_Theory

data:
CSV
timing:
0:01:48 elapsed time, 0:01:48 cpu time, factor 1.00
ML timing:
0:01:47 elapsed time, 0:01:51 cpu time, factor 1.04
stack maximum:
32 M
stack average:
21 M
heap maximum:
1499 M
heap average:
1469 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

PseudoHoops

data:
CSV
timing:
0:01:47 elapsed time, 0:01:46 cpu time, factor 0.99
ML timing:
0:01:46 elapsed time, 0:01:49 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1469 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Signature_Groebner

data:
CSV
timing:
0:01:47 elapsed time, 0:01:47 cpu time, factor 1.00
ML timing:
0:01:44 elapsed time, 0:01:53 cpu time, factor 1.08
code maximum:
1 M
stack maximum:
16 M
stack average:
15 M
heap maximum:
1499 M
heap average:
1460 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

BDD

data:
CSV
timing:
0:01:47 elapsed time, 0:01:47 cpu time, factor 1.00
ML timing:
0:01:46 elapsed time, 0:01:48 cpu time, factor 1.02
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1483 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Hybrid_Multi_Lane_Spatial_Logic

data:
CSV
timing:
0:01:47 elapsed time, 0:01:47 cpu time, factor 1.00
ML timing:
0:01:46 elapsed time, 0:01:48 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1479 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Factored_Transition_System_Bounding

data:
CSV
timing:
0:01:45 elapsed time, 0:01:58 cpu time, factor 1.12
ML timing:
0:01:44 elapsed time, 0:01:37 cpu time, factor 0.93
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1469 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LLL_Factorization

data:
CSV
timing:
0:01:45 elapsed time, 0:01:45 cpu time, factor 1.00
ML timing:
0:01:42 elapsed time, 0:01:45 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1474 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Dijkstra_Shortest_Path

data:
CSV
timing:
0:01:45 elapsed time, 0:02:36 cpu time, factor 1.49
ML timing:
0:01:43 elapsed time, 0:01:17 cpu time, factor 0.74
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1458 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Partial_Order_Reduction

data:
CSV
timing:
0:01:45 elapsed time, 0:01:44 cpu time, factor 0.99
ML timing:
0:01:43 elapsed time, 0:01:43 cpu time, factor 1.00
stack maximum:
8 M
stack average:
7 M
heap maximum:
1497 M
heap average:
1466 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Abortable_Linearizable_Modules

data:
CSV
timing:
0:01:45 elapsed time, 0:01:45 cpu time, factor 1.00
ML timing:
0:01:44 elapsed time, 0:01:49 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1477 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Game_Based_Crypto

data:
CSV
timing:
0:01:44 elapsed time, 0:01:43 cpu time, factor 0.99
ML timing:
0:01:11 elapsed time, 0:01:13 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1436 M
heap stored:
27 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Prim_Dijkstra_Simple

data:
CSV
timing:
0:01:43 elapsed time, 0:02:05 cpu time, factor 1.21
ML timing:
0:01:42 elapsed time, 0:01:25 cpu time, factor 0.83
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1472 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Encodability_Process_Calculi

data:
CSV
timing:
0:01:41 elapsed time, 0:01:40 cpu time, factor 0.99
ML timing:
0:01:40 elapsed time, 0:01:45 cpu time, factor 1.05
stack maximum:
8 M
stack average:
7 M
heap maximum:
1498 M
heap average:
1458 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LinearQuantifierElim

data:
CSV
timing:
0:01:39 elapsed time, 0:01:39 cpu time, factor 1.00
ML timing:
0:01:38 elapsed time, 0:01:50 cpu time, factor 1.13
stack maximum:
64 M
stack average:
50 M
heap maximum:
3258 M
heap average:
2064 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Linear_Inequalities

data:
CSV
timing:
0:01:37 elapsed time, 0:01:37 cpu time, factor 1.00
ML timing:
0:01:34 elapsed time, 0:01:37 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1462 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Ordered_Resolution_Prover

data:
CSV
timing:
0:01:37 elapsed time, 0:01:37 cpu time, factor 1.00
ML timing:
0:01:36 elapsed time, 0:01:34 cpu time, factor 0.99
stack maximum:
8 M
stack average:
7 M
heap maximum:
1499 M
heap average:
1463 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

VerifyThis2018

data:
CSV
timing:
0:01:37 elapsed time, 0:01:46 cpu time, factor 1.09
ML timing:
0:01:35 elapsed time, 0:01:30 cpu time, factor 0.95
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1460 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Elliptic_Curves_Group_Law

data:
CSV
timing:
0:01:36 elapsed time, 0:01:35 cpu time, factor 0.99
ML timing:
0:01:34 elapsed time, 0:01:38 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1465 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Bertrands_Postulate

data:
CSV
timing:
0:01:32 elapsed time, 0:01:31 cpu time, factor 0.99
ML timing:
0:01:30 elapsed time, 0:01:32 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1469 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Order_Lattice_Props

data:
CSV
timing:
0:01:32 elapsed time, 0:01:31 cpu time, factor 0.99
ML timing:
0:01:11 elapsed time, 0:01:11 cpu time, factor 1.00
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1460 M
heap stored:
39 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

EdmondsKarp_Maxflow

data:
CSV
timing:
0:01:31 elapsed time, 0:01:41 cpu time, factor 1.11
ML timing:
0:01:29 elapsed time, 0:01:19 cpu time, factor 0.89
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1456 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Graph_Theory

data:
CSV
timing:
0:01:31 elapsed time, 0:01:31 cpu time, factor 1.00
ML timing:
0:01:07 elapsed time, 0:01:10 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1447 M
heap stored:
30 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Statecharts

data:
CSV
timing:
0:01:31 elapsed time, 0:01:30 cpu time, factor 0.99
ML timing:
0:01:30 elapsed time, 0:01:31 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1464 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Sort_Encodings

data:
CSV
timing:
0:01:31 elapsed time, 0:01:31 cpu time, factor 1.00
ML timing:
0:01:30 elapsed time, 0:01:35 cpu time, factor 1.06
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1467 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Irrationality_J_Hancl

data:
CSV
timing:
0:01:31 elapsed time, 0:01:31 cpu time, factor 1.00
ML timing:
0:01:30 elapsed time, 0:01:33 cpu time, factor 1.04
stack maximum:
32 M
stack average:
11 M
heap maximum:
1498 M
heap average:
1460 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Stone_Algebras

data:
CSV
timing:
0:01:31 elapsed time, 0:01:30 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:
4 M
heap maximum:
1497 M
heap average:
1479 M
heap stored:
40 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Generic_Deriving

data:
CSV
timing:
0:01:30 elapsed time, 0:01:29 cpu time, factor 0.99
ML timing:
0:01:29 elapsed time, 0:01:33 cpu time, factor 1.05
code maximum:
1 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1449 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Real_Impl

data:
CSV
timing:
0:01:30 elapsed time, 0:01:29 cpu time, factor 0.99
ML timing:
0:01:29 elapsed time, 0:01:32 cpu time, factor 1.03
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1467 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Differential_Game_Logic

data:
CSV
timing:
0:01:30 elapsed time, 0:01:30 cpu time, factor 1.00
ML timing:
0:01:29 elapsed time, 0:01:32 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1466 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Regular-Sets

data:
CSV
timing:
0:01:27 elapsed time, 0:01:29 cpu time, factor 1.02
ML timing:
0:01:01 elapsed time, 0:01:01 cpu time, factor 1.00
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1381 M
heap stored:
21 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Kleene_Algebra

data:
CSV
timing:
0:01:27 elapsed time, 0:01:26 cpu time, factor 0.99
ML timing:
0:01:04 elapsed time, 0:01:06 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1424 M
heap stored:
54 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

AutoFocus-Stream

data:
CSV
timing:
0:01:25 elapsed time, 0:01:25 cpu time, factor 1.00
ML timing:
0:01:24 elapsed time, 0:01:25 cpu time, factor 1.02
stack maximum:
8 M
stack average:
7 M
heap maximum:
1498 M
heap average:
1456 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Koenigsberg_Friendship

data:
CSV
timing:
0:01:25 elapsed time, 0:01:24 cpu time, factor 0.99
ML timing:
0:01:23 elapsed time, 0:01:26 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1463 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Treaps

data:
CSV
timing:
0:01:24 elapsed time, 0:01:23 cpu time, factor 0.99
ML timing:
0:01:22 elapsed time, 0:01:24 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1454 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Hidden_Markov_Models

data:
CSV
timing:
0:01:24 elapsed time, 0:01:22 cpu time, factor 0.98
ML timing:
0:01:22 elapsed time, 0:01:26 cpu time, factor 1.05
code maximum:
1 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1449 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Probabilistic_While

data:
CSV
timing:
0:01:23 elapsed time, 0:01:23 cpu time, factor 1.00
ML timing:
0:01:01 elapsed time, 0:01:02 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1449 M
heap stored:
19 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

UTP

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:24 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1445 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LEM

data:
CSV
timing:
0:01:22 elapsed time, 0:01:22 cpu time, factor 1.00
ML timing:
0:00:55 elapsed time, 0:00:58 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1494 M
heap average:
1433 M
heap stored:
44 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

SIFUM_Type_Systems

data:
CSV
timing:
0:01:22 elapsed time, 0:01:22 cpu time, factor 1.00
ML timing:
0:01:21 elapsed time, 0:01:24 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1455 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

UTP-Toolkit

data:
CSV
timing:
0:01:20 elapsed time, 0:01:19 cpu time, factor 0.99
ML timing:
0:00:50 elapsed time, 0:00:52 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1450 M
heap stored:
22 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Sturm_Sequences

data:
CSV
timing:
0:01:19 elapsed time, 0:01:19 cpu time, factor 1.00
ML timing:
0:01:04 elapsed time, 0:01:05 cpu time, factor 1.02
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1460 M
heap stored:
5 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

KAT_and_DRA

data:
CSV
timing:
0:01:19 elapsed time, 0:01:18 cpu time, factor 0.99
ML timing:
0:01:02 elapsed time, 0:00:59 cpu time, factor 0.95
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1463 M
heap stored:
21 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Simple_Firewall

data:
CSV
timing:
0:01:18 elapsed time, 0:01:21 cpu time, factor 1.04
ML timing:
0:00:55 elapsed time, 0:00:55 cpu time, factor 1.00
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
1494 M
heap average:
1439 M
heap stored:
26 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

Circus

data:
CSV
timing:
0:01:18 elapsed time, 0:01:18 cpu time, factor 1.00
ML timing:
0:01:17 elapsed time, 0:01:20 cpu time, factor 1.04
stack maximum:
32 M
stack average:
21 M
heap maximum:
1499 M
heap average:
1455 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Smooth_Manifolds

data:
CSV
timing:
0:01:17 elapsed time, 0:01:16 cpu time, factor 0.99
ML timing:
0:01:15 elapsed time, 0:01:17 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1456 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

SequentInvertibility

data:
CSV
timing:
0:01:15 elapsed time, 0:01:15 cpu time, factor 1.00
ML timing:
0:01:14 elapsed time, 0:01:17 cpu time, factor 1.04
stack maximum:
64 M
stack average:
26 M
heap maximum:
1499 M
heap average:
1447 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Applicative_Lifting

data:
CSV
timing:
0:01:14 elapsed time, 0:01:14 cpu time, factor 1.00
ML timing:
0:00:43 elapsed time, 0:00:45 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1422 M
heap stored:
36 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Buchi_Complementation

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:05 cpu time, factor 0.91
stack maximum:
2 M
stack average:
2 M
heap maximum:
1500 M
heap average:
1453 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Matrix

data:
CSV
timing:
0:01:14 elapsed time, 0:01:14 cpu time, factor 1.00
ML timing:
0:00:50 elapsed time, 0:00:52 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1450 M
heap stored:
31 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Abstract-Rewriting

data:
CSV
timing:
0:01:12 elapsed time, 0:01:14 cpu time, factor 1.03
ML timing:
0:00:49 elapsed time, 0:00:48 cpu time, factor 0.99
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1468 M
heap stored:
22 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Kruskal

data:
CSV
timing:
0:01:12 elapsed time, 0:01:22 cpu time, factor 1.14
ML timing:
0:01:10 elapsed time, 0:01:05 cpu time, factor 0.93
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1452 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

UpDown_Scheme

data:
CSV
timing:
0:01:12 elapsed time, 0:01:11 cpu time, factor 0.99
ML timing:
0:01:10 elapsed time, 0:01:12 cpu time, factor 1.03
stack maximum:
8 M
stack average:
7 M
heap maximum:
1496 M
heap average:
1459 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Splay_Tree

data:
CSV
timing:
0:01:11 elapsed time, 0:01:11 cpu time, factor 1.00
ML timing:
0:01:10 elapsed time, 0:01:10 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1453 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Probabilistic_System_Zoo

data:
CSV
timing:
0:01:10 elapsed time, 0:01:10 cpu time, factor 1.00
ML timing:
0:01:08 elapsed time, 0:01:11 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1457 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Valuation

data:
CSV
timing:
0:01:10 elapsed time, 0:01:10 cpu time, factor 1.00
ML timing:
0:01:09 elapsed time, 0:01:11 cpu time, factor 1.04
stack maximum:
8 M
stack average:
8 M
heap maximum:
1499 M
heap average:
1455 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Nominal2

data:
CSV
timing:
0:01:10 elapsed time, 0:01:10 cpu time, factor 1.00
ML timing:
0:00:53 elapsed time, 0:00:55 cpu time, factor 1.05
code maximum:
3 M
stack maximum:
4 M
stack average:
4 M
heap maximum:
1495 M
heap average:
1438 M
heap stored:
37 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Incredible_Proof_Machine

data:
CSV
timing:
0:01:10 elapsed time, 0:01:10 cpu time, factor 1.00
ML timing:
0:01:09 elapsed time, 0:01:12 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1443 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Automatic_Refinement

data:
CSV
timing:
0:01:10 elapsed time, 0:01:10 cpu time, factor 1.00
ML timing:
0:00:53 elapsed time, 0:00:55 cpu time, factor 1.04
code maximum:
1 M
stack maximum:
8 M
stack average:
6 M
heap maximum:
1495 M
heap average:
1445 M
heap stored:
29 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Concurrent_Revisions

data:
CSV
timing:
0:01:09 elapsed time, 0:01:09 cpu time, factor 1.00
ML timing:
0:01:08 elapsed time, 0:01:11 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1447 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Stirling_Formula

data:
CSV
timing:
0:01:08 elapsed time, 0:01:08 cpu time, factor 1.00
ML timing:
0:00:43 elapsed time, 0:00:45 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1495 M
heap average:
1424 M
heap stored:
22 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Jacobson_Basic_Algebra

data:
CSV
timing:
0:01:07 elapsed time, 0:01:07 cpu time, factor 1.00
ML timing:
0:01:06 elapsed time, 0:01:08 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1454 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

HOLCF-Prelude

data:
CSV
timing:
0:01:07 elapsed time, 0:01:07 cpu time, factor 1.00
ML timing:
0:01:06 elapsed time, 0:01:09 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1450 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Tarskis_Geometry

data:
CSV
timing:
0:01:04 elapsed time, 0:01:04 cpu time, factor 1.00
ML timing:
0:01:03 elapsed time, 0:01:05 cpu time, factor 1.04
stack maximum:
8 M
stack average:
4 M
heap maximum:
1496 M
heap average:
1447 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

UPF

data:
CSV
timing:
0:01:04 elapsed time, 0:01:03 cpu time, factor 0.98
ML timing:
0:00:44 elapsed time, 0:00:45 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1437 M
heap stored:
19 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Prime_Number_Theorem

data:
CSV
timing:
0:01:03 elapsed time, 0:01:02 cpu time, factor 0.98
ML timing:
0:01:01 elapsed time, 0:01:02 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1442 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

SIFPL

data:
CSV
timing:
0:01:03 elapsed time, 0:01:03 cpu time, factor 1.00
ML timing:
0:01:02 elapsed time, 0:01:04 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1448 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

PCF

data:
CSV
timing:
0:01:02 elapsed time, 0:01:02 cpu time, factor 1.00
ML timing:
0:01:01 elapsed time, 0:01:03 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1443 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Consensus_Refined

data:
CSV
timing:
0:01:01 elapsed time, 0:01:01 cpu time, factor 1.00
ML timing:
0:01:00 elapsed time, 0:01:02 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1452 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Tree-Automata

data:
CSV
timing:
0:01:01 elapsed time, 0:01:01 cpu time, factor 1.00
ML timing:
0:00:59 elapsed time, 0:01:01 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1434 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

SuperCalc

data:
CSV
timing:
0:01:00 elapsed time, 0:00:59 cpu time, factor 0.98
ML timing:
0:00:58 elapsed time, 0:01:01 cpu time, factor 1.04
stack maximum:
16 M
stack average:
12 M
heap maximum:
1499 M
heap average:
1435 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Matrix_Tensor

data:
CSV
timing:
0:00:59 elapsed time, 0:00:58 cpu time, factor 0.98
ML timing:
0:00:42 elapsed time, 0:00:44 cpu time, factor 1.05
stack maximum:
64 M
stack average:
44 M
heap maximum:
1498 M
heap average:
1449 M
heap stored:
5 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Sepref_Basic

data:
CSV
timing:
0:00:59 elapsed time, 0:00:58 cpu time, factor 0.98
ML timing:
0:00:32 elapsed time, 0:00:33 cpu time, factor 1.03
code maximum:
1 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1402 M
heap stored:
14 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Nat-Interval-Logic

data:
CSV
timing:
0:00:58 elapsed time, 0:00:58 cpu time, factor 1.00
ML timing:
0:00:42 elapsed time, 0:00:43 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1432 M
heap stored:
9 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Quick_Sort_Cost

data:
CSV
timing:
0:00:58 elapsed time, 0:00:58 cpu time, factor 1.00
ML timing:
0:00:34 elapsed time, 0:00:35 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1492 M
heap average:
1409 M
heap stored:
18 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LightweightJava

data:
CSV
timing:
0:00:58 elapsed time, 0:00:58 cpu time, factor 1.00
ML timing:
0:00:57 elapsed time, 0:00:58 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1433 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

SDS_Impossibility

data:
CSV
timing:
0:00:58 elapsed time, 0:00:57 cpu time, factor 0.98
ML timing:
0:00:56 elapsed time, 0:00:57 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1429 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

GewirthPGCProof

data:
CSV
timing:
0:00:57 elapsed time, 0:01:47 cpu time, factor 1.88
ML timing:
0:00:56 elapsed time, 0:00:20 cpu time, factor 0.35
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1449 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Relation_Algebra

data:
CSV
timing:
0:00:56 elapsed time, 0:00:55 cpu time, factor 0.98
ML timing:
0:00:37 elapsed time, 0:00:39 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1452 M
heap stored:
16 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

WHATandWHERE_Security

data:
CSV
timing:
0:00:56 elapsed time, 0:00:56 cpu time, factor 1.00
ML timing:
0:00:55 elapsed time, 0:00:57 cpu time, factor 1.02
stack maximum:
8 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1441 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

pGCL

data:
CSV
timing:
0:00:56 elapsed time, 0:00:56 cpu time, factor 1.00
ML timing:
0:00:55 elapsed time, 0:00:56 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1446 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

VectorSpace

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:56 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1442 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

DiskPaxos

data:
CSV
timing:
0:00:56 elapsed time, 0:00:56 cpu time, factor 1.00
ML timing:
0:00:55 elapsed time, 0:00:56 cpu time, factor 1.01
stack maximum:
4 M
stack average:
3 M
heap maximum:
1500 M
heap average:
1447 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Modular_Assembly_Kit_Security

data:
CSV
timing:
0:00:54 elapsed time, 0:00:53 cpu time, factor 0.98
ML timing:
0:00:53 elapsed time, 0:00:54 cpu time, factor 1.03
stack maximum:
16 M
stack average:
9 M
heap maximum:
1496 M
heap average:
1445 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Decl_Sem_Fun_PL

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:55 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1440 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Locally-Nameless-Sigma

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:54 cpu time, factor 1.02
stack maximum:
16 M
stack average:
5 M
heap maximum:
1497 M
heap average:
1441 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Formula_Derivatives-Examples

data:
CSV
timing:
0:00:54 elapsed time, 0:00:53 cpu time, factor 0.98
ML timing:
0:00:53 elapsed time, 0:01:01 cpu time, factor 1.15
stack maximum:
16 M
stack average:
5 M
heap maximum:
2014 M
heap average:
1356 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

AxiomaticCategoryTheory

data:
CSV
timing:
0:00:54 elapsed time, 0:01:20 cpu time, factor 1.48
ML timing:
0:00:53 elapsed time, 0:00:28 cpu time, factor 0.52
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1399 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Randomised_Social_Choice

data:
CSV
timing:
0:00:53 elapsed time, 0:00:53 cpu time, factor 1.00
ML timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1407 M
heap stored:
18 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Projective_Geometry

data:
CSV
timing:
0:00:52 elapsed time, 0:00:51 cpu time, factor 0.98
ML timing:
0:00:51 elapsed time, 0:00:47 cpu time, factor 0.92
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1453 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Possibilistic_Noninterference

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:52 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1442 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Special_Function_Bounds

data:
CSV
timing:
0:00:51 elapsed time, 0:00:50 cpu time, factor 0.98
ML timing:
0:00:49 elapsed time, 0:00:50 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1447 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CRDT

data:
CSV
timing:
0:00:51 elapsed time, 0:00:50 cpu time, factor 0.98
ML timing:
0:00:35 elapsed time, 0:00:37 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1417 M
heap stored:
18 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Myhill-Nerode

data:
CSV
timing:
0:00:51 elapsed time, 0:00:53 cpu time, factor 1.04
ML timing:
0:00:49 elapsed time, 0:00:48 cpu time, factor 0.97
stack maximum:
4 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1430 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Graph_Saturation

data:
CSV
timing:
0:00:50 elapsed time, 0:00:49 cpu time, factor 0.98
ML timing:
0:00:48 elapsed time, 0:00:49 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1425 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lp

data:
CSV
timing:
0:00:50 elapsed time, 0:00:50 cpu time, factor 1.00
ML timing:
0:00:48 elapsed time, 0:00:49 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1444 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

FOL-Fitting

data:
CSV
timing:
0:00:49 elapsed time, 0:00:49 cpu time, factor 1.00
ML timing:
0:00:30 elapsed time, 0:00:32 cpu time, factor 1.07
stack maximum:
8 M
stack average:
8 M
heap maximum:
1916 M
heap average:
1387 M
heap stored:
13 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Heard_Of

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:50 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1453 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

PLM

data:
CSV
timing:
0:00:48 elapsed time, 0:00:55 cpu time, factor 1.15
ML timing:
0:00:47 elapsed time, 0:00:42 cpu time, factor 0.90
stack maximum:
8 M
stack average:
6 M
heap maximum:
1496 M
heap average:
1433 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

IEEE_Floating_Point

data:
CSV
timing:
0:00:48 elapsed time, 0:00:48 cpu time, factor 1.00
ML timing:
0:00:47 elapsed time, 0:00:48 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1420 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

Lambda_Free_EPO

data:
CSV
timing:
0:00:48 elapsed time, 0:00:48 cpu time, factor 1.00
ML timing:
0:00:47 elapsed time, 0:00:49 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1426 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

ROBDD

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:46 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1416 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Auto2_HOL

data:
CSV
timing:
0:00:47 elapsed time, 0:00:47 cpu time, factor 1.00
ML timing:
0:00:35 elapsed time, 0:00:36 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:
1439 M
heap stored:
18 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Dict_Construction

data:
CSV
timing:
0:00:47 elapsed time, 0:00:47 cpu time, factor 1.00
ML timing:
0:00:46 elapsed time, 0:00:50 cpu time, factor 1.07
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1433 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Localization_Ring

data:
CSV
timing:
0:00:47 elapsed time, 0:00:45 cpu time, factor 0.96
ML timing:
0:00:45 elapsed time, 0:00:42 cpu time, factor 0.95
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1433 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Stern_Brocot

data:
CSV
timing:
0:00:46 elapsed time, 0:00:45 cpu time, factor 0.98
ML timing:
0:00:44 elapsed time, 0:00:47 cpu time, factor 1.07
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1493 M
heap average:
1408 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

List-Infinite

data:
CSV
timing:
0:00:46 elapsed time, 0:00:46 cpu time, factor 1.00
ML timing:
0:00:28 elapsed time, 0:00:30 cpu time, factor 1.04
stack maximum:
4 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1390 M
heap stored:
13 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Fishburn_Impossibility

data:
CSV
timing:
0:00:46 elapsed time, 0:00:45 cpu time, factor 0.98
ML timing:
0:00:44 elapsed time, 0:00:46 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1499 M
heap average:
1425 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

TESL_Language

data:
CSV
timing:
0:00:45 elapsed time, 0:00:45 cpu time, factor 1.00
ML timing:
0:00:44 elapsed time, 0:00:45 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1443 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Generic_Join

data:
CSV
timing:
0:00:45 elapsed time, 0:00:45 cpu time, factor 1.00
ML timing:
0:00:44 elapsed time, 0:00:45 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1431 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Shivers-CFA

data:
CSV
timing:
0:00:45 elapsed time, 0:00:44 cpu time, factor 0.98
ML timing:
0:00:44 elapsed time, 0:00:45 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1414 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Architectural_Design_Patterns

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:45 cpu time, factor 1.06
stack maximum:
32 M
stack average:
15 M
heap maximum:
1498 M
heap average:
1409 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Kuratowski_Closure_Complement

data:
CSV
timing:
0:00:44 elapsed time, 0:00:43 cpu time, factor 0.98
ML timing:
0:00:42 elapsed time, 0:00:43 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1423 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Euler_MacLaurin

data:
CSV
timing:
0:00:43 elapsed time, 0:00:43 cpu time, factor 1.00
ML timing:
0:00:42 elapsed time, 0:00:44 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1494 M
heap average:
1421 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Presburger-Automata

data:
CSV
timing:
0:00:43 elapsed time, 0:00:43 cpu time, factor 1.00
ML timing:
0:00:41 elapsed time, 0:00:43 cpu time, factor 1.03
stack maximum:
8 M
stack average:
7 M
heap maximum:
1498 M
heap average:
1421 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Diophantine_Eqns_Lin_Hom

data:
CSV
timing:
0:00:42 elapsed time, 0:00:42 cpu time, factor 1.00
ML timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 0.98
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1453 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Residuated_Lattices

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.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1452 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Well_Quasi_Orders

data:
CSV
timing:
0:00:41 elapsed time, 0:00:43 cpu time, factor 1.05
ML timing:
0:00:39 elapsed time, 0:00:38 cpu time, factor 0.98
stack maximum:
4 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1420 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Priority_Search_Trees

data:
CSV
timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.00
ML timing:
0:00:22 elapsed time, 0:00:24 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1350 M
heap stored:
14 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Program-Conflict-Analysis

data:
CSV
timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.00
ML timing:
0:00:39 elapsed time, 0:00:40 cpu time, factor 1.04
stack maximum:
4 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1419 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Monomorphic_Monad

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:40 cpu time, factor 1.04
stack maximum:
8 M
stack average:
7 M
heap maximum:
1487 M
heap average:
1403 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

DynamicArchitectures

data:
CSV
timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.00
ML timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1495 M
heap average:
1360 M
heap stored:
6 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Rewriting_Z

data:
CSV
timing:
0:00:40 elapsed time, 0:00:43 cpu time, factor 1.08
ML timing:
0:00:39 elapsed time, 0:00:38 cpu time, factor 0.97
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1471 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Noninterference_Sequential_Composition

data:
CSV
timing:
0:00:39 elapsed time, 0:00:39 cpu time, factor 1.00
ML timing:
0:00:26 elapsed time, 0:00:27 cpu time, factor 1.05
stack maximum:
8 M
stack average:
5 M
heap maximum:
1490 M
heap average:
1400 M
heap stored:
7 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Types_Tableaus_and_Goedels_God

data:
CSV
timing:
0:00:38 elapsed time, 0:00:59 cpu time, factor 1.55
ML timing:
0:00:37 elapsed time, 0:00:15 cpu time, factor 0.42
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1270 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Bell_Numbers_Spivey

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1374 M
heap stored:
3 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Polynomial_Interpolation

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
0:00:36 elapsed time, 0:00:38 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1422 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Octonions

data:
CSV
timing:
0:00:36 elapsed time, 0:00:36 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:
2 M
heap maximum:
1498 M
heap average:
1428 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

FocusStreamsCaseStudies

data:
CSV
timing:
0:00:36 elapsed time, 0:00:35 cpu time, factor 0.97
ML timing:
0:00:35 elapsed time, 0:00:36 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1411 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CAVA_Base

data:
CSV
timing:
0:00:36 elapsed time, 0:00:36 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:
1258 M
heap stored:
11 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Knuth_Morris_Pratt

data:
CSV
timing:
0:00:36 elapsed time, 0:00:35 cpu time, factor 0.97
ML timing:
0:00:33 elapsed time, 0:00:34 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1425 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

PSemigroupsConvolution

data:
CSV
timing:
0:00:36 elapsed time, 0:00:36 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:
2 M
heap maximum:
1495 M
heap average:
1432 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Budan_Fourier

data:
CSV
timing:
0:00:36 elapsed time, 0:00:36 cpu time, factor 1.00
ML timing:
0:00:34 elapsed time, 0:00:35 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1418 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Routing

data:
CSV
timing:
0:00:35 elapsed time, 0:00:35 cpu time, factor 1.00
ML timing:
0:00:20 elapsed time, 0:00:21 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1359 M
heap stored:
9 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

NormByEval

data:
CSV
timing:
0:00:35 elapsed time, 0:00:35 cpu time, factor 1.00
ML timing:
0:00:34 elapsed time, 0:00:35 cpu time, factor 1.03
stack maximum:
16 M
stack average:
12 M
heap maximum:
1497 M
heap average:
1418 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

InformationFlowSlicing_Inter

data:
CSV
timing:
0:00:35 elapsed time, 0:00:34 cpu time, factor 0.97
ML timing:
0:00:33 elapsed time, 0:00:35 cpu time, factor 1.06
stack maximum:
4 M
stack average:
4 M
heap maximum:
1495 M
heap average:
1410 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Floyd_Warshall

data:
CSV
timing:
0:00:34 elapsed time, 0:00:36 cpu time, factor 1.06
ML timing:
0:00:32 elapsed time, 0:00:30 cpu time, factor 0.93
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1432 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

HereditarilyFinite

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
0:00:17 elapsed time, 0:00:18 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1386 M
heap stored:
7 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

RSAPSS

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
0:00:31 elapsed time, 0:00:32 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1496 M
heap average:
1410 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lowe_Ontological_Argument

data:
CSV
timing:
0:00:33 elapsed time, 0:01:00 cpu time, factor 1.82
ML timing:
0:00:32 elapsed time, 0:00:09 cpu time, factor 0.31
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1252 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Median_Of_Medians_Selection

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1492 M
heap average:
1380 M
heap stored:
13 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Show

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:
8 M
stack average:
6 M
heap maximum:
1492 M
heap average:
1418 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

OpSets

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:33 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1428 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Pell

data:
CSV
timing:
0:00:32 elapsed time, 0:00:32 cpu time, factor 1.00
ML timing:
0:00:30 elapsed time, 0:00:31 cpu time, factor 1.01
stack maximum:
8 M
stack average:
3 M
heap maximum:
1499 M
heap average:
1390 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

BNF_CC

data:
CSV
timing:
0:00:32 elapsed time, 0:00:31 cpu time, factor 0.97
ML timing:
0:00:31 elapsed time, 0:00:31 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1384 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Coinductive_Languages

data:
CSV
timing:
0:00:32 elapsed time, 0:00:35 cpu time, factor 1.09
ML timing:
0:00:31 elapsed time, 0:00:30 cpu time, factor 0.95
code maximum:
4 M
code average:
1 M
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1408 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

POPLmark-deBruijn

data:
CSV
timing:
0:00:32 elapsed time, 0:00:32 cpu time, factor 1.00
ML timing:
0:00:31 elapsed time, 0:00:32 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1493 M
heap average:
1394 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

IMAP-CRDT

data:
CSV
timing:
0:00:31 elapsed time, 0:00:30 cpu time, factor 0.97
ML timing:
0:00:29 elapsed time, 0:00:30 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1388 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

ConcurrentIMP

data:
CSV
timing:
0:00:31 elapsed time, 0:00:30 cpu time, factor 0.97
ML timing:
0:00:29 elapsed time, 0:00:31 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1374 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Random_BSTs

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1480 M
heap average:
1077 M
heap stored:
9 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Decreasing-Diagrams

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.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1497 M
heap average:
1380 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Minsky_Machines

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
0:00:28 elapsed time, 0:00:29 cpu time, factor 1.04
stack maximum:
4 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1385 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

FOL_Harrison

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.02
stack maximum:
8 M
stack average:
8 M
heap maximum:
1499 M
heap average:
1410 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

SenSocialChoice

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.01
stack maximum:
8 M
stack average:
6 M
heap maximum:
1499 M
heap average:
1412 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CISC-Kernel

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:30 cpu time, factor 1.03
stack maximum:
4 M
stack average:
3 M
heap maximum:
1494 M
heap average:
1397 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

FLP

data:
CSV
timing:
0:00:30 elapsed time, 0:00:29 cpu time, factor 0.97
ML timing:
0:00:29 elapsed time, 0:00:30 cpu time, factor 1.02
stack maximum:
4 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1397 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

FunWithTilings

data:
CSV
timing:
0:00:30 elapsed time, 0:00:29 cpu time, factor 0.97
ML timing:
0:00:29 elapsed time, 0:00:29 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1437 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Decreasing-Diagrams-II

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:30 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1498 M
heap average:
1389 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

GraphMarkingIBP

data:
CSV
timing:
0:00:29 elapsed time, 0:00:29 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:
2 M
heap maximum:
1498 M
heap average:
1397 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Name_Carrying_Type_Inference

data:
CSV
timing:
0:00:29 elapsed time, 0:00:29 cpu time, factor 1.00
ML timing:
0:00:28 elapsed time, 0:00:29 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1493 M
heap average:
1412 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CCS

data:
CSV
timing:
0:00:29 elapsed time, 0:00:29 cpu time, factor 1.00
ML timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1378 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Sqrt_Babylonian

data:
CSV
timing:
0:00:29 elapsed time, 0:00:28 cpu time, factor 0.97
ML timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1413 M
heap stored:
5 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Weight_Balanced_Trees

data:
CSV
timing:
0:00:28 elapsed time, 0:00:27 cpu time, factor 0.96
ML timing:
0:00:27 elapsed time, 0:00:28 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
1371 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Optimal_BST

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
0:00:27 elapsed time, 0:00:28 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1390 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Finite_Automata_HF

data:
CSV
timing:
0:00:28 elapsed time, 0:00:31 cpu time, factor 1.11
ML timing:
0:00:27 elapsed time, 0:00:26 cpu time, factor 0.94
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1418 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Error_Function

data:
CSV
timing:
0:00:27 elapsed time, 0:00:26 cpu time, factor 0.96
ML timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1495 M
heap average:
1389 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Binomial-Heaps

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.06
stack maximum:
4 M
stack average:
3 M
heap maximum:
1487 M
heap average:
1368 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

AVL-Trees

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.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1389 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Jordan_Hoelder

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.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1380 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lambda_Free_RPOs

data:
CSV
timing:
0:00:27 elapsed time, 0:00:26 cpu time, factor 0.96
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:
1491 M
heap average:
1373 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Derangements

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:
4 M
heap maximum:
1496 M
heap average:
1389 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Catalan_Numbers

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.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1490 M
heap average:
1392 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Priority_Queue_Braun

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.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1375 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

List_Inversions

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.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1492 M
heap average:
1379 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Separation_Algebra

data:
CSV
timing:
0:00:26 elapsed time, 0:00:25 cpu time, factor 0.96
ML timing:
0:00:25 elapsed time, 0:00:25 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1365 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Neumann_Morgenstern_Utility

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:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1400 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

BNF_Operations

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:28 cpu time, factor 1.12
code maximum:
1 M
stack maximum:
8 M
stack average:
7 M
heap maximum:
1702 M
heap average:
1279 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Fermat3_4

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.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1396 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Category2

data:
CSV
timing:
0:00:25 elapsed time, 0:00:25 cpu time, factor 1.00
ML timing:
0:00:24 elapsed time, 0:00:25 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1489 M
heap average:
1365 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

XML

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:25 cpu time, factor 1.06
stack maximum:
2 M
stack average:
2 M
heap maximum:
1483 M
heap average:
1357 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Cayley_Hamilton

data:
CSV
timing:
0:00:25 elapsed time, 0:00:25 cpu time, factor 1.00
ML timing:
0:00:24 elapsed time, 0:00:25 cpu time, factor 1.05
stack maximum:
8 M
stack average:
7 M
heap maximum:
1491 M
heap average:
1377 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Stream_Fusion_Code

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.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1490 M
heap average:
1352 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Abstract_Completeness

data:
CSV
timing:
0:00:25 elapsed time, 0:00:25 cpu time, factor 1.00
ML timing:
0:00:10 elapsed time, 0:00:11 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1223 M
heap stored:
9 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

TLA

data:
CSV
timing:
0:00:25 elapsed time, 0:00:25 cpu time, factor 1.00
ML timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1389 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Optics

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1366 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

IMP2_Binary_Heap

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
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:
1498 M
heap average:
1377 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Completeness

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:23 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1491 M
heap average:
1364 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Pratt_Certificate

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:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1388 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Sturm_Tarski

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:
4 M
stack average:
3 M
heap maximum:
1497 M
heap average:
1374 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Functional-Automata

data:
CSV
timing:
0:00:22 elapsed time, 0:00:25 cpu time, factor 1.14
ML timing:
0:00:21 elapsed time, 0:00:19 cpu time, factor 0.91
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1313 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Inductive_Confidentiality

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:22 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1367 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Posix-Lexing

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:21 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1366 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Laplace_Transform

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
0:00:19 elapsed time, 0:00:20 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1362 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Quaternions

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
0:00:19 elapsed time, 0:00:20 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
1380 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Transformer_Semantics

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
0:00:19 elapsed time, 0:00:20 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1386 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Euler_Partition

data:
CSV
timing:
0:00:21 elapsed time, 0:00:20 cpu time, factor 0.95
ML timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.04
stack maximum:
4 M
stack average:
4 M
heap maximum:
1495 M
heap average:
1356 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Stellar_Quorums

data:
CSV
timing:
0:00:21 elapsed time, 0:00:22 cpu time, factor 1.05
ML timing:
0:00:17 elapsed time, 0:00:16 cpu time, factor 0.95
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1338 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

HyperCTL

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:21 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1360 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

PropResPI

data:
CSV
timing:
0:00:21 elapsed time, 0:00:20 cpu time, factor 0.95
ML timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1379 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Strong_Security

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:21 cpu time, factor 1.03
stack maximum:
32 M
stack average:
12 M
heap maximum:
1498 M
heap average:
1331 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Ribbon_Proofs

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:21 cpu time, factor 1.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1333 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Trie

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
0:00:18 elapsed time, 0:00:19 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1315 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Randomised_BSTs

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.01
stack maximum:
4 M
stack average:
4 M
heap maximum:
1496 M
heap average:
1334 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Noninterference_Ipurge_Unwinding

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:10 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1489 M
heap average:
1212 M
heap stored:
3 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Separata

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
0:00:18 elapsed time, 0:00:19 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1378 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Boolean_Expression_Checkers

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:20 cpu time, factor 1.06
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1327 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Recursion-Theory-I

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:20 cpu time, factor 1.04
stack maximum:
4 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1369 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Finger-Trees

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:20 cpu time, factor 1.07
stack maximum:
4 M
stack average:
4 M
heap maximum:
1485 M
heap average:
1307 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Transitive-Closure-II

data:
CSV
timing:
0:00:19 elapsed time, 0:00:22 cpu time, factor 1.16
ML timing:
0:00:18 elapsed time, 0:00:16 cpu time, factor 0.90
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1257 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Abstract_Soundness

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.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1200 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

First_Welfare_Theorem

data:
CSV
timing:
0:00:18 elapsed time, 0:00:17 cpu time, factor 0.94
ML timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1325 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Abstract-Hoare-Logics

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
1323 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Noninterference_Concurrent_Composition

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.02
stack maximum:
8 M
stack average:
8 M
heap maximum:
1496 M
heap average:
1326 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Noninterference_CSP

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1492 M
heap average:
1219 M
heap stored:
5 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

WorkerWrapper

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
0:00:16 elapsed time, 0:00:17 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1484 M
heap average:
1279 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

JiveDataStoreModel

data:
CSV
timing:
0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94
ML timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1484 M
heap average:
1314 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Bernoulli

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1321 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Nullstellensatz

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:
2 M
stack average:
2 M
heap maximum:
1489 M
heap average:
1260 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

FeatherweightJava

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0:00:15 elapsed time, 0:00:16 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1313 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Card_Partitions

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1346 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

First_Order_Terms

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0:00:14 elapsed time, 0:00:15 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1486 M
heap average:
1281 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Tycon

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1480 M
heap average:
1222 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Card_Multisets

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:15 cpu time, factor 1.05
stack maximum:
4 M
stack average:
4 M
heap maximum:
1493 M
heap average:
1304 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Huffman

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:15 cpu time, factor 1.03
stack maximum:
4 M
stack average:
4 M
heap maximum:
1496 M
heap average:
1316 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Landau_Symbols

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:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
1263 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Noninterference_Generic_Unwinding

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.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1320 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

InformationFlowSlicing

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0:00:13 elapsed time, 0:00:14 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1491 M
heap average:
1306 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Menger

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:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1341 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Random_Graph_Subgraph_Threshold

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0:00:13 elapsed time, 0:00:14 cpu time, factor 1.03
stack maximum:
4 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1333 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CryptoBasedCompositionalProperties

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:
2 M
stack average:
2 M
heap maximum:
1498 M
heap average:
1297 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Robbins-Conjecture

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:15 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1340 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Efficient-Mergesort

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.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1258 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Selection_Heap_Sort

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:
1492 M
heap average:
1302 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

RefinementReactive

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.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1327 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lower_Semicontinuous

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.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1498 M
heap average:
1289 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Noninterference_Inductive_Unwinding

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.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1490 M
heap average:
1305 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Topology

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.06
stack maximum:
2 M
stack average:
2 M
heap maximum:
1483 M
heap average:
1221 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lam-ml-Normalization

data:
CSV
timing:
0:00:13 elapsed time, 0:00:12 cpu time, factor 0.92
ML timing:
0:00:11 elapsed time, 0:00:12 cpu time, factor 1.02
stack maximum:
4 M
stack average:
4 M
heap maximum:
1492 M
heap average:
1221 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

MiniML

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1260 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Comparison_Sort_Lower_Bound

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.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1490 M
heap average:
1264 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

SumSquares

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.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1276 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Concurrent_Ref_Alg

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1296 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

IMO2019

data:
CSV
timing:
0:00:13 elapsed time, 0:00:12 cpu time, factor 0.92
ML timing:
0:00:10 elapsed time, 0:00:11 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1272 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Minimal_SSA

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:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1347 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Complete_Non_Orders

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:13 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1216 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Orbit_Stabiliser

data:
CSV
timing:
0:00:13 elapsed time, 0:00:12 cpu time, factor 0.92
ML timing:
0:00:10 elapsed time, 0:00:11 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1295 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Cauchy

data:
CSV
timing:
0:00:13 elapsed time, 0:00:12 cpu time, factor 0.92
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1264 M
heap average:
814 M
heap stored:
2 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Latin_Square

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1292 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Impossible_Geometry

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.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1266 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Pop_Refinement

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:12 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1261 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

FileRefinement

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.00
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1212 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Dynamic_Tables

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.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1258 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Ordinal

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
912 M
heap stored:
4 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

MonoBoolTranAlgebra

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.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1489 M
heap average:
1222 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

FOL_Seq_Calc1

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.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1292 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Integration

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.02
stack maximum:
4 M
stack average:
3 M
heap maximum:
1492 M
heap average:
1224 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Old_Datatype_Show

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.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1489 M
heap average:
1165 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

VolpanoSmith

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:10 elapsed time, 0:00:11 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1229 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Constructor_Funs

data:
CSV
timing:
0:00:11 elapsed time, 0:00:18 cpu time, factor 1.64
ML timing:
0:00:10 elapsed time, 0:00:04 cpu time, factor 0.45
stack maximum:
2 M
stack average:
2 M
heap maximum:
1433 M
heap average:
1169 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Rank_Nullity_Theorem

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1490 M
heap average:
1217 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Verified-Prover

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:10 elapsed time, 0:00:11 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1258 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LambdaMu

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 0.99
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1189 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Tree_Decomposition

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.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1279 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

GPU_Kernel_PL

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.05
stack maximum:
2 M
stack average:
2 M
heap maximum:
1476 M
heap average:
1189 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Buffons_Needle

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
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1157 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Stream-Fusion

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:10 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1477 M
heap average:
1045 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Epistemic_Logic

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.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1483 M
heap average:
1145 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

HotelKeyCards

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.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1220 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Category

data:
CSV
timing:
0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89
ML timing:
0:00:07 elapsed time, 0:00:08 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1210 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Case_Labeling

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1485 M
heap average:
1203 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Secondary_Sylow

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1138 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Imperative_Insertion_Sort

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1167 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

ArrowImpossibilityGS

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:09 cpu time, factor 1.05
stack maximum:
4 M
stack average:
3 M
heap maximum:
1495 M
heap average:
1234 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Binomial-Queues

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:09 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1487 M
heap average:
1184 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Matroids

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1157 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

FinFun

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:09 cpu time, factor 1.04
stack maximum:
4 M
stack average:
3 M
heap maximum:
1492 M
heap average:
1139 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Certification_Monads

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1481 M
heap average:
1153 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Falling_Factorial_Sum

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
0:00:07 elapsed time, 0:00:08 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1122 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Source_Coding_Theorem

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
1137 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CYK

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
1107 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Pairing_Heap

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1476 M
heap average:
989 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Bounded_Deducibility_Security

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:07 elapsed time, 0:00:08 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1137 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Transitive-Closure

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
1069 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

MuchAdoAboutTwo

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:07 cpu time, factor 1.05
stack maximum:
4 M
stack average:
4 M
heap maximum:
1491 M
heap average:
1055 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

TortoiseHare

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1066 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Chord_Segments

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.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1494 M
heap average:
1091 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Discrete_Summation

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.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
1076 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Card_Number_Partitions

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.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1495 M
heap average:
1032 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Partial_Function_MR

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.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1461 M
heap average:
1042 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

ShortestPath

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.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1484 M
heap average:
1016 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Ramsey-Infinite

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.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
1214 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

GoedelGod

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:05 cpu time, factor 0.88
stack maximum:
2 M
stack average:
2 M
heap maximum:
1499 M
heap average:
1332 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Tail_Recursive_Functions

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.06
stack maximum:
2 M
stack average:
2 M
heap maximum:
1474 M
heap average:
1046 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Stuttering_Equivalence

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:
2 M
stack average:
2 M
heap maximum:
1490 M
heap average:
1034 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

GenClock

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1487 M
heap average:
1002 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

BinarySearchTree

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1486 M
heap average:
976 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Mason_Stothers

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.96
stack maximum:
2 M
stack average:
2 M
heap maximum:
1496 M
heap average:
934 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Stewart_Apollonius

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
1010 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

LatticeProperties

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1490 M
heap average:
1014 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

ClockSynchInst

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
1037 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Fisher_Yates

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.03
stack maximum:
2 M
stack average:
2 M
heap maximum:
1491 M
heap average:
904 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Triangle

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1488 M
heap average:
976 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Descartes_Sign_Rule

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
938 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

List-Index

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
982 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

DataRefinementIBP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1493 M
heap average:
909 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

List_Interleaving

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
1484 M
heap average:
976 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Gauss-Jordan-Elim-Fun

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1492 M
heap average:
919 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Compiling-Exceptions-Correctly

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.06
stack maximum:
2 M
stack average:
2 M
heap maximum:
1474 M
heap average:
911 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

DPT-SAT-Solver

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1497 M
heap average:
1115 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lazy-Lists-II

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time, 0:00:03 cpu time
stack maximum:
2 M
stack average:
2 M
heap maximum:
764 M
heap average:
593 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

AnselmGod

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:03 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
949 M
heap average:
659 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Perfect-Number-Thm

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
756 M
heap average:
625 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Cartan_FP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
1076 M
heap average:
776 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Open_Induction

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.01
stack maximum:
2 M
stack average:
2 M
heap maximum:
1169 M
heap average:
797 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lazy_Case

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.04
stack maximum:
2 M
stack average:
2 M
heap maximum:
979 M
heap average:
722 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

C2KA_DistributedSystems

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.02
stack maximum:
2 M
stack average:
2 M
heap maximum:
920 M
heap average:
694 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Marriage

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
stack maximum:
2 M
stack average:
2 M
heap maximum:
1276 M
heap average:
781 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Minkowskis_Theorem

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
757 M
heap average:
647 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Surprise_Paradox

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
767 M
heap average:
537 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Liouville_Numbers

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
758 M
heap average:
648 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lifting_Definition_Option

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
767 M
heap average:
642 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CofGroups

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
760 M
heap average:
594 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lehmer

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
756 M
heap average:
642 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Max-Card-Matching

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
758 M
heap average:
636 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

FFT

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
759 M
heap average:
610 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Ptolemys_Theorem

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
759 M
heap average:
636 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Free-Boolean-Algebra

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
750 M
heap average:
570 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Card_Equiv_Relations

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
551 M
heap average:
406 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

FunWithFunctions

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
756 M
heap average:
654 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

General-Triangle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
456 M
heap average:
395 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Skew_Heap

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
617 M
heap average:
397 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

RIPEMD-160-SPARK

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
263 M
heap average:
188 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
621 M
heap average:
512 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Monad_Normalisation

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
542 M
heap average:
472 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Bondy

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
270 M
heap average:
270 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Szpilrajn

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
284 M
heap average:
284 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Roy_Floyd_Warshall

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
348 M
heap average:
347 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Example-Submission

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

KD_Tree

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

CakeML

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Word_Lib

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Ordinals_and_Cardinals

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
19 M
heap average:
19 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Linear_Programming

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118