update obsolete sessions

examples/bitvectors/double/why3session.xml

@@ -10,7 +10,7 @@
 <file name="../double.why" expanded="true">
 <theory name="BV_double" sum="d41d8cd98f00b204e9800998ecf8427e">
 </theory>
-<theory name="TestDouble" sum="f71dfbf7353ba71fc5ee7ee72d56fe52" expanded="true">
+<theory name="TestDouble" sum="de577d779ab294845f5da2bd6beecef4" expanded="true">
  <goal name="nth_one1" expanded="true">
  <proof prover="0" timelimit="3"><result status="valid" time="0.05" steps="77"/></proof>
  </goal>
@@ -27,13 +27,13 @@
  <proof prover="5"><result status="valid" time="0.11"/></proof>
  </goal>
  <goal name="exp_one" expanded="true">
- <proof prover="0" timelimit="30"><result status="valid" time="2.23" steps="668"/></proof>
- <proof prover="4" edited="double_TestDouble_exp_one_1.v"><result status="valid" time="0.38"/></proof>
+ <proof prover="0" timelimit="30"><result status="valid" time="2.87" steps="668"/></proof>
+ <proof prover="4" edited="double_TestDouble_exp_one_1.v"><result status="valid" time="0.52"/></proof>
  </goal>
  <goal name="mantissa_one">
  <proof prover="0"><result status="valid" time="0.09" steps="87"/></proof>
- <proof prover="3"><result status="valid" time="0.77"/></proof>
- <proof prover="5" timelimit="11"><result status="valid" time="2.86"/></proof>
+ <proof prover="3"><result status="valid" time="1.17"/></proof>
+ <proof prover="5" timelimit="11"><result status="valid" time="3.27"/></proof>
  </goal>
  <goal name="double_value_of_1">
  <proof prover="0"><result status="valid" time="0.04" steps="94"/></proof>

examples/bitvectors/power2/why3session.xml

@@ -10,7 +10,7 @@
 <prover id="9" name="Z3" version="4.3.2" timelimit="5" steplimit="0" memlimit="1000"/>
 <prover id="10" name="Alt-Ergo" version="0.99.1" timelimit="5" steplimit="0" memlimit="1000"/>
 <file name="../power2.why" expanded="true">
-<theory name="Pow2int" sum="5a9c50ddf0323dc2305005ff45b6d0f7">
+<theory name="Pow2int" sum="01c32c874cc253f54cbdec4e1feae5b0">
  <goal name="Power_1">
  <proof prover="2"><result status="valid" time="0.00"/></proof>
  <proof prover="6"><result status="valid" time="0.00"/></proof>
@@ -18,10 +18,10 @@
  <proof prover="10"><result status="valid" time="0.00" steps="3"/></proof>
  </goal>
  <goal name="Power_sum">
- <proof prover="4" edited="power2_Pow2int_Power_sum_1.v"><result status="valid" time="0.46"/></proof>
+ <proof prover="4" edited="power2_Pow2int_Power_sum_1.v"><result status="valid" time="0.81"/></proof>
  </goal>
  <goal name="pow2pos">
- <proof prover="4" edited="power2_Pow2int_pow2pos_1.v"><result status="valid" time="0.49"/></proof>
+ <proof prover="4" edited="power2_Pow2int_pow2pos_1.v"><result status="valid" time="0.76"/></proof>
  </goal>
  <goal name="pow2_0">
  <proof prover="0"><result status="valid" time="0.00"/></proof>
@@ -316,37 +316,37 @@
  <goal name="pow2_48">
  <proof prover="2"><result status="valid" time="0.04"/></proof>
  <proof prover="6" timelimit="6"><result status="valid" time="1.60"/></proof>
- <proof prover="9"><result status="valid" time="1.54"/></proof>
+ <proof prover="9"><result status="valid" time="1.82"/></proof>
  <proof prover="10"><result status="valid" time="0.03" steps="51"/></proof>
  </goal>
  <goal name="pow2_49">
  <proof prover="2"><result status="valid" time="0.00"/></proof>
  <proof prover="6" timelimit="6"><result status="valid" time="1.68"/></proof>
- <proof prover="9"><result status="valid" time="1.62"/></proof>
+ <proof prover="9"><result status="valid" time="1.89"/></proof>
  <proof prover="10"><result status="valid" time="0.02" steps="52"/></proof>
  </goal>
  <goal name="pow2_50">
  <proof prover="2"><result status="valid" time="0.04"/></proof>
