Isabelle build status for AFP

status date:
22-Feb-2019 18:05:34 +0100
build host:
lxbroy6, lxbroy8

HOL-ODE-Numerics

data:
CSV
timing:
1:55:00 elapsed time, 1:54:23 cpu time, factor 0.99
ML timing:
1:48:16 elapsed time, 2:05:03 cpu time, factor 1.15
maximum heap:
5056 M
average heap:
2469 M
stored heap:
282 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CAVA_Setup

data:
CSV
timing:
0:56:27 elapsed time, 0:54:18 cpu time, factor 0.96
ML timing:
0:52:51 elapsed time, 0:57:56 cpu time, factor 1.10
maximum heap:
2998 M
average heap:
1610 M
stored heap:
287 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Groebner_Bases

data:
CSV
timing:
0:36:45 elapsed time, 0:31:41 cpu time, factor 0.86
ML timing:
0:27:03 elapsed time, 0:32:38 cpu time, factor 1.21
maximum heap:
2422 M
average heap:
1696 M
stored heap:
375 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Iptables_Semantics_Examples

data:
CSV
timing:
0:35:54 elapsed time, 0:35:49 cpu time, factor 1.00
ML timing:
0:35:50 elapsed time, 0:38:57 cpu time, factor 1.09
maximum heap:
1733 M
average heap:
1531 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CakeML

data:
CSV
timing:
0:33:08 elapsed time, 0:29:02 cpu time, factor 0.88
ML timing:
0:33:06 elapsed time, 0:32:00 cpu time, factor 0.97
maximum heap:
3863 M
average heap:
1584 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

MSO_Regex_Equivalence

data:
CSV
timing:
0:32:39 elapsed time, 0:32:35 cpu time, factor 1.00
ML timing:
0:32:37 elapsed time, 0:33:15 cpu time, factor 1.02
maximum heap:
2999 M
average heap:
2666 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Formula_Derivatives

data:
CSV
timing:
0:32:25 elapsed time, 0:18:40 cpu time, factor 0.58
ML timing:
0:30:34 elapsed time, 0:22:44 cpu time, factor 0.74
maximum heap:
6248 M
average heap:
1497 M
stored heap:
72 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

HOL-ODE-ARCH-COMP

data:
CSV
timing:
0:31:23 elapsed time, 0:31:16 cpu time, factor 1.00
ML timing:
0:31:18 elapsed time, 0:32:14 cpu time, factor 1.03
maximum heap:
1500 M
average heap:
1478 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Affine_Arithmetic

data:
CSV
timing:
0:29:06 elapsed time, 0:28:53 cpu time, factor 0.99
ML timing:
0:27:23 elapsed time, 0:32:24 cpu time, factor 1.18
maximum heap:
2627 M
average heap:
1721 M
stored heap:
111 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

LLL_Basis_Reduction

data:
CSV
timing:
0:28:53 elapsed time, 0:28:07 cpu time, factor 0.97
ML timing:
0:26:12 elapsed time, 0:27:51 cpu time, factor 1.06
maximum heap:
1670 M
average heap:
1496 M
stored heap:
155 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Incompleteness

data:
CSV
timing:
0:27:59 elapsed time, 0:27:52 cpu time, factor 1.00
ML timing:
0:27:09 elapsed time, 0:27:21 cpu time, factor 1.01
maximum heap:
1500 M
average heap:
1494 M
stored heap:
39 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Algebraic_Numbers

data:
CSV
timing:
0:27:44 elapsed time, 0:26:40 cpu time, factor 0.96
ML timing:
0:27:35 elapsed time, 0:30:59 cpu time, factor 1.12
maximum heap:
2678 M
average heap:
1477 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Echelon_Form

data:
CSV
timing:
0:26:32 elapsed time, 0:21:04 cpu time, factor 0.79
ML timing:
0:25:06 elapsed time, 0:23:11 cpu time, factor 0.92
maximum heap:
3816 M
average heap:
1605 M
stored heap:
40 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Auto2_Imperative_HOL

data:
CSV
timing:
0:25:38 elapsed time, 0:25:35 cpu time, factor 1.00
ML timing:
0:25:37 elapsed time, 0:25:53 cpu time, factor 1.01
maximum heap:
1500 M
average heap:
1493 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Psi_Calculi

data:
CSV
timing:
0:25:20 elapsed time, 0:25:17 cpu time, factor 1.00
ML timing:
0:25:18 elapsed time, 0:26:05 cpu time, factor 1.03
maximum heap:
1500 M
average heap:
1481 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Security_Protocol_Refinement

data:
CSV
timing:
0:24:34 elapsed time, 0:24:31 cpu time, factor 1.00
ML timing:
0:24:31 elapsed time, 0:24:36 cpu time, factor 1.00
maximum heap:
1500 M
average heap:
1493 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Slicing

data:
CSV
timing:
0:24:32 elapsed time, 0:24:25 cpu time, factor 1.00
ML timing:
0:23:31 elapsed time, 0:23:40 cpu time, factor 1.01
maximum heap:
1500 M
average heap:
1493 M
stored heap:
33 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Category3

data:
CSV
timing:
0:24:22 elapsed time, 0:24:18 cpu time, factor 1.00
ML timing:
0:23:09 elapsed time, 0:24:56 cpu time, factor 1.08
maximum heap:
1763 M
average heap:
1486 M
stored heap:
141 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

HRB-Slicing

data:
CSV
timing:
0:23:46 elapsed time, 0:23:34 cpu time, factor 0.99
ML timing:
0:21:54 elapsed time, 0:22:13 cpu time, factor 1.01
maximum heap:
1500 M
average heap:
1491 M
stored heap:
62 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Network_Security_Policy_Verification

data:
CSV
timing:
0:22:09 elapsed time, 0:23:43 cpu time, factor 1.07
ML timing:
0:22:07 elapsed time, 0:21:26 cpu time, factor 0.97
maximum heap:
1510 M
average heap:
1478 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

MonoidalCategory

data:
CSV
timing:
0:19:53 elapsed time, 0:19:51 cpu time, factor 1.00
ML timing:
0:19:49 elapsed time, 0:21:48 cpu time, factor 1.10
maximum heap:
2439 M
average heap:
1559 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Jordan_Normal_Form

data:
CSV
timing:
0:18:27 elapsed time, 0:18:20 cpu time, factor 0.99
ML timing:
0:17:06 elapsed time, 0:17:24 cpu time, factor 1.02
maximum heap:
1500 M
average heap:
1491 M
stored heap:
53 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

IP_Addresses

data:
CSV
timing:
0:18:14 elapsed time, 0:18:11 cpu time, factor 1.00
ML timing:
0:16:51 elapsed time, 0:17:31 cpu time, factor 1.04
maximum heap:
2999 M
average heap:
2073 M
stored heap:
48 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Jinja

data:
CSV
timing:
0:18:13 elapsed time, 0:18:05 cpu time, factor 0.99
ML timing:
0:16:55 elapsed time, 0:17:13 cpu time, factor 1.02
maximum heap:
1500 M
average heap:
1487 M
stored heap:
45 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Key_Agreement_Strong_Adversaries

data:
CSV
timing:
0:18:10 elapsed time, 0:18:08 cpu time, factor 1.00
ML timing:
0:18:09 elapsed time, 0:18:13 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
1492 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Linear_Recurrences_Solver

data:
CSV
timing:
0:18:10 elapsed time, 0:17:05 cpu time, factor 0.94
ML timing:
0:17:01 elapsed time, 0:19:00 cpu time, factor 1.12
maximum heap:
2127 M
average heap:
1626 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Formal_SSA

data:
CSV
timing:
0:17:16 elapsed time, 0:16:47 cpu time, factor 0.97
ML timing:
0:15:09 elapsed time, 0:15:22 cpu time, factor 1.01
maximum heap:
1500 M
average heap:
1489 M
stored heap:
76 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Core_DOM

data:
CSV
timing:
0:16:12 elapsed time, 0:16:09 cpu time, factor 1.00
ML timing:
0:16:09 elapsed time, 0:16:56 cpu time, factor 1.05
maximum heap:
2687 M
average heap:
1534 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Complx

data:
CSV
timing:
0:15:49 elapsed time, 0:15:48 cpu time, factor 1.00
ML timing:
0:15:47 elapsed time, 0:15:56 cpu time, factor 1.01
maximum heap:
1500 M
average heap:
1491 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Dirichlet_Series

data:
CSV
timing:
0:15:46 elapsed time, 0:15:30 cpu time, factor 0.98
ML timing:
0:13:54 elapsed time, 0:14:56 cpu time, factor 1.07
maximum heap:
1531 M
average heap:
1491 M
stored heap:
144 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Refine_Imperative_HOL

data:
CSV
timing:
0:15:40 elapsed time, 0:17:21 cpu time, factor 1.11
ML timing:
0:13:50 elapsed time, 0:11:13 cpu time, factor 0.81
maximum heap:
1499 M
average heap:
1486 M
stored heap:
85 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Lorenz_Approximation

data:
CSV
timing:
0:15:12 elapsed time, 0:15:04 cpu time, factor 0.99
ML timing:
0:15:08 elapsed time, 0:16:17 cpu time, factor 1.08
maximum heap:
2999 M
average heap:
2583 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Perron_Frobenius

data:
CSV
timing:
0:14:48 elapsed time, 0:14:45 cpu time, factor 1.00
ML timing:
0:14:44 elapsed time, 0:15:08 cpu time, factor 1.03
maximum heap:
1500 M
average heap:
1488 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

LTL_to_GBA

data:
CSV
timing:
0:14:17 elapsed time, 0:13:34 cpu time, factor 0.95
ML timing:
0:12:20 elapsed time, 0:12:32 cpu time, factor 1.02
maximum heap:
1500 M
average heap:
1486 M
stored heap:
41 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Stochastic_Matrices

data:
CSV
timing:
0:14:13 elapsed time, 0:14:12 cpu time, factor 1.00
ML timing:
0:14:10 elapsed time, 0:14:59 cpu time, factor 1.06
maximum heap:
1500 M
average heap:
1490 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Iptables_Semantics

data:
CSV
timing:
0:14:03 elapsed time, 0:14:05 cpu time, factor 1.00
ML timing:
0:12:16 elapsed time, 0:12:01 cpu time, factor 0.98
maximum heap:
1499 M
average heap:
1470 M
stored heap:
95 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Group-Ring-Module

data:
CSV
timing:
0:13:38 elapsed time, 0:13:33 cpu time, factor 0.99
ML timing:
0:12:55 elapsed time, 0:14:05 cpu time, factor 1.09
maximum heap:
1540 M
average heap:
1486 M
stored heap:
20 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

SPARCv8

data:
CSV
timing:
0:13:10 elapsed time, 0:13:09 cpu time, factor 1.00
ML timing:
0:13:08 elapsed time, 0:13:19 cpu time, factor 1.01
maximum heap:
1500 M
average heap:
1488 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Transition_Systems_and_Automata

data:
CSV
timing:
0:12:53 elapsed time, 0:12:51 cpu time, factor 1.00
ML timing:
0:10:54 elapsed time, 0:10:55 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
1482 M
stored heap:
86 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Constructive_Cryptography

data:
CSV
timing:
0:12:49 elapsed time, 0:12:48 cpu time, factor 1.00
ML timing:
0:12:46 elapsed time, 0:12:51 cpu time, factor 1.01
maximum heap:
1500 M
average heap:
1488 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

DFS_Framework

data:
CSV
timing:
0:12:42 elapsed time, 0:13:16 cpu time, factor 1.04
ML timing:
0:12:38 elapsed time, 0:11:43 cpu time, factor 0.93
maximum heap:
1499 M
average heap:
1483 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Deep_Learning

data:
CSV
timing:
0:12:35 elapsed time, 0:12:33 cpu time, factor 1.00
ML timing:
0:12:32 elapsed time, 0:13:10 cpu time, factor 1.05
maximum heap:
1500 M
average heap:
1488 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Native_Word

data:
CSV
timing:
0:12:16 elapsed time, 0:15:13 cpu time, factor 1.24
ML timing:
0:12:14 elapsed time, 0:05:44 cpu time, factor 0.47
maximum heap:
1499 M
average heap:
1486 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

SM_Base

data:
CSV
timing:
0:12:15 elapsed time, 0:12:23 cpu time, factor 1.01
ML timing:
0:10:27 elapsed time, 0:10:10 cpu time, factor 0.97
maximum heap:
1500 M
average heap:
1483 M
stored heap:
84 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Differential_Dynamic_Logic

data:
CSV
timing:
0:12:06 elapsed time, 0:11:26 cpu time, factor 0.94
ML timing:
0:11:26 elapsed time, 0:11:41 cpu time, factor 1.02
maximum heap:
1500 M
average heap:
1485 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Probabilistic_Timed_Automata

data:
CSV
timing:
0:11:43 elapsed time, 0:11:41 cpu time, factor 1.00
ML timing:
0:11:40 elapsed time, 0:11:55 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1487 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Ordinary_Differential_Equations

