A usage distribution of SAVES (version 2)
Here is another plot with more interactive options
Usage by program - since Dec 9th, 2007 6:21 PM
| ERRAT | 75,957 |
|---|
| Verify 3d | 81,842 |
|---|
| PROCHECK | 124,115 |
|---|
| WHAT CHECK | 66,100 |
|---|
| PROVE | 61,754 |
|---|
| SFCHECK | 0 |
|---|
| total hits | 145,734 |
|---|
Most hits in a day: 1160
Fewest hits in a day: 6
Average hits per day: 203.54 149.7134
|
|