Commit 6bc9619b authored by MARCHE Claude's avatar MARCHE Claude

update sessions

parent d88f940e
......@@ -110,7 +110,7 @@
<proof prover="4"><result status="valid" time="0.08"/></proof>
</goal>
<goal name="WP_parameter step2.4.4" expl="assertion" proved="true">
<proof prover="2"><result status="valid" time="2.74"/></proof>
<proof prover="2"><result status="valid" time="2.29"/></proof>
<proof prover="4"><result status="valid" time="0.08"/></proof>
</goal>
</transf>
......@@ -717,8 +717,8 @@
<proof prover="4"><result status="valid" time="0.12"/></proof>
</goal>
<goal name="numof_ytpmE" proved="true">
<proof prover="2"><result status="valid" time="1.20"/></proof>
<proof prover="5"><result status="valid" time="1.30"/></proof>
<proof prover="2"><result status="valid" time="0.92"/></proof>
<proof prover="5"><result status="valid" time="1.00"/></proof>
</goal>
<goal name="WP_parameter separation" expl="VC for separation" proved="true">
<transf name="split_goal_wp" proved="true" >
......@@ -746,7 +746,7 @@
</goal>
<goal name="WP_parameter numof_or" expl="VC for numof_or" proved="true">
<proof prover="2"><result status="valid" time="0.34"/></proof>
<proof prover="3"><result status="valid" time="2.81" steps="1908"/></proof>
<proof prover="3"><result status="valid" time="2.36" steps="1908"/></proof>
<proof prover="4"><result status="valid" time="0.06"/></proof>
<proof prover="5"><result status="valid" time="0.39"/></proof>
</goal>
......@@ -942,7 +942,7 @@
<goal name="WP_parameter tmp.2" expl="postcondition" proved="true">
<transf name="split_goal_wp" proved="true" >
<goal name="WP_parameter tmp.2.0" expl="VC for tmp" proved="true">
<proof prover="4" timelimit="1" memlimit="1000"><result status="valid" time="0.40"/></proof>
<proof prover="4" timelimit="1" memlimit="1000"><result status="valid" time="0.69"/></proof>
</goal>
<goal name="WP_parameter tmp.2.1" expl="VC for tmp" proved="true">
<proof prover="7"><result status="valid" time="0.77"/></proof>
......@@ -950,11 +950,11 @@
</transf>
</goal>
<goal name="WP_parameter tmp.3" expl="postcondition" proved="true">
<proof prover="2"><result status="valid" time="4.31"/></proof>
<proof prover="3" memlimit="1000"><result status="valid" time="2.06" steps="3155"/></proof>
<proof prover="4" memlimit="1000"><result status="valid" time="0.87"/></proof>
<proof prover="5"><result status="valid" time="1.42"/></proof>
<proof prover="6"><result status="valid" time="0.47"/></proof>
<proof prover="2"><result status="valid" time="3.62"/></proof>
<proof prover="3" memlimit="1000"><result status="valid" time="2.06" steps="3154"/></proof>
<proof prover="4" memlimit="1000"><result status="valid" time="0.41"/></proof>
<proof prover="5"><result status="valid" time="1.14"/></proof>
<proof prover="6"><result status="valid" time="0.67"/></proof>
</goal>
</transf>
</goal>
......
......@@ -20,7 +20,7 @@
</goal>
<goal name="WP_parameter aboveMin.1" expl="assertion" proved="true">
<proof prover="0"><result status="valid" time="0.22"/></proof>
<proof prover="3"><result status="valid" time="0.28"/></proof>
<proof prover="3"><result status="valid" time="0.72"/></proof>
</goal>
<goal name="WP_parameter aboveMin.2" expl="assertion" proved="true">
<proof prover="0"><result status="valid" time="0.42"/></proof>
......
This diff is collapsed.
......@@ -19,7 +19,7 @@
<goal name="f1">
<proof prover="1"><result status="timeout" time="1.00"/></proof>
<proof prover="2"><result status="unknown" time="0.01"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="2.00"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
</goal>
......@@ -33,7 +33,7 @@
<goal name="f2">
<proof prover="1"><result status="timeout" time="1.00"/></proof>
<proof prover="2"><result status="unknown" time="0.01"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="1.98"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
</goal>
......@@ -68,28 +68,28 @@
<goal name="f3c">
<proof prover="1"><result status="timeout" time="0.98"/></proof>
<proof prover="2"><result status="unknown" time="0.00"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="1.99"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
</goal>
<goal name="g3aa">
<proof prover="1"><result status="timeout" time="1.00"/></proof>
<proof prover="2"><result status="unknown" time="0.02"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="2.00"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
</goal>
<goal name="g3bb">
<proof prover="1"><result status="timeout" time="1.00"/></proof>
<proof prover="2"><result status="unknown" time="0.03"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="1.99"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
</goal>
<goal name="f3cc">
<proof prover="1"><result status="timeout" time="1.01"/></proof>
<proof prover="2"><result status="unknown" time="0.02"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="1.99"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
</goal>
......@@ -110,14 +110,14 @@
<goal name="g4aa">
<proof prover="1"><result status="timeout" time="1.00"/></proof>
<proof prover="2"><result status="unknown" time="0.00"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="2.01"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
</goal>
<goal name="g4bb">
<proof prover="1"><result status="timeout" time="1.00"/></proof>
<proof prover="2"><result status="unknown" time="0.00"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="2.00"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
</goal>
......@@ -138,14 +138,14 @@
<goal name="g5aa">
<proof prover="1"><result status="timeout" time="0.99"/></proof>
<proof prover="2"><result status="unknown" time="0.02"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="2.00"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
</goal>
<goal name="g5bb">
<proof prover="1"><result status="timeout" time="1.00"/></proof>
<proof prover="2"><result status="unknown" time="0.01"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="2.00"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
</goal>
......@@ -194,14 +194,14 @@
<goal name="g8aa">
<proof prover="1"><result status="timeout" time="1.00"/></proof>
<proof prover="2" timelimit="1"><result status="unknown" time="1.95"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="1.99"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="unknown" time="1.95"/></proof>
</goal>
<goal name="g8bb" proved="true">
<proof prover="1"><result status="timeout" time="0.99"/></proof>
<proof prover="2"><result status="valid" time="0.01"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="2.00"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="valid" time="0.02"/></proof>
</goal>
......@@ -215,7 +215,7 @@
<goal name="gttt">
<proof prover="1"><result status="timeout" time="1.00"/></proof>
<proof prover="2"><result status="unknown" time="0.02"/></proof>
<proof prover="3"><result status="unknown" time="1.00"/></proof>
<proof prover="3"><result status="unknown" time="1.99"/></proof>
<proof prover="4" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="5"><result status="unknown" time="1.97"/></proof>
</goal>
......
This diff is collapsed.
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