MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

why3session.xml 30.7 KB
Newer Older
1
<?xml version="1.0" encoding="UTF-8"?>
2
3
<!DOCTYPE why3session PUBLIC "-//Why3//proof session v5//EN"
"http://why3.lri.fr/why3session.dtd">
Andrei Paskevich's avatar
Andrei Paskevich committed
4
<why3session shape_version="4">
5
<prover id="0" name="CVC4" version="1.2" timelimit="2" memlimit="4000"/>
6
7
8
<prover id="1" name="Eprover" version="1.6" timelimit="2" memlimit="4000"/>
<prover id="2" name="CVC3" version="2.4.1" timelimit="2" memlimit="4000"/>
<prover id="4" name="Alt-Ergo" version="0.94" timelimit="2" memlimit="4000"/>
9
<prover id="7" name="CVC4" version="1.4" timelimit="5" memlimit="1000"/>
10
11
12
13
<prover id="8" name="Z3" version="4.3.1" timelimit="2" memlimit="4000"/>
<prover id="9" name="Spass" version="3.7" timelimit="2" memlimit="4000"/>
<prover id="10" name="Eprover" version="1.4" timelimit="2" memlimit="4000"/>
<prover id="11" name="CVC3" version="2.2" timelimit="2" memlimit="4000"/>
MARCHE Claude's avatar
MARCHE Claude committed
14
<prover id="12" name="Yices" version="1.0.38" timelimit="2" memlimit="4000"/>
15
16
17
18
19
<prover id="13" name="Z3" version="3.2" timelimit="2" memlimit="4000"/>
<prover id="14" name="Metis" version="2.3" timelimit="2" memlimit="4000"/>
<prover id="15" name="Gappa" version="1.1.1" timelimit="2" memlimit="4000"/>
<prover id="16" name="Eprover" version="1.8-001" timelimit="2" memlimit="4000"/>
<prover id="17" name="veriT" version="201310" timelimit="2" memlimit="4000"/>
MARCHE Claude's avatar
MARCHE Claude committed
20
<prover id="18" name="iProver" version="0.8.1" timelimit="2" memlimit="4000"/>
21
<prover id="19" name="Alt-Ergo" version="0.95.2" timelimit="2" memlimit="4000"/>
22
<prover id="20" name="CVC4" version="1.3" timelimit="5" memlimit="1000"/>
MARCHE Claude's avatar
MARCHE Claude committed
23
<prover id="21" name="Vampire" version="0.6" timelimit="2" memlimit="4000"/>
MARCHE Claude's avatar
MARCHE Claude committed
24
25
<prover id="22" name="veriT" version="201410" timelimit="5" memlimit="1000"/>
<prover id="23" name="Alt-Ergo" version="1.00.prv" timelimit="5" memlimit="1000"/>
26
27
28
<prover id="24" name="Alt-Ergo" version="0.99.1" timelimit="2" memlimit="4000"/>
<prover id="25" name="MetiTarski" version="2.4" timelimit="2" memlimit="4000"/>
<prover id="26" name="Z3" version="4.3.2" timelimit="2" memlimit="4000"/>
MARCHE Claude's avatar
MARCHE Claude committed
29
<file name="../div.why" expanded="true">
MARCHE Claude's avatar
MARCHE Claude committed
30
<theory name="EuclideanDivTest" sum="3e584ab9c80aff1f54d2f1ee5bdf6bfc" expanded="true">
31
 <goal name="ok1">
32
 <proof prover="2"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
33
 <proof prover="7"><result status="valid" time="0.00"/></proof>
34
 <proof prover="8" timelimit="5" memlimit="1000"><result status="valid" time="0.00"/></proof>
35
36
 <proof prover="13"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="valid" time="0.01" steps="1"/></proof>
37
 <proof prover="20"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
38
 <proof prover="22"><result status="valid" time="0.00"/></proof>
39
40
 <proof prover="24"><result status="valid" time="0.00" steps="1"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
41
 </goal>
42
 <goal name="ok2">
43
 <proof prover="2"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
44
 <proof prover="7"><result status="valid" time="0.00"/></proof>
45
 <proof prover="8" timelimit="5" memlimit="1000"><result status="valid" time="0.00"/></proof>
46
47
 <proof prover="13"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="valid" time="0.01" steps="1"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
