Project Statistics: Variable Dependencies of Quantified Boolean Formulas

From: ever To: now Change data

Email Alert

RSS Feed

Geo Map

Save as a PNG Save as a JPEG

Region	#
EU - Europe	16
AS - Asia, other	5
NA - North America	4
Total	25

Save as a PNG Save as a JPEG

Country	#
AT - Austria	9
SG - Singapore	4
US - United States of America	4
DE - Germany	2
IE - Ireland	2
FR - France	1
HU - Hungary	1
SE - Sweden	1
TW - Taiwan	1
Total	25

Save as a PNG Save as a JPEG

City	#
Vienna	4
Des Moines	2
Dublin	2
Budapest	1
Taipei	1
Unknown	15
Total	25

Save as a PNG Save as a JPEG

Year	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec	Tot
2021	0	0	0	0	0	0	0	0	0	1	0	0	1
2022	1	1	0	0	1	0	5	0	0	0	1	0	9
2023	0	3	1	0	2	0	0	2	0	2	1	3	14
2024	1	0	0	0	0	0	0	0	0	0	0	0	1
Ever													25