data:
CSV
timing:
0:11:29 elapsed time, 0:11:11 cpu time, factor 0.97
ML timing:
0:10:13 elapsed time, 0:10:25 cpu time, factor 1.02
maximum heap:
1500 M
average heap:
1486 M
stored heap:
50 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CAVA_LTL_Modelchecker

data:
CSV
timing:
0:11:21 elapsed time, 0:11:58 cpu time, factor 1.05
ML timing:
0:11:15 elapsed time, 0:10:16 cpu time, factor 0.91
maximum heap:
1499 M
average heap:
1471 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Probabilistic_Prime_Tests

data:
CSV
timing:
0:11:20 elapsed time, 0:11:19 cpu time, factor 1.00
ML timing:
0:11:17 elapsed time, 0:12:05 cpu time, factor 1.07
maximum heap:
1702 M
average heap:
1537 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Containers-Benchmarks

data:
CSV
timing:
0:11:17 elapsed time, 0:12:34 cpu time, factor 1.11
ML timing:
0:11:13 elapsed time, 0:09:45 cpu time, factor 0.87
maximum heap:
1934 M
average heap:
1572 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Collections_Examples

data:
CSV
timing:
0:11:07 elapsed time, 0:13:14 cpu time, factor 1.19
ML timing:
0:11:03 elapsed time, 0:08:28 cpu time, factor 0.77
maximum heap:
1499 M
average heap:
1482 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Multirelations

data:
CSV
timing:
0:10:54 elapsed time, 0:16:45 cpu time, factor 1.54
ML timing:
0:10:52 elapsed time, 0:04:37 cpu time, factor 0.43
maximum heap:
1498 M
average heap:
1463 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

LOFT

data:
CSV
timing:
0:10:43 elapsed time, 0:10:44 cpu time, factor 1.00
ML timing:
0:10:39 elapsed time, 0:11:00 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1484 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

QR_Decomposition

data:
CSV
timing:
0:10:14 elapsed time, 0:10:13 cpu time, factor 1.00
ML timing:
0:10:11 elapsed time, 0:10:29 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1488 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Algebraic_VCs

data:
CSV
timing:
0:10:14 elapsed time, 0:10:13 cpu time, factor 1.00
ML timing:
0:10:11 elapsed time, 0:11:13 cpu time, factor 1.10
maximum heap:
3507 M
average heap:
1779 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Modal_Logics_for_NTS

data:
CSV
timing:
0:09:52 elapsed time, 0:09:51 cpu time, factor 1.00
ML timing:
0:09:50 elapsed time, 0:10:20 cpu time, factor 1.05
maximum heap:
1500 M
average heap:
1467 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Berlekamp_Zassenhaus

data:
CSV
timing:
0:09:51 elapsed time, 0:09:38 cpu time, factor 0.98
ML timing:
0:08:02 elapsed time, 0:08:18 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1481 M
stored heap:
70 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

PTA_library

data:
CSV
timing:
0:09:48 elapsed time, 0:09:43 cpu time, factor 0.99
ML timing:
0:08:42 elapsed time, 0:08:51 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1484 M
stored heap:
40 M
Isabelle version:
8d548b8f63ca
AFP version:
0c094223204c

CAVA_buildchain3

data:
CSV
timing:
0:09:15 elapsed time, 0:09:13 cpu time, factor 1.00
ML timing:
0:06:58 elapsed time, 0:07:00 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1475 M
stored heap:
75 M
Isabelle version:
dfc5f8294fbc
AFP version:
00b771f6c60d

Allen_Calculus

data:
CSV
timing:
0:08:58 elapsed time, 0:08:57 cpu time, factor 1.00
ML timing:
0:08:56 elapsed time, 0:08:59 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1478 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Polynomials

data:
CSV
timing:
0:08:42 elapsed time, 0:08:40 cpu time, factor 1.00
ML timing:
0:08:39 elapsed time, 0:09:02 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1486 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Paraconsistency

data:
CSV
timing:
0:08:39 elapsed time, 0:08:38 cpu time, factor 1.00
ML timing:
0:08:38 elapsed time, 0:08:40 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
1487 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CryptHOL

data:
CSV
timing:
0:08:34 elapsed time, 0:08:24 cpu time, factor 0.98
ML timing:
0:07:02 elapsed time, 0:06:58 cpu time, factor 0.99
maximum heap:
1499 M
average heap:
1477 M
stored heap:
87 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Store_Buffer_Reduction

data:
CSV
timing:
0:08:29 elapsed time, 0:08:28 cpu time, factor 1.00
ML timing:
0:08:27 elapsed time, 0:08:36 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1482 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

JNF-AFP-Lib

data:
CSV
timing:
0:08:23 elapsed time, 0:08:15 cpu time, factor 0.98
ML timing:
0:06:43 elapsed time, 0:06:53 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1484 M
stored heap:
89 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CoreC++

data:
CSV
timing:
0:08:23 elapsed time, 0:08:21 cpu time, factor 1.00
ML timing:
0:08:20 elapsed time, 0:09:04 cpu time, factor 1.09
maximum heap:
1526 M
average heap:
1460 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Featherweight_OCL

data:
CSV
timing:
0:08:18 elapsed time, 0:08:17 cpu time, factor 1.00
ML timing:
0:08:16 elapsed time, 0:08:38 cpu time, factor 1.04
maximum heap:
1500 M
average heap:
1484 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Functional_Ordered_Resolution_Prover

data:
CSV
timing:
0:08:12 elapsed time, 0:08:28 cpu time, factor 1.03
ML timing:
0:08:10 elapsed time, 0:07:39 cpu time, factor 0.94
maximum heap:
1499 M
average heap:
1485 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Flyspeck-Tame

data:
CSV
timing:
0:08:07 elapsed time, 0:08:06 cpu time, factor 1.00
ML timing:
0:08:05 elapsed time, 0:08:38 cpu time, factor 1.07
maximum heap:
3716 M
average heap:
2635 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Timed_Automata

data:
CSV
timing:
0:08:01 elapsed time, 0:08:00 cpu time, factor 1.00
ML timing:
0:07:59 elapsed time, 0:08:06 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1483 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Gromov_Hyperbolicity

data:
CSV
timing:
0:07:59 elapsed time, 0:07:58 cpu time, factor 1.00
ML timing:
0:07:56 elapsed time, 0:08:07 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1482 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Stable_Matching

data:
CSV
timing:
0:07:51 elapsed time, 0:07:50 cpu time, factor 1.00
ML timing:
0:07:48 elapsed time, 0:07:53 cpu time, factor 1.01
maximum heap:
1500 M
average heap:
1485 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

InfPathElimination

data:
CSV
timing:
0:07:50 elapsed time, 0:07:50 cpu time, factor 1.00
ML timing:
0:07:49 elapsed time, 0:07:50 cpu time, factor 1.00
maximum heap:
1500 M
average heap:
1485 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Maxflow_Lib

data:
CSV
timing:
0:07:49 elapsed time, 0:07:56 cpu time, factor 1.01
ML timing:
0:06:31 elapsed time, 0:06:22 cpu time, factor 0.98
maximum heap:
1500 M
average heap:
1479 M
stored heap:
39 M
Isabelle version:
8d548b8f63ca
AFP version:
0c094223204c

Containers

data:
CSV
timing:
0:07:46 elapsed time, 0:08:28 cpu time, factor 1.09
ML timing:
0:06:23 elapsed time, 0:05:25 cpu time, factor 0.85
maximum heap:
1499 M
average heap:
1476 M
stored heap:
68 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Coinductive

data:
CSV
timing:
0:07:44 elapsed time, 0:07:20 cpu time, factor 0.95
ML timing:
0:06:40 elapsed time, 0:06:22 cpu time, factor 0.96
maximum heap:
1499 M
average heap:
1478 M
stored heap:
41 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Planarity_Certificates

data:
CSV
timing:
0:07:44 elapsed time, 0:07:43 cpu time, factor 1.00
ML timing:
0:07:42 elapsed time, 0:07:59 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1480 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CAVA_buildchain1

data:
CSV
timing:
0:07:39 elapsed time, 0:07:48 cpu time, factor 1.02
ML timing:
0:06:22 elapsed time, 0:06:09 cpu time, factor 0.97
maximum heap:
1499 M
average heap:
1477 M
stored heap:
32 M
Isabelle version:
dfc5f8294fbc
AFP version:
00b771f6c60d

Pre_BZ

data:
CSV
timing:
0:07:37 elapsed time, 0:07:35 cpu time, factor 1.00
ML timing:
0:06:09 elapsed time, 0:05:44 cpu time, factor 0.93
maximum heap:
1499 M
average heap:
1480 M
stored heap:
47 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Dependent_SIFUM_Refinement

data:
CSV
timing:
0:07:32 elapsed time, 0:07:31 cpu time, factor 1.00
ML timing:
0:07:30 elapsed time, 0:07:40 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1480 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Count_Complex_Roots

data:
CSV
timing:
0:07:29 elapsed time, 0:06:52 cpu time, factor 0.92
ML timing:
0:06:19 elapsed time, 0:06:24 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1479 M
stored heap:
17 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

WebAssembly

data:
CSV
timing:
0:07:24 elapsed time, 0:07:37 cpu time, factor 1.03
ML timing:
0:07:21 elapsed time, 0:07:04 cpu time, factor 0.96
maximum heap:
1499 M
average heap:
1479 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Hoare_Time

data:
CSV
timing:
0:07:11 elapsed time, 0:07:10 cpu time, factor 1.00
ML timing:
0:07:09 elapsed time, 0:07:37 cpu time, factor 1.06
maximum heap:
1724 M
average heap:
1540 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Promela

data:
CSV
timing:
0:07:04 elapsed time, 0:07:09 cpu time, factor 1.01
ML timing:
0:07:00 elapsed time, 0:07:02 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1475 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

E_Transcendental

data:
CSV
timing:
0:07:04 elapsed time, 0:06:46 cpu time, factor 0.96
ML timing:
0:05:50 elapsed time, 0:06:05 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1478 M
stored heap:
69 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

KBPs

data:
CSV
timing:
0:07:00 elapsed time, 0:06:59 cpu time, factor 1.00
ML timing:
0:06:57 elapsed time, 0:07:06 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1478 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

SM

data:
CSV
timing:
0:06:46 elapsed time, 0:07:09 cpu time, factor 1.06
ML timing:
0:06:42 elapsed time, 0:06:14 cpu time, factor 0.93
maximum heap:
1499 M
average heap:
1475 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Markov_Models

data:
CSV
timing:
0:06:45 elapsed time, 0:06:37 cpu time, factor 0.98
ML timing:
0:05:32 elapsed time, 0:05:31 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
1472 M
stored heap:
68 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Gabow_SCC

data:
CSV
timing:
0:06:37 elapsed time, 0:06:46 cpu time, factor 1.02
ML timing:
0:06:33 elapsed time, 0:06:18 cpu time, factor 0.96
maximum heap:
1499 M
average heap:
1477 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

LTL_to_DRA

data:
CSV
timing:
0:06:35 elapsed time, 0:06:34 cpu time, factor 1.00
ML timing:
0:06:32 elapsed time, 0:06:48 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1475 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Simpl

data:
CSV
timing:
0:06:32 elapsed time, 0:06:25 cpu time, factor 0.98
ML timing:
0:05:36 elapsed time, 0:05:47 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1481 M
stored heap:
57 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Dependent_SIFUM_Type_Systems

data:
CSV
timing:
0:06:30 elapsed time, 0:06:24 cpu time, factor 0.98
ML timing:
0:05:40 elapsed time, 0:05:48 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1473 M
stored heap:
41 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Prpu_Maxflow

data:
CSV
timing:
0:06:22 elapsed time, 0:06:35 cpu time, factor 1.03
ML timing:
0:06:18 elapsed time, 0:05:20 cpu time, factor 0.85
maximum heap:
1499 M
average heap:
1472 M
Isabelle version:
56d5bb8c102e
AFP version:
bc6ca24b0141

Taylor_Models

data:
CSV
timing:
0:06:17 elapsed time, 0:06:07 cpu time, factor 0.97
ML timing:
0:06:04 elapsed time, 0:06:14 cpu time, factor 1.03
maximum heap:
1994 M
average heap:
1872 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Pi_Transcendental

data:
CSV
timing:
0:06:08 elapsed time, 0:06:07 cpu time, factor 1.00
ML timing:
0:06:05 elapsed time, 0:06:15 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1477 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Linear_Recurrences

data:
CSV
timing:
0:05:59 elapsed time, 0:05:56 cpu time, factor 0.99
ML timing:
0:05:55 elapsed time, 0:06:07 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1472 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Algebraic_Numbers_Lib

data:
CSV
timing:
0:05:46 elapsed time, 0:05:19 cpu time, factor 0.92
ML timing:
0:03:56 elapsed time, 0:04:02 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1480 M
stored heap:
43 M
Isabelle version:
bb0a354f6b46
AFP version:
f62ab9e4a663

