-
Notifications
You must be signed in to change notification settings - Fork 0
/
examples.html
17 lines (16 loc) · 1.65 KB
/
examples.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
<h1>Why3 Proof Results for Project "examples"</h1>
<h2><span style="color:#008000">Theory "examples.ValidityTests": fully verified</span></h2>
<table border="1" style="border-collapse:collapse"><tr><td colspan="1">Obligations</td><td text-rotation="90">CVC4 1.8</td></tr>
<tr><td style="background-color:#C0FFC0" colspan="1">TestValidTripleSimpleProg1</td><td style="background-color:#C0FFC0">0.25</td></tr>
<tr><td style="background-color:#C0FFC0" colspan="1">TestValidTripleSimpleProg2</td><td style="background-color:#C0FFC0">0.27</td></tr>
<tr><td style="background-color:#C0FFC0" colspan="1">TestValidTripleSwapProg</td><td style="background-color:#C0FFC0">3.23</td></tr>
<tr><td style="background-color:#C0FFC0" colspan="1">TestValidTripleAltSwapProg</td><td style="background-color:#C0FFC0">2.62</td></tr>
</table>
<h2><span style="color:#008000">Theory "examples.InferenceTests": fully verified</span></h2>
<table border="1" style="border-collapse:collapse"><tr><td colspan="1">Obligations</td><td text-rotation="90">CVC4 1.8</td></tr>
<tr><td style="background-color:#C0FFC0" colspan="1">TestInfSimpleProg0</td><td style="background-color:#C0FFC0">0.10</td></tr>
<tr><td style="background-color:#C0FFC0" colspan="1">TestInfSimpleProg1</td><td style="background-color:#C0FFC0">0.13</td></tr>
<tr><td style="background-color:#C0FFC0" colspan="1">TestInfSimpleProg2</td><td style="background-color:#C0FFC0">0.11</td></tr>
<tr><td style="background-color:#C0FFC0" colspan="1">TestInfSwapProg</td><td style="background-color:#C0FFC0">0.19</td></tr>
<tr><td style="background-color:#C0FFC0" colspan="1">TestInfAltSwapProg</td><td style="background-color:#C0FFC0">0.15</td></tr>
</table>