Index of /~xjonas/smtcomp/results_inc/FPArith/cvc5/cvc5_inc_FPArith.2025-06-23_15-01-52.logfiles

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc5,3,Incremental.B..>	2025-06-29 19:54	86
	cvc5,3,Incremental.B..>	2025-06-29 19:54	86
	cvc5,3,Incremental.B..>	2025-06-29 19:54	86
	cvc5,3,Incremental.B..>	2025-06-29 19:54	86
	cvc5,3,Incremental.B..>	2025-06-29 19:54	86
	cvc5,3,Incremental.B..>	2025-06-29 19:54	86
	cvc5,3,Incremental.B..>	2025-06-29 19:54	86