Skip to content

GitLab

Commit e36069e8 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files
Options

Clean timeouts for Metis on tests-provers/div.

parent 190b5286
Hide whitespace changes
Inline Side-by-side
Showing with 24 additions and 24 deletions
examples/tests-provers/div/why3session.xml
View file @ e36069e8
......@@ -44,7 +44,7 @@
<proof prover="10"><result status="valid" time="0.00" steps="1"/></proof>
<proof prover="11"><result status="valid" time="0.00" steps="1"/></proof>
<proof prover="13"><result status="valid" time="0.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.01" steps="0"/></proof>
<proof prover="20"><result status="valid" time="0.00"/></proof>
......@@ -68,7 +68,7 @@
<proof prover="10"><result status="valid" time="0.00" steps="1"/></proof>
<proof prover="11"><result status="valid" time="0.00" steps="1"/></proof>
<proof prover="13"><result status="valid" time="0.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.01" steps="0"/></proof>
<proof prover="20"><result status="valid" time="0.01"/></proof>
......@@ -92,7 +92,7 @@
<proof prover="10"><result status="valid" time="0.00" steps="1"/></proof>
<proof prover="11"><result status="valid" time="0.00" steps="1"/></proof>
<proof prover="13"><result status="valid" time="0.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.02" steps="0"/></proof>
<proof prover="20"><result status="valid" time="0.01"/></proof>
......@@ -116,7 +116,7 @@
<proof prover="10"><result status="valid" time="0.00" steps="1"/></proof>
<proof prover="11"><result status="valid" time="0.00" steps="1"/></proof>
<proof prover="13"><result status="valid" time="0.00"/></proof>
<proof prover="14"><result status="unknown" time="2.06"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.02" steps="0"/></proof>
<proof prover="20"><result status="valid" time="0.01"/></proof>
......@@ -140,7 +140,7 @@
<proof prover="10"><result status="valid" time="0.00" steps="1"/></proof>
<proof prover="11"><result status="valid" time="0.00" steps="1"/></proof>
<proof prover="13"><result status="valid" time="0.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.01" steps="0"/></proof>
<proof prover="20"><result status="valid" time="0.01"/></proof>
......@@ -163,7 +163,7 @@
<proof prover="10"><result status="valid" time="0.00" steps="1"/></proof>
<proof prover="11"><result status="valid" time="0.00" steps="1"/></proof>
<proof prover="13"><result status="valid" time="0.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.02" steps="0"/></proof>
<proof prover="20"><result status="valid" time="0.01"/></proof>
......@@ -188,7 +188,7 @@
<proof prover="11"><result status="unknown" time="0.25"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="unknown" time="0.00"/></proof>
......@@ -215,7 +215,7 @@
<proof prover="11"><result status="unknown" time="0.28"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="unknown" time="0.17"/></proof>
......@@ -242,7 +242,7 @@
<proof prover="11"><result status="timeout" time="1.00"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="18"><result status="timeout" time="5.00"/></proof>
......@@ -270,7 +270,7 @@
<proof prover="11"><result status="timeout" time="1.00"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="15" timelimit="1" memlimit="1000"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19" timelimit="1"><result status="unknown" time="0.07"/></proof>
......@@ -297,7 +297,7 @@
<proof prover="11"><result status="timeout" time="1.00"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="unknown" time="0.00"/></proof>
......@@ -324,7 +324,7 @@
<proof prover="11"><result status="timeout" time="1.00"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="unknown" time="0.08"/></proof>
......@@ -352,7 +352,7 @@
<proof prover="10"><result status="valid" time="0.01" steps="9"/></proof>
<proof prover="11"><result status="valid" time="0.00" steps="9"/></proof>
<proof prover="13"><result status="valid" time="0.01"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.02" steps="10"/></proof>
<proof prover="20"><result status="valid" time="0.01"/></proof>
......@@ -376,7 +376,7 @@
<proof prover="10"><result status="valid" time="0.00" steps="9"/></proof>
<proof prover="11"><result status="valid" time="0.01" steps="9"/></proof>
<proof prover="13"><result status="valid" time="0.01"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.02" steps="9"/></proof>
<proof prover="20"><result status="valid" time="0.00"/></proof>
......@@ -400,7 +400,7 @@
<proof prover="10"><result status="valid" time="0.01" steps="10"/></proof>
<proof prover="11"><result status="valid" time="0.01" steps="10"/></proof>
<proof prover="13"><result status="valid" time="0.01"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.02" steps="9"/></proof>
<proof prover="20"><result status="valid" time="0.00"/></proof>
......@@ -424,7 +424,7 @@
<proof prover="10"><result status="valid" time="0.00" steps="9"/></proof>
<proof prover="11"><result status="valid" time="0.01" steps="9"/></proof>
<proof prover="13"><result status="valid" time="0.02"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.01" steps="9"/></proof>
<proof prover="20"><result status="valid" time="0.01"/></proof>
......@@ -448,7 +448,7 @@
<proof prover="10"><result status="valid" time="0.00" steps="10"/></proof>
<proof prover="11"><result status="valid" time="0.01" steps="10"/></proof>
<proof prover="13"><result status="valid" time="0.01"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.02" steps="9"/></proof>
<proof prover="20"><result status="valid" time="0.00"/></proof>
......@@ -472,7 +472,7 @@
<proof prover="10"><result status="valid" time="0.00" steps="9"/></proof>
<proof prover="11"><result status="valid" time="0.01" steps="9"/></proof>
<proof prover="13"><result status="valid" time="0.01"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="valid" time="0.01" steps="9"/></proof>
<proof prover="20"><result status="valid" time="0.01"/></proof>
......@@ -497,7 +497,7 @@
<proof prover="11"><result status="unknown" time="0.03"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="unknown" time="0.02"/></proof>
......@@ -524,7 +524,7 @@
<proof prover="11"><result status="unknown" time="0.03"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="unknown" time="0.02"/></proof>
......@@ -551,7 +551,7 @@
<proof prover="11"><result status="unknown" time="0.02"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="18"><result status="timeout" time="5.00"/></proof>
......@@ -579,7 +579,7 @@
<proof prover="11"><result status="unknown" time="0.03"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13" timelimit="2"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="unknown" time="0.03"/></proof>
......@@ -606,7 +606,7 @@
<proof prover="11"><result status="unknown" time="0.02"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="unknown" time="0.02"/></proof>
......@@ -633,7 +633,7 @@
<proof prover="11"><result status="unknown" time="0.02"/></proof>
<proof prover="12"><result status="unknown" time="0.01"/></proof>
<proof prover="13"><result status="timeout" time="1.00"/></proof>
<proof prover="14"><result status="timeout" time="2.00"/></proof>
<proof prover="14"><result status="timeout" time="1.00"/></proof>
<proof prover="15"><result status="unknown" time="0.00"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
<proof prover="19"><result status="unknown" time="0.03"/></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