Commit 11c393ab authored by MARCHE Claude's avatar MARCHE Claude

Fixed nightly bench

parent 6ae2e294
This diff is collapsed.
......@@ -58,14 +58,14 @@
locfile="../real.why"
loclnum="1" loccnumb="7" loccnume="11"
verified="true"
expanded="false">
expanded="true">
<goal
name="G1"
locfile="../real.why"
loclnum="3" loccnumb="7" loccnume="9"
sum="f22e74114b4f5778642e6fb8e1aa6e2c"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =ainfix *c5.5c10.c55.">
<proof
prover="0"
......@@ -130,7 +130,7 @@
loclnum="4" loccnumb="7" loccnume="9"
sum="05a0d0fb03895693894cfee25d3fff32"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =ainfix /c9.c3.c3.">
<proof
prover="0"
......@@ -187,7 +187,7 @@
loclnum="5" loccnumb="7" loccnume="9"
sum="312676c557397f1a5031ee68334dff93"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =ainvc5.c0.2">
<proof
prover="0"
......@@ -236,14 +236,14 @@
locfile="../real.why"
loclnum="8" loccnumb="7" loccnume="16"
verified="true"
expanded="false">
expanded="true">
<goal
name="Add"
locfile="../real.why"
loclnum="10" loccnumb="7" loccnume="10"
sum="8bfbac14615e39b77fcc42a4155217e4"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =ainfix +.c5.5c10.c15.5">
<proof
prover="0"
......@@ -300,7 +300,7 @@
loclnum="11" loccnumb="7" loccnume="10"
sum="b3938055b08624cfbb8676595682fb40"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =ainfix -.c9.c3.c6.">
<proof
prover="0"
......@@ -357,7 +357,7 @@
loclnum="12" loccnumb="7" loccnume="10"
sum="1765fe05e0479b334aba4f6614ca98f6"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =ainfix +.aprefix -.c5.c3.5aprefix -.c1.5">
<proof
prover="0"
......@@ -414,7 +414,7 @@
loclnum="13" loccnumb="7" loccnume="10"
sum="0ac6a00ac9002e252ef9bf663f4c3df3"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =ainfix *.c5.5c10.c55.">
<proof
prover="0"
......@@ -471,7 +471,7 @@
loclnum="14" loccnumb="7" loccnume="10"
sum="1802e9fa17e0bf221d146d3bbe28495b"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =ainfix /.c9.c2.c4.5">
<proof
prover="0"
......@@ -528,7 +528,7 @@
loclnum="15" loccnumb="7" loccnume="10"
sum="e63ff25892ff9ce90818203b1941363d"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =ainvc5.c0.2">
<proof
prover="0"
......@@ -577,14 +577,14 @@
locfile="../real.why"
loclnum="19" loccnumb="7" loccnume="17"
verified="true"
expanded="false">
expanded="true">
<goal
name="Sqrt_zero"
locfile="../real.why"
loclnum="23" loccnumb="8" loccnume="17"
sum="98eb1ddd6031a75b8ab18f4a1bf0f1b2"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =asqrtc0.0c0.0">
<proof
prover="0"
......@@ -641,7 +641,7 @@
loclnum="24" loccnumb="8" loccnume="16"
sum="1eb539e16354989c54bca32d6a160631"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =asqrtc1.0c1.0">
<proof
prover="0"
......@@ -698,7 +698,7 @@
loclnum="25" loccnumb="8" loccnume="17"
sum="13ae48325c2660cee2ea647cae36bf85"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =asqrtc4.0c2.0">
<proof
prover="0"
......@@ -755,14 +755,14 @@
locfile="../real.why"
loclnum="29" loccnumb="7" loccnume="17"
verified="true"
expanded="false">
expanded="true">
<goal
name="Log_e"
locfile="../real.why"
loclnum="33" loccnumb="8" loccnume="13"
sum="dc1485e8106222533c7662223daeaa02"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =alogaec1.0">
<proof
prover="0"
......@@ -811,14 +811,14 @@
locfile="../real.why"
loclnum="38" loccnumb="7" loccnume="19"
verified="true"
expanded="false">
expanded="true">
<goal
name="Pow_2_2"
locfile="../real.why"
loclnum="42" loccnumb="8" loccnume="15"
sum="28c816ee56765bd89e2b2f38ed957936"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =apowerc2.0c2c4.0">
<proof
prover="0"
......@@ -875,14 +875,14 @@
locfile="../real.why"
loclnum="47" loccnumb="7" loccnume="20"
verified="true"
expanded="false">
expanded="true">
<goal
name="Pow_2_2"
locfile="../real.why"
loclnum="51" loccnumb="8" loccnume="15"
sum="49b6b024614b6f3744a024c0857940c5"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =apowc2.0c2.0c4.0">
<proof
prover="0"
......@@ -915,14 +915,14 @@
locfile="../real.why"
loclnum="56" loccnumb="7" loccnume="23"
verified="true"
expanded="false">
expanded="true">
<goal
name="Cos_2_pi"
locfile="../real.why"
loclnum="62" loccnumb="7" loccnume="15"
sum="e614c6624872c44dd6f01744f10e090b"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =acosainfix *c2.0apic1.0">
<proof
prover="0"
......@@ -971,7 +971,7 @@
loclnum="63" loccnumb="7" loccnume="15"
sum="250c0a19c8f5602d54a2946166cc359e"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =asinainfix *c2.0apic0.0">
<proof
prover="0"
......@@ -1020,7 +1020,7 @@
loclnum="64" loccnumb="7" loccnume="15"
sum="b5b0f055a9b12381f6fbd1bef46c0e84"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =atanainfix /apic4.0c1.0">
<proof
prover="1"
......@@ -1030,14 +1030,6 @@
archived="false">
<result status="timeout" time="4.98"/>
</proof>
<proof
prover="3"
timelimit="5"
memlimit="1000"
obsolete="false"
archived="false">
<result status="highfailure" time="0.01"/>
</proof>
<proof
prover="4"
timelimit="5"
......@@ -1078,7 +1070,7 @@
loclnum="65" loccnumb="7" loccnume="15"
sum="a5e90ec993e69a9add9ac2c4e1f19f49"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =atanainfix /apic3.0asqrtc3.0">
<proof
prover="0"
......@@ -1136,7 +1128,7 @@
loclnum="66" loccnumb="7" loccnume="13"
sum="240f0c9f480749c44dc1abd5d086cd46"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =aatanc1.0ainfix /apic4.0">
<proof
prover="0"
......
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