<rundefinition>
	<name>Ultimate Toolchain</name>
	<toolchain>
		
	<plugin id="de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator" />
	<plugin id="de.uni_freiburg.informatik.ultimate.boogie.preprocessor" />
	<plugin id="de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder" />
	<plugin id="de.uni_freiburg.informatik.ultimate.ltl2aut" />
	<plugin id="de.uni_freiburg.informatik.ultimate.buchiprogramproduct" /> 
	<plugin id="de.uni_freiburg.informatik.ultimate.plugins.blockencoding" />
	<plugin id="de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer" /> 

	</toolchain>
</rundefinition>