Index of /victor.khomenko/home.formal/tools/fcp2pn/benchmarks/CLIENT-SERVER-SESSION

	Name	Last modified	Size	Description
	Parent Directory		-
	clientServer1s1c.lola	2012-04-10 16:58	8.5K
	clientServer1s1c.pi	2012-03-30 20:57	328
	clientServer1s2c.lola	2012-04-10 16:58	22K
	clientServer1s2c.pi	2012-03-30 20:57	343
	clientServer2s1c.lola	2012-04-10 16:58	14K
	clientServer2s1c.pi	2012-03-30 20:57	347
	clientServer2s2c.lola	2012-04-10 16:58	32K
	clientServer2s2c.pi	2012-03-30 20:57	362
	clientServer3s2c.lola	2012-04-10 16:58	44K
	clientServer3s2c.pi	2012-03-30 20:57	381
	clientServer3s3c.lola	2012-04-10 16:58	78K
	clientServer3s3c.pi	2012-03-30 20:57	396
	clientServer4s4c.lola	2012-04-10 16:59	154K
	clientServer4s4c.pi	2012-03-30 20:57	430
	clientServer5s5c.lola	2012-04-10 16:59	267K
	clientServer5s5c.pi	2012-03-30 20:57	464