2018 XCSP3 competition: sequential solvers tracks: list of solvers

List of solvers

BTD 2018.06.11_3 (Philippe Jegou, Helene Kanso and Cyril Terrioux)
BTD 2018.07.27_3 (Philippe Jegou, Helene Kanso and Cyril Terrioux)
BTD_12 2018-06-11_12 (Philippe Jegou, Djamal Habet, Helene Kanso and Cyril Terrioux)
BTD_12 2018.07.27_12 (Philippe Jegou, Djamal Habet, Helene Kanso and Cyril Terrioux)
Choco-solver 4.0.7 seq (493a269) (Charles Prud'homme and Jean-Guillaume Fages)
Choco-solver 4.0.7b seq (e747e1e) (Charles Prud'homme and Jean-Guillaume Fages)
Concrete 3.9.2 (Julien Vion)
Concrete 3.9.2-SuperNG (Julien Vion)
Concrete 3.8 2018-06-13 (Julien Vion)
Concrete 3.8-SuperNG 2018-06-13 (Julien Vion)
cosoco 1.12 (Gilles Audemard)
macht 2018.06.11 (Djamal Habet and Cyril Terrioux)
macht 2018.07.27 (Djamal Habet and Cyril Terrioux)
Mistral-2.0 2018-06-15 (Emmanuel Hebrard and Mohamed Siala)
Mistral-2.0 2018-08-01 (Emmanuel Hebrard and Mohamed Siala)
OscaR - Conflict Ordering 2018-07-02 (OscaR Team)
OscaR - Conflict Ordering 2018-08-14 (OscaR Team)
OscaR - Conflict Ordering with restarts 2018-07-02 (OscaR Team)
OscaR - Conflict Ordering with restarts 2018-08-14 (OscaR Team)
OscaR - Conflict Ordering with restarts 2018-08-17 (OscaR Team)
OscaR - Hybrid 2018-07-02 (OscaR Team)
OscaR - Hybrid 2018-08-14 (OscaR Team)
PicatSAT 2018-06-15 (Neng-Fa Zhou and Hakan Kjellerstrand )
PicatSAT 2018-08-02 (Neng-Fa Zhou)
PicatSAT 2018-08-14 (Neng-Fa Zhou)
Sat4j-CSP 2018-07-11 (Daniel Le Berre and Emmanuel Lonca)
scop both+MapleCOMSPS (2018-06-13) (Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura)
scop both+MapleCOMSPS (2018-07-31) (Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura)
scop order+MapleCOMSPS (2018-06-13) (Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura)
scop order+MapleCOMSPS (2018-07-31) (Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura)

Details on each solver

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Cyril Terrioux

Date of submission 2018-06-11 17:15

Name BTD

Version 2018.06.11_3

Authors Philippe Jegou, Helene Kanso and Cyril Terrioux

Complete/Incomplete Complete

Is able to solve CSP

Solver command line BTD 3 TIMELIMIT BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Cyril Terrioux

Date of submission 2018-07-27 19:00

Name BTD

Version 2018.07.27_3

Authors Philippe Jegou, Helene Kanso and Cyril Terrioux

Complete/Incomplete Complete

Is able to solve CSP

Solver command line BTD 3 TIMELIMIT BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Cyril Terrioux

Date of submission 2018-06-11 17:17

Name BTD_12

Version 2018-06-11_12

Authors Philippe Jegou, Djamal Habet, Helene Kanso and Cyril Terrioux

Complete/Incomplete Complete

Is able to solve CSP

Solver command line BTD 12 TIMELIMIT BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Cyril Terrioux

Date of submission 2018-07-27 19:03

Name BTD_12

Version 2018.07.27_12

Authors Philippe Jegou, Djamal Habet, Helene Kanso and Cyril Terrioux

Complete/Incomplete Complete

Is able to solve CSP

Solver command line BTD 12 TIMELIMIT BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Charles Prud'homme

Date of submission 2018-07-02 15:00

Name Choco-solver

Version 4.0.7 seq (493a269)

Authors Charles Prud'homme and Jean-Guillaume Fages

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME

Conversion script command line

Comments Unzipping the archive file should be enough

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Charles Prud'homme

Date of submission 2018-07-27 12:05

Name Choco-solver

Version 4.0.7b seq (e747e1e)

Authors Charles Prud'homme and Jean-Guillaume Fages

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME

Conversion script command line

Comments Unzipping the archive file should be enough

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Julien Vion

Date of submission 2018-07-28 02:40

Name Concrete

Version 3.9.2

Authors Julien Vion

Complete/Incomplete Complete

Is able to solve COP
CSP

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

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

File	md5sum
bin/compet	f2a4eb5b0246c20dfd00707bdbf39dfe
bin/compet-matrix	1fde5f578ac873a7118b1ecc1acf00f0
bin/compet-matrix.bat	2c8d7db64f1c2026d5d4f78ebb20abc9
bin/compet.bat	0acbad5242b0c83b0b8d770f4a44942c
bin/fz-concrete	5121262838d279ca0a2092bd42d7912b
bin/fz-concrete.bat	4fe97123032df2fe066568d138c11e01
bin/mdd-stats	d6d7268cb355e15998a40bc567e28153
bin/mdd-stats.bat	37315fdfaf19106da0b8fc6a288f054b
bin/mznc-2-sql	65d32f9f21699ea8e852b6c95464a956
bin/mznc-2-sql.bat	5e16d3929ea6f4723b965c79c8430b83
bin/problem-stats	61f47d7bbe0065fe357eaee057a539f3
bin/problem-stats.bat	abbfd609b6bcd2a375263949d2bdb541
bin/table-2	cf89dc779a33c6bd4e29f0beec7d38f0
bin/table-2.bat	337ddb3779bf4646485df0dd74359315
bin/tagger	abc2a32a2f062eb525c147f2ac2bfb76
bin/tagger.bat	43299abf49202d37cdf28676ddb530bd
bin/xcsp-2-concrete	e77d538034b2858fbac9d60d45a4f384
bin/xcsp-2-concrete.bat	808e281b9de254e0b9e78e870b61fa24
bin/xcsp-3-concrete	447c84d300c5ff154a7f218bb74093e9
bin/xcsp-3-concrete.bat	97f8c4fe9e92aa8360882b08e9583dbf
conf/application.conf	9718787a37521bf945cbc79d07eb9b4e
conf/logback.xml	17d389c81ba410222f8c00c2a7e1663d
lib/SCHype.jar	2256395d8c8a7159f1db105e7fe4006c
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.1.jar	c215c34eb72aeef2f67644d802a67404
lib/com.github.davidmoten.rtree-0.8.6.jar	0da4cdb2a911239f5019bdf87436d6b8
lib/com.lihaoyi.fastparse-utils_2.12-1.0.0.jar	625cf23e7e6d41fc39ec7895051cd5f3
lib/com.lihaoyi.fastparse_2.12-1.0.0.jar	039f59e26bb04085af8102484b6f9431
lib/com.lihaoyi.sourcecode_2.12-0.1.4.jar	1ecfdd8bc3038e370e4acbdb91b1daa9
lib/com.storm-enroute.scalameter-core_2.12-0.10.1.jar	3f3e304a48cb8c7a96740352c146a5ad
lib/com.typesafe.config-1.3.3.jar	77370e0a125ed8a196c2ecdb58a6570e
lib/com.typesafe.scala-logging.scala-logging_2.12-3.9.0.jar	697a60600850806fc28f6ed543f4bd78
lib/com.typesafe.slick.slick_2.12-3.2.3.jar	26565e7c86be0952476894adb76f6376
lib/fr.univ-valenciennes.bitvectors_2.12-2.2.jar	037bc2b4c95770cb6b2b85a1fa3a7dc8
lib/fr.univ-valenciennes.concrete-3.9.2.jar	17e7bbb8633511c43802f50743f3541d
lib/fr.univ-valenciennes.cspom_2.12-2.25.jar	3690018d13466b425aea2d52b1cc11d8
lib/fr.univ-valenciennes.mdd_2.12-1.8.jar	d152a78667a5b4ff23a19c29b2399966
lib/io.reactivex.rxjava-1.3.8.jar	62b34782c8ce3462d5796da7c1e9a9b5
lib/org.apache.commons.commons-compress-1.17.jar	17276c62621d8e1f17666a73ae68aa07
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.postgresql.postgresql-42.2.4.jar	9643dbdb267c1dc017a8e1e98f838f07
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.5.jar	7289283e65921e7bf880c4924e21762c
lib/org.scala-lang.scala-library-2.12.6.jar	7e419dade4331276805bbaaa91f9ec13
lib/org.scala-lang.scala-reflect-2.12.6.jar	0198d2e5d59567060e508949d4677b91
lib/org.slf4j.slf4j-api-1.7.25.jar	caafe376afb7086dcbee79f780394ca3
lib/org.tukaani.xz-1.8.jar	5f982127e0de85b785c4b2abad21aa2e
lib/xcsp3-tools-1.0.1-SNAPSHOT-javadoc.jar	d6d85e47cb9fd55d064a43ed41457fc0
lib/xcsp3-tools-1.0.1-SNAPSHOT-sources.jar	8a71e7af9d26916ade995dd84c70fe8e
lib/xcsp3-tools-1.0.1-SNAPSHOT.jar	792d50a9164d89e936c65cc80f3a5250
mzn_lib/all_different_int.mzn	c6156ee0e715ce254039fbfdbca31346
mzn_lib/alldifferent_except_0.mzn	a76b0d189dcdd09b9366e41bf9196517
mzn_lib/bin_packing.mzn	b8d512279766579b928cddd1999eeeed
mzn_lib/bin_packing_capa.mzn	1350676fcc87b96d55333bfb663993e9
mzn_lib/bin_packing_load.mzn	c80ee136802e64348a00c09cf97a89c5
mzn_lib/circuit.mzn.not	9dc64241b92b46edf4631b677e0f5bb9
mzn_lib/count_eq.mzn	ece46fbdc0f7331f90c37ce722b30d8c
mzn_lib/cumulative.mzn	88d52cb4771a94570ff31b8d5d2d3824
mzn_lib/diffn.mzn	a681b9ed108fe9b9198e0bd2829fa121
mzn_lib/fzn-exec	6f95bde58c8d4c42389304a86ae2eaeb
mzn_lib/inverse.mzn	4b687c63a4f8cd7f6535e4619da3a02a
mzn_lib/knapsack.mzn	02b868915c3dee4b1e20fd5bff5ae9bf
mzn_lib/lex_less_bool.mzn	599a868fd354d6e571ede69f4fef0a94
mzn_lib/lex_less_int.mzn	74cfdde624c93dbfcdc5e64ca64fdeb2
mzn_lib/lex_lesseq_bool.mzn	a8c0b440d2c9e8fdfdb91cf007f2b822
mzn_lib/lex_lesseq_int.mzn	434e6f5f49f2f928c4a9b943a559f183
mzn_lib/member_bool.mzn	3550d1ff7b96021ab3094598ba3ee548
mzn_lib/member_int.mzn	2ae5cf41af20301e1ec8ac857fc6bbe4
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	a17b4d79901a93e1c38103d934afc829
mzn_lib/table_int.mzn	a9551f600a505d8374b4e68739a027aa
Meta md5sum: 715cb37be847d625d1de8f243d13a987

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Julien Vion

Date of submission 2018-07-28 02:29

Name Concrete

Version 3.9.2-SuperNG

Authors Julien Vion

Complete/Incomplete Complete

Is able to solve COP
CSP

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

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

File	md5sum
bin/compet	f2a4eb5b0246c20dfd00707bdbf39dfe
bin/compet-matrix	1fde5f578ac873a7118b1ecc1acf00f0
bin/compet-matrix.bat	2c8d7db64f1c2026d5d4f78ebb20abc9
bin/compet.bat	0acbad5242b0c83b0b8d770f4a44942c
bin/fz-concrete	5121262838d279ca0a2092bd42d7912b
bin/fz-concrete.bat	4fe97123032df2fe066568d138c11e01
bin/mdd-stats	d6d7268cb355e15998a40bc567e28153
bin/mdd-stats.bat	37315fdfaf19106da0b8fc6a288f054b
bin/mznc-2-sql	65d32f9f21699ea8e852b6c95464a956
bin/mznc-2-sql.bat	5e16d3929ea6f4723b965c79c8430b83
bin/problem-stats	61f47d7bbe0065fe357eaee057a539f3
bin/problem-stats.bat	abbfd609b6bcd2a375263949d2bdb541
bin/table-2	cf89dc779a33c6bd4e29f0beec7d38f0
bin/table-2.bat	337ddb3779bf4646485df0dd74359315
bin/tagger	abc2a32a2f062eb525c147f2ac2bfb76
bin/tagger.bat	43299abf49202d37cdf28676ddb530bd
bin/xcsp-2-concrete	e77d538034b2858fbac9d60d45a4f384
bin/xcsp-2-concrete.bat	808e281b9de254e0b9e78e870b61fa24
bin/xcsp-3-concrete	447c84d300c5ff154a7f218bb74093e9
bin/xcsp-3-concrete.bat	97f8c4fe9e92aa8360882b08e9583dbf
conf/application.conf	9718787a37521bf945cbc79d07eb9b4e
conf/logback.xml	17d389c81ba410222f8c00c2a7e1663d
lib/SCHype.jar	2256395d8c8a7159f1db105e7fe4006c
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.1.jar	c215c34eb72aeef2f67644d802a67404
lib/com.github.davidmoten.rtree-0.8.6.jar	0da4cdb2a911239f5019bdf87436d6b8
lib/com.lihaoyi.fastparse-utils_2.12-1.0.0.jar	625cf23e7e6d41fc39ec7895051cd5f3
lib/com.lihaoyi.fastparse_2.12-1.0.0.jar	039f59e26bb04085af8102484b6f9431
lib/com.lihaoyi.sourcecode_2.12-0.1.4.jar	1ecfdd8bc3038e370e4acbdb91b1daa9
lib/com.storm-enroute.scalameter-core_2.12-0.10.1.jar	3f3e304a48cb8c7a96740352c146a5ad
lib/com.typesafe.config-1.3.3.jar	77370e0a125ed8a196c2ecdb58a6570e
lib/com.typesafe.scala-logging.scala-logging_2.12-3.9.0.jar	697a60600850806fc28f6ed543f4bd78
lib/com.typesafe.slick.slick_2.12-3.2.3.jar	26565e7c86be0952476894adb76f6376
lib/fr.univ-valenciennes.bitvectors_2.12-2.2.jar	037bc2b4c95770cb6b2b85a1fa3a7dc8
lib/fr.univ-valenciennes.concrete-3.9.2.jar	17e7bbb8633511c43802f50743f3541d
lib/fr.univ-valenciennes.cspom_2.12-2.25.jar	3690018d13466b425aea2d52b1cc11d8
lib/fr.univ-valenciennes.mdd_2.12-1.8.jar	d152a78667a5b4ff23a19c29b2399966
lib/io.reactivex.rxjava-1.3.8.jar	62b34782c8ce3462d5796da7c1e9a9b5
lib/org.apache.commons.commons-compress-1.17.jar	17276c62621d8e1f17666a73ae68aa07
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.postgresql.postgresql-42.2.4.jar	9643dbdb267c1dc017a8e1e98f838f07
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.5.jar	7289283e65921e7bf880c4924e21762c
lib/org.scala-lang.scala-library-2.12.6.jar	7e419dade4331276805bbaaa91f9ec13
lib/org.scala-lang.scala-reflect-2.12.6.jar	0198d2e5d59567060e508949d4677b91
lib/org.slf4j.slf4j-api-1.7.25.jar	caafe376afb7086dcbee79f780394ca3
lib/org.tukaani.xz-1.8.jar	5f982127e0de85b785c4b2abad21aa2e
lib/xcsp3-tools-1.0.1-SNAPSHOT-javadoc.jar	d6d85e47cb9fd55d064a43ed41457fc0
lib/xcsp3-tools-1.0.1-SNAPSHOT-sources.jar	8a71e7af9d26916ade995dd84c70fe8e
lib/xcsp3-tools-1.0.1-SNAPSHOT.jar	792d50a9164d89e936c65cc80f3a5250
mzn_lib/all_different_int.mzn	c6156ee0e715ce254039fbfdbca31346
mzn_lib/alldifferent_except_0.mzn	a76b0d189dcdd09b9366e41bf9196517
mzn_lib/bin_packing.mzn	b8d512279766579b928cddd1999eeeed
mzn_lib/bin_packing_capa.mzn	1350676fcc87b96d55333bfb663993e9
mzn_lib/bin_packing_load.mzn	c80ee136802e64348a00c09cf97a89c5
mzn_lib/circuit.mzn.not	9dc64241b92b46edf4631b677e0f5bb9
mzn_lib/count_eq.mzn	ece46fbdc0f7331f90c37ce722b30d8c
mzn_lib/cumulative.mzn	88d52cb4771a94570ff31b8d5d2d3824
mzn_lib/diffn.mzn	a681b9ed108fe9b9198e0bd2829fa121
mzn_lib/fzn-exec	6f95bde58c8d4c42389304a86ae2eaeb
mzn_lib/inverse.mzn	4b687c63a4f8cd7f6535e4619da3a02a
mzn_lib/knapsack.mzn	02b868915c3dee4b1e20fd5bff5ae9bf
mzn_lib/lex_less_bool.mzn	599a868fd354d6e571ede69f4fef0a94
mzn_lib/lex_less_int.mzn	74cfdde624c93dbfcdc5e64ca64fdeb2
mzn_lib/lex_lesseq_bool.mzn	a8c0b440d2c9e8fdfdb91cf007f2b822
mzn_lib/lex_lesseq_int.mzn	434e6f5f49f2f928c4a9b943a559f183
mzn_lib/member_bool.mzn	3550d1ff7b96021ab3094598ba3ee548
mzn_lib/member_int.mzn	2ae5cf41af20301e1ec8ac857fc6bbe4
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	a17b4d79901a93e1c38103d934afc829
mzn_lib/table_int.mzn	a9551f600a505d8374b4e68739a027aa
Meta md5sum: 715cb37be847d625d1de8f243d13a987

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Julien Vion

Date of submission 2018-06-13 00:51

Name Concrete 3.8

Version 2018-06-13

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	cc1cad86aac8c6a75f4c7403ab65eae7
bin/compet-matrix	572d89ee0b8b203ef1d3f54160f98088
bin/compet-matrix.bat	7f8cb33a7d506f3758fd06f6d64213f4
bin/compet.bat	fa142d828c82b12c8d2b31985b6cb3c5
bin/fz-concrete	2f94375396549c25385111f9047f0980
bin/fz-concrete.bat	befb15bf245aa6ddf53558d4a65ff9c3
bin/mdd-stats	89088ecbeb2439e0d70df5fc4e9ad138
bin/mdd-stats.bat	9e2ca5f026d9b2b8b41cb5b53326369c
bin/mznc-2-sql	794c6dd1db469f633d525f08f80632e3
bin/mznc-2-sql.bat	3aa74165d8d97d577714a85f6c2e2d7d
bin/problem-stats	d5c2cbf51b99d189f8ade2935d6ccd1a
bin/problem-stats.bat	89a83844311412e6aa9502e2f7f66e50
bin/table-2	70af94a192b78e7a281d758e5b81b118
bin/table-2.bat	092c7351cb99f0e8eb063327eb5091e1
bin/tagger	8e40891a208797912e78462471acdabd
bin/tagger.bat	e171f2ec131f140b6905939a8749d3c1
bin/xcsp-2-concrete	8e3d96450d042de4bd028ea127da3d27
bin/xcsp-2-concrete.bat	2a5cf053d48aac8a33d41d457f940c0e
bin/xcsp-3-concrete	d472913e534348a8b791fcb4269e1024
bin/xcsp-3-concrete.bat	9cc4dd6ffce510697b89e870d553bf50
conf/application.conf	9718787a37521bf945cbc79d07eb9b4e
conf/logback.xml	17d389c81ba410222f8c00c2a7e1663d
lib/SCHype.jar	2256395d8c8a7159f1db105e7fe4006c
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.1.jar	c215c34eb72aeef2f67644d802a67404
lib/com.github.davidmoten.rtree-0.8.5.jar	16fd18d1fa6ecdcf6c64f47296b3cd79
lib/com.lihaoyi.fastparse-utils_2.12-1.0.0.jar	625cf23e7e6d41fc39ec7895051cd5f3
lib/com.lihaoyi.fastparse_2.12-1.0.0.jar	039f59e26bb04085af8102484b6f9431
lib/com.lihaoyi.sourcecode_2.12-0.1.4.jar	1ecfdd8bc3038e370e4acbdb91b1daa9
lib/com.storm-enroute.scalameter-core_2.12-0.10.1.jar	3f3e304a48cb8c7a96740352c146a5ad
lib/com.typesafe.config-1.3.3.jar	77370e0a125ed8a196c2ecdb58a6570e
lib/com.typesafe.scala-logging.scala-logging_2.12-3.9.0.jar	697a60600850806fc28f6ed543f4bd78
lib/com.typesafe.slick.slick_2.12-3.2.3.jar	26565e7c86be0952476894adb76f6376
lib/fr.univ-valenciennes.bitvectors_2.12-2.2.jar	037bc2b4c95770cb6b2b85a1fa3a7dc8
lib/fr.univ-valenciennes.concrete-3.8.jar	3dbcd989301ea8f6f24d8d8791bbbf01
lib/fr.univ-valenciennes.cspom_2.12-2.23.jar	6f9686ac88cda011e5fd0ac4113c89ee
lib/fr.univ-valenciennes.mdd_2.12-1.8.jar	d152a78667a5b4ff23a19c29b2399966
lib/io.reactivex.rxjava-1.3.8.jar	62b34782c8ce3462d5796da7c1e9a9b5
lib/org.apache.commons.commons-compress-1.17.jar	17276c62621d8e1f17666a73ae68aa07
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.postgresql.postgresql-42.2.2.jar	aeaee2a456f269b49d78125d6f492f5d
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.5.jar	7289283e65921e7bf880c4924e21762c
lib/org.scala-lang.scala-library-2.12.6.jar	7e419dade4331276805bbaaa91f9ec13
lib/org.scala-lang.scala-reflect-2.12.6.jar	0198d2e5d59567060e508949d4677b91
lib/org.slf4j.slf4j-api-1.7.25.jar	caafe376afb7086dcbee79f780394ca3
lib/org.tukaani.xz-1.8.jar	5f982127e0de85b785c4b2abad21aa2e
lib/xcsp3-tools-1.0.1-SNAPSHOT-javadoc.jar	77e777b8ec29cfc29fb0da04fcb63c27
lib/xcsp3-tools-1.0.1-SNAPSHOT-sources.jar	d42094288c01a18ce1cc6c9c787b744a
lib/xcsp3-tools-1.0.1-SNAPSHOT.jar	d885ae23dc85187b0fca99659477997e
mzn_lib/all_different_int.mzn	c6156ee0e715ce254039fbfdbca31346
mzn_lib/alldifferent_except_0.mzn	a76b0d189dcdd09b9366e41bf9196517
mzn_lib/bin_packing.mzn	b8d512279766579b928cddd1999eeeed
mzn_lib/bin_packing_capa.mzn	1350676fcc87b96d55333bfb663993e9
mzn_lib/bin_packing_load.mzn	c80ee136802e64348a00c09cf97a89c5
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_less_int.mzn	74cfdde624c93dbfcdc5e64ca64fdeb2
mzn_lib/lex_lesseq_bool.mzn	a8c0b440d2c9e8fdfdb91cf007f2b822
mzn_lib/lex_lesseq_int.mzn	434e6f5f49f2f928c4a9b943a559f183
mzn_lib/member_bool.mzn	3550d1ff7b96021ab3094598ba3ee548
mzn_lib/member_int.mzn	2ae5cf41af20301e1ec8ac857fc6bbe4
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/table_int.mzn	a9551f600a505d8374b4e68739a027aa
Meta md5sum: 7fdef92f7831d26dfce18a538c269bb6

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Julien Vion

Date of submission 2018-06-13 00:58

Name Concrete 3.8-SuperNG

Version 2018-06-13

Authors Julien Vion

Complete/Incomplete Complete

Is able to solve COP
CSP

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

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

File	md5sum
concrete-3.8/bin/compet	cc1cad86aac8c6a75f4c7403ab65eae7
concrete-3.8/bin/compet-matrix	572d89ee0b8b203ef1d3f54160f98088
concrete-3.8/bin/compet-matrix.bat	7f8cb33a7d506f3758fd06f6d64213f4
concrete-3.8/bin/compet.bat	fa142d828c82b12c8d2b31985b6cb3c5
concrete-3.8/bin/fz-concrete	2f94375396549c25385111f9047f0980
concrete-3.8/bin/fz-concrete.bat	befb15bf245aa6ddf53558d4a65ff9c3
concrete-3.8/bin/mdd-stats	89088ecbeb2439e0d70df5fc4e9ad138
concrete-3.8/bin/mdd-stats.bat	9e2ca5f026d9b2b8b41cb5b53326369c
concrete-3.8/bin/mznc-2-sql	794c6dd1db469f633d525f08f80632e3
concrete-3.8/bin/mznc-2-sql.bat	3aa74165d8d97d577714a85f6c2e2d7d
concrete-3.8/bin/problem-stats	d5c2cbf51b99d189f8ade2935d6ccd1a
concrete-3.8/bin/problem-stats.bat	89a83844311412e6aa9502e2f7f66e50
concrete-3.8/bin/table-2	70af94a192b78e7a281d758e5b81b118
concrete-3.8/bin/table-2.bat	092c7351cb99f0e8eb063327eb5091e1
concrete-3.8/bin/tagger	8e40891a208797912e78462471acdabd
concrete-3.8/bin/tagger.bat	e171f2ec131f140b6905939a8749d3c1
concrete-3.8/bin/xcsp-2-concrete	8e3d96450d042de4bd028ea127da3d27
concrete-3.8/bin/xcsp-2-concrete.bat	2a5cf053d48aac8a33d41d457f940c0e
concrete-3.8/bin/xcsp-3-concrete	d472913e534348a8b791fcb4269e1024
concrete-3.8/bin/xcsp-3-concrete.bat	9cc4dd6ffce510697b89e870d553bf50
concrete-3.8/conf/application.conf	9718787a37521bf945cbc79d07eb9b4e
concrete-3.8/conf/logback.xml	17d389c81ba410222f8c00c2a7e1663d
concrete-3.8/lib/SCHype.jar	2256395d8c8a7159f1db105e7fe4006c
concrete-3.8/lib/ch.qos.logback.logback-classic-1.2.3.jar	64f7a68f931aed8e5ad8243470440f0b
concrete-3.8/lib/ch.qos.logback.logback-core-1.2.3.jar	841fc80c6edff60d947a3872a2db4d45
concrete-3.8/lib/com.github.davidmoten.guava-mini-0.1.1.jar	c215c34eb72aeef2f67644d802a67404
concrete-3.8/lib/com.github.davidmoten.rtree-0.8.5.jar	16fd18d1fa6ecdcf6c64f47296b3cd79
concrete-3.8/lib/com.lihaoyi.fastparse-utils_2.12-1.0.0.jar	625cf23e7e6d41fc39ec7895051cd5f3
concrete-3.8/lib/com.lihaoyi.fastparse_2.12-1.0.0.jar	039f59e26bb04085af8102484b6f9431
concrete-3.8/lib/com.lihaoyi.sourcecode_2.12-0.1.4.jar	1ecfdd8bc3038e370e4acbdb91b1daa9
concrete-3.8/lib/com.storm-enroute.scalameter-core_2.12-0.10.1.jar	3f3e304a48cb8c7a96740352c146a5ad
concrete-3.8/lib/com.typesafe.config-1.3.3.jar	77370e0a125ed8a196c2ecdb58a6570e
concrete-3.8/lib/com.typesafe.scala-logging.scala-logging_2.12-3.9.0.jar	697a60600850806fc28f6ed543f4bd78
concrete-3.8/lib/com.typesafe.slick.slick_2.12-3.2.3.jar	26565e7c86be0952476894adb76f6376
concrete-3.8/lib/fr.univ-valenciennes.bitvectors_2.12-2.2.jar	037bc2b4c95770cb6b2b85a1fa3a7dc8
concrete-3.8/lib/fr.univ-valenciennes.concrete-3.8.jar	3dbcd989301ea8f6f24d8d8791bbbf01
concrete-3.8/lib/fr.univ-valenciennes.cspom_2.12-2.23.jar	6f9686ac88cda011e5fd0ac4113c89ee
concrete-3.8/lib/fr.univ-valenciennes.mdd_2.12-1.8.jar	d152a78667a5b4ff23a19c29b2399966
concrete-3.8/lib/io.reactivex.rxjava-1.3.8.jar	62b34782c8ce3462d5796da7c1e9a9b5
concrete-3.8/lib/org.apache.commons.commons-compress-1.17.jar	17276c62621d8e1f17666a73ae68aa07
concrete-3.8/lib/org.apache.commons.commons-lang3-3.4.jar	8667a442ee77e509fbe8176b94726eb2
concrete-3.8/lib/org.apache.commons.commons-math3-3.2.jar	aaa32530c0f744813570ff73db018698
concrete-3.8/lib/org.ow2.asm.asm-5.0.4.jar	c8a73cdfdf802ab0220c860d590d0f84
concrete-3.8/lib/org.postgresql.postgresql-42.2.2.jar	aeaee2a456f269b49d78125d6f492f5d
concrete-3.8/lib/org.reactivestreams.reactive-streams-1.0.0.jar	b33a215694fa90a07c7abcee17a173e2
concrete-3.8/lib/org.scala-lang.modules.scala-parser-combinators_2.12-1.0.4.jar	f6c529661ee8709e9e77e59f26de2690
concrete-3.8/lib/org.scala-lang.modules.scala-xml_2.12-1.0.5.jar	7289283e65921e7bf880c4924e21762c
concrete-3.8/lib/org.scala-lang.scala-library-2.12.6.jar	7e419dade4331276805bbaaa91f9ec13
concrete-3.8/lib/org.scala-lang.scala-reflect-2.12.6.jar	0198d2e5d59567060e508949d4677b91
concrete-3.8/lib/org.slf4j.slf4j-api-1.7.25.jar	caafe376afb7086dcbee79f780394ca3
concrete-3.8/lib/org.tukaani.xz-1.8.jar	5f982127e0de85b785c4b2abad21aa2e
concrete-3.8/lib/xcsp3-tools-1.0.1-SNAPSHOT-javadoc.jar	77e777b8ec29cfc29fb0da04fcb63c27
concrete-3.8/lib/xcsp3-tools-1.0.1-SNAPSHOT-sources.jar	d42094288c01a18ce1cc6c9c787b744a
concrete-3.8/lib/xcsp3-tools-1.0.1-SNAPSHOT.jar	d885ae23dc85187b0fca99659477997e
concrete-3.8/mzn_lib/all_different_int.mzn	c6156ee0e715ce254039fbfdbca31346
concrete-3.8/mzn_lib/alldifferent_except_0.mzn	a76b0d189dcdd09b9366e41bf9196517
concrete-3.8/mzn_lib/bin_packing.mzn	b8d512279766579b928cddd1999eeeed
concrete-3.8/mzn_lib/bin_packing_capa.mzn	1350676fcc87b96d55333bfb663993e9
concrete-3.8/mzn_lib/bin_packing_load.mzn	c80ee136802e64348a00c09cf97a89c5
concrete-3.8/mzn_lib/circuit.mzn.not	9dc64241b92b46edf4631b677e0f5bb9
concrete-3.8/mzn_lib/count_eq.mzn	ece46fbdc0f7331f90c37ce722b30d8c
concrete-3.8/mzn_lib/cumulative.mzn	88d52cb4771a94570ff31b8d5d2d3824
concrete-3.8/mzn_lib/diffn.mzn	a681b9ed108fe9b9198e0bd2829fa121
concrete-3.8/mzn_lib/inverse.mzn	4b687c63a4f8cd7f6535e4619da3a02a
concrete-3.8/mzn_lib/knapsack.mzn	02b868915c3dee4b1e20fd5bff5ae9bf
concrete-3.8/mzn_lib/lex_less_bool.mzn	599a868fd354d6e571ede69f4fef0a94
concrete-3.8/mzn_lib/lex_less_int.mzn	74cfdde624c93dbfcdc5e64ca64fdeb2
concrete-3.8/mzn_lib/lex_lesseq_bool.mzn	a8c0b440d2c9e8fdfdb91cf007f2b822
concrete-3.8/mzn_lib/lex_lesseq_int.mzn	434e6f5f49f2f928c4a9b943a559f183
concrete-3.8/mzn_lib/member_bool.mzn	3550d1ff7b96021ab3094598ba3ee548
concrete-3.8/mzn_lib/member_int.mzn	2ae5cf41af20301e1ec8ac857fc6bbe4
concrete-3.8/mzn_lib/redefinitions-2.0.mzn	6db1d8e4a9788876c25e5a675fd28d59
concrete-3.8/mzn_lib/redefinitions.mzn	0ceeb00e795738959bfe554b9f65772d
concrete-3.8/mzn_lib/regular.mzn	3db49527873c520b4b44593885c4357a
concrete-3.8/mzn_lib/sliding_sum.mzn	99854b2b914048f563d7cd2958479bba
concrete-3.8/mzn_lib/table_int.mzn	a9551f600a505d8374b4e68739a027aa
Meta md5sum: 95b753447d7e067b1d3038592e8370f8

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Gilles Audemard

Date of submission 2018-04-27 12:30

Name cosoco

Version 1.12

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 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Cyril Terrioux

Date of submission 2018-06-11 17:18

Name macht

Version 2018.06.11

Authors Djamal Habet and Cyril Terrioux

Complete/Incomplete Complete

Is able to solve CSP

Solver command line macht TIMELIMIT BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Cyril Terrioux

Date of submission 2018-07-27 19:05

Name macht

Version 2018.07.27

Authors Djamal Habet and Cyril Terrioux

Complete/Incomplete Complete

Is able to solve CSP

Solver command line macht TIMELIMIT BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Mohamed Siala

Date of submission 2018-06-15 20:42

Name Mistral-2.0

Version 2018-06-15

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 From the main directory, please use make to compile the code. This generates the binary bin/MistralXCSP

The command that we use to any XCSP3 instance is the following (it should be run from the main directory):

bin/MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Mohamed Siala

Date of submission 2018-08-01 12:38

Name Mistral-2.0

Version 2018-08-01

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 From the main directory, please use make to compile the code. This generates the binary bin/MistralXCSP
The command that we use to any XCSP3 instance is the following (it should be run from the main directory):

bin/MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Charles Thomas

Date of submission 2018-07-06 13:26

Name OscaR - Conflict Ordering

Version 2018-07-02

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve CSP

Solver command line java -Xmx11000m -jar oscarCPXcsp3-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 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Charles Thomas

Date of submission 2018-08-14 16:16

Name OscaR - Conflict Ordering

Version 2018-08-14

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve CSP

Solver command line java -Xmx11000m -jar oscarCPXcsp3-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 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Charles Thomas

Date of submission 2018-07-06 13:27

Name OscaR - Conflict Ordering with restarts

Version 2018-07-02

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Charles Thomas

Date of submission 2018-08-14 16:16

Name OscaR - Conflict Ordering with restarts

Version 2018-08-14

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Charles Thomas

Date of submission 2018-08-17 17:16

Name OscaR - Conflict Ordering with restarts

Version 2018-08-17

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Charles Thomas

Date of submission 2018-07-06 13:24

Name OscaR - Hybrid

Version 2018-07-02

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP

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

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Charles Thomas

Date of submission 2018-08-14 16:14

Name OscaR - Hybrid

Version 2018-08-14

Authors OscaR Team

Complete/Incomplete Complete

Is able to solve COP

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

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Neng-Fa Zhou

Date of submission 2018-06-15 23:25

Name PicatSAT

Version 2018-06-15

Authors Neng-Fa Zhou and Hakan Kjellerstrand

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line xcsp_picat BENCHNAME

Conversion script command line

Comments version 2.4#4, June 15, 2018

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Neng-Fa Zhou

Date of submission 2018-08-02 05:57

Name PicatSAT

Version 2018-08-02

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 noticed a tiny problem, which could rarely affect some optimization problems. This version (2.4#6, 8/1/2018) fixes the problem. If you have started running the previous version (2.4#5), please disregard this one. I don't think the problem affects any of the instances.

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Neng-Fa Zhou

Date of submission 2018-08-14 22:49

Name PicatSAT

Version 2018-08-14

Authors Neng-Fa Zhou

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line xcsp_picat BENCHNAME

Conversion script command line

Comments This will be the real final submission. This competition has helped dig out several bugs. I appreciate your encouragement of perfecting and the tremendous of time spent running this competition.

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Emmanuel Lonca

Date of submission 2018-07-11 11:42

Name Sat4j-CSP

Version 2018-07-11

Authors Daniel Le Berre and Emmanuel Lonca

Complete/Incomplete Complete

Is able to solve COP
CSP

Solver command line java -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Takehide Soh

Date of submission 2018-06-14 07:23

Name scop

Version both+MapleCOMSPS (2018-06-13)

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

Complete/Incomplete Complete

Is able to solve CSP

Solver command line java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -both -solver DIR/minisat_release -solverOption mapleTune01 -tmp 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 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Takehide Soh

Date of submission 2018-07-31 10:56

Name scop

Version both+MapleCOMSPS (2018-07-31)

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

Complete/Incomplete Complete

Is able to solve CSP

Solver command line scop.sh 11g scop.jar -both minisat_release 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 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Takehide Soh

Date of submission 2018-06-14 07:27

Name scop

Version order+MapleCOMSPS (2018-06-13)

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

Complete/Incomplete Complete

Is able to solve CSP

Solver command line java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -order -solver DIR/minisat_release -solverOption mapleTune01 -tmp 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 2018 XCSP3 competition: sequential solvers tracks

Type CSP

Submitter Takehide Soh

Date of submission 2018-07-31 10:59

Name scop

Version order+MapleCOMSPS (2018-07-31)

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

Complete/Incomplete Complete

Is able to solve CSP

Solver command line scop.sh 11g scop.jar -order minisat_release 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]