| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | christophe lecoutre |
| Date of submission | 2008-07-02 13:40 |
| Name | Abscon 112v4 |
| Version | AC |
| Authors | christophe lecoutre and sebastien tabary |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT Alldiff Alldiff+Elt+WSum N-ARY-EXT N-ARY-INT |
| Solver command line | java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME |
| Conversion script command line | |
| Comments | cumulative is not implemented |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | christophe lecoutre |
| Date of submission | 2008-07-02 13:42 |
| Name | Abscon 112v4 |
| Version | ESAC |
| Authors | christophe lecoutre and sebastien tabary |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT Alldiff Alldiff+Elt+WSum N-ARY-EXT N-ARY-INT |
| Solver command line | java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME |
| Conversion script command line | |
| Comments | cumulative is not implemented |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | Neng-Fa Zhou |
| Date of submission | 2009-07-02 09:56 |
| Name | bpsolver |
| Version | 09 |
| Authors | Neng-Fa Zhou |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT Alldiff Alldiff+Cumul+Elt+WSum Alldiff+Elt+WSum N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/solver BENCHNAMENOEXT TIMEOUT |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | hadrien cambazard |
| Date of submission | 2009-06-10 17:29 |
| Name | Choco2.1.1 |
| Version | 2009-06-10 |
| Authors | The Choco Team |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT Alldiff Alldiff+Cumul+Elt+WSum Alldiff+Elt+WSum N-ARY-EXT N-ARY-INT |
| Solver command line | java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979 |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | hadrien cambazard |
| Date of submission | 2009-07-16 16:02 |
| Name | Choco2.1.1b |
| Version | 2009-07-16 |
| Authors | The Choco team |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT Alldiff Alldiff+Cumul+Elt+WSum Alldiff+Elt+WSum N-ARY-EXT N-ARY-INT |
| Solver command line | java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979 |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | Julien Vion |
| Date of submission | 2009-06-10 17:34 |
| Name | Concrete |
| Version | 2009-07-14 |
| Authors | Julien Vion |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT Alldiff N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/concrete.sh -c BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | Julien Vion |
| Date of submission | 2009-06-10 17:33 |
| Name | Concrete DC |
| Version | 2009-07-14 |
| Authors | Julien Vion |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT Alldiff N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | Marc van Dongen |
| Date of submission | 2009-06-04 13:00 |
| Name | Conquer |
| Version | 2009-07-10 |
| Authors | Marc van Dongen and Tim Januschowski |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT N-ARY-EXT |
| Solver command line | HOME/solver -benchname BENCHNAME -dir DIR -tmpdir TMPDIR |
| Conversion script command line | |
| Comments | Conquer is a brand-new java-based solver that conquers constraint queries. It is half finished as it only supports extensional constraints. The basic solver requires a few more months implementing to support more efficient solving. The solver was implemented by Marc van Dongen, who started the project, and Tim Januschowski, who implemented the XML parser. |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | Emmanuel Hebrard |
| Date of submission | 2009-06-25 10:52 |
| Name | Mistral |
| Version | 1.545 |
| Authors | Emmanuel Hebrard |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT Alldiff Alldiff+Cumul+Elt+WSum Alldiff+Elt+WSum N-ARY-EXT N-ARY-INT |
| Solver command line | /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | Michael Veksler |
| Date of submission | 2009-06-11 00:37 |
| Name | pcs |
| Version | 0.3.2 |
| Authors | Michael Veksler |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/pcssolve -s RANDOMSEED BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | Michael Veksler |
| Date of submission | 2009-06-11 00:35 |
| Name | pcs-restart |
| Version | 0.3.2 |
| Authors | Michael Veksler |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/pcssolve -s RANDOMSEED BENCHNAME |
| Conversion script command line | |
| Comments | Unlike pcs, this variant has: 1) restarts 2) more robust variable and value ordering heuristics which are less affected by randomness |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | Daniel Le Berre |
| Date of submission | 2009-06-22 21:37 |
| Name | SAT4J CSP |
| Version | 2.1.1 |
| Authors | Daniel Le Berre |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT Alldiff N-ARY-EXT N-ARY-INT |
| Solver command line | java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | Naoyuki Tamura |
| Date of submission | 2009-06-09 08:54 |
| Name | Sugar |
| Version | v1.14.6+minisat |
| Authors | Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT Alldiff Alldiff+Cumul+Elt+WSum Alldiff+Elt+WSum N-ARY-EXT N-ARY-INT |
| Solver command line | DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2009 Competition |
| Type | CSP |
| Submitter | Naoyuki Tamura |
| Date of submission | 2009-06-09 08:56 |
| Name | Sugar |
| Version | v1.14.6+picosat |
| Authors | Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT Alldiff Alldiff+Cumul+Elt+WSum Alldiff+Elt+WSum N-ARY-EXT N-ARY-INT |
| Solver command line | DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |