Files
| -rwxr-xr-x | 367920 | root | root | /usr/bin/mace4 |
| -rwxr-xr-x | 433976 | root | root | /usr/bin/prover9 |
| -rwxr-xr-x | 322504 | root | root | /usr/bin/prover9-interpformat |
| -rwxr-xr-x | 320960 | root | root | /usr/bin/prover9-isofilter |
| -rwxr-xr-x | 320640 | root | root | /usr/bin/prover9-isofilter0 |
| -rwxr-xr-x | 320936 | root | root | /usr/bin/prover9-isofilter2 |
| -rwxr-xr-x | 298480 | root | root | /usr/bin/prover9-prooftrans |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-200911a |
| -rw-r--r-- | 17987 | root | root | /usr/share/doc/prover9-200911a/COPYING |
| -rw-r--r-- | 62287 | root | root | /usr/share/doc/prover9-200911a/Changelog |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-200911a/TODO |
| -rw-r--r-- | 2208 | root | root | /usr/share/doc/prover9-200911a/copyright |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-200911a/mace4.examples |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-200911a/prover9.examples |
| -rw-r--r-- | 1906 | root | root | /usr/share/doc/prover9-200911a/TODO/ADAM_2007_loose_ends |
| -rw-r--r-- | 2620 | root | root | /usr/share/doc/prover9-200911a/TODO/README |
| -rw-r--r-- | 20218 | root | root | /usr/share/doc/prover9-200911a/TODO/factor.in |
| -rw-r--r-- | 1727 | root | root | /usr/share/doc/prover9-200911a/TODO/mace4-segv.in |
| -rw-r--r-- | 385396 | root | root | /usr/share/doc/prover9-200911a/TODO/temp |
| -rw-r--r-- | 80 | root | root | /usr/share/doc/prover9-200911a/mace4.examples/README |
| -rw-r--r-- | 601 | root | root | /usr/share/doc/prover9-200911a/mace4.examples/group2.in |
| -rw-r--r-- | 722 | root | root | /usr/share/doc/prover9-200911a/mace4.examples/rw1.in |
| -rw-r--r-- | 80 | root | root | /usr/share/doc/prover9-200911a/prover9.examples/README |
| -rw-r--r-- | 496 | root | root | /usr/share/doc/prover9-200911a/prover9.examples/x2.hints |
| -rw-r--r-- | 152 | root | root | /usr/share/doc/prover9-200911a/prover9.examples/x2.in |
| -rw-r--r-- | 5100 | root | root | /usr/share/doc/prover9-200911a/prover9.examples/x2.out |
| -rw-r--r-- | 1816 | root | root | /usr/share/man/man1/mace4.1.gz |
| -rw-r--r-- | 753 | root | root | /usr/share/man/man1/prover9-interpformat.1.gz |
| -rw-r--r-- | 800 | root | root | /usr/share/man/man1/prover9-isofilter.1.gz |
| lrwxrwxrwx | 22 | root | root | /usr/share/man/man1/prover9-isofilter0.1.gz |
| lrwxrwxrwx | 22 | root | root | /usr/share/man/man1/prover9-isofilter2.1.gz |
| -rw-r--r-- | 815 | root | root | /usr/share/man/man1/prover9-prooftrans.1.gz |
| -rw-r--r-- | 758 | root | root | /usr/share/man/man1/prover9.1.gz |
