Event | SAT 2011 Competition: 32 cores track |
Type | SAT |
Submitter | Benjamin Kaufmann |
Date of submission | 2011-05-12 11:03 |
Name | claspmt |
Version | 2.0-R4095-patched (fixed) |
Authors | Benjamin Kaufmann |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME |
Conversion script command line | |
Comments | BUG FIX FOR claspmt-2.0-R4095 which gave wrong answers in some of the test runs. Installation instructions and command line remain the same. |
Solver files and checksums |
Event | SAT 2011 Competition: 32 cores track |
Type | SAT |
Submitter | Mate Soos |
Date of submission | 2011-05-14 00:00 |
Name | CryptoMiniSat |
Version | Strange-Night-2-mt (fixed) |
Authors | Mate Soos |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | ./strangenight2-mt --threads=NBCORE BENCHNAME |
Conversion script command line | |
Comments | Multi-threaded version |
Solver files and checksums |
Event | SAT 2011 Competition: 32 cores track |
Type | SAT |
Submitter | Armin Biere |
Date of submission | 2011-05-13 10:46 |
Name | Plingeling |
Version | 587f (fixed) |
Authors | Armin Biere |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | plingeling -t NBCORE BENCHNAME |
Conversion script command line | |
Comments | ./configure --competition; make If this does not work (uses profiling and runs one instances for about 20 seconds), then use ./configure; make I will use the same archive for Lingeling. The fix is for a bug, that occurs if too many literals of the same glue are kept. This bug was triggered for Plingeling for the 'plain' worker, but Lingeling and Plingeling share the same source, so I submitted Lingeling also (now even with my 'profile.cnf.gz', which I forgot to add first). |
Solver files and checksums |
Event | SAT 2011 Competition: 32 cores track |
Type | SAT |
Submitter | Olivier ROUSSEL |
Date of submission | 2011-03-03 22:54 |
Name | ppfolio |
Version | par |
Authors | Olivier ROUSSEL |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION CRAFTED RANDOM |
Solver command line | ppfolio BENCHNAME |
Conversion script command line | |
Comments | A very naive portfolio |
Solver files and checksums |