examples/tests-provers/bitvec/why3session.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!DOCTYPE why3session PUBLIC "-//Why3//proof session v5//EN"
   3 "https://www.why3.org/why3session.dtd">
   4 <why3session shape_version="6">
   5 <prover id="0" name="Alt-Ergo" version="2.6.0" alternative="BV" timelimit="5" steplimit="0" memlimit="1000"/>
   6 <prover id="1" name="Z3" version="4.11.2" timelimit="5" steplimit="0" memlimit="1000"/>
   7 <prover id="2" name="CVC4" version="1.7" timelimit="1" steplimit="0" memlimit="1000"/>
   8 <file format="whyml" proved="true">
   9 <path name=".."/><path name="bitvec.mlw"/>
  10 <theory name="Top" proved="true">
  11  <goal name="udiv_42_17" proved="true">
  12  <proof prover="0"><result status="valid" time="0.018798" steps="0"/></proof>
  13  <proof prover="1"><result status="valid" time="0.010000" steps="457"/></proof>
  14  <proof prover="2"><result status="valid" time="0.030000" steps="1515"/></proof>
  15  </goal>
  16  <goal name="urem_42_17" proved="true">
  17  <proof prover="0"><result status="valid" time="0.020124" steps="0"/></proof>
  18  <proof prover="1"><result status="valid" time="0.010000" steps="457"/></proof>
  19  <proof prover="2"><result status="valid" time="0.030000" steps="1515"/></proof>
  20  </goal>
  21  <goal name="sdiv_42_17" proved="true">
  22  <proof prover="0"><result status="valid" time="0.020519" steps="2"/></proof>
  23  <proof prover="1"><result status="valid" time="0.010000" steps="457"/></proof>
  24  <proof prover="2"><result status="valid" time="0.020000" steps="1584"/></proof>
  25  </goal>
  26  <goal name="srem_42_17" proved="true">
  27  <proof prover="0"><result status="valid" time="0.022556" steps="2"/></proof>
  28  <proof prover="1"><result status="valid" time="0.010000" steps="457"/></proof>
  29  <proof prover="2"><result status="valid" time="0.050000" steps="1577"/></proof>
  30  </goal>
  31  <goal name="sdiv_m42_17" proved="true">
  32  <proof prover="0"><result status="valid" time="0.024791" steps="140"/></proof>
  33  <proof prover="1"><result status="valid" time="0.010000" steps="481"/></proof>
  34  <proof prover="2"><result status="valid" time="0.010000" steps="1610"/></proof>
  35  </goal>
  36  <goal name="srem_m42_17" proved="true">
  37  <proof prover="0"><result status="valid" time="0.025368" steps="141"/></proof>
  38  <proof prover="1"><result status="valid" time="0.010000" steps="481"/></proof>
  39  <proof prover="2"><result status="valid" time="0.020000" steps="1603"/></proof>
  40  </goal>
  41 </theory>
  42 </file>
  43 </why3session>