ethereum
diff --git a/‎smtsolver.js
+2-1 b/‎smtsolver.js
+2-1
@@ -3,12 +3,13 @@ var execSync = require('child_process').execSync;
 var fs = require('fs');
 var tmp = require('tmp');
 
+// Timeout in ms.
 const timeout = 10000;
 
 var potentialSolvers = [
   {
     name: 'z3',
-    params: '-smt2 rlimit=20000000 rewriter.pull_cheap_ite=true fp.spacer.q3.use_qgen=true fp.spacer.mbqi=false fp.spacer.ground_pobs=false'
+    params: '-smt2 timeout=' + timeout + ' rewriter.pull_cheap_ite=true fp.spacer.q3.use_qgen=true fp.spacer.mbqi=false fp.spacer.ground_pobs=false'
   },
   {
     name: 'cvc4',
Original file line number	Diff line number	Diff line change
`@@ -3,12 +3,13 @@ var execSync = require('child_process').execSync;`
`3`	`3`	`var fs = require('fs');`
`4`	`4`	`var tmp = require('tmp');`
`5`	`5`
	`6`	`+// Timeout in ms.`
`6`	`7`	`const timeout = 10000;`
`7`	`8`
`8`	`9`	`var potentialSolvers = [`
`9`	`10`	`{`
`10`	`11`	`name: 'z3',`
`11`		`- params: '-smt2 rlimit=20000000 rewriter.pull_cheap_ite=true fp.spacer.q3.use_qgen=true fp.spacer.mbqi=false fp.spacer.ground_pobs=false'`
	`12`	`+ params: '-smt2 timeout=' + timeout + ' rewriter.pull_cheap_ite=true fp.spacer.q3.use_qgen=true fp.spacer.mbqi=false fp.spacer.ground_pobs=false'`
`12`	`13`	`},`
`13`	`14`	`{`
`14`	`15`	`name: 'cvc4',`