queens: updated proof session

parent ae1d164c
......@@ -7,22 +7,26 @@
version="0.94"/>
<prover
id="1"
name="Alt-Ergo"
version="0.95"/>
<prover
id="2"
name="CVC3"
version="2.2"/>
<prover
id="2"
id="3"
name="CVC3"
version="2.4.1"/>
<prover
id="3"
id="4"
name="Coq"
version="8.3pl4"/>
<prover
id="4"
id="5"
name="Z3"
version="2.19"/>
<prover
id="5"
id="6"
name="Z3"
version="3.2"/>
<file
......@@ -174,7 +178,7 @@
expanded="false"
shape="aeq_solamixfix []V0V3amixfix []V0V4NIainfix &lt;V4V2Aainfix &lt;V3V4Aainfix &lt;=V1V3FIasortedV0V1V2F">
<proof
prover="1"
prover="2"
timelimit="10"
memlimit="0"
obsolete="false"
......@@ -224,7 +228,7 @@
<result status="valid" time="0.04"/>
</proof>
<proof
prover="1"
prover="2"
timelimit="10"
memlimit="0"
obsolete="false"
......@@ -399,7 +403,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="3"
prover="4"
timelimit="10"
memlimit="0"
edited="queens_WP_NQueensSets_WP_parameter_t3_1.v"
......@@ -420,7 +424,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="1"
prover="2"
timelimit="20"
memlimit="0"
obsolete="false"
......@@ -440,7 +444,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="3"
prover="4"
timelimit="10"
memlimit="0"
edited="queens_WP_NQueensSets_WP_parameter_t3_3.v"
......@@ -481,7 +485,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="3"
prover="4"
timelimit="10"
memlimit="0"
edited="queens_WP_NQueensSets_WP_parameter_t3_4.v"
......@@ -540,7 +544,7 @@
<result status="valid" time="0.45"/>
</proof>
<proof
prover="5"
prover="6"
timelimit="15"
memlimit="0"
obsolete="false"
......@@ -568,23 +572,23 @@
<result status="valid" time="0.10"/>
</proof>
<proof
prover="1"
prover="2"
timelimit="30"
memlimit="0"
obsolete="false"
archived="false">
<result status="valid" time="0.64"/>
<result status="valid" time="0.82"/>
</proof>
<proof
prover="2"
prover="3"
timelimit="30"
memlimit="0"
obsolete="false"
archived="false">
<result status="valid" time="11.06"/>
<result status="valid" time="12.52"/>
</proof>
<proof
prover="5"
prover="6"
timelimit="15"
memlimit="0"
obsolete="false"
......@@ -604,13 +608,12 @@
<label
name="expl:VC for t3"/>
<proof
prover="3"
prover="1"
timelimit="30"
memlimit="0"
edited="queens_WP_NQueensSets_WP_parameter_t3_7.v"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="31.50"/>
<result status="valid" time="1.41"/>
</proof>
</goal>
<goal
......@@ -625,13 +628,12 @@
<label
name="expl:VC for t3"/>
<proof
prover="3"
prover="1"
timelimit="30"
memlimit="0"
edited="queens_WP_NQueensSets_WP_parameter_t3_8.v"
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="2.96"/>
<result status="valid" time="2.18"/>
</proof>
</goal>
<goal
......@@ -646,7 +648,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="5"
prover="6"
timelimit="15"
memlimit="0"
obsolete="false"
......@@ -767,7 +769,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="1"
prover="2"
timelimit="10"
memlimit="0"
obsolete="false"
......@@ -787,13 +789,13 @@
<label
name="expl:VC for t3"/>
<proof
prover="3"
prover="4"
timelimit="10"
memlimit="0"
edited="queens_WP_NQueensSets_WP_parameter_t3_5.v"
obsolete="false"
archived="false">
<result status="valid" time="1.87"/>
<result status="valid" time="2.20"/>
</proof>
</goal>
<goal
......@@ -808,7 +810,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="3"
prover="4"
timelimit="10"
memlimit="0"
edited="queens_WP_NQueensSets_WP_parameter_t3_6.v"
......@@ -829,7 +831,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="1"
prover="2"
timelimit="55"
memlimit="0"
obsolete="false"
......@@ -849,7 +851,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="1"
prover="2"
timelimit="10"
memlimit="0"
obsolete="false"
......@@ -869,7 +871,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="1"
prover="2"
timelimit="10"
memlimit="0"
obsolete="false"
......@@ -889,7 +891,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="1"
prover="2"
timelimit="30"
memlimit="0"
obsolete="false"
......@@ -1066,7 +1068,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="3"
prover="4"
timelimit="10"
memlimit="0"
edited="queens_WP_NQueensSets_WP_parameter_t3_2.v"
......@@ -1087,7 +1089,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="1"
prover="2"
timelimit="10"
memlimit="0"
obsolete="false"
......@@ -1107,7 +1109,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="1"
prover="2"
timelimit="10"
memlimit="0"
obsolete="false"
......@@ -1135,7 +1137,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="1"
prover="2"
timelimit="10"
memlimit="0"
obsolete="false"
......@@ -1163,7 +1165,7 @@
<result status="valid" time="0.01"/>
</proof>
<proof
prover="1"
prover="2"
timelimit="10"
memlimit="0"
obsolete="false"
......@@ -1280,7 +1282,7 @@
<label
name="expl:VC for t3"/>
<proof
prover="4"
prover="5"
timelimit="10"
memlimit="0"
obsolete="false"
......@@ -1399,7 +1401,7 @@
<label
name="expl:VC for queens3"/>
<proof
prover="1"
prover="2"
timelimit="10"
memlimit="0"
obsolete="false"
......@@ -1419,7 +1421,7 @@
<label
name="expl:VC for queens3"/>
<proof
prover="1"
prover="2"
timelimit="10"
memlimit="0"
obsolete="false"
......
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