why3session.xml 855 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1
<?xml version="1.0" encoding="UTF-8"?>
MARCHE Claude's avatar
MARCHE Claude committed
2
<!DOCTYPE why3session SYSTEM "/home/marche/why3/share/why3session.dtd">
MARCHE Claude's avatar
MARCHE Claude committed
3
<why3session
MARCHE Claude's avatar
MARCHE Claude committed
4
 name="./bts/13849/why3session.xml">
MARCHE Claude's avatar
MARCHE Claude committed
5 6 7
 <prover
  id="0"
  name="Coq"
MARCHE Claude's avatar
MARCHE Claude committed
8
  version="8.3pl3"/>
MARCHE Claude's avatar
MARCHE Claude committed
9 10
 <file
  name="../13849.why"
MARCHE Claude's avatar
MARCHE Claude committed
11
  verified="true"
12
  expanded="false">
MARCHE Claude's avatar
MARCHE Claude committed
13 14
  <theory
   name="T"
MARCHE Claude's avatar
MARCHE Claude committed
15
   locfile="./bts/13849/../13849.why"
MARCHE Claude's avatar
MARCHE Claude committed
16
   loclnum="4" loccnumb="7" loccnume="8"
MARCHE Claude's avatar
MARCHE Claude committed
17
   verified="true"
MARCHE Claude's avatar
MARCHE Claude committed
18 19 20
   expanded="true">
   <goal
    name="x"
MARCHE Claude's avatar
MARCHE Claude committed
21
    locfile="./bts/13849/../13849.why"
MARCHE Claude's avatar
MARCHE Claude committed
22
    loclnum="19" loccnumb="6" loccnume="7"
23
    sum="f9dfa1ef69ac351dd3f83658b2409a0d"
MARCHE Claude's avatar
MARCHE Claude committed
24
    proved="true"
MARCHE Claude's avatar
MARCHE Claude committed
25 26 27 28
    expanded="true"
    shape="ainfix =ab1ab2">
    <proof
     prover="0"
MARCHE Claude's avatar
MARCHE Claude committed
29
     timelimit="10"
MARCHE Claude's avatar
MARCHE Claude committed
30 31 32 33
     edited="13849_T_x_2.v"
     obsolete="false"
     archived="false">
     <result status="valid" time="0.46"/>
MARCHE Claude's avatar
MARCHE Claude committed
34 35 36 37 38
    </proof>
   </goal>
  </theory>
 </file>
</why3session>