cycle detected without buddy

src/main.cpp

@@ -526,7 +526,7 @@ int main(int argc, char **argv)
             if (algorithm == "UFSCC" || algorithm == "CNDFS")
             {
                 std::cout<<"------------CNDFS-------------"<<std::endl;
-                CNDFS cndfs(mcl,af,1); // If I increase the number of threads, a segmentation fault appears.
+                CNDFS cndfs(mcl,af,2); // If I increase the number of threads, a segmentation fault appears.
                 return(0);
             }
             else // run on the fly sequential model-checking