fixed bench pb with div.why and metis

examples/tests-provers/div/why3session.xml

@@ -105,7 +105,7 @@
     loclnum="14" loccnumb="7" loccnume="10"
     sum="00aa42ebf799ee2bda6806dfdd3d6298"
     proved="true"
-    expanded="false"
+    expanded="true"
     shape="ainfix =adiv_m1_2aprefix -c1">
     <proof
      prover="0"
@@ -211,14 +211,6 @@
      archived="false">
      <result status="timeout" time="18.78"/>
     </proof>
-    <proof
-     prover="13"
-     timelimit="5"
-     memlimit="4000"
-     obsolete="false"
-     archived="false">
-     <result status="unknown" time="5.32"/>
-    </proof>
     <proof
      prover="14"
      timelimit="5"
@@ -290,7 +282,7 @@
     loclnum="15" loccnumb="7" loccnume="10"
     sum="e88ad8c75777e8e48f44fb337f65eaa4"
     proved="true"
-    expanded="false"
+    expanded="true"
     shape="ainfix =amod_m1_2c1">
     <proof
      prover="0"
@@ -475,7 +467,7 @@
     loclnum="16" loccnumb="7" loccnume="10"
     sum="7f0b7fc56fe6bf3288094151b464de02"
     proved="true"
-    expanded="false"
+    expanded="true"
     shape="ainfix =adiv_1_m2c0">
     <proof
      prover="0"
@@ -660,7 +652,7 @@
     loclnum="17" loccnumb="7" loccnume="10"
     sum="255b5065345999dc3677bd21109bd774"
     proved="true"
-    expanded="false"
+    expanded="true"
     shape="ainfix =amod_1_m2c1">
     <proof
      prover="0"
@@ -845,7 +837,7 @@
     loclnum="18" loccnumb="7" loccnume="10"
     sum="a5f8a74e93812f548bf3dc2b18594596"
     proved="true"
-    expanded="false"
+    expanded="true"
     shape="ainfix =adiv_m1_m2c1">
     <proof
      prover="2"
@@ -974,7 +966,7 @@
     loclnum="19" loccnumb="7" loccnume="10"
     sum="f150e5426671e35899b38d2516924e5c"
     proved="true"
-    expanded="false"
+    expanded="true"
     shape="ainfix =amod_m1_m2c1">
     <proof
      prover="2"
@@ -1103,7 +1095,7 @@
     loclnum="21" loccnumb="7" loccnume="13"
     sum="8f9288782be8e026f102facc129bd602"
     proved="false"
-    expanded="false"
+    expanded="true"
     shape="ainfix =adiv_m1_2c0">
     <proof
      prover="0"
@@ -1288,7 +1280,7 @@
     loclnum="22" loccnumb="7" loccnume="13"
     sum="92d095b734804df40512c56c0baa6a10"
     proved="false"
-    expanded="false"
+    expanded="true"
     shape="ainfix =amod_m1_2aprefix -c1">
     <proof
      prover="0"
@@ -1473,7 +1465,7 @@
     loclnum="23" loccnumb="7" loccnume="13"
     sum="2cf6a17995e5cc36ec7e13801e13cb1d"
     proved="false"
-    expanded="false"
+    expanded="true"
     shape="ainfix =adiv_1_m2c1">
     <proof
      prover="0"
@@ -1579,14 +1571,6 @@
      archived="false">
      <result status="timeout" time="6.14"/>
     </proof>
-    <proof
-     prover="13"
-     timelimit="5"
-     memlimit="4000"
-     obsolete="false"
-     archived="false">
-     <result status="unknown" time="5.03"/>
-    </proof>
     <proof
      prover="14"
      timelimit="5"
@@ -1658,7 +1642,7 @@
     loclnum="24" loccnumb="7" loccnume="13"
     sum="336faaad1863ecbdc8aa12eeab499a54"
     proved="false"
-    expanded="false"
+    expanded="true"
     shape="ainfix =amod_1_m2aprefix -c1">
     <proof
      prover="0"
@@ -1843,7 +1827,7 @@
     loclnum="25" loccnumb="7" loccnume="13"
     sum="0078e6f931dde6e1fc367477dd2854db"
     proved="false"
-    expanded="false"
+    expanded="true"
     shape="ainfix =adiv_m1_m2c0">
     <proof
      prover="2"
@@ -1972,7 +1956,7 @@
     loclnum="26" loccnumb="7" loccnume="13"
     sum="3aecba9cfce15d315bbf411414fc4703"
     proved="false"
-    expanded="false"
+    expanded="true"
     shape="ainfix =amod_m1_m2aprefix -c1">
     <proof
      prover="2"
@@ -2108,7 +2092,7 @@
     loclnum="42" loccnumb="7" loccnume="10"
     sum="90abf07f92f93880ed2dff7a5033a2ce"
     proved="true"
-    expanded="false"
+    expanded="true"
     shape="ainfix =adiv_m1_2c0">
     <proof
      prover="0"
@@ -2214,14 +2198,6 @@
      archived="false">
      <result status="unknown" time="0.57"/>
     </proof>
-    <proof
-     prover="13"
-     timelimit="5"
-     memlimit="4000"
-     obsolete="false"
-     archived="false">
-     <result status="unknown" time="5.07"/>
-    </proof>
     <proof
      prover="14"
      timelimit="5"
@@ -2293,7 +2269,7 @@
     loclnum="43" loccnumb="7" loccnume="10"
     sum="6453b177c38984fbf4af7abb6dbd9b03"
     proved="true"
-    expanded="false"
+    expanded="true"
     shape="ainfix =amod_m1_2aprefix -c1">
     <proof
      prover="0"
@@ -2478,7 +2454,7 @@
     loclnum="44" loccnumb="7" loccnume="10"
     sum="bb83ab0166b6ed845ad75ea967b32e57"
     proved="true"
-    expanded="false"
+    expanded="true"
     shape="ainfix =adiv_1_m2c0">
     <proof
      prover="0"
@@ -2663,7 +2639,7 @@
     loclnum="45" loccnumb="7" loccnume="10"
     sum="3957ceff97fd4c03231e7fe235c0041b"
     proved="true"
-    expanded="false"
+    expanded="true"
     shape="ainfix =amod_1_m2c1">
     <proof
      prover="0"
@@ -2848,7 +2824,7 @@
     loclnum="46" loccnumb="7" loccnume="10"
     sum="6ba14a33aa1c61c48bf215062d528e79"
     proved="true"
-    expanded="false"
+    expanded="true"
     shape="ainfix =adiv_m1_m2c0">
     <proof
      prover="2"
@@ -2977,7 +2953,7 @@
     loclnum="47" loccnumb="7" loccnume="10"
     sum="a725ac8c15ae4ba04e3de8b9ceac760a"
     proved="true"
-    expanded="false"
+    expanded="true"
     shape="ainfix =amod_m1_m2aprefix -c1">
     <proof
      prover="2"
@@ -3106,7 +3082,7 @@
     loclnum="49" loccnumb="7" loccnume="13"
     sum="7870d65daf365cb8311310a413f07d69"
     proved="false"
-    expanded="false"
+    expanded="true"
     shape="ainfix =adiv_m1_2aprefix -c1">
     <proof
      prover="0"
@@ -3291,7 +3267,7 @@
     loclnum="50" loccnumb="7" loccnume="13"
     sum="aac8b89b377649f64a8e1a8a3ddd8264"
     proved="false"
-    expanded="false"
+    expanded="true"
     shape="ainfix =amod_m1_2c1">
     <proof
      prover="0"
@@ -3476,7 +3452,7 @@
     loclnum="51" loccnumb="7" loccnume="13"
     sum="d66fdb53d131ca8ec3a8c188cb222b82"
     proved="false"
-    expanded="false"
+    expanded="true"
     shape="ainfix =adiv_1_m2aprefix -c1">
     <proof
      prover="0"
@@ -3582,14 +3558,6 @@
      archived="false">
      <result status="unknown" time="0.61"/>
     </proof>
-    <proof
-     prover="13"
-     timelimit="5"
-     memlimit="4000"
-     obsolete="false"
-     archived="false">
-     <result status="unknown" time="5.16"/>
-    </proof>
     <proof
      prover="14"
      timelimit="5"
@@ -3661,7 +3629,7 @@
     loclnum="52" loccnumb="7" loccnume="13"
     sum="b0328ad68f2f5d652df9f43b15512c95"
     proved="false"
-    expanded="false"
+    expanded="true"
     shape="ainfix =amod_1_m2aprefix -c1">
     <proof
      prover="0"
@@ -3846,7 +3814,7 @@
     loclnum="53" loccnumb="7" loccnume="13"
     sum="bd0abb6924f8847f85b6fa8dab722e4d"
     proved="false"
-    expanded="false"
+    expanded="true"
     shape="ainfix =adiv_m1_m2aprefix -c1">
     <proof
      prover="2"
@@ -3975,7 +3943,7 @@
     loclnum="54" loccnumb="7" loccnume="13"
     sum="55b9be1e7d1f71a7ecedc73878d9ea0f"
     proved="false"
-    expanded="false"
+    expanded="true"
     shape="ainfix =amod_m1_m2c1">
     <proof
      prover="2"