examples_in_progress/parse_arith/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.5.2" timelimit="1" steplimit="0" memlimit="1000"/>
   6 <file format="coma" proved="true">
   7 <path name=".."/><path name="parse_arith.coma"/>
   8 <theory name="Coma" proved="true">
   9  <goal name="vc_fail" proved="true">
  10  <proof prover="0"><result status="valid" time="0.015279" steps="1"/></proof>
  11  </goal>
  12  <goal name="vc_if" proved="true">
  13  <proof prover="0"><result status="valid" time="0.019745" steps="1"/></proof>
  14  </goal>
  15  <goal name="vc_caseNum" proved="true">
  16  <proof prover="0"><result status="valid" time="0.011800" steps="1"/></proof>
  17  </goal>
  18  <goal name="vc_atoi" proved="true">
  19  <proof prover="0"><result status="valid" time="0.011505" steps="1"/></proof>
  20  </goal>
  21  <goal name="vc_unSpace" proved="true">
  22  <proof prover="0"><result status="valid" time="0.015461" steps="1"/></proof>
  23  </goal>
  24  <goal name="vc_next" proved="true">
  25  <proof prover="0"><result status="valid" time="0.016388" steps="1"/></proof>
  26  </goal>
  27  <goal name="vc_lit" proved="true">
  28  <proof prover="0"><result status="valid" time="0.010792" steps="1"/></proof>
  29  </goal>
  30  <goal name="vc_atom" proved="true">
  31  <proof prover="0"><result status="valid" time="0.013258" steps="1"/></proof>
  32  </goal>
  33  <goal name="vc_sum" proved="true">
  34  <proof prover="0"><result status="valid" time="0.007437" steps="1"/></proof>
  35  </goal>
  36  <goal name="vc_count" proved="true">
  37  <transf name="split_vc" proved="true" >
  38  </transf>
  39  </goal>
  40 </theory>
  41 </file>
  42 </why3session>