Files
-rwxr-xr-x | 5531 | root | root | /usr/bin/prover9-attack |
-rwxr-xr-x | 413752 | root | root | /usr/bin/prover9-autosketches4 |
-rwxr-xr-x | 301452 | root | root | /usr/bin/prover9-clausefilter |
-rwxr-xr-x | 300568 | root | root | /usr/bin/prover9-clausetester |
-rwxr-xr-x | 284536 | root | root | /usr/bin/prover9-directproof |
-rwxr-xr-x | 299968 | root | root | /usr/bin/prover9-dprofiles |
-rwxr-xr-x | 413592 | root | root | /usr/bin/prover9-fof-prover9 |
-rwxr-xr-x | 72 | root | root | /usr/bin/prover9-get_givens |
-rwxr-xr-x | 190 | root | root | /usr/bin/prover9-get_interps |
-rwxr-xr-x | 73 | root | root | /usr/bin/prover9-get_kept |
-rwxr-xr-x | 11964 | root | root | /usr/bin/prover9-gvizify |
-rwxr-xr-x | 272940 | root | root | /usr/bin/prover9-idfilter |
-rwxr-xr-x | 301396 | root | root | /usr/bin/prover9-interpfilter |
-rwxr-xr-x | 421784 | root | root | /usr/bin/prover9-ladr_to_tptp |
-rwxr-xr-x | 272964 | root | root | /usr/bin/prover9-latfilter |
-rwxr-xr-x | 5820 | root | root | /usr/bin/prover9-looper |
-rwxr-xr-x | 272220 | root | root | /usr/bin/prover9-miniscope |
-rwxr-xr-x | 272244 | root | root | /usr/bin/prover9-mirror-flip |
-rwxr-xr-x | 414452 | root | root | /usr/bin/prover9-newauto |
-rwxr-xr-x | 417684 | root | root | /usr/bin/prover9-newsax |
-rwxr-xr-x | 275588 | root | root | /usr/bin/prover9-olfilter |
-rwxr-xr-x | 276332 | root | root | /usr/bin/prover9-perm3 |
-rwxr-xr-x | 271700 | root | root | /usr/bin/prover9-renamer |
-rwxr-xr-x | 272880 | root | root | /usr/bin/prover9-rewriter |
-rwxr-xr-x | 300900 | root | root | /usr/bin/prover9-sigtest |
-rwxr-xr-x | 421784 | root | root | /usr/bin/prover9-tptp_to_ladr |
-rwxr-xr-x | 271372 | root | root | /usr/bin/prover9-unfast |
-rwxr-xr-x | 300980 | root | root | /usr/bin/prover9-upper-covers |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-apps-200805a |
-rw-r--r-- | 4624 | root | root | /usr/share/doc/prover9-apps-200805a/README.directproof |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples |
-rw-r--r-- | 13021 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/BA-sheffer |
-rw-r--r-- | 15392 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/MOL-cand.296 |
-rw-r--r-- | 305 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/Makefile |
-rw-r--r-- | 514 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/OL.in |
-rw-r--r-- | 132 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/README |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14 |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10 |
-rw-r--r-- | 33 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/distributivity |
-rw-r--r-- | 271 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/err |
-rw-r--r-- | 2827 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/index.html |
-rw-r--r-- | 1147 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/interp.OL6 |
-rw-r--r-- | 818 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/lattice-sax |
-rw-r--r-- | 708 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/lattice-sax.id-check |
-rw-r--r-- | 243 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/lattice.rules |
-rw-r--r-- | 332 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/meet-join-equations |
-rw-r--r-- | 672 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/mjc01s-equations |
-rw-r--r-- | 13446 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/non-MOL-OML |
-rw-r--r-- | 243 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/qg.in |
-rw-r--r-- | 1281 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/run-all |
-rw-r--r-- | 81 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/sed1 |
-rw-r--r-- | 14378 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/BA-sheffer.out |
-rw-r--r-- | 12456 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/MOL-cand.238 |
-rw-r--r-- | 1085 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/OL.6 |
-rw-r--r-- | 3751 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/OL.8 |
-rw-r--r-- | 2157 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/OL.8.out |
-rw-r--r-- | 648 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/OL.8.upper-covers |
-rw-r--r-- | 229 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/lattice-sax.rewritten |
-rw-r--r-- | 202 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/meet-join-equations.out |
-rw-r--r-- | 374 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/mjc01s-equations.out |
-rw-r--r-- | 1230 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/qg.iso3 |
-rw-r--r-- | 1640 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Jan14/qg.out3 |
-rw-r--r-- | 14378 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/BA-sheffer.out |
-rw-r--r-- | 12456 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/MOL-cand.238 |
-rw-r--r-- | 1085 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/OL.6 |
-rw-r--r-- | 3751 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/OL.8 |
-rw-r--r-- | 2157 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/OL.8.out |
-rw-r--r-- | 648 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/OL.8.upper-covers |
-rw-r--r-- | 229 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/lattice-sax.rewritten |
-rw-r--r-- | 202 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/meet-join-equations.out |
-rw-r--r-- | 374 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/mjc01s-equations.out |
-rw-r--r-- | 1230 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/qg.iso3 |
-rw-r--r-- | 1640 | root | root | /usr/share/doc/prover9-apps-200805a/apps.examples/backup.Mar10/qg.out3 |
-rw-r--r-- | 529 | root | root | /usr/share/man/man1/prover9-apps.1.gz |
-rw-r--r-- | 603 | root | root | /usr/share/man/man1/prover9-clausefilter.1.gz |
-rw-r--r-- | 558 | root | root | /usr/share/man/man1/prover9-clausetester.1.gz |
-rw-r--r-- | 603 | root | root | /usr/share/man/man1/prover9-interpfilter.1.gz |
-rw-r--r-- | 787 | root | root | /usr/share/man/man1/prover9-rewriter.1.gz |