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