@@ -27,3 +27,4 @@ checkIndexParser([], {
 checkIndexParser(['--cwd', 'qux'], { cwd: 'qux' });
 checkIndexParser(['--no-progress-bar'], { quiet: false });
 checkIndexParser(['--show-progress-rate-limit', '120'], { showProgressRateLimit: 120 });
+checkIndexParser(['--show-progress-rate-limit', '0.5'], { showProgressRateLimit: 0.5 });
@@ -30,13 +30,13 @@ export interface EnvironmentOptions {
 
 export const DEFAULT_OUTPUT_FILE = 'index.scip';
 
-const parseOptionalInt = (value: string) => {
+const parseOptionalNum = (value: string) => {
     if (value === undefined) {
         return undefined;
     }
 
     // parseInt takes a string and a radix
-    const parsedValue = parseInt(value, 10);
+    const parsedValue = parseFloat(value);
     if (isNaN(parsedValue)) {
         throw new InvalidArgumentError('Not a number.');
     }
@@ -60,7 +60,11 @@ export function mainCommand(
         .option('--snapshot-dir <path>', 'the directory to output a snapshot of the SCIP dump')
         .option('--no-progress-bar', '(deprecated, use "--quiet")')
         .option('--quiet', 'run without logging and status information', false)
-        .option('--show-progress-rate-limit <limit>', 'number of times to show progress per minute', parseOptionalInt)
+        .option(
+            '--show-progress-rate-limit <limit>',
+            'minimum number of seconds between progress messages in the output.',
+            parseOptionalNum
+        )
         .option('--environment <json-file>', 'the environment json file (experimental)')
         .option('--include <pattern>', 'comma-separated list of patterns to include (experimental)')
         .option('--exclude <pattern>', 'comma-separated list of patterns to exclude (experimental)')
@@ -81,7 +85,11 @@ export function mainCommand(
         .option('--no-index', 'skip indexing (use existing index.scip)')
         .option('--no-progress-bar', '(deprecated, use "--quiet")')
         .option('--quiet', 'run without logging and status information', false)
-        .option('--show-progress-rate-limit <limit>', 'number of times to show progress per minute', parseOptionalInt)
+        .option(
+            '--show-progress-rate-limit <limit>',
+            'minimum number of seconds between progress messages in the output.',
+            parseOptionalNum
+        )
         .action((dir, parsedOptions) => {
             snapshotAction(dir, parsedOptions as SnapshotOptions);
         });
 
@@ -3,12 +3,12 @@ const statusConfig = { quiet: true };
 class Logger {
     private lastProgressMsg: Date;
 
-    /// control the rate to no faster than showProgressRateLimit / 60 seconds
+    /// Minimum number of seconds between progress messages in the output.
     public showProgressRateLimit: number;
 
     public depth: number;
 
-    constructor(showProgressRateLimit = 6) {
+    constructor(showProgressRateLimit = 1) {
         this.depth = 0;
         this.showProgressRateLimit = showProgressRateLimit;
         this.lastProgressMsg = new Date();
@@ -52,7 +52,7 @@ class Logger {
         if (
             this.showProgressRateLimit == 0 ||
             !this.lastProgressMsg ||
-            now.getTime() - this.lastProgressMsg.getTime() > (60 / this.showProgressRateLimit) * 1000
+            (now.getTime() - this.lastProgressMsg.getTime()) / 1000 > this.showProgressRateLimit
         ) {
             this.lastProgressMsg = now;
             this.write_message(this.depth + 1, '- ' + msg);