why3session.xml 39.2 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
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
<prover id="0" name="CVC4" version="1.2" timelimit="2" memlimit="4000"/>
<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="3" name="Alt-Ergo" version="0.95.1" timelimit="2" memlimit="4000"/>
<prover id="4" name="Alt-Ergo" version="0.94" timelimit="2" memlimit="4000"/>
<prover id="5" name="MetiTarski" version="2.2" timelimit="2" memlimit="4000"/>
<prover id="6" name="Z3" version="2.19" timelimit="2" memlimit="4000"/>
<prover id="7" name="CVC4" version="1.1" timelimit="2" memlimit="4000"/>
<prover id="8" name="CVC4" version="1.0" timelimit="2" memlimit="4000"/>
<prover id="9" name="Z3" version="4.3.1" timelimit="2" memlimit="4000"/>
<prover id="10" name="Spass" version="3.7" timelimit="2" memlimit="4000"/>
<prover id="11" name="Eprover" version="1.4" timelimit="2" memlimit="4000"/>
<prover id="12" name="CVC3" version="2.2" timelimit="2" memlimit="4000"/>
<prover id="13" name="Yices" version="1.0.38" timelimit="2" memlimit="4000"/>
<prover id="14" name="Z3" version="3.2" timelimit="2" memlimit="4000"/>
<prover id="15" name="Metis" version="2.3" timelimit="2" memlimit="4000"/>
<prover id="16" name="Gappa" version="1.1.1" timelimit="2" memlimit="4000"/>
<prover id="17" name="Eprover" version="1.8-001" timelimit="2" memlimit="4000"/>
<prover id="18" name="veriT" version="201310" timelimit="2" memlimit="4000"/>
<prover id="19" name="iProver" version="0.8.1" timelimit="2" memlimit="4000"/>
<prover id="20" name="Alt-Ergo" version="0.95.2" timelimit="2" memlimit="4000"/>
<prover id="21" name="CVC4" version="1.3" timelimit="2" memlimit="4000"/>
<prover id="22" name="Vampire" version="0.6" timelimit="2" memlimit="4000"/>
MARCHE Claude's avatar
MARCHE Claude committed
28
29
30
31
<file name="../div.why" expanded="true">
<theory name="EuclideanDivTest" expanded="true">
 <goal name="ok1" sum="00aa42ebf799ee2bda6806dfdd3d6298">
 <proof prover="0"><result status="valid" time="0.00"/></proof>
32
33
34
35
36
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="valid" time="0.01"/></proof>
 <proof prover="3"><result status="valid" time="0.00"/></proof>
 <proof prover="4"><result status="valid" time="0.00"/></proof>
 <proof prover="5"><result status="timeout" time="3.13"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
37
38
39
40
 <proof prover="6"><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.00"/></proof>
 <proof prover="9"><result status="valid" time="0.00"/></proof>
41
42
 <proof prover="10"><result status="timeout" time="2.02"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
43
44
 <proof prover="12"><result status="valid" time="0.00"/></proof>
 <proof prover="13"><result status="valid" time="0.00"/></proof>
45
46
 <proof prover="14"><result status="valid" time="0.00"/></proof>
 <proof prover="15"><result status="unknown" time="2.13"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
47
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
48
49
50
51
52
53
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.05"/></proof>
 <proof prover="20"><result status="valid" time="0.01"/></proof>
 <proof prover="21"><result status="valid" time="0.00"/></proof>
 <proof prover="22"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
54
55
56
 </goal>
 <goal name="ok2" sum="e88ad8c75777e8e48f44fb337f65eaa4">
 <proof prover="0"><result status="valid" time="0.00"/></proof>
57
 <proof prover="1"><result status="timeout" time="2.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
58
59
 <proof prover="2"><result status="valid" time="0.01"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
60
61
 <proof prover="4"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="timeout" time="3.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
62
63
64
65
 <proof prover="6"><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.00"/></proof>
 <proof prover="9"><result status="valid" time="0.00"/></proof>
66
67
 <proof prover="10"><result status="timeout" time="2.00"/></proof>
 <proof prover="11"><result status="timeout" time="2.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
