Index of /results/oopsla-3-race-challenges-deagle-pre

	Name	Last modified	Size	Description
	Parent Directory		-
	deagle23.2024-02-29_08-17-35.logfiles.zip	2024-02-29 09:43	315K
	deagle23.2024-02-29_08-17-35.logfiles/	2024-02-29 20:10	-
	deagle23.2024-02-29_08-17-35.results.svcomp23.Race-Challenges.txt	2024-02-29 09:43	8.3K
	deagle23.2024-02-29_08-17-35.results.svcomp23.Race-Challenges.xml.bz2	2024-02-29 09:43	6.8K
	deagle24-pre-1.2024-02-29_09-56-47.logfiles.zip	2024-02-29 17:27	1.3M
	deagle24-pre-1.2024-02-29_09-56-47.logfiles/	2024-02-29 20:10	-
	deagle24-pre-1.2024-02-29_09-56-47.results.svcomp24.Race-Challenges.txt	2024-02-29 17:27	8.2K
	deagle24-pre-1.2024-02-29_09-56-47.results.svcomp24.Race-Challenges.xml.bz2	2024-02-29 17:27	6.4K
	deagle24-pre-2.2024-02-29_17-27-18.logfiles.zip	2024-02-29 17:59	235K
	deagle24-pre-2.2024-02-29_17-27-18.logfiles/	2024-02-29 20:10	-
	deagle24-pre-2.2024-02-29_17-27-18.results.svcomp24.Race-Challenges.txt	2024-02-29 17:59	8.2K
	deagle24-pre-2.2024-02-29_17-27-18.results.svcomp24.Race-Challenges.xml.bz2	2024-02-29 17:59	6.4K
	deagle24-pre-3.2024-02-29_17-59-43.logfiles.zip	2024-02-29 18:32	235K
	deagle24-pre-3.2024-02-29_17-59-43.logfiles/	2024-02-29 20:10	-
	deagle24-pre-3.2024-02-29_17-59-43.results.svcomp24.Race-Challenges.txt	2024-02-29 18:32	8.2K
	deagle24-pre-3.2024-02-29_17-59-43.results.svcomp24.Race-Challenges.xml.bz2	2024-02-29 18:32	6.4K
	deagle24.2024-02-29_18-32-08.logfiles.zip	2024-02-29 20:10	373K
	deagle24.2024-02-29_18-32-08.logfiles/	2024-02-29 20:10	-
	deagle24.2024-02-29_18-32-08.results.svcomp24.Race-Challenges.txt	2024-02-29 20:10	8.2K
	deagle24.2024-02-29_18-32-08.results.svcomp24.Race-Challenges.xml.bz2	2024-02-29 20:10	6.6K
	table-generator.diff.csv	2024-03-01 08:11	19K
	table-generator.diff.html	2024-03-01 08:11	1.2M
	table-generator.table.csv	2024-03-01 08:11	20K
	table-generator.table.html	2024-03-01 08:11	1.2M
	table-generator.xml	2024-03-01 08:11	563