48
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
49
 <proof prover="22"><result status="valid" time="0.00"/></proof>
50
51
 <proof prover="24"><result status="valid" time="0.01" steps="1"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
52
 </goal>
53
 <goal name="ok3">
54
 <proof prover="2"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
55
 <proof prover="7"><result status="valid" time="0.00"/></proof>
56
 <proof prover="8" timelimit="5" memlimit="1000"><result status="valid" time="0.00"/></proof>
57
58
 <proof prover="13"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="9"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
59
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
60
 <proof prover="22"><result status="valid" time="0.00"/></proof>
61
62
 <proof prover="24"><result status="valid" time="0.01" steps="6"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
63
 </goal>
64
 <goal name="ok4">
65
 <proof prover="2"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
66
 <proof prover="7"><result status="valid" time="0.00"/></proof>
67
 <proof prover="8" timelimit="5" memlimit="1000"><result status="valid" time="0.00"/></proof>
68
69
 <proof prover="13"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="6"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
70
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
71
 <proof prover="22"><result status="valid" time="0.00"/></proof>
72
73
 <proof prover="24"><result status="valid" time="0.00" steps="6"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
74
 </goal>
75
 <goal name="ok5">
76
 <proof prover="2"><result status="valid" time="0.00"/></proof>
77
 <proof prover="7"><result status="valid" time="0.00"/></proof>
78
 <proof prover="8" timelimit="5" memlimit="1000"><result status="valid" time="0.00"/></proof>
79
80
 <proof prover="13"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="valid" time="0.01" steps="9"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
81
 <proof prover="20"><result status="valid" time="0.01"/></proof>
82
83
 <proof prover="24"><result status="valid" time="0.01" steps="8"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
84
 </goal>
85
 <goal name="ok6">
86
 <proof prover="2"><result status="valid" time="0.00"/></proof>
87
 <proof prover="7"><result status="valid" time="0.00"/></proof>
88
 <proof prover="8" timelimit="5" memlimit="1000"><result status="valid" time="0.00"/></proof>
89
90
 <proof prover="13"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="6"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
91
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
92
 <proof prover="22"><result status="valid" time="0.00"/></proof>
93
94
 <proof prover="24"><result status="valid" time="0.01" steps="6"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
95
 </goal>
96
 <goal name="smoke1">
97
98
 <proof prover="0" obsolete="true"><result status="unknown" time="0.01"/></proof>
 <proof prover="1" obsolete="true"><result status="timeout" time="1.99"/></proof>
99
 <proof prover="2"><result status="unknown" time="0.02"/></proof>
100
 <proof prover="4" obsolete="true"><result status="unknown" time="0.28"/></proof>
101
 <proof prover="7"><result status="unknown" time="0.00"/></proof>
102
 <proof prover="8" timelimit="5" memlimit="1000"><result status="timeout" time="4.98"/></proof>
103
 <proof prover="9"><result status="timeout" time="2.03"/></proof>
104
105
106
 <proof prover="10" obsolete="true"><result status="timeout" time="1.99"/></proof>
 <proof prover="11" obsolete="true"><result status="unknown" time="0.02"/></proof>
 <proof prover="12" obsolete="true"><result status="unknown" time="0.00"/></proof>
107
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
108
109
 <proof prover="14"><result status="timeout" time="2.01"/></proof>
 <proof prover="15" obsolete="true"><result status="unknown" time="0.00"/></proof>
110
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
111
 <proof prover="17" obsolete="true"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
112
 <proof prover="18"><result status="timeout" time="2.05"/></proof>
113
 <proof prover="19"><result status="unknown" time="0.14"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
114
 <proof prover="20"><result status="unknown" time="0.01"/></proof>
115
 <proof prover="21"><result status="timeout" time="2.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
116
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
117
118
119
120
 <proof prover="23" obsolete="true"><result status="unknown" time="0.05"/></proof>
 <proof prover="24"><result status="unknown" time="0.28"/></proof>
 <proof prover="25"><result status="unknown" time="0.35"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
121
 </goal>
122
 <goal name="smoke2">
123
124
 <proof prover="0" obsolete="true"><result status="unknown" time="0.00"/></proof>
 <proof prover="1" obsolete="true"><result status="timeout" time="1.98"/></proof>
125
 <proof prover="2"><result status="unknown" time="0.02"/></proof>
