Statistics: Automated Reasoning
Geo Map
Region
#
EU - Europe
22
NA - North America
3
OC - Oceania
2
Total
27
Country
#
AT - Austria
14
IE - Ireland
6
CA - Canada
2
NZ - New Zealand
2
DE - Germany
1
GB - United Kingdom
1
US - United States of America
1
Total
27
City
#
Vienna
10
Dublin
3
Auckland
1
Dallas
1
Dewsbury
1
Dunedin
1
Edenderry
1
Nenagh
1
Stouffville
1
Verdun
1
other
6
Total
27
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2022
0 0
0 0 0 0
0 4 0 0
0 0
4
2023
0 4
2 0 4 0
0 2 0 1
1 1
15
2024
2 6
0 0 0 0
0 0 0 0
0 0
8
Ever
27
Geo Map
Region | # |
---|---|
EU - Europe | 22 |
NA - North America | 3 |
OC - Oceania | 2 |
Total | 27 |
Country | # |
---|---|
AT - Austria | 14 |
IE - Ireland | 6 |
CA - Canada | 2 |
NZ - New Zealand | 2 |
DE - Germany | 1 |
GB - United Kingdom | 1 |
US - United States of America | 1 |
Total | 27 |
City | # |
---|---|
Vienna | 10 |
Dublin | 3 |
Auckland | 1 |
Dallas | 1 |
Dewsbury | 1 |
Dunedin | 1 |
Edenderry | 1 |
Nenagh | 1 |
Stouffville | 1 |
Verdun | 1 |
other | 6 |
Total | 27 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2022 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 0 | 0 | 0 | 4 |
2023 | 0 | 4 | 2 | 0 | 4 | 0 | 0 | 2 | 0 | 1 | 1 | 1 | 15 |
2024 | 2 | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 8 |
Ever | 27 |