why3session.xml 1.56 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session SYSTEM "why3session.dtd">
<why3session name="programs/mac_carthy/why3session.xml">
 <file name="../mac_carthy.mlw" verified="true" expanded="true">
  <theory name="M" verified="true" expanded="true">
   <goal name="WP_parameter f91" expl="correctness of parameter f91" sum="d76ec4e4b18463778c1d69a5f339cd5b" proved="true" expanded="true">
    <proof prover="cvc3" timelimit="2" edited="" obsolete="false">
     <result status="valid" time="0.02"/>
    </proof>
    <proof prover="alt-ergo" timelimit="2" edited="" obsolete="false">
     <result status="valid" time="0.01"/>
    </proof>
    <proof prover="simplify" timelimit="2" edited="" obsolete="false">
     <result status="valid" time="0.01"/>
    </proof>
    <proof prover="z3" timelimit="2" edited="" obsolete="false">
     <result status="valid" time="0.02"/>
    </proof>
   </goal>
   <goal name="WP_parameter f91_nonrec" expl="correctness of parameter f91_nonrec" sum="0a7c396695b0240cd521dde6e0557c36" proved="true" expanded="true">
    <proof prover="cvc3" timelimit="2" edited="" obsolete="false">
     <result status="valid" time="0.08"/>
    </proof>
    <proof prover="alt-ergo" timelimit="2" edited="" obsolete="false">
     <result status="valid" time="1.46"/>
    </proof>
    <proof prover="simplify" timelimit="2" edited="" obsolete="false">
     <result status="valid" time="0.02"/>
    </proof>
    <proof prover="z3" timelimit="2" edited="" obsolete="false">
     <result status="valid" time="0.03"/>
    </proof>
   </goal>
  </theory>
 </file>
</why3session>