Isabelle_Meta_Model

data:
CSV
timing:
0:05:46 elapsed time, 0:05:45 cpu time, factor 1.00
ML timing:
0:05:43 elapsed time, 0:06:20 cpu time, factor 1.11
maximum heap:
2107 M
average heap:
1524 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

KAD

data:
CSV
timing:
0:05:42 elapsed time, 0:05:42 cpu time, factor 1.00
ML timing:
0:05:41 elapsed time, 0:06:00 cpu time, factor 1.06
maximum heap:
1499 M
average heap:
1472 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

List_Update

data:
CSV
timing:
0:05:42 elapsed time, 0:05:43 cpu time, factor 1.00
ML timing:
0:05:39 elapsed time, 0:05:42 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1474 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Simplex

data:
CSV
timing:
0:05:40 elapsed time, 0:05:36 cpu time, factor 0.99
ML timing:
0:04:48 elapsed time, 0:04:55 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1469 M
stored heap:
36 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

IMP2

data:
CSV
timing:
0:05:39 elapsed time, 0:05:39 cpu time, factor 1.00
ML timing:
0:05:38 elapsed time, 0:05:41 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1479 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

No_FTL_observers

data:
CSV
timing:
0:05:27 elapsed time, 0:05:26 cpu time, factor 1.00
ML timing:
0:05:25 elapsed time, 0:05:32 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1478 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Hermite

data:
CSV
timing:
0:05:21 elapsed time, 0:05:17 cpu time, factor 0.99
ML timing:
0:05:15 elapsed time, 0:05:31 cpu time, factor 1.05
maximum heap:
1499 M
average heap:
1469 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Prime_Harmonic_Series

data:
CSV
timing:
0:05:17 elapsed time, 0:05:16 cpu time, factor 1.00
ML timing:
0:05:15 elapsed time, 0:05:27 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1477 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Probabilistic_Noninterference

data:
CSV
timing:
0:05:17 elapsed time, 0:05:16 cpu time, factor 1.00
ML timing:
0:05:14 elapsed time, 0:05:11 cpu time, factor 0.99
maximum heap:
1499 M
average heap:
1474 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Symmetric_Polynomials

data:
CSV
timing:
0:05:15 elapsed time, 0:05:18 cpu time, factor 1.01
ML timing:
0:05:12 elapsed time, 0:05:15 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1474 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Separation_Logic_Imperative_HOL

data:
CSV
timing:
0:05:14 elapsed time, 0:06:22 cpu time, factor 1.22
ML timing:
0:05:11 elapsed time, 0:03:38 cpu time, factor 0.70
maximum heap:
1499 M
average heap:
1476 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Buildings

data:
CSV
timing:
0:05:12 elapsed time, 0:05:11 cpu time, factor 1.00
ML timing:
0:05:09 elapsed time, 0:05:13 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1479 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Density_Compiler

data:
CSV
timing:
0:05:05 elapsed time, 0:05:05 cpu time, factor 1.00
ML timing:
0:05:02 elapsed time, 0:05:06 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1474 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Propositional_Proof_Systems

data:
CSV
timing:
0:05:04 elapsed time, 0:05:03 cpu time, factor 1.00
ML timing:
0:05:02 elapsed time, 0:05:11 cpu time, factor 1.03
maximum heap:
1500 M
average heap:
1471 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Stone_Kleene_Relation_Algebras

data:
CSV
timing:
0:04:58 elapsed time, 0:04:56 cpu time, factor 0.99
ML timing:
0:04:26 elapsed time, 0:04:35 cpu time, factor 1.03
maximum heap:
1500 M
average heap:
1480 M
stored heap:
24 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Rep_Fin_Groups

data:
CSV
timing:
0:04:56 elapsed time, 0:04:55 cpu time, factor 1.00
ML timing:
0:04:53 elapsed time, 0:04:57 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1475 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Green

data:
CSV
timing:
0:04:54 elapsed time, 0:04:53 cpu time, factor 1.00
ML timing:
0:04:52 elapsed time, 0:04:44 cpu time, factor 0.97
maximum heap:
1499 M
average heap:
1480 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Sepref_IICF

data:
CSV
timing:
0:04:48 elapsed time, 0:04:54 cpu time, factor 1.02
ML timing:
0:03:43 elapsed time, 0:03:32 cpu time, factor 0.95
maximum heap:
1499 M
average heap:
1468 M
stored heap:
30 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Ergodic_Theory

data:
CSV
timing:
0:04:46 elapsed time, 0:04:46 cpu time, factor 1.00
ML timing:
0:04:44 elapsed time, 0:04:48 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1472 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Dirichlet_L

data:
CSV
timing:
0:04:43 elapsed time, 0:04:39 cpu time, factor 0.99
ML timing:
0:04:39 elapsed time, 0:04:42 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1456 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Amortized_Complexity

data:
CSV
timing:
0:04:41 elapsed time, 0:04:34 cpu time, factor 0.98
ML timing:
0:03:26 elapsed time, 0:03:33 cpu time, factor 1.03
maximum heap:
1500 M
average heap:
1462 M
stored heap:
64 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Zeta_Function

data:
CSV
timing:
0:04:38 elapsed time, 0:04:24 cpu time, factor 0.95
ML timing:
0:03:40 elapsed time, 0:03:44 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1467 M
stored heap:
11 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Launchbury

data:
CSV
timing:
0:04:32 elapsed time, 0:04:24 cpu time, factor 0.97
ML timing:
0:03:39 elapsed time, 0:03:45 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1465 M
stored heap:
56 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Parity_Game

data:
CSV
timing:
0:04:32 elapsed time, 0:04:31 cpu time, factor 1.00
ML timing:
0:04:30 elapsed time, 0:04:30 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
1468 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Akra_Bazzi

data:
CSV
timing:
0:04:28 elapsed time, 0:04:28 cpu time, factor 1.00
ML timing:
0:04:26 elapsed time, 0:04:34 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1471 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Gauss_Jordan

data:
CSV
timing:
0:04:26 elapsed time, 0:04:26 cpu time, factor 1.00
ML timing:
0:04:24 elapsed time, 0:04:29 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1473 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Winding_Number_Eval

data:
CSV
timing:
0:04:25 elapsed time, 0:04:25 cpu time, factor 1.00
ML timing:
0:04:23 elapsed time, 0:04:28 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1475 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Vickrey_Clarke_Groves

data:
CSV
timing:
0:04:20 elapsed time, 0:04:20 cpu time, factor 1.00
ML timing:
0:04:18 elapsed time, 0:04:21 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1482 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

UPF_Firewall

data:
CSV
timing:
0:04:19 elapsed time, 0:04:18 cpu time, factor 1.00
ML timing:
0:04:18 elapsed time, 0:04:24 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1481 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

SATSolverVerification

data:
CSV
timing:
0:04:17 elapsed time, 0:04:17 cpu time, factor 1.00
ML timing:
0:04:15 elapsed time, 0:04:17 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1473 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Resolution_FOL

data:
CSV
timing:
0:04:13 elapsed time, 0:04:16 cpu time, factor 1.01
ML timing:
0:04:11 elapsed time, 0:04:11 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
1481 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

MFMC_Countable

data:
CSV
timing:
0:04:11 elapsed time, 0:04:10 cpu time, factor 1.00
ML timing:
0:04:08 elapsed time, 0:04:13 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1468 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Quantales

data:
CSV
timing:
0:04:10 elapsed time, 0:04:04 cpu time, factor 0.98
ML timing:
0:03:11 elapsed time, 0:03:16 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1458 M
stored heap:
65 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Free-Groups

data:
CSV
timing:
0:04:09 elapsed time, 0:04:09 cpu time, factor 1.00
ML timing:
0:04:08 elapsed time, 0:04:18 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1468 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

LLL_Factorization

data:
CSV
timing:
0:04:02 elapsed time, 0:03:03 cpu time, factor 0.76
ML timing:
0:02:57 elapsed time, 0:03:01 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1473 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Girth_Chromatic

data:
CSV
timing:
0:04:02 elapsed time, 0:03:50 cpu time, factor 0.95
ML timing:
0:02:59 elapsed time, 0:03:01 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1442 M
stored heap:
30 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Signature_Groebner

data:
CSV
timing:
0:04:01 elapsed time, 0:03:14 cpu time, factor 0.80
ML timing:
0:03:10 elapsed time, 0:03:22 cpu time, factor 1.06
maximum heap:
1499 M
average heap:
1453 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Password_Authentication_Protocol

data:
CSV
timing:
0:04:01 elapsed time, 0:04:00 cpu time, factor 1.00
ML timing:
0:03:58 elapsed time, 0:04:02 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1472 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

DiscretePricing

data:
CSV
timing:
0:03:59 elapsed time, 0:03:58 cpu time, factor 1.00
ML timing:
0:03:56 elapsed time, 0:04:04 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1468 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Root_Balanced_Tree

data:
CSV
timing:
0:03:56 elapsed time, 0:03:55 cpu time, factor 1.00
ML timing:
0:03:53 elapsed time, 0:04:00 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1465 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

AWN

data:
CSV
timing:
0:03:55 elapsed time, 0:03:54 cpu time, factor 1.00
ML timing:
0:03:54 elapsed time, 0:03:59 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1464 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Word_Lib

data:
CSV
timing:
0:03:55 elapsed time, 0:03:54 cpu time, factor 1.00
ML timing:
0:03:32 elapsed time, 0:03:35 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1475 M
stored heap:
13 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

ComponentDependencies

data:
CSV
timing:
0:03:54 elapsed time, 0:03:53 cpu time, factor 1.00
ML timing:
0:03:52 elapsed time, 0:03:59 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1466 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Sepref_Prereq

data:
CSV
timing:
0:03:54 elapsed time, 0:04:42 cpu time, factor 1.21
ML timing:
0:02:54 elapsed time, 0:01:42 cpu time, factor 0.59
maximum heap:
1499 M
average heap:
1447 M
stored heap:
27 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

BytecodeLogicJmlTypes

data:
CSV
timing:
0:03:53 elapsed time, 0:03:53 cpu time, factor 1.00
ML timing:
0:03:51 elapsed time, 0:03:54 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1470 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lambda_Free_KBOs

data:
CSV
timing:
0:03:49 elapsed time, 0:03:52 cpu time, factor 1.01
ML timing:
0:03:47 elapsed time, 0:03:47 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
1479 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Abs_Int_ITP2012

data:
CSV
timing:
0:03:48 elapsed time, 0:03:47 cpu time, factor 1.00
ML timing:
0:03:45 elapsed time, 0:03:50 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1468 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Subresultants

data:
CSV
timing:
0:03:47 elapsed time, 0:03:45 cpu time, factor 0.99
ML timing:
0:02:49 elapsed time, 0:02:51 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1463 M
stored heap:
9 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

MSO_Examples

data:
CSV
timing:
0:03:41 elapsed time, 0:03:34 cpu time, factor 0.97
ML timing:
0:03:32 elapsed time, 0:03:37 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1470 M
Isabelle version:
8d548b8f63ca
AFP version:
0c094223204c

Regex_Equivalence

data:
CSV
timing:
0:03:39 elapsed time, 0:03:42 cpu time, factor 1.01
ML timing:
0:03:38 elapsed time, 0:03:42 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1454 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Deriving

data:
CSV
timing:
0:03:39 elapsed time, 0:03:42 cpu time, factor 1.01
ML timing:
0:02:44 elapsed time, 0:02:13 cpu time, factor 0.81
maximum heap:
1498 M
average heap:
1454 M
stored heap:
44 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

BDD

data:
CSV
timing:
0:03:37 elapsed time, 0:03:36 cpu time, factor 1.00
ML timing:
0:03:35 elapsed time, 0:03:36 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1481 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Nested_Multisets_Ordinals

data:
CSV
timing:
0:03:35 elapsed time, 0:03:30 cpu time, factor 0.98
ML timing:
0:02:55 elapsed time, 0:02:59 cpu time, factor 1.02
maximum heap:
1497 M
average heap:
1459 M
stored heap:
48 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CAVA_Automata

data:
CSV
timing:
0:03:35 elapsed time, 0:03:36 cpu time, factor 1.00
ML timing:
0:02:40 elapsed time, 0:02:41 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1456 M
stored heap:
18 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Pi_Calculus

data:
CSV
timing:
0:03:31 elapsed time, 0:03:30 cpu time, factor 1.00
ML timing:
0:03:29 elapsed time, 0:03:32 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1463 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Aggregation_Algebras

data:
CSV
timing:
0:03:29 elapsed time, 0:03:28 cpu time, factor 1.00
ML timing:
0:03:26 elapsed time, 0:03:34 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1469 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

LinearQuantifierElim

