Statistics: Theory and Applications of Satisfiability Testing – SAT 2016
Geo Map
Region
#
EU - Europe
7
NA - North America
4
AS - Asia, other
2
AF - Africa
1
OC - Oceania
1
Total
15
Country
#
US - United States of America
3
AT - Austria
2
IE - Ireland
2
AE - United Arab Emirates
1
AU - Australia
1
CA - Canada
1
DE - Germany
1
GB - United Kingdom
1
IN - India
1
KE - Kenya
1
other - Other Country
1
Total
15
City
#
Dublin
2
Canberra
1
Chingford
1
Cranberry Township
1
Dallas
1
Dubai
1
Estevan
1
Hisar
1
Loganville
1
Nairobi
1
other
4
Total
15
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 0
0 0 0 0
0 2 0 1
1 1
5
2024
1 7
0 0 0 0
0 0 0 0
0 0
8
Ever
15
Geo Map
| Region | # |
|---|---|
| EU - Europe | 7 |
| NA - North America | 4 |
| AS - Asia, other | 2 |
| AF - Africa | 1 |
| OC - Oceania | 1 |
| Total | 15 |
| Country | # |
|---|---|
| US - United States of America | 3 |
| AT - Austria | 2 |
| IE - Ireland | 2 |
| AE - United Arab Emirates | 1 |
| AU - Australia | 1 |
| CA - Canada | 1 |
| DE - Germany | 1 |
| GB - United Kingdom | 1 |
| IN - India | 1 |
| KE - Kenya | 1 |
| other - Other Country | 1 |
| Total | 15 |
| City | # |
|---|---|
| Dublin | 2 |
| Canberra | 1 |
| Chingford | 1 |
| Cranberry Township | 1 |
| Dallas | 1 |
| Dubai | 1 |
| Estevan | 1 |
| Hisar | 1 |
| Loganville | 1 |
| Nairobi | 1 |
| other | 4 |
| Total | 15 |
| 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 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 1 | 1 | 1 | 5 |
| 2024 | 1 | 7 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 8 |
| Ever | 15 | ||||||||||||