<commit_before><?xml version="1.0"?>
<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.18//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.18.dtd">
<benchmark tool="tools.two_ls" 
  displayName="2LS" timelimit="15min">

<rundefinition>
  <tasks name="Termination">
    <includesfile>../tasks/termination.set</includesfile>
    <propertyfile>../tasks/properties/termination.prp</propertyfile>
    <option name="--64"/>
    <option name="--termination"/>
  </tasks>
  <tasks name="polybench">
    <includesfile>../tasks/polybench.set</includesfile>
    <propertyfile>../tasks/properties/termination.prp</propertyfile>
    <option name="--64"/>
    <option name="--termination"/>
  </tasks>
  <tasks name="bitprecise">
    <includesfile>../tasks/bitprecise.set</includesfile>
    <propertyfile>../tasks/properties/termination.prp</propertyfile>
    <option name="--64"/>
    <option name="--termination"/>
  </tasks>
  <tasks name="recursive">
    <includesfile>../tasks/recursive.set</includesfile>
    <propertyfile>../tasks/properties/termination.prp</propertyfile>
  </tasks>
  <tasks name="termination_linear">
    <includesfile>../tasks/termination_linear.set</includesfile>
    <propertyfile>../tasks/properties/termination.prp</propertyfile>
  </tasks>
</rundefinition>

</benchmark>
<commit_msg>fix 2ls defs<commit_after><?xml version="1.0"?>
<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.18//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.18.dtd">
<benchmark tool="tools.two_ls" 
  displayName="2LS" timelimit="15min">

<rundefinition>
  <tasks name="Termination">
    <includesfile>../tasks/termination.set</includesfile>
    <propertyfile>../tasks/properties/termination.prp</propertyfile>
    <option name="--64"/>
    <option name="--termination"/>
  </tasks>
  <tasks name="polybench">
    <includesfile>../tasks/polybench.set</includesfile>
    <propertyfile>../tasks/properties/termination.prp</propertyfile>
    <option name="--64"/>
    <option name="--termination"/>
  </tasks>
  <tasks name="bitprecise">
    <includesfile>../tasks/bitprecise.set</includesfile>
    <propertyfile>../tasks/properties/termination.prp</propertyfile>
    <option name="--64"/>
    <option name="--termination"/>
  </tasks>
  <tasks name="recursive">
    <includesfile>../tasks/recursive.set</includesfile>
    <propertyfile>../tasks/properties/termination.prp</propertyfile>
  </tasks>
  <tasks name="termination_linear">
    <includesfile>../tasks/termination_linear.set</includesfile>
    <propertyfile>../tasks/properties/termination.prp</propertyfile>
    <option name="--64"/>
    <option name="--termination"/>
  </tasks>
</rundefinition>

</benchmark>

{'fraction_non_alphanumeric': 0.19117647058823528, 'fraction_numerical': 0.013602941176470588, 'mean_word_length': 4.124293785310734, 'pattern_counts': {'":': 0, '<': 89, '<?xml version=': 2, '>': 89, 'https://': 2, 'lorem ipsum': 0, 'www.': 2, 'xml': 2}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7030504', 'n_tokens_mistral': 936, 'n_tokens_neox': 866, 'n_words': 116}