A test case description can be found at
http://rz-ifh-pluto.rz.uni-karlsruhe.de/testcase/t4project.html