data:
CSV
timing:
0:03:20 elapsed time, 0:03:17 cpu time, factor 0.99
ML timing:
0:03:17 elapsed time, 0:03:42 cpu time, factor 1.13
maximum heap:
3267 M
average heap:
2086 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Refine_Monadic

data:
CSV
timing:
0:03:19 elapsed time, 0:03:15 cpu time, factor 0.98
ML timing:
0:02:41 elapsed time, 0:02:45 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1445 M
stored heap:
36 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

LocalLexing

data:
CSV
timing:
0:03:19 elapsed time, 0:03:18 cpu time, factor 0.99
ML timing:
0:03:17 elapsed time, 0:03:21 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1465 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Bertrands_Postulate

data:
CSV
timing:
0:03:19 elapsed time, 0:03:18 cpu time, factor 0.99
ML timing:
0:03:15 elapsed time, 0:03:18 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1472 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Knot_Theory

data:
CSV
timing:
0:03:19 elapsed time, 0:03:18 cpu time, factor 0.99
ML timing:
0:03:16 elapsed time, 0:03:21 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1462 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Call_Arity

data:
CSV
timing:
0:03:17 elapsed time, 0:03:16 cpu time, factor 0.99
ML timing:
0:03:15 elapsed time, 0:03:22 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1459 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Proof_Strategy_Language

data:
CSV
timing:
0:03:17 elapsed time, 0:03:27 cpu time, factor 1.05
ML timing:
0:03:15 elapsed time, 0:01:51 cpu time, factor 0.57
maximum heap:
1496 M
average heap:
1464 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Higher_Order_Terms

data:
CSV
timing:
0:03:16 elapsed time, 0:03:43 cpu time, factor 1.14
ML timing:
0:03:15 elapsed time, 0:02:43 cpu time, factor 0.84
maximum heap:
1496 M
average heap:
1459 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Dijkstra_Shortest_Path

data:
CSV
timing:
0:03:16 elapsed time, 0:04:15 cpu time, factor 1.30
ML timing:
0:03:13 elapsed time, 0:02:01 cpu time, factor 0.63
maximum heap:
1499 M
average heap:
1454 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Hybrid_Multi_Lane_Spatial_Logic

data:
CSV
timing:
0:03:13 elapsed time, 0:03:13 cpu time, factor 1.00
ML timing:
0:03:12 elapsed time, 0:03:13 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1475 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Elliptic_Curves_Group_Law

data:
CSV
timing:
0:03:05 elapsed time, 0:03:04 cpu time, factor 0.99
ML timing:
0:03:02 elapsed time, 0:03:07 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1463 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

VerifyThis2018

data:
CSV
timing:
0:03:04 elapsed time, 0:03:13 cpu time, factor 1.05
ML timing:
0:03:00 elapsed time, 0:02:47 cpu time, factor 0.93
maximum heap:
1499 M
average heap:
1461 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Partial_Order_Reduction

data:
CSV
timing:
0:03:03 elapsed time, 0:02:54 cpu time, factor 0.95
ML timing:
0:02:59 elapsed time, 0:02:48 cpu time, factor 0.94
maximum heap:
1497 M
average heap:
1460 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Ordered_Resolution_Prover

data:
CSV
timing:
0:03:03 elapsed time, 0:02:57 cpu time, factor 0.97
ML timing:
0:03:00 elapsed time, 0:02:51 cpu time, factor 0.95
maximum heap:
1499 M
average heap:
1465 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Abortable_Linearizable_Modules

data:
CSV
timing:
0:03:03 elapsed time, 0:03:03 cpu time, factor 1.00
ML timing:
0:03:02 elapsed time, 0:03:08 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1474 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Twelvefold_Way

data:
CSV
timing:
0:03:03 elapsed time, 0:03:02 cpu time, factor 0.99
ML timing:
0:03:00 elapsed time, 0:03:03 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1468 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Stone_Relation_Algebras

data:
CSV
timing:
0:03:01 elapsed time, 0:02:56 cpu time, factor 0.97
ML timing:
0:02:23 elapsed time, 0:02:27 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1471 M
stored heap:
44 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Statecharts

data:
CSV
timing:
0:03:00 elapsed time, 0:03:00 cpu time, factor 1.00
ML timing:
0:02:59 elapsed time, 0:03:01 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1462 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

PseudoHoops

data:
CSV
timing:
0:02:59 elapsed time, 0:02:59 cpu time, factor 1.00
ML timing:
0:02:58 elapsed time, 0:03:04 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1461 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Regular_Algebras

data:
CSV
timing:
0:02:57 elapsed time, 0:03:00 cpu time, factor 1.02
ML timing:
0:02:55 elapsed time, 0:02:57 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1476 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Encodability_Process_Calculi

data:
CSV
timing:
0:02:53 elapsed time, 0:02:52 cpu time, factor 0.99
ML timing:
0:02:51 elapsed time, 0:02:59 cpu time, factor 1.04
maximum heap:
1497 M
average heap:
1455 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Irrationality_J_Hancl

data:
CSV
timing:
0:02:53 elapsed time, 0:02:53 cpu time, factor 1.00
ML timing:
0:02:51 elapsed time, 0:02:56 cpu time, factor 1.03
maximum heap:
1498 M
average heap:
1461 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Graph_Theory

data:
CSV
timing:
0:02:47 elapsed time, 0:02:41 cpu time, factor 0.96
ML timing:
0:02:03 elapsed time, 0:02:08 cpu time, factor 1.04
maximum heap:
1498 M
average heap:
1445 M
stored heap:
25 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Generic_Deriving

data:
CSV
timing:
0:02:47 elapsed time, 0:02:46 cpu time, factor 0.99
ML timing:
0:02:45 elapsed time, 0:02:53 cpu time, factor 1.05
maximum heap:
1499 M
average heap:
1449 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

EdmondsKarp_Maxflow

data:
CSV
timing:
0:02:46 elapsed time, 0:02:53 cpu time, factor 1.04
ML timing:
0:02:42 elapsed time, 0:02:16 cpu time, factor 0.84
maximum heap:
1497 M
average heap:
1450 M
Isabelle version:
56d5bb8c102e
AFP version:
bc6ca24b0141

Real_Impl

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
maximum heap:
1499 M
average heap:
1467 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Regular-Sets

data:
CSV
timing:
0:02:43 elapsed time, 0:02:44 cpu time, factor 1.01
ML timing:
0:02:02 elapsed time, 0:01:59 cpu time, factor 0.98
maximum heap:
1499 M
average heap:
1390 M
stored heap:
15 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Order_Lattice_Props

data:
CSV
timing:
0:02:42 elapsed time, 0:02:39 cpu time, factor 0.98
ML timing:
0:02:02 elapsed time, 0:02:02 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
1458 M
stored heap:
33 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Hidden_Markov_Models

data:
CSV
timing:
0:02:38 elapsed time, 0:02:26 cpu time, factor 0.92
ML timing:
0:02:23 elapsed time, 0:02:31 cpu time, factor 1.06
maximum heap:
1497 M
average heap:
1448 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Probabilistic_While

data:
CSV
timing:
0:02:37 elapsed time, 0:02:36 cpu time, factor 0.99
ML timing:
0:01:58 elapsed time, 0:01:59 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1442 M
stored heap:
15 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

AutoFocus-Stream

data:
CSV
timing:
0:02:36 elapsed time, 0:02:36 cpu time, factor 1.00
ML timing:
0:02:34 elapsed time, 0:02:35 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1455 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Treaps

data:
CSV
timing:
0:02:32 elapsed time, 0:02:32 cpu time, factor 1.00
ML timing:
0:02:29 elapsed time, 0:02:33 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1450 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Sturm_Sequences

data:
CSV
timing:
0:02:32 elapsed time, 0:02:31 cpu time, factor 0.99
ML timing:
0:02:00 elapsed time, 0:02:01 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1451 M
stored heap:
3 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Circus

data:
CSV
timing:
0:02:30 elapsed time, 0:02:30 cpu time, factor 1.00
ML timing:
0:02:28 elapsed time, 0:02:32 cpu time, factor 1.03
maximum heap:
1500 M
average heap:
1457 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Formula_Derivatives-Examples

data:
CSV
timing:
0:02:30 elapsed time, 0:01:56 cpu time, factor 0.77
ML timing:
0:01:53 elapsed time, 0:02:10 cpu time, factor 1.14
maximum heap:
1499 M
average heap:
1373 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Splay_Tree

data:
CSV
timing:
0:02:30 elapsed time, 0:02:29 cpu time, factor 0.99
ML timing:
0:02:27 elapsed time, 0:02:28 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1458 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Abstract-Rewriting

data:
CSV
timing:
0:02:28 elapsed time, 0:02:14 cpu time, factor 0.91
ML timing:
0:01:38 elapsed time, 0:01:31 cpu time, factor 0.94
maximum heap:
1497 M
average heap:
1463 M
stored heap:
16 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Factored_Transition_System_Bounding

data:
CSV
timing:
0:02:26 elapsed time, 0:02:41 cpu time, factor 1.10
ML timing:
0:02:24 elapsed time, 0:02:06 cpu time, factor 0.87
maximum heap:
1499 M
average heap:
1455 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

SequentInvertibility

data:
CSV
timing:
0:02:26 elapsed time, 0:02:25 cpu time, factor 0.99
ML timing:
0:02:23 elapsed time, 0:02:28 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1446 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

LEM

data:
CSV
timing:
0:02:26 elapsed time, 0:02:22 cpu time, factor 0.97
ML timing:
0:01:38 elapsed time, 0:01:42 cpu time, factor 1.04
maximum heap:
1495 M
average heap:
1439 M
stored heap:
40 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Koenigsberg_Friendship

data:
CSV
timing:
0:02:26 elapsed time, 0:02:26 cpu time, factor 1.00
ML timing:
0:02:23 elapsed time, 0:02:28 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1460 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Valuation

data:
CSV
timing:
0:02:25 elapsed time, 0:02:23 cpu time, factor 0.99
ML timing:
0:02:20 elapsed time, 0:02:25 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1454 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Kleene_Algebra

data:
CSV
timing:
0:02:24 elapsed time, 0:02:17 cpu time, factor 0.95
ML timing:
0:01:41 elapsed time, 0:01:45 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1427 M
stored heap:
45 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Stone_Algebras

data:
CSV
timing:
0:02:24 elapsed time, 0:02:21 cpu time, factor 0.98
ML timing:
0:01:56 elapsed time, 0:01:59 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1461 M
stored heap:
29 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Simple_Firewall

data:
CSV
timing:
0:02:23 elapsed time, 0:02:24 cpu time, factor 1.01
ML timing:
0:01:42 elapsed time, 0:01:40 cpu time, factor 0.98
maximum heap:
1497 M
average heap:
1435 M
stored heap:
22 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

UTP

data:
CSV
timing:
0:02:21 elapsed time, 0:02:21 cpu time, factor 1.00
ML timing:
0:02:18 elapsed time, 0:02:22 cpu time, factor 1.03
maximum heap:
1498 M
average heap:
1447 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Smooth_Manifolds

data:
CSV
timing:
0:02:20 elapsed time, 0:02:19 cpu time, factor 0.99
ML timing:
0:02:17 elapsed time, 0:02:20 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1451 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Sort_Encodings

data:
CSV
timing:
0:02:18 elapsed time, 0:02:18 cpu time, factor 1.00
ML timing:
0:02:15 elapsed time, 0:02:23 cpu time, factor 1.06
maximum heap:
1497 M
average heap:
1451 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Applicative_Lifting

data:
CSV
timing:
0:02:18 elapsed time, 0:02:09 cpu time, factor 0.93
ML timing:
0:01:18 elapsed time, 0:01:21 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1408 M
stored heap:
32 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

SIFUM_Type_Systems

data:
CSV
timing:
0:02:18 elapsed time, 0:02:18 cpu time, factor 1.00
ML timing:
0:02:17 elapsed time, 0:02:19 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1451 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

UTP-Toolkit

data:
CSV
timing:
0:02:16 elapsed time, 0:02:14 cpu time, factor 0.99
ML timing:
0:01:28 elapsed time, 0:01:30 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1433 M
stored heap:
18 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Game_Based_Crypto

data:
CSV
timing:
0:02:16 elapsed time, 0:02:15 cpu time, factor 0.99
ML timing:
0:02:12 elapsed time, 0:02:14 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1436 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Polynomial_Factorization

data:
CSV
timing:
0:02:12 elapsed time, 0:02:12 cpu time, factor 1.00
ML timing:
0:02:08 elapsed time, 0:02:11 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1452 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

UpDown_Scheme

data:
CSV
timing:
0:02:12 elapsed time, 0:02:11 cpu time, factor 0.99
ML timing:
0:02:09 elapsed time, 0:02:12 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1457 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Probabilistic_System_Zoo-Non_BNFs

data:
CSV
timing:
0:02:11 elapsed time, 0:02:10 cpu time, factor 0.99
ML timing:
0:02:08 elapsed time, 0:02:11 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1448 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Nominal2

