why3session.xml 867 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1
<?xml version="1.0" encoding="UTF-8"?>
2
<!DOCTYPE why3session SYSTEM "/home/marche/why3/share/why3session.dtd">
MARCHE Claude's avatar
MARCHE Claude committed
3
<why3session
4
 name="bts/13849/why3session.xml">
MARCHE Claude's avatar
MARCHE Claude committed
5 6 7
 <prover
  id="0"
  name="Coq"
8
  version="8.3pl4"/>
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"
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"
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"
30
     memlimit="0"
MARCHE Claude's avatar
MARCHE Claude committed
31 32 33
     edited="13849_T_x_2.v"
     obsolete="false"
     archived="false">
34
     <result status="valid" time="0.51"/>
MARCHE Claude's avatar
MARCHE Claude committed
35 36 37 38 39
    </proof>
   </goal>
  </theory>
 </file>
</why3session>