CSP 2006 Competition (second round): list of solvers

List of solvers

Details on each solver


EventCSP 2006 Competition (second round)
TypeCSP
Submitterchristophe lecoutre
Date of submission2006-12-20 19:16
NameAbscon
Version109 ESAC
Authorschristophe lecoutre and sebastien tabary
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command linejava -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
Submitterchristophe lecoutre
Date of submission2006-12-20 19:13
NameAbscon
Version109 AC
Authorschristophe lecoutre and sebastien tabary
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command linejava -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterNeng-Fa zhou
Date of submission2006-12-13 23:39
NameBPrologCSPSolver70a
Version2006-12-13
AuthorsNeng-Fa zhou
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/Complete/Ordinary/solver BENCHNAMENOEXT TIMEOUT
Conversion script command lineHOME/Complete/Ordinary/conversion BENCHNAMENOEXT
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterMarc van Dongen
Date of submission2007-01-08 10:47
Namebuggy_2_5
Version2007-01-08
AuthorsMarc van Dongen
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
Solver command lineHOME/solver BENCHNAMENOEXT TIMEOUT
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterMarc van Dongen
Date of submission2007-01-08 10:47
Namebuggy_2_5_s
Version2007-01-08
AuthorsMarc van Dongen
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
Solver command lineHOME/solver2 BENCHNAMENOEXT TIMEOUT
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterJulien VION
Date of submission2006-12-19 15:07
NameCSP4J - Combo
Version2006-12-19
AuthorsJulien VION
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/cspfj.sh -solver Combo -competition BENCHNAME
Conversion script command line
CommentsMAX_RAM=850
VM_SIZE=130
PERM_SIZE=64
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterJulien VION
Date of submission2006-12-19 15:08
NameCSP4J - MAC
Version2006-12-19
AuthorsJulien VION
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/cspfj.sh -competition BENCHNAME
Conversion script command line
CommentsMAX_RAM=850
VM_SIZE=130
PERM_SIZE=64
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterJulien VION
Date of submission2007-01-16 13:04
NameCSP4J - MAC
Version2007-01-16
AuthorsJulien VION
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/cspfj.sh -competition BENCHNAME
Conversion script command line
Commentsbugfix version
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterOlivier ROUSSEL
Date of submission2006-12-27 20:51
NameCSPtoSAT+minisat
Version0.3
AuthorsOlivier ROUSSEL
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/CSPtoSAT+minisat BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterDiarmuid Grimes
Date of submission2006-12-21 22:26
NameDiarmuid-rndi
Version2006-12-21
AuthorsDiarmuid Grimes
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
Solver command lineHOME/solver
Conversion script command lineHOME/conversion BENCHNAMENOEXT
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterDiarmuid Grimes
Date of submission2007-01-22 15:57
NameDiarmuid-rndi
Version2007-01-22
AuthorsDiarmuid Grimes
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
Solver command lineHOME/solver
Conversion script command lineHOME/conversion BENCHNAMENOEXT
Commentsbugfix version
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterDiarmuid Grimes
Date of submission2006-12-21 22:26
NameDiarmuid-wtdi
Version2006-12-21
AuthorsDiarmuid Grimes
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
Solver command lineHOME/solver
Conversion script command lineHOME/conversion BENCHNAMENOEXT
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
Submittergilles audemard
Date of submission2006-12-08 14:43
Namegalac
Version1
Authorsgilles audemard, Assef Chmeiss and Lakdhar Sais
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/galac.sh BENCHNAME
Conversion script command line
Commentsset JVM = '-XX:PermSize=10m -XX:MaxPermSize=10m -Xms700M -Xmx700M'
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
Submittergilles audemard
Date of submission2006-12-09 08:57
NamegalacJ
Versionbeta 1
Authorsgilles audemard, Assef Chmeiss and Lakdhar Sais
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/galacJ.sh BENCHNAME
Conversion script command line
Commentsset JVM = '-XX:PermSize=10m -XX:MaxPermSize=10m -Xms700M -Xmx700M'
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterEmmanuel Hebrard
Date of submission2006-12-04 18:51
NameMistral
Version2006-12-04
AuthorsEmmanuel Hebrard
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/mistral/bin/solver BENCHNAME -v 1
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterRichard Wallace
Date of submission2006-12-09 19:30
Namerjw-solver
Version2006-12-09
AuthorsRichard Wallace
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
Solver command lineHOME/solve BENCHNAMENOEXT TIMEOUT
Conversion script command lineHOME/conversion BENCHNAMENOEXT
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterRichard Wallace
Date of submission2007-01-21 21:42
Namerjw-solver
Version2007-01-21
AuthorsRichard Wallace
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
Solver command lineHOME/solve BENCHNAMENOEXT TIMEOUT
Conversion script command lineHOME/conversion BENCHNAMENOEXT
Commentsbugfix version
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterDaniel Le Berre
Date of submission2007-01-04 11:53
Namesat4jCSP
Version1.7 RC BF3
AuthorsDaniel Le Berre and Ines Lynce
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command linejava -server -Xmx700M -Xms700M -jar HOME/sat4jCSP-bf3.jar BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterDaniel Le Berre
Date of submission2007-01-04 11:57
NameSAT4JCSP-CACHED
Version1.7 RC BF3
AuthorsDaniel Le Berre and Ines Lynce
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command linejava -server -Xmx700M -Xms700M -jar HOME/sat4jCSP-bf3-cached.jar BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterNaoyuki Tamura
Date of submission2006-12-26 18:52
Namesugar
Version0.40
AuthorsNaoyuki Tamura
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/solver HOME BENCHNAME
Conversion script command line
CommentsJVM parms: "-Xms200M -Xmx600M"
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterEmmanuel Hebrard
Date of submission2006-12-04 18:49
NameTramontane
Version2006-12-04
AuthorsEmmanuel Hebrard
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/tramontane/bin/solver BENCHNAME -res geom -f 3 -v 1
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterVincent Krawczyk
Date of submission2006-12-20 16:20
NameVALCSP
Version3.0
AuthorsVincent Krawczyk Assef Chmeiss Lakhdar Saïs
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
Solver command lineHOME/VALCSP BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2006 Competition (second round)
TypeCSP
SubmitterVincent Krawczyk
Date of submission2007-01-16 12:56
NameVALCSP
Version3.1
AuthorsVincent Krawczyk Assef Chmeiss Lakhdar Saïs
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
Solver command lineHOME/VALCSP BENCHNAME
Conversion script command line
Commentsbugfix version
Solver files and checksums
[Show/Hide files]