benchmark-example-calculatepi.xml

<?xml version="1.0"?>

<!--
This file is part of BenchExec, a framework for reliable benchmarking:
https://github.com/sosy-lab/benchexec

SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>

SPDX-License-Identifier: Apache-2.0
-->

<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 2.3//EN" "https://www.sosy-lab.org/benchexec/benchmark-2.3.dtd">
<!-- Example file for benchmark definition for BenchExec
     with dummy tool "calculatepi" that calculates Pi up to some number of digits. -->
<benchmark displayName="Calculate Pi" tool="calculatepi" timelimit="900s" memlimit="100 MB" cpuCores="1">
  <tasks>
    <!-- <withoutfile> defines tasks that do not need an input file.
         calculatepi exects a single int that is the number of desired digits
         for the output of Pi. -->
    <withoutfile>1000 </withoutfile>
    <withoutfile>2000 </withoutfile>
    <withoutfile>3000 </withoutfile>
    <withoutfile>4000 </withoutfile>
    <withoutfile>5000 </withoutfile>
    <withoutfile>6000 </withoutfile>
    <withoutfile>7000 </withoutfile>
    <withoutfile>8000 </withoutfile>
    <withoutfile>9000 </withoutfile>
    <withoutfile>10000</withoutfile>
    <withoutfile>11000</withoutfile>
    <withoutfile>12000</withoutfile>
    <withoutfile>13000</withoutfile>
    <withoutfile>14000</withoutfile>
    <withoutfile>15000</withoutfile>
    <withoutfile>16000</withoutfile>
    <withoutfile>17000</withoutfile>
    <withoutfile>18000</withoutfile>
    <withoutfile>19000</withoutfile>
    <withoutfile>20000</withoutfile>
  </tasks>

  <rundefinition/>
</benchmark>