diff --git a/certora/run.js b/certora/run.js
index 50e8a1dcf..f6ee0cff4 100644
--- a/certora/run.js
+++ b/certora/run.js
@@ -30,7 +30,6 @@ if (specs.length === 0) {
   process.exit(1);
 }
 
-console.table(specs.map(spec => `${spec.contract}:${spec.spec} ${spec.options.join(' ')}`))
 for (const { spec, contract, files, options = [] } of Object.values(specs)) {
   limit(runCertora, spec, contract, files, [...options.flatMap(opt => opt.split(' ')), ...extraOptions]);
 }