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

	Name	Last modified	Size	Description
	Parent Directory		-
	5d23e1f9-da47-4169-83a5-40e6a6269ae3.invariantwitness.yaml	2023-02-03 08:27	892
	7a30d0d2-4da2-430b-a9c9-7ee515a54f6c.invariantwitness.yaml	2023-02-03 08:27	884
	21fd82a7-dbbd-4fe8-b6f0-c9834a0931bc.invariantwitness.yaml	2023-02-03 08:27	1.0K
	66ed815f-3185-42f0-a37e-d179ffa23302.invariantwitness.yaml	2023-02-03 08:27	817
	545274b4-4ec9-4542-9559-02bd52227ea9.invariantwitness.yaml	2023-02-03 08:27	892
	54935917-e9fa-4e49-a74c-88eac2d1fcbc.invariantwitness.yaml	2023-02-03 08:27	897
	d1fc6c49-1280-4bfc-a0a6-d688b5c30ac2.invariantwitness.yaml	2023-02-03 08:27	892
	d417f35d-15ee-4884-b212-42734413ca45.invariantwitness.yaml	2023-02-03 08:27	1.0K
	dd188239-d73b-47b0-835f-8ef803e18235.invariantwitness.yaml	2023-02-03 08:27	1.0K
	f87e526c-7a0e-4188-a512-d4a4afdface0.invariantwitness.yaml	2023-02-03 08:27	898
	fc7529a0-f081-464d-bea7-e1d3b628d7e2.invariantwitness.yaml	2023-02-03 08:27	897