Project Statistics: Quantified Boolean Formulas
Geo Map
Region
#
EU - Europe
40
NA - North America
7
AF - Africa
1
AS - Asia, other
1
Total
49
Country
#
AT - Austria
33
US - United States of America
7
DE - Germany
3
FR - France
1
HU - Hungary
1
IE - Ireland
1
MA - Morocco
1
SE - Sweden
1
SG - Singapore
1
Total
49
City
#
Vienna
19
Des Moines
5
Budapest
1
Dublin
1
Ft. Pierce
1
Rabat
1
Santa Clara
1
Unknown
20
Total
49
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2021
0 0
0 0 0 0
0 0 0 0
2 0
2
2022
0 1
0 0 1 0
5 8 0 2
1 2
20
2023
4 13
2 0 2 0
0 1 0 3
1 1
27
Ever
49
Geo Map
Region | # |
---|---|
EU - Europe | 40 |
NA - North America | 7 |
AF - Africa | 1 |
AS - Asia, other | 1 |
Total | 49 |
Country | # |
---|---|
AT - Austria | 33 |
US - United States of America | 7 |
DE - Germany | 3 |
FR - France | 1 |
HU - Hungary | 1 |
IE - Ireland | 1 |
MA - Morocco | 1 |
SE - Sweden | 1 |
SG - Singapore | 1 |
Total | 49 |
City | # |
---|---|
Vienna | 19 |
Des Moines | 5 |
Budapest | 1 |
Dublin | 1 |
Ft. Pierce | 1 |
Rabat | 1 |
Santa Clara | 1 |
Unknown | 20 |
Total | 49 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2021 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 2 |
2022 | 0 | 1 | 0 | 0 | 1 | 0 | 5 | 8 | 0 | 2 | 1 | 2 | 20 |
2023 | 4 | 13 | 2 | 0 | 2 | 0 | 0 | 1 | 0 | 3 | 1 | 1 | 27 |
Ever | 49 |