68
69
 <proof prover="12"><result status="valid" time="0.00"/></proof>
 <proof prover="13"><result status="valid" time="0.00"/></proof>
70
71
 <proof prover="14"><result status="valid" time="0.00"/></proof>
 <proof prover="15"><result status="unknown" time="4.20"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
72
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
73
74
75
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.07"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
76
 <proof prover="20"><result status="valid" time="0.01"/></proof>
77
78
 <proof prover="21"><result status="valid" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
79
80
81
 </goal>
 <goal name="ok3" sum="7f0b7fc56fe6bf3288094151b464de02">
 <proof prover="0"><result status="valid" time="0.00"/></proof>
82
83
84
85
86
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="4"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="timeout" time="3.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
87
88
89
90
 <proof prover="6"><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.00"/></proof>
 <proof prover="9"><result status="valid" time="0.00"/></proof>
91
92
 <proof prover="10"><result status="timeout" time="2.01"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
93
94
 <proof prover="12"><result status="valid" time="0.00"/></proof>
 <proof prover="13"><result status="valid" time="0.00"/></proof>
95
96
 <proof prover="14"><result status="valid" time="0.00"/></proof>
 <proof prover="15"><result status="unknown" time="4.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
97
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
98
99
100
101
102
103
 <proof prover="17"><result status="timeout" time="2.00"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.07"/></proof>
 <proof prover="20"><result status="valid" time="0.02"/></proof>
 <proof prover="21"><result status="valid" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
104
105
106
 </goal>
 <goal name="ok4" sum="255b5065345999dc3677bd21109bd774">
 <proof prover="0"><result status="valid" time="0.00"/></proof>
107
 <proof prover="1"><result status="timeout" time="2.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
108
109
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="3"><result status="valid" time="0.00"/></proof>
110
111
 <proof prover="4"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="timeout" time="3.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
112
113
114
115
 <proof prover="6"><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.00"/></proof>
 <proof prover="9"><result status="valid" time="0.00"/></proof>
116
117
 <proof prover="10"><result status="timeout" time="2.01"/></proof>
 <proof prover="11"><result status="timeout" time="2.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
118
119
 <proof prover="12"><result status="valid" time="0.00"/></proof>
 <proof prover="13"><result status="valid" time="0.00"/></proof>
120
121
 <proof prover="14"><result status="valid" time="0.00"/></proof>
 <proof prover="15"><result status="unknown" time="4.17"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
122
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
123
124
125
126
127
128
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.06"/></proof>
 <proof prover="20"><result status="valid" time="0.02"/></proof>
 <proof prover="21"><result status="valid" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
129
130
131
 </goal>
 <goal name="ok5" sum="a5f8a74e93812f548bf3dc2b18594596">
 <proof prover="0"><result status="valid" time="0.00"/></proof>
132
133
134
135
136
137
138
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="4"><result status="valid" time="0.04"/></proof>
 <proof prover="5"><result status="timeout" time="3.12"/></proof>
 <proof prover="6"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
139
 <proof prover="8"><result status="valid" time="0.00"/></proof>
140
141
142
 <proof prover="9"><result status="valid" time="0.00"/></proof>
 <proof prover="10"><result status="timeout" time="2.00"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
143
144
 <proof prover="12"><result status="valid" time="0.00"/></proof>
 <proof prover="13"><result status="valid" time="0.00"/></proof>
145
146
 <proof prover="14"><result status="valid" time="0.00"/></proof>
 <proof prover="15"><result status="unknown" time="4.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
147
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
148
149
150
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.06"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
151
 <proof prover="20"><result status="valid" time="0.01"/></proof>
152
153
 <proof prover="21"><result status="valid" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
154
155
156
 </goal>
 <goal name="ok6" sum="f150e5426671e35899b38d2516924e5c">
 <proof prover="0"><result status="valid" time="0.01"/></proof>
157
158
159
160
161
162
163
164
165
166
167
 <proof prover="1"><result status="timeout" time="2.00"/></proof>
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="4"><result status="valid" time="0.00"/></proof>
 <proof prover="5"><result status="timeout" time="3.10"/></proof>
 <proof prover="6"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01"/></proof>
 <proof prover="8"><result status="valid" time="0.00"/></proof>
 <proof prover="9"><result status="valid" time="0.00"/></proof>
 <proof prover="10"><result status="timeout" time="2.02"/></proof>
 <proof prover="11"><result status="timeout" time="2.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
168
169
 <proof prover="12"><result status="valid" time="0.00"/></proof>
 <proof prover="13"><result status="valid" time="0.00"/></proof>
170
171
 <proof prover="14"><result status="valid" time="0.00"/></proof>
 <proof prover="15"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
172
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
173
174
175
176
177
178
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.04"/></proof>
 <proof prover="20"><result status="valid" time="0.02"/></proof>
 <proof prover="21"><result status="valid" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
179
180
181
 </goal>
 <goal name="smoke1" sum="8f9288782be8e026f102facc129bd602">
 <proof prover="0"><result status="unknown" time="0.01"/></proof>
182
183
184
185
186
187
188
189
190
191
192
193
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="unknown" time="0.02"/></proof>
 <proof prover="3"><result status="unknown" time="0.04"/></proof>
 <proof prover="4"><result status="unknown" time="0.28"/></proof>
 <proof prover="5"><result status="timeout" time="3.11"/></proof>
 <proof prover="6"><result status="timeout" time="1.99"/></proof>
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
 <proof prover="8"><result status="unknown" time="0.00"/></proof>
 <proof prover="9"><result status="timeout" time="1.99"/></proof>
 <proof prover="10"><result status="timeout" time="2.03"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
 <proof prover="12"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
194
 <proof prover="13"><result status="unknown" time="0.00"/></proof>
195
196
 <proof prover="14"><result status="timeout" time="1.99"/></proof>
 <proof prover="15"><result status="unknown" time="4.32"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
197
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
198
199
200
201
202
203
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.05"/></proof>
 <proof prover="20"><result status="unknown" time="0.14"/></proof>
 <proof prover="21"><result status="unknown" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
204
205
206
 </goal>
 <goal name="smoke2" sum="92d095b734804df40512c56c0baa6a10">
 <proof prover="0"><result status="unknown" time="0.00"/></proof>
207
208
209
210
211
212
 <proof prover="1"><result status="timeout" time="1.98"/></proof>
 <proof prover="2"><result status="unknown" time="0.02"/></proof>
 <proof prover="3"><result status="unknown" time="0.25"/></proof>
 <proof prover="4"><result status="unknown" time="0.62"/></proof>
 <proof prover="5"><result status="timeout" time="3.13"/></proof>
 <proof prover="6"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
213
214
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
 <proof prover="8"><result status="unknown" time="0.01"/></proof>
215
216
217
218
 <proof prover="9"><result status="timeout" time="1.98"/></proof>
 <proof prover="10"><result status="timeout" time="2.01"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
 <proof prover="12"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
219
 <proof prover="13"><result status="unknown" time="0.00"/></proof>
220
221
 <proof prover="14"><result status="timeout" time="1.99"/></proof>
 <proof prover="15"><result status="unknown" time="4.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
222
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
223
224
225
226
227
228
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.05"/></proof>
 <proof prover="20"><result status="unknown" time="0.18"/></proof>
 <proof prover="21"><result status="unknown" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
229
230
231
 </goal>
 <goal name="smoke3" sum="2cf6a17995e5cc36ec7e13801e13cb1d">
 <proof prover="0"><result status="unknown" time="0.01"/></proof>
232
233
234
235
236
237
238
239
240
241
242
243
 <proof prover="1"><result status="timeout" time="2.00"/></proof>
 <proof prover="2"><result status="unknown" time="0.06"/></proof>
 <proof prover="3"><result status="unknown" time="0.16"/></proof>
 <proof prover="4"><result status="unknown" time="0.14"/></proof>
 <proof prover="5"><result status="timeout" time="3.12"/></proof>
 <proof prover="6"><result status="timeout" time="1.99"/></proof>
 <proof prover="7"><result status="unknown" time="0.02"/></proof>
 <proof prover="8"><result status="unknown" time="0.01"/></proof>
 <proof prover="9"><result status="timeout" time="1.99"/></proof>
 <proof prover="10"><result status="timeout" time="2.00"/></proof>
 <proof prover="11"><result status="timeout" time="2.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
