Statistics for Z3str4: A Solver for Theories over Strings
Total visits
| views | |
|---|---|
| Z3str4: A Solver for Theories over Strings | 75 |
Total visits per month
| views | |
|---|---|
| July 2024 | 0 |
| August 2024 | 1 |
| September 2024 | 7 |
| October 2024 | 2 |
| November 2024 | 2 |
| December 2024 | 3 |
| January 2025 | 0 |
File Visits
| views | |
|---|---|
| Berzish_Murphy.pdf(legacy) | 181 |
| Berzish_Murphy.pdf | 47 |
Top country views
| views | |
|---|---|
| United States | 20 |
| Ireland | 9 |
| Singapore | 9 |
| Poland | 8 |
| Hong Kong SAR China | 4 |
| Czechia | 3 |
| France | 3 |
| Russia | 3 |
| Brazil | 2 |
| China | 2 |
| Estonia | 2 |
| Netherlands | 2 |
| Australia | 1 |
| Canada | 1 |
| United Kingdom | 1 |
| Indonesia | 1 |
| Iceland | 1 |
| South Korea | 1 |
| Sweden | 1 |
| Turkey | 1 |
Top city views
| views | |
|---|---|
| Dublin | 9 |
| Warsaw | 8 |
| Singapore | 5 |
| Ashburn | 4 |
| Boardman | 4 |
| Hong Kong | 3 |
| Amsterdam | 2 |
| São Paulo | 2 |
| Tallinn | 2 |
| Tours | 2 |
| Adelaide | 1 |
| Ankara | 1 |
| Boise | 1 |
| Boston | 1 |
| Cambridge | 1 |
| Central | 1 |
| Clifton | 1 |
| Dallas | 1 |
| Houston | 1 |
| Hyattsville | 1 |
| Jakarta | 1 |
| Jinhua | 1 |
| Keflavik | 1 |
| Montreal | 1 |
| New York | 1 |
| Paris | 1 |
| Sandston | 1 |
| Shanghai | 1 |
| Stockholm | 1 |
| Židlochovice | 1 |