| Event | PB'11 competition: WBO track |
| Type | WBO |
| Submitter | Benjamin Kaufmann |
| Date of submission | 2011-03-27 13:13 |
| Name | clasp |
| Version | 2.0-RC2 |
| Authors | Benjamin Kaufmann |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-SMALLINT-LIN PARTIAL-SMALLINT-NLC |
| Solver command line | HOME/clasp BENCHNAME --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once |
| Conversion script command line | |
| Comments | The package contains a statically linked 32bit Linux binary named clasp as well as all the sources. Please see README for build instructions. |
| Solver files and checksums |
| Event | PB'11 competition: WBO track |
| Type | WBO |
| Submitter | Benjamin Kaufmann |
| Date of submission | 2011-03-27 13:16 |
| Name | clasp |
| Version | 2.0-RC2 |
| Authors | Benjamin Kaufmann |
| Complete/Incomplete | Complete |
| Is able to solve | SOFT-SMALLINT-LIN SOFT-SMALLINT-NLC |
| Solver command line | HOME/clasp BENCHNAME --restart-on-model --opt-heu=2 --sat-p=20,25,120,-1,2 --heu=Berkmin --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=20000,1.1 --reverse-arcs=2 |
| Conversion script command line | |
| Comments | The package contains a statically linked 32bit Linux binary named clasp as well as all the sources. Please see README for build instructions. |
| Solver files and checksums |
| Event | PB'11 competition: WBO track |
| Type | WBO |
| Submitter | Daniel Le Berre |
| Date of submission | 2011-06-08 22:45 |
| Name | Sat4j Resolution |
| Version | 2011-06-08 |
| Authors | Daniel Le Berre and Anne Parrain |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-BIGINT-LIN PARTIAL-BIGINT-NLC PARTIAL-SMALLINT-LIN PARTIAL-SMALLINT-NLC SOFT-BIGINT-LIN SOFT-BIGINT-NLC SOFT-SMALLINT-LIN SOFT-SMALLINT-NLC |
| Solver command line | java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME |
| Conversion script command line | |
| Comments | Update last year WBO solver to the latest version of Sat4j. |
| Solver files and checksums |
| Event | PB'11 competition: WBO track |
| Type | WBO |
| Submitter | Stefan Heinz |
| Date of submission | 2011-04-03 21:15 |
| Name | SCIP spx |
| Version | SCIP 2.0.1.4. with SoPlex 1.5.0.4 |
| Authors | Stefan Heinz |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-SMALLINT-LIN PARTIAL-SMALLINT-NLC SOFT-SMALLINT-LIN SOFT-SMALLINT-NLC |
| Solver command line | HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT |
| Conversion script command line | |
| Comments | http://scip.zib.de |
| Solver files and checksums |
| Event | PB'11 competition: WBO track |
| Type | WBO |
| Submitter | Vasco Manquinho |
| Date of submission | 2011-03-21 23:57 |
| Name | wbo |
| Version | 1.6 |
| Authors | Vasco Manquinho, Jordi Planes, João Marques-Silva |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-SMALLINT-LIN PARTIAL-SMALLINT-NLC SOFT-SMALLINT-LIN SOFT-SMALLINT-NLC |
| Solver command line | wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |