isabelle: Admin/isatest/isatest-stats@d0c21a68d9c6 (annotated)

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 a07748619f53 somewhat more uniform THIS; wenzelm parents: 42461 diff changeset	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 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	11	ISABELLE_SESSIONS="
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	12	HOL
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	13	HOL-Algebra
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	14	HOL-Auth
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	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 385e20f2aab4 more accurate selection of sessions; wenzelm parents: 54395 diff changeset	18	HOL-Datatype_Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	19	HOL-Decision_Procs
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	20	HOL-Hahn_Banach
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	21	HOL-Hoare
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	22	HOL-Hoare_Parallel
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	23	HOL-IMP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	24	HOL-IMPP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	25	HOL-IOA
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	26	HOL-Imperative_HOL
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	27	HOL-Import
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	28	HOL-Induct
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	29	HOL-Isar_Examples
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	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 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	33	HOL-Metis_Examples
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	34	HOL-MicroJava
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	35	HOL-Mirabelle
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	36	HOL-Mirabelle-ex
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	37	HOL-Multivariate_Analysis
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	38	HOL-Mutabelle
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	39	HOL-NSA
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	40	HOL-NSA-Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	41	HOL-NanoJava
59181 385e20f2aab4 more accurate selection of sessions; wenzelm parents: 54395 diff changeset	42	HOL-Nitpick_Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	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 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	45	HOL-Number_Theory
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	46	HOL-Old_Number_Theory
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	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 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	49	HOL-Prolog
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	50	HOL-Proofs
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	51	HOL-Proofs-Extraction
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	52	HOL-Proofs-Lambda
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	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 1258eab48270 updated stats according to src/HOL/IsaMakefile; wenzelm parents: 45888 diff changeset	55	HOL-Quickcheck_Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	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 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	58	HOL-SET_Protocol
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	59	HOL-SPARK
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	60	HOL-SPARK-Examples
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	61	HOL-SPARK-Manual
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	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 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	67	HOL-TPTP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	68	HOL-UNITY
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	69	HOL-Unix
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	70	HOL-Word
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	71	HOL-Word-Examples
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	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 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	74	HOL-ex
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	75	HOLCF
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	76	HOLCF-FOCUS
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	77	HOLCF-IMP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	78	HOLCF-Library
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	79	HOLCF-Tutorial
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	80	HOLCF-ex
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	81	IOA
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	82	IOA-ABP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	83	IOA-NTP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	84	IOA-Storage
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	85	IOA-ex
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	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 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	99	AFP_SESSIONS="
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	100	AODV
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	101	AVL-Trees
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	106	Abstract_Completeness
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	107	Affine_Arithmetic
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	108	Amortized_Complexity
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	109	ArrowImpossibilityGS
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	110	AutoFocus-Stream
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	117	Boolean_Expression_Checkers
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	118	Bounded_Deducibility_Security
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	119	BytecodeLogicJmlTypes
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	120	CAVA_Automata
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	121	CAVA_LTL_Modelchecker
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	122	CCS
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	127	Cayley_Hamilton
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	132	Coinductive
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	137	ComponentDependencies
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	138	Containers
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	139	CoreC++
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	144	Decreasing-Diagrams
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	167	GPU_Kernel_PL
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	174	GoedelGod
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	175	GraphMarkingIBP
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	176	Graph_Theory
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	177	Group-Ring-Module
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	178	HRB-Slicing
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	179	Heard_Of
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	183	HyperCTL
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	184	IEEE_Floating_Point
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	185	Imperative_Insertion_Sort
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	186	Impossible_Geometry
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	187	Incompleteness
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	188	Inductive_Confidentiality
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	189	InformationFlowSlicing
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	190	Integration
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	194	Jordan_Hoelder
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	198	Koenigsberg_Friendship
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	201	LatticeProperties
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	202	Launchbury
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	203	Lazy-Lists-II
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	204	Lehmer
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	211	Lower_Semicontinuous
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	222	Native_Word
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	223	Network_Security_Policy_Verification
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	224	Nominal2
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	225	Noninterference_CSP
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	237	Pop_Refinement
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	238	Possibilistic_Noninterference
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	239	Pratt_Certificate
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	240	Presburger-Automata
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	241	Priority_Queue_Braun
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	242	Probabilistic_Noninterference
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	243	Program-Conflict-Analysis
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	255	RefinementReactive
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	256	Regex_Equivalence
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	257	Regular-Sets
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	258	Regular_Algebras
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	259	Relation_Algebra
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	260	Ribbon_Proofs
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	261	Robbins-Conjecture
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	265	SIFUM_Type_Systems
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	266	Secondary_Sylow
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	273	ShortestPath
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	274	Show
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	275	Simpl
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	276	Skew_Heap
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	277	Slicing
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	278	Sort_Encodings
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	279	Special_Function_Bounds
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	284	Stream_Fusion_Code
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	285	Strong_Security
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	286	Sturm_Sequences
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	298	UPF
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	299	Valuation
59182 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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 dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	306	XML
dc41b77dcc8f more accurate selection of sessions; wenzelm parents: 59181 diff changeset	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

author	wenzelm
	Mon, 31 Aug 2015 19:02:00 +0200
changeset 61063	d0c21a68d9c6
parent 59182	dc41b77dcc8f
child 61078	528dec1c400b
permissions	-rwxr-xr-x