Index of /~renault/benchs/TACAS-2013/data

	Name	Last modified	Size	Description
	Parent Directory		-
	20121014.csv.gz	2021-09-20 11:45	176K
	20130108.csv.tar.gz	2021-09-20 11:45	179K
	benchmark-08-01-13.tar.gz	2021-09-20 11:45	122K
	benchmark-09-10-12.tar.gz	2021-09-20 11:45	121K
	rand-formula.txt	2021-09-20 11:45	222K
	replay/	2021-09-20 11:45	-
	tableaux_detailles.pdf	2021-09-20 11:45	118K