| Event | 2017 XCSP3 competition: fast COP track (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 |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Charles Prud'homme |
| Date of submission | 2017-07-26 22:16 |
| Name | choco-solver |
| Version | 4.0.5 par (2017-07-26) |
| Authors | Charles Prud'homme and Jean-Guillaume Fages |
| Complete/Incomplete | Complete |
| Is able to solve | COP |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Charles Prud'homme |
| Date of submission | 2017-07-26 22:16 |
| Name | choco-solver |
| Version | 4.0.5 seq (2017-07-26) |
| Authors | Charles Prud'homme and Jean-Guillaume Fages |
| Complete/Incomplete | Complete |
| Is able to solve | COP |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| Solver command line | bin/concrete BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | 2017 XCSP3 competition: fast COP track (sequential and parallel solvers) |
| Type | CSP |
| Submitter | Gilles Audemard |
| Date of submission | 2017-07-29 09:32 |
| Name | cosoco |
| Version | 1.1 |
| Authors | Gilles Audemard |
| Complete/Incomplete | Complete |
| Is able to solve | COP |
| Solver command line | DIR/cosoco -lc -model -restarts BENCHNAME |
| Conversion script command line | |
| Comments | Bug fix. |
| Solver files and checksums |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| Solver command line | cosoco -lc -model -restarts BENCHNAME |
| Conversion script command line | |
| Comments | bug fixed version. |
| Solver files and checksums |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| Solver command line | cosoco -lc -model -restarts -sat BENCHNAME |
| Conversion script command line | |
| Comments | It is buggy :( |
| Solver files and checksums |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| 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 |
| Event | 2017 XCSP3 competition: fast COP track (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 |
| Solver command line | java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |