integration-simpleTests.2016-02-05_1559.results.xml

<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE result
  PUBLIC '+//IDN sosy-lab.org//DTD BenchExec result 1.3//EN'
  'http://www.sosy-lab.org/benchexec/result-1.3.dtd'>
<result benchmarkname="integration-simpleTests" cpuCores="1" date="2016-02-05 15:59:24 CET" generator="BenchExec 1.8" memlimit="100000000" options="-noout -heap 10M -config test/config/alwaysTopAnalysis.properties" timelimit="3s" tool="CPAchecker" toolmodule="benchexec.tools.cpachecker" version="1.5-svn 9d241a8+">
  <columns>
    <column title="status"/>
    <column title="cputime"/>
    <column title="walltime"/>
    <column title="total"/>
    <column title="cpa time"/>
    <column title="reached"/>
  </columns>
  <systeminfo hostname="tortuga">
    <os name="Linux 4.2.0-25-generic x86_64"/>
    <cpu cores="8" frequency="3800000000" model="Intel Core i7-2600 CPU @ 3.40GHz" turboboostActive="true"/>
    <ram size="16781492224"/>
  </systeminfo>
  <run files="[test/programs/simple/functionCall.c]" name="test/programs/simple/functionCall.c">
    <column title="status" value="TIMEOUT"/>
    <column title="cputime" value="3.994003018s"/>
    <column title="walltime" value="4.006478840019554s"/>
    <column title="category" value="error"/>
    <column title="memUsage" value="46473216"/>
    <column title="cpuCores" value="0"/>
    <column title="energy-core" value="62943417"/>
    <column title="terminationreason" value="cputime"/>
    <column title="exitcode" value="9"/>
    <column title="energy-cpu" value="-5555118"/>
    <column title="cputime-cpu0" value="3.994003018s"/>
    <column title="memoryNodes" value="0"/>
    <column title="exitsignal" value="9"/>
    <column title="energy-uncore" value="-61081737"/>
  </run>
  <run files="[test/programs/simple/loop1.c]" name="test/programs/simple/loop1.c">
    <column title="status" value="TIMEOUT"/>
    <column title="cputime" value="3.996962392s"/>
    <column title="walltime" value="4.005747953080572s"/>
    <column title="category" value="error"/>
    <column title="memUsage" value="45662208"/>
    <column title="cputime-cpu6" value="0.000008767s"/>
    <column title="energy-core" value="63015273"/>
    <column title="terminationreason" value="cputime"/>
    <column title="exitcode" value="9"/>
    <column title="cpuCores" value="0"/>
    <column title="energy-cpu" value="-5642629"/>
    <column title="cputime-cpu0" value="3.996213625s"/>
    <column title="memoryNodes" value="0"/>
    <column title="exitsignal" value="9"/>
    <column title="energy-uncore" value="-61082674"/>
  </run>
  <run files="[test/programs/simple/uninitVars.cil.c]" name="test/programs/simple/uninitVars.cil.c">
    <column title="status" value="TIMEOUT"/>
    <column title="cputime" value="3.994833009s"/>
    <column title="walltime" value="4.005571256973781s"/>
    <column title="category" value="error"/>
    <column title="memUsage" value="46043136"/>
    <column title="cpuCores" value="0"/>
    <column title="energy-core" value="63086943"/>
    <column title="terminationreason" value="cputime"/>
    <column title="exitcode" value="9"/>
    <column title="memoryNodes" value="0"/>
    <column title="cputime-cpu0" value="3.994116657s"/>
    <column title="cputime-cpu7" value="0.000006352s"/>
    <column title="exitsignal" value="9"/>
    <column title="energy-cpu" value="-5729436"/>
    <column title="energy-uncore" value="-61083615"/>
  </run>
  <column title="cputime" value="12.143999999999998s"/>
  <column title="walltime" value="12.866580763016827s"/>
  <column title="energy_uncore" value="61084594"/>
  <column title="energy_cpu" value="5816938"/>
  <column title="energy_core" value="-62871079"/>
</result>