diff --git a/include/Core/TAPN/StochasticStructure.hpp b/include/Core/TAPN/StochasticStructure.hpp
index 08ba501a..1acbde02 100644
--- a/include/Core/TAPN/StochasticStructure.hpp
+++ b/include/Core/TAPN/StochasticStructure.hpp
@@ -95,6 +95,7 @@ namespace VerifyTAPN::SMC {
                     date = std::geometric_distribution(parameters.geometric.p)(engine);
                     break;
             }
+            date = round(date * 100000) / 100000;
             return std::max(date, 0.0);
         }
 
diff --git a/src/DiscreteVerification/VerificationTypes/SMCVerification.cpp b/src/DiscreteVerification/VerificationTypes/SMCVerification.cpp
index c9f9f7b0..140f3a9b 100644
--- a/src/DiscreteVerification/VerificationTypes/SMCVerification.cpp
+++ b/src/DiscreteVerification/VerificationTypes/SMCVerification.cpp
@@ -296,16 +296,6 @@ SMCVerification::createTokenNode(rapidxml::xml_document<> &doc, const TAPN::Time
     xml_attribute<> *ageAttribute = doc.allocate_attribute("age", doc.allocate_string(
             str.c_str()));
     tokenNode->append_attribute(ageAttribute);
-    if (place.getMaxConstant() < token.getAge()) {
-        xml_attribute<> *gtAttribute = doc.allocate_attribute("greaterThanOrEqual",
-                                                                doc.allocate_string("true"));
-        tokenNode->append_attribute(gtAttribute);
-    } else {
-        xml_attribute<> *gtAttribute = doc.allocate_attribute("greaterThanOrEqual",
-                                                                doc.allocate_string("false"));
-        tokenNode->append_attribute(gtAttribute);
-    }
-
     return tokenNode;
 }