diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000000000000000000000000000000000000..c5c33029b07f7bd8b22ee484e338d52ffb235c71
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+tests/org/
\ No newline at end of file
diff --git a/Main.hs b/Main.hs
index e0b4450a8d9fa2436b34bc982c8eb22b0547a6e8..6f952b30126097108b5f5e1185a8f2de8f5941d7 100644
--- a/Main.hs
+++ b/Main.hs
@@ -37,7 +37,7 @@ main = do
     mutationFolders <- listDirectory mutantsDir
     
     -- Map each folder name to the path containing the mutant (mutant name is the same as the original file name)
-    let mutationPaths = map (\n -> joinPath [mutantsDir, n, testFile ++ ".java"]) mutationFolders
+    let mutationPaths = map (\n -> joinPath [mutantsDir, n, classPath testFile, testFile ++ ".java"]) mutationFolders
     
     -- Calculate the wlp per method of all the mutants
     wlpMutants <- mapM (\path -> parseFile path >>= (\(env', decls', methods') -> wlpMethods env' decls' methods') >>= return . (getMutantNumber path, )) mutationPaths
diff --git a/Results/basesecantsolver_true_returnValue != null_returnValueVar == returnValue_False_False_1 b/Results/basesecantsolver_true_returnValue != null_returnValueVar == returnValue_False_False_1
new file mode 100644
index 0000000000000000000000000000000000000000..2521dc090f46d95cebfe6032b9eccc561438ef46
--- /dev/null
+++ b/Results/basesecantsolver_true_returnValue != null_returnValueVar == returnValue_False_False_1	
@@ -0,0 +1,34 @@
+testFile: basesecantsolver
+postCondVoid: true
+postCondRefType: returnValue != null
+postCondPrimType: returnValueVar == returnValue
+ignoreLibMethods: False
+ignoreMainMethod: False
+nrOfUnroll: 1
+erronous mutations detected:
+206 verifyBracketing
+200 verifyInterval1
+200 verifySequence1
+200 verifyBracketing
+197 isSequence1
+196 isSequence1
+195 isSequence1
+194 isSequence1
+193 isSequence1
+192 isSequence1
+191 isSequence1
+190 isSequence1
+189 isSequence1
+188 isSequence1
+152 midpoint
+151 midpoint
+150 midpoint
+149 midpoint
+148 midpoint
+147 midpoint
+146 midpoint
+145 midpoint
+144 midpoint
+143 midpoint
+Total number of mutants: 207
+Number of mutants in which we found an error: 22
\ No newline at end of file
diff --git a/Results/basesecantsolver_true_true_true_False_False_1 b/Results/basesecantsolver_true_true_true_False_False_1
new file mode 100644
index 0000000000000000000000000000000000000000..42d7fe5bc22e76a8cd5c463b37aa7b0724554e09
--- /dev/null
+++ b/Results/basesecantsolver_true_true_true_False_False_1
@@ -0,0 +1,14 @@
+testFile: basesecantsolver
+postCondVoid: true
+postCondRefType: true
+postCondPrimType: true
+ignoreLibMethods: False
+ignoreMainMethod: False
+nrOfUnroll: 1
+erronous mutations detected:
+206 verifyBracketing
+200 verifyInterval1
+200 verifySequence1
+200 verifyBracketing
+Total number of mutants: 207
+Number of mutants in which we found an error: 2
\ No newline at end of file
diff --git a/Settings.hs b/Settings.hs
index 98778a65dc07c231aaf11f21ba80ecc010b041e2..b241d710a6eb7fa53efa75b09359d9f6e58e8db2 100644
--- a/Settings.hs
+++ b/Settings.hs
@@ -1,7 +1,9 @@
 module Settings where
 
+import System.FilePath(joinPath)
+
 testFile, postCondVoid, postCondRefType, postCondPrimType :: String
-testFile = "BaseSecantSolver"
+testFile = "basesecantsolver"
 
 -- The post condition may depend on the type of the method we are looking at
 postCondVoid = "true"
@@ -16,4 +18,9 @@ ignoreMainMethod = False
 
 
 nrOfUnroll :: Int
-nrOfUnroll = 1
\ No newline at end of file
+nrOfUnroll = 1
+
+-- The classpath for test files
+classPath :: FilePath -> FilePath
+classPath "basesecantsolver" = joinPath ["org", "apache", "commons", "math3", "analysis", "solvers"]
+classPath _ = ""
\ No newline at end of file
diff --git a/Tests/BaseSecantSolver$1.class b/Tests/BaseSecantSolver$1.class
new file mode 100644
index 0000000000000000000000000000000000000000..bec0ed2fba45f003679dbdd52cc1df95e176387f
Binary files /dev/null and b/Tests/BaseSecantSolver$1.class differ
diff --git a/Tests/BaseSecantSolver$Method.class b/Tests/BaseSecantSolver$Method.class
new file mode 100644
index 0000000000000000000000000000000000000000..2c436a53bcdc9bc2c78059d3eeba86dc646cff4e
Binary files /dev/null and b/Tests/BaseSecantSolver$Method.class differ
diff --git a/Tests/BaseSecantSolver.class b/Tests/BaseSecantSolver.class
new file mode 100644
index 0000000000000000000000000000000000000000..2bb94aed62ecc60b5a296eeb85e071bb882e16da
Binary files /dev/null and b/Tests/BaseSecantSolver.class differ
diff --git a/Tests/arrays1.class b/Tests/arrays1.class
index e5852dfde49dcfa0375623ed8358d28bdcb63bb5..df1e9ac357781be2475b93cb342a24fafc25d9bb 100644
Binary files a/Tests/arrays1.class and b/Tests/arrays1.class differ