calling with -rnd-init and, possibly, -rnd-freq=0.01, seems to be pretty effective for graphs (especially: if you try several random seeds, one is likely to solve the problem very quickly)
calling with -rnd-init and, possibly, -rnd-freq=0.01, seems to be pretty effective for graphs (especially: if you try several random seeds, one is likely to solve the problem very quickly)

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