Well, tests done for a specific k value should be Total Tests - Pending Tests, right?
btw. I would change "Remaining tests n > 3000000" (on the project stats page) to "Remaining tests 3M < n < 20M", as the first one would indicate that there are only finite tests left...
Oh, another question:
Are pending tests included in the "Remaining tests n < 3000000" count?