Index of /results/thread-witnesses-replication/st-cross-self/convert.2023-02-03_08-26-07.files/ourtool/gj2007.c.i.p+nlh-reducer.yml/output/invariantWitnesses

	Name	Last modified	Size	Description
	Parent Directory		-
	8a6cf2a0-85fe-4dad-956e-3033962a2ac1.invariantwitness.yaml	2023-02-03 08:30	1.0K
	21e89812-ce7e-44d1-b477-196f57d776d9.invariantwitness.yaml	2023-02-03 08:30	1.0K
	65bb659e-7fe9-4fa6-9980-2e183fdecfdb.invariantwitness.yaml	2023-02-03 08:30	1.2K
	88e0b4a0-76f7-456d-ab1c-3051fd8ad266.invariantwitness.yaml	2023-02-03 08:30	899
	489adc52-0a9b-4286-89af-de8fb6b5d9bd.invariantwitness.yaml	2023-02-03 08:30	899
	843aa66e-5631-408d-9d1d-fb0c88edda8b.invariantwitness.yaml	2023-02-03 08:30	1.0K
	2284bfa9-2175-4e09-8b69-8518febe79f9.invariantwitness.yaml	2023-02-03 08:30	1.0K
	4540bf34-7f24-45d7-97a8-2795a8d855e1.invariantwitness.yaml	2023-02-03 08:30	1.2K
	93757a5d-3527-4282-bafa-31706fa70cb5.invariantwitness.yaml	2023-02-03 08:30	1.0K
	9512121c-13da-4d9b-99ac-00df46fbd493.invariantwitness.yaml	2023-02-03 08:30	1.0K
	50321386-bd8b-44b9-a640-92a622d73d6d.invariantwitness.yaml	2023-02-03 08:30	1.2K
	b0ec9fc7-a3a9-4b51-af6d-d868dff57034.invariantwitness.yaml	2023-02-03 08:30	1.2K
	bef88642-018b-495d-9ea0-299388cb2a7d.invariantwitness.yaml	2023-02-03 08:30	1.0K
	d76e78b4-3c57-47ce-9b5b-0ebc5d6e8ae0.invariantwitness.yaml	2023-02-03 08:30	1.2K
	ddfc1721-6f97-4814-b994-f3f0dd4157ef.invariantwitness.yaml	2023-02-03 08:30	1.0K
	e6fb4745-c093-4844-8b97-891bea21ffbe.invariantwitness.yaml	2023-02-03 08:30	1.2K