<rundefinition>
	<name>Ultimate Toolchain</name>
	<toolchain>

	<plugin id="de.uni_freiburg.informatik.ultimate.pea2boogie"/>
    <plugin id="de.uni_freiburg.informatik.ultimate.boogie.printer"/>
	<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"/>


	</toolchain>
</rundefinition>