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

	Name	Last modified	Size	Description
	Parent Directory		-
	loat.2025-04-28_21-11-44.files/	2025-04-28 21:16	-
	loat.2025-05-05_20-41-34.files/	2025-05-06 02:23	-
	loat.2025-05-05_20-41-34.logfiles/	2025-05-06 02:23	-
	loat.2025-04-28_21-11-44.results.CHC-COMP2024_check-sat.LIA-Lin.xml.bz2	2025-04-28 21:16	20K
	loat.2025-04-28_21-11-44.results.CHC-COMP2024_check-sat.LIA-Lin.csv	2025-04-28 23:12	26K
	loat.2025-04-28_21-11-44.results.CHC-COMP2024_check-sat.LIA-Lin.txt	2025-04-28 21:16	28K
	loat.2025-05-05_20-41-34.results.CHC-COMP2025_check-sat.LIA-Lin.xml.bz2	2025-05-12 10:39	116K
	loat.2025-04-28_21-11-44.logfiles.zip	2025-04-28 21:16	127K
	loat.2025-05-05_20-41-34.results.CHC-COMP2025_check-sat.LIA-Lin.csv	2025-05-07 05:08	153K
	loat.2025-05-05_20-41-34.results.CHC-COMP2025_check-sat.LIA-Lin.txt	2025-05-06 02:23	230K
	loat.2025-05-05_20-41-34.logfiles.zip	2025-05-06 02:23	598K
	loat.2025-04-28_21-11-44.results.CHC-COMP2024_check-sat.LIA-Lin.html	2025-04-28 23:12	1.2M
	loat.2025-05-05_20-41-34.results.CHC-COMP2025_check-sat.LIA-Lin.html	2025-05-12 10:58	1.8M