- <proof prover="6" timelimit="7"><result status="valid" time="1.83"/></proof>
- <proof prover="9"><result status="valid" time="1.71"/></proof>
+ <proof prover="6" timelimit="7"><result status="valid" time="2.25"/></proof>
+ <proof prover="9"><result status="valid" time="1.99"/></proof>
  <proof prover="10"><result status="valid" time="0.02" steps="53"/></proof>
  </goal>
  <goal name="pow2_51">
  <proof prover="2"><result status="valid" time="0.00"/></proof>
- <proof prover="6" timelimit="7"><result status="valid" time="2.08"/></proof>
+ <proof prover="6" timelimit="7"><result status="valid" time="2.39"/></proof>
  <proof prover="9"><result status="valid" time="1.77"/></proof>
  <proof prover="10"><result status="valid" time="0.03" steps="54"/></proof>
  </goal>
  <goal name="pow2_52">
  <proof prover="2"><result status="valid" time="0.04"/></proof>
  <proof prover="6" timelimit="8"><result status="valid" time="2.31"/></proof>
- <proof prover="9"><result status="valid" time="1.90"/></proof>
+ <proof prover="9"><result status="valid" time="2.20"/></proof>
  <proof prover="10"><result status="valid" time="0.03" steps="55"/></proof>
  </goal>
  <goal name="pow2_53">
  <proof prover="2"><result status="valid" time="0.00"/></proof>
  <proof prover="6" timelimit="9"><result status="valid" time="2.80"/></proof>
- <proof prover="9"><result status="valid" time="1.95"/></proof>
+ <proof prover="9"><result status="valid" time="2.28"/></proof>
  <proof prover="10"><result status="valid" time="0.03" steps="56"/></proof>
  </goal>
  <goal name="pow2_54">
@@ -357,56 +357,56 @@
  </goal>
  <goal name="pow2_55">
  <proof prover="2"><result status="valid" time="0.00"/></proof>
- <proof prover="6" timelimit="11"><result status="valid" time="3.00"/></proof>
- <proof prover="9"><result status="valid" time="2.11"/></proof>
+ <proof prover="6" timelimit="11"><result status="valid" time="3.41"/></proof>
+ <proof prover="9"><result status="valid" time="2.50"/></proof>
  <proof prover="10"><result status="valid" time="0.03" steps="58"/></proof>
  </goal>
  <goal name="pow2_56">
  <proof prover="2"><result status="valid" time="0.05"/></proof>
- <proof prover="6" timelimit="7"><result status="valid" time="3.35"/></proof>
- <proof prover="9"><result status="valid" time="2.27"/></proof>
+ <proof prover="6" timelimit="7"><result status="valid" time="3.79"/></proof>
+ <proof prover="9"><result status="valid" time="2.60"/></proof>
  <proof prover="10"><result status="valid" time="0.02" steps="59"/></proof>
  </goal>
  <goal name="pow2_57">
  <proof prover="2"><result status="valid" time="0.00"/></proof>
- <proof prover="6" timelimit="7"><result status="valid" time="3.97"/></proof>
- <proof prover="9"><result status="valid" time="2.35"/></proof>
+ <proof prover="6" timelimit="7"><result status="valid" time="4.55"/></proof>
+ <proof prover="9"><result status="valid" time="2.75"/></proof>
  <proof prover="10"><result status="valid" time="0.02" steps="60"/></proof>
  </goal>
  <goal name="pow2_58">
  <proof prover="2"><result status="valid" time="0.04"/></proof>
- <proof prover="6" timelimit="7"><result status="valid" time="4.27"/></proof>
- <proof prover="9"><result status="valid" time="2.41"/></proof>
+ <proof prover="6" timelimit="7"><result status="valid" time="4.86"/></proof>
+ <proof prover="9"><result status="valid" time="2.76"/></proof>
  <proof prover="10"><result status="valid" time="0.03" steps="61"/></proof>
  </goal>
  <goal name="pow2_59">
  <proof prover="2"><result status="valid" time="0.00"/></proof>
