Files
-rwxr-xr-x | 5531 | root | root | /usr/bin/prover9-attack |
-rwxr-xr-x | 438204 | root | root | /usr/bin/prover9-autosketches4 |
-rwxr-xr-x | 321744 | root | root | /usr/bin/prover9-clausefilter |
-rwxr-xr-x | 321660 | root | root | /usr/bin/prover9-clausetester |
-rwxr-xr-x | 292732 | root | root | /usr/bin/prover9-complex |
-rwxr-xr-x | 300952 | root | root | /usr/bin/prover9-directproof |
-rwxr-xr-x | 321572 | root | root | /usr/bin/prover9-dprofiles |
-rwxr-xr-x | 438204 | root | root | /usr/bin/prover9-fof-prover9 |
-rwxr-xr-x | 296832 | root | root | /usr/bin/prover9-gen_trc_defs |
-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 | 291600 | root | root | /usr/bin/prover9-idfilter |
-rwxr-xr-x | 321912 | root | root | /usr/bin/prover9-interpfilter |
-rwxr-xr-x | 443612 | root | root | /usr/bin/prover9-ladr_to_tptp |
-rwxr-xr-x | 293288 | root | root | /usr/bin/prover9-latfilter |
-rwxr-xr-x | 5820 | root | root | /usr/bin/prover9-looper |
-rwxr-xr-x | 292732 | root | root | /usr/bin/prover9-miniscope |
-rwxr-xr-x | 292756 | root | root | /usr/bin/prover9-mirror-flip |
-rwxr-xr-x | 438200 | root | root | /usr/bin/prover9-newauto |
-rwxr-xr-x | 438200 | root | root | /usr/bin/prover9-newsax |
-rwxr-xr-x | 294248 | root | root | /usr/bin/prover9-olfilter |
-rwxr-xr-x | 292748 | root | root | /usr/bin/prover9-perm3 |
-rwxr-xr-x | 293048 | root | root | /usr/bin/prover9-renamer |
-rwxr-xr-x | 291412 | root | root | /usr/bin/prover9-rewriter |
-rwxr-xr-x | 321412 | root | root | /usr/bin/prover9-sigtest |
-rwxr-xr-x | 292736 | root | root | /usr/bin/prover9-test_complex |
-rwxr-xr-x | 446396 | root | root | /usr/bin/prover9-tptp_to_ladr |
-rwxr-xr-x | 293104 | root | root | /usr/bin/prover9-unfast |
-rwxr-xr-x | 321720 | root | root | /usr/bin/prover9-upper-covers |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-apps-200911a |
-rw-r--r-- | 4624 | root | root | /usr/share/doc/prover9-apps-200911a/README.directproof |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples |
-rw-r--r-- | 13021 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/BA-sheffer |
-rw-r--r-- | 15392 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/MOL-cand.296 |
-rw-r--r-- | 305 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/Makefile |
-rw-r--r-- | 514 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/OL.in |
-rw-r--r-- | 132 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/README |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Jan14 |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Mar10 |
-rw-r--r-- | 33 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/distributivity |
-rw-r--r-- | 271 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/err |
-rw-r--r-- | 2827 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/index.html |
-rw-r--r-- | 1147 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/interp.OL6 |
-rw-r--r-- | 818 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/lattice-sax |
-rw-r--r-- | 708 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/lattice-sax.id-check |
-rw-r--r-- | 243 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/lattice.rules |
-rw-r--r-- | 332 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/meet-join-equations |
-rw-r--r-- | 672 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/mjc01s-equations |
-rw-r--r-- | 13446 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/non-MOL-OML |
-rw-r--r-- | 243 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/qg.in |
-rw-r--r-- | 1281 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/run-all |
-rw-r--r-- | 81 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/sed1 |
-rw-r--r-- | 14378 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Jan14/BA-sheffer.out |
-rw-r--r-- | 12456 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Jan14/MOL-cand.238 |
-rw-r--r-- | 1085 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Jan14/OL.6 |
-rw-r--r-- | 3751 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Jan14/OL.8 |
-rw-r--r-- | 2157 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Jan14/OL.8.out |
-rw-r--r-- | 648 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Jan14/OL.8.upper-covers |
-rw-r--r-- | 229 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Jan14/lattice-sax.rewritten |
-rw-r--r-- | 202 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Jan14/meet-join-equations.out |
-rw-r--r-- | 374 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Jan14/mjc01s-equations.out |
-rw-r--r-- | 1230 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Jan14/qg.iso3 |
-rw-r--r-- | 1640 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Jan14/qg.out3 |
-rw-r--r-- | 14378 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Mar10/BA-sheffer.out |
-rw-r--r-- | 12456 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Mar10/MOL-cand.238 |
-rw-r--r-- | 1085 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Mar10/OL.6 |
-rw-r--r-- | 3751 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Mar10/OL.8 |
-rw-r--r-- | 2157 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Mar10/OL.8.out |
-rw-r--r-- | 648 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Mar10/OL.8.upper-covers |
-rw-r--r-- | 229 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Mar10/lattice-sax.rewritten |
-rw-r--r-- | 202 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Mar10/meet-join-equations.out |
-rw-r--r-- | 374 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Mar10/mjc01s-equations.out |
-rw-r--r-- | 1230 | root | root | /usr/share/doc/prover9-apps-200911a/apps.examples/backup.Mar10/qg.iso3 |
-rw-r--r-- | 1640 | root | root | /usr/share/doc/prover9-apps-200911a/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 |