: 1 1185797
1 d none bin ? ? ?
1 f none bin/darwin 0755 bin bin 3755752 51042 1660454323
1 i pkginfo 841 9234 1660454323
1 d none share ? ? ?
1 d none share/doc ? ? ?
1 d none share/doc/darwin 0755 bin bin
1 f none share/doc/darwin/AUTHORS 0755 bin bin 243 22012 1660454323
1 f none share/doc/darwin/CHANGES 0755 bin bin 11880 55810 1660454323
1 f none share/doc/darwin/README 0755 bin bin 2582 30327 1660454323
1 d none share/doc/darwin/eval 0755 bin bin
1 f none share/doc/darwin/eval/CheckModels.py 0755 bin bin 1309 34607 1660454323
1 f none share/doc/darwin/eval/FLD-problems 0644 bin bin 2529 1728 1660454323
1 f none share/doc/darwin/eval/FindTPTPProblems.py 0755 bin bin 5621 13590 1660454323
1 f none share/doc/darwin/eval/RunCasc.py 0755 bin bin 626 49300 1660454323
1 f none share/doc/darwin/eval/RunProblems.py 0755 bin bin 17069 10000 1660454323
1 f none share/doc/darwin/eval/SOUND-problems 0644 bin bin 915 49498 1660454323
1 f none share/doc/darwin/eval/SYN-problems 0644 bin bin 4443 53554 1660454323
1 f none share/doc/darwin/eval/SchmidtPSAT-problems 0644 bin bin 684 39145 1660454323
1 f none share/doc/darwin/eval/SchmidtQBF-problems 0644 bin bin 828 47412 1660454323
1 f none share/doc/darwin/eval/StatsCasc.py 0755 bin bin 1107 22286 1660454323
1 f none share/doc/darwin/eval/StatsProblems.py 0755 bin bin 2795 8731 1660454323
1 f none share/doc/darwin/eval/StatsRated.py 0755 bin bin 3400 34383 1660454323
1 f none share/doc/darwin/eval/VerifyAsserts.py 0755 bin bin 2006 21004 1660454323
1 f none share/doc/darwin/eval/ZipTPTP.py 0755 bin bin 1164 22058 1660454323
1 f none share/doc/darwin/eval/all-eq-hnr.3.1.1-problems 0644 bin bin 14178 42218 1660454323
1 f none share/doc/darwin/eval/all-eq-hrn.3.1.1-problems 0644 bin bin 14178 42218 1660454323
1 f none share/doc/darwin/eval/all-eq-nhr.3.1.1-problems 0644 bin bin 35193 25301 1660454323
1 f none share/doc/darwin/eval/all-eq-sat.3.1.1-problems 0644 bin bin 5211 20769 1660454323
1 f none share/doc/darwin/eval/all-hrn.3.1.1-problems 0644 bin bin 21111 28441 1660454323
1 f none share/doc/darwin/eval/all-neq-hrn.3.1.1-problems 0644 bin bin 6933 51758 1660454323
1 f none share/doc/darwin/eval/all-neq-nhr.3.1.1-problems 0644 bin bin 16437 54659 1660454323
1 f none share/doc/darwin/eval/all-neq-sat.3.1.1-problems 0644 bin bin 6280 20088 1660454323
1 f none share/doc/darwin/eval/all-nhr.3.1.1-problems 0644 bin bin 51630 14425 1660454323
1 f none share/doc/darwin/eval/all-ope.3.2.0-problems 0644 bin bin 279 14948 1660454323
1 f none share/doc/darwin/eval/all-sat.3.1.1-problems 0644 bin bin 11491 40857 1660454323
1 f none share/doc/darwin/eval/all-sat.3.2.0-problems 0644 bin bin 11788 57099 1660454323
1 f none share/doc/darwin/eval/all-unk.3.2.0-problems 0644 bin bin 9000 33155 1660454323
1 f none share/doc/darwin/eval/all-uns.3.1.1-problems 0644 bin bin 52233 33913 1660454323
1 f none share/doc/darwin/eval/all-uns.3.2.0-problems 0644 bin bin 60529 32426 1660454323
1 f none share/doc/darwin/eval/all.3.1.1-problems 0644 bin bin 72741 42866 1660454323
1 f none share/doc/darwin/eval/all.3.2.0-problems 0644 bin bin 81596 6558 1660454323
1 f none share/doc/darwin/eval/casc18_eps-problems 0644 bin bin 367 20130 1660454323
1 f none share/doc/darwin/eval/casc18_ept-problems 0644 bin bin 327 18460 1660454323
1 f none share/doc/darwin/eval/casc18_heq-problems 0644 bin bin 315 16684 1660454323
1 f none share/doc/darwin/eval/casc18_hne-problems 0644 bin bin 315 17047 1660454323
1 f none share/doc/darwin/eval/casc18_neq-problems 0644 bin bin 315 16912 1660454323
1 f none share/doc/darwin/eval/casc18_nne-problems 0644 bin bin 315 17532 1660454323
1 f none share/doc/darwin/eval/casc18_peq-problems 0644 bin bin 315 17043 1660454323
1 f none share/doc/darwin/eval/casc18_seq-problems 0644 bin bin 315 16904 1660454323
1 f none share/doc/darwin/eval/casc18_sne-problems 0644 bin bin 315 17569 1660454323
1 f none share/doc/darwin/eval/casc18_ueq-problems 0644 bin bin 631 34253 1660454323
1 f none share/doc/darwin/eval/casc19_eps-problems 0644 bin bin 359 19780 1660454323
1 f none share/doc/darwin/eval/casc19_ept-problems 0644 bin bin 323 18308 1660454323
1 f none share/doc/darwin/eval/casc19_heq-problems 0644 bin bin 180 9580 1660454323
1 f none share/doc/darwin/eval/casc19_hne-problems 0644 bin bin 180 9782 1660454323
1 f none share/doc/darwin/eval/casc19_neq-problems 0644 bin bin 540 29492 1660454323
1 f none share/doc/darwin/eval/casc19_nne-problems 0644 bin bin 180 9839 1660454323
1 f none share/doc/darwin/eval/casc19_peq-problems 0644 bin bin 180 9796 1660454323
1 f none share/doc/darwin/eval/casc19_seq-problems 0644 bin bin 315 17006 1660454323
1 f none share/doc/darwin/eval/casc19_sne-problems 0644 bin bin 315 17491 1660454323
1 f none share/doc/darwin/eval/casc19_ueq-problems 0644 bin bin 630 34155 1660454323
1 f none share/doc/darwin/eval/casc20_eps-problems 0644 bin bin 543 30055 1660454323
1 f none share/doc/darwin/eval/casc20_ept-problems 0644 bin bin 548 30812 1660454323
1 f none share/doc/darwin/eval/casc20_hne-problems 0644 bin bin 180 9747 1660454323
1 f none share/doc/darwin/eval/casc20_nne-problems 0644 bin bin 188 10075 1660454323
1 f none share/doc/darwin/eval/casc20_seq-problems 0644 bin bin 540 28915 1660454323
1 f none share/doc/darwin/eval/casc20_sne-problems 0644 bin bin 540 29809 1660454323
1 f none share/doc/darwin/eval/cascj2_eps-problems 0644 bin bin 412 22712 1660454323
1 f none share/doc/darwin/eval/cascj2_ept-problems 0644 bin bin 372 21061 1660454323
1 f none share/doc/darwin/eval/cascj2_heq-problems 0644 bin bin 316 16824 1660454323
1 f none share/doc/darwin/eval/cascj2_hne-problems 0644 bin bin 315 17091 1660454323
1 f none share/doc/darwin/eval/cascj2_neq-problems 0644 bin bin 675 36739 1660454323
1 f none share/doc/darwin/eval/cascj2_nne-problems 0644 bin bin 323 17570 1660454323
1 f none share/doc/darwin/eval/cascj2_peq-problems 0644 bin bin 180 9746 1660454323
1 f none share/doc/darwin/eval/cascj2_seq-problems 0644 bin bin 450 24298 1660454323
1 f none share/doc/darwin/eval/cascj2_sne-problems 0644 bin bin 450 24840 1660454323
1 f none share/doc/darwin/eval/cascj2_ueq-problems 0644 bin bin 901 48642 1660454323
1 f none share/doc/darwin/eval/cnf-3.1.0-problems 0644 bin bin 51813 8603 1660454323
1 f none share/doc/darwin/eval/epr-sheq-3.1.0-problems 0644 bin bin 81 4412 1660454323
1 f none share/doc/darwin/eval/epr-shne-3.1.0-problems 0644 bin bin 36 2033 1660454323
1 f none share/doc/darwin/eval/epr-sneq-3.1.0-problems 0644 bin bin 54 2928 1660454323
1 f none share/doc/darwin/eval/epr-snne-3.1.0-problems 0644 bin bin 1797 33682 1660454323
1 f none share/doc/darwin/eval/epr-theq-3.1.0-problems 0644 bin bin 0 0 1660454323
1 f none share/doc/darwin/eval/epr-thne-3.1.0-problems 0644 bin bin 2043 49499 1660454323
1 f none share/doc/darwin/eval/epr-tneq-3.1.0-problems 0644 bin bin 99 5419 1660454323
1 f none share/doc/darwin/eval/epr-tnne-3.1.0-problems 0644 bin bin 2052 48214 1660454323
1 f none share/doc/darwin/eval/epr.3.1.1-problems 0644 bin bin 6162 15117 1660454323
1 f none share/doc/darwin/eval/epr_heq-problems 0644 bin bin 81 4412 1660454323
1 f none share/doc/darwin/eval/epr_hne-problems 0644 bin bin 2079 51532 1660454323
1 f none share/doc/darwin/eval/epr_neq-problems 0644 bin bin 153 8347 1660454323
1 f none share/doc/darwin/eval/epr_nne-problems 0644 bin bin 3840 15878 1660454323
1 f none share/doc/darwin/eval/eq.3.1.1-problems 0644 bin bin 49371 1984 1660454323
1 f none share/doc/darwin/eval/fof-3.1.0-problems 0644 bin bin 20928 34263 1660454323
1 f none share/doc/darwin/eval/hard-problems 0644 bin bin 1147 60380 1660454323
1 f none share/doc/darwin/eval/heq.2.6-problems 0644 bin bin 12639 25118 1660454323
1 f none share/doc/darwin/eval/heq.2.7-problems 0644 bin bin 12711 29082 1660454323
1 f none share/doc/darwin/eval/heq.3.0.1-problems 0644 bin bin 12702 28597 1660454323
1 f none share/doc/darwin/eval/heq.3.1.0-problems 0644 bin bin 14178 42218 1660454323
1 f none share/doc/darwin/eval/hne.2.5-problems 0644 bin bin 6816 45111 1660454323
1 f none share/doc/darwin/eval/hne.2.6-problems 0644 bin bin 6861 47653 1660454323
1 f none share/doc/darwin/eval/hne.2.7-problems 0644 bin bin 6906 50180 1660454323
1 f none share/doc/darwin/eval/hne.3.0.1-problems 0644 bin bin 6897 49697 1660454323
1 f none share/doc/darwin/eval/hne.3.1.0-problems 0644 bin bin 6933 51758 1660454323
1 f none share/doc/darwin/eval/neq-4.0.0-problems 0644 bin bin 43165 36890 1660454323
1 f none share/doc/darwin/eval/neq.2.6-problems 0644 bin bin 19309 10848 1660454323
1 f none share/doc/darwin/eval/neq.2.7-problems 0644 bin bin 19633 28325 1660454323
1 f none share/doc/darwin/eval/neq.3.0.1-problems 0644 bin bin 19624 27817 1660454323
1 f none share/doc/darwin/eval/neq.3.1.0-problems 0644 bin bin 19624 27817 1660454323
1 f none share/doc/darwin/eval/nne.2.5-problems 0644 bin bin 11060 16859 1660454323
1 f none share/doc/darwin/eval/nne.2.6-problems 0644 bin bin 11060 16859 1660454323
1 f none share/doc/darwin/eval/nne.2.7-problems 0644 bin bin 11060 16889 1660454323
1 f none share/doc/darwin/eval/nne.3.0.1-problems 0644 bin bin 11078 17880 1660454323
1 f none share/doc/darwin/eval/nne.3.1.0-problems 0644 bin bin 11078 17880 1660454323
1 f none share/doc/darwin/eval/nne_sat.3.0.1-problems 0644 bin bin 3820 15482 1660454323
1 f none share/doc/darwin/eval/noeq.3.1.1-problems 0644 bin bin 23370 40882 1660454323
1 f none share/doc/darwin/eval/non-fof.2.6-problems 0644 bin bin 49869 34943 1660454323
1 f none share/doc/darwin/eval/non-fof.2.7-problems 0644 bin bin 50310 58941 1660454323
1 f none share/doc/darwin/eval/sheq.3.1.0-problems 0644 bin bin 1764 29431 1660454323
1 f none share/doc/darwin/eval/shne.3.1.0-problems 0644 bin bin 597 32649 1660454323
1 f none share/doc/darwin/eval/sneq.3.1.0-problems 0644 bin bin 1386 10038 1660454323
1 f none share/doc/darwin/eval/snne.3.1.0-problems 0644 bin bin 3820 15482 1660454323