Index of /results/thread-witnesses-replication/st-cross-self/convert.2023-02-03_08-26-07.files/ourtool/veris.c_OpenSER_cases1_stripFullBoth_arr.yml/output/invariantWitnesses

	Name	Last modified	Size	Description
	Parent Directory		-
	08d20ab4-e4fe-49ca-b290-33d32ead2a45.invariantwitness.yaml	2023-02-03 08:36	1.4K
	092a5f30-785a-40f4-894a-950866f13844.invariantwitness.yaml	2023-02-03 08:36	2.2K
	0992c7de-ca62-4c21-8602-d1e01d7b2951.invariantwitness.yaml	2023-02-03 08:36	1.6K
	2fbb362b-3d88-4ad2-b0be-e538dd3c30e8.invariantwitness.yaml	2023-02-03 08:36	2.4K
	3ac39c6b-aa59-4f15-b13e-1b8b87ec6712.invariantwitness.yaml	2023-02-03 08:36	1.6K
	7d8caf6a-29b6-4385-89b8-b164ea84ab72.invariantwitness.yaml	2023-02-03 08:36	1.6K
	9c4e1ace-9baf-4157-a385-fad070a36aff.invariantwitness.yaml	2023-02-03 08:36	2.2K
	21b67eb3-c567-4ce6-8686-228ccf1bc6be.invariantwitness.yaml	2023-02-03 08:36	1.2K
	39c19921-2376-4fe8-85a0-103decf48259.invariantwitness.yaml	2023-02-03 08:36	2.0K
	42ac70ea-20c1-4d09-beca-919efc079d04.invariantwitness.yaml	2023-02-03 08:36	1.6K
	91d15831-3c64-46e8-89e5-ede9ec937885.invariantwitness.yaml	2023-02-03 08:36	2.0K
	99ac2101-6816-4b86-a643-f9891bc7e81e.invariantwitness.yaml	2023-02-03 08:36	1.6K
	120a703c-2fad-4a80-b808-5a3e2e9c291d.invariantwitness.yaml	2023-02-03 08:36	2.2K
	999fac4b-c995-4763-a5e0-38572c4d2f4a.invariantwitness.yaml	2023-02-03 08:36	1.2K
	4977ede0-488d-4e8c-ad1b-eb0950e6148c.invariantwitness.yaml	2023-02-03 08:36	847
	25800d7f-13b7-4964-b2b3-ad0d4930a751.invariantwitness.yaml	2023-02-03 08:36	1.4K
	253775cc-14dc-461c-9826-1d149e7edb12.invariantwitness.yaml	2023-02-03 08:36	1.6K
	3998776e-34e3-4cf4-bc89-e9459e0e8687.invariantwitness.yaml	2023-02-03 08:36	2.0K
	a793757b-a6c1-4623-b71b-768f1de1bdac.invariantwitness.yaml	2023-02-03 08:36	2.3K
	ab76daa1-af41-450f-8dd4-875c468348ac.invariantwitness.yaml	2023-02-03 08:36	1.6K
	b5b3986f-8fb2-44e2-9e82-fa0b6b011793.invariantwitness.yaml	2023-02-03 08:36	847
	b6546520-97aa-4043-9246-6ac0aba3484a.invariantwitness.yaml	2023-02-03 08:36	2.0K
	be31bc74-859e-4d46-a802-27ef31d2cb5d.invariantwitness.yaml	2023-02-03 08:36	2.0K
	c57e24bb-6216-4797-91fb-7cb7bc780d91.invariantwitness.yaml	2023-02-03 08:36	847
	cea9d36b-3430-4fe6-8ae0-c569da81d96b.invariantwitness.yaml	2023-02-03 08:36	2.0K
	e096adb1-7356-4459-837d-9983028e52d0.invariantwitness.yaml	2023-02-03 08:36	2.3K