Commit 704ad483 authored by Martin Clochard's avatar Martin Clochard

Fix sudoku session

parent 1c611329
......@@ -36,8 +36,8 @@
</goal>
</theory>
<theory name="Solver" sum="4a062cb9d5e1781da2f638dbaa3d66b5" expanded="true">
<goal name="WP_parameter check_valid_chunk" expl="VC for check_valid_chunk">
<proof prover="1"><result status="timeout" time="5.00"/></proof>
<goal name="WP_parameter check_valid_chunk" expl="VC for check_valid_chunk" expanded="true">
<proof prover="1"><result status="valid" time="2.59"/></proof>
<proof prover="2"><result status="valid" time="0.81"/></proof>
<proof prover="3"><result status="valid" time="3.56"/></proof>
</goal>
......@@ -513,7 +513,7 @@
</goal>
<goal name="WP_parameter solve_aux.63" expl="63. loop invariant preservation">
<proof prover="3"><result status="valid" time="2.99"/></proof>
<proof prover="4"><result status="valid" time="1.24"/></proof>
<proof prover="4"><result status="valid" time="0.94"/></proof>
</goal>
<goal name="WP_parameter solve_aux.64" expl="64. exceptional postcondition">
<proof prover="0"><result status="valid" time="0.32"/></proof>
......@@ -578,7 +578,7 @@
</goal>
<goal name="WP_parameter solve_aux.76" expl="76. assertion">
<proof prover="0"><result status="valid" time="0.02"/></proof>
<proof prover="1"><result status="valid" time="0.77"/></proof>
<proof prover="1"><result status="valid" time="0.58"/></proof>
<proof prover="2"><result status="valid" time="0.95"/></proof>
<proof prover="3"><result status="valid" time="0.16"/></proof>
<proof prover="4"><result status="valid" 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