Index of /temporalDLLite/benchmark/JAR-submission/abstractionABox

	Name	Last modified	Size	Description
	Parent Directory		-
	tdl2ltl-tr.jar	2021-05-06 14:42	565K
	ABSN.sh	2021-05-06 15:13	16K
	N6/	2021-05-07 10:56	-
	N4/	2021-05-07 10:59	-
	N2/	2021-05-07 11:03	-
	Readme.txt	2022-02-28 16:26	1.6K
	N50/	2022-05-06 13:28	-