Index of /results/oopsla-4-race-challenges-deagle-no-fingerprinting

	Name	Last modified	Size	Description
	Parent Directory		-
	deagle24-no-partial.2024-03-01_12-23-30.logfiles.zip	2024-03-01 14:02	371K
	deagle24-no-partial.2024-03-01_12-23-30.logfiles/	2024-03-04 13:53	-
	deagle24-no-partial.2024-03-01_12-23-30.results.svcomp24.Race-Challenges.txt	2024-03-01 14:02	8.3K
	deagle24-no-partial.2024-03-01_12-23-30.results.svcomp24.Race-Challenges.xml.bz2	2024-03-01 14:02	6.6K
	deagle24-no-partial.2024-03-08_16-06-16.results.svcomp24.Race-Challenges.txt	2024-03-08 16:06	1.2K
	deagle24-no-unsupported.2024-03-01_10-45-01.logfiles.zip	2024-03-01 12:23	371K
	deagle24-no-unsupported.2024-03-01_10-45-01.logfiles/	2024-03-04 13:53	-
	deagle24-no-unsupported.2024-03-01_10-45-01.results.svcomp24.Race-Challenges.txt	2024-03-01 12:23	8.3K
	deagle24-no-unsupported.2024-03-01_10-45-01.results.svcomp24.Race-Challenges.xml.bz2	2024-03-01 12:23	6.7K
	deagle24-no-unwind.2024-03-01_14-04-13.logfiles.zip	2024-03-01 14:35	233K
	deagle24-no-unwind.2024-03-01_14-04-13.logfiles/	2024-03-04 13:54	-
	deagle24-no-unwind.2024-03-01_14-04-13.results.svcomp24.Race-Challenges.txt	2024-03-01 14:35	8.3K
	deagle24-no-unwind.2024-03-01_14-04-13.results.svcomp24.Race-Challenges.xml.bz2	2024-03-01 14:35	6.4K
	deagle24.2024-03-01_09-06-25.logfiles.zip	2024-03-01 10:45	373K
	deagle24.2024-03-01_09-06-25.logfiles/	2024-03-04 13:53	-
	deagle24.2024-03-01_09-06-25.results.svcomp24.Race-Challenges.txt	2024-03-01 10:45	8.2K
	deagle24.2024-03-01_09-06-25.results.svcomp24.Race-Challenges.xml.bz2	2024-03-01 10:45	6.6K
	deagle24.2024-03-08_16-06-15.results.svcomp24.Race-Challenges.txt	2024-03-08 16:06	4.4K
	deagle24.2024-03-08_16-06-15.results.svcomp24.Race-Challenges.xml.bz2	2024-03-08 16:06	3.0K
	table-generator.diff.csv	2024-03-04 13:51	10K
	table-generator.diff.html	2024-03-04 13:51	1.2M
	table-generator.table.csv	2024-03-08 16:06	16K
	table-generator.table.html	2024-03-08 16:06	1.2M
	table-generator.xml	2024-03-08 16:06	824