244
 <proof prover="13"><result status="unknown" time="0.00"/></proof>
245
246
 <proof prover="14"><result status="timeout" time="1.98"/></proof>
 <proof prover="15"><result status="unknown" time="2.05"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
247
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
248
249
250
251
252
253
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.04"/></proof>
 <proof prover="20"><result status="unknown" time="0.08"/></proof>
 <proof prover="21"><result status="unknown" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
254
255
256
 </goal>
 <goal name="smoke4" sum="336faaad1863ecbdc8aa12eeab499a54">
 <proof prover="0"><result status="unknown" time="0.00"/></proof>
257
258
259
260
261
262
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="unknown" time="0.06"/></proof>
 <proof prover="3"><result status="unknown" time="0.13"/></proof>
 <proof prover="4"><result status="unknown" time="0.18"/></proof>
 <proof prover="5"><result status="timeout" time="3.12"/></proof>
 <proof prover="6"><result status="timeout" time="1.98"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
263
264
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
 <proof prover="8"><result status="unknown" time="0.01"/></proof>
265
266
267
268
 <proof prover="9"><result status="timeout" time="1.99"/></proof>
 <proof prover="10"><result status="timeout" time="2.05"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
 <proof prover="12"><result status="unknown" time="0.04"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
269
 <proof prover="13"><result status="unknown" time="0.00"/></proof>
270
271
 <proof prover="14"><result status="timeout" time="1.98"/></proof>
 <proof prover="15"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
272
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
273
274
275
276
277
278
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.06"/></proof>
 <proof prover="20"><result status="unknown" time="0.10"/></proof>
 <proof prover="21"><result status="unknown" time="0.02"/></proof>
 <proof prover="22"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
279
280
281
 </goal>
 <goal name="smoke5" sum="0078e6f931dde6e1fc367477dd2854db">
 <proof prover="0"><result status="unknown" time="0.01"/></proof>
282
283
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="unknown" time="0.05"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
284
 <proof prover="3"><result status="unknown" time="0.05"/></proof>
285
286
287
288
289
290
291
292
293
 <proof prover="4"><result status="unknown" time="0.08"/></proof>
 <proof prover="5"><result status="timeout" time="3.12"/></proof>
 <proof prover="6"><result status="timeout" time="1.99"/></proof>
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
 <proof prover="8"><result status="unknown" time="0.00"/></proof>
 <proof prover="9"><result status="timeout" time="1.99"/></proof>
 <proof prover="10"><result status="timeout" time="2.00"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
 <proof prover="12"><result status="unknown" time="0.05"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
294
 <proof prover="13"><result status="unknown" time="0.00"/></proof>
295
296
 <proof prover="14"><result status="timeout" time="1.99"/></proof>
 <proof prover="15"><result status="unknown" time="4.40"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
297
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
298
299
300
301
302
303
 <proof prover="17"><result status="timeout" time="2.00"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.05"/></proof>
 <proof prover="20"><result status="unknown" time="0.06"/></proof>
 <proof prover="21"><result status="unknown" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
304
305
306
 </goal>
 <goal name="smoke6" sum="3aecba9cfce15d315bbf411414fc4703">
 <proof prover="0"><result status="unknown" time="0.01"/></proof>
307
308
 <proof prover="1"><result status="timeout" time="2.00"/></proof>
 <proof prover="2"><result status="unknown" time="0.06"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
309
 <proof prover="3"><result status="unknown" time="0.06"/></proof>
310
311
312
313
314
315
316
317
318
 <proof prover="4"><result status="unknown" time="0.10"/></proof>
 <proof prover="5"><result status="timeout" time="3.10"/></proof>
 <proof prover="6"><result status="timeout" time="1.98"/></proof>
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
 <proof prover="8"><result status="unknown" time="0.00"/></proof>
 <proof prover="9"><result status="timeout" time="1.99"/></proof>
 <proof prover="10"><result status="timeout" time="2.05"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
 <proof prover="12"><result status="unknown" time="0.05"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
319
 <proof prover="13"><result status="unknown" time="0.00"/></proof>
320
321
 <proof prover="14"><result status="timeout" time="1.98"/></proof>
 <proof prover="15"><result status="unknown" time="2.16"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
