Project Statistics: Automated Program Analysis for Bounds on Resource Consumption
Geo Map
Region
#
EU - Europe
8
Total
8
Country
#
DE - Germany
3
AT - Austria
2
IE - Ireland
2
FI - Finland
1
Total
8
City
#
Dublin
2
Frankfurt am Main
1
Helsinki
1
Unknown
4
Total
8
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2022
0 0
0 0 0 0
0 2 0 0
0 0
2
2023
0 1
0 1 0 0
0 2 0 2
0 0
6
Ever
8
Geo Map
Region | # |
---|---|
EU - Europe | 8 |
Total | 8 |
Country | # |
---|---|
DE - Germany | 3 |
AT - Austria | 2 |
IE - Ireland | 2 |
FI - Finland | 1 |
Total | 8 |
City | # |
---|---|
Dublin | 2 |
Frankfurt am Main | 1 |
Helsinki | 1 |
Unknown | 4 |
Total | 8 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2022 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 2 |
2023 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 2 | 0 | 2 | 0 | 0 | 6 |
Ever | 8 |