126
 <proof prover="4" obsolete="true"><result status="unknown" time="0.53"/></proof>
127
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
128
 <proof prover="8" timelimit="5" memlimit="1000"><result status="timeout" time="4.90"/></proof>
129
 <proof prover="9"><result status="timeout" time="2.01"/></proof>
130
131
132
 <proof prover="10" obsolete="true"><result status="timeout" time="1.99"/></proof>
 <proof prover="11" obsolete="true"><result status="unknown" time="0.02"/></proof>
 <proof prover="12" obsolete="true"><result status="unknown" time="0.00"/></proof>
133
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
134
135
 <proof prover="14"><result status="timeout" time="2.05"/></proof>
 <proof prover="15" obsolete="true"><result status="unknown" time="0.00"/></proof>
136
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
137
 <proof prover="17" obsolete="true"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
138
 <proof prover="18"><result status="timeout" time="2.05"/></proof>
139
 <proof prover="19"><result status="unknown" time="0.31"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
140
 <proof prover="20"><result status="unknown" time="0.01"/></proof>
141
 <proof prover="21"><result status="timeout" time="2.11"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
142
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
143
144
145
146
 <proof prover="23" obsolete="true"><result status="unknown" time="0.08"/></proof>
 <proof prover="24"><result status="unknown" time="0.25"/></proof>
 <proof prover="25"><result status="unknown" time="0.23"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
147
 </goal>
148
 <goal name="smoke3">
149
150
 <proof prover="0" obsolete="true"><result status="unknown" time="0.01"/></proof>
 <proof prover="1" obsolete="true"><result status="timeout" time="2.00"/></proof>
151
 <proof prover="2"><result status="unknown" time="0.06"/></proof>
152
 <proof prover="4" obsolete="true"><result status="unknown" time="0.14"/></proof>
153
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
154
 <proof prover="8" timelimit="5" memlimit="1000"><result status="timeout" time="4.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
155
 <proof prover="9"><result status="timeout" time="2.00"/></proof>
156
157
158
 <proof prover="10" obsolete="true"><result status="timeout" time="2.00"/></proof>
 <proof prover="11" obsolete="true"><result status="unknown" time="0.05"/></proof>
 <proof prover="12" obsolete="true"><result status="unknown" time="0.00"/></proof>
159
 <proof prover="13"><result status="timeout" time="1.98"/></proof>
160
161
 <proof prover="14"><result status="timeout" time="2.20"/></proof>
 <proof prover="15" obsolete="true"><result status="unknown" time="0.00"/></proof>
162
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
163
 <proof prover="17" obsolete="true"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
164
 <proof prover="18"><result status="timeout" time="2.04"/></proof>
165
 <proof prover="19"><result status="unknown" time="0.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
166
 <proof prover="20"><result status="unknown" time="0.01"/></proof>
167
 <proof prover="21"><result status="timeout" time="2.11"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
168
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
169
170
171
172
 <proof prover="23" obsolete="true"><result status="unknown" time="0.18"/></proof>
 <proof prover="24"><result status="unknown" time="0.38"/></proof>
 <proof prover="25"><result status="unknown" time="0.11"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
173
 </goal>
174
 <goal name="smoke4">
175
176
 <proof prover="0" obsolete="true"><result status="unknown" time="0.00"/></proof>
 <proof prover="1" obsolete="true"><result status="timeout" time="1.99"/></proof>
177
 <proof prover="2"><result status="unknown" time="0.06"/></proof>
178
 <proof prover="4" obsolete="true"><result status="unknown" time="0.18"/></proof>
179
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
180
 <proof prover="8" timelimit="5" memlimit="1000"><result status="timeout" time="4.93"/></proof>
181
 <proof prover="9"><result status="timeout" time="2.05"/></proof>
182
183
184
 <proof prover="10" obsolete="true"><result status="timeout" time="1.99"/></proof>
 <proof prover="11" obsolete="true"><result status="unknown" time="0.04"/></proof>
 <proof prover="12" obsolete="true"><result status="unknown" time="0.00"/></proof>
185
 <proof prover="13"><result status="timeout" time="1.98"/></proof>
186
187
 <proof prover="14"><result status="timeout" time="2.03"/></proof>
 <proof prover="15" obsolete="true"><result status="unknown" time="0.00"/></proof>
188
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
189
 <proof prover="17" obsolete="true"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
