Commit a13953ad authored by MARCHE Claude's avatar MARCHE Claude

update session for edit_distance on moloch

parent 55b5cc61
......@@ -15,14 +15,10 @@
version="8.3pl4"/>
<prover
id="3"
name="Coq"
version="8.4"/>
<prover
id="4"
name="Z3"
version="2.19"/>
<prover
id="5"
id="4"
name="Z3"
version="3.2"/>
<file
......@@ -116,7 +112,7 @@
expanded="false"
shape="ainfix &lt;=ainfix +V6alengthV4ainfix +V2c1AadistV0V5V6Aainfix =V1ainfix ++V4V5EIadistaConsV3V0V1V2F">
<proof
prover="4"
prover="3"
timelimit="10"
memlimit="0"
obsolete="false"
......@@ -438,7 +434,7 @@
<label
name="expl:VC for distance"/>
<proof
prover="4"
prover="3"
timelimit="5"
memlimit="1000"
obsolete="false"
......@@ -1020,13 +1016,13 @@
<label
name="expl:VC for distance"/>
<proof
prover="3"
prover="2"
timelimit="3"
memlimit="1000"
edited="edit_distance_EditDistance_WP_parameter_distance_1.v"
obsolete="false"
archived="false">
<result status="valid" time="1.34"/>
<result status="valid" time="0.84"/>
</proof>
</goal>
<goal
......@@ -1097,7 +1093,7 @@
<result status="valid" time="0.03"/>
</proof>
<proof
prover="5"
prover="4"
timelimit="5"
memlimit="1000"
obsolete="false"
......@@ -1197,13 +1193,13 @@
<label
name="expl:VC for distance"/>
<proof
prover="3"
prover="2"
timelimit="5"
memlimit="1000"
edited="edit_distance_WP_EditDistance_WP_parameter_distance_2.v"
obsolete="false"
archived="false">
<result status="valid" time="1.12"/>
<result status="valid" time="0.65"/>
</proof>
</goal>
<goal
......@@ -1318,13 +1314,13 @@
<label
name="expl:VC for distance"/>
<proof
prover="3"
prover="2"
timelimit="5"
memlimit="1000"
edited="edit_distance_WP_EditDistance_WP_parameter_distance_1.v"
obsolete="false"
archived="false">
<result status="valid" time="1.26"/>
<result status="valid" time="0.76"/>
</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