- <proof prover="6" timelimit="8"><result status="valid" time="4.94"/></proof>
- <proof prover="9"><result status="valid" time="2.52"/></proof>
+ <proof prover="6" timelimit="8"><result status="valid" time="5.90"/></proof>
+ <proof prover="9"><result status="valid" time="3.00"/></proof>
  <proof prover="10"><result status="valid" time="0.03" steps="62"/></proof>
  </goal>
  <goal name="pow2_60">
  <proof prover="2"><result status="valid" time="0.06"/></proof>
- <proof prover="6" timelimit="8"><result status="valid" time="5.50"/></proof>
- <proof prover="9"><result status="valid" time="2.58"/></proof>
+ <proof prover="6" timelimit="8"><result status="valid" time="6.41"/></proof>
+ <proof prover="9"><result status="valid" time="3.00"/></proof>
  <proof prover="10"><result status="valid" time="0.03" steps="63"/></proof>
  </goal>
  <goal name="pow2_61">
  <proof prover="2"><result status="valid" time="0.00"/></proof>
  <proof prover="6" timelimit="8"><result status="valid" time="6.48"/></proof>
- <proof prover="9"><result status="valid" time="2.72"/></proof>
+ <proof prover="9"><result status="valid" time="3.17"/></proof>
  <proof prover="10"><result status="valid" time="0.03" steps="64"/></proof>
  </goal>
  <goal name="pow2_62">
  <proof prover="2"><result status="valid" time="0.06"/></proof>
- <proof prover="6" timelimit="9"><result status="valid" time="7.24"/></proof>
- <proof prover="9"><result status="valid" time="2.86"/></proof>
+ <proof prover="6" timelimit="9"><result status="valid" time="8.68"/></proof>
+ <proof prover="9"><result status="valid" time="3.32"/></proof>
  <proof prover="10"><result status="valid" time="0.03" steps="65"/></proof>
  </goal>
  <goal name="pow2_63">
  <proof prover="2"><result status="valid" time="0.00"/></proof>
- <proof prover="6" timelimit="9"><result status="valid" time="7.93"/></proof>
- <proof prover="9"><result status="valid" time="2.72"/></proof>
+ <proof prover="6" timelimit="9"><result status="valid" time="9.19"/></proof>
+ <proof prover="9"><result status="valid" time="3.39"/></proof>
  <proof prover="10"><result status="valid" time="0.03" steps="66"/></proof>
  </goal>
  <goal name="Div_mult_inst">
@@ -434,7 +434,7 @@
  <proof prover="4" edited="power2_Pow2int_Mod_pow2_gen_1.v"><result status="valid" time="0.86"/></proof>
  </goal>
 </theory>
-<theory name="Pow2real" sum="10697054f915877b6223d448be038d47" expanded="true">
+<theory name="Pow2real" sum="0e273f8f7b180b28c31c5c490871ded8" expanded="true">
  <goal name="Power_s_all">
  <proof prover="2"><result status="valid" time="0.00"/></proof>
  <proof prover="6"><result status="valid" time="0.00"/></proof>
@@ -470,16 +470,16 @@
  <proof prover="4" edited="power2_Pow2real_Power_non_null_aux_1.v"><result status="valid" time="0.65"/></proof>
  </goal>
  <goal name="Power_neg_aux">
- <proof prover="4" edited="power2_Pow2real_Power_neg_aux_1.v"><result status="valid" time="0.68"/></proof>
+ <proof prover="4" edited="power2_Pow2real_Power_neg_aux_1.v"><result status="valid" time="0.85"/></proof>
  </goal>
  <goal name="Power_non_null">
- <proof prover="4" edited="power2_Pow2real_Power_non_null_1.v"><result status="valid" time="0.64"/></proof>
+ <proof prover="4" edited="power2_Pow2real_Power_non_null_1.v"><result status="valid" time="0.84"/></proof>
  </goal>
  <goal name="Power_neg">
  <proof prover="10"><result status="valid" time="0.02" steps="42"/></proof>
  </goal>
  <goal name="Power_sum_aux">
- <proof prover="4" edited="power2_Pow2real_Power_sum_aux_1.v"><result status="valid" time="0.62"/></proof>
+ <proof prover="4" edited="power2_Pow2real_Power_sum_aux_1.v"><result status="valid" time="0.82"/></proof>
  </goal>
  <goal name="Power_sum">
  <proof prover="4" edited="power2_Pow2real_Power_sum_1.v"><result status="valid" time="0.62"/></proof>