From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 24 Jun 2010 14:16:34 +0000 (+0000)
Subject: Adding realistic expected times to these test cases
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=938bf1261a5e33d5f111dffccfaa47c451463009;p=francis%2Fstp.git

Adding realistic expected times to these test cases

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

diff --git a/tests/big-test/dsa_chop_dc.stp.cvc b/tests/big-test/dsa_chop_dc.stp.cvc
index d8edefb..d266fba 100644
--- a/tests/big-test/dsa_chop_dc.stp.cvc
+++ b/tests/big-test/dsa_chop_dc.stp.cvc
@@ -1,6 +1,6 @@
 %% Regression level = 0
 %% Result = InValid
-%% Runtime = 1
+%% Runtime = 85
 %% Language = presentation
 
 % free variables: 
diff --git a/tests/big-test/dsa_chop_noopt-nossa.stp.cvc b/tests/big-test/dsa_chop_noopt-nossa.stp.cvc
index 4810b20..0eaae69 100644
--- a/tests/big-test/dsa_chop_noopt-nossa.stp.cvc
+++ b/tests/big-test/dsa_chop_noopt-nossa.stp.cvc
@@ -1,6 +1,6 @@
 %% Regression level = 0
 %% Result = InValid
-%% Runtime = 1
+%% Runtime = 88
 %% Language = presentation
 
 % free variables: 
diff --git a/tests/big-test/dsa_chop_noopt-ssa.stp.cvc b/tests/big-test/dsa_chop_noopt-ssa.stp.cvc
index d513307..695c6fb 100644
--- a/tests/big-test/dsa_chop_noopt-ssa.stp.cvc
+++ b/tests/big-test/dsa_chop_noopt-ssa.stp.cvc
@@ -1,6 +1,6 @@
 %% Regression level = 0
 %% Result = InValid
-%% Runtime = 1
+%% Runtime = 54
 %% Language = presentation
 
 % free variables: 
diff --git a/tests/big-test/dsa_chop_noopt.stp.cvc b/tests/big-test/dsa_chop_noopt.stp.cvc
index d513307..eea850b 100644
--- a/tests/big-test/dsa_chop_noopt.stp.cvc
+++ b/tests/big-test/dsa_chop_noopt.stp.cvc
@@ -1,6 +1,6 @@
 %% Regression level = 0
 %% Result = InValid
-%% Runtime = 1
+%% Runtime = 60
 %% Language = presentation
 
 % free variables: