Our experiments ran under Linux on dual Xeon E5520 quad-core processors with 2:26 GHz and 48 GB RAM with aspartame 2.0.0. Each run was restricted to 1800 seconds CPU time for grounding and solving each.
Experiments on CSP instances from the Fourth International CSP Solver Competition
We tested aspartame on the GLOBAL category of CSP instances from the Fourth International CSP Solver Competition. We choose this selection because sugar is known for performing quite well on these instances. After removing simple instances the following set was remaining: globalinstances.tar.gz