Index of /~wimmers/html-data/TACAS18/benchmarks

	Name	Last modified	Size	Description
	Parent Directory		-
	README.md	2018-05-25 16:17	363
	csma_05.q	2018-05-25 16:17	52
	csma_05.ta	2018-05-25 16:17	4.7K
	csma_06.q	2018-05-25 16:17	52
	csma_06.ta	2018-05-25 16:17	5.5K
	csma_leadsto_06.q	2018-05-25 16:17	145
	csma_leadsto_06.ta	2018-05-25 16:17	5.5K
	csma_leadsto_07.q	2018-05-25 16:17	166
	csma_leadsto_07.ta	2018-05-25 16:17	6.3K
	fischer_05.q	2018-05-25 16:17	150
	fischer_05.ta	2018-05-25 16:17	2.5K
	fischer_leadsto_05.q	2018-05-25 16:17	14
	fischer_leadsto_05.ta	2018-05-25 16:17	2.5K
	fischer_leadsto_06.q	2018-05-25 16:17	14
	fischer_leadsto_06.ta	2018-05-25 16:17	2.9K
	hddi_08.q	2018-05-25 16:17	194
	hddi_08.ta	2018-05-25 16:17	7.4K
	hddi_10.q	2018-05-25 16:17	194
	hddi_10.ta	2018-05-25 16:17	9.2K
	hddi_leadsto_06.q	2018-05-25 16:17	74
	hddi_leadsto_06.ta	2018-05-25 16:17	5.7K
	hddi_leadsto_07.q	2018-05-25 16:17	74
	hddi_leadsto_07.ta	2018-05-25 16:17	6.5K