190
 <proof prover="18"><result status="timeout" time="2.06"/></proof>
191
 <proof prover="19"><result status="unknown" time="0.23"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
192
 <proof prover="20"><result status="unknown" time="0.02"/></proof>
193
 <proof prover="21"><result status="timeout" time="2.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
194
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
195
196
197
198
 <proof prover="23" obsolete="true"><result status="unknown" time="0.32"/></proof>
 <proof prover="24"><result status="unknown" time="0.32"/></proof>
 <proof prover="25"><result status="unknown" time="0.29"/></proof>
 <proof prover="26"><result status="timeout" time="1.98"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
199
 </goal>
200
 <goal name="smoke5">
201
202
 <proof prover="0" obsolete="true"><result status="unknown" time="0.01"/></proof>
 <proof prover="1" obsolete="true"><result status="timeout" time="1.99"/></proof>
203
 <proof prover="2"><result status="unknown" time="0.05"/></proof>
204
 <proof prover="4" obsolete="true"><result status="unknown" time="0.08"/></proof>
205
 <proof prover="7"><result status="unknown" time="0.00"/></proof>
206
 <proof prover="8" timelimit="5" memlimit="1000"><result status="timeout" time="4.91"/></proof>
207
 <proof prover="9"><result status="timeout" time="2.00"/></proof>
208
209
210
 <proof prover="10" obsolete="true"><result status="timeout" time="1.99"/></proof>
 <proof prover="11" obsolete="true"><result status="unknown" time="0.05"/></proof>
 <proof prover="12" obsolete="true"><result status="unknown" time="0.00"/></proof>
211
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
212
213
 <proof prover="14"><result status="timeout" time="2.36"/></proof>
 <proof prover="15" obsolete="true"><result status="unknown" time="0.00"/></proof>
214
 <proof prover="16"><result status="timeout" time="2.00"/></proof>
215
 <proof prover="17" obsolete="true"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
216
 <proof prover="18"><result status="timeout" time="2.05"/></proof>
217
 <proof prover="19"><result status="unknown" time="0.06"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
218
 <proof prover="20"><result status="unknown" time="0.01"/></proof>
219
 <proof prover="21"><result status="timeout" time="2.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
220
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
221
222
223
224
 <proof prover="23" obsolete="true"><result status="unknown" time="0.04"/></proof>
 <proof prover="24"><result status="unknown" time="0.05"/></proof>
 <proof prover="25"><result status="unknown" time="0.26"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
225
 </goal>
226
 <goal name="smoke6">
227
228
 <proof prover="0" obsolete="true"><result status="unknown" time="0.01"/></proof>
 <proof prover="1" obsolete="true"><result status="timeout" time="2.00"/></proof>
229
 <proof prover="2"><result status="unknown" time="0.06"/></proof>
230
 <proof prover="4" obsolete="true"><result status="unknown" time="0.10"/></proof>
231
 <proof prover="7"><result status="unknown" time="0.00"/></proof>
232
 <proof prover="8" timelimit="5" memlimit="1000"><result status="timeout" time="4.97"/></proof>
233
 <proof prover="9"><result status="timeout" time="2.01"/></proof>
234
235
236
 <proof prover="10" obsolete="true"><result status="timeout" time="1.99"/></proof>
 <proof prover="11" obsolete="true"><result status="unknown" time="0.05"/></proof>
 <proof prover="12" obsolete="true"><result status="unknown" time="0.00"/></proof>
237
 <proof prover="13"><result status="timeout" time="1.98"/></proof>
238
239
 <proof prover="14"><result status="timeout" time="2.08"/></proof>
 <proof prover="15" obsolete="true"><result status="unknown" time="0.00"/></proof>
240
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
241
 <proof prover="17" obsolete="true"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
242
 <proof prover="18"><result status="timeout" time="2.04"/></proof>
243
 <proof prover="19"><result status="unknown" time="0.07"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
244
 <proof prover="20"><result status="unknown" time="0.05"/></proof>
245
 <proof prover="21"><result status="timeout" time="2.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
246
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
247
248
249
250
 <proof prover="23" obsolete="true"><result status="unknown" time="0.05"/></proof>
 <proof prover="24"><result status="unknown" time="0.06"/></proof>
 <proof prover="25"><result status="unknown" time="0.23"/></proof>
 <proof prover="26"><result status="timeout" time="1.98"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
