From a1d2ba0fcc4748e6b6181c74d684c5d06d8209f1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 4 Nov 2013 22:30:27 -0800
Subject: Tuning for multi-ouptut solver.

---
 src/sat/bmc/bmc.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/sat/bmc/bmc.h')

diff --git a/src/sat/bmc/bmc.h b/src/sat/bmc/bmc.h
index 5d45c562..74128047 100644
--- a/src/sat/bmc/bmc.h
+++ b/src/sat/bmc/bmc.h
@@ -100,6 +100,7 @@ struct Bmc_MulPar_t_
     int         TimeOutGlo;
     int         TimeOutLoc;
     int         TimeOutInc;
+    int         TimePerOut;
     int         fUseSyn;
     int         fDumpFinal;
     int         fVerbose;
-- 
cgit v1.2.3