/usr/share/prover9-mace4/Samples/Non-Equality/

This file is indexed.

/usr/share/prover9-mace4/Samples/Non-Equality/ is in prover9-mace4 0.5.dfsg-3.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/`		root:root	0o755
`/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/EC-counterexample.in`	text/plain	root:root	0o644	418 bytes
`/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Kauer.in`	text/plain	root:root	0o644	1.3 KB
`/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Steam-bug.in`	text/plain	root:root	0o644	2.5 KB
`/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Toughnut.in`	text/plain	root:root	0o644	3.5 KB
`/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/`		root:root	0o755
`/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in`	text/plain	root:root	0o644	411 bytes
`/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/HWV006-1.in`	text/plain	root:root	0o644	2.7 KB
`/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Lifschitz.in`	text/plain	root:root	0o644	251 bytes
`/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Steam.in`	text/plain	root:root	0o644	2.1 KB
`/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Subset_transitive.in`	text/plain	root:root	0o644	362 bytes
`/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp`	text/plain	root:root	0o644	21 bytes
`/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp0`	text/plain	root:root	0o644	15.8 KB
`/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp1`	text/plain	root:root	0o644	20.4 KB