Commit 6e3ce28d authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

fix the coq execution time in two broken sessions

parent 6b98a07c
......@@ -213,7 +213,7 @@
<proof prover="8"><result status="valid" time="0.88"/></proof>
</goal>
<goal name="lemma2">
<proof prover="3" edited="double_of_int_DoubleOfInt_lemma2_1.v"><result status="valid" time="1.74"/></proof>
<proof prover="3" edited="double_of_int_DoubleOfInt_lemma2_1.v"><result status="valid" time="17.64"/></proof>
</goal>
<goal name="nth_var4">
<proof prover="1"><result status="valid" time="1.11" steps="148"/></proof>
......
......@@ -439,7 +439,7 @@
<goal name="sub_valid_coloring.3.1.1.1" expl="1.">
<transf name="split_goal_wp">
<goal name="sub_valid_coloring.3.1.1.1.1" expl="1.">
<proof prover="9" edited="koda_ruskey_KodaRuskey_Spec_sub_valid_coloring_1.v"><result status="valid" time="1.55"/></proof>
<proof prover="9" edited="koda_ruskey_KodaRuskey_Spec_sub_valid_coloring_1.v"><result status="valid" time="4.89"/></proof>
</goal>
<goal name="sub_valid_coloring.3.1.1.1.2" expl="2.">
<proof prover="0" timelimit="6"><result status="valid" time="0.04"/></proof>
......@@ -504,7 +504,7 @@
<proof prover="1" timelimit="11"><result status="valid" time="0.01" steps="12"/></proof>
</goal>
<goal name="WP_parameter sub_valid_coloring_white.10" expl="10. postcondition">
<proof prover="9" edited="koda_ruskey_KodaRuskey_Spec_WP_parameter_sub_valid_coloring_white_1.v"><result status="valid" time="3.47"/></proof>
<proof prover="9" edited="koda_ruskey_KodaRuskey_Spec_WP_parameter_sub_valid_coloring_white_1.v"><result status="valid" time="3.81"/></proof>
</goal>
</transf>
</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