| Event | CSP 2008 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 GLOBAL 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 2008 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 GLOBAL 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 2008 Competition |
| Type | CSP |
| Submitter | Neng-Fa Zhou |
| Date of submission | 2008-06-27 20:44 |
| Name | bpsolver |
| Version | 2008-06-27 |
| Authors | Neng-Fa Zhou |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/solver BENCHNAMENOEXT TIMEOUT |
| Conversion script command line | |
| Comments | bpsolver version 6.27.2008 To install bpsolver, simply extract the files from bpsolver08.tar.gz into the home directory. To solve a problem instance named BENCHNAME.xml, use the following command: ~/solver BENCHNAME time or ~/bpsolver BENCHNAME time where time is the time limit in seconds. If no time limit is given, a limit of 1800 seconds is used. |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Marco Correia |
| Date of submission | 2008-07-02 02:29 |
| Name | casper |
| Version | zao |
| Authors | Marco Correia |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/casperzao BENCHNAME RANDOMSEED |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Marco Correia |
| Date of submission | 2008-07-02 02:28 |
| Name | casper |
| Version | zito |
| Authors | Marco Correia |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/casperzito BENCHNAME RANDOMSEED |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Hadrien Cambazard |
| Date of submission | 2008-06-26 17:24 |
| Name | choco2_dwdeg |
| Version | 2008-06-26 |
| Authors | Narendra Jussien, Francois Laburthe, Charles Prud'homme, Guillaume Rochart, Hadrien Cambazard |
| 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 choco2dwdeg.jar BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Hadrien Cambazard |
| Date of submission | 2008-06-26 17:26 |
| Name | choco2_impwdeg |
| Version | 2008-06-26 |
| Authors | Narendra Jussien, Francois Laburthe, Charles Prud'homme, Guillaume Rochart, Hadrien Cambazard |
| 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 choco2impWdeg.jar BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Julien Vion |
| Date of submission | 2008-05-30 22:46 |
| Name | Concrete + CPS4J |
| Version | 2008-05-30 |
| Authors | Julien Vion |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/concrete.sh -c -ext 60 BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Julien Vion |
| Date of submission | 2008-05-30 22:48 |
| 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 -s Tabu BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Julien Vion |
| Date of submission | 2008-05-30 22:47 |
| Name | Concrete + CSP4J - WMC 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 WMC BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Eoin O'Mahony |
| Date of submission | 2008-07-01 16:28 |
| Name | cpHydra |
| Version | k_10 |
| Authors | Eoin O'Mahony, Emmanuel Hebrard, Alan Holland, Conor Nugent, Barry O'Sullivan |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/cpHydra_k_10/hydra BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Eoin O'Mahony |
| Date of submission | 2008-07-01 16:27 |
| Name | cpHydra |
| Version | k_40 |
| Authors | Eoin O'Mahony, Emmanuel Hebrard, Alan Holland, Conor Nugent, Barry O'Sullivan |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/cpHydra_k_40/hydra BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | audemard gilles |
| Date of submission | 2008-06-27 10:25 |
| Name | galac |
| Version | E |
| Authors | audemard gilles, Chmeiss Assef, Sais Lakhdar |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/galacE.sh BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | audemard gilles |
| Date of submission | 2008-06-27 10:27 |
| Name | galac |
| Version | M |
| Authors | audemard gilles, Chmeiss Assef, Sais Lakhdar |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/galacM.sh BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Kenil Cheng |
| Date of submission | 2008-06-09 10:00 |
| Name | mddc-solv |
| Version | 2008-06-09 |
| Authors | Kenil Cheng |
| Complete/Incomplete | Complete |
| Is able to solve | N-ARY-EXT |
| Solver command line | HOME/solver BENCHNAME |
| Conversion script command line | |
| Comments | make |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Diarmuid Grimes |
| Date of submission | 2008-06-27 01:42 |
| Name | MDG-noprobe |
| Version | 2008-06-27 |
| Authors | Diarmuid Grimes |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/xsolve BENCHNAME -heu dom/wdeg -res no |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Diarmuid Grimes |
| Date of submission | 2008-06-27 01:43 |
| Name | MDG-probe |
| Version | 2008-06-27 |
| Authors | Diarmuid Grimes |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/xsolve BENCHNAME -v 1 -rs RANDOMSEED -probe 1 -ph 0 -heu dom/wdeg -res no |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Andrea Rendl |
| Date of submission | 2008-07-04 15:58 |
| Name | Minion/Tailor |
| Version | 2008-07-04 |
| Authors | Ian Gent, Chris Jefferson, Ian Miguel, Neil Moore, Peter Nighingale, Karen Petrie, Andrea Rendl |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | DIR/solve.sh BENCHNAME |
| Conversion script command line | |
| Comments | We do not support cumulative and the error messages for that might not be explicit. |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Emmanuel Hebrard |
| Date of submission | 2008-06-19 09:32 |
| Name | Mistral-option |
| Version | 1.314 |
| Authors | Emmanuel Hebrard |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/xsolve BENCHNAME -heu dyn -sac 3 -ds 2 |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Emmanuel Hebrard |
| Date of submission | 2008-06-18 21:21 |
| Name | Mistral-prime |
| Version | 1.313 |
| Authors | Emmanuel Hebrard |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | HOME/xsolve BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Daniel Le Berre |
| Date of submission | 2008-06-13 15:43 |
| Name | SAT4J CSP |
| Version | 2008-06-13 |
| Authors | Daniel Le Berre |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT 2-ARY-INT GLOBAL N-ARY-EXT N-ARY-INT |
| Solver command line | java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar BENCHNAME |
| Conversion script command line | |
| Comments | Solver corrected to handle properly new XCSP format. Will just quit when a non supported global constraint is met. |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Chavalit Likitvivatanavong |
| Date of submission | 2008-06-14 13:11 |
| Name | spider |
| Version | 2008-06-14 |
| Authors | Chavalit Likitvivatanavong |
| Complete/Incomplete | Complete |
| Is able to solve | 2-ARY-EXT N-ARY-EXT |
| Solver command line | HOME/run -c BENCHNAME |
| Conversion script command line | |
| Comments | A resubmission. Previous version outputs error message when domains are too large. It was fixed in this version. |
| Solver files and checksums |
| Event | CSP 2008 Competition |
| Type | CSP |
| Submitter | Naoyuki Tamura |
| Date of submission | 2008-06-25 11:25 |
| 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 -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 | CSP 2008 Competition |
| Type | CSP |
| Submitter | Naoyuki Tamura |
| Date of submission | 2008-06-25 11:27 |
| Name | Sugar |
| Version | v1.13+picosat |
| 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 -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |