Commit bac70072 authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft

Fix sessions

parent d5ad0166
......@@ -5049,13 +5049,13 @@
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC div_sb_qr.157.0.0.0.138" expl="apply premises" proved="true">
<proof prover="3"><result status="valid" time="0.04"/></proof>
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC div_sb_qr.157.0.0.0.139" expl="apply premises" proved="true">
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC div_sb_qr.157.0.0.0.140" expl="apply premises" proved="true">
<proof prover="3"><result status="valid" time="0.03"/></proof>
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC div_sb_qr.157.0.0.0.141" expl="apply premises" proved="true">
<proof prover="3"><result status="valid" time="0.04"/></proof>
......@@ -5073,13 +5073,13 @@
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC div_sb_qr.157.0.0.0.146" expl="apply premises" proved="true">
<proof prover="3"><result status="valid" time="0.02"/></proof>
<proof prover="3"><result status="valid" time="0.04"/></proof>
</goal>
<goal name="VC div_sb_qr.157.0.0.0.147" expl="apply premises" proved="true">
<proof prover="3"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="VC div_sb_qr.157.0.0.0.148" expl="apply premises" proved="true">
<proof prover="3"><result status="valid" time="0.02"/></proof>
<proof prover="3"><result status="valid" time="0.03"/></proof>
</goal>
<goal name="VC div_sb_qr.157.0.0.0.149" expl="apply premises" proved="true">
<proof prover="3"><result status="valid" time="0.04"/></proof>
......@@ -6145,9 +6145,6 @@
</goal>
<goal name="VC div_sb_qr.232.1" expl="assertion" proved="true">
<proof prover="1"><result status="valid" time="0.68"/></proof>
<proof prover="3" timelimit="1"><result status="timeout" time="1.00"/></proof>
<proof prover="7"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="timeout" time="1.00"/></proof>
</goal>
</transf>
</goal>
......@@ -6579,13 +6576,13 @@
<proof prover="2"><result status="valid" time="0.38"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.138" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.39"/></proof>
<proof prover="2"><result status="valid" time="0.37"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.139" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.41"/></proof>
<proof prover="2"><result status="valid" time="0.30"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.140" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.30"/></proof>
<proof prover="2"><result status="valid" time="0.41"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.141" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.40"/></proof>
......@@ -6603,13 +6600,13 @@
<proof prover="2"><result status="valid" time="0.38"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.146" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.37"/></proof>
<proof prover="2"><result status="valid" time="0.39"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.147" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.30"/></proof>
<proof prover="2"><result status="valid" time="0.41"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.148" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.41"/></proof>
<proof prover="2"><result status="valid" time="0.30"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.149" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.40"/></proof>
......@@ -6624,7 +6621,7 @@
<proof prover="2"><result status="valid" time="0.41"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.153" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.42"/></proof>
<proof prover="2"><result status="valid" time="0.30"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.154" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.41"/></proof>
......@@ -6663,28 +6660,28 @@
<proof prover="2"><result status="valid" time="0.39"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.166" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.38"/></proof>
<proof prover="2"><result status="valid" time="0.40"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.167" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.42"/></proof>
<proof prover="2"><result status="valid" time="0.40"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.168" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.39"/></proof>
<proof prover="2"><result status="valid" time="0.32"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.169" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.31"/></proof>
<proof prover="2"><result status="valid" time="0.26"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.170" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.40"/></proof>
<proof prover="2"><result status="valid" time="0.38"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.171" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.40"/></proof>
<proof prover="2"><result status="valid" time="0.42"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.172" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.32"/></proof>
<proof prover="2"><result status="valid" time="0.39"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.173" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.26"/></proof>
<proof prover="2"><result status="valid" time="0.31"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.174" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.40"/></proof>
......@@ -6738,7 +6735,7 @@
<proof prover="2"><result status="valid" time="0.30"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.191" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.30"/></proof>
<proof prover="2"><result status="valid" time="0.42"/></proof>
</goal>
<goal name="VC div_sb_qr.233.0.0.1.0.192" expl="apply premises" proved="true">
<proof prover="2"><result status="valid" time="0.41"/></proof>
......@@ -9770,7 +9767,6 @@
<proof prover="1"><result status="valid" time="0.96"/></proof>
</goal>
<goal name="VC div_qr_in_place.81.11" expl="VC for div_qr_in_place" proved="true">
<proof prover="2"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="valid" time="0.43"/></proof>
</goal>
<goal name="VC div_qr_in_place.81.12" expl="VC for div_qr_in_place" proved="true">
......@@ -9832,7 +9828,6 @@
<goal name="VC div_qr_in_place.89" expl="precondition" proved="true">
<transf name="split_goal_right" proved="true" >
<goal name="VC div_qr_in_place.89.0" expl="precondition" proved="true">
<proof prover="0"><result status="timeout" time="5.00"/></proof>
<proof prover="2"><result status="valid" time="0.17"/></proof>
</goal>
<goal name="VC div_qr_in_place.89.1" expl="precondition" proved="true">
......
This source diff could not be displayed because it is too large. You can view the blob instead.
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