data:
CSV
timing:
0:02:08 elapsed time, 0:02:04 cpu time, factor 0.97
ML timing:
0:01:36 elapsed time, 0:01:39 cpu time, factor 1.03
maximum heap:
1497 M
average heap:
1426 M
stored heap:
34 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

SIFPL

data:
CSV
timing:
0:02:06 elapsed time, 0:02:06 cpu time, factor 1.00
ML timing:
0:02:04 elapsed time, 0:02:07 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1445 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Concurrent_Revisions

data:
CSV
timing:
0:02:06 elapsed time, 0:02:06 cpu time, factor 1.00
ML timing:
0:02:05 elapsed time, 0:02:07 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1445 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Matrix

data:
CSV
timing:
0:02:06 elapsed time, 0:02:03 cpu time, factor 0.98
ML timing:
0:01:24 elapsed time, 0:01:27 cpu time, factor 1.04
maximum heap:
1495 M
average heap:
1445 M
stored heap:
24 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

KAT_and_DRA

data:
CSV
timing:
0:02:04 elapsed time, 0:02:04 cpu time, factor 1.00
ML timing:
0:01:36 elapsed time, 0:01:36 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
1458 M
stored heap:
14 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Automatic_Refinement

data:
CSV
timing:
0:02:04 elapsed time, 0:02:01 cpu time, factor 0.98
ML timing:
0:01:35 elapsed time, 0:01:38 cpu time, factor 1.03
maximum heap:
1496 M
average heap:
1436 M
stored heap:
26 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Pre_Polynomial_Factorization

data:
CSV
timing:
0:02:03 elapsed time, 0:02:01 cpu time, factor 0.98
ML timing:
0:01:07 elapsed time, 0:01:09 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1422 M
stored heap:
13 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

PCF

data:
CSV
timing:
0:02:02 elapsed time, 0:02:01 cpu time, factor 0.99
ML timing:
0:02:00 elapsed time, 0:02:02 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1444 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Incredible_Proof_Machine

data:
CSV
timing:
0:02:02 elapsed time, 0:02:01 cpu time, factor 0.99
ML timing:
0:01:59 elapsed time, 0:02:04 cpu time, factor 1.04
maximum heap:
1498 M
average heap:
1444 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Tarskis_Geometry

data:
CSV
timing:
0:02:01 elapsed time, 0:02:00 cpu time, factor 0.99
ML timing:
0:01:58 elapsed time, 0:02:01 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1448 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

HOLCF-Prelude

data:
CSV
timing:
0:01:59 elapsed time, 0:01:59 cpu time, factor 1.00
ML timing:
0:01:57 elapsed time, 0:02:00 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1453 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Buchi_Complementation

data:
CSV
timing:
0:01:59 elapsed time, 0:01:58 cpu time, factor 0.99
ML timing:
0:01:54 elapsed time, 0:01:56 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1443 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Prime_Number_Theorem

data:
CSV
timing:
0:01:58 elapsed time, 0:01:57 cpu time, factor 0.99
ML timing:
0:01:54 elapsed time, 0:01:55 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1440 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

SDS_Impossibility

data:
CSV
timing:
0:01:58 elapsed time, 0:01:58 cpu time, factor 1.00
ML timing:
0:01:55 elapsed time, 0:01:56 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1443 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Probabilistic_System_Zoo

data:
CSV
timing:
0:01:57 elapsed time, 0:01:57 cpu time, factor 1.00
ML timing:
0:01:54 elapsed time, 0:01:58 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1437 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Stirling_Formula

data:
CSV
timing:
0:01:57 elapsed time, 0:01:55 cpu time, factor 0.98
ML timing:
0:01:19 elapsed time, 0:01:21 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1416 M
stored heap:
18 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

LTL

data:
CSV
timing:
0:01:56 elapsed time, 0:01:54 cpu time, factor 0.98
ML timing:
0:01:14 elapsed time, 0:01:16 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1424 M
stored heap:
16 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

UPF

data:
CSV
timing:
0:01:56 elapsed time, 0:01:55 cpu time, factor 0.99
ML timing:
0:01:27 elapsed time, 0:01:29 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1428 M
stored heap:
16 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

LightweightJava

data:
CSV
timing:
0:01:55 elapsed time, 0:01:55 cpu time, factor 1.00
ML timing:
0:01:52 elapsed time, 0:01:55 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1442 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

DiskPaxos

data:
CSV
timing:
0:01:53 elapsed time, 0:01:53 cpu time, factor 1.00
ML timing:
0:01:52 elapsed time, 0:01:52 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1443 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Nat-Interval-Logic

data:
CSV
timing:
0:01:52 elapsed time, 0:01:51 cpu time, factor 0.99
ML timing:
0:01:21 elapsed time, 0:01:22 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1424 M
stored heap:
5 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Quick_Sort_Cost

data:
CSV
timing:
0:01:50 elapsed time, 0:01:43 cpu time, factor 0.94
ML timing:
0:01:01 elapsed time, 0:01:03 cpu time, factor 1.03
maximum heap:
1497 M
average heap:
1397 M
stored heap:
16 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

SuperCalc

data:
CSV
timing:
0:01:50 elapsed time, 0:01:50 cpu time, factor 1.00
ML timing:
0:01:48 elapsed time, 0:01:51 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1442 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Consensus_Refined

data:
CSV
timing:
0:01:49 elapsed time, 0:01:49 cpu time, factor 1.00
ML timing:
0:01:48 elapsed time, 0:01:50 cpu time, factor 1.02
maximum heap:
1497 M
average heap:
1442 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Sepref_Basic

data:
CSV
timing:
0:01:49 elapsed time, 0:01:47 cpu time, factor 0.98
ML timing:
0:00:56 elapsed time, 0:00:58 cpu time, factor 1.03
maximum heap:
1497 M
average heap:
1400 M
stored heap:
12 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Matrix_Tensor

data:
CSV
timing:
0:01:48 elapsed time, 0:01:47 cpu time, factor 0.99
ML timing:
0:01:15 elapsed time, 0:01:17 cpu time, factor 1.03
maximum heap:
1498 M
average heap:
1440 M
stored heap:
3 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Locally-Nameless-Sigma

data:
CSV
timing:
0:01:45 elapsed time, 0:01:42 cpu time, factor 0.97
ML timing:
0:01:41 elapsed time, 0:01:43 cpu time, factor 1.03
maximum heap:
1498 M
average heap:
1432 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Decl_Sem_Fun_PL

data:
CSV
timing:
0:01:43 elapsed time, 0:01:43 cpu time, factor 1.00
ML timing:
0:01:42 elapsed time, 0:01:45 cpu time, factor 1.03
maximum heap:
1496 M
average heap:
1434 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

WHATandWHERE_Security

data:
CSV
timing:
0:01:43 elapsed time, 0:01:43 cpu time, factor 1.00
ML timing:
0:01:42 elapsed time, 0:01:43 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1438 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Special_Function_Bounds

data:
CSV
timing:
0:01:43 elapsed time, 0:01:43 cpu time, factor 1.00
ML timing:
0:01:40 elapsed time, 0:01:41 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1445 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Modular_Assembly_Kit_Security

data:
CSV
timing:
0:01:41 elapsed time, 0:01:41 cpu time, factor 1.00
ML timing:
0:01:39 elapsed time, 0:01:41 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1440 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

pGCL

data:
CSV
timing:
0:01:41 elapsed time, 0:01:40 cpu time, factor 0.99
ML timing:
0:01:38 elapsed time, 0:01:39 cpu time, factor 1.01
maximum heap:
1497 M
average heap:
1435 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

VectorSpace

data:
CSV
timing:
0:01:41 elapsed time, 0:01:41 cpu time, factor 1.00
ML timing:
0:01:38 elapsed time, 0:01:41 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1435 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lp

data:
CSV
timing:
0:01:37 elapsed time, 0:01:36 cpu time, factor 0.99
ML timing:
0:01:34 elapsed time, 0:01:35 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1432 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Randomised_Social_Choice

data:
CSV
timing:
0:01:36 elapsed time, 0:01:34 cpu time, factor 0.98
ML timing:
0:00:55 elapsed time, 0:00:56 cpu time, factor 1.03
maximum heap:
1496 M
average heap:
1384 M
stored heap:
15 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Relation_Algebra

data:
CSV
timing:
0:01:36 elapsed time, 0:01:34 cpu time, factor 0.98
ML timing:
0:01:03 elapsed time, 0:01:06 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1443 M
stored heap:
16 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Possibilistic_Noninterference

data:
CSV
timing:
0:01:34 elapsed time, 0:01:34 cpu time, factor 1.00
ML timing:
0:01:32 elapsed time, 0:01:34 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1438 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Graph_Saturation

data:
CSV
timing:
0:01:34 elapsed time, 0:01:33 cpu time, factor 0.99
ML timing:
0:01:31 elapsed time, 0:01:32 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1434 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

AxiomaticCategoryTheory

data:
CSV
timing:
0:01:34 elapsed time, 0:02:01 cpu time, factor 1.29
ML timing:
0:01:32 elapsed time, 0:00:50 cpu time, factor 0.54
maximum heap:
1497 M
average heap:
1364 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Heard_Of

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:31 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1449 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

ROBDD

data:
CSV
timing:
0:01:31 elapsed time, 0:01:30 cpu time, factor 0.99
ML timing:
0:01:27 elapsed time, 0:01:27 cpu time, factor 1.00
maximum heap:
1498 M
average heap:
1423 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Myhill-Nerode

data:
CSV
timing:
0:01:30 elapsed time, 0:01:33 cpu time, factor 1.03
ML timing:
0:01:28 elapsed time, 0:01:25 cpu time, factor 0.96
maximum heap:
1498 M
average heap:
1431 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Auto2_HOL

data:
CSV
timing:
0:01:29 elapsed time, 0:01:26 cpu time, factor 0.97
ML timing:
0:01:06 elapsed time, 0:01:07 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1415 M
stored heap:
18 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Tree-Automata

data:
CSV
timing:
0:01:29 elapsed time, 0:01:28 cpu time, factor 0.99
ML timing:
0:01:25 elapsed time, 0:01:28 cpu time, factor 1.03
maximum heap:
1495 M
average heap:
1416 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

CRDT

data:
CSV
timing:
0:01:29 elapsed time, 0:01:27 cpu time, factor 0.98
ML timing:
0:01:04 elapsed time, 0:01:06 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1405 M
stored heap:
16 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Stern_Brocot

data:
CSV
timing:
0:01:28 elapsed time, 0:01:25 cpu time, factor 0.97
ML timing:
0:01:22 elapsed time, 0:01:27 cpu time, factor 1.05
maximum heap:
1499 M
average heap:
1410 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Projective_Geometry

data:
CSV
timing:
0:01:28 elapsed time, 0:01:30 cpu time, factor 1.02
ML timing:
0:01:26 elapsed time, 0:01:20 cpu time, factor 0.93
maximum heap:
1499 M
average heap:
1449 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Dict_Construction

data:
CSV
timing:
0:01:27 elapsed time, 0:01:27 cpu time, factor 1.00
ML timing:
0:01:25 elapsed time, 0:01:31 cpu time, factor 1.07
maximum heap:
1491 M
average heap:
1421 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Architectural_Design_Patterns

data:
CSV
timing:
0:01:27 elapsed time, 0:01:27 cpu time, factor 1.00
ML timing:
0:01:24 elapsed time, 0:01:28 cpu time, factor 1.05
maximum heap:
1499 M
average heap:
1411 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

PLM

data:
CSV
timing:
0:01:27 elapsed time, 0:01:35 cpu time, factor 1.09
ML timing:
0:01:26 elapsed time, 0:01:16 cpu time, factor 0.89
maximum heap:
1497 M
average heap:
1426 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

List-Infinite

data:
CSV
timing:
0:01:26 elapsed time, 0:01:24 cpu time, factor 0.98
ML timing:
0:00:53 elapsed time, 0:00:54 cpu time, factor 1.02
maximum heap:
1496 M
average heap:
1383 M
stored heap:
10 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Fishburn_Impossibility

data:
CSV
timing:
0:01:26 elapsed time, 0:01:26 cpu time, factor 1.00
ML timing:
0:01:24 elapsed time, 0:01:26 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1425 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

IEEE_Floating_Point

data:
CSV
timing:
0:01:25 elapsed time, 0:01:25 cpu time, factor 1.00
ML timing:
0:01:23 elapsed time, 0:01:24 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1424 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lambda_Free_EPO

data:
CSV
timing:
0:01:25 elapsed time, 0:01:25 cpu time, factor 1.00
ML timing:
0:01:23 elapsed time, 0:01:24 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1433 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Presburger-Automata

data:
CSV
timing:
0:01:25 elapsed time, 0:01:24 cpu time, factor 0.99
ML timing:
0:01:22 elapsed time, 0:01:24 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1430 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

GewirthPGCProof

