Commit e23285f7 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

remove CVC3 failure results on some goals

parent eef65842
......@@ -658,14 +658,14 @@
locfile="examples/check-builtin/real/../real.why"
loclnum="29" loccnumb="7" loccnume="17"
verified="true"
expanded="false">
expanded="true">
<goal
name="Log_e"
locfile="examples/check-builtin/real/../real.why"
loclnum="33" loccnumb="8" loccnume="13"
sum="5d5559f827756f1d565d4171bbd37c0a"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =alogaec1.0">
<proof
prover="5"
......@@ -674,13 +674,6 @@
archived="false">
<result status="valid" time="0.01"/>
</proof>
<proof
prover="1"
timelimit="3"
obsolete="false"
archived="false">
<result status="highfailure" time="0.00"/>
</proof>
<proof
prover="0"
timelimit="3"
......@@ -688,13 +681,6 @@
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="2"
timelimit="3"
obsolete="false"
archived="false">
<result status="highfailure" time="0.00"/>
</proof>
<proof
prover="6"
timelimit="3"
......@@ -760,14 +746,14 @@
locfile="examples/check-builtin/real/../real.why"
loclnum="47" loccnumb="7" loccnume="20"
verified="true"
expanded="false">
expanded="true">
<goal
name="Pow_2_2"
locfile="examples/check-builtin/real/../real.why"
loclnum="51" loccnumb="8" loccnume="15"
sum="49c4f6c2eab59fb473e72ca70d4774d9"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =apowc2.0c2.0c4.0">
<proof
prover="5"
......@@ -783,20 +769,6 @@
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="1"
timelimit="3"
obsolete="false"
archived="false">
<result status="highfailure" time="0.00"/>
</proof>
<proof
prover="2"
timelimit="3"
obsolete="false"
archived="false">
<result status="highfailure" time="0.00"/>
</proof>
<proof
prover="6"
timelimit="3"
......@@ -818,7 +790,7 @@
loclnum="62" loccnumb="8" loccnume="16"
sum="b933acc073bf2cd19bc7444f5fe7a44b"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =acosainfix *c2.0apic1.0">
<proof
prover="5"
......@@ -862,7 +834,7 @@
loclnum="63" loccnumb="8" loccnume="16"
sum="f9b7c2446bfea7d86251892545c2c7d3"
proved="true"
expanded="false"
expanded="true"
shape="ainfix =asinainfix *c2.0apic0.">
<proof
prover="5"
......
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