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