2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers): list of solvers

List of solvers

AbsCon-basic 2017-06-11 (Christophe Lecoutre)
BTD 2017-07-25 (Philippe Jégou, Hanan Kanso, Cyril Terrioux)
BTD 2017-08-10 (Philippe Jégou, Hanan Kanso, Cyril Terrioux)
choco-solver 4.0.5 par (2017-08-09) (Charles Prud'homme and Jean-Guillaume Fages)
choco-solver 4.0.5 par (2017-08-18) (Charles Prud'homme and Jean-Guillaume Fages)
choco-solver 4.0.5 seq (2017-08-09) (Charles Prud'homme and Jean-Guillaume Fages)
choco-solver 4.0.5 seq (2017-08-18) (Charles Prud'homme and Jean-Guillaume Fages)
choco-solver 5a (2017-07-26) (Charles Prud'homme and Jean-Guillaume Fages)
choco-solver 5a (2017-08-18) (Charles Prud'homme and Jean-Guillaume Fages)
Concrete 3.4 (Julien Vion)
cosoco 1.12 (Gilles Audemard)
cosoco-sat 1.12 (Gilles Audemard)
Mistral-2.0 2017-07-28 (Emmanuel Hebrard and Mohamed Siala)
OscaR - ALNS 2017-07-26 (OscaR Team)
OscaR - Conflict Ordering 2017-07-26 (OscaR Team)
OscaR - Hybrid 2017-07-26 (OscaR Team)
OscaR - Parallel with EPS 2017-07-26 (OscaR Team)
OscaR - Parallel with EPS 2017-08-22 (OscaR Team)
R1: AbsCon-basic 2017-06-11 (Christophe Lecoutre)
R1: BTD 2017-06-30 (Philippe Jegou, Hanan Kanso, Cyril Terrioux)
R1: choco-solver 4.0.5 (2017-07-05) (Charles Prud'homme and Jean-Guillaume Fages)
R1: choco-solver 5a (2017-07-05) (Charles Prud'homme and Jean-Guillaume Fages)
R1: Concrete 3.4 (Julien Vion)
R1: cosoco 1.1 (Gilles Audemard)
R1: cosoco-sat 1.1 (Gilles Audemard)
R1: Mistral-2.0 2017-06-28 (Emmanuel Hebrard and Mohamed Siala)
R1: OscaR - ALNS 2017-06-30 (OscaR Team)
R1: OscaR - Conflict Ordering 2017-06-30 (OscaR Team)
R1: OscaR - Hybrid 2017-06-30 (OscaR Team)
R1: sat4j-CSP 2017-07-05 (Daniel Le Berre, Emmanuel Lonca)
sat4j-CSP 2017-07-05 (Daniel Le Berre, Emmanuel Lonca)

Details on each solver

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Christophe Lecoutre

Date of submission 2017-06-11 10:27

Name AbsCon-basic

Version 2017-06-11

Authors Christophe Lecoutre

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -jar HOME/AbsCon-basic.jar BENCHNAME

Conversion script command line

Comments This is a very basic version of AbsCon, meaning that I spent all my energy in developing tools and instances for XCSP3/MCSP3 and no energy to prepare my solver ;-)

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Cyril Terrioux

Date of submission 2017-07-26 12:49

Name BTD

Version 2017-07-25

Authors Philippe Jégou, Hanan Kanso, Cyril Terrioux

Complete/Incomplete Complete

Is able to solve CSP

Solver command line BTD TIMEOUT BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Cyril Terrioux

Date of submission 2017-08-10 14:16

Name BTD

Version 2017-08-10

Authors Philippe Jégou, Hanan Kanso, Cyril Terrioux

Complete/Incomplete Complete

Is able to solve CSP

Solver command line BTD TIMEOUT BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Prud'homme

Date of submission 2017-08-09 22:43

Name choco-solver

Version 4.0.5 par (2017-08-09)

Authors Charles Prud'homme and Jean-Guillaume Fages

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments The command line assumes that the jar file and the shell are in the same directory.

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Prud'homme

Date of submission 2017-08-18 17:12

Name choco-solver

Version 4.0.5 par (2017-08-18)

Authors Charles Prud'homme and Jean-Guillaume Fages

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments The command line assumes that the jar file and the shell are in the same directory.

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Prud'homme

Date of submission 2017-08-09 22:43

Name choco-solver

Version 4.0.5 seq (2017-08-09)

Authors Charles Prud'homme and Jean-Guillaume Fages

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments The command line assumes that the jar file and the shell are in the same directory.

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Prud'homme

Date of submission 2017-08-18 17:12

Name choco-solver

Version 4.0.5 seq (2017-08-18)

Authors Charles Prud'homme and Jean-Guillaume Fages

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments The command line assumes that the jar file and the shell are in the same directory.

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Prud'homme

Date of submission 2017-07-26 22:19

Name choco-solver

Version 5a (2017-07-26)

Authors Charles Prud'homme and Jean-Guillaume Fages

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments The command line assumes that the jar file and the shell are in the same directory.

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Prud'homme

Date of submission 2017-08-18 17:13

Name choco-solver

Version 5a (2017-08-18)

Authors Charles Prud'homme and Jean-Guillaume Fages

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments The command line assumes that the jar file and the shell are in the same directory.

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Julien Vion

Date of submission 2017-06-29 22:41

Name Concrete

Version 3.4

Authors Julien Vion

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line bin/concrete BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

File	md5sum
bin/concrete	c935d42f6d3754a291deba0382c353d8
bin/concrete~	28ed6af0a95383c342c20d070760397f
bin/concrete.bat	3814894743a293a963f85a2468e25761
conf/application.conf	9a2d05fa3e167c0203bb3f0dbb44c281
conf/application.ini	b3661120f531b25ab82341ed6c9ad528
conf/logback.xml	cca957b9454563013b67120816d57347
lib/ch.qos.logback.logback-classic-1.2.3.jar	64f7a68f931aed8e5ad8243470440f0b
lib/ch.qos.logback.logback-core-1.2.3.jar	841fc80c6edff60d947a3872a2db4d45
lib/com.github.davidmoten.guava-mini-0.1.jar	ead9fecd5c8f4fdd682cef9141afe9c3
lib/com.github.davidmoten.rtree-0.8.0.1.jar	fc089b6ea5210a0d9f899f98e88b5e31
lib/com.github.davidmoten.rxjava-extras-0.8.0.7.jar	80d5b9c681199c655fb4732981b4fae1
lib/com.lihaoyi.fastparse_2.12-0.4.3.jar	8c4a85f58681addcf5d4729d36fef5e9
lib/com.lihaoyi.fastparse-utils_2.12-0.4.3.jar	8bddcff9f6d47b807ba29a3c6ef76d38
lib/com.lihaoyi.sourcecode_2.12-0.1.3.jar	1e3cadeaab3f8eb33cb2cd3a4e1f768e
lib/com.storm-enroute.scalameter-core_2.12-0.8.2.jar	a823c5f3b01c55e393458a206d255cd2
lib/com.typesafe.config-1.3.1.jar	1d0abce257a747570923243f3105ffca
lib/com.typesafe.scala-logging.scala-logging_2.12-3.5.0.jar	1303f990d0019661b4f8ff8fa1865595
lib/com.typesafe.slick.slick_2.12-3.2.0.jar	dd4218d2c3d20356dbd1a7b2cd9679ba
lib/fr.univ-valenciennes.bitvectors_2.12-1.0.0.jar	2cccb7d06f0c45e6b6d5a6dab40ade9d
lib/fr.univ-valenciennes.concrete-3.4.jar	9a55b878a64988ae56151b4dce392244
lib/fr.univ-valenciennes.cspom_2.12-2.15.jar	656df93fceb5c234fc62cba3113ba83d
lib/fr.univ-valenciennes.mdd_2.12-1.4.0.jar	cddb0ca14e5bfecedc9453345c56c5b0
lib/io.reactivex.rxjava-1.2.10.jar	be9e084fafe3d31e57122ba73c916078
lib/org.apache.commons.commons-compress-1.14.jar	6dbbb8b86e98bde1f240ea475cf829fb
lib/org.apache.commons.commons-lang3-3.4.jar	8667a442ee77e509fbe8176b94726eb2
lib/org.apache.commons.commons-math3-3.2.jar	aaa32530c0f744813570ff73db018698
lib/org.ow2.asm.asm-5.0.4.jar	c8a73cdfdf802ab0220c860d590d0f84
lib/org.ow2.sat4j.org.ow2.sat4j.core-2.3.5.jar	18316fdd044b0e81ace19fe4a31d28b2
lib/org.ow2.sat4j.org.ow2.sat4j.pb-2.3.5.jar	42c5751c7b0c7788d3ca325d9686ac8e
lib/org.postgresql.postgresql-42.1.1.jar	336361c79bf80cef876bb88696d58183
lib/org.reactivestreams.reactive-streams-1.0.0.jar	b33a215694fa90a07c7abcee17a173e2
lib/org.scala-lang.modules.scala-parser-combinators_2.12-1.0.4.jar	f6c529661ee8709e9e77e59f26de2690
lib/org.scala-lang.modules.scala-xml_2.12-1.0.6.jar	ac867dfb81feb7c874f2cbc953453700
lib/org.scala-lang.scala-library-2.12.2.jar	3e4a5da83c2dccb493f893c169390a22
lib/org.scala-lang.scala-reflect-2.12.2.jar	eba2b25f0eb73fd6859e4166721aaf35
lib/org.slf4j.slf4j-api-1.7.25.jar	caafe376afb7086dcbee79f780394ca3
lib/org.tukaani.xz-1.6.jar	f1bd86b27cb86528aadc973dcd60f6ca
lib/SCHype.jar	2256395d8c8a7159f1db105e7fe4006c
lib/xcsp3-1.0.0-SNAPSHOT.jar	84a6b9cb38d3e648427e46377393e885
mzn_lib/alldifferent_except_0.mzn	a76b0d189dcdd09b9366e41bf9196517
mzn_lib/all_different_int.mzn	c6156ee0e715ce254039fbfdbca31346
mzn_lib/bin_packing_capa.mzn	1350676fcc87b96d55333bfb663993e9
mzn_lib/bin_packing_load.mzn	c80ee136802e64348a00c09cf97a89c5
mzn_lib/bin_packing.mzn	b8d512279766579b928cddd1999eeeed
mzn_lib/circuit.mzn.not	9dc64241b92b46edf4631b677e0f5bb9
mzn_lib/count_eq.mzn	ece46fbdc0f7331f90c37ce722b30d8c
mzn_lib/cumulative.mzn	88d52cb4771a94570ff31b8d5d2d3824
mzn_lib/diffn.mzn	a681b9ed108fe9b9198e0bd2829fa121
mzn_lib/inverse.mzn	4b687c63a4f8cd7f6535e4619da3a02a
mzn_lib/knapsack.mzn	02b868915c3dee4b1e20fd5bff5ae9bf
mzn_lib/lex_less_bool.mzn	599a868fd354d6e571ede69f4fef0a94
mzn_lib/lex_lesseq_bool.mzn	a8c0b440d2c9e8fdfdb91cf007f2b822
mzn_lib/lex_lesseq_int.mzn	434e6f5f49f2f928c4a9b943a559f183
mzn_lib/lex_less_int.mzn	74cfdde624c93dbfcdc5e64ca64fdeb2
mzn_lib/member_bool.mzn	3550d1ff7b96021ab3094598ba3ee548
mzn_lib/member_int.mzn	2e2501200dc794b33dadc2ca56c8d1dc
mzn_lib/redefinitions.mzn	ed198c011a028f2f522ee81cbc106519
mzn_lib/regular.mzn	3db49527873c520b4b44593885c4357a
mzn_lib/sliding_sum.mzn	99854b2b914048f563d7cd2958479bba
mzn_lib/table_int.mzn	a9551f600a505d8374b4e68739a027aa
Meta md5sum: b113e5504f1adde2746923215ee80d48

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Gilles Audemard

Date of submission 2017-08-10 09:54

Name cosoco

Version 1.12

Authors Gilles Audemard

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line cosoco -lc -model -restarts BENCHNAME

Conversion script command line

Comments bug fixed version.

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Gilles Audemard

Date of submission 2017-08-10 10:07

Name cosoco-sat

Version 1.12

Authors Gilles Audemard

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line cosoco -lc -model -restarts -sat BENCHNAME

Conversion script command line

Comments It is buggy :(

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Mohamed Siala

Date of submission 2017-07-28 21:48

Name Mistral-2.0

Version 2017-07-28

Authors Emmanuel Hebrard and Mohamed Siala

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME

Conversion script command line

Comments The README file contains all the instructions for compilation.

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Thomas

Date of submission 2017-07-26 18:32

Name OscaR - ALNS

Version 2017-07-26

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP

Solver command line java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Thomas

Date of submission 2017-07-26 18:31

Name OscaR - Conflict Ordering

Version 2017-07-26

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Thomas

Date of submission 2017-07-26 18:28

Name OscaR - Hybrid

Version 2017-07-26

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP

Solver command line java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Thomas

Date of submission 2017-07-26 18:26

Name OscaR - Parallel with EPS

Version 2017-07-26

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Thomas

Date of submission 2017-08-22 12:00

Name OscaR - Parallel with EPS

Version 2017-08-22

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Christophe Lecoutre

Date of submission 2017-06-11 10:27

Name R1: AbsCon-basic

Version 2017-06-11

Authors Christophe Lecoutre

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -jar HOME/AbsCon-basic.jar BENCHNAME

Conversion script command line

Comments This is a very basic version of AbsCon, meaning that I spent all my energy in developing tools and instances for XCSP3/MCSP3 and no energy to prepare my solver ;-)

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Cyril Terrioux

Date of submission 2017-06-30 17:54

Name R1: BTD

Version 2017-06-30

Authors Philippe Jegou, Hanan Kanso, Cyril Terrioux

Complete/Incomplete Complete

Is able to solve CSP

Solver command line BTD TIMEOUT BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Prud'homme

Date of submission 2017-07-05 11:01

Name R1: choco-solver

Version 4.0.5 (2017-07-05)

Authors Charles Prud'homme and Jean-Guillaume Fages

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments The command line assumes that the jar file and the shell are in the same directory.

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Prud'homme

Date of submission 2017-07-05 11:03

Name R1: choco-solver

Version 5a (2017-07-05)

Authors Charles Prud'homme and Jean-Guillaume Fages

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments The command line assumes that the jar file and the shell are in the same directory.

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Julien Vion

Date of submission 2017-06-29 22:41

Name R1: Concrete

Version 3.4

Authors Julien Vion

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line bin/concrete BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

File	md5sum
bin/concrete	28ed6af0a95383c342c20d070760397f
bin/concrete.bat	3814894743a293a963f85a2468e25761
conf/application.conf	9a2d05fa3e167c0203bb3f0dbb44c281
conf/application.ini	b3661120f531b25ab82341ed6c9ad528
conf/logback.xml	cca957b9454563013b67120816d57347
lib/ch.qos.logback.logback-classic-1.2.3.jar	64f7a68f931aed8e5ad8243470440f0b
lib/ch.qos.logback.logback-core-1.2.3.jar	841fc80c6edff60d947a3872a2db4d45
lib/com.github.davidmoten.guava-mini-0.1.jar	ead9fecd5c8f4fdd682cef9141afe9c3
lib/com.github.davidmoten.rtree-0.8.0.1.jar	fc089b6ea5210a0d9f899f98e88b5e31
lib/com.github.davidmoten.rxjava-extras-0.8.0.7.jar	80d5b9c681199c655fb4732981b4fae1
lib/com.lihaoyi.fastparse_2.12-0.4.3.jar	8c4a85f58681addcf5d4729d36fef5e9
lib/com.lihaoyi.fastparse-utils_2.12-0.4.3.jar	8bddcff9f6d47b807ba29a3c6ef76d38
lib/com.lihaoyi.sourcecode_2.12-0.1.3.jar	1e3cadeaab3f8eb33cb2cd3a4e1f768e
lib/com.storm-enroute.scalameter-core_2.12-0.8.2.jar	a823c5f3b01c55e393458a206d255cd2
lib/com.typesafe.config-1.3.1.jar	1d0abce257a747570923243f3105ffca
lib/com.typesafe.scala-logging.scala-logging_2.12-3.5.0.jar	1303f990d0019661b4f8ff8fa1865595
lib/com.typesafe.slick.slick_2.12-3.2.0.jar	dd4218d2c3d20356dbd1a7b2cd9679ba
lib/fr.univ-valenciennes.bitvectors_2.12-1.0.0.jar	2cccb7d06f0c45e6b6d5a6dab40ade9d
lib/fr.univ-valenciennes.concrete-3.4.jar	9a55b878a64988ae56151b4dce392244
lib/fr.univ-valenciennes.cspom_2.12-2.15.jar	656df93fceb5c234fc62cba3113ba83d
lib/fr.univ-valenciennes.mdd_2.12-1.4.0.jar	cddb0ca14e5bfecedc9453345c56c5b0
lib/io.reactivex.rxjava-1.2.10.jar	be9e084fafe3d31e57122ba73c916078
lib/org.apache.commons.commons-compress-1.14.jar	6dbbb8b86e98bde1f240ea475cf829fb
lib/org.apache.commons.commons-lang3-3.4.jar	8667a442ee77e509fbe8176b94726eb2
lib/org.apache.commons.commons-math3-3.2.jar	aaa32530c0f744813570ff73db018698
lib/org.ow2.asm.asm-5.0.4.jar	c8a73cdfdf802ab0220c860d590d0f84
lib/org.ow2.sat4j.org.ow2.sat4j.core-2.3.5.jar	18316fdd044b0e81ace19fe4a31d28b2
lib/org.ow2.sat4j.org.ow2.sat4j.pb-2.3.5.jar	42c5751c7b0c7788d3ca325d9686ac8e
lib/org.postgresql.postgresql-42.1.1.jar	336361c79bf80cef876bb88696d58183
lib/org.reactivestreams.reactive-streams-1.0.0.jar	b33a215694fa90a07c7abcee17a173e2
lib/org.scala-lang.modules.scala-parser-combinators_2.12-1.0.4.jar	f6c529661ee8709e9e77e59f26de2690
lib/org.scala-lang.modules.scala-xml_2.12-1.0.6.jar	ac867dfb81feb7c874f2cbc953453700
lib/org.scala-lang.scala-library-2.12.2.jar	3e4a5da83c2dccb493f893c169390a22
lib/org.scala-lang.scala-reflect-2.12.2.jar	eba2b25f0eb73fd6859e4166721aaf35
lib/org.slf4j.slf4j-api-1.7.25.jar	caafe376afb7086dcbee79f780394ca3
lib/org.tukaani.xz-1.6.jar	f1bd86b27cb86528aadc973dcd60f6ca
lib/SCHype.jar	2256395d8c8a7159f1db105e7fe4006c
lib/xcsp3-1.0.0-SNAPSHOT.jar	84a6b9cb38d3e648427e46377393e885
mzn_lib/alldifferent_except_0.mzn	a76b0d189dcdd09b9366e41bf9196517
mzn_lib/all_different_int.mzn	c6156ee0e715ce254039fbfdbca31346
mzn_lib/bin_packing_capa.mzn	1350676fcc87b96d55333bfb663993e9
mzn_lib/bin_packing_load.mzn	c80ee136802e64348a00c09cf97a89c5
mzn_lib/bin_packing.mzn	b8d512279766579b928cddd1999eeeed
mzn_lib/circuit.mzn.not	9dc64241b92b46edf4631b677e0f5bb9
mzn_lib/count_eq.mzn	ece46fbdc0f7331f90c37ce722b30d8c
mzn_lib/cumulative.mzn	88d52cb4771a94570ff31b8d5d2d3824
mzn_lib/diffn.mzn	a681b9ed108fe9b9198e0bd2829fa121
mzn_lib/inverse.mzn	4b687c63a4f8cd7f6535e4619da3a02a
mzn_lib/knapsack.mzn	02b868915c3dee4b1e20fd5bff5ae9bf
mzn_lib/lex_less_bool.mzn	599a868fd354d6e571ede69f4fef0a94
mzn_lib/lex_lesseq_bool.mzn	a8c0b440d2c9e8fdfdb91cf007f2b822
mzn_lib/lex_lesseq_int.mzn	434e6f5f49f2f928c4a9b943a559f183
mzn_lib/lex_less_int.mzn	74cfdde624c93dbfcdc5e64ca64fdeb2
mzn_lib/member_bool.mzn	3550d1ff7b96021ab3094598ba3ee548
mzn_lib/member_int.mzn	2e2501200dc794b33dadc2ca56c8d1dc
mzn_lib/redefinitions.mzn	ed198c011a028f2f522ee81cbc106519
mzn_lib/regular.mzn	3db49527873c520b4b44593885c4357a
mzn_lib/sliding_sum.mzn	99854b2b914048f563d7cd2958479bba
mzn_lib/table_int.mzn	a9551f600a505d8374b4e68739a027aa
Meta md5sum: 9ad19abcdb8ba134e133166b31f6f4f1

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Gilles Audemard

Date of submission 2017-06-27 08:25

Name R1: cosoco

Version 1.1

Authors Gilles Audemard

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line DIR/cosoco -lc -model -restarts BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Gilles Audemard

Date of submission 2017-06-26 16:57

Name R1: cosoco-sat

Version 1.1

Authors Gilles Audemard

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line DIR/cosoco -lc -model -restarts -sat BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Mohamed Siala

Date of submission 2017-06-28 17:33

Name R1: Mistral-2.0

Version 2017-06-28

Authors Emmanuel Hebrard and Mohamed Siala

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME

Conversion script command line

Comments The README file contains all the instructions for compilation.

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Thomas

Date of submission 2017-06-30 14:43

Name R1: OscaR - ALNS

Version 2017-06-30

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP

Solver command line java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME

Conversion script command line

Comments Forgot to deactivate timestamping of prints

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Thomas

Date of submission 2017-06-30 14:41

Name R1: OscaR - Conflict Ordering

Version 2017-06-30

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME

Conversion script command line

Comments Forgot to deactivate timestamping of prints

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Charles Thomas

Date of submission 2017-06-30 17:21

Name R1: OscaR - Hybrid

Version 2017-06-30

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP

Solver command line java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME

Conversion script command line

Comments Forgot to deactivate timestamping of prints

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Emmanuel Lonca

Date of submission 2017-07-05 16:11

Name R1: sat4j-CSP

Version 2017-07-05

Authors Daniel Le Berre, Emmanuel Lonca

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)

Type CSP

Submitter Emmanuel Lonca

Date of submission 2017-07-05 16:11

Name sat4j-CSP

Version 2017-07-05

Authors Daniel Le Berre, Emmanuel Lonca

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]