322
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
323
324
325
326
327
328
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.04"/></proof>
 <proof prover="20"><result status="unknown" time="0.07"/></proof>
 <proof prover="21"><result status="unknown" time="0.05"/></proof>
 <proof prover="22"><result status="unknown" time="4.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
329
330
331
332
333
 </goal>
</theory>
<theory name="ComputerDivTest" expanded="true">
 <goal name="ok1" sum="90abf07f92f93880ed2dff7a5033a2ce">
 <proof prover="0"><result status="valid" time="0.01"/></proof>
334
335
336
337
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="valid" time="0.01"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="4"><result status="valid" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
338
339
340
341
 <proof prover="5"><result status="unknown" time="0.57"/></proof>
 <proof prover="6"><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.00"/></proof>
342
343
344
345
 <proof prover="9"><result status="valid" time="0.02"/></proof>
 <proof prover="10"><result status="timeout" time="2.02"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
 <proof prover="12"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
346
 <proof prover="13"><result status="valid" time="0.00"/></proof>
347
348
 <proof prover="14"><result status="valid" time="0.01"/></proof>
 <proof prover="15"><result status="unknown" time="2.05"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
349
 <proof prover="16"><result status="valid" time="0.00"/></proof>
350
351
352
353
354
355
 <proof prover="17"><result status="timeout" time="2.00"/></proof>
 <proof prover="18"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.05"/></proof>
 <proof prover="20"><result status="valid" time="0.02"/></proof>
 <proof prover="21"><result status="valid" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
356
357
358
 </goal>
 <goal name="ok2" sum="6453b177c38984fbf4af7abb6dbd9b03">
 <proof prover="0"><result status="valid" time="0.00"/></proof>
359
360
361
362
363
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="valid" time="0.01"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="4"><result status="valid" time="0.03"/></proof>
 <proof prover="5"><result status="timeout" time="3.15"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
364
 <proof prover="6"><result status="valid" time="0.00"/></proof>
365
366
367
368
369
370
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.01"/></proof>
 <proof prover="9"><result status="valid" time="0.02"/></proof>
 <proof prover="10"><result status="timeout" time="2.00"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
 <proof prover="12"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
371
 <proof prover="13"><result status="valid" time="0.00"/></proof>
372
373
 <proof prover="14"><result status="valid" time="0.01"/></proof>
 <proof prover="15"><result status="unknown" time="4.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
374
 <proof prover="16"><result status="valid" time="0.00"/></proof>
375
376
377
378
379
380
 <proof prover="17"><result status="timeout" time="2.00"/></proof>
 <proof prover="18"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.04"/></proof>
 <proof prover="20"><result status="valid" time="0.02"/></proof>
 <proof prover="21"><result status="valid" time="0.00"/></proof>
 <proof prover="22"><result status="unknown" time="4.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
381
382
383
 </goal>
 <goal name="ok3" sum="bb83ab0166b6ed845ad75ea967b32e57">
 <proof prover="0"><result status="valid" time="0.01"/></proof>
384
385
386
387
 <proof prover="1"><result status="timeout" time="2.00"/></proof>
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="4"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
388
389
 <proof prover="5"><result status="unknown" time="0.24"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
390
391
392
393
394
395
 <proof prover="7"><result status="valid" time="0.01"/></proof>
 <proof prover="8"><result status="valid" time="0.00"/></proof>
 <proof prover="9"><result status="valid" time="0.02"/></proof>
 <proof prover="10"><result status="timeout" time="2.01"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
 <proof prover="12"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
396
 <proof prover="13"><result status="valid" time="0.00"/></proof>
397
398
 <proof prover="14"><result status="valid" time="0.01"/></proof>
 <proof prover="15"><result status="unknown" time="4.30"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
399
 <proof prover="16"><result status="valid" time="0.00"/></proof>
400
401
402
403
404
405
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.05"/></proof>
 <proof prover="20"><result status="valid" time="0.02"/></proof>
 <proof prover="21"><result status="valid" time="0.00"/></proof>
 <proof prover="22"><result status="unknown" time="4.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
406
407
408
 </goal>
 <goal name="ok4" sum="3957ceff97fd4c03231e7fe235c0041b">
 <proof prover="0"><result status="valid" time="0.01"/></proof>
