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 d8edefb02a7c8a294c5f1cec1b692f9b6d1c9b03..d266fbaeb164bbef147472bd8ab79b5d86194f2f 100644 (file)
--- 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 4810b205f2635f4ebd93ee0b840e8d922050ac46..0eaae695281593ce97c6a5cfeeebabd31d9ae039 100644 (file)
--- 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 d5133079c02e1520b3ed95f609372c2f9f6979a2..695c6fb0ab23610c5f78a9d3c9aef0ccca6e61a7 100644 (file)
--- 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 d5133079c02e1520b3ed95f609372c2f9f6979a2..eea850b8178dae1f8b314917f6db0f47dd560048 100644 (file)
--- 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: