<?xml version="1.0" encoding="UTF-8"?>
<feature
      id="BA_FeatureUltimateCommon"
      label="BA_FeatureUltimateCommon"
      version="0.3.0"
      provider-name="Ultimate Program Analysis Team"
      os="linux,win32,macosx"
      arch="x86_64">

   <requires>
      <import feature="BA_FeatureDependenciesCommon"/>
   </requires>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.generator.icfgbuilder"
         download-size="58"
         install-size="163"
         version="0.3.0"
         unpack="false"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.boogie.printer"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.ltl2aut"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.buchiprogramproduct"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.witnessparser"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.witnessprinter"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.boogie.procedureinliner"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.acsl.parser"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.astbuilder"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.boogie.parser"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.boogie.preprocessor"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.cdt.parser"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.automata"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.icfgtransformer"
         version="0.3.0"/>

   <plugin
         id="com.github.jhoenicke.javacup"
         version="1.2.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.boogieast"
         version="0.3.0"/>

   <plugin
         id="net.sourceforge.czt"
         version="1.5.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.lassoranker"
         version="0.9.5"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.pea"
         version="0.89.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.smtlib"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.srparse"
         version="1.0.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.core"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.ultimatemodel"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.util"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.pea2boogie"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.smtinterpol"
         version="2.0.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.smtsolver.external"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.core"
         version="0.3.0"/>

   <plugin
         id="edu.uci.ics.jung"
         download-size="4561"
         install-size="8900"
         version="2.0.1"
         unpack="false"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.blockencoding"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.source.smtparser"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.chctoboogie"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.req.printer"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.reqparser"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.pdr"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.reqtotest"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.icfgtochc"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.chcprinter"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.chc"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.generator.referee"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.mso"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.sifa"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.sifa"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.pathexpressions"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.mcr"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.acceleratedinterpolation"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.smtlibutils"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.lib.preferencejson"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator"
         version="0.3.0"/>

   <plugin
         id="de.uni_freiburg.informatik.ultimate.plugins.chcsolver"
         version="0.3.0"/>

</feature>