data:
CSV
timing:
0:01:25 elapsed time, 0:02:04 cpu time, factor 1.46
ML timing:
0:01:24 elapsed time, 0:00:33 cpu time, factor 0.40
maximum heap:
1499 M
average heap:
1431 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Shivers-CFA

data:
CSV
timing:
0:01:22 elapsed time, 0:01:21 cpu time, factor 0.99
ML timing:
0:01:20 elapsed time, 0:01:22 cpu time, factor 1.03
maximum heap:
1498 M
average heap:
1416 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

DynamicArchitectures

data:
CSV
timing:
0:01:21 elapsed time, 0:01:14 cpu time, factor 0.91
ML timing:
0:00:39 elapsed time, 0:00:39 cpu time, factor 1.01
maximum heap:
1497 M
average heap:
1348 M
stored heap:
4 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Diophantine_Eqns_Lin_Hom

data:
CSV
timing:
0:01:20 elapsed time, 0:01:20 cpu time, factor 1.00
ML timing:
0:01:19 elapsed time, 0:01:16 cpu time, factor 0.97
maximum heap:
1499 M
average heap:
1447 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Rewriting_Z

data:
CSV
timing:
0:01:20 elapsed time, 0:01:23 cpu time, factor 1.04
ML timing:
0:01:18 elapsed time, 0:01:15 cpu time, factor 0.96
maximum heap:
1498 M
average heap:
1456 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Octonions

data:
CSV
timing:
0:01:19 elapsed time, 0:01:19 cpu time, factor 1.00
ML timing:
0:01:17 elapsed time, 0:01:18 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1439 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Kuratowski_Closure_Complement

data:
CSV
timing:
0:01:19 elapsed time, 0:01:19 cpu time, factor 1.00
ML timing:
0:01:16 elapsed time, 0:01:18 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1421 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Euler_MacLaurin

data:
CSV
timing:
0:01:18 elapsed time, 0:01:18 cpu time, factor 1.00
ML timing:
0:01:15 elapsed time, 0:01:17 cpu time, factor 1.03
maximum heap:
1497 M
average heap:
1416 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Localization_Ring

data:
CSV
timing:
0:01:17 elapsed time, 0:01:19 cpu time, factor 1.03
ML timing:
0:01:14 elapsed time, 0:01:13 cpu time, factor 0.99
maximum heap:
1499 M
average heap:
1427 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Program-Conflict-Analysis

data:
CSV
timing:
0:01:15 elapsed time, 0:01:15 cpu time, factor 1.00
ML timing:
0:01:13 elapsed time, 0:01:14 cpu time, factor 1.03
maximum heap:
1496 M
average heap:
1413 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

HLDE

data:
CSV
timing:
0:01:15 elapsed time, 0:01:15 cpu time, factor 1.00
ML timing:
0:01:13 elapsed time, 0:01:11 cpu time, factor 0.97
maximum heap:
1499 M
average heap:
1450 M
Isabelle version:
8d548b8f63ca
AFP version:
0c094223204c

Well_Quasi_Orders

data:
CSV
timing:
0:01:15 elapsed time, 0:01:18 cpu time, factor 1.04
ML timing:
0:01:13 elapsed time, 0:01:10 cpu time, factor 0.96
maximum heap:
1495 M
average heap:
1419 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Noninterference_Sequential_Composition

data:
CSV
timing:
0:01:12 elapsed time, 0:01:11 cpu time, factor 0.99
ML timing:
0:00:50 elapsed time, 0:00:51 cpu time, factor 1.03
maximum heap:
1494 M
average heap:
1369 M
stored heap:
5 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Farkas

data:
CSV
timing:
0:01:12 elapsed time, 0:01:12 cpu time, factor 1.00
ML timing:
0:01:10 elapsed time, 0:01:10 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1412 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Types_Tableaus_and_Goedels_God

data:
CSV
timing:
0:01:10 elapsed time, 0:01:33 cpu time, factor 1.33
ML timing:
0:01:08 elapsed time, 0:00:27 cpu time, factor 0.40
maximum heap:
1498 M
average heap:
1270 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Monomorphic_Monad

data:
CSV
timing:
0:01:09 elapsed time, 0:01:09 cpu time, factor 1.00
ML timing:
0:01:06 elapsed time, 0:01:09 cpu time, factor 1.04
maximum heap:
1492 M
average heap:
1389 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

NormByEval

data:
CSV
timing:
0:01:08 elapsed time, 0:01:07 cpu time, factor 0.99
ML timing:
0:01:06 elapsed time, 0:01:07 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1409 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

FocusStreamsCaseStudies

data:
CSV
timing:
0:01:08 elapsed time, 0:01:08 cpu time, factor 1.00
ML timing:
0:01:07 elapsed time, 0:01:08 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1410 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

InformationFlowSlicing_Inter

data:
CSV
timing:
0:01:08 elapsed time, 0:01:02 cpu time, factor 0.91
ML timing:
0:00:59 elapsed time, 0:01:02 cpu time, factor 1.05
maximum heap:
1497 M
average heap:
1391 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Routing

data:
CSV
timing:
0:01:07 elapsed time, 0:01:05 cpu time, factor 0.97
ML timing:
0:00:38 elapsed time, 0:00:39 cpu time, factor 1.02
maximum heap:
1493 M
average heap:
1338 M
stored heap:
8 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Bell_Numbers_Spivey

data:
CSV
timing:
0:01:07 elapsed time, 0:01:07 cpu time, factor 1.00
ML timing:
0:00:39 elapsed time, 0:00:39 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1371 M
stored heap:
2 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CAVA_Base

data:
CSV
timing:
0:01:07 elapsed time, 0:01:06 cpu time, factor 0.99
ML timing:
0:00:20 elapsed time, 0:00:21 cpu time, factor 1.02
maximum heap:
1496 M
average heap:
1215 M
stored heap:
10 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Knuth_Morris_Pratt

data:
CSV
timing:
0:01:07 elapsed time, 0:01:07 cpu time, factor 1.00
ML timing:
0:01:03 elapsed time, 0:01:04 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1417 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Budan_Fourier

data:
CSV
timing:
0:01:06 elapsed time, 0:01:06 cpu time, factor 1.00
ML timing:
0:01:03 elapsed time, 0:01:04 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1403 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Floyd_Warshall

data:
CSV
timing:
0:01:05 elapsed time, 0:01:08 cpu time, factor 1.05
ML timing:
0:01:01 elapsed time, 0:00:56 cpu time, factor 0.93
maximum heap:
1498 M
average heap:
1416 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Probabilistic_System_Zoo-BNFs

data:
CSV
timing:
0:01:04 elapsed time, 0:01:04 cpu time, factor 1.00
ML timing:
0:01:02 elapsed time, 0:01:03 cpu time, factor 1.02
maximum heap:
1495 M
average heap:
1408 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Residuated_Lattices

data:
CSV
timing:
0:01:04 elapsed time, 0:01:04 cpu time, factor 1.00
ML timing:
0:01:02 elapsed time, 0:01:04 cpu time, factor 1.03
maximum heap:
1499 M
average heap:
1447 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lowe_Ontological_Argument

data:
CSV
timing:
0:01:04 elapsed time, 0:01:36 cpu time, factor 1.50
ML timing:
0:01:03 elapsed time, 0:00:17 cpu time, factor 0.27
maximum heap:
1498 M
average heap:
1229 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Polynomial_Interpolation

data:
CSV
timing:
0:01:04 elapsed time, 0:01:04 cpu time, factor 1.00
ML timing:
0:01:01 elapsed time, 0:01:03 cpu time, factor 1.02
maximum heap:
1496 M
average heap:
1393 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Pell

data:
CSV
timing:
0:01:03 elapsed time, 0:01:03 cpu time, factor 1.00
ML timing:
0:01:00 elapsed time, 0:01:01 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1381 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

OpSets

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.01
maximum heap:
1499 M
average heap:
1417 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

RSAPSS

data:
CSV
timing:
0:01:02 elapsed time, 0:01:02 cpu time, factor 1.00
ML timing:
0:00:59 elapsed time, 0:01:00 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1403 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

FOL-Fitting

data:
CSV
timing:
0:01:02 elapsed time, 0:01:02 cpu time, factor 1.00
ML timing:
0:01:00 elapsed time, 0:01:04 cpu time, factor 1.07
maximum heap:
1891 M
average heap:
1367 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Coinductive_Languages

data:
CSV
timing:
0:01:01 elapsed time, 0:01:04 cpu time, factor 1.05
ML timing:
0:01:00 elapsed time, 0:00:56 cpu time, factor 0.94
maximum heap:
1499 M
average heap:
1392 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

HereditarilyFinite

data:
CSV
timing:
0:01:01 elapsed time, 0:01:00 cpu time, factor 0.98
ML timing:
0:00:31 elapsed time, 0:00:32 cpu time, factor 1.01
maximum heap:
1497 M
average heap:
1383 M
stored heap:
4 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

POPLmark-deBruijn

data:
CSV
timing:
0:01:00 elapsed time, 0:01:00 cpu time, factor 1.00
ML timing:
0:00:57 elapsed time, 0:00:59 cpu time, factor 1.03
maximum heap:
1495 M
average heap:
1397 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Decreasing-Diagrams-II

data:
CSV
timing:
0:00:59 elapsed time, 0:00:57 cpu time, factor 0.97
ML timing:
0:00:55 elapsed time, 0:00:56 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1394 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Priority_Queue_Braun

data:
CSV
timing:
0:00:58 elapsed time, 0:00:58 cpu time, factor 1.00
ML timing:
0:00:56 elapsed time, 0:00:56 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1397 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CISC-Kernel

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
maximum heap:
1498 M
average heap:
1388 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Minsky_Machines

data:
CSV
timing:
0:00:57 elapsed time, 0:00:56 cpu time, factor 0.98
ML timing:
0:00:54 elapsed time, 0:00:55 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1381 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

GraphMarkingIBP

data:
CSV
timing:
0:00:57 elapsed time, 0:00:57 cpu time, factor 1.00
ML timing:
0:00:56 elapsed time, 0:00:56 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1387 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

SenSocialChoice

data:
CSV
timing:
0:00:57 elapsed time, 0:00:56 cpu time, factor 0.98
ML timing:
0:00:55 elapsed time, 0:00:55 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1386 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Decreasing-Diagrams

data:
CSV
timing:
0:00:56 elapsed time, 0:00:56 cpu time, factor 1.00
ML timing:
0:00:54 elapsed time, 0:00:54 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1389 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Show

data:
CSV
timing:
0:00:56 elapsed time, 0:00:56 cpu time, factor 1.00
ML timing:
0:00:53 elapsed time, 0:00:55 cpu time, factor 1.03
maximum heap:
1492 M
average heap:
1398 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

ConcurrentIMP

data:
CSV
timing:
0:00:55 elapsed time, 0:00:55 cpu time, factor 1.00
ML timing:
0:00:53 elapsed time, 0:00:55 cpu time, factor 1.04
maximum heap:
1499 M
average heap:
1382 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

FunWithTilings

data:
CSV
timing:
0:00:55 elapsed time, 0:00:55 cpu time, factor 1.00
ML timing:
0:00:54 elapsed time, 0:00:54 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
1433 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

IMAP-CRDT

data:
CSV
timing:
0:00:54 elapsed time, 0:00:52 cpu time, factor 0.96
ML timing:
0:00:51 elapsed time, 0:00:53 cpu time, factor 1.04
maximum heap:
1497 M
average heap:
1373 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CCS

data:
CSV
timing:
0:00:54 elapsed time, 0:00:53 cpu time, factor 0.98
ML timing:
0:00:51 elapsed time, 0:00:52 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1379 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

PSemigroupsConvolution

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
maximum heap:
1497 M
average heap:
1416 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Random_BSTs

data:
CSV
timing:
0:00:53 elapsed time, 0:00:52 cpu time, factor 0.98
ML timing:
0:00:15 elapsed time, 0:00:16 cpu time, factor 1.03
maximum heap:
1479 M
average heap:
1080 M
stored heap:
8 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

BNF_CC

data:
CSV
timing:
0:00:53 elapsed time, 0:00:53 cpu time, factor 1.00
ML timing:
0:00:52 elapsed time, 0:00:54 cpu time, factor 1.04
maximum heap:
1491 M
average heap:
1369 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Finite_Automata_HF

data:
CSV
timing:
0:00:53 elapsed time, 0:00:56 cpu time, factor 1.06
ML timing:
0:00:52 elapsed time, 0:00:48 cpu time, factor 0.92
maximum heap:
1498 M
average heap:
1410 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Sqrt_Babylonian

data:
CSV
timing:
0:00:53 elapsed time, 0:00:53 cpu time, factor 1.00
ML timing:
0:00:35 elapsed time, 0:00:35 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1387 M
stored heap:
4 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Weight_Balanced_Trees

data:
CSV
timing:
0:00:52 elapsed time, 0:00:51 cpu time, factor 0.98
ML timing:
0:00:50 elapsed time, 0:00:51 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1374 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Name_Carrying_Type_Inference

