Project Statistics: Distribution Recovery for Invariant Generation of Probabilistic
Geo Map
Region
#
EU - Europe
55
NA - North America
5
AS - Asia, other
1
Total
61
Country
#
AT - Austria
43
IE - Ireland
8
US - United States of America
4
DE - Germany
3
CA - Canada
1
FI - Finland
1
SG - Singapore
1
Total
61
City
#
Vienna
30
Dublin
8
Boardman
3
Des Moines
1
Helsinki
1
Toronto
1
Unknown
17
Total
61
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2020
0 0
0 0 0 0
0 0 0 0
0 4
4
2021
0 0
0 0 0 0
0 0 0 0
6 0
6
2022
0 1
0 0 0 0
13 0 0 2
0 0
16
2023
8 6
0 4 6 0
1 3 0 4
1 1
34
2024
0 0
1 0 0 0
0 0 0 0
0 0
1
Ever
61
Geo Map
Region | # |
---|---|
EU - Europe | 55 |
NA - North America | 5 |
AS - Asia, other | 1 |
Total | 61 |
Country | # |
---|---|
AT - Austria | 43 |
IE - Ireland | 8 |
US - United States of America | 4 |
DE - Germany | 3 |
CA - Canada | 1 |
FI - Finland | 1 |
SG - Singapore | 1 |
Total | 61 |
City | # |
---|---|
Vienna | 30 |
Dublin | 8 |
Boardman | 3 |
Des Moines | 1 |
Helsinki | 1 |
Toronto | 1 |
Unknown | 17 |
Total | 61 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2020 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 4 |
2021 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6 | 0 | 6 |
2022 | 0 | 1 | 0 | 0 | 0 | 0 | 13 | 0 | 0 | 2 | 0 | 0 | 16 |
2023 | 8 | 6 | 0 | 4 | 6 | 0 | 1 | 3 | 0 | 4 | 1 | 1 | 34 |
2024 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
Ever | 61 |