Commit a9c475a6 authored by MARCHE Claude's avatar MARCHE Claude

update session with a new valid goal

parent 93650c62
......@@ -34,7 +34,7 @@
<proof prover="4"><result status="valid" time="2.65"/></proof>
</goal>
<goal name="WP_parameter triplet.2" expl="assertion">
<proof prover="2"><result status="valid" time="4.30" steps="10733"/></proof>
<proof prover="2"><result status="valid" time="4.93" steps="10733"/></proof>
<proof prover="3"><result status="valid" time="1.52"/></proof>
<proof prover="4"><result status="valid" time="0.79"/></proof>
</goal>
......@@ -49,8 +49,8 @@
<proof prover="0"><result status="outofmemory" time="3.93"/></proof>
<proof prover="1"><result status="timeout" time="5.00"/></proof>
<proof prover="2"><result status="timeout" time="5.00"/></proof>
<proof prover="3"><result status="unknown" time="5.00"/></proof>
<proof prover="4"><result status="unknown" time="5.00"/></proof>
<proof prover="3"><result status="unknown" time="9.79"/></proof>
<proof prover="4"><result status="unknown" time="10.02"/></proof>
<proof prover="5"><result status="timeout" time="5.00"/></proof>
</goal>
<goal name="WP_parameter triplet.5" expl="assertion">
......@@ -61,7 +61,7 @@
<proof prover="5"><result status="valid" time="0.30"/></proof>
</goal>
<goal name="WP_parameter triplet.6" expl="assertion">
<proof prover="3"><result status="valid" time="1.73"/></proof>
<proof prover="3"><result status="valid" time="2.09"/></proof>
</goal>
<goal name="WP_parameter triplet.7" expl="assertion">
<proof prover="0"><result status="valid" time="0.64"/></proof>
......@@ -75,8 +75,8 @@
<proof prover="0"><result status="timeout" time="5.00"/></proof>
<proof prover="1"><result status="timeout" time="5.00"/></proof>
<proof prover="2"><result status="timeout" time="5.00"/></proof>
<proof prover="3"><result status="unknown" time="5.00"/></proof>
<proof prover="4"><result status="unknown" time="5.00"/></proof>
<proof prover="3"><result status="valid" time="6.44"/></proof>
<proof prover="4"><result status="unknown" time="10.06"/></proof>
<proof prover="5"><result status="timeout" time="5.00"/></proof>
</goal>
<goal name="WP_parameter triplet.9" expl="assertion">
......@@ -91,8 +91,8 @@
<proof prover="0"><result status="timeout" time="5.00"/></proof>
<proof prover="1"><result status="timeout" time="5.00"/></proof>
<proof prover="2"><result status="timeout" time="5.01"/></proof>
<proof prover="3"><result status="valid" time="4.89"/></proof>
<proof prover="4"><result status="unknown" time="5.00"/></proof>
<proof prover="3"><result status="valid" time="6.12"/></proof>
<proof prover="4"><result status="unknown" time="10.06"/></proof>
<proof prover="5"><result status="timeout" time="5.00"/></proof>
</goal>
</transf>
......@@ -105,7 +105,7 @@
<proof prover="5"><result status="valid" time="0.08"/></proof>
</goal>
<goal name="G2" expl="">
<proof prover="0"><result status="valid" time="2.69"/></proof>
<proof prover="0"><result status="valid" time="3.08"/></proof>
<proof prover="1"><result status="valid" time="0.06"/></proof>
<proof prover="2"><result status="valid" time="0.24" steps="560"/></proof>
<proof prover="3"><result status="valid" time="0.01"/></proof>
......@@ -125,7 +125,7 @@
<proof prover="5"><result status="valid" time="0.08"/></proof>
</goal>
<goal name="G6" expl="">
<proof prover="0"><result status="valid" time="2.72"/></proof>
<proof prover="0"><result status="valid" time="3.11"/></proof>
<proof prover="1"><result status="valid" time="0.06"/></proof>
<proof prover="2"><result status="valid" time="0.12" steps="286"/></proof>
<proof prover="3"><result status="valid" time="0.01"/></proof>
......@@ -153,7 +153,7 @@
<proof prover="0"><result status="timeout" time="5.00"/></proof>
<proof prover="1"><result status="timeout" time="5.00"/></proof>
<proof prover="2"><result status="timeout" time="5.00"/></proof>
<proof prover="3"><result status="unknown" time="5.00"/></proof>
<proof prover="3"><result status="unknown" time="9.84"/></proof>
<proof prover="5"><result status="timeout" time="5.00"/></proof>
</goal>
<goal name="WP_parameter test.2" expl="assertion">
......@@ -192,12 +192,12 @@
<goal name="WP_parameter test.7" expl="assertion">
<proof prover="0"><result status="outofmemory" time="3.96"/></proof>
<proof prover="2"><result status="timeout" time="5.00"/></proof>
<proof prover="3"><result status="unknown" time="5.00"/></proof>
<proof prover="3"><result status="unknown" time="9.86"/></proof>
</goal>
<goal name="WP_parameter test.8" expl="assertion">
<proof prover="0"><result status="outofmemory" time="4.43"/></proof>
<proof prover="2"><result status="timeout" time="5.01"/></proof>
<proof prover="3"><result status="unknown" time="5.00"/></proof>
<proof prover="3"><result status="unknown" time="9.86"/></proof>
</goal>
<goal name="WP_parameter test.9" expl="assertion">
<proof prover="0"><result status="valid" time="0.01"/></proof>
......@@ -217,7 +217,7 @@
<proof prover="0"><result status="outofmemory" time="4.39"/></proof>
<proof prover="1"><result status="unknown" time="9.88"/></proof>
<proof prover="2"><result status="timeout" time="5.00"/></proof>
<proof prover="3"><result status="valid" time="3.60"/></proof>
<proof prover="3"><result status="valid" time="4.20"/></proof>
<proof prover="5"><result status="unknown" time="9.92"/></proof>
</goal>
</transf>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment