This file is indexed.

/usr/share/doc/otter/examples/ is in otter 3.3f-1.1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/doc/otter/examples/Loop/ root:root 0o755
/usr/share/doc/otter/examples/Loop/README text/plain root:root 0o644 606 bytes
/usr/share/doc/otter/examples/Loop/Sheffer-mgi-without-mirrors.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/otter/examples/Loop/head text/plain root:root 0o644 164 bytes
/usr/share/doc/otter/examples/Loop/otter-ploop text/x-perl root:root 0o755 885 bytes
/usr/share/doc/otter/examples/Loop/temp.gz application/gzip root:root 0o644 4.8 KB
/usr/share/doc/otter/examples/Makefile text/x-makefile root:root 0o644 82 bytes
/usr/share/doc/otter/examples/README text/plain root:root 0o644 1.1 KB
/usr/share/doc/otter/examples/Run_all text/x-shellscript root:root 0o755 435 bytes
/usr/share/doc/otter/examples/Run_all.out.gz application/gzip root:root 0o644 855 bytes
/usr/share/doc/otter/examples/Run_group text/x-shellscript root:root 0o755 1.8 KB
/usr/share/doc/otter/examples/auto/ root:root 0o755
/usr/share/doc/otter/examples/auto/README text/plain root:root 0o644 64 bytes
/usr/share/doc/otter/examples/auto/cn19.in text/plain root:root 0o644 432 bytes
/usr/share/doc/otter/examples/auto/cn19.out.gz application/gzip root:root 0o644 2.4 KB
/usr/share/doc/otter/examples/auto/comm.in text/plain root:root 0o644 270 bytes
/usr/share/doc/otter/examples/auto/comm.out.gz application/gzip root:root 0o644 1.8 KB
/usr/share/doc/otter/examples/auto/ec_yq.in text/plain root:root 0o644 243 bytes
/usr/share/doc/otter/examples/auto/ec_yq.out.gz application/gzip root:root 0o644 1.7 KB
/usr/share/doc/otter/examples/auto/group.in text/plain root:root 0o644 165 bytes
/usr/share/doc/otter/examples/auto/group.out.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/otter/examples/auto/index.html text/html root:root 0o644 1.9 KB
/usr/share/doc/otter/examples/auto/lifsch.in text/plain root:root 0o644 393 bytes
/usr/share/doc/otter/examples/auto/lifsch.out.gz application/gzip root:root 0o644 1.6 KB
/usr/share/doc/otter/examples/auto/mv25.in text/plain root:root 0o644 473 bytes
/usr/share/doc/otter/examples/auto/mv25.out.gz application/gzip root:root 0o644 2.1 KB
/usr/share/doc/otter/examples/auto/pigeon.in text/plain root:root 0o644 854 bytes
/usr/share/doc/otter/examples/auto/pigeon.out.gz application/gzip root:root 0o644 3.7 KB
/usr/share/doc/otter/examples/auto/ring_x2.in text/plain root:root 0o644 350 bytes
/usr/share/doc/otter/examples/auto/ring_x2.out.gz application/gzip root:root 0o644 2.9 KB
/usr/share/doc/otter/examples/auto/robbins.in text/plain root:root 0o644 426 bytes
/usr/share/doc/otter/examples/auto/robbins.out.gz application/gzip root:root 0o644 1.6 KB
/usr/share/doc/otter/examples/auto/salt.in text/plain root:root 0o644 1.2 KB
/usr/share/doc/otter/examples/auto/salt.out.gz application/gzip root:root 0o644 3.0 KB
/usr/share/doc/otter/examples/auto/sam.in text/plain root:root 0o644 1023 bytes
/usr/share/doc/otter/examples/auto/sam.out.gz application/gzip root:root 0o644 3.2 KB
/usr/share/doc/otter/examples/auto/steam.in text/plain root:root 0o644 2.2 KB
/usr/share/doc/otter/examples/auto/steam.out.gz application/gzip root:root 0o644 2.4 KB
/usr/share/doc/otter/examples/auto/tba_gg.in text/plain root:root 0o644 207 bytes
/usr/share/doc/otter/examples/auto/tba_gg.out.gz application/gzip root:root 0o644 1.5 KB
/usr/share/doc/otter/examples/auto/w_sk.in text/plain root:root 0o644 276 bytes
/usr/share/doc/otter/examples/auto/w_sk.out.gz application/gzip root:root 0o644 1.7 KB
/usr/share/doc/otter/examples/auto/wang1.in text/plain root:root 0o644 588 bytes
/usr/share/doc/otter/examples/auto/wang1.out.gz application/gzip root:root 0o644 2.3 KB
/usr/share/doc/otter/examples/auto/x2_quant.in text/plain root:root 0o644 301 bytes
/usr/share/doc/otter/examples/auto/x2_quant.out.gz application/gzip root:root 0o644 1.4 KB
/usr/share/doc/otter/examples/auto/z11.in text/plain root:root 0o644 387 bytes
/usr/share/doc/otter/examples/auto/z11.out.gz application/gzip root:root 0o644 2.3 KB
/usr/share/doc/otter/examples/fringe/ root:root 0o755
/usr/share/doc/otter/examples/fringe/README text/plain root:root 0o644 122 bytes
/usr/share/doc/otter/examples/fringe/bring.in text/plain root:root 0o644 3.8 KB
/usr/share/doc/otter/examples/fringe/bring.out.gz application/gzip root:root 0o644 2.0 KB
/usr/share/doc/otter/examples/fringe/ec_yql.in text/plain root:root 0o644 1.7 KB
/usr/share/doc/otter/examples/fringe/ec_yql.in.28897 text/plain root:root 0o644 1.8 KB
/usr/share/doc/otter/examples/fringe/ec_yql.out.gz application/gzip root:root 0o644 3.5 KB
/usr/share/doc/otter/examples/fringe/gl4.in text/plain root:root 0o644 626 bytes
/usr/share/doc/otter/examples/fringe/gl4.in.28897 text/plain root:root 0o644 649 bytes
/usr/share/doc/otter/examples/fringe/gl4.out.gz application/gzip root:root 0o644 1.8 KB
/usr/share/doc/otter/examples/fringe/gl8.in text/plain root:root 0o644 650 bytes
/usr/share/doc/otter/examples/fringe/gl8.out text/plain root:root 0o644 2.7 KB
/usr/share/doc/otter/examples/fringe/if.in text/plain root:root 0o644 3.6 KB
/usr/share/doc/otter/examples/fringe/if.out.gz application/gzip root:root 0o644 1.4 KB
/usr/share/doc/otter/examples/fringe/index.html text/html root:root 0o644 1.7 KB
/usr/share/doc/otter/examples/fringe/lexical1.in text/plain root:root 0o644 1.3 KB
/usr/share/doc/otter/examples/fringe/lexical1.out text/plain root:root 0o644 2.8 KB
/usr/share/doc/otter/examples/fringe/lexical2.in text/plain root:root 0o644 1.3 KB
/usr/share/doc/otter/examples/fringe/lexical2.out text/plain root:root 0o644 2.6 KB
/usr/share/doc/otter/examples/fringe/lexical3.in text/plain root:root 0o644 1.2 KB
/usr/share/doc/otter/examples/fringe/lexical3.out text/plain root:root 0o644 2.4 KB
/usr/share/doc/otter/examples/fringe/luka5h.in.gz application/gzip root:root 0o644 1.6 KB
/usr/share/doc/otter/examples/fringe/luka5h.out.gz application/gzip root:root 0o644 3.3 KB
/usr/share/doc/otter/examples/fringe/mfl_13.in text/plain root:root 0o644 1.5 KB
/usr/share/doc/otter/examples/fringe/mfl_13.out.gz application/gzip root:root 0o644 2.4 KB
/usr/share/doc/otter/examples/fringe/olsax_hints.in.gz application/gzip root:root 0o644 1.1 KB
/usr/share/doc/otter/examples/fringe/olsax_hints.out.gz application/gzip root:root 0o644 4.6 KB
/usr/share/doc/otter/examples/fringe/rob_ocd.in text/plain root:root 0o644 3.2 KB
/usr/share/doc/otter/examples/fringe/rob_ocd.out.gz application/gzip root:root 0o644 6.6 KB
/usr/share/doc/otter/examples/fringe/x3tricks.in.gz application/gzip root:root 0o644 1.9 KB
/usr/share/doc/otter/examples/fringe/x3tricks.out.gz application/gzip root:root 0o644 2.8 KB
/usr/share/doc/otter/examples/index.html text/html root:root 0o644 1.1 KB
/usr/share/doc/otter/examples/ivy/ root:root 0o755
/usr/share/doc/otter/examples/ivy/README text/plain root:root 0o644 55 bytes
/usr/share/doc/otter/examples/ivy/cd-cn19.in text/plain root:root 0o644 376 bytes
/usr/share/doc/otter/examples/ivy/cd-cn19.out.gz application/gzip root:root 0o644 5.1 KB
/usr/share/doc/otter/examples/ivy/comb-sk-w.in text/plain root:root 0o644 339 bytes
/usr/share/doc/otter/examples/ivy/comb-sk-w.out.gz application/gzip root:root 0o644 2.5 KB
/usr/share/doc/otter/examples/ivy/group-comm.in text/plain root:root 0o644 401 bytes
/usr/share/doc/otter/examples/ivy/group-comm.out.gz application/gzip root:root 0o644 4.8 KB
/usr/share/doc/otter/examples/ivy/group-x2-refute.in text/plain root:root 0o644 337 bytes
/usr/share/doc/otter/examples/ivy/group-x2-refute.out.gz application/gzip root:root 0o644 2.0 KB
/usr/share/doc/otter/examples/ivy/group-x2.in text/plain root:root 0o644 337 bytes
/usr/share/doc/otter/examples/ivy/group-x2.out.gz application/gzip root:root 0o644 2.0 KB
/usr/share/doc/otter/examples/ivy/index.html text/html root:root 0o644 1.3 KB
/usr/share/doc/otter/examples/ivy/lifsch.in text/plain root:root 0o644 2.4 KB
/usr/share/doc/otter/examples/ivy/lifsch.out.gz application/gzip root:root 0o644 3.3 KB
/usr/share/doc/otter/examples/ivy/p-and-not-p.in text/plain root:root 0o644 152 bytes
/usr/share/doc/otter/examples/ivy/p-and-not-p.out text/plain root:root 0o644 2.3 KB
/usr/share/doc/otter/examples/ivy/steam.in text/plain root:root 0o644 1.6 KB
/usr/share/doc/otter/examples/ivy/steam.out.gz application/gzip root:root 0o644 4.4 KB
/usr/share/doc/otter/examples/ivy/t1.in text/plain root:root 0o644 1.6 KB
/usr/share/doc/otter/examples/ivy/t1.out.gz application/gzip root:root 0o644 4.4 KB
/usr/share/doc/otter/examples/kalman/ root:root 0o755
/usr/share/doc/otter/examples/kalman/README text/plain root:root 0o644 28 bytes
/usr/share/doc/otter/examples/kalman/ex_1.in text/plain root:root 0o644 715 bytes
/usr/share/doc/otter/examples/kalman/ex_1.out.gz application/gzip root:root 0o644 1.7 KB
/usr/share/doc/otter/examples/kalman/ex_2.in text/plain root:root 0o644 651 bytes
/usr/share/doc/otter/examples/kalman/ex_2.out.gz application/gzip root:root 0o644 1.5 KB
/usr/share/doc/otter/examples/kalman/ex_3.in text/plain root:root 0o644 875 bytes
/usr/share/doc/otter/examples/kalman/ex_3.out.gz application/gzip root:root 0o644 3.2 KB
/usr/share/doc/otter/examples/kalman/ex_4.in text/plain root:root 0o644 659 bytes
/usr/share/doc/otter/examples/kalman/ex_4.out.gz application/gzip root:root 0o644 2.4 KB
/usr/share/doc/otter/examples/kalman/i1.in text/plain root:root 0o644 570 bytes
/usr/share/doc/otter/examples/kalman/i1.out text/plain root:root 0o644 2.7 KB
/usr/share/doc/otter/examples/kalman/i2.in text/plain root:root 0o644 512 bytes
/usr/share/doc/otter/examples/kalman/i2.out text/plain root:root 0o644 2.7 KB
/usr/share/doc/otter/examples/kalman/i3.in.gz application/gzip root:root 0o644 1.5 KB
/usr/share/doc/otter/examples/kalman/i3.out.gz application/gzip root:root 0o644 29.6 KB
/usr/share/doc/otter/examples/kalman/i4.in.gz application/gzip root:root 0o644 1.8 KB
/usr/share/doc/otter/examples/kalman/i4.out.gz application/gzip root:root 0o644 21.4 KB
/usr/share/doc/otter/examples/kalman/index.html text/html root:root 0o644 1.0 KB
/usr/share/doc/otter/examples/misc/ root:root 0o755
/usr/share/doc/otter/examples/misc/README text/plain root:root 0o644 29 bytes
/usr/share/doc/otter/examples/misc/andrews.in text/plain root:root 0o644 817 bytes
/usr/share/doc/otter/examples/misc/andrews.in.28752 text/plain root:root 0o644 861 bytes
/usr/share/doc/otter/examples/misc/andrews.out.gz application/gzip root:root 0o644 4.4 KB
/usr/share/doc/otter/examples/misc/cn.in text/plain root:root 0o644 1002 bytes
/usr/share/doc/otter/examples/misc/cn.in.28752 text/plain root:root 0o644 1.0 KB
/usr/share/doc/otter/examples/misc/cn.out.gz application/gzip root:root 0o644 2.4 KB
/usr/share/doc/otter/examples/misc/dem_alu.in text/plain root:root 0o644 1.7 KB
/usr/share/doc/otter/examples/misc/dem_alu.in.28752 text/plain root:root 0o644 1.8 KB
/usr/share/doc/otter/examples/misc/dem_alu.out text/plain root:root 0o644 3.9 KB
/usr/share/doc/otter/examples/misc/ec.in text/plain root:root 0o644 1.7 KB
/usr/share/doc/otter/examples/misc/ec.out.gz application/gzip root:root 0o644 1.7 KB
/usr/share/doc/otter/examples/misc/index.html text/html root:root 0o644 1.3 KB
/usr/share/doc/otter/examples/misc/kb_bench.in text/plain root:root 0o644 796 bytes
/usr/share/doc/otter/examples/misc/kb_bench.out.gz application/gzip root:root 0o644 3.8 KB
/usr/share/doc/otter/examples/misc/mv.in text/plain root:root 0o644 770 bytes
/usr/share/doc/otter/examples/misc/mv.in.28752 text/plain root:root 0o644 814 bytes
/usr/share/doc/otter/examples/misc/mv.out.gz application/gzip root:root 0o644 2.5 KB
/usr/share/doc/otter/examples/misc/sax1.in text/plain root:root 0o644 474 bytes
/usr/share/doc/otter/examples/misc/sax1.out.gz application/gzip root:root 0o644 3.5 KB
/usr/share/doc/otter/examples/misc/sax2.in text/plain root:root 0o644 522 bytes
/usr/share/doc/otter/examples/misc/sax2.out.gz application/gzip root:root 0o644 2.1 KB
/usr/share/doc/otter/examples/misc/stage1.in text/plain root:root 0o644 1.4 KB
/usr/share/doc/otter/examples/misc/stage1.out.gz application/gzip root:root 0o644 3.4 KB
/usr/share/doc/otter/examples/misc/stage2.in text/plain root:root 0o644 2.8 KB
/usr/share/doc/otter/examples/misc/stage2.out.gz application/gzip root:root 0o644 2.0 KB
/usr/share/doc/otter/examples/misc/str_bws.in text/plain root:root 0o644 758 bytes
/usr/share/doc/otter/examples/misc/str_bws.in.28752 text/plain root:root 0o644 802 bytes
/usr/share/doc/otter/examples/misc/str_bws.out.gz application/gzip root:root 0o644 2.8 KB
/usr/share/doc/otter/examples/program/ root:root 0o755
/usr/share/doc/otter/examples/program/README text/plain root:root 0o644 31 bytes
/usr/share/doc/otter/examples/program/eval.in text/plain root:root 0o644 2.4 KB
/usr/share/doc/otter/examples/program/eval.out text/plain root:root 0o644 3.3 KB
/usr/share/doc/otter/examples/program/index.html text/html root:root 0o644 850 bytes
/usr/share/doc/otter/examples/program/jugs.in text/plain root:root 0o644 1.1 KB
/usr/share/doc/otter/examples/program/jugs.out text/plain root:root 0o644 3.6 KB
/usr/share/doc/otter/examples/program/mission.in text/plain root:root 0o644 1.9 KB
/usr/share/doc/otter/examples/program/mission.out.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/otter/examples/program/queens.in text/plain root:root 0o644 1.6 KB
/usr/share/doc/otter/examples/program/queens.out.gz application/gzip root:root 0o644 27.1 KB
/usr/share/doc/otter/examples/program/two_inv.in text/plain root:root 0o644 3.1 KB
/usr/share/doc/otter/examples/program/two_inv.out text/plain root:root 0o644 4.0 KB
/usr/share/doc/otter/examples/split/ root:root 0o755
/usr/share/doc/otter/examples/split/GEO010-2.in.gz application/gzip root:root 0o644 1.4 KB
/usr/share/doc/otter/examples/split/GEO010-2.out.gz application/gzip root:root 0o644 4.0 KB
/usr/share/doc/otter/examples/split/GEO036-2.in text/plain root:root 0o644 3.6 KB
/usr/share/doc/otter/examples/split/GEO036-2.out.gz application/gzip root:root 0o644 2.7 KB
/usr/share/doc/otter/examples/split/GRP025-1.in.gz application/gzip root:root 0o644 1.4 KB
/usr/share/doc/otter/examples/split/GRP025-1.out.gz application/gzip root:root 0o644 3.4 KB
/usr/share/doc/otter/examples/split/README text/plain root:root 0o644 70 bytes
/usr/share/doc/otter/examples/split/README.more text/plain root:root 0o644 907 bytes
/usr/share/doc/otter/examples/split/group2.in text/plain root:root 0o644 631 bytes
/usr/share/doc/otter/examples/split/group2.out.gz application/gzip root:root 0o644 2.1 KB
/usr/share/doc/otter/examples/split/index.html text/html root:root 0o644 1.5 KB
/usr/share/doc/otter/examples/split/noncomm-group.in.gz application/gzip root:root 0o644 2.1 KB
/usr/share/doc/otter/examples/split/noncomm-group.out.gz application/gzip root:root 0o644 11.0 KB
/usr/share/doc/otter/examples/split/pair.in text/plain root:root 0o644 550 bytes
/usr/share/doc/otter/examples/split/pair.out.gz application/gzip root:root 0o644 3.0 KB
/usr/share/doc/otter/examples/split/pigeon5.in text/plain root:root 0o644 963 bytes
/usr/share/doc/otter/examples/split/pigeon5.out.gz application/gzip root:root 0o644 5.5 KB
/usr/share/doc/otter/examples/split/power.in text/plain root:root 0o644 1.0 KB
/usr/share/doc/otter/examples/split/power.out.gz application/gzip root:root 0o644 1.6 KB
/usr/share/doc/otter/examples/split/temp1 text/x-shellscript root:root 0o755 538 bytes
/usr/share/doc/otter/examples/split/wang3.in text/plain root:root 0o644 827 bytes
/usr/share/doc/otter/examples/split/wang3.out.gz application/gzip root:root 0o644 8.4 KB
/usr/share/doc/otter/examples/split/zebra2.in text/plain root:root 0o644 2.7 KB
/usr/share/doc/otter/examples/split/zebra2.out.gz application/gzip root:root 0o644 6.2 KB
/usr/share/doc/otter/examples/split/zebra4.in text/plain root:root 0o644 1.8 KB
/usr/share/doc/otter/examples/split/zebra4.out.gz application/gzip root:root 0o644 9.3 KB
/usr/share/doc/otter/examples/summary text/x-shellscript root:root 0o755 414 bytes
/usr/share/doc/otter/examples/wos/ root:root 0o755
/usr/share/doc/otter/examples/wos/README text/plain root:root 0o644 94 bytes
/usr/share/doc/otter/examples/wos/README.more text/plain root:root 0o644 2.2 KB
/usr/share/doc/otter/examples/wos/cursory.in.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/otter/examples/wos/cursory.out.gz application/gzip root:root 0o644 3.9 KB
/usr/share/doc/otter/examples/wos/grp_exp3.in text/plain root:root 0o644 2.0 KB
/usr/share/doc/otter/examples/wos/grp_exp3.out.gz application/gzip root:root 0o644 1.9 KB
/usr/share/doc/otter/examples/wos/grp_exp4.in.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/otter/examples/wos/grp_exp4.out.gz application/gzip root:root 0o644 6.0 KB
/usr/share/doc/otter/examples/wos/index.html text/html root:root 0o644 1.1 KB
/usr/share/doc/otter/examples/wos/manyval.in text/plain root:root 0o644 1.8 KB
/usr/share/doc/otter/examples/wos/manyval.out.gz application/gzip root:root 0o644 35.4 KB
/usr/share/doc/otter/examples/wos/rigorous.in.gz application/gzip root:root 0o644 1.6 KB
/usr/share/doc/otter/examples/wos/rigorous.out.gz application/gzip root:root 0o644 4.4 KB
/usr/share/doc/otter/examples/wos/rob_occ.in text/plain root:root 0o644 2.8 KB
/usr/share/doc/otter/examples/wos/rob_occ.out.gz application/gzip root:root 0o644 2.7 KB
/usr/share/doc/otter/examples/wos/twoval.in.gz application/gzip root:root 0o644 2.0 KB
/usr/share/doc/otter/examples/wos/twoval.out.gz application/gzip root:root 0o644 18.0 KB