data:
CSV
timing:
0:00:52 elapsed time, 0:00:52 cpu time, factor 1.00
ML timing:
0:00:50 elapsed time, 0:00:52 cpu time, factor 1.03
maximum heap:
1497 M
average heap:
1409 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

JNF-HOL-Lib

data:
CSV
timing:
0:00:52 elapsed time, 0:00:42 cpu time, factor 0.81
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.01
maximum heap:
754 M
average heap:
539 M
stored heap:
3 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

FLP

data:
CSV
timing:
0:00:52 elapsed time, 0:00:52 cpu time, factor 1.00
ML timing:
0:00:51 elapsed time, 0:00:51 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1388 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Abstract_Completeness

data:
CSV
timing:
0:00:51 elapsed time, 0:00:50 cpu time, factor 0.98
ML timing:
0:00:18 elapsed time, 0:00:19 cpu time, factor 1.03
maximum heap:
1495 M
average heap:
1241 M
stored heap:
9 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Fermat3_4

data:
CSV
timing:
0:00:49 elapsed time, 0:00:49 cpu time, factor 1.00
ML timing:
0:00:46 elapsed time, 0:00:46 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1367 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Pratt_Certificate

data:
CSV
timing:
0:00:49 elapsed time, 0:00:49 cpu time, factor 1.00
ML timing:
0:00:46 elapsed time, 0:00:46 cpu time, factor 1.01
maximum heap:
1500 M
average heap:
1373 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Optimal_BST

data:
CSV
timing:
0:00:49 elapsed time, 0:00:48 cpu time, factor 0.98
ML timing:
0:00:46 elapsed time, 0:00:47 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1361 M
Isabelle version:
56d5bb8c102e
AFP version:
bc6ca24b0141

TLA

data:
CSV
timing:
0:00:49 elapsed time, 0:00:49 cpu time, factor 1.00
ML timing:
0:00:48 elapsed time, 0:00:48 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1375 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

AVL-Trees

data:
CSV
timing:
0:00:49 elapsed time, 0:00:49 cpu time, factor 1.00
ML timing:
0:00:48 elapsed time, 0:00:48 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1379 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Jordan_Hoelder

data:
CSV
timing:
0:00:49 elapsed time, 0:00:48 cpu time, factor 0.98
ML timing:
0:00:45 elapsed time, 0:00:46 cpu time, factor 1.03
maximum heap:
1496 M
average heap:
1374 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Error_Function

data:
CSV
timing:
0:00:48 elapsed time, 0:00:48 cpu time, factor 1.00
ML timing:
0:00:46 elapsed time, 0:00:47 cpu time, factor 1.03
maximum heap:
1493 M
average heap:
1376 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Binomial-Heaps

data:
CSV
timing:
0:00:48 elapsed time, 0:00:48 cpu time, factor 1.00
ML timing:
0:00:45 elapsed time, 0:00:48 cpu time, factor 1.06
maximum heap:
1490 M
average heap:
1366 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Category2

data:
CSV
timing:
0:00:47 elapsed time, 0:00:47 cpu time, factor 1.00
ML timing:
0:00:45 elapsed time, 0:00:46 cpu time, factor 1.04
maximum heap:
1492 M
average heap:
1364 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Derangements

data:
CSV
timing:
0:00:47 elapsed time, 0:00:47 cpu time, factor 1.00
ML timing:
0:00:45 elapsed time, 0:00:46 cpu time, factor 1.03
maximum heap:
1498 M
average heap:
1371 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Catalan_Numbers

data:
CSV
timing:
0:00:47 elapsed time, 0:00:47 cpu time, factor 1.00
ML timing:
0:00:44 elapsed time, 0:00:46 cpu time, factor 1.03
maximum heap:
1491 M
average heap:
1372 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Stream_Fusion_Code

data:
CSV
timing:
0:00:47 elapsed time, 0:00:47 cpu time, factor 1.00
ML timing:
0:00:44 elapsed time, 0:00:45 cpu time, factor 1.03
maximum heap:
1493 M
average heap:
1352 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lambda_Free_RPOs

data:
CSV
timing:
0:00:47 elapsed time, 0:00:47 cpu time, factor 1.00
ML timing:
0:00:44 elapsed time, 0:00:45 cpu time, factor 1.03
maximum heap:
1496 M
average heap:
1378 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

XML

data:
CSV
timing:
0:00:46 elapsed time, 0:00:46 cpu time, factor 1.00
ML timing:
0:00:43 elapsed time, 0:00:46 cpu time, factor 1.05
maximum heap:
1492 M
average heap:
1363 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Separation_Algebra

data:
CSV
timing:
0:00:45 elapsed time, 0:00:45 cpu time, factor 1.00
ML timing:
0:00:43 elapsed time, 0:00:44 cpu time, factor 1.03
maximum heap:
1498 M
average heap:
1363 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Neumann_Morgenstern_Utility

data:
CSV
timing:
0:00:45 elapsed time, 0:00:45 cpu time, factor 1.00
ML timing:
0:00:42 elapsed time, 0:00:43 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1382 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Cayley_Hamilton

data:
CSV
timing:
0:00:44 elapsed time, 0:00:44 cpu time, factor 1.00
ML timing:
0:00:42 elapsed time, 0:00:43 cpu time, factor 1.04
maximum heap:
1491 M
average heap:
1356 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Transformer_Semantics

data:
CSV
timing:
0:00:44 elapsed time, 0:00:37 cpu time, factor 0.84
ML timing:
0:00:35 elapsed time, 0:00:35 cpu time, factor 0.99
maximum heap:
1498 M
average heap:
1372 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Boolean_Expression_Checkers

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:44 cpu time, factor 1.05
maximum heap:
1494 M
average heap:
1365 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

FOL_Harrison

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:42 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1366 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Regex_Equivalence_Examples

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.07
maximum heap:
1498 M
average heap:
1257 M
Isabelle version:
8d548b8f63ca
AFP version:
0c094223204c

BNF_Operations

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:45 cpu time, factor 1.08
maximum heap:
1481 M
average heap:
1330 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Optics

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 1.02
maximum heap:
1498 M
average heap:
1354 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Sturm_Tarski

data:
CSV
timing:
0:00:42 elapsed time, 0:00:42 cpu time, factor 1.00
ML timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1356 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Inductive_Confidentiality

data:
CSV
timing:
0:00:42 elapsed time, 0:00:41 cpu time, factor 0.98
ML timing:
0:00:40 elapsed time, 0:00:41 cpu time, factor 1.03
maximum heap:
1494 M
average heap:
1355 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Posix-Lexing

data:
CSV
timing:
0:00:41 elapsed time, 0:00:40 cpu time, factor 0.98
ML timing:
0:00:38 elapsed time, 0:00:40 cpu time, factor 1.05
maximum heap:
1494 M
average heap:
1366 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Completeness

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
0:00:40 elapsed time, 0:00:41 cpu time, factor 1.03
maximum heap:
1494 M
average heap:
1344 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Functional-Automata

data:
CSV
timing:
0:00:41 elapsed time, 0:00:44 cpu time, factor 1.07
ML timing:
0:00:39 elapsed time, 0:00:35 cpu time, factor 0.89
maximum heap:
1496 M
average heap:
1310 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Separata

data:
CSV
timing:
0:00:41 elapsed time, 0:00:40 cpu time, factor 0.98
ML timing:
0:00:38 elapsed time, 0:00:39 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1392 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Median_Of_Medians_Selection

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
0:00:39 elapsed time, 0:00:40 cpu time, factor 1.03
maximum heap:
1495 M
average heap:
1353 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Quaternions

data:
CSV
timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.00
ML timing:
0:00:37 elapsed time, 0:00:38 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1371 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Randomised_BSTs

data:
CSV
timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.00
ML timing:
0:00:37 elapsed time, 0:00:38 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1344 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Recursion-Theory-I

data:
CSV
timing:
0:00:40 elapsed time, 0:00:39 cpu time, factor 0.98
ML timing:
0:00:38 elapsed time, 0:00:39 cpu time, factor 1.03
maximum heap:
1494 M
average heap:
1346 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Strong_Security

data:
CSV
timing:
0:00:40 elapsed time, 0:00:40 cpu time, factor 1.00
ML timing:
0:00:38 elapsed time, 0:00:39 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1347 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

HyperCTL

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
0:00:35 elapsed time, 0:00:36 cpu time, factor 1.03
maximum heap:
1496 M
average heap:
1372 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Ribbon_Proofs

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
0:00:35 elapsed time, 0:00:36 cpu time, factor 1.03
maximum heap:
1497 M
average heap:
1345 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Transitive-Closure-II

data:
CSV
timing:
0:00:37 elapsed time, 0:00:40 cpu time, factor 1.08
ML timing:
0:00:35 elapsed time, 0:00:31 cpu time, factor 0.89
maximum heap:
1496 M
average heap:
1237 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Euler_Partition

data:
CSV
timing:
0:00:37 elapsed time, 0:00:37 cpu time, factor 1.00
ML timing:
0:00:35 elapsed time, 0:00:36 cpu time, factor 1.03
maximum heap:
1496 M
average heap:
1338 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Noninterference_Ipurge_Unwinding

data:
CSV
timing:
0:00:37 elapsed time, 0:00:37 cpu time, factor 1.00
ML timing:
0:00:18 elapsed time, 0:00:19 cpu time, factor 1.02
maximum heap:
1489 M
average heap:
1178 M
stored heap:
2 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Finger-Trees

data:
CSV
timing:
0:00:37 elapsed time, 0:00:36 cpu time, factor 0.97
ML timing:
0:00:34 elapsed time, 0:00:36 cpu time, factor 1.06
maximum heap:
1487 M
average heap:
1327 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Noninterference_Concurrent_Composition

data:
CSV
timing:
0:00:35 elapsed time, 0:00:35 cpu time, factor 1.00
ML timing:
0:00:33 elapsed time, 0:00:34 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1334 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Abstract-Hoare-Logics

data:
CSV
timing:
0:00:34 elapsed time, 0:00:33 cpu time, factor 0.97
ML timing:
0:00:32 elapsed time, 0:00:32 cpu time, factor 1.00
maximum heap:
1491 M
average heap:
1276 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

InformationFlowSlicing

data:
CSV
timing:
0:00:34 elapsed time, 0:00:27 cpu time, factor 0.79
ML timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.02
maximum heap:
1496 M
average heap:
1262 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

PropResPI

data:
CSV
timing:
0:00:34 elapsed time, 0:00:34 cpu time, factor 1.00
ML timing:
0:00:32 elapsed time, 0:00:33 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1346 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

JiveDataStoreModel

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.03
maximum heap:
1489 M
average heap:
1309 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Noninterference_Generic_Unwinding

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
0:00:32 elapsed time, 0:00:32 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1328 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Noninterference_CSP

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.03
maximum heap:
1492 M
average heap:
1144 M
stored heap:
4 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Trie

data:
CSV
timing:
0:00:32 elapsed time, 0:00:32 cpu time, factor 1.00
ML timing:
0:00:29 elapsed time, 0:00:30 cpu time, factor 1.02
maximum heap:
1493 M
average heap:
1308 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Abstract_Soundness

data:
CSV
timing:
0:00:32 elapsed time, 0:00:32 cpu time, factor 1.00
ML timing:
0:00:29 elapsed time, 0:00:30 cpu time, factor 1.04
maximum heap:
1494 M
average heap:
1230 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Minimal_SSA

data:
CSV
timing:
0:00:32 elapsed time, 0:00:26 cpu time, factor 0.81
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1323 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

First_Welfare_Theorem

data:
CSV
timing:
0:00:31 elapsed time, 0:00:31 cpu time, factor 1.00
ML timing:
0:00:29 elapsed time, 0:00:30 cpu time, factor 1.02
maximum heap:
1497 M
average heap:
1331 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Bernoulli

data:
CSV
timing:
0:00:31 elapsed time, 0:00:31 cpu time, factor 1.00
ML timing:
0:00:29 elapsed time, 0:00:29 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1309 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Random_Graph_Subgraph_Threshold

data:
CSV
timing:
0:00:31 elapsed time, 0:00:28 cpu time, factor 0.90
ML timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1325 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

WorkerWrapper

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
0:00:28 elapsed time, 0:00:29 cpu time, factor 1.02
maximum heap:
1490 M
average heap:
1253 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

FeatherweightJava

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
0:00:29 elapsed time, 0:00:29 cpu time, factor 1.03
maximum heap:
1496 M
average heap:
1297 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Huffman

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.01
maximum heap:
1498 M
average heap:
1294 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Efficient-Mergesort

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1273 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Selection_Heap_Sort

data:
CSV
timing:
0:00:28 elapsed time, 0:00:27 cpu time, factor 0.96
ML timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.03
maximum heap:
1495 M
average heap:
1307 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Card_Partitions

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.01
maximum heap:
1497 M
average heap:
1299 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Dynamic_Tables

