Commit 2cbd45e9 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

updated proof sessions

parent 30e63b57
......@@ -29,7 +29,7 @@
<prover
id="6"
name="Yices"
version="1.0.27"/>
version="1.0.25"/>
<prover
id="7"
name="Z3"
......@@ -112,21 +112,14 @@
timelimit="10"
obsolete="false"
archived="false">
<result status="valid" time="2.58"/>
<result status="valid" time="2.53"/>
</proof>
<proof
prover="2"
timelimit="10"
obsolete="false"
archived="false">
<result status="valid" time="2.15"/>
</proof>
<proof
prover="6"
timelimit="3"
obsolete="false"
archived="false">
<result status="timeout" time="3.02"/>
<result status="valid" time="2.27"/>
</proof>
<proof
prover="8"
......@@ -142,6 +135,13 @@
archived="false">
<result status="unknown" time="2.99"/>
</proof>
<proof
prover="6"
timelimit="3"
obsolete="false"
archived="false">
<result status="timeout" time="3.02"/>
</proof>
<proof
prover="3"
timelimit="3"
......@@ -170,7 +170,7 @@
timelimit="3"
obsolete="false"
archived="false">
<result status="timeout" time="3.01"/>
<result status="timeout" time="3.00"/>
</proof>
<proof
prover="0"
......@@ -191,14 +191,7 @@
timelimit="10"
obsolete="false"
archived="false">
<result status="timeout" time="10.09"/>
</proof>
<proof
prover="6"
timelimit="3"
obsolete="false"
archived="false">
<result status="timeout" time="3.03"/>
<result status="timeout" time="10.08"/>
</proof>
<proof
prover="8"
......@@ -212,7 +205,14 @@
timelimit="3"
obsolete="false"
archived="false">
<result status="unknown" time="3.00"/>
<result status="unknown" time="2.99"/>
</proof>
<proof
prover="6"
timelimit="3"
obsolete="false"
archived="false">
<result status="timeout" time="3.02"/>
</proof>
<proof
prover="3"
......@@ -242,35 +242,28 @@
timelimit="3"
obsolete="false"
archived="false">
<result status="timeout" time="2.99"/>
<result status="timeout" time="3.05"/>
</proof>
<proof
prover="0"
timelimit="10"
obsolete="false"
archived="false">
<result status="unknown" time="0.16"/>
<result status="unknown" time="0.18"/>
</proof>
<proof
prover="1"
timelimit="10"
obsolete="false"
archived="false">
<result status="valid" time="2.05"/>
<result status="valid" time="1.99"/>
</proof>
<proof
prover="2"
timelimit="10"
obsolete="false"
archived="false">
<result status="valid" time="2.36"/>
</proof>
<proof
prover="6"
timelimit="3"
obsolete="false"
archived="false">
<result status="timeout" time="3.03"/>
<result status="valid" time="2.21"/>
</proof>
<proof
prover="8"
......@@ -284,7 +277,14 @@
timelimit="3"
obsolete="false"
archived="false">
<result status="unknown" time="3.00"/>
<result status="unknown" time="3.01"/>
</proof>
<proof
prover="6"
timelimit="3"
obsolete="false"
archived="false">
<result status="timeout" time="3.02"/>
</proof>
<proof
prover="3"
......
......@@ -13,7 +13,7 @@
<prover
id="2"
name="Yices"
version="1.0.27"/>
version="1.0.25"/>
<file
name="../max_matrix.mlw"
verified="true"
......@@ -54,7 +54,7 @@
timelimit="47"
obsolete="false"
archived="false">
<result status="valid" time="4.94"/>
<result status="valid" time="5.10"/>
</proof>
</goal>
<goal
......@@ -90,7 +90,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.06"/>
<result status="valid" time="0.07"/>
</proof>
</goal>
<goal
......@@ -126,7 +126,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.01"/>
<result status="valid" time="0.00"/>
</proof>
</goal>
</transf>
......@@ -148,7 +148,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
<result status="valid" time="0.01"/>
</proof>
</goal>
<goal
......@@ -168,7 +168,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
<result status="valid" time="0.01"/>
</proof>
</goal>
<goal
......@@ -220,7 +220,7 @@
timelimit="10"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
<result status="valid" time="0.01"/>
</proof>
</goal>
<goal
......@@ -240,7 +240,7 @@
timelimit="10"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
<result status="valid" time="0.01"/>
</proof>
</goal>
<goal
......@@ -280,7 +280,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
<result status="valid" time="0.01"/>
</proof>
</goal>
</transf>
......@@ -354,7 +354,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.04"/>
<result status="valid" time="0.03"/>
</proof>
</goal>
</transf>
......@@ -378,7 +378,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
<result status="valid" time="0.01"/>
</proof>
</goal>
<goal
......@@ -414,7 +414,7 @@
timelimit="10"
obsolete="false"
archived="false">
<result status="valid" time="0.40"/>
<result status="valid" time="0.41"/>
</proof>
</goal>
</transf>
......@@ -436,7 +436,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
<result status="valid" time="0.01"/>
</proof>
</goal>
<goal
......@@ -456,7 +456,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.15"/>
<result status="valid" time="0.14"/>
</proof>
</goal>
</transf>
......@@ -494,7 +494,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.02"/>
<result status="valid" time="0.01"/>
</proof>
</goal>
</transf>
......@@ -548,7 +548,7 @@
timelimit="10"
obsolete="false"
archived="false">
<result status="valid" time="0.12"/>
<result status="valid" time="0.13"/>
</proof>
</goal>
</transf>
......@@ -570,7 +570,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
<result status="valid" time="0.01"/>
</proof>
</goal>
</transf>
......@@ -646,7 +646,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.01"/>
<result status="valid" time="0.00"/>
</proof>
</goal>
</transf>
......@@ -668,7 +668,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
<result status="valid" time="0.01"/>
</proof>
</goal>
<goal
......@@ -688,7 +688,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.10"/>
<result status="valid" time="0.08"/>
</proof>
</goal>
</transf>
......@@ -796,7 +796,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.00"/>
<result status="valid" time="0.01"/>
</proof>
</goal>
<goal
......@@ -836,7 +836,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.01"/>
<result status="valid" time="0.00"/>
</proof>
</goal>
<goal
......@@ -856,7 +856,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.01"/>
<result status="valid" time="0.00"/>
</proof>
</goal>
<goal
......@@ -936,7 +936,7 @@
timelimit="30"
obsolete="false"
archived="false">
<result status="valid" time="0.02"/>
<result status="valid" time="0.01"/>
</proof>
</goal>
<goal
......
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