409
410
411
412
 <proof prover="1"><result status="timeout" time="2.00"/></proof>
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="3"><result status="valid" time="0.03"/></proof>
 <proof prover="4"><result status="valid" time="0.04"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
413
414
415
416
 <proof prover="5"><result status="unknown" time="0.60"/></proof>
 <proof prover="6"><result status="valid" time="0.02"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.00"/></proof>
417
418
419
420
 <proof prover="9"><result status="valid" time="0.03"/></proof>
 <proof prover="10"><result status="timeout" time="2.03"/></proof>
 <proof prover="11"><result status="timeout" time="2.00"/></proof>
 <proof prover="12"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
421
 <proof prover="13"><result status="valid" time="0.00"/></proof>
422
423
 <proof prover="14"><result status="valid" time="0.02"/></proof>
 <proof prover="15"><result status="unknown" time="4.22"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
424
 <proof prover="16"><result status="valid" time="0.00"/></proof>
425
426
427
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.05"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
428
 <proof prover="20"><result status="valid" time="0.01"/></proof>
429
430
 <proof prover="21"><result status="valid" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
431
432
433
 </goal>
 <goal name="ok5" sum="6ba14a33aa1c61c48bf215062d528e79">
 <proof prover="0"><result status="valid" time="0.01"/></proof>
434
435
436
437
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="4"><result status="valid" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
438
 <proof prover="5"><result status="unknown" time="0.57"/></proof>
439
440
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
441
 <proof prover="8"><result status="valid" time="0.00"/></proof>
442
443
444
 <proof prover="9"><result status="valid" time="0.00"/></proof>
 <proof prover="10"><result status="timeout" time="2.05"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
445
446
 <proof prover="12"><result status="valid" time="0.00"/></proof>
 <proof prover="13"><result status="valid" time="0.00"/></proof>
447
448
 <proof prover="14"><result status="valid" time="0.01"/></proof>
 <proof prover="15"><result status="unknown" time="4.25"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
449
 <proof prover="16"><result status="valid" time="0.00"/></proof>
450
451
452
453
454
455
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.09"/></proof>
 <proof prover="20"><result status="valid" time="0.02"/></proof>
 <proof prover="21"><result status="valid" time="0.00"/></proof>
 <proof prover="22"><result status="unknown" time="4.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
456
457
458
 </goal>
 <goal name="ok6" sum="a725ac8c15ae4ba04e3de8b9ceac760a">
 <proof prover="0"><result status="valid" time="0.01"/></proof>
459
460
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
461
 <proof prover="3"><result status="valid" time="0.01"/></proof>
462
463
464
465
 <proof prover="4"><result status="valid" time="0.03"/></proof>
 <proof prover="5"><result status="timeout" time="3.14"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
466
 <proof prover="8"><result status="valid" time="0.00"/></proof>
467
468
469
 <proof prover="9"><result status="valid" time="0.00"/></proof>
 <proof prover="10"><result status="timeout" time="2.05"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
470
471
 <proof prover="12"><result status="valid" time="0.00"/></proof>
 <proof prover="13"><result status="valid" time="0.00"/></proof>
472
473
 <proof prover="14"><result status="valid" time="0.01"/></proof>
 <proof prover="15"><result status="unknown" time="4.26"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
474
 <proof prover="16"><result status="valid" time="0.00"/></proof>
475
476
477
 <proof prover="17"><result status="timeout" time="2.00"/></proof>
 <proof prover="18"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.04"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
478
 <proof prover="20"><result status="valid" time="0.01"/></proof>
479
480
 <proof prover="21"><result status="valid" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
481
482
483
 </goal>
 <goal name="smoke1" sum="7870d65daf365cb8311310a413f07d69">
 <proof prover="0"><result status="unknown" time="0.01"/></proof>
484
485
486
487
 <proof prover="1"><result status="timeout" time="2.00"/></proof>
 <proof prover="2"><result status="unknown" time="0.17"/></proof>
 <proof prover="3"><result status="unknown" time="0.02"/></proof>
 <proof prover="4"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
488
 <proof prover="5"><result status="unknown" time="0.62"/></proof>
