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 |