Statistics: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Geo Map
Region
#
EU - Europe
10118
NA - North America
2608
AS - Asia, other
1936
SA - South America
84
AF - Africa
79
OC - Oceania
23
Unknown
83
Total
14931
Country
#
AT - Austria
6898
US - United States of America
2451
CN - China
739
IE - Ireland
588
DE - Germany
585
FR - France
417
SG - Singapore
392
GB - United Kingdom
391
RU - Russian Federation
286
SE - Sweden
202
other - Other Country
1982
Total
14931
City
#
Vienna
2478
Dublin
576
Ashburn
213
Council Bluffs
175
Wiener Neustadt
164
Helsinki
163
Mödling
154
San Francisco
122
Strasbourg
118
Des Moines
110
other
8937
Total
13210
Most viewed items
#
ID: 20048 - SAT Solving in the Serverless Cloud
812
Total
812
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2021
0 0
0 0 0 0
0 0 0 587
419 183
1189
2022
274 275
285 344 281 116
710 1165 1231 816
184 230
5911
2023
342 190
366 253 267 699
235 476 251 646
1000 388
5113
2024
581 448
412 1193 84 0
0 0 0 0
0 0
2718
Ever
14931
Geo Map
Region | # |
---|---|
EU - Europe | 10118 |
NA - North America | 2608 |
AS - Asia, other | 1936 |
SA - South America | 84 |
AF - Africa | 79 |
OC - Oceania | 23 |
Unknown | 83 |
Total | 14931 |
Country | # |
---|---|
AT - Austria | 6898 |
US - United States of America | 2451 |
CN - China | 739 |
IE - Ireland | 588 |
DE - Germany | 585 |
FR - France | 417 |
SG - Singapore | 392 |
GB - United Kingdom | 391 |
RU - Russian Federation | 286 |
SE - Sweden | 202 |
other - Other Country | 1982 |
Total | 14931 |
City | # |
---|---|
Vienna | 2478 |
Dublin | 576 |
Ashburn | 213 |
Council Bluffs | 175 |
Wiener Neustadt | 164 |
Helsinki | 163 |
Mödling | 154 |
San Francisco | 122 |
Strasbourg | 118 |
Des Moines | 110 |
other | 8937 |
Total | 13210 |
Most viewed items | # |
---|---|
ID: 20048 - SAT Solving in the Serverless Cloud | 812 |
Total | 812 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2021 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 587 | 419 | 183 | 1189 |
2022 | 274 | 275 | 285 | 344 | 281 | 116 | 710 | 1165 | 1231 | 816 | 184 | 230 | 5911 |
2023 | 342 | 190 | 366 | 253 | 267 | 699 | 235 | 476 | 251 | 646 | 1000 | 388 | 5113 |
2024 | 581 | 448 | 412 | 1193 | 84 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2718 |
Ever | 14931 |