aspartame
aspartame is an ASP-based constraint solver

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

The results can be found here. All instances used in the Fourth International CSP Solver Competition can be found here.




SourceForge.net Logo Valid XHTML 1.0 Strict Valid CSS!