489
490
491
492
493
494
495
 <proof prover="6"><result status="timeout" time="1.99"/></proof>
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
 <proof prover="8"><result status="unknown" time="0.02"/></proof>
 <proof prover="9"><result status="timeout" time="1.99"/></proof>
 <proof prover="10"><result status="timeout" time="2.03"/></proof>
 <proof prover="11"><result status="timeout" time="2.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.12"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
496
 <proof prover="13"><result status="unknown" time="0.00"/></proof>
497
498
 <proof prover="14"><result status="timeout" time="1.99"/></proof>
 <proof prover="15"><result status="unknown" time="4.06"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
499
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
500
501
502
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.04"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
503
 <proof prover="20"><result status="unknown" time="0.02"/></proof>
504
505
 <proof prover="21"><result status="unknown" time="0.02"/></proof>
 <proof prover="22"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
506
507
508
 </goal>
 <goal name="smoke2" sum="aac8b89b377649f64a8e1a8a3ddd8264">
 <proof prover="0"><result status="unknown" time="0.02"/></proof>
509
510
511
512
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="unknown" time="0.10"/></proof>
 <proof prover="3"><result status="unknown" time="0.04"/></proof>
 <proof prover="4"><result status="unknown" time="0.05"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
513
 <proof prover="5"><result status="unknown" time="0.67"/></proof>
514
515
516
517
518
519
520
 <proof prover="6"><result status="timeout" time="1.99"/></proof>
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
 <proof prover="8"><result status="unknown" time="0.02"/></proof>
 <proof prover="9"><result status="timeout" time="1.99"/></proof>
 <proof prover="10"><result status="timeout" time="2.01"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
 <proof prover="12"><result status="unknown" time="0.07"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
521
 <proof prover="13"><result status="unknown" time="0.00"/></proof>
522
523
 <proof prover="14"><result status="timeout" time="1.98"/></proof>
 <proof prover="15"><result status="unknown" time="4.12"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
524
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
525
526
527
528
529
530
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.05"/></proof>
 <proof prover="20"><result status="unknown" time="0.02"/></proof>
 <proof prover="21"><result status="unknown" time="0.03"/></proof>
 <proof prover="22"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
531
532
533
 </goal>
 <goal name="smoke3" sum="d66fdb53d131ca8ec3a8c188cb222b82">
 <proof prover="0"><result status="unknown" time="0.01"/></proof>
534
535
536
537
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="unknown" time="0.16"/></proof>
 <proof prover="3"><result status="unknown" time="0.02"/></proof>
 <proof prover="4"><result status="unknown" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
538
 <proof prover="5"><result status="unknown" time="0.61"/></proof>
539
 <proof prover="6"><result status="timeout" time="1.98"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
540
541
 <proof prover="7"><result status="unknown" time="0.02"/></proof>
 <proof prover="8"><result status="unknown" time="0.02"/></proof>
542
543
544
545
 <proof prover="9"><result status="timeout" time="1.99"/></proof>
 <proof prover="10"><result status="timeout" time="2.02"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
 <proof prover="12"><result status="unknown" time="0.12"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
546
 <proof prover="13"><result status="unknown" time="0.00"/></proof>
547
548
 <proof prover="14"><result status="timeout" time="1.99"/></proof>
 <proof prover="15"><result status="unknown" time="2.21"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
549
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
550
551
552
553
554
555
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.07"/></proof>
 <proof prover="20"><result status="unknown" time="0.02"/></proof>
 <proof prover="21"><result status="unknown" time="0.05"/></proof>
 <proof prover="22"><result status="unknown" time="4.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
556
557
558
 </goal>
 <goal name="smoke4" sum="b0328ad68f2f5d652df9f43b15512c95">
 <proof prover="0"><result status="unknown" time="0.02"/></proof>
559
560
561
562
563
564
565
566
567
568
569
570
 <proof prover="1"><result status="timeout" time="1.98"/></proof>
 <proof prover="2"><result status="unknown" time="0.11"/></proof>
 <proof prover="3"><result status="unknown" time="0.04"/></proof>
 <proof prover="4"><result status="unknown" time="0.06"/></proof>
 <proof prover="5"><result status="timeout" time="3.11"/></proof>
 <proof prover="6"><result status="timeout" time="1.98"/></proof>
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
 <proof prover="8"><result status="unknown" time="0.02"/></proof>
 <proof prover="9"><result status="timeout" time="1.98"/></proof>
 <proof prover="10"><result status="timeout" time="2.03"/></proof>
 <proof prover="11"><result status="timeout" time="2.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
