Commit 21c9b227 authored by MARCHE Claude's avatar MARCHE Claude

Support for Alt-Ergo 2.3.0

parent 5c92af40
...@@ -41,6 +41,7 @@ Realizations ...@@ -41,6 +41,7 @@ Realizations
Provers Provers
* support for CVC4 1.7 (released April 9, 2019) * support for CVC4 1.7 (released April 9, 2019)
* support for Alt-Ergo 2.3.0 (released February 11, 2019)
Version 1.2.0, February 11, 2019 Version 1.2.0, February 11, 2019
-------------------------------- --------------------------------
......
...@@ -38,6 +38,7 @@ ...@@ -38,6 +38,7 @@
<prover id="33" name="Z3" version="4.6.0" timelimit="1" steplimit="0" memlimit="1000"/> <prover id="33" name="Z3" version="4.6.0" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="34" name="Coq" version="8.7.1" timelimit="5" steplimit="0" memlimit="4000"/> <prover id="34" name="Coq" version="8.7.1" timelimit="5" steplimit="0" memlimit="4000"/>
<prover id="35" name="CVC4" version="1.7" timelimit="5" steplimit="0" memlimit="1000"/> <prover id="35" name="CVC4" version="1.7" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="36" name="Alt-Ergo" version="2.3.0" timelimit="5" steplimit="0" memlimit="1000"/>
<file proved="true"> <file proved="true">
<path name=".."/> <path name=".."/>
<path name="genealogy.why"/> <path name="genealogy.why"/>
...@@ -68,13 +69,14 @@ ...@@ -68,13 +69,14 @@
<proof prover="26"><result status="valid" time="0.02"/></proof> <proof prover="26"><result status="valid" time="0.02"/></proof>
<proof prover="27"><result status="valid" time="0.01"/></proof> <proof prover="27"><result status="valid" time="0.01"/></proof>
<proof prover="28"><result status="valid" time="0.01"/></proof> <proof prover="28"><result status="valid" time="0.01"/></proof>
<proof prover="30" edited="genealogy_Genealogy_Child_is_son_or_daughter_1.xml"><result status="valid" time="6.10"/></proof>
<proof prover="29"><result status="valid" time="0.01" steps="1654"/></proof> <proof prover="29"><result status="valid" time="0.01" steps="1654"/></proof>
<proof prover="30" edited="genealogy_Genealogy_Child_is_son_or_daughter_1.xml"><result status="valid" time="6.10"/></proof>
<proof prover="31"><result status="valid" time="0.00"/></proof> <proof prover="31"><result status="valid" time="0.00"/></proof>
<proof prover="32"><result status="valid" time="0.00" steps="5"/></proof> <proof prover="32"><result status="valid" time="0.00" steps="5"/></proof>
<proof prover="33"><result status="valid" time="0.02" steps="1631"/></proof> <proof prover="33"><result status="valid" time="0.02" steps="1631"/></proof>
<proof prover="34" edited="genealogy_Genealogy_Child_is_son_or_daughter_1.v"><result status="valid" time="1.20"/></proof> <proof prover="34" edited="genealogy_Genealogy_Child_is_son_or_daughter_1.v"><result status="valid" time="1.20"/></proof>
<proof prover="35"><result status="valid" time="0.02"/></proof> <proof prover="35"><result status="valid" time="0.02"/></proof>
<proof prover="36"><result status="valid" time="0.00" steps="9"/></proof>
</goal> </goal>
<goal name="Sibling_sym" proved="true"> <goal name="Sibling_sym" proved="true">
<proof prover="0"><result status="valid" time="0.00" steps="3"/></proof> <proof prover="0"><result status="valid" time="0.00" steps="3"/></proof>
...@@ -106,6 +108,7 @@ ...@@ -106,6 +108,7 @@
<proof prover="32"><result status="valid" time="0.00" steps="4"/></proof> <proof prover="32"><result status="valid" time="0.00" steps="4"/></proof>
<proof prover="33"><result status="valid" time="0.02" steps="1983"/></proof> <proof prover="33"><result status="valid" time="0.02" steps="1983"/></proof>
<proof prover="35"><result status="valid" time="0.02"/></proof> <proof prover="35"><result status="valid" time="0.02"/></proof>
<proof prover="36"><result status="valid" time="0.00" steps="4"/></proof>
</goal> </goal>
<goal name="Sibling_is_brother_or_sister" proved="true"> <goal name="Sibling_is_brother_or_sister" proved="true">
<proof prover="0"><result status="valid" time="0.00" steps="10"/></proof> <proof prover="0"><result status="valid" time="0.00" steps="10"/></proof>
...@@ -135,6 +138,7 @@ ...@@ -135,6 +138,7 @@
<proof prover="32"><result status="valid" time="0.00" steps="5"/></proof> <proof prover="32"><result status="valid" time="0.00" steps="5"/></proof>
<proof prover="33"><result status="valid" time="0.02" steps="2763"/></proof> <proof prover="33"><result status="valid" time="0.02" steps="2763"/></proof>
<proof prover="35"><result status="valid" time="0.02"/></proof> <proof prover="35"><result status="valid" time="0.02"/></proof>
<proof prover="36"><result status="valid" time="0.00" steps="9"/></proof>
</goal> </goal>
<goal name="Grandparent_is_grandfather_or_grandmother" proved="true"> <goal name="Grandparent_is_grandfather_or_grandmother" proved="true">
<proof prover="0"><result status="valid" time="0.00" steps="28"/></proof> <proof prover="0"><result status="valid" time="0.00" steps="28"/></proof>
...@@ -165,6 +169,7 @@ ...@@ -165,6 +169,7 @@
<proof prover="32"><result status="valid" time="0.00" steps="20"/></proof> <proof prover="32"><result status="valid" time="0.00" steps="20"/></proof>
<proof prover="33"><result status="valid" time="0.01" steps="4234"/></proof> <proof prover="33"><result status="valid" time="0.01" steps="4234"/></proof>
<proof prover="35"><result status="valid" time="0.02"/></proof> <proof prover="35"><result status="valid" time="0.02"/></proof>
<proof prover="36"><result status="valid" time="0.00" steps="21"/></proof>
</goal> </goal>
<goal name="Grandfather_male" proved="true"> <goal name="Grandfather_male" proved="true">
<proof prover="0"><result status="valid" time="0.00" steps="8"/></proof> <proof prover="0"><result status="valid" time="0.00" steps="8"/></proof>
...@@ -195,6 +200,7 @@ ...@@ -195,6 +200,7 @@
<proof prover="32"><result status="valid" time="0.00" steps="11"/></proof> <proof prover="32"><result status="valid" time="0.00" steps="11"/></proof>
<proof prover="33"><result status="valid" time="0.02" steps="3608"/></proof> <proof prover="33"><result status="valid" time="0.02" steps="3608"/></proof>
<proof prover="35"><result status="valid" time="0.02"/></proof> <proof prover="35"><result status="valid" time="0.02"/></proof>
<proof prover="36"><result status="valid" time="0.00" steps="11"/></proof>
</goal> </goal>
<goal name="Grandmother_female" proved="true"> <goal name="Grandmother_female" proved="true">
<proof prover="0"><result status="valid" time="0.00" steps="8"/></proof> <proof prover="0"><result status="valid" time="0.00" steps="8"/></proof>
...@@ -225,6 +231,7 @@ ...@@ -225,6 +231,7 @@
<proof prover="32"><result status="valid" time="0.00" steps="11"/></proof> <proof prover="32"><result status="valid" time="0.00" steps="11"/></proof>
<proof prover="33"><result status="valid" time="0.01" steps="3614"/></proof> <proof prover="33"><result status="valid" time="0.01" steps="3614"/></proof>
<proof prover="35"><result status="valid" time="0.02"/></proof> <proof prover="35"><result status="valid" time="0.02"/></proof>
<proof prover="36"><result status="valid" time="0.00" steps="11"/></proof>
</goal> </goal>
<goal name="Only_two_grandfathers" proved="true"> <goal name="Only_two_grandfathers" proved="true">
<proof prover="0"><result status="valid" time="0.00" steps="9"/></proof> <proof prover="0"><result status="valid" time="0.00" steps="9"/></proof>
...@@ -258,6 +265,7 @@ ...@@ -258,6 +265,7 @@
<proof prover="32"><result status="valid" time="0.00" steps="18"/></proof> <proof prover="32"><result status="valid" time="0.00" steps="18"/></proof>
<proof prover="33"><result status="valid" time="0.02" steps="3863"/></proof> <proof prover="33"><result status="valid" time="0.02" steps="3863"/></proof>
<proof prover="35"><result status="valid" time="0.02"/></proof> <proof prover="35"><result status="valid" time="0.02"/></proof>
<proof prover="36"><result status="valid" time="0.00" steps="18"/></proof>
</goal> </goal>
</theory> </theory>
</file> </file>
......
[ATP alt-ergo] [ATP alt-ergo]
name = "Alt-Ergo" name = "Alt-Ergo"
exec = "alt-ergo" exec = "alt-ergo"
exec = "alt-ergo-2.3.0"
exec = "alt-ergo-2.2.0" exec = "alt-ergo-2.2.0"
exec = "alt-ergo-2.1.0" exec = "alt-ergo-2.1.0"
exec = "alt-ergo-2.0.0" exec = "alt-ergo-2.0.0"
version_switch = "-version" version_switch = "-version"
version_regexp = "^\\([0-9.]+\\)$" version_regexp = "^\\([0-9.]+\\)$"
version_ok = "2.3.0"
version_ok = "2.2.0" version_ok = "2.2.0"
version_ok = "2.1.0" version_ok = "2.1.0"
version_ok = "2.0.0" version_ok = "2.0.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