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

List of solvers

AbsCon 2019-07-23 (christophe lecoutre)
BTD 19.07.01 (Djamal Habet, Philippe Jégou, Hélène Kanso, Cyril Terrioux)
choco-solver 2019-06-14 (Charles Prud'homme and Jean-Guillaume Fages)
choco-solver 2019-06-14 parallel (Charles Prud'homme and Jean-Guillaume Fages)
choco-solver 2019-09-16 (Charles Prud'homme and Jean-Guillaume Fages)
choco-solver 2019-09-16 parallel (Charles Prud'homme and Jean-Guillaume Fages)
choco-solver 2019-09-20 (Charles Prud'homme and Jean-Guillaume Fages)
choco-solver 2019-09-20 parallel (Charles Prud'homme and Jean-Guillaume Fages)
choco-solver 2019-09-24 (Charles Prud'homme and Jean-Guillaume Fages)
choco-solver 2019-09-24 parallel (Charles Prud'homme and Jean-Guillaume Fages)
Concrete 3.10 (Julien Vion)
Concrete 3.12.2 (Julien Vion)
Concrete 3.12.2 (Julien Vion)
Concrete 3.12.3 (Julien Vion)
cosoco 2 (Gilles AUDEMARD)
cosoco 2.0 (Gilles AUDEMARD)
cosoco 2.0 (Gilles AUDEMARD)
cosoco 2.0 parallel (Gilles AUDEMARD & Nicolas Szczepanski)
cosoco 2.O parallel (Gilles AUDEMARD & Nicolas Szczepanski)
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15) (Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura)
Fun-sCOP hybrid+ManyGlucose (2019-06-15) (Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura)
Fun-sCOP hybrid+ManyGlucose (2019-09-22) (Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura)
Fun-sCOP order+GlueMiniSat (2019-06-15) (Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura)
Fun-sCOP order+ManyGlucose (2019-06-15) (Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura)
Fun-sCOP order+ManyGlucose (2019-09-22) (Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura)
PicatSAT 2019-09-12 (Neng-Fa Zhou)

Details on each solver

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

Type CSP

Submitter christophe lecoutre

Date of submission 2019-07-23 10:11

Name AbsCon

Version 2019-07-23

Authors christophe lecoutre

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Cyril Terrioux

Date of submission 2019-07-01 12:23

Name BTD

Version 19.07.01

Authors Djamal Habet, Philippe Jégou, Hélène Kanso, Cyril Terrioux

Complete/Incomplete Complete

Is able to solve CSP

Solver command line BTD TIMELIMIT BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Charles Prud'homme

Date of submission 2019-06-14 19:36

Name choco-solver

Version 2019-06-14

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 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments Unzip and run

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Charles Prud'homme

Date of submission 2019-06-14 19:36

Name choco-solver

Version 2019-06-14 parallel

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 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments Unzip and run

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Charles Prud'homme

Date of submission 2019-09-16 17:36

Name choco-solver

Version 2019-09-16

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 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments Unzip and run

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Charles Prud'homme

Date of submission 2019-09-16 17:36

Name choco-solver

Version 2019-09-16 parallel

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 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments Unzip and run

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Charles Prud'homme

Date of submission 2019-09-20 09:35

Name choco-solver

Version 2019-09-20

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 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments Unzip and run

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Charles Prud'homme

Date of submission 2019-09-20 09:35

Name choco-solver

Version 2019-09-20 parallel

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 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments Unzip and run

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Charles Prud'homme

Date of submission 2019-09-24 16:43

Name choco-solver

Version 2019-09-24

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 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments Unzip and run

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Charles Prud'homme

Date of submission 2019-09-24 16:43

Name choco-solver

Version 2019-09-24 parallel

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 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME

Conversion script command line

Comments Unzip and run

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Julien Vion

Date of submission 2019-06-16 00:20

Name Concrete

Version 3.10

Authors Julien Vion

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

File	md5sum
bin/all-diff-as-mdd	152890f09dd4010a803fd57645c1915c
bin/all-diff-as-mdd.bat	7182f8488f326905d0c63440c8b91b9e
bin/compet	bd46eff1b03517c6d0bf3021f45b56b1
bin/compet.bat	4019e2581d96437579612112149f584f
bin/compet-matrix	ff834e9272aede00cfde5fe3e96a52b2
bin/compet-matrix.bat	ac573d629db6818426504c5a9ba0a5fc
bin/fz-concrete	2958f13594c618679ae2b4397185b0ca
bin/fz-concrete.bat	fe345ce975703b97772642995ee07c1f
bin/gcc	5bc9f107de830c37fc0badc2452ba67e
bin/gcc.bat	b92ada5a5a699f1d0ce63a8a2a5432d1
bin/mdd-stats	59131c21ceb70ff216f3e00bb6a4359a
bin/mdd-stats.bat	ba596f03c8dd01349ecb3451b61e947c
bin/mznc-2-sql	f60c7293197315caf8da6562bccfc1d2
bin/mznc-2-sql.bat	843d9b9e2cd577a42e3c6f1b33360782
bin/problem-stats	6aa038b850a0f159394e9023d5ce7633
bin/problem-stats.bat	957a2c89b46465a5c7df680396934740
bin/table-2	8f6894d6993ecf9a69a311171a14d022
bin/table-2.bat	cd66003823f25523d2f0d7546d5f67cd
bin/tagger	37465a8dcaf56297c4da35c74fce3790
bin/tagger.bat	3c2869b8b00d1ff27f597c927bdf00df
bin/xcsp-3-concrete	7a5c80002605c4508f668706f6ce57b8
bin/xcsp-3-concrete.bat	ee3f6a8f9c966cc542368b91ecc6e495
conf/application.conf	9718787a37521bf945cbc79d07eb9b4e
conf/logback.xml	40fc1470041219d50604b82915709333
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.concrete-cp.bitvectors_2.13-3.0.jar	01ba5c0a2bd6263da1d290b12db8eca8
lib/com.github.concrete-cp.concrete-3.10.jar	b42bc00aac0fee034ff66bb925a32ac5
lib/com.github.concrete-cp.cspom_2.13-3.0.jar	6b2ad1ff5dce3f953005f0180013f291
lib/com.github.concrete-cp.mdd_2.13-2.0.jar	be88d853c6fc75f7201ecfae5b34bc2f
lib/com.github.davidmoten.guava-mini-0.1.1.jar	c215c34eb72aeef2f67644d802a67404
lib/com.github.davidmoten.rtree-0.8.6.jar	0da4cdb2a911239f5019bdf87436d6b8
lib/com.lihaoyi.fastparse_2.13-2.1.3.jar	f87d0b4525fcbe394702f5f3b4051a80
lib/com.lihaoyi.sourcecode_2.13-0.1.7.jar	f5a766f06e19cc00a96497565ce90ebf
lib/com.typesafe.config-1.3.4.jar	6fde3cef7cbacb4c9d55c543f1894484
lib/com.typesafe.scala-logging.scala-logging_2.13-3.9.2.jar	99023504a702eeb1c138af1a5a61c502
lib/com.typesafe.slick.slick_2.13-3.3.2.jar	42f5f75395603885f3587e2f295db909
lib/io.reactivex.rxjava-1.3.8.jar	62b34782c8ce3462d5796da7c1e9a9b5
lib/org.apache.commons.commons-compress-1.18.jar	bcbecfff4bdb0d3d0cdead3d995da2ef
lib/org.eclipse.collections.eclipse-collections-9.2.0.jar	550fbcbf4d10171fe191148d3c89f2c1
lib/org.eclipse.collections.eclipse-collections-api-9.2.0.jar	25e1aa4de65d7d36feb6945f16851310
lib/org.postgresql.postgresql-42.2.5.jar	47d66d83f9894ebbb18df20d9ad2e5d3
lib/org.reactivestreams.reactive-streams-1.0.2.jar	022ff8ca0101daeb35c8df9b120ff99e
lib/org.scala-lang.modules.scala-collection-compat_2.13-2.0.0.jar	f81007fda046dc7aa7055b4e82b1773a
lib/org.scala-lang.scala-library-2.13.0.jar	30a9e78bfacd7fab002f98e4571f5c1b
lib/org.scala-lang.scala-reflect-2.13.0.jar	cbbeec15c3444405743aba51dfe4fd0d
lib/org.slf4j.slf4j-api-1.7.26.jar	60ec8751be37d54a2aa1b6178f87b968
lib/org.tukaani.xz-1.8.jar	5f982127e0de85b785c4b2abad21aa2e
lib/SCHype.jar	2256395d8c8a7159f1db105e7fe4006c
lib/xcsp3-tools-1.0.1-SNAPSHOT.jar	792d50a9164d89e936c65cc80f3a5250
lib/xcsp3-tools-1.0.1-SNAPSHOT-javadoc.jar	d6d85e47cb9fd55d064a43ed41457fc0
lib/xcsp3-tools-1.0.1-SNAPSHOT-sources.jar	8a71e7af9d26916ade995dd84c70fe8e
mzn_lib/alldifferent_except_0.mzn	a76b0d189dcdd09b9366e41bf9196517
mzn_lib/all_different_int.mzn	c6156ee0e715ce254039fbfdbca31346
mzn_lib/at_least_int.mzn	4f2df24453ff05f590e09c6fe9d29d3d
mzn_lib/at_most_int.mzn	7cf17553fc7c4567a6220a36b50334cd
mzn_lib/bin_packing_capa.mzn	1350676fcc87b96d55333bfb663993e9
mzn_lib/bin_packing_load.mzn	c80ee136802e64348a00c09cf97a89c5
mzn_lib/bin_packing.mzn	b8d512279766579b928cddd1999eeeed
mzn_lib/circuit.mzn	8b876827d4b6e132bae3a150fdfe8817
mzn_lib/count_eq.mzn	ece46fbdc0f7331f90c37ce722b30d8c
mzn_lib/cumulative.mzn	88d52cb4771a94570ff31b8d5d2d3824
mzn_lib/diffn.mzn	c3f439a3031cac9d0afba11e75bf7037
mzn_lib/fzn-exec	6f95bde58c8d4c42389304a86ae2eaeb
mzn_lib/global_cardinality.mzn	64f338281ba8caeb9d4e168d9e1c3bba
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	2ae5cf41af20301e1ec8ac857fc6bbe4
mzn_lib/nvalue.mzn.disabled	32f5a3a90bae205fa959fceb95911cdb
mzn_lib/redefinitions-2.0.mzn	6db1d8e4a9788876c25e5a675fd28d59
mzn_lib/redefinitions.mzn	0ceeb00e795738959bfe554b9f65772d
mzn_lib/regular.mzn	3db49527873c520b4b44593885c4357a
mzn_lib/sliding_sum.mzn	99854b2b914048f563d7cd2958479bba
mzn_lib/subcircuit.mzn	81de2af1d0560480e1231e89ecc58d0a
mzn_lib/table_int.mzn	a9551f600a505d8374b4e68739a027aa
scripts/camp.sh	115925662c1fa57e5306f00b780596b0
scripts/concrete.sh	ed95e0f71b1345b93a72579bd8ce873c
scripts/fetch.sql	9996920458a0023dc9b64711679ad7d1
Meta md5sum: 7c0a66bf386538ebd4facf179182d578

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

Type CSP

Submitter Julien Vion

Date of submission 2019-09-16 13:22

Name Concrete

Version 3.12.2

Authors Julien Vion

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME

Conversion script command line

Comments Re-re-upload (previous was compiled with wrong java version)

Solver files and checksums

[Show/Hide files]

File	md5sum
bin/compet	94b76a06dedb2256a9267b8337774470
bin/compet.bat	60a749837e577fbf666c74fc2f574e14
bin/compet-matrix	f7aee64002593df2ca195ceea2e5b3cb
bin/compet-matrix.bat	0fedfe172c258108f84ae43986b7b09d
bin/fz-concrete	bd97ef2be63023d4c9a644ec752ec7be
bin/fz-concrete.bat	683d30fdbd06baddf80e8b3b7700df4e
bin/gcc	627e3a3f8c6357fcfca081611dd37fe6
bin/gcc.bat	02587af2416368bc62f0a555ae82dd96
bin/mdd-stats	b5ca364111b74c89e30c51949185eafd
bin/mdd-stats.bat	ed4af431e5e9b4c36e8674c7abd43ef9
bin/mznc-2-sql	189be15a4dfdac5a403ed3ba8e5d0264
bin/mznc-2-sql.bat	a3600f71fa3a86d11367690285d4ea8f
bin/problem-stats	b6555da61f0b305fa58a45c89b1cb4aa
bin/problem-stats.bat	cc1fbc6a6aed3edde1bd5888664406ea
bin/table-2	89c648333bdf10c44d52b5c0bb6ffb08
bin/table-2.bat	442e43ece7cfb6e8cf0581573e69c6d2
bin/tagger	c1406098fc9dc4ec353dfc60af390852
bin/tagger.bat	9d7fa7b3a69d8524109c41dfc2dfd895
bin/xcsp-3-concrete	90fd4ddb6f2bc0ccb7d96f5774b3368e
bin/xcsp-3-concrete.bat	e16d4280e020c6a9edea02ffbf37b81e
conf/application.conf	9718787a37521bf945cbc79d07eb9b4e
conf/logback.xml	40fc1470041219d50604b82915709333
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.concrete-cp.bitvectors_2.13-3.0.jar	01ba5c0a2bd6263da1d290b12db8eca8
lib/com.github.concrete-cp.concrete-3.12.2.jar	bfa59c250eb0aa1caad1c053910af808
lib/com.github.concrete-cp.cspom_2.13-3.1.2.jar	04c75fcf5df09235dc592a60cb70f93a
lib/com.github.concrete-cp.mdd_2.13-2.1.jar	be497c930fed1a974b3eca2b7622eecb
lib/com.github.davidmoten.guava-mini-0.1.1.jar	c215c34eb72aeef2f67644d802a67404
lib/com.github.davidmoten.rtree-0.8.7.jar	eec5cfe413885a400df324e6e0410d0b
lib/com.lihaoyi.fastparse_2.13-2.1.3.jar	f87d0b4525fcbe394702f5f3b4051a80
lib/com.lihaoyi.sourcecode_2.13-0.1.7.jar	f5a766f06e19cc00a96497565ce90ebf
lib/com.typesafe.config-1.3.4.jar	6fde3cef7cbacb4c9d55c543f1894484
lib/com.typesafe.scala-logging.scala-logging_2.13-3.9.2.jar	99023504a702eeb1c138af1a5a61c502
lib/com.typesafe.slick.slick_2.13-3.3.2.jar	42f5f75395603885f3587e2f295db909
lib/io.reactivex.rxjava-1.3.8.jar	62b34782c8ce3462d5796da7c1e9a9b5
lib/org.apache.commons.commons-compress-1.19.jar	fe897bced43468450b785b66c1cff455
lib/org.eclipse.collections.eclipse-collections-10.0.0.jar	3128cd3766179adecde9923315516f6f
lib/org.eclipse.collections.eclipse-collections-api-10.0.0.jar	ae7b238937d242f05db05ca79f367052
lib/org.postgresql.postgresql-42.2.8.jar	e6dcc1898639407bf530b7a34e870b55
lib/org.reactivestreams.reactive-streams-1.0.2.jar	022ff8ca0101daeb35c8df9b120ff99e
lib/org.scala-lang.modules.scala-collection-compat_2.13-2.0.0.jar	f81007fda046dc7aa7055b4e82b1773a
lib/org.scala-lang.scala-library-2.13.0.jar	30a9e78bfacd7fab002f98e4571f5c1b
lib/org.scala-lang.scala-reflect-2.13.0.jar	cbbeec15c3444405743aba51dfe4fd0d
lib/org.slf4j.slf4j-api-1.7.26.jar	60ec8751be37d54a2aa1b6178f87b968
lib/org.tukaani.xz-1.8.jar	5f982127e0de85b785c4b2abad21aa2e
lib/SCHype.jar	2256395d8c8a7159f1db105e7fe4006c
lib/xcsp3-tools-1.0.1-SNAPSHOT.jar	aee4c4f9925728a1276e8a4be5c96d4b
lib/xcsp3-tools-1.0.1-SNAPSHOT-javadoc.jar	7e5ff7a8e98616db065cbbe7ac614a82
lib/xcsp3-tools-1.0.1-SNAPSHOT-sources.jar	549f0ee649c6ee85e4f31de82a96e358
mzn_lib/alldifferent_except_0.mzn	a76b0d189dcdd09b9366e41bf9196517
mzn_lib/all_different_int.mzn	c6156ee0e715ce254039fbfdbca31346
mzn_lib/at_least_int.mzn	4f2df24453ff05f590e09c6fe9d29d3d
mzn_lib/at_most_int.mzn	7cf17553fc7c4567a6220a36b50334cd
mzn_lib/bin_packing_capa.mzn	1350676fcc87b96d55333bfb663993e9
mzn_lib/bin_packing_load.mzn	c80ee136802e64348a00c09cf97a89c5
mzn_lib/bin_packing.mzn	b8d512279766579b928cddd1999eeeed
mzn_lib/circuit.mzn	8b876827d4b6e132bae3a150fdfe8817
mzn_lib/count_eq.mzn	ece46fbdc0f7331f90c37ce722b30d8c
mzn_lib/cumulative.mzn	88d52cb4771a94570ff31b8d5d2d3824
mzn_lib/diffn.mzn	c3f439a3031cac9d0afba11e75bf7037
mzn_lib/disjunctive_strict.mzn	c3a64da8adf7d03129b395132d772ee9
mzn_lib/fzn-exec	6f95bde58c8d4c42389304a86ae2eaeb
mzn_lib/global_cardinality.mzn	64f338281ba8caeb9d4e168d9e1c3bba
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	2ae5cf41af20301e1ec8ac857fc6bbe4
mzn_lib/nvalue.mzn.disabled	32f5a3a90bae205fa959fceb95911cdb
mzn_lib/redefinitions-2.0.mzn	6db1d8e4a9788876c25e5a675fd28d59
mzn_lib/redefinitions-2.2.1.mzn	0fdd3a1bb59eebccbdef876836409e7d
mzn_lib/redefinitions.mzn	0ceeb00e795738959bfe554b9f65772d
mzn_lib/regular.mzn	3db49527873c520b4b44593885c4357a
mzn_lib/sliding_sum.mzn	99854b2b914048f563d7cd2958479bba
mzn_lib/subcircuit.mzn	81de2af1d0560480e1231e89ecc58d0a
mzn_lib/table_int.mzn	a9551f600a505d8374b4e68739a027aa
scripts/camp.sh	115925662c1fa57e5306f00b780596b0
scripts/concrete.sh	ed95e0f71b1345b93a72579bd8ce873c
scripts/fetch.sql	9996920458a0023dc9b64711679ad7d1
Meta md5sum: 567ac8be251058e22111c2ddc706bf4e

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

Type CSP

Submitter Julien Vion

Date of submission 2019-09-13 15:49

Name Concrete

Version 3.12.2

Authors Julien Vion

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

File	md5sum
bin/compet	40e30f38713ee2b1dc11cf7e89cd258b
bin/compet.bat	4cdc60dd8c2a42e198becf4a97eb5c71
bin/compet-matrix	7adb5e74d49b0c9bd820570c1229c350
bin/compet-matrix.bat	43d2c9f548e2b58752eef7da3505e624
bin/fz-concrete	fadf5f8ebc997f4a9de6da3a37df66a3
bin/fz-concrete.bat	9879fd761398b99ec0953a3b8e774639
bin/gcc	1516c546c8f8cbce66daca6283bc7508
bin/gcc.bat	c9afe6d728efc7ac8c40db6020de8b8d
bin/mdd-stats	c8dc7622a6eca7153f84654a66829b7f
bin/mdd-stats.bat	f53d16eebe133749d32973d1a55cf3a0
bin/mznc-2-sql	71d87781a341cb184cd8232b5d9a2a95
bin/mznc-2-sql.bat	940ae8edf40b256f19059d726eecec54
bin/problem-stats	48397a026982f751b02910bf933922c7
bin/problem-stats.bat	185e0c47f2f8a8a2159697e888ae7153
bin/table-2	a0ed51616f90a1a4b8a9b6a99a79a8bc
bin/table-2.bat	4310e04f05db6496dcd0bb37d91da2ff
bin/tagger	48c73df281987fda003d4b3e9daa2285
bin/tagger.bat	e76f64cd93539a74f37085186c41490d
bin/xcsp-3-concrete	c9080ad9aecdf99e465d917f07ba92c1
bin/xcsp-3-concrete.bat	21f7aa5acd08ccce7aa150368555f124
conf/application.conf	9718787a37521bf945cbc79d07eb9b4e
conf/logback.xml	40fc1470041219d50604b82915709333
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.concrete-cp.bitvectors_2.13-3.0.jar	01ba5c0a2bd6263da1d290b12db8eca8
lib/com.github.concrete-cp.concrete-3.12.2.jar	d60b1d92ea1a8f6f1f19f8fe4cb38cc0
lib/com.github.concrete-cp.cspom_2.13-3.1.2.jar	04c75fcf5df09235dc592a60cb70f93a
lib/com.github.concrete-cp.mdd_2.13-2.1.jar	be497c930fed1a974b3eca2b7622eecb
lib/com.github.davidmoten.guava-mini-0.1.1.jar	c215c34eb72aeef2f67644d802a67404
lib/com.github.davidmoten.rtree-0.8.7.jar	eec5cfe413885a400df324e6e0410d0b
lib/com.lihaoyi.fastparse_2.13-2.1.3.jar	f87d0b4525fcbe394702f5f3b4051a80
lib/com.lihaoyi.sourcecode_2.13-0.1.7.jar	f5a766f06e19cc00a96497565ce90ebf
lib/com.typesafe.config-1.3.4.jar	6fde3cef7cbacb4c9d55c543f1894484
lib/com.typesafe.scala-logging.scala-logging_2.13-3.9.2.jar	99023504a702eeb1c138af1a5a61c502
lib/com.typesafe.slick.slick_2.13-3.3.2.jar	42f5f75395603885f3587e2f295db909
lib/io.reactivex.rxjava-1.3.8.jar	62b34782c8ce3462d5796da7c1e9a9b5
lib/org.apache.commons.commons-compress-1.19.jar	fe897bced43468450b785b66c1cff455
lib/org.eclipse.collections.eclipse-collections-10.0.0.jar	3128cd3766179adecde9923315516f6f
lib/org.eclipse.collections.eclipse-collections-api-10.0.0.jar	ae7b238937d242f05db05ca79f367052
lib/org.postgresql.postgresql-42.2.7.jar	ee3de4964c941d03868f1505359c3526
lib/org.reactivestreams.reactive-streams-1.0.2.jar	022ff8ca0101daeb35c8df9b120ff99e
lib/org.scala-lang.modules.scala-collection-compat_2.13-2.0.0.jar	f81007fda046dc7aa7055b4e82b1773a
lib/org.scala-lang.scala-library-2.13.0.jar	30a9e78bfacd7fab002f98e4571f5c1b
lib/org.scala-lang.scala-reflect-2.13.0.jar	cbbeec15c3444405743aba51dfe4fd0d
lib/org.slf4j.slf4j-api-1.7.26.jar	60ec8751be37d54a2aa1b6178f87b968
lib/org.tukaani.xz-1.8.jar	5f982127e0de85b785c4b2abad21aa2e
lib/SCHype.jar	2256395d8c8a7159f1db105e7fe4006c
lib/xcsp3-tools-1.0.1-SNAPSHOT.jar	aee4c4f9925728a1276e8a4be5c96d4b
lib/xcsp3-tools-1.0.1-SNAPSHOT-javadoc.jar	7e5ff7a8e98616db065cbbe7ac614a82
lib/xcsp3-tools-1.0.1-SNAPSHOT-sources.jar	549f0ee649c6ee85e4f31de82a96e358
mzn_lib/alldifferent_except_0.mzn	a76b0d189dcdd09b9366e41bf9196517
mzn_lib/all_different_int.mzn	c6156ee0e715ce254039fbfdbca31346
mzn_lib/at_least_int.mzn	4f2df24453ff05f590e09c6fe9d29d3d
mzn_lib/at_most_int.mzn	7cf17553fc7c4567a6220a36b50334cd
mzn_lib/bin_packing_capa.mzn	1350676fcc87b96d55333bfb663993e9
mzn_lib/bin_packing_load.mzn	c80ee136802e64348a00c09cf97a89c5
mzn_lib/bin_packing.mzn	b8d512279766579b928cddd1999eeeed
mzn_lib/circuit.mzn	8b876827d4b6e132bae3a150fdfe8817
mzn_lib/count_eq.mzn	ece46fbdc0f7331f90c37ce722b30d8c
mzn_lib/cumulative.mzn	88d52cb4771a94570ff31b8d5d2d3824
mzn_lib/diffn.mzn	c3f439a3031cac9d0afba11e75bf7037
mzn_lib/disjunctive_strict.mzn	c3a64da8adf7d03129b395132d772ee9
mzn_lib/fzn-exec	6f95bde58c8d4c42389304a86ae2eaeb
mzn_lib/global_cardinality.mzn	64f338281ba8caeb9d4e168d9e1c3bba
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	2ae5cf41af20301e1ec8ac857fc6bbe4
mzn_lib/nvalue.mzn.disabled	32f5a3a90bae205fa959fceb95911cdb
mzn_lib/redefinitions-2.0.mzn	6db1d8e4a9788876c25e5a675fd28d59
mzn_lib/redefinitions-2.2.1.mzn	0fdd3a1bb59eebccbdef876836409e7d
mzn_lib/redefinitions.mzn	0ceeb00e795738959bfe554b9f65772d
mzn_lib/regular.mzn	3db49527873c520b4b44593885c4357a
mzn_lib/sliding_sum.mzn	99854b2b914048f563d7cd2958479bba
mzn_lib/subcircuit.mzn	81de2af1d0560480e1231e89ecc58d0a
mzn_lib/table_int.mzn	a9551f600a505d8374b4e68739a027aa
scripts/camp.sh	115925662c1fa57e5306f00b780596b0
scripts/concrete.sh	ed95e0f71b1345b93a72579bd8ce873c
scripts/fetch.sql	9996920458a0023dc9b64711679ad7d1
Meta md5sum: 8cdafb27ac4dae0a5ed10495a727cb6f

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

Type CSP

Submitter Julien Vion

Date of submission 2019-09-20 10:15

Name Concrete

Version 3.12.3

Authors Julien Vion

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

File	md5sum
bin/compet	b8d8bb069239cbe3bf4711a7f5b6d949
bin/compet.bat	5dc4e8de2c8e83de5adaa605ccfaaed2
bin/compet-matrix	5e6ec98c1a4e375922101ccd0a8f713c
bin/compet-matrix.bat	7a906ce2532fb55973ac124176becb2e
bin/fz-concrete	91eb2c6b9ea285f7d10d545f487aa8ff
bin/fz-concrete.bat	b914d6791170593a3c809e2f8483ca3f
bin/gcc	88e48fdfe51b331947040f585e8d52ff
bin/gcc.bat	206f4ed2a5a35692bc881a04999733bf
bin/mdd-stats	43c95bb759cb88c666ab7f14f227f562
bin/mdd-stats.bat	f6d8d83b2f7cdfafe4bc31a0b4380b46
bin/mznc-2-sql	cfe4896112e54eae901c73d29fe3b3c0
bin/mznc-2-sql.bat	0f5c5b7acb6f635cd28ca21b1e78db2c
bin/problem-stats	b66441fed51f677e010b686bf974a009
bin/problem-stats.bat	b647455e107a23944472f918b4345e93
bin/table-2	33afea5cce05b53f695f63df41b8c304
bin/table-2.bat	6fd3fe5b48919de5105f95dcb89184bc
bin/tagger	34f26163b25eba864ddb54b26975e9d5
bin/tagger.bat	6139926afa047991b2c7d66f65a48342
bin/xcsp-3-concrete	d58387ebf74f276b9dc7c5f74b5d74c9
bin/xcsp-3-concrete.bat	4f87bc840188bf6b7bccce8935f0f80d
conf/application.conf	9718787a37521bf945cbc79d07eb9b4e
conf/logback.xml	40fc1470041219d50604b82915709333
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.concrete-cp.bitvectors_2.13-3.0.jar	01ba5c0a2bd6263da1d290b12db8eca8
lib/com.github.concrete-cp.concrete-3.12.3.jar	51a90dc4cfd1c9154bdeed48c916ccb2
lib/com.github.concrete-cp.cspom_2.13-3.1.2.jar	04c75fcf5df09235dc592a60cb70f93a
lib/com.github.concrete-cp.mdd_2.13-2.1.jar	be497c930fed1a974b3eca2b7622eecb
lib/com.github.davidmoten.guava-mini-0.1.1.jar	c215c34eb72aeef2f67644d802a67404
lib/com.github.davidmoten.rtree-0.8.7.jar	eec5cfe413885a400df324e6e0410d0b
lib/com.lihaoyi.fastparse_2.13-2.1.3.jar	f87d0b4525fcbe394702f5f3b4051a80
lib/com.lihaoyi.sourcecode_2.13-0.1.7.jar	f5a766f06e19cc00a96497565ce90ebf
lib/com.typesafe.config-1.3.4.jar	6fde3cef7cbacb4c9d55c543f1894484
lib/com.typesafe.scala-logging.scala-logging_2.13-3.9.2.jar	99023504a702eeb1c138af1a5a61c502
lib/com.typesafe.slick.slick_2.13-3.3.2.jar	42f5f75395603885f3587e2f295db909
lib/io.reactivex.rxjava-1.3.8.jar	62b34782c8ce3462d5796da7c1e9a9b5
lib/org.apache.commons.commons-compress-1.19.jar	fe897bced43468450b785b66c1cff455
lib/org.eclipse.collections.eclipse-collections-10.0.0.jar	3128cd3766179adecde9923315516f6f
lib/org.eclipse.collections.eclipse-collections-api-10.0.0.jar	ae7b238937d242f05db05ca79f367052
lib/org.postgresql.postgresql-42.2.8.jar	e6dcc1898639407bf530b7a34e870b55
lib/org.reactivestreams.reactive-streams-1.0.2.jar	022ff8ca0101daeb35c8df9b120ff99e
lib/org.scala-lang.modules.scala-collection-compat_2.13-2.0.0.jar	f81007fda046dc7aa7055b4e82b1773a
lib/org.scala-lang.scala-library-2.13.1.jar	975cb7640827ecbe324c3ce85282557d
lib/org.scala-lang.scala-reflect-2.13.1.jar	46fc74afe70812964045fdcceb1871a0
lib/org.slf4j.slf4j-api-1.7.26.jar	60ec8751be37d54a2aa1b6178f87b968
lib/org.tukaani.xz-1.8.jar	5f982127e0de85b785c4b2abad21aa2e
lib/SCHype.jar	2256395d8c8a7159f1db105e7fe4006c
lib/xcsp3-tools-1.0.1-SNAPSHOT.jar	aee4c4f9925728a1276e8a4be5c96d4b
lib/xcsp3-tools-1.0.1-SNAPSHOT-javadoc.jar	7e5ff7a8e98616db065cbbe7ac614a82
lib/xcsp3-tools-1.0.1-SNAPSHOT-sources.jar	549f0ee649c6ee85e4f31de82a96e358
mzn_lib/alldifferent_except_0.mzn	a76b0d189dcdd09b9366e41bf9196517
mzn_lib/all_different_int.mzn	c6156ee0e715ce254039fbfdbca31346
mzn_lib/at_least_int.mzn	4f2df24453ff05f590e09c6fe9d29d3d
mzn_lib/at_most_int.mzn	7cf17553fc7c4567a6220a36b50334cd
mzn_lib/bin_packing_capa.mzn	1350676fcc87b96d55333bfb663993e9
mzn_lib/bin_packing_load.mzn	c80ee136802e64348a00c09cf97a89c5
mzn_lib/bin_packing.mzn	b8d512279766579b928cddd1999eeeed
mzn_lib/circuit.mzn	8b876827d4b6e132bae3a150fdfe8817
mzn_lib/count_eq.mzn	ece46fbdc0f7331f90c37ce722b30d8c
mzn_lib/cumulative.mzn	88d52cb4771a94570ff31b8d5d2d3824
mzn_lib/diffn.mzn	c3f439a3031cac9d0afba11e75bf7037
mzn_lib/disjunctive_strict.mzn	c3a64da8adf7d03129b395132d772ee9
mzn_lib/fzn-exec	6f95bde58c8d4c42389304a86ae2eaeb
mzn_lib/global_cardinality.mzn	64f338281ba8caeb9d4e168d9e1c3bba
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	2ae5cf41af20301e1ec8ac857fc6bbe4
mzn_lib/nvalue.mzn.disabled	32f5a3a90bae205fa959fceb95911cdb
mzn_lib/redefinitions-2.0.mzn	6db1d8e4a9788876c25e5a675fd28d59
mzn_lib/redefinitions-2.2.1.mzn	0fdd3a1bb59eebccbdef876836409e7d
mzn_lib/redefinitions.mzn	0ceeb00e795738959bfe554b9f65772d
mzn_lib/regular.mzn	3db49527873c520b4b44593885c4357a
mzn_lib/sliding_sum.mzn	99854b2b914048f563d7cd2958479bba
mzn_lib/subcircuit.mzn	81de2af1d0560480e1231e89ecc58d0a
mzn_lib/table_int.mzn	a9551f600a505d8374b4e68739a027aa
scripts/camp.sh	115925662c1fa57e5306f00b780596b0
scripts/concrete.sh	ed95e0f71b1345b93a72579bd8ce873c
scripts/fetch.sql	9996920458a0023dc9b64711679ad7d1
Meta md5sum: 93f32a81d105bdd847c16101ac734569

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

Type CSP

Submitter Gilles AUDEMARD

Date of submission 2019-08-05 15:41

Name cosoco

Version 2

Authors Gilles AUDEMARD

Complete/Incomplete Complete

Is able to solve COP
CSP

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

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Gilles AUDEMARD

Date of submission 2019-09-29 21:51

Name cosoco

Version 2.0

Authors Gilles AUDEMARD

Complete/Incomplete Complete

Is able to solve COP
CSP

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

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Gilles AUDEMARD

Date of submission 2019-09-15 18:20

Name cosoco

Version 2.0

Authors Gilles AUDEMARD

Complete/Incomplete Complete

Is able to solve COP
CSP

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

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Gilles AUDEMARD

Date of submission 2019-09-29 21:51

Name cosoco

Version 2.0 parallel

Authors Gilles AUDEMARD & Nicolas Szczepanski

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line cosoco -model -nbcores=NBCORE BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Gilles AUDEMARD

Date of submission 2019-09-15 18:20

Name cosoco

Version 2.O parallel

Authors Gilles AUDEMARD & Nicolas Szczepanski

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line cosoco -model -nbcores=NBCORE BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Takehide Soh

Date of submission 2019-06-15 18:03

Name Fun-sCOP

Version hybrid+CryptoMiniSat (2019-06-15)

Authors Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura

Complete/Incomplete Complete

Is able to solve CSP

Solver command line DIR/scop.sh 11g DIR/scop.jar -hybrid DIR/cryptominisat5 default TMPDIR BENCHNAME

Conversion script command line

Comments Please read README.org for details of installation and execution. Appropriate SAT solvers must be installed before running it.

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Takehide Soh

Date of submission 2019-06-15 18:06

Name Fun-sCOP

Version hybrid+ManyGlucose (2019-06-15)

Authors Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura

Complete/Incomplete Complete

Is able to solve CSP

Solver command line DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME

Conversion script command line

Comments Please read README.org for details of installation and execution. Appropriate SAT solvers must be installed before running it.

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Takehide Soh

Date of submission 2019-09-23 08:55

Name Fun-sCOP

Version hybrid+ManyGlucose (2019-09-22)

Authors Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura

Complete/Incomplete Complete

Is able to solve CSP

Solver command line DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME

Conversion script command line

Comments Please read README.org for details of installation and execution. Appropriate SAT solvers must be installed before running it.

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Takehide Soh

Date of submission 2019-06-15 18:05

Name Fun-sCOP

Version order+GlueMiniSat (2019-06-15)

Authors Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura

Complete/Incomplete Complete

Is able to solve CSP

Solver command line DIR/scop.sh 11g DIR/scop.jar -order DIR/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa TMPDIR BENCHNAME

Conversion script command line

Comments Please read README.org for details of installation and execution. Appropriate SAT solvers must be installed before running it.

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Takehide Soh

Date of submission 2019-06-15 18:10

Name Fun-sCOP

Version order+ManyGlucose (2019-06-15)

Authors Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura

Complete/Incomplete Complete

Is able to solve CSP

Solver command line DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME

Conversion script command line

Comments Please read README.org for details of installation and execution. Appropriate SAT solvers must be installed before running it.

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Takehide Soh

Date of submission 2019-09-23 08:59

Name Fun-sCOP

Version order+ManyGlucose (2019-09-22)

Authors Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura

Complete/Incomplete Complete

Is able to solve CSP

Solver command line DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME

Conversion script command line

Comments Please read README.org for details of installation and execution. Appropriate SAT solvers must be installed before running it.

Solver files and checksums

[Show/Hide files]

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

Type CSP

Submitter Neng-Fa Zhou

Date of submission 2019-09-12 16:28

Name PicatSAT

Version 2019-09-12

Authors Neng-Fa Zhou

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line xcsp_picat BENCHNAME

Conversion script command line

Comments I made some minor changes since the last submission. I just submitted the final version of the solver to MiniZinc Challenge, and I thought that it'd be nice to have the same solver submitted to both competitions (for comparison purpose). If it's too late to submit another version, please just disregard this one.

Solver files and checksums

[Show/Hide files]