Arotau

Assignment table experiments

• Ran a set of experiments on the structured SATLIB instances using the new assignment table preprocessor; some nice results, but also a rather serious bug that means that I need to rerun the experiments. Got this diary up and running.