Project Statistics: Abstraction-based Parameterized TLA Checker

From: ever To: now Change data

Email Alert

RSS Feed

Geo Map

Save as a PNG Save as a JPEG

Region	#
EU - Europe	28
NA - North America	5
AF - Africa	1
OC - Oceania	1
Total	35

Save as a PNG Save as a JPEG

Country	#
AT - Austria	23
US - United States of America	5
DE - Germany	2
FR - France	1
GB - United Kingdom	1
IE - Ireland	1
NZ - New Zealand	1
ZA - South Africa	1
Total	35

Save as a PNG Save as a JPEG

City	#
Vienna	16
Des Moines	2
San Jose	2
Cape Town	1
Christchurch	1
Dublin	1
Secaucus	1
Steeton	1
Unknown	10
Total	35

Save as a PNG Save as a JPEG

Year	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec	Tot
2020	0	0	0	0	0	0	0	0	0	2	2	0	4
2021	0	0	0	0	0	0	1	0	0	0	2	0	3
2022	0	3	0	0	0	0	5	3	0	2	0	0	13
2023	1	6	2	0	2	0	0	0	0	2	0	1	14
2024	1	0	0	0	0	0	0	0	0	0	0	0	1
Ever													35