4. Conclusion

This conclusion consists of two main points:

• Given the constraint system representation, N64 is better than NDD64 in term of run time performance and number of exceptions;
• The 32-bit is preferable to 64-bit computation, for our minimization databases (for the timeout exceptions and a slightly shorter run time).