why3session.xml 1.2 KB
Newer Older
1 2
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session SYSTEM "why3session.dtd">
MARCHE Claude's avatar
MARCHE Claude committed
3
<why3session name="bts/12475/why3session.xml">
4
 <prover id="alt-ergo" name="Alt-Ergo" version="0.93"/>
5
 <prover id="coq" name="Coq" version="8.2pl1"/>
6
 <prover id="cvc3" name="CVC3" version="2.2"/>
7
 <prover id="gappa" name="Gappa" version="0.13.0"/>
8 9
 <prover id="simplify" name="Simplify" version="1.5.4"/>
 <prover id="z3" name="Z3" version="2.19"/>
10 11
 <file name="../12475.why" verified="true" expanded="true">
  <theory name="Stmt" verified="true" expanded="true">
12
   <goal name="toto" sum="70b485a4690b369a7f87b04c03f4b708" proved="true" expanded="true" shape="ainfix <V0ainfix +aroundaUpV0c1.F">
13
    <proof prover="cvc3" timelimit="2" edited="" obsolete="false">
14
     <result status="valid" time="0.01"/>
15 16
    </proof>
    <proof prover="alt-ergo" timelimit="2" edited="" obsolete="false">
17
     <result status="valid" time="0.02"/>
18 19
    </proof>
    <proof prover="z3" timelimit="2" edited="" obsolete="false">
20
     <result status="valid" time="0.02"/>
21 22
    </proof>
    <proof prover="gappa" timelimit="2" edited="" obsolete="false">
23
     <result status="unknown" time="0.01"/>
24 25 26 27 28
    </proof>
   </goal>
  </theory>
 </file>
</why3session>