Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 28783d77 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

update sessions

parent 137d4d2c
......@@ -678,7 +678,7 @@
<proof prover="4"><result status="valid" time="0.10" steps="68"/></proof>
</goal>
<goal name="VC nnf_simpl.22" expl="precondition" proved="true">
<proof prover="4"><result status="valid" time="0.24" steps="239"/></proof>
<proof prover="4"><result status="valid" time="0.11" steps="239"/></proof>
</goal>
<goal name="VC nnf_simpl.23" expl="precondition" proved="true">
<proof prover="4"><result status="valid" time="0.14" steps="19"/></proof>
......@@ -840,7 +840,7 @@
<proof prover="1"><result status="valid" time="0.62"/></proof>
</goal>
<goal name="VC nnf_simpl.50.5" expl="postcondition" proved="true">
<proof prover="4"><result status="valid" time="0.22" steps="39"/></proof>
<proof prover="4"><result status="valid" time="0.09" steps="39"/></proof>
</goal>
<goal name="VC nnf_simpl.50.6" expl="postcondition" proved="true">
<proof prover="4" timelimit="1"><result status="valid" time="0.08" steps="23"/></proof>
......@@ -1464,7 +1464,7 @@
<proof prover="4"><result status="valid" time="0.11" steps="67"/></proof>
</goal>
<goal name="VC skolemize.29.1" expl="assertion" proved="true">
<proof prover="4"><result status="valid" time="0.22" steps="68"/></proof>
<proof prover="4"><result status="valid" time="0.10" steps="68"/></proof>
</goal>
</transf>
</goal>
......@@ -1617,7 +1617,7 @@
<goal name="VC skolemize.64" expl="assertion" proved="true">
<transf name="split_goal_right" proved="true" >
<goal name="VC skolemize.64.0" expl="assertion" proved="true">
<proof prover="4"><result status="valid" time="0.22" steps="32"/></proof>
<proof prover="4"><result status="valid" time="0.10" steps="32"/></proof>
</goal>
<goal name="VC skolemize.64.1" expl="assertion" proved="true">
<proof prover="4"><result status="valid" time="0.08" steps="23"/></proof>
......@@ -1709,7 +1709,7 @@
<proof prover="4" timelimit="1"><result status="valid" time="0.26" steps="333"/></proof>
</goal>
<goal name="VC skolemize.76.4" expl="assertion" proved="true">
<proof prover="4"><result status="valid" time="0.21" steps="48"/></proof>
<proof prover="4"><result status="valid" time="0.09" steps="48"/></proof>
</goal>
<goal name="VC skolemize.76.5" expl="assertion" proved="true">
<proof prover="4"><result status="valid" time="0.20" steps="46"/></proof>
......@@ -1731,7 +1731,7 @@
<goal name="VC skolemize.80" expl="assertion" proved="true">
<transf name="split_goal_right" proved="true" >
<goal name="VC skolemize.80.0" expl="assertion" proved="true">
<proof prover="4"><result status="valid" time="0.22" steps="32"/></proof>
<proof prover="4"><result status="valid" time="0.10" steps="32"/></proof>
</goal>
<goal name="VC skolemize.80.1" expl="assertion" proved="true">
<proof prover="4"><result status="valid" time="0.08" steps="23"/></proof>
......@@ -1860,7 +1860,7 @@
<proof prover="4"><result status="valid" time="0.12" steps="67"/></proof>
</goal>
<goal name="VC skolemize.108" expl="assertion" proved="true">
<proof prover="11" timelimit="30"><result status="valid" time="7.57"/></proof>
<proof prover="11" timelimit="30"><result status="valid" time="6.70"/></proof>
</goal>
<goal name="VC skolemize.109" expl="assertion" proved="true">
<proof prover="4"><result status="valid" time="0.10" steps="37"/></proof>
......@@ -1917,7 +1917,7 @@
<proof prover="4"><result status="valid" time="0.10" steps="41"/></proof>
</goal>
<goal name="VC skolemize.116.1" expl="assertion" proved="true">
<proof prover="4"><result status="valid" time="0.31" steps="475"/></proof>
<proof prover="4"><result status="valid" time="0.18" steps="475"/></proof>
</goal>
<goal name="VC skolemize.116.2" expl="assertion" proved="true">
<proof prover="4"><result status="valid" time="0.12" steps="171"/></proof>
......
......@@ -837,7 +837,7 @@
<proof prover="7"><result status="valid" time="0.84"/></proof>
</goal>
<goal name="VC clause_conflicts.50.0.0.0.1" expl="VC for clause_conflicts" proved="true">
<proof prover="7"><result status="valid" time="0.86"/></proof>
<proof prover="7"><result status="valid" time="0.67"/></proof>
</goal>
<goal name="VC clause_conflicts.50.0.0.0.2" expl="VC for clause_conflicts" proved="true">
<proof prover="7"><result status="valid" time="0.75"/></proof>
......@@ -1126,7 +1126,7 @@
<proof prover="2" timelimit="5"><result status="valid" time="0.14" steps="163"/></proof>
</goal>
<goal name="VC decompose.75" expl="precondition" proved="true">
<proof prover="2" timelimit="5"><result status="valid" time="0.25" steps="167"/></proof>
<proof prover="2" timelimit="5"><result status="valid" time="0.12" steps="167"/></proof>
</goal>
<goal name="VC decompose.76" expl="precondition" proved="true">
<proof prover="2" timelimit="5"><result status="valid" time="0.13" steps="44"/></proof>
......@@ -1450,7 +1450,7 @@
<proof prover="2" timelimit="5"><result status="valid" time="0.41" steps="1258"/></proof>
</goal>
<goal name="VC decompose.165" expl="precondition" proved="true">
<proof prover="2" timelimit="5"><result status="valid" time="0.22" steps="33"/></proof>
<proof prover="2" timelimit="5"><result status="valid" time="0.10" steps="33"/></proof>
</goal>
<goal name="VC decompose.166" expl="precondition" proved="true">
<proof prover="2" timelimit="5"><result status="valid" time="0.10" steps="33"/></proof>
......@@ -1923,7 +1923,7 @@
<proof prover="2"><result status="valid" time="0.18" steps="160"/></proof>
</goal>
<goal name="VC decompose_literal.110" expl="precondition" proved="true">
<proof prover="2"><result status="valid" time="0.23" steps="34"/></proof>
<proof prover="2"><result status="valid" time="0.10" steps="34"/></proof>
</goal>
<goal name="VC decompose_literal.111" expl="precondition" proved="true">
<proof prover="2"><result status="valid" time="0.22" steps="161"/></proof>
......@@ -2038,7 +2038,7 @@
<proof prover="2" timelimit="5"><result status="valid" time="0.19" steps="194"/></proof>
</goal>
<goal name="VC contradiction_atom.14" expl="assertion" proved="true">
<proof prover="1" timelimit="5"><result status="valid" time="2.58"/></proof>
<proof prover="1" timelimit="5"><result status="valid" time="2.17"/></proof>
</goal>
<goal name="VC contradiction_atom.15" expl="assertion" proved="true">
<proof prover="1" timelimit="5"><result status="valid" time="0.50"/></proof>
......@@ -2544,7 +2544,7 @@
<proof prover="2"><result status="valid" time="0.13" steps="71"/></proof>
</goal>
<goal name="VC contradiction_atom.136.0.4" expl="VC for contradiction_atom" proved="true">
<proof prover="1"><result status="valid" time="4.58"/></proof>
<proof prover="1"><result status="valid" time="3.90"/></proof>
</goal>
<goal name="VC contradiction_atom.136.0.5" expl="VC for contradiction_atom" proved="true">
<proof prover="1"><result status="valid" time="1.80"/></proof>
......@@ -4355,7 +4355,7 @@
<proof prover="2"><result status="valid" time="0.51" steps="705"/></proof>
</goal>
<goal name="VC contradiction_find_atom.83" expl="precondition" proved="true">
<proof prover="2"><result status="valid" time="0.24" steps="55"/></proof>
<proof prover="2"><result status="valid" time="0.10" steps="55"/></proof>
</goal>
<goal name="VC contradiction_find_atom.84" expl="precondition" proved="true">
<proof prover="2"><result status="valid" time="0.30" steps="274"/></proof>
......@@ -4941,7 +4941,7 @@
</transf>
</goal>
<goal name="VC contradiction_find_neg_atom.44" expl="precondition" proved="true">
<proof prover="2"><result status="valid" time="0.23" steps="36"/></proof>
<proof prover="2"><result status="valid" time="0.10" steps="36"/></proof>
</goal>
<goal name="VC contradiction_find_neg_atom.45" expl="precondition" proved="true">
<proof prover="2"><result status="valid" time="0.14" steps="181"/></proof>
......@@ -5213,7 +5213,7 @@
<proof prover="2"><result status="valid" time="0.18" steps="268"/></proof>
</goal>
<goal name="VC contradiction_find_neg_atom.115" expl="precondition" proved="true">
<proof prover="2"><result status="valid" time="0.30" steps="275"/></proof>
<proof prover="2"><result status="valid" time="0.17" steps="275"/></proof>
</goal>
<goal name="VC contradiction_find_neg_atom.116" expl="precondition" proved="true">
<proof prover="2"><result status="valid" time="0.16" steps="277"/></proof>
......@@ -5317,7 +5317,7 @@
<proof prover="2"><result status="valid" time="0.14" steps="51"/></proof>
</goal>
<goal name="VC contradiction_find_neg_atom.146" expl="precondition" proved="true">
<proof prover="2"><result status="valid" time="0.27" steps="214"/></proof>
<proof prover="2"><result status="valid" time="0.14" steps="214"/></proof>
</goal>
<goal name="VC contradiction_find_neg_atom.147" expl="precondition" proved="true">
<proof prover="2"><result status="valid" time="0.18" steps="51"/></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