This is Estbench, a collection of Esterel benchmark programs.

Program	Lines	Description

abcd	101	A simple combination lock, due to Berry
atds100	948	Unknown
mca200	7269	Shock absorber controller from the Polis distribution
mejia	555	Cyclic: non-commutative data actions prevents compilation
runner	55	Berry's runner example
tcint	687	Turbochannel bus controller
ww	1088	The Wristwatch from the Esterel distribution
