eval thing

diff --git a/report2/results.tex b/report2/results.tex
index f35556c..cd371a8 100644 (file)
--- a/report2/results.tex
+++ b/report2/results.tex
@@ -75,4 +75,8 @@ Secondly, due to the relatively short introduction to BDDs the gap between our
 knowlegde and the knowledge required to build such a solver is quite big. This
 lead to startup problems.
 
-% Maybe something about the complexity of the assignment
+The work was divided evenly in the beginning of the project. When we noticed
+that we did not have enough time to implement two solutions or even a hybrid
+approach we decided to go through with the solution that seemed the most
+doable. In the next phase of the project Alexander did more of the programming
+and Mart more of the report. Cumulatively we spent a lot of time on it.