571
 <proof prover="13"><result status="unknown" time="0.00"/></proof>
572
573
 <proof prover="14"><result status="timeout" time="1.98"/></proof>
 <proof prover="15"><result status="unknown" time="4.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
574
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
575
576
577
578
579
580
 <proof prover="17"><result status="timeout" time="2.00"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.05"/></proof>
 <proof prover="20"><result status="unknown" time="0.03"/></proof>
 <proof prover="21"><result status="unknown" time="0.01"/></proof>
 <proof prover="22"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
581
582
583
 </goal>
 <goal name="smoke5" sum="bd0abb6924f8847f85b6fa8dab722e4d">
 <proof prover="0"><result status="unknown" time="0.02"/></proof>
584
585
586
587
 <proof prover="1"><result status="timeout" time="1.99"/></proof>
 <proof prover="2"><result status="unknown" time="0.16"/></proof>
 <proof prover="3"><result status="unknown" time="0.02"/></proof>
 <proof prover="4"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
588
 <proof prover="5"><result status="unknown" time="0.62"/></proof>
589
590
 <proof prover="6"><result status="timeout" time="1.99"/></proof>
 <proof prover="7"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
591
 <proof prover="8"><result status="unknown" time="0.02"/></proof>
592
593
594
595
 <proof prover="9"><result status="timeout" time="1.99"/></proof>
 <proof prover="10"><result status="timeout" time="2.01"/></proof>
 <proof prover="11"><result status="timeout" time="2.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.16"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
596
 <proof prover="13"><result status="unknown" time="0.00"/></proof>
597
598
 <proof prover="14"><result status="timeout" time="1.99"/></proof>
 <proof prover="15"><result status="unknown" time="4.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
599
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
600
601
602
603
604
605
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.05"/></proof>
 <proof prover="20"><result status="unknown" time="0.02"/></proof>
 <proof prover="21"><result status="unknown" time="0.04"/></proof>
 <proof prover="22"><result status="unknown" time="4.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
606
607
608
 </goal>
 <goal name="smoke6" sum="55b9be1e7d1f71a7ecedc73878d9ea0f">
 <proof prover="0"><result status="unknown" time="0.02"/></proof>
609
610
611
612
613
614
615
 <proof prover="1"><result status="timeout" time="2.00"/></proof>
 <proof prover="2"><result status="unknown" time="0.12"/></proof>
 <proof prover="3"><result status="unknown" time="0.02"/></proof>
 <proof prover="4"><result status="unknown" time="0.06"/></proof>
 <proof prover="5"><result status="timeout" time="3.13"/></proof>
 <proof prover="6"><result status="timeout" time="1.99"/></proof>
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
616
 <proof prover="8"><result status="unknown" time="0.01"/></proof>
617
618
619
620
 <proof prover="9"><result status="timeout" time="1.98"/></proof>
 <proof prover="10"><result status="timeout" time="2.01"/></proof>
 <proof prover="11"><result status="timeout" time="1.99"/></proof>
 <proof prover="12"><result status="unknown" time="0.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
621
 <proof prover="13"><result status="unknown" time="0.00"/></proof>
622
623
 <proof prover="14"><result status="timeout" time="1.99"/></proof>
 <proof prover="15"><result status="unknown" time="2.04"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
624
 <proof prover="16"><result status="unknown" time="0.00"/></proof>
625
626
627
 <proof prover="17"><result status="timeout" time="1.99"/></proof>
 <proof prover="18"><result status="unknown" time="0.00"/></proof>
 <proof prover="19"><result status="timeout" time="2.04"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
628
 <proof prover="20"><result status="unknown" time="0.02"/></proof>
629
630
 <proof prover="21"><result status="unknown" time="0.02"/></proof>
 <proof prover="22"><result status="unknown" time="4.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
631
632
633
 </goal>
</theory>
</file>
634
</why3session>