fix an issue with dynamic cut algorithm. The TIME variable may overflow after a while. The overflowed TIME value will stamp node's in the dynamic search tree with negative TS value, which will cause the search tree to form cycles.
fix an issue with dynamic cut algorithm. The TIME variable may overflow after
a while. The overflowed TIME value will stamp node's in the dynamic search tree
with negative TS value, which will cause the search tree to form cycles.

The proposed fix is to change the type of TIME from int to u_int64_t.

sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat