| Event | MAX-CSP 2008 Competition |
| Type | MAX-CSP |
| Submitter | christophe lecoutre |
| Date of submission | 2008-06-25 14:30 |
| Name | AbsconMax 112 |
| Version | pc-d |
| Authors | christophe lecoutre, olivier roussel and hachemi bennaceur |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT N-ARY-EXT N-ARY-INT |
| Solver command line | java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2008 Competition |
| Type | MAX-CSP |
| Submitter | christophe lecoutre |
| Date of submission | 2008-06-25 14:31 |
| Name | AbsconMax 112 |
| Version | pc-w |
| Authors | christophe lecoutre, olivier roussel and hachemi bennaceur |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT N-ARY-EXT N-ARY-INT |
| Solver command line | java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2008 Competition |
| Type | MAX-CSP |
| Submitter | Julien Vion |
| Date of submission | 2008-05-30 22:45 |
| Name | Concrete + CSP4J - MCRW Engine |
| Version | 2008-05-30 |
| Authors | Julien Vion |
| Complete/Incomplete | Incomplete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/concrete.sh -c -ext 0 -s MCRW -max BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2008 Competition |
| Type | MAX-CSP |
| Submitter | Julien Vion |
| Date of submission | 2008-05-30 22:44 |
| Name | Concrete + CSP4J - Tabu Engine |
| Version | 2008-05-30 |
| Authors | Julien Vion |
| Complete/Incomplete | Incomplete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/concrete.sh -c -ext 0 -max -s Tabu BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2008 Competition |
| Type | MAX-CSP |
| Submitter | Naoyuki Tamura |
| Date of submission | 2008-07-03 09:55 |
| Name | Sugar |
| Version | v1.13+minisat |
| Authors | Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2008 Competition |
| Type | MAX-CSP |
| Submitter | Naoyuki Tamura |
| Date of submission | 2008-07-03 10:18 |
| Name | Sugar++ |
| Version | v1.13+minisat-inc |
| Authors | Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2008 Competition |
| Type | MAX-CSP |
| Submitter | Simon de Givry |
| Date of submission | 2008-06-27 16:58 |
| Name | toulbar2 |
| Version | 2008-06-27 |
| Authors | Marti Sanchez, Sylvain Bouveret, Simon de Givry, Federico Heras, Philippe Jegou, Javier Larrosa, Samba Ndiaye, Emma Rollon, Thomas Schiex, Cyril Terrioux, Gerard Verfaillie, Matthias Zytnicki |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT N-ARY-EXT |
| Solver command line | HOME/solver.sh BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2008 Competition |
| Type | MAX-CSP |
| Submitter | Simon de Givry |
| Date of submission | 2008-06-27 16:58 |
| Name | toulbar2/BTD |
| Version | 2008-06-27 |
| Authors | Marti Sanchez, Sylvain Bouveret, Simon de Givry, Federico Heras, Philippe Jegou, Javier Larrosa, Samba Ndiaye, Emma Rollon, Thomas Schiex, Cyril Terrioux, Gerard Verfaillie, Matthias Zytnicki |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT N-ARY-EXT |
| Solver command line | HOME/solverBTD.sh BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |