Commit c8b94e09 authored by Sylvain Dailler's avatar Sylvain Dailler

Typo and minor session updating for CVC4 1.5

parent 33f66330
......@@ -3,7 +3,7 @@
Provers
o support for CVC4 1.4 (released Jul 10, 2017)
o support for CVC4 1.5 (released Jul 10, 2017)
o support for E 2.0 (released Jul 4, 2017)
o support for E 1.9.1 (release Aug 31, 2016)
......
......@@ -160,7 +160,7 @@
<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="timeout" time="0.98"/></proof>
<proof prover="6"><result status="invalid" time="0.00"/></proof>
<proof prover="6"><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>
......@@ -184,7 +184,7 @@
<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="timeout" time="0.99"/></proof>
<proof prover="6"><result status="invalid" time="0.00"/></proof>
<proof prover="6"><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>
......@@ -208,7 +208,7 @@
<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.98"/></proof>
<proof prover="6"><result status="invalid" time="0.00"/></proof>
<proof prover="6"><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="0.99"/></proof>
......@@ -233,7 +233,7 @@
<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="0.97"/></proof>
<proof prover="6"><result status="invalid" time="0.00"/></proof>
<proof prover="6"><result status="unknown" time="0.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>
......@@ -257,7 +257,7 @@
<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="0.97"/></proof>
<proof prover="6"><result status="invalid" time="0.00"/></proof>
<proof prover="6"><result status="unknown" time="0.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>
......@@ -281,7 +281,7 @@
<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.97"/></proof>
<proof prover="6"><result status="invalid" time="0.00"/></proof>
<proof prover="6"><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>
......
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