F* Project (originally Microsoft Research)
Statistics
Total Applications:
1
Total Users:
38
Total Keys:
123,588
Total Clicks:
4,702
Total Mouse Scrolls:
0
Total Time Used:
2d6h45m56s
Average Time Per User:
1h26m29s
Input Distribution
| Rank | Application | Used By | Time Used | Keys | Clicks |
|---|---|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|