<rundefinition>
	<name>Ultimate Toolchain</name>
	<toolchain>
		
	<plugin id="de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator"/>
	<plugin id="de.uni_freiburg.informatik.ultimate.boogie.procedureinliner"/>
	<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.plugins.generator.codecheck"/>
	<plugin id="de.uni_freiburg.informatik.ultimate.witnessprinter"/>
	
	</toolchain>
</rundefinition>
