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

more provers tested on genealogy example

parent 9222d077
......@@ -24,41 +24,49 @@
<prover
id="5"
name="Eprover"
version="1.6"/>
version="1.4"/>
<prover
id="6"
name="Eprover"
version="1.6"/>
<prover
id="7"
name="Metis"
version="2.3"/>
<prover
id="7"
id="8"
name="Simplify"
version="1.5.4"/>
<prover
id="9"
name="Spass"
version="3.7"/>
<prover
id="8"
id="10"
name="Vampire"
version="0.6"/>
<prover
id="9"
id="11"
name="Yices"
version="1.0.38"/>
<prover
id="10"
id="12"
name="Z3"
version="2.19"/>
<prover
id="11"
id="13"
name="Z3"
version="3.2"/>
<prover
id="12"
id="14"
name="Z3"
version="4.3.1"/>
<prover
id="13"
id="15"
name="Zenon"
version="0.7.1"/>
<prover
id="14"
id="16"
name="veriT"
version="201310"/>
<file
......@@ -121,6 +129,14 @@
</proof>
<proof
prover="5"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="6"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -128,7 +144,7 @@
<result status="valid" time="0.00"/>
</proof>
<proof
prover="6"
prover="7"
timelimit="5"
memlimit="1000"
obsolete="false"
......@@ -136,7 +152,15 @@
<result status="valid" time="0.02"/>
</proof>
<proof
prover="7"
prover="8"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="9"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -144,15 +168,15 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="8"
timelimit="5"
memlimit="0"
prover="10"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="9"
prover="11"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -160,7 +184,7 @@
<result status="unknown" time="0.01"/>
</proof>
<proof
prover="10"
prover="12"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -168,7 +192,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="11"
prover="13"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -176,7 +200,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="12"
prover="14"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -184,7 +208,7 @@
<result status="unknown" time="1.88"/>
</proof>
<proof
prover="13"
prover="15"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -192,7 +216,7 @@
<result status="valid" time="0.04"/>
</proof>
<proof
prover="14"
prover="16"
timelimit="60"
memlimit="1000"
obsolete="false"
......@@ -250,6 +274,14 @@
</proof>
<proof
prover="5"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="6"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -257,7 +289,7 @@
<result status="valid" time="0.00"/>
</proof>
<proof
prover="6"
prover="7"
timelimit="5"
memlimit="1000"
obsolete="false"
......@@ -265,15 +297,15 @@
<result status="valid" time="0.12"/>
</proof>
<proof
prover="7"
timelimit="5"
memlimit="0"
prover="8"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="8"
prover="9"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -281,7 +313,15 @@
<result status="valid" time="0.00"/>
</proof>
<proof
prover="9"
prover="10"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="11"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -289,7 +329,7 @@
<result status="valid" time="0.00"/>
</proof>
<proof
prover="10"
prover="12"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -297,7 +337,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="11"
prover="13"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -305,7 +345,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="12"
prover="14"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -313,7 +353,7 @@
<result status="valid" time="0.02"/>
</proof>
<proof
prover="13"
prover="15"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -321,7 +361,7 @@
<result status="timeout" time="5.23"/>
</proof>
<proof
prover="14"
prover="16"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -379,6 +419,14 @@
</proof>
<proof
prover="5"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.01"/>
</proof>
<proof
prover="6"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -386,7 +434,7 @@
<result status="valid" time="0.00"/>
</proof>
<proof
prover="6"
prover="7"
timelimit="5"
memlimit="1000"
obsolete="false"
......@@ -394,7 +442,15 @@
<result status="valid" time="0.04"/>
</proof>
<proof
prover="7"
prover="8"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="9"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -402,15 +458,15 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="8"
timelimit="5"
memlimit="0"
prover="10"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="9"
prover="11"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -418,7 +474,7 @@
<result status="unknown" time="0.02"/>
</proof>
<proof
prover="10"
prover="12"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -426,7 +482,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="11"
prover="13"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -434,7 +490,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="12"
prover="14"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -442,7 +498,7 @@
<result status="unknown" time="2.12"/>
</proof>
<proof
prover="13"
prover="15"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -450,7 +506,7 @@
<result status="valid" time="0.03"/>
</proof>
<proof
prover="14"
prover="16"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -508,6 +564,14 @@
</proof>
<proof
prover="5"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="6"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -515,7 +579,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="6"
prover="7"
timelimit="5"
memlimit="1000"
obsolete="false"
......@@ -523,7 +587,23 @@
<result status="valid" time="0.07"/>
</proof>
<proof
prover="9"
prover="8"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="10"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.01"/>
</proof>
<proof
prover="11"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -531,7 +611,7 @@
<result status="valid" time="0.04"/>
</proof>
<proof
prover="10"
prover="12"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -539,7 +619,7 @@
<result status="valid" time="0.00"/>
</proof>
<proof
prover="11"
prover="13"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -547,7 +627,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="12"
prover="14"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -555,7 +635,7 @@
<result status="valid" time="0.03"/>
</proof>
<proof
prover="13"
prover="15"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -563,7 +643,7 @@
<result status="timeout" time="5.26"/>
</proof>
<proof
prover="14"
prover="16"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -621,6 +701,14 @@
</proof>
<proof
prover="5"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="6"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -628,7 +716,7 @@
<result status="valid" time="0.00"/>
</proof>
<proof
prover="6"
prover="7"
timelimit="5"
memlimit="1000"
obsolete="false"
......@@ -636,7 +724,15 @@
<result status="valid" time="0.03"/>
</proof>
<proof
prover="7"
prover="8"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="9"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -644,15 +740,15 @@
<result status="valid" time="0.02"/>
</proof>
<proof
prover="8"
timelimit="5"
memlimit="0"
prover="10"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.03"/>
</proof>
<proof
prover="9"
prover="11"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -660,7 +756,7 @@
<result status="valid" time="0.02"/>
</proof>
<proof
prover="10"
prover="12"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -668,7 +764,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="11"
prover="13"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -676,7 +772,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="12"
prover="14"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -684,7 +780,7 @@
<result status="valid" time="0.03"/>
</proof>
<proof
prover="13"
prover="15"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -692,7 +788,7 @@
<result status="timeout" time="5.10"/>
</proof>
<proof
prover="14"
prover="16"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -750,6 +846,14 @@
</proof>
<proof
prover="5"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
</proof>
<proof
prover="6"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -757,7 +861,7 @@
<result status="valid" time="0.00"/>
</proof>
<proof
prover="6"
prover="7"
timelimit="5"
memlimit="1000"
obsolete="false"
......@@ -765,7 +869,15 @@
<result status="valid" time="0.03"/>
</proof>
<proof
prover="7"
prover="8"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.01"/>
</proof>
<proof
prover="9"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -773,15 +885,15 @@
<result status="valid" time="0.02"/>
</proof>
<proof
prover="8"
timelimit="5"
memlimit="0"
prover="10"
timelimit="3"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="0.01"/>
</proof>
<proof
prover="9"
prover="11"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -789,7 +901,7 @@
<result status="valid" time="0.03"/>
</proof>
<proof
prover="10"
prover="12"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -797,7 +909,7 @@
<result status="valid" time="0.00"/>
</proof>
<proof
prover="11"
prover="13"
timelimit="5"
memlimit="0"
obsolete="false"
......@@ -805,7 +917,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="12"
prover="14"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -813,7 +925,7 @@
<result status="valid" time="0.03"/>
</proof>
<proof
prover="13"
prover="15"
timelimit="5"
memlimit="4000"
obsolete="false"
......@@ -821,7 +933,7 @@
<result status="timeout" time="5.27"/>
</proof>