Index of /~alanmi/benchmarks/aig

	Name	Last modified	Size	Description
	Parent Directory		-
	aig_rwr_bench.zip	2006-06-10 19:43	1.6M
	aig_rwr_bench_blif.zip	2006-07-06 01:28	1.1M
	test.aig	2009-03-05 23:22	8.7M