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

temporarily removed Isabelle proofs from example 'genealogy'

parent 891d3ecb
......@@ -39,7 +39,6 @@
<proof prover="9"><result status="valid" time="0.01"/></proof>
<proof prover="10"><result status="unknown" time="2.47"/></proof>
<proof prover="11"><result status="valid" time="0.00"/></proof>
<proof prover="12" edited="genealogy_Genealogy_Child_is_son_or_daughter_1.xml"><result status="valid" time="6.86"/></proof>
<proof prover="13"><result status="unknown" time="0.01"/></proof>
<proof prover="14"><result status="valid" time="0.04"/></proof>
<proof prover="15"><result status="valid" time="0.02"/></proof>
......@@ -62,7 +61,6 @@
<proof prover="9"><result status="valid" time="0.00"/></proof>
<proof prover="10"><result status="valid" time="0.02"/></proof>
<proof prover="11"><result status="valid" time="0.00"/></proof>
<proof prover="12" edited="genealogy_Genealogy_Sibling_sym_1.xml"><result status="valid" time="6.71"/></proof>
<proof prover="13"><result status="valid" time="0.00"/></proof>
<proof prover="14"><result status="timeout" time="5.23"/></proof>
<proof prover="15"><result status="valid" time="0.12"/></proof>
......@@ -84,7 +82,6 @@
<proof prover="9"><result status="valid" time="0.01"/></proof>
<proof prover="10"><result status="unknown" time="3.07"/></proof>
<proof prover="11"><result status="valid" time="0.00"/></proof>
<proof prover="12" edited="genealogy_Genealogy_Sibling_is_brother_or_sister_1.xml"><result status="valid" time="6.92"/></proof>
<proof prover="13"><result status="unknown" time="0.02"/></proof>
<proof prover="14"><result status="valid" time="0.03"/></proof>
<proof prover="15"><result status="valid" time="0.04"/></proof>
......@@ -105,7 +102,6 @@
<proof prover="8"><result status="valid" time="0.00"/></proof>
<proof prover="10"><result status="valid" time="0.03"/></proof>
<proof prover="11"><result status="valid" time="0.00"/></proof>
<proof prover="12" edited="genealogy_Genealogy_Grandparent_is_grandfather_or_grandmother_1.xml"><result status="valid" time="7.12"/></proof>
<proof prover="13"><result status="valid" time="0.04"/></proof>
<proof prover="14"><result status="timeout" time="5.26"/></proof>
<proof prover="15"><result status="valid" time="0.07"/></proof>
......
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