Using MiniSat on the Andrew machines

You can remotely connect to the Andrew machines:

Example: 
$ ssh username@unix.andrew.cmu.edu
username@unix.andrew.cmu.edu's password:
                Welcome to the Carnegie Mellon University
                        Linux timeshare pool

                now running Red Hat Enterprise Linux 6.1

These machines are a shared resource. Please be considerate of other users.
http://www.cmu.edu/computing/guideline/servers.html



RHN Satellite kickstart on 2011-08-18

[username@unix37 ~]$ ~wklieber/public/MiniSat_v1.14_linux ~wklieber/public/15414/pigeon-3.cnf
==================================[MINISAT]===================================
| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
==============================================================================
|         0 |      22       48 |       7       0        0     nan |  0.000 % |
==============================================================================
restarts              : 1
conflicts             : 7              (inf /sec)
decisions             : 8              (inf /sec)
propagations          : 55             (inf /sec)
conflict literals     : 12             (7.69 % deleted)
Memory used           : 1.66 MB
CPU time              : 0 s

UNSATISFIABLE