<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.traceabstraction"/>
	<plugin id="de.uni_freiburg.informatik.ultimate.witnessprinter"/>
</toolchain></rundefinition>
