heuristic performance is not as bad as before, but is still not as good as it should be
heuristic performance is not as bad as before, but is still not as good as it should be

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