Change to code for running experiments.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1650 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/util/measure.cpp b/src/util/measure.cpp
index 69fd51b54d8a3c6af5b97120087f68a308cd1f1b..07160a34910b71c7d0faa776d1e9b6db4d6d773e 100644 (file)
--- a/src/util/measure.cpp
+++ b/src/util/measure.cpp
@@ -215,7 +215,7 @@ work(int p)
   out << "\\hline" << endl;
   out << "\\end{tabular}" << endl;
   out << "\\caption{Comparison of unit propagation and bit-blasting at "<<  p <<  "\\%. ";
-  out << iterations << " iterations at " << bits << " bits.}" << endl;
+  out << iterations << " iterations at " << bits << " bits. \label{tbl:p"<< p << "}}}" << endl;
   out << "\\end{center}" << endl;
   out << "\\end{table}" << endl;
   }
@@ -225,6 +225,7 @@ main()
 {
   mgr = new STPMgr;
   Cpp_interface interface(*mgr);
+  mgr->UserFlags.division_by_zero_returns_one_flag=true;
 
   out << "\\begin{subtables}" << endl;
   work(1);