Skip to content

GitLab

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

Revert "temporarily removed Isabelle proofs from example 'genealogy'" 

This reverts commit bc114561.
parent e274a7a3
Show whitespace changes
Inline Side-by-side
examples/logic/genealogy/why3session.xml
View file @ eeec93b5
......@@ -39,6 +39,7 @@
<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>
......@@ -61,6 +62,7 @@
<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>
......@@ -82,6 +84,7 @@
<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>
......@@ -102,6 +105,7 @@
<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