| Event | MAX-CSP 2006 Competition |
| Type | MAX-CSP |
| Submitter | christophe lecoutre |
| Date of submission | 2006-12-20 19:18 |
| Name | AbsconMax |
| Version | 109 EPFC |
| Authors | christophe lecoutre |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2006 Competition |
| Type | MAX-CSP |
| Submitter | christophe lecoutre |
| Date of submission | 2006-12-20 19:17 |
| Name | AbsconMax |
| Version | 109 PFC |
| Authors | christophe lecoutre |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2006 Competition |
| Type | MAX-CSP |
| Submitter | Radu Marinescu |
| Date of submission | 2007-01-17 20:39 |
| Name | aolibdvo |
| Version | 2007-01-17 |
| Authors | Radu Marinescu |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT N-ARY-EXT |
| Solver command line | HOME/aolibdvo BENCHNAMENOEXT.wcsp |
| Conversion script command line | python xcsp2wcsp.py BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2006 Competition |
| Type | MAX-CSP |
| Submitter | Radu Marinescu |
| Date of submission | 2007-01-17 20:41 |
| Name | aolibpvo |
| Version | 2007-01-17 |
| Authors | Radu Marinescu |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT N-ARY-EXT |
| Solver command line | HOME/aolibpvo BENCHNAMENOEXT.wcsp |
| Conversion script command line | python xcsp2wcsp.py BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2006 Competition |
| Type | MAX-CSP |
| Submitter | Julien VION |
| Date of submission | 2006-12-19 15:05 |
| Name | CSP4J - MaxCSP |
| Version | 2006-12-19 |
| Authors | Julien VION |
| Complete/Incomplete | Incomplete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/cspfj.sh -solver MinConflicts -max -competition BENCHNAME |
| Conversion script command line | |
| Comments | MAX_RAM=850 VM_SIZE=130 PERM_SIZE=64 |
| Solver files and checksums |
| Event | MAX-CSP 2006 Competition |
| Type | MAX-CSP |
| Submitter | Simon de Givry |
| Date of submission | 2007-01-12 15:53 |
| Name | toolbar |
| Version | 2007-01-12 |
| Authors | Javier Larrosa, Emma Rollon, Federico Heras, Matthias Zytnicki, Simon de Givry, Thomas Schiex |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT N-ARY-EXT |
| Solver command line | HOME/solver.sh BENCHNAMENOEXT |
| Conversion script command line | HOME/translate BENCHNAMENOEXT |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2006 Competition |
| Type | MAX-CSP |
| Submitter | Simon de Givry |
| Date of submission | 2007-01-12 15:55 |
| Name | Toolbar_BTD |
| Version | 2007-01-12 |
| Authors | Simon de Givry, Fede Heras, Gerard Verfaillie, Javier Larrosa, MatthiasZytnicki , Sylvain Bouveret, Thomas Schiex |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT N-ARY-EXT |
| Solver command line | HOME/solver.sh BENCHNAMENOEXT |
| Conversion script command line | HOME/translate BENCHNAMENOEXT |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2006 Competition |
| Type | MAX-CSP |
| Submitter | Federico Heras Viaga |
| Date of submission | 2007-01-19 11:42 |
| Name | Toolbar_MaxSat |
| Version | 2007-01-19 |
| Authors | Fede Heras, Emma Rollon, Javier Larrosa, Matthias Zytnicki, Simon de Givry, Thomas Schiex |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT N-ARY-EXT |
| Solver command line | HOME/solver.sh BENCHNAMENOEXT |
| Conversion script command line | HOME/translate BENCHNAMENOEXT |
| Comments | |
| Solver files and checksums |
| Event | MAX-CSP 2006 Competition |
| Type | MAX-CSP |
| Submitter | Sanchez Fibla |
| Date of submission | 2007-01-12 15:58 |
| Name | Toulbar2 |
| Version | 2007-01-12 |
| Authors | Marti Sanchez, Javier Larrosa, Matthias Zytnicki, Simon de Givry, Thomas Schiex |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT N-ARY-EXT |
| Solver command line | HOME/solver.sh BENCHNAMENOEXT |
| Conversion script command line | HOME/translate BENCHNAMENOEXT |
| Comments | |
| Solver files and checksums |