author | wenzelm |
Fri, 28 Aug 2015 11:09:26 +0200 | |
changeset 61036 | f6f2959bed67 |
parent 59182 | dc41b77dcc8f |
child 61078 | 528dec1c400b |
permissions | -rwxr-xr-x |
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
1 |
#!/usr/bin/env bash |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
2 |
# |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
3 |
# Author: Makarius |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
4 |
# |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
5 |
# DESCRIPTION: Standard statistics. |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
6 |
|
44152 | 7 |
THIS="$(cd "$(dirname "$0")"; pwd)" |
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
8 |
|
51562
5fffa75d2432
separate isatest with skip_proofs, to give some impression of performance without most of the proofs;
wenzelm
parents:
51059
diff
changeset
|
9 |
PLATFORMS="at-poly at-poly-test afp at64-poly mac-poly-M2 mac-poly-M4 mac-poly64-M2 mac-poly64-M4 mac-poly-M8 mac-poly-M8-skip_proofs mac-poly64-M8 at-sml-dev" |
24831
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
10 |
|
45194 | 11 |
ISABELLE_SESSIONS=" |
12 |
HOL |
|
13 |
HOL-Algebra |
|
14 |
HOL-Auth |
|
15 |
HOL-Bali |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
16 |
HOL-Cardinals |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
17 |
HOL-Codegenerator_Test |
59181 | 18 |
HOL-Datatype_Examples |
45194 | 19 |
HOL-Decision_Procs |
20 |
HOL-Hahn_Banach |
|
21 |
HOL-Hoare |
|
22 |
HOL-Hoare_Parallel |
|
23 |
HOL-IMP |
|
24 |
HOL-IMPP |
|
25 |
HOL-IOA |
|
26 |
HOL-Imperative_HOL |
|
27 |
HOL-Import |
|
28 |
HOL-Induct |
|
29 |
HOL-Isar_Examples |
|
30 |
HOL-Lattice |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
31 |
HOL-Library |
46988
9f492f5b0cec
renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP;
wenzelm
parents:
46651
diff
changeset
|
32 |
HOL-Matrix_LP |
45194 | 33 |
HOL-Metis_Examples |
34 |
HOL-MicroJava |
|
35 |
HOL-Mirabelle |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
36 |
HOL-Mirabelle-ex |
45194 | 37 |
HOL-Multivariate_Analysis |
38 |
HOL-Mutabelle |
|
39 |
HOL-NSA |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
40 |
HOL-NSA-Examples |
45194 | 41 |
HOL-NanoJava |
59181 | 42 |
HOL-Nitpick_Examples |
45194 | 43 |
HOL-Nominal |
45142
97e81a8aa277
more complete stats, including small sessions which provide some clues on main HOL baseline performance;
wenzelm
parents:
44993
diff
changeset
|
44 |
HOL-Nominal-Examples |
45194 | 45 |
HOL-Number_Theory |
46 |
HOL-Old_Number_Theory |
|
47 |
HOL-Predicate_Compile_Examples |
|
45142
97e81a8aa277
more complete stats, including small sessions which provide some clues on main HOL baseline performance;
wenzelm
parents:
44993
diff
changeset
|
48 |
HOL-Probability |
45194 | 49 |
HOL-Prolog |
50 |
HOL-Proofs |
|
51 |
HOL-Proofs-Extraction |
|
52 |
HOL-Proofs-Lambda |
|
53 |
HOL-Proofs-ex |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
54 |
HOL-Quickcheck_Benchmark |
46651 | 55 |
HOL-Quickcheck_Examples |
45194 | 56 |
HOL-Quotient_Examples |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
57 |
HOL-Record_Benchmark |
45194 | 58 |
HOL-SET_Protocol |
59 |
HOL-SPARK |
|
60 |
HOL-SPARK-Examples |
|
61 |
HOL-SPARK-Manual |
|
62 |
HOL-Statespace |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
63 |
HOL-TLA |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
64 |
HOL-TLA-Buffer |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
65 |
HOL-TLA-Inc |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
66 |
HOL-TLA-Memory |
45194 | 67 |
HOL-TPTP |
68 |
HOL-UNITY |
|
69 |
HOL-Unix |
|
70 |
HOL-Word |
|
71 |
HOL-Word-Examples |
|
72 |
HOL-Word-SMT_Examples |
|
45142
97e81a8aa277
more complete stats, including small sessions which provide some clues on main HOL baseline performance;
wenzelm
parents:
44993
diff
changeset
|
73 |
HOL-ZF |
45194 | 74 |
HOL-ex |
75 |
HOLCF |
|
76 |
HOLCF-FOCUS |
|
77 |
HOLCF-IMP |
|
78 |
HOLCF-Library |
|
79 |
HOLCF-Tutorial |
|
80 |
HOLCF-ex |
|
81 |
IOA |
|
82 |
IOA-ABP |
|
83 |
IOA-NTP |
|
84 |
IOA-Storage |
|
85 |
IOA-ex |
|
52283 | 86 |
Pure |
53164
beb4ee344c22
clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL;
wenzelm
parents:
52283
diff
changeset
|
87 |
Spec_Check |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
88 |
ZF |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
89 |
ZF-AC |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
90 |
ZF-Coind |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
91 |
ZF-Constructible |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
92 |
ZF-IMP |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
93 |
ZF-Induct |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
94 |
ZF-Resid |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
95 |
ZF-UNITY |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
96 |
ZF-ex |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
97 |
" |
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
98 |
|
45194 | 99 |
AFP_SESSIONS=" |
59182 | 100 |
AODV |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
101 |
AVL-Trees |
59182 | 102 |
AWN |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
103 |
Abortable_Linearizable_Modules |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
104 |
Abstract-Hoare-Logics |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
105 |
Abstract-Rewriting |
59182 | 106 |
Abstract_Completeness |
107 |
Affine_Arithmetic |
|
108 |
Amortized_Complexity |
|
45194 | 109 |
ArrowImpossibilityGS |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
110 |
AutoFocus-Stream |
59182 | 111 |
Automatic_Refinement |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
112 |
BDD |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
113 |
BinarySearchTree |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
114 |
Binomial-Heaps |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
115 |
Binomial-Queues |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
116 |
Bondy |
59182 | 117 |
Boolean_Expression_Checkers |
118 |
Bounded_Deducibility_Security |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
119 |
BytecodeLogicJmlTypes |
59182 | 120 |
CAVA_Automata |
121 |
CAVA_LTL_Modelchecker |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
122 |
CCS |
59182 | 123 |
CISC-Kernel |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
124 |
Category |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
125 |
Category2 |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
126 |
Cauchy |
59182 | 127 |
Cayley_Hamilton |
128 |
Certification_Monads |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
129 |
Circus |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
130 |
ClockSynchInst |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
131 |
CofGroups |
45194 | 132 |
Coinductive |
59182 | 133 |
Coinductive_Languages |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
134 |
Collections |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
135 |
Compiling-Exceptions-Correctly |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
136 |
Completeness |
59182 | 137 |
ComponentDependencies |
52283 | 138 |
Containers |
45194 | 139 |
CoreC++ |
59182 | 140 |
CryptoBasedCompositionalProperties |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
141 |
DPT-SAT-Solver |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
142 |
DataRefinementIBP |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
143 |
Datatype_Order_Generator |
59182 | 144 |
Decreasing-Diagrams |
145 |
Density_Compiler |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
146 |
Depth-First-Search |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
147 |
Dijkstra_Shortest_Path |
59182 | 148 |
Discrete_Summation |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
149 |
DiskPaxos |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
150 |
Efficient-Mergesort |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
151 |
Example-Submission |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
152 |
FFT |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
153 |
FOL-Fitting |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
154 |
FeatherweightJava |
59182 | 155 |
Featherweight_OCL |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
156 |
Fermat3_4 |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
157 |
FileRefinement |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
158 |
FinFun |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
159 |
Finger-Trees |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
160 |
Flyspeck-Tame |
59182 | 161 |
FocusStreamsCaseStudies |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
162 |
Free-Boolean-Algebra |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
163 |
Free-Groups |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
164 |
FunWithFunctions |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
165 |
FunWithTilings |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
166 |
Functional-Automata |
59182 | 167 |
GPU_Kernel_PL |
168 |
Gabow_SCC |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
169 |
Gauss-Jordan-Elim-Fun |
59182 | 170 |
Gauss_Jordan |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
171 |
GenClock |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
172 |
General-Triangle |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
173 |
Girth_Chromatic |
59182 | 174 |
GoedelGod |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
175 |
GraphMarkingIBP |
52283 | 176 |
Graph_Theory |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
177 |
Group-Ring-Module |
45194 | 178 |
HRB-Slicing |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
179 |
Heard_Of |
59182 | 180 |
HereditarilyFinite |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
181 |
HotelKeyCards |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
182 |
Huffman |
59182 | 183 |
HyperCTL |
184 |
IEEE_Floating_Point |
|
185 |
Imperative_Insertion_Sort |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
186 |
Impossible_Geometry |
59182 | 187 |
Incompleteness |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
188 |
Inductive_Confidentiality |
52283 | 189 |
InformationFlowSlicing |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
190 |
Integration |
45194 | 191 |
Jinja |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
192 |
JinjaThreads |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
193 |
JiveDataStoreModel |
59182 | 194 |
Jordan_Hoelder |
195 |
KAT_and_DRA |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
196 |
KBPs |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
197 |
Kleene_Algebra |
59182 | 198 |
Koenigsberg_Friendship |
199 |
LTL_to_GBA |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
200 |
Lam-ml-Normalization |
45194 | 201 |
LatticeProperties |
52283 | 202 |
Launchbury |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
203 |
Lazy-Lists-II |
59182 | 204 |
Lehmer |
205 |
Lifting_Definition_Option |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
206 |
LightweightJava |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
207 |
LinearQuantifierElim |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
208 |
List-Index |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
209 |
List-Infinite |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
210 |
Locally-Nameless-Sigma |
45194 | 211 |
Lower_Semicontinuous |
59182 | 212 |
MSO_Regex_Equivalence |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
213 |
Markov_Models |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
214 |
Marriage |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
215 |
Matrix |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
216 |
Max-Card-Matching |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
217 |
MiniML |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
218 |
MonoBoolTranAlgebra |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
219 |
MuchAdoAboutTwo |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
220 |
Myhill-Nerode |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
221 |
Nat-Interval-Logic |
59182 | 222 |
Native_Word |
223 |
Network_Security_Policy_Verification |
|
52283 | 224 |
Nominal2 |
59182 | 225 |
Noninterference_CSP |
45194 | 226 |
NormByEval |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
227 |
Open_Induction |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
228 |
Ordinal |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
229 |
Ordinals_and_Cardinals |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
230 |
Ordinary_Differential_Equations |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
231 |
PCF |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
232 |
POPLmark-deBruijn |
59182 | 233 |
Partial_Function_MR |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
234 |
Perfect-Number-Thm |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
235 |
Pi_Calculus |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
236 |
Polynomials |
59182 | 237 |
Pop_Refinement |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
238 |
Possibilistic_Noninterference |
59182 | 239 |
Pratt_Certificate |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
240 |
Presburger-Automata |
59182 | 241 |
Priority_Queue_Braun |
242 |
Probabilistic_Noninterference |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
243 |
Program-Conflict-Analysis |
59182 | 244 |
Promela |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
245 |
PseudoHoops |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
246 |
Psi_Calculi |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
247 |
RIPEMD-160-SPARK |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
248 |
RSAPSS |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
249 |
Ramsey-Infinite |
59182 | 250 |
Random_Graph_Subgraph_Threshold |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
251 |
Rank_Nullity_Theorem |
59182 | 252 |
Real_Impl |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
253 |
Recursion-Theory-I |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
254 |
Refine_Monadic |
59182 | 255 |
RefinementReactive |
256 |
Regex_Equivalence |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
257 |
Regular-Sets |
59182 | 258 |
Regular_Algebras |
259 |
Relation_Algebra |
|
52283 | 260 |
Ribbon_Proofs |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
261 |
Robbins-Conjecture |
59182 | 262 |
Roy_Floyd_Warshall |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
263 |
SATSolverVerification |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
264 |
SIFPL |
59182 | 265 |
SIFUM_Type_Systems |
266 |
Secondary_Sylow |
|
267 |
Selection_Heap_Sort |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
268 |
SenSocialChoice |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
269 |
Separation_Algebra |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
270 |
Separation_Logic_Imperative_HOL |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
271 |
SequentInvertibility |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
272 |
Shivers-CFA |
52283 | 273 |
ShortestPath |
59182 | 274 |
Show |
45194 | 275 |
Simpl |
59182 | 276 |
Skew_Heap |
45194 | 277 |
Slicing |
59182 | 278 |
Sort_Encodings |
279 |
Special_Function_Bounds |
|
280 |
Splay_Tree |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
281 |
Sqrt_Babylonian |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
282 |
Statecharts |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
283 |
Stream-Fusion |
59182 | 284 |
Stream_Fusion_Code |
285 |
Strong_Security |
|
286 |
Sturm_Sequences |
|
287 |
Sturm_Tarski |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
288 |
Stuttering_Equivalence |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
289 |
SumSquares |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
290 |
TLA |
59182 | 291 |
Tail_Recursive_Functions |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
292 |
Tarskis_Geometry |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
293 |
Topology |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
294 |
Transitive-Closure |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
295 |
Transitive-Closure-II |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
296 |
Tree-Automata |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
297 |
Tycon |
59182 | 298 |
UPF |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
299 |
Valuation |
59182 | 300 |
VectorSpace |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
301 |
Verified-Prover |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
302 |
VolpanoSmith |
59182 | 303 |
WHATandWHERE_Security |
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
304 |
Well_Quasi_Orders |
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
305 |
WorkerWrapper |
59182 | 306 |
XML |
307 |
pGCL |
|
51059
c6a74742f8fe
manual update of sessions, based on "isabelle build -nvc";
wenzelm
parents:
49938
diff
changeset
|
308 |
" |
24831
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
309 |
|
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
310 |
for PLATFORM in $PLATFORMS |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
311 |
do |
24831
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
312 |
if [ "$PLATFORM" = afp ]; then |
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
313 |
SESSIONS="$AFP_SESSIONS" |
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
314 |
else |
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
315 |
SESSIONS="$ISABELLE_SESSIONS" |
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
316 |
fi |
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
317 |
|
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
318 |
"$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" ${1:-100} $SESSIONS |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
319 |
cat > "stats/$PLATFORM.html" <<EOF |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
320 |
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
321 |
<html> |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
322 |
<head><title>Development Snapshot -- Performance Statistics</title></head> |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
323 |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
324 |
<body> |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
325 |
<h1>$PLATFORM</h1> |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
326 |
EOF |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
327 |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
328 |
for SESSION in $SESSIONS |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
329 |
do |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
330 |
echo "<br><img src="$PLATFORM/$SESSION.png"><br>" >> "stats/$PLATFORM.html" |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
331 |
done |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
332 |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
333 |
echo "</body>" >> "stats/$PLATFORM.html" |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
334 |
echo "</html>" >> "stats/$PLATFORM.html" |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
335 |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
336 |
done |