why3session.xml 1.49 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="examples/check-builtin/euclideandivision/why3session.xml">
 <file name="../euclideandivision.why" verified="true" expanded="true">
  <theory name="Test" verified="true" expanded="true">
   <goal name="G1" sum="ea3bac3defe8dd6c6d07e6bb9584018e" proved="true" expanded="true">
    <proof prover="cvc3" timelimit="10" edited="" obsolete="false">
     <result status="valid" time="0.00"/>
    </proof>
    <proof prover="alt-ergo" timelimit="10" edited="" obsolete="false">
     <result status="valid" time="0.00"/>
    </proof>
    <proof prover="z3" timelimit="10" edited="" obsolete="false">
     <result status="valid" time="0.00"/>
    </proof>
    <proof prover="spass" timelimit="10" edited="" obsolete="false">
     <result status="timeout" time="10.01"/>
    </proof>
   </goal>
   <goal name="G2" sum="dcd09929b230a018d26799f2df130ea7" proved="true" expanded="true">
    <proof prover="cvc3" timelimit="10" edited="" obsolete="false">
     <result status="valid" time="0.00"/>
    </proof>
    <proof prover="alt-ergo" timelimit="10" edited="" obsolete="false">
     <result status="valid" time="0.00"/>
    </proof>
    <proof prover="z3" timelimit="10" edited="" obsolete="false">
     <result status="valid" time="0.00"/>
    </proof>
    <proof prover="spass" timelimit="10" edited="" obsolete="false">
     <result status="timeout" time="10.06"/>
    </proof>
   </goal>
  </theory>
 </file>
</why3session>