Index of /~ernstg/chc-comp2025/ChocoCatalia/test/results

	Name	Last modified	Size	Description
	Parent Directory		-
	chococatalia.2025-04-28_21-10-55.files/	2025-04-28 21:13	-
	chococatalia.2025-05-03_07-34-57.files/	2025-05-03 13:39	-
	chococatalia.2025-05-03_07-34-57.results.CHC-COMP2024_check-sat.ADT-LIA.xml.bz2	2025-05-03 13:43	20K
	chococatalia.2025-04-28_21-10-55.results.CHC-COMP2024_check-sat.ADT-LIA.xml.bz2	2025-04-28 21:13	21K
	chococatalia.2025-05-03_07-34-57.results.CHC-COMP2024_check-sat.ADT-LIA.csv	2025-05-03 13:43	26K
	chococatalia.2025-04-28_21-10-55.results.CHC-COMP2024_check-sat.ADT-LIA.csv	2025-04-28 22:30	26K
	chococatalia.2025-05-03_07-34-57.results.CHC-COMP2024_check-sat.ADT-LIA.txt	2025-05-03 13:43	28K
	chococatalia.2025-04-28_21-10-55.results.CHC-COMP2024_check-sat.ADT-LIA.txt	2025-04-28 21:13	28K
	chococatalia.2025-05-03_07-34-57.logfiles.zip	2025-05-03 13:43	98K
	chococatalia.2025-04-28_21-10-55.logfiles.zip	2025-04-28 21:13	98K
	chococatalia.2025-05-03_07-34-57.results.CHC-COMP2024_check-sat.ADT-LIA.html	2025-05-03 13:43	1.2M
	chococatalia.2025-04-28_21-10-55.results.CHC-COMP2024_check-sat.ADT-LIA.html	2025-04-28 22:30	1.2M