Artifacts of isabelle-nightly-benchmark #1114

	HOL.db	Feb 5, 2020, 12:55:32 AM	44.00 KiB
	HOL.gz	Feb 5, 2020, 12:55:32 AM	143.65 KiB
	HOL-Analysis.db	Feb 5, 2020, 1:02:03 AM	68.00 KiB
	HOL-Analysis.gz	Feb 5, 2020, 1:02:02 AM	31.78 KiB
	HOL-Cardinals.db	Feb 5, 2020, 1:02:12 AM	20.00 KiB
	HOL-Cardinals.gz	Feb 5, 2020, 1:02:12 AM	647 B
	HOL-Complex_Analysis.db	Feb 5, 2020, 1:02:12 AM	20.00 KiB
	Pure.db	Feb 5, 2020, 12:51:31 AM	48.00 KiB
	Pure.gz	Feb 5, 2020, 12:51:31 AM	86.80 KiB
(all files in zip)