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. Each run was restricted to 600 seconds CPU time.


Experiments on CSP instances from the Fourth International CSP Solver Competition

We tested aspartame on a selection 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: instances.zip

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!