251
252
 </goal>
</theory>
253
<theory name="ComputerDivTest" sum="e88ff8a75d71641b9d8bebae288f3cd7" expanded="true">
254
 <goal name="ok1">
255
256
257
258
259
 <proof prover="2"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.02"/></proof>
 <proof prover="13"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
260
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
261
 <proof prover="22"><result status="valid" time="0.00"/></proof>
262
263
 <proof prover="24"><result status="valid" time="0.02" steps="9"/></proof>
 <proof prover="26"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
264
 </goal>
265
 <goal name="ok2">
266
267
268
269
270
 <proof prover="2"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.01"/></proof>
 <proof prover="8"><result status="valid" time="0.02"/></proof>
 <proof prover="13"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="9"/></proof>
271
 <proof prover="20"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
272
 <proof prover="22"><result status="valid" time="0.00"/></proof>
273
274
 <proof prover="24"><result status="valid" time="0.02" steps="8"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
275
 </goal>
276
 <goal name="ok3">
277
278
279
280
281
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.02"/></proof>
 <proof prover="13"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="9"/></proof>
282
 <proof prover="20"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
283
 <proof prover="22"><result status="valid" time="0.00"/></proof>
284
285
 <proof prover="24"><result status="valid" time="0.02" steps="15"/></proof>
 <proof prover="26"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
286
 </goal>
287
 <goal name="ok4">
288
289
290
291
292
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.03"/></proof>
 <proof prover="13"><result status="valid" time="0.02"/></proof>
 <proof prover="19"><result status="valid" time="0.01" steps="9"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
293
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
294
 <proof prover="22"><result status="valid" time="0.00"/></proof>
295
296
 <proof prover="24"><result status="valid" time="0.03" steps="8"/></proof>
 <proof prover="26"><result status="valid" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
297
 </goal>
298
 <goal name="ok5">
299
300
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
301
 <proof prover="8"><result status="valid" time="0.00"/></proof>
302
303
 <proof prover="13"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="9"/></proof>
304
 <proof prover="20"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
305
 <proof prover="22"><result status="valid" time="0.00"/></proof>
306
307
 <proof prover="24"><result status="valid" time="0.01" steps="15"/></proof>
 <proof prover="26"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
308
 </goal>
309
 <goal name="ok6">
310
311
 <proof prover="2"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
312
 <proof prover="8"><result status="valid" time="0.00"/></proof>
313
314
 <proof prover="13"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.01" steps="9"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
315
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
316
 <proof prover="22"><result status="valid" time="0.00"/></proof>
317
318
 <proof prover="24"><result status="valid" time="0.01" steps="8"/></proof>
 <proof prover="26"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
319
 </goal>
320
 <goal name="smoke1">
321
322
323
324
 <proof prover="0" obsolete="true"><result status="unknown" time="0.01"/></proof>
 <proof prover="1" obsolete="true"><result status="timeout" time="2.00"/></proof>
 <proof prover="2"><result status="unknown" time="0.35"/></proof>
 <proof prover="4" obsolete="true"><result status="unknown" time="0.02"/></proof>
325
326
327
 <proof prover="7"><result status="unknown" time="0.02"/></proof>
 <proof prover="8"><result status="timeout" time="1.99"/></proof>
 <proof prover="9"><result status="timeout" time="2.03"/></proof>
328
329
330
 <proof prover="10" obsolete="true"><result status="timeout" time="2.00"/></proof>
 <proof prover="11" obsolete="true"><result status="unknown" time="0.12"/></proof>
 <proof prover="12" obsolete="true"><result status="unknown" time="0.00"/></proof>
331
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
332
333
 <proof prover="14"><result status="timeout" time="2.23"/></proof>
 <proof prover="15" obsolete="true"><result status="unknown" time="0.00"/></proof>
334
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
335
 <proof prover="17" obsolete="true"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
336
 <proof prover="18"><result status="timeout" time="2.04"/></proof>
337
 <proof prover="19"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
338
 <proof prover="20"><result status="unknown" time="0.02"/></proof>
339
 <proof prover="21"><result status="timeout" time="2.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
340
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
341
342
343
344
 <proof prover="23" obsolete="true"><result status="unknown" time="0.01"/></proof>
 <proof prover="24"><result status="unknown" time="0.02"/></proof>
 <proof prover="25"><result status="unknown" time="0.32"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
