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