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