345
 </goal>
346
 <goal name="smoke2">
347
348
349
350
 <proof prover="0" obsolete="true"><result status="unknown" time="0.02"/></proof>
 <proof prover="1" obsolete="true"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="unknown" time="0.24"/></proof>
 <proof prover="4" obsolete="true"><result status="unknown" time="0.05"/></proof>
351
352
353
 <proof prover="7"><result status="unknown" time="0.02"/></proof>
 <proof prover="8"><result status="timeout" time="1.99"/></proof>
 <proof prover="9"><result status="timeout" time="2.01"/></proof>
354
355
356
 <proof prover="10" obsolete="true"><result status="timeout" time="1.99"/></proof>
 <proof prover="11" obsolete="true"><result status="unknown" time="0.07"/></proof>
 <proof prover="12" obsolete="true"><result status="unknown" time="0.00"/></proof>
357
 <proof prover="13"><result status="timeout" time="1.98"/></proof>
358
359
 <proof prover="14"><result status="timeout" time="2.07"/></proof>
 <proof prover="15" obsolete="true"><result status="unknown" time="0.00"/></proof>
360
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
361
 <proof prover="17" obsolete="true"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
362
 <proof prover="18"><result status="timeout" time="2.05"/></proof>
363
 <proof prover="19"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
364
 <proof prover="20"><result status="unknown" time="0.03"/></proof>
365
 <proof prover="21"><result status="timeout" time="2.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
366
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
367
368
369
370
 <proof prover="23" obsolete="true"><result status="unknown" time="0.01"/></proof>
 <proof prover="24"><result status="unknown" time="0.04"/></proof>
 <proof prover="25"><result status="unknown" time="0.24"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
371
 </goal>
372
 <goal name="smoke3">
373
374
375
376
 <proof prover="0" obsolete="true"><result status="unknown" time="0.01"/></proof>
 <proof prover="1" obsolete="true"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="unknown" time="0.29"/></proof>
 <proof prover="4" obsolete="true"><result status="unknown" time="0.01"/></proof>
377
378
379
 <proof prover="7"><result status="unknown" time="0.02"/></proof>
 <proof prover="8"><result status="timeout" time="1.99"/></proof>
 <proof prover="9"><result status="timeout" time="2.00"/></proof>
380
381
382
 <proof prover="10" obsolete="true"><result status="timeout" time="1.99"/></proof>
 <proof prover="11" obsolete="true"><result status="unknown" time="0.12"/></proof>
 <proof prover="12" obsolete="true"><result status="unknown" time="0.00"/></proof>
383
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
384
385
 <proof prover="14"><result status="timeout" time="2.09"/></proof>
 <proof prover="15" obsolete="true"><result status="unknown" time="0.00"/></proof>
386
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
387
 <proof prover="17" obsolete="true"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
388
 <proof prover="18"><result status="timeout" time="2.07"/></proof>
389
 <proof prover="19"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
390
 <proof prover="20"><result status="unknown" time="0.05"/></proof>
391
 <proof prover="21"><result status="timeout" time="2.07"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
392
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
393
394
395
396
 <proof prover="23" obsolete="true"><result status="unknown" time="0.01"/></proof>
 <proof prover="24"><result status="unknown" time="0.02"/></proof>
 <proof prover="25"><result status="unknown" time="0.26"/></proof>
 <proof prover="26"><result status="timeout" time="1.98"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
397
 </goal>
398
 <goal name="smoke4">
399
400
401
402
 <proof prover="0" obsolete="true"><result status="unknown" time="0.02"/></proof>
 <proof prover="1" obsolete="true"><result status="timeout" time="1.98"/></proof>
 <proof prover="2"><result status="unknown" time="0.28"/></proof>
 <proof prover="4" obsolete="true"><result status="unknown" time="0.06"/></proof>
403
404
 <proof prover="7"><result status="unknown" time="0.02"/></proof>
 <proof prover="8"><result status="timeout" time="1.98"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
405
 <proof prover="9"><result status="timeout" time="2.00"/></proof>
406
407
408
 <proof prover="10" obsolete="true"><result status="timeout" time="2.00"/></proof>
 <proof prover="11" obsolete="true"><result status="unknown" time="0.08"/></proof>
 <proof prover="12" obsolete="true"><result status="unknown" time="0.00"/></proof>
