isabelle: Admin/isatest/isatest-stats@663a927fdc88 (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
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	15	HOL-BNF
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	16	HOL-BNF-Examples
54395 1a58413a8cc0 updated sessions; wenzelm parents: 53818 diff changeset	17	HOL-BNF-LFP
53818 d534f36f9a4f adapted to reflect renaming of session blanchet parents: 53164 diff changeset	18	HOL-BNF-Nitpick_Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	19	HOL-Bali
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	20	HOL-Cardinals
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	21	HOL-Cardinals-Base
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	22	HOL-Codegenerator_Test
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	23	HOL-Datatype_Benchmark
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	24	HOL-Decision_Procs
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	25	HOL-Hahn_Banach
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	26	HOL-Hoare
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	27	HOL-Hoare_Parallel
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	28	HOL-IMP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	29	HOL-IMPP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	30	HOL-IOA
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	31	HOL-Imperative_HOL
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	32	HOL-Import
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	33	HOL-Induct
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	34	HOL-Isar_Examples
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	35	HOL-Lattice
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	36	HOL-Library
46988 9f492f5b0cec renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP; wenzelm parents: 46651 diff changeset	37	HOL-Matrix_LP
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	38	HOL-Metis_Examples
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	39	HOL-MicroJava
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	40	HOL-Mirabelle
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	41	HOL-Mirabelle-ex
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	42	HOL-Multivariate_Analysis
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	43	HOL-Mutabelle
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	44	HOL-NSA
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	45	HOL-NSA-Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	46	HOL-NanoJava
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	47	HOL-Nominal
45142 97e81a8aa277 more complete stats, including small sessions which provide some clues on main HOL baseline performance; wenzelm parents: 44993 diff changeset	48	HOL-Nominal-Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	49	HOL-Number_Theory
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	50	HOL-Old_Number_Theory
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	51	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	52	HOL-Probability
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	53	HOL-Prolog
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	54	HOL-Proofs
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	55	HOL-Proofs-Extraction
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	56	HOL-Proofs-Lambda
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	57	HOL-Proofs-ex
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	58	HOL-Quickcheck_Benchmark
46651 1258eab48270 updated stats according to src/HOL/IsaMakefile; wenzelm parents: 45888 diff changeset	59	HOL-Quickcheck_Examples
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	60	HOL-Quotient_Examples
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	61	HOL-Record_Benchmark
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	62	HOL-SET_Protocol
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	63	HOL-SPARK
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	64	HOL-SPARK-Examples
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	65	HOL-SPARK-Manual
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	66	HOL-Statespace
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	67	HOL-TLA
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	68	HOL-TLA-Buffer
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	69	HOL-TLA-Inc
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	70	HOL-TLA-Memory
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	71	HOL-TPTP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	72	HOL-UNITY
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	73	HOL-Unix
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	74	HOL-Word
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	75	HOL-Word-Examples
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	76	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	77	HOL-ZF
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	78	HOL-ex
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	79	HOLCF
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	80	HOLCF-FOCUS
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	81	HOLCF-IMP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	82	HOLCF-Library
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	83	HOLCF-Tutorial
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	84	HOLCF-ex
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	85	IOA
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	86	IOA-ABP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	87	IOA-NTP
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	88	IOA-Storage
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	89	IOA-ex
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	90	Pure
53164 beb4ee344c22 clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL; wenzelm parents: 52283 diff changeset	91	Spec_Check
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	92	ZF
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	93	ZF-AC
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	94	ZF-Coind
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	95	ZF-Constructible
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	96	ZF-IMP
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	97	ZF-Induct
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	98	ZF-Resid
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	99	ZF-UNITY
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	100	ZF-ex
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	101	"
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	102
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	103	AFP_SESSIONS="
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	104	AVL-Trees
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	105	Abortable_Linearizable_Modules
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	106	Abstract-Hoare-Logics
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	107	Abstract-Rewriting
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	108	ArrowImpossibilityGS
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	109	AutoFocus-Stream
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	110	BDD
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	111	BinarySearchTree
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	112	Binomial-Heaps
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	113	Binomial-Queues
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	114	Bondy
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	115	BytecodeLogicJmlTypes
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	116	CCS
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	117	Category
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	118	Category2
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	119	Cauchy
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	120	Circus
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	121	ClockSynchInst
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	122	CofGroups
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	123	Coinductive
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	124	Collections
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	125	Compiling-Exceptions-Correctly
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	126	Completeness
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	127	Containers
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	128	CoreC++
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	129	DPT-SAT-Solver
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	130	DataRefinementIBP
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	131	Datatype_Order_Generator
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	132	Depth-First-Search
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	133	Dijkstra_Shortest_Path
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	134	DiskPaxos
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	135	Efficient-Mergesort
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	136	Example-Submission
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	137	FFT
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	138	FOL-Fitting
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	139	FeatherweightJava
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	140	Fermat3_4
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	141	FileRefinement
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	142	FinFun
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	143	Finger-Trees
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	144	Flyspeck-Tame
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	145	Free-Boolean-Algebra
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	146	Free-Groups
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	147	FunWithFunctions
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	148	FunWithTilings
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	149	Functional-Automata
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	150	Gauss-Jordan-Elim-Fun
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	151	GenClock
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	152	General-Triangle
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	153	Girth_Chromatic
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	154	GraphMarkingIBP
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	155	Graph_Theory
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	156	Group-Ring-Module
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	157	HRB-Slicing
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	158	Heard_Of
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	159	HotelKeyCards
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	160	Huffman
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	161	Impossible_Geometry
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	162	Inductive_Confidentiality
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	163	InformationFlowSlicing
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	164	Integration
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	165	Jinja
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	166	JinjaThreads
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	167	JiveDataStoreModel
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	168	KBPs
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	169	Kleene_Algebra
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	170	Lam-ml-Normalization
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	171	LatticeProperties
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	172	Launchbury
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	173	Lazy-Lists-II
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	174	LightweightJava
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	175	LinearQuantifierElim
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	176	List-Index
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	177	List-Infinite
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	178	Locally-Nameless-Sigma
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	179	Lower_Semicontinuous
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	180	Markov_Models
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	181	Marriage
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	182	Matrix
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	183	Max-Card-Matching
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	184	MiniML
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	185	MonoBoolTranAlgebra
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	186	MuchAdoAboutTwo
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	187	Myhill-Nerode
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	188	Nat-Interval-Logic
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	189	Nominal2
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	190	NormByEval
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	191	Open_Induction
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	192	Ordinal
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	193	Ordinals_and_Cardinals
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	194	Ordinary_Differential_Equations
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	195	PCF
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	196	POPLmark-deBruijn
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	197	Perfect-Number-Thm
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	198	Pi_Calculus
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	199	Polynomials
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	200	Possibilistic_Noninterference
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	201	Presburger-Automata
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	202	Program-Conflict-Analysis
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	203	PseudoHoops
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	204	Psi_Calculi
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	205	RIPEMD-160-SPARK
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	206	RSAPSS
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	207	Ramsey-Infinite
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	208	Rank_Nullity_Theorem
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	209	Recursion-Theory-I
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	210	Refine_Monadic
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	211	Regular-Sets
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	212	Ribbon_Proofs
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	213	Robbins-Conjecture
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	214	SATSolverVerification
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	215	SIFPL
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	216	SenSocialChoice
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	217	Separation_Algebra
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	218	Separation_Logic_Imperative_HOL
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	219	SequentInvertibility
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	220	Shivers-CFA
52283 1ce9feb47535 updated isatest stats; wenzelm parents: 51562 diff changeset	221	ShortestPath
45194 d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	222	Simpl
d825a8f1d088 further cleanup of stats (cf. 97e81a8aa277); wenzelm parents: 45142 diff changeset	223	Slicing
51059 c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	224	Sqrt_Babylonian
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	225	Statecharts
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	226	Stream-Fusion
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	227	Stuttering_Equivalence
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	228	SumSquares
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	229	TLA
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	230	Tarskis_Geometry
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	231	Topology
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	232	Transitive-Closure
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	233	Transitive-Closure-II
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	234	Tree-Automata
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	235	Tycon
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	236	Valuation
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	237	Verified-Prover
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	238	VolpanoSmith
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	239	Well_Quasi_Orders
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	240	WorkerWrapper
c6a74742f8fe manual update of sessions, based on "isabelle build -nvc"; wenzelm parents: 49938 diff changeset	241	"
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	242
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	243	for PLATFORM in $PLATFORMS
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	244	do
24831 887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	245	if [ "$PLATFORM" = afp ]; then
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	246	SESSIONS="$AFP_SESSIONS"
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	247	else
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	248	SESSIONS="$ISABELLE_SESSIONS"
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	249	fi
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform; wenzelm parents: 24489 diff changeset	250
22410 da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	251	"$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" ${1:-100} $SESSIONS
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	252	cat > "stats/$PLATFORM.html" <<EOF
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	253	<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	254	<html>
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	255	<head><title>Development Snapshot -- Performance Statistics</title></head>
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	256
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	257	<body>
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	258	<h1>$PLATFORM</h1>
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	259	EOF
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	260
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	261	for SESSION in $SESSIONS
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	262	do
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	263	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	264	done
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	265
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	266	echo "</body>" >> "stats/$PLATFORM.html"
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	267	echo "</html>" >> "stats/$PLATFORM.html"
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	268
da313b67a04d moved all isatest/cron job related files to own directory kleing parents: diff changeset	269	done

author	nipkow
	Mon, 18 Nov 2013 09:45:50 +0100
changeset 54467	663a927fdc88
parent 54395	1a58413a8cc0
child 59181	385e20f2aab4
permissions	-rwxr-xr-x