Commit 8eef974b authored by MARCHE Claude's avatar MARCHE Claude
Browse files

update examples/test-provers/div

parent c1d0e321
......@@ -7,6 +7,7 @@
<prover id="2" name="CVC3" version="2.4.1" timelimit="2" steplimit="0" memlimit="4000"/>
<prover id="3" name="Alt-Ergo" version="1.20.prv" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="4" name="Alt-Ergo" version="1.10.prv" timelimit="2" steplimit="0" memlimit="1000"/>
<prover id="5" name="Alt-Ergo" version="1.30" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="7" name="CVC4" version="1.4" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="8" name="Z3" version="4.3.1" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="9" name="Spass" version="3.7" timelimit="1" steplimit="0" memlimit="1000"/>
......@@ -15,7 +16,6 @@
<prover id="14" name="Metis" version="2.3" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="15" name="Gappa" version="1.3.0" timelimit="2" steplimit="0" memlimit="4000"/>
<prover id="16" name="Eprover" version="1.8-001" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="17" name="veriT" version="201310" timelimit="2" steplimit="0" memlimit="4000"/>
<prover id="18" name="iProver" version="0.8.1" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="19" name="Alt-Ergo" version="0.95.2" timelimit="2" steplimit="0" memlimit="1000"/>
<prover id="20" name="CVC4" version="1.3" timelimit="5" steplimit="0" memlimit="1000"/>
......@@ -25,7 +25,7 @@
<prover id="25" name="MetiTarski" version="2.4" timelimit="2" steplimit="0" memlimit="4000"/>
<prover id="26" name="Z3" version="4.3.2" timelimit="1" steplimit="0" memlimit="1000"/>
<file name="../div.why" expanded="true">
<theory name="EuclideanDivTest" sum="3e584ab9c80aff1f54d2f1ee5bdf6bfc" expanded="true">
<theory name="EuclideanDivTest" sum="8d3cb2e3f40e6eae4acdf18b80b6d2fc" expanded="true">
<goal name="ok1">
<proof prover="0"><result status="valid" time="0.00" steps="0"/></proof>
<proof prover="1"><result status="valid" time="0.00" steps="0"/></proof>
......@@ -36,7 +36,7 @@
<proof prover="8"><result status="valid" time="0.00"/></proof>
<proof prover="9"><result status="timeout" time="1.00"/></proof>
<proof prover="13"><result status="valid" time="0.00"/></proof>
<proof prover="14"><result status="unknown" time="1.70"/></proof>
<proof prover="14"><result status="unknown" time="2.10"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.01" steps="0"/></proof>
<proof prover="20"><result status="valid" time="0.00"/></proof>
......@@ -145,6 +145,7 @@
<proof prover="2"><result status="unknown" time="0.02"/></proof>
<proof prover="3"><result status="timeout" time="1.00"/></proof>
<proof prover="4"><result status="unknown" time="0.04"/></proof>
<proof prover="5"><result status="unknown" time="0.12"/></proof>
<proof prover="7"><result status="unknown" time="0.01"/></proof>
<proof prover="8"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="timeout" time="1.00"/></proof>
......@@ -167,6 +168,7 @@
<proof prover="2"><result status="unknown" time="0.02"/></proof>
<proof prover="3"><result status="timeout" time="1.01"/></proof>
<proof prover="4"><result status="unknown" time="0.07"/></proof>
<proof prover="5"><result status="unknown" time="0.15"/></proof>
<proof prover="7"><result status="unknown" time="0.01"/></proof>
<proof prover="8"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="timeout" time="1.01"/></proof>
......@@ -189,6 +191,7 @@
<proof prover="2"><result status="unknown" time="0.05"/></proof>
<proof prover="3"><result status="timeout" time="1.00"/></proof>
<proof prover="4"><result status="unknown" time="0.13"/></proof>
<proof prover="5"><result status="timeout" time="0.99"/></proof>
<proof prover="7"><result status="unknown" time="0.01"/></proof>
<proof prover="8"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="timeout" time="0.99"/></proof>
......@@ -212,6 +215,7 @@
<proof prover="2"><result status="unknown" time="0.06"/></proof>
<proof prover="3"><result status="timeout" time="1.00"/></proof>
<proof prover="4" timelimit="1"><result status="unknown" time="0.23"/></proof>
<proof prover="5"><result status="timeout" time="1.01"/></proof>
<proof prover="7" timelimit="1"><result status="unknown" time="0.01"/></proof>
<proof prover="8"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="timeout" time="1.00"/></proof>
......@@ -222,7 +226,7 @@
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19" timelimit="1"><result status="unknown" time="0.07"/></proof>
<proof prover="20" timelimit="1"><result status="unknown" time="0.03"/></proof>
<proof prover="21"><result status="unknown" time="1.79"/></proof>
<proof prover="21"><result status="unknown" time="2.08"/></proof>
<proof prover="22"><result status="unknown" time="0.00"/></proof>
<proof prover="24" timelimit="1"><result status="unknown" time="0.11"/></proof>
<proof prover="25"><result status="unknown" time="0.14"/></proof>
......@@ -234,6 +238,7 @@
<proof prover="2"><result status="unknown" time="0.06"/></proof>
<proof prover="3"><result status="timeout" time="1.00"/></proof>
<proof prover="4"><result status="unknown" time="0.14"/></proof>
<proof prover="5"><result status="timeout" time="1.01"/></proof>
<proof prover="7"><result status="unknown" time="0.00"/></proof>
<proof prover="8"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="timeout" time="1.09"/></proof>
......@@ -256,12 +261,13 @@
<proof prover="2"><result status="unknown" time="0.08"/></proof>
<proof prover="3"><result status="timeout" time="1.01"/></proof>
<proof prover="4"><result status="unknown" time="0.23"/></proof>
<proof prover="5"><result status="timeout" time="0.99"/></proof>
<proof prover="7"><result status="unknown" time="0.01"/></proof>
<proof prover="8"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="timeout" time="1.00"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="unknown" time="1.71"/></proof>
<proof prover="14"><result status="unknown" time="2.01"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="unknown" time="0.08"/></proof>
......@@ -273,7 +279,7 @@
<proof prover="26"><result status="timeout" time="1.00"/></proof>
</goal>
</theory>
<theory name="ComputerDivTest" sum="e88ff8a75d71641b9d8bebae288f3cd7" expanded="true">
<theory name="ComputerDivTest" sum="17c02e615396b595d58c140294556e55" expanded="true">
<goal name="ok1">
<proof prover="0"><result status="valid" time="0.00" steps="6"/></proof>
<proof prover="1"><result status="valid" time="0.00" steps="6"/></proof>
......@@ -284,7 +290,7 @@
<proof prover="8"><result status="valid" time="0.02"/></proof>
<proof prover="9"><result status="timeout" time="1.02"/></proof>
<proof prover="13"><result status="valid" time="0.01"/></proof>
<proof prover="14"><result status="unknown" time="1.68"/></proof>
<proof prover="14"><result status="unknown" time="2.08"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.02" steps="10"/></proof>
<proof prover="20"><result status="valid" time="0.01"/></proof>
......@@ -299,6 +305,7 @@
<proof prover="2"><result status="valid" time="0.01"/></proof>
<proof prover="3"><result status="valid" time="0.01" steps="10"/></proof>
<proof prover="4"><result status="valid" time="0.01" steps="7"/></proof>
<proof prover="5"><result status="valid" time="0.00" steps="9"/></proof>
<proof prover="7"><result status="valid" time="0.01"/></proof>
<proof prover="8"><result status="valid" time="0.02"/></proof>
<proof prover="9"><result status="timeout" time="1.00"/></proof>
......@@ -318,6 +325,7 @@
<proof prover="2"><result status="valid" time="0.00"/></proof>
<proof prover="3"><result status="valid" time="0.01" steps="14"/></proof>
<proof prover="4"><result status="valid" time="0.00" steps="9"/></proof>
<proof prover="5"><result status="valid" time="0.00" steps="10"/></proof>
<proof prover="7"><result status="valid" time="0.00"/></proof>
<proof prover="8"><result status="valid" time="0.02"/></proof>
<proof prover="9"><result status="timeout" time="1.01"/></proof>
......@@ -337,6 +345,7 @@
<proof prover="2"><result status="valid" time="0.00"/></proof>
<proof prover="3"><result status="valid" time="0.01" steps="7"/></proof>
<proof prover="4"><result status="valid" time="0.00" steps="7"/></proof>
<proof prover="5"><result status="valid" time="0.01" steps="9"/></proof>
<proof prover="7"><result status="valid" time="0.00"/></proof>
<proof prover="8"><result status="valid" time="0.03"/></proof>
<proof prover="9"><result status="timeout" time="1.01"/></proof>
......@@ -356,6 +365,7 @@
<proof prover="2"><result status="valid" time="0.00"/></proof>
<proof prover="3"><result status="valid" time="0.01" steps="14"/></proof>
<proof prover="4"><result status="valid" time="0.00" steps="9"/></proof>
<proof prover="5"><result status="valid" time="0.00" steps="10"/></proof>
<proof prover="7"><result status="valid" time="0.00"/></proof>
<proof prover="8"><result status="valid" time="0.00"/></proof>
<proof prover="9"><result status="timeout" time="1.00"/></proof>
......@@ -375,6 +385,7 @@
<proof prover="2"><result status="valid" time="0.01"/></proof>
<proof prover="3"><result status="valid" time="0.01" steps="10"/></proof>
<proof prover="4"><result status="valid" time="0.01" steps="7"/></proof>
<proof prover="5"><result status="valid" time="0.00" steps="9"/></proof>
<proof prover="7"><result status="valid" time="0.00"/></proof>
<proof prover="8"><result status="valid" time="0.00"/></proof>
<proof prover="9"><result status="timeout" time="1.00"/></proof>
......@@ -394,6 +405,7 @@
<proof prover="2"><result status="unknown" time="0.22"/></proof>
<proof prover="3"><result status="unknown" time="0.01"/></proof>
<proof prover="4"><result status="unknown" time="0.02"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
<proof prover="7"><result status="unknown" time="0.01"/></proof>
<proof prover="8"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="timeout" time="1.00"/></proof>
......@@ -416,12 +428,13 @@
<proof prover="2"><result status="unknown" time="0.13"/></proof>
<proof prover="3"><result status="unknown" time="0.01"/></proof>
<proof prover="4"><result status="unknown" time="0.02"/></proof>
<proof prover="5"><result status="unknown" time="0.02"/></proof>
<proof prover="7"><result status="unknown" time="0.01"/></proof>
<proof prover="8"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="timeout" time="0.99"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="unknown" time="1.72"/></proof>
<proof prover="14"><result status="unknown" time="2.14"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="unknown" time="0.02"/></proof>
......@@ -438,6 +451,7 @@
<proof prover="2"><result status="unknown" time="0.17"/></proof>
<proof prover="3"><result status="unknown" time="0.01"/></proof>
<proof prover="4"><result status="unknown" time="0.02"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
<proof prover="7"><result status="unknown" time="0.01"/></proof>
<proof prover="8"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="timeout" time="1.00"/></proof>
......@@ -446,7 +460,6 @@
<proof prover="14"><result status="unknown" time="1.70"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="17"><result status="unknown" time="0.00"/></proof>
<proof prover="18"><result status="timeout" time="5.14"/></proof>
<proof prover="19"><result status="unknown" time="0.02"/></proof>
<proof prover="20"><result status="unknown" time="0.06"/></proof>
......@@ -462,6 +475,7 @@
<proof prover="2"><result status="unknown" time="0.15"/></proof>
<proof prover="3"><result status="unknown" time="0.02"/></proof>
<proof prover="4" timelimit="1"><result status="unknown" time="0.02"/></proof>
<proof prover="5"><result status="unknown" time="0.02"/></proof>
<proof prover="7" timelimit="1"><result status="unknown" time="0.01"/></proof>
<proof prover="8" timelimit="2"><result status="timeout" time="2.00"/></proof>
<proof prover="9"><result status="timeout" time="1.00"/></proof>
......@@ -484,6 +498,7 @@
<proof prover="2"><result status="unknown" time="0.22"/></proof>
<proof prover="3"><result status="unknown" time="0.02"/></proof>
<proof prover="4"><result status="unknown" time="0.02"/></proof>
<proof prover="5"><result status="unknown" time="0.01"/></proof>
<proof prover="7"><result status="unknown" time="0.01"/></proof>
<proof prover="8"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="timeout" time="1.01"/></proof>
......@@ -506,6 +521,7 @@
<proof prover="2"><result status="unknown" time="0.16"/></proof>
<proof prover="3"><result status="unknown" time="0.02"/></proof>
<proof prover="4"><result status="unknown" time="0.02"/></proof>
<proof prover="5"><result status="unknown" time="0.02"/></proof>
<proof prover="7"><result status="unknown" time="0.01"/></proof>
<proof prover="8"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="timeout" time="1.01"/></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