409
 <proof prover="13"><result status="timeout" time="1.98"/></proof>
410
411
 <proof prover="14"><result status="timeout" time="2.16"/></proof>
 <proof prover="15" obsolete="true"><result status="unknown" time="0.00"/></proof>
412
 <proof prover="16"><result status="timeout" time="2.00"/></proof>
413
 <proof prover="17" obsolete="true"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
414
 <proof prover="18"><result status="timeout" time="2.05"/></proof>
415
 <proof prover="19"><result status="unknown" time="0.03"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
416
 <proof prover="20"><result status="unknown" time="0.01"/></proof>
417
 <proof prover="21"><result status="timeout" time="2.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
418
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
419
420
421
422
 <proof prover="23" obsolete="true"><result status="unknown" time="0.02"/></proof>
 <proof prover="24"><result status="unknown" time="0.04"/></proof>
 <proof prover="25"><result status="unknown" time="0.26"/></proof>
 <proof prover="26"><result status="timeout" time="1.98"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
423
 </goal>
424
 <goal name="smoke5">
425
426
427
428
 <proof prover="0" obsolete="true"><result status="unknown" time="0.02"/></proof>
 <proof prover="1" obsolete="true"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="unknown" time="0.35"/></proof>
 <proof prover="4" obsolete="true"><result status="unknown" time="0.02"/></proof>
429
430
431
 <proof prover="7"><result status="unknown" time="0.02"/></proof>
 <proof prover="8"><result status="timeout" time="1.99"/></proof>
 <proof prover="9"><result status="timeout" time="2.01"/></proof>
432
433
434
 <proof prover="10" obsolete="true"><result status="timeout" time="2.00"/></proof>
 <proof prover="11" obsolete="true"><result status="unknown" time="0.16"/></proof>
 <proof prover="12" obsolete="true"><result status="unknown" time="0.00"/></proof>
435
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
436
437
 <proof prover="14"><result status="timeout" time="1.96"/></proof>
 <proof prover="15" obsolete="true"><result status="unknown" time="0.00"/></proof>
438
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
439
 <proof prover="17" obsolete="true"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
440
 <proof prover="18"><result status="timeout" time="2.05"/></proof>
441
 <proof prover="19"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
442
 <proof prover="20"><result status="unknown" time="0.04"/></proof>
443
 <proof prover="21"><result status="timeout" time="2.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
444
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
445
446
447
448
 <proof prover="23" obsolete="true"><result status="unknown" time="0.00"/></proof>
 <proof prover="24"><result status="unknown" time="0.02"/></proof>
 <proof prover="25"><result status="unknown" time="0.26"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
449
 </goal>
450
 <goal name="smoke6">
451
452
453
454
 <proof prover="0" obsolete="true"><result status="unknown" time="0.02"/></proof>
 <proof prover="1" obsolete="true"><result status="timeout" time="2.00"/></proof>
 <proof prover="2"><result status="unknown" time="0.25"/></proof>
 <proof prover="4" obsolete="true"><result status="unknown" time="0.06"/></proof>
455
456
457
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
 <proof prover="8"><result status="timeout" time="1.98"/></proof>
 <proof prover="9"><result status="timeout" time="2.00"/></proof>
458
459
460
 <proof prover="10" obsolete="true"><result status="timeout" time="1.99"/></proof>
 <proof prover="11" obsolete="true"><result status="unknown" time="0.09"/></proof>
 <proof prover="12" obsolete="true"><result status="unknown" time="0.00"/></proof>
461
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
462
463
 <proof prover="14"><result status="timeout" time="2.08"/></proof>
 <proof prover="15" obsolete="true"><result status="unknown" time="0.00"/></proof>
464
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
465
 <proof prover="17" obsolete="true"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
466
 <proof prover="18"><result status="timeout" time="2.04"/></proof>
467
 <proof prover="19"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
468
 <proof prover="20"><result status="unknown" time="0.02"/></proof>
469
 <proof prover="21"><result status="timeout" time="2.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
470
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
471
472
473
474
 <proof prover="23" obsolete="true"><result status="unknown" time="0.02"/></proof>
 <proof prover="24"><result status="unknown" time="0.02"/></proof>
 <proof prover="25"><result status="unknown" time="0.29"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
475
476
477
 </goal>
</theory>
</file>
478
</why3session>