data:
CSV
timing:
0:00:28 elapsed time, 0:00:22 cpu time, factor 0.79
ML timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.01
maximum heap:
1496 M
average heap:
1195 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

First_Order_Terms

data:
CSV
timing:
0:00:28 elapsed time, 0:00:27 cpu time, factor 0.96
ML timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.03
maximum heap:
1488 M
average heap:
1280 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CryptoBasedCompositionalProperties

data:
CSV
timing:
0:00:28 elapsed time, 0:00:27 cpu time, factor 0.96
ML timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1258 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Card_Multisets

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
0:00:26 elapsed time, 0:00:27 cpu time, factor 1.04
maximum heap:
1492 M
average heap:
1278 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Landau_Symbols

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
0:00:25 elapsed time, 0:00:25 cpu time, factor 1.03
maximum heap:
1491 M
average heap:
1265 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Robbins-Conjecture

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:25 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1326 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Menger

data:
CSV
timing:
0:00:26 elapsed time, 0:00:25 cpu time, factor 0.96
ML timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.02
maximum heap:
1496 M
average heap:
1302 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Ordinal

data:
CSV
timing:
0:00:26 elapsed time, 0:00:25 cpu time, factor 0.96
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.01
maximum heap:
1430 M
average heap:
780 M
stored heap:
4 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Noninterference_Inductive_Unwinding

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.03
maximum heap:
1494 M
average heap:
1261 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

SumSquares

data:
CSV
timing:
0:00:25 elapsed time, 0:00:25 cpu time, factor 1.00
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.01
maximum heap:
1499 M
average heap:
1223 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Tycon

data:
CSV
timing:
0:00:25 elapsed time, 0:00:24 cpu time, factor 0.96
ML timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.03
maximum heap:
1489 M
average heap:
1213 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

MiniML

data:
CSV
timing:
0:00:24 elapsed time, 0:00:23 cpu time, factor 0.96
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.02
maximum heap:
1494 M
average heap:
1231 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Old_Datatype_Show

data:
CSV
timing:
0:00:24 elapsed time, 0:00:19 cpu time, factor 0.79
ML timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.03
maximum heap:
1492 M
average heap:
1165 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

Comparison_Sort_Lower_Bound

data:
CSV
timing:
0:00:24 elapsed time, 0:00:23 cpu time, factor 0.96
ML timing:
0:00:21 elapsed time, 0:00:22 cpu time, factor 1.02
maximum heap:
1496 M
average heap:
1249 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Orbit_Stabiliser

data:
CSV
timing:
0:00:24 elapsed time, 0:00:23 cpu time, factor 0.96
ML timing:
0:00:19 elapsed time, 0:00:20 cpu time, factor 1.02
maximum heap:
1497 M
average heap:
1263 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Constructor_Funs

data:
CSV
timing:
0:00:24 elapsed time, 0:00:34 cpu time, factor 1.42
ML timing:
0:00:22 elapsed time, 0:00:09 cpu time, factor 0.41
maximum heap:
1475 M
average heap:
1123 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Latin_Square

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1254 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Impossible_Geometry

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
0:00:21 elapsed time, 0:00:22 cpu time, factor 1.02
maximum heap:
1497 M
average heap:
1231 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lam-ml-Normalization

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
0:00:21 elapsed time, 0:00:22 cpu time, factor 1.04
maximum heap:
1493 M
average heap:
1213 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Pop_Refinement

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.02
maximum heap:
1493 M
average heap:
1241 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

RefinementReactive

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
0:00:21 elapsed time, 0:00:22 cpu time, factor 1.01
maximum heap:
1497 M
average heap:
1239 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Cauchy

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
maximum heap:
1159 M
average heap:
688 M
stored heap:
1 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Integration

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.01
maximum heap:
1495 M
average heap:
1220 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Topology

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
0:00:19 elapsed time, 0:00:20 cpu time, factor 1.05
maximum heap:
1486 M
average heap:
1195 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

FileRefinement

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
1175 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Concurrent_Ref_Alg

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1266 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

VolpanoSmith

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.02
maximum heap:
1494 M
average heap:
1186 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

MonoBoolTranAlgebra

data:
CSV
timing:
0:00:20 elapsed time, 0:00:19 cpu time, factor 0.95
ML timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.03
maximum heap:
1492 M
average heap:
1154 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Rank_Nullity_Theorem

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:18 cpu time, factor 1.03
maximum heap:
1491 M
average heap:
1200 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

LambdaMu

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:18 cpu time, factor 1.02
maximum heap:
1498 M
average heap:
1182 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

GPU_Kernel_PL

data:
CSV
timing:
0:00:19 elapsed time, 0:00:18 cpu time, factor 0.95
ML timing:
0:00:17 elapsed time, 0:00:18 cpu time, factor 1.04
maximum heap:
1486 M
average heap:
1167 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lower_Semicontinuous

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.01
maximum heap:
1496 M
average heap:
1166 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Buffons_Needle

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
maximum heap:
1498 M
average heap:
1099 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Stream-Fusion

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
0:00:17 elapsed time, 0:00:18 cpu time, factor 1.02
maximum heap:
1488 M
average heap:
1023 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Verified-Prover

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.02
maximum heap:
1496 M
average heap:
1179 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

HotelKeyCards

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.02
maximum heap:
1495 M
average heap:
1172 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Tree_Decomposition

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.01
maximum heap:
1497 M
average heap:
1219 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Imperative_Insertion_Sort

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1139 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Matroids

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.01
maximum heap:
1495 M
average heap:
1132 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Epistemic_Logic

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
0:00:15 elapsed time, 0:00:16 cpu time, factor 1.03
maximum heap:
1494 M
average heap:
1156 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

ArrowImpossibilityGS

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.02
maximum heap:
1494 M
average heap:
1141 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Binomial-Queues

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
0:00:15 elapsed time, 0:00:16 cpu time, factor 1.03
maximum heap:
1489 M
average heap:
1136 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

FinFun

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
0:00:15 elapsed time, 0:00:16 cpu time, factor 1.03
maximum heap:
1487 M
average heap:
1098 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Secondary_Sylow

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.02
maximum heap:
1496 M
average heap:
1083 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Transitive-Closure

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.01
maximum heap:
1492 M
average heap:
1054 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834

MuchAdoAboutTwo

data:
CSV
timing:
0:00:16 elapsed time, 0:00:15 cpu time, factor 0.94
ML timing:
0:00:12 elapsed time, 0:00:13 cpu time, factor 1.03
maximum heap:
1488 M
average heap:
1053 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Falling_Factorial_Sum

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1126 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Category

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:13 cpu time, factor 1.03
maximum heap:
1491 M
average heap:
1079 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Case_Labeling

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.01
maximum heap:
1491 M
average heap:
1128 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Source_Coding_Theorem

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:13 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
1063 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Bounded_Deducibility_Security

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:13 cpu time, factor 1.03
maximum heap:
1495 M
average heap:
1095 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Certification_Monads

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.04
maximum heap:
1485 M
average heap:
1095 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

TortoiseHare

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:13 cpu time, factor 1.01
maximum heap:
1495 M
average heap:
1061 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Card_Number_Partitions

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
maximum heap:
1497 M
average heap:
999 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CYK

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
0:00:12 elapsed time, 0:00:13 cpu time, factor 1.03
maximum heap:
1490 M
average heap:
1049 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Pairing_Heap

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:12 cpu time, factor 1.04
maximum heap:
1481 M
average heap:
987 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Tail_Recursive_Functions

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:12 cpu time, factor 1.05
maximum heap:
1471 M
average heap:
1035 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Chord_Segments

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
1012 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Partial_Function_MR

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:12 cpu time, factor 1.03
maximum heap:
1472 M
average heap:
1005 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Ramsey-Infinite

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.01
maximum heap:
1496 M
average heap:
1178 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Stuttering_Equivalence

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:10 cpu time, factor 1.01
maximum heap:
1492 M
average heap:
955 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Discrete_Summation

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
maximum heap:
1495 M
average heap:
975 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Stewart_Apollonius

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
932 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

ShortestPath

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:10 cpu time, factor 1.03
maximum heap:
1486 M
average heap:
938 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

ClockSynchInst

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.01
maximum heap:
1495 M
average heap:
931 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

GoedelGod

data:
CSV
timing:
0:00:12 elapsed time, 0:00:13 cpu time, factor 1.08
ML timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.89
maximum heap:
1499 M
average heap:
1261 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Descartes_Sign_Rule

data:
CSV
timing:
0:00:12 elapsed time, 0:00:11 cpu time, factor 0.92
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.01
maximum heap:
1495 M
average heap:
825 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

GenClock

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.01
maximum heap:
1496 M
average heap:
914 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

BinarySearchTree

data:
CSV
timing:
0:00:11 elapsed time, 0:00:10 cpu time, factor 0.91
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.02
maximum heap:
1492 M
average heap:
899 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Mason_Stothers

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.01
maximum heap:
1396 M
average heap:
792 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

DPT-SAT-Solver

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 0.96
maximum heap:
1498 M
average heap:
995 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Triangle

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
maximum heap:
1499 M
average heap:
903 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

List-Index

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.01
maximum heap:
1497 M
average heap:
888 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

DataRefinementIBP

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
maximum heap:
1451 M
average heap:
798 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

List_Interleaving

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.03
maximum heap:
1487 M
average heap:
873 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

LatticeProperties

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.02
maximum heap:
1494 M
average heap:
887 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Gauss-Jordan-Elim-Fun

data:
CSV
timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.90
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.01
maximum heap:
1498 M
average heap:
826 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Compiling-Exceptions-Correctly

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.04
maximum heap:
1483 M
average heap:
832 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Fisher_Yates

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.01
maximum heap:
1242 M
average heap:
693 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lazy-Lists-II

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.01
maximum heap:
762 M
average heap:
576 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lazy_Case

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.03
maximum heap:
1117 M
average heap:
667 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Marriage

data:
CSV
timing:
0:00:08 elapsed time, 0:00:07 cpu time, factor 0.88
ML timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
maximum heap:
1210 M
average heap:
665 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Liouville_Numbers

data:
CSV
timing:
0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.01
maximum heap:
755 M
average heap:
540 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Perfect-Number-Thm

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.01
maximum heap:
754 M
average heap:
559 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Cartan_FP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 0.99
maximum heap:
1017 M
average heap:
674 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Open_Induction

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.01
maximum heap:
1107 M
average heap:
676 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Ptolemys_Theorem

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.01
maximum heap:
754 M
average heap:
591 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Minkowskis_Theorem

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.01
maximum heap:
755 M
average heap:
597 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Surprise_Paradox

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.03
maximum heap:
763 M
average heap:
553 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

AnselmGod

data:
CSV
timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.17
ML timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.79
maximum heap:
932 M
average heap:
575 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lehmer

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.01
maximum heap:
754 M
average heap:
527 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Max-Card-Matching

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.01
maximum heap:
755 M
average heap:
559 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lifting_Definition_Option

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
maximum heap:
765 M
average heap:
541 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

CofGroups

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.02
maximum heap:
758 M
average heap:
497 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

FFT

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.01
maximum heap:
755 M
average heap:
509 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Skew_Heap

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
maximum heap:
598 M
average heap:
381 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Free-Boolean-Algebra

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
maximum heap:
726 M
average heap:
432 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Card_Equiv_Relations

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
maximum heap:
523 M
average heap:
332 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

FunWithFunctions

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
maximum heap:
754 M
average heap:
538 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

RIPEMD-160-SPARK

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
0:00:01 elapsed time
maximum heap:
269 M
average heap:
185 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:02 elapsed time
maximum heap:
603 M
average heap:
381 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Monad_Normalisation

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
0:00:01 elapsed time
maximum heap:
514 M
average heap:
324 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

General-Triangle

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
0:00:01 elapsed time
maximum heap:
434 M
average heap:
287 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Bondy

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
252 M
average heap:
205 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Roy_Floyd_Warshall

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
maximum heap:
329 M
average heap:
241 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Ordinals_and_Cardinals

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
13 M
average heap:
13 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Example-Submission

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
maximum heap:
18 M
average heap:
18 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Datatype_Order_Generator

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:08:27 elapsed time, 0:08:31 cpu time, factor 1.01
maximum heap:
2497 M
average heap:
1523 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Collections

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:16:12 elapsed time, 0:13:00 cpu time, factor 0.80
maximum heap:
2203 M
average heap:
1571 M
stored heap:
226 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Monad_Memo_DP

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:08:54 elapsed time, 0:09:05 cpu time, factor 1.02
maximum heap:
1499 M
average heap:
1482 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Universal_Turing_Machine

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Flow_Networks

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:08:51 elapsed time, 0:08:21 cpu time, factor 0.94
maximum heap:
1500 M
average heap:
1479 M
Isabelle version:
1bea05713dde
AFP version:
5194c6810834