why3session.xml 22.5 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="2" name="CVC3" version="2.4.1" timelimit="2" memlimit="4000"/>
6
<prover id="7" name="CVC4" version="1.4" timelimit="5" memlimit="1000"/>
7
8
<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"/>
MARCHE Claude's avatar
MARCHE Claude committed
9
<prover id="12" name="Yices" version="1.0.38" timelimit="2" memlimit="4000"/>
10
11
12
13
14
<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
15
<prover id="18" name="iProver" version="0.8.1" timelimit="5" memlimit="1000"/>
16
<prover id="19" name="Alt-Ergo" version="0.95.2" timelimit="2" memlimit="4000"/>
17
<prover id="20" name="CVC4" version="1.3" timelimit="5" memlimit="1000"/>
MARCHE Claude's avatar
MARCHE Claude committed
18
<prover id="21" name="Vampire" version="0.6" timelimit="2" memlimit="4000"/>
MARCHE Claude's avatar
MARCHE Claude committed
19
<prover id="22" name="veriT" version="201410" timelimit="5" memlimit="1000"/>
20
21
22
<prover id="24" name="Alt-Ergo" version="0.99.1" timelimit="2" memlimit="4000"/>
<prover id="25" name="MetiTarski" version="2.4" timelimit="2" memlimit="4000"/>
<prover id="26" name="Z3" version="4.3.2" timelimit="2" memlimit="4000"/>
MARCHE Claude's avatar
MARCHE Claude committed
23
<file name="../div.why" expanded="true">
MARCHE Claude's avatar
MARCHE Claude committed
24
<theory name="EuclideanDivTest" sum="3e584ab9c80aff1f54d2f1ee5bdf6bfc" expanded="true">
25
 <goal name="ok1">
26
 <proof prover="2"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
27
 <proof prover="7"><result status="valid" time="0.00"/></proof>
28
 <proof prover="8" timelimit="5" memlimit="1000"><result status="valid" time="0.00"/></proof>
29
30
 <proof prover="13"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="valid" time="0.01" steps="1"/></proof>
31
 <proof prover="20"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
32
 <proof prover="22"><result status="valid" time="0.00"/></proof>
33
34
 <proof prover="24"><result status="valid" time="0.00" steps="1"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
35
 </goal>
36
 <goal name="ok2">
37
 <proof prover="2"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
38
 <proof prover="7"><result status="valid" time="0.00"/></proof>
39
 <proof prover="8" timelimit="5" memlimit="1000"><result status="valid" time="0.00"/></proof>
40
41
 <proof prover="13"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="valid" time="0.01" steps="1"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
42
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
43
 <proof prover="22"><result status="valid" time="0.00"/></proof>
44
45
 <proof prover="24"><result status="valid" time="0.01" steps="1"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
46
 </goal>
47
 <goal name="ok3">
48
 <proof prover="2"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
49
 <proof prover="7"><result status="valid" time="0.00"/></proof>
50
 <proof prover="8" timelimit="5" memlimit="1000"><result status="valid" time="0.00"/></proof>
51
52
 <proof prover="13"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="9"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
53
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
54
 <proof prover="22"><result status="valid" time="0.00"/></proof>
55
56
 <proof prover="24"><result status="valid" time="0.01" steps="6"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
57
 </goal>
58
 <goal name="ok4">
59
 <proof prover="2"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
60
 <proof prover="7"><result status="valid" time="0.00"/></proof>
61
 <proof prover="8" timelimit="5" memlimit="1000"><result status="valid" time="0.00"/></proof>
62
63
 <proof prover="13"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="6"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
64
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
65
 <proof prover="22"><result status="valid" time="0.00"/></proof>
66
67
 <proof prover="24"><result status="valid" time="0.00" steps="6"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
68
 </goal>
69
 <goal name="ok5">
70
 <proof prover="2"><result status="valid" time="0.00"/></proof>
71
 <proof prover="7"><result status="valid" time="0.00"/></proof>
72
 <proof prover="8" timelimit="5" memlimit="1000"><result status="valid" time="0.00"/></proof>
73
74
 <proof prover="13"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="valid" time="0.01" steps="9"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
75
 <proof prover="20"><result status="valid" time="0.01"/></proof>
76
77
 <proof prover="24"><result status="valid" time="0.01" steps="8"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
78
 </goal>
79
 <goal name="ok6">
80
 <proof prover="2"><result status="valid" time="0.00"/></proof>
81
 <proof prover="7"><result status="valid" time="0.00"/></proof>
82
 <proof prover="8" timelimit="5" memlimit="1000"><result status="valid" time="0.00"/></proof>
83
84
 <proof prover="13"><result status="valid" time="0.00"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="6"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
85
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
86
 <proof prover="22"><result status="valid" time="0.00"/></proof>
87
88
 <proof prover="24"><result status="valid" time="0.01" steps="6"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
89
 </goal>
90
 <goal name="smoke1">
91
92
 <proof prover="2"><result status="unknown" time="0.02"/></proof>
 <proof prover="7"><result status="unknown" time="0.00"/></proof>
93
 <proof prover="8" timelimit="5" memlimit="1000"><result status="timeout" time="4.98"/></proof>
94
 <proof prover="9"><result status="timeout" time="2.03"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
95
 <proof prover="12"><result status="unknown" time="0.00"/></proof>
96
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
97
 <proof prover="14"><result status="timeout" time="2.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
98
 <proof prover="15"><result status="unknown" time="0.00"/></proof>
99
100
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
 <proof prover="19"><result status="unknown" time="0.14"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
101
 <proof prover="20"><result status="unknown" time="0.01"/></proof>
102
 <proof prover="21"><result status="timeout" time="2.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
103
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
104
 <proof prover="24"><result status="unknown" time="0.28"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
105
 <proof prover="25"><result status="unknown" time="0.19"/></proof>
106
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
107
 </goal>
108
 <goal name="smoke2">
109
110
 <proof prover="2"><result status="unknown" time="0.02"/></proof>
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
111
 <proof prover="8" timelimit="5" memlimit="1000"><result status="timeout" time="4.90"/></proof>
112
 <proof prover="9"><result status="timeout" time="2.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
113
 <proof prover="12"><result status="unknown" time="0.00"/></proof>
114
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
115
 <proof prover="14"><result status="timeout" time="2.05"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
116
 <proof prover="15"><result status="unknown" time="0.00"/></proof>
117
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
118
 <proof prover="19"><result status="unknown" time="0.17"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
119
 <proof prover="20"><result status="unknown" time="0.01"/></proof>
120
 <proof prover="21"><result status="timeout" time="2.11"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
121
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
122
123
124
 <proof prover="24"><result status="unknown" time="0.25"/></proof>
 <proof prover="25"><result status="unknown" time="0.23"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
125
 </goal>
126
 <goal name="smoke3">
127
128
 <proof prover="2"><result status="unknown" time="0.06"/></proof>
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
129
 <proof prover="8" timelimit="5" memlimit="1000"><result status="timeout" time="4.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
130
 <proof prover="9"><result status="timeout" time="2.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
131
 <proof prover="12"><result status="unknown" time="0.00"/></proof>
132
 <proof prover="13"><result status="timeout" time="1.98"/></proof>
133
 <proof prover="14"><result status="timeout" time="2.20"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
134
 <proof prover="15"><result status="unknown" time="0.00"/></proof>
135
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
136
 <proof prover="18"><result status="timeout" time="5.14"/></proof>
137
 <proof prover="19"><result status="unknown" time="0.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
138
 <proof prover="20"><result status="unknown" time="0.01"/></proof>
139
 <proof prover="21"><result status="timeout" time="2.11"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
140
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
141
 <proof prover="24"><result status="unknown" time="0.21"/></proof>
142
143
 <proof prover="25"><result status="unknown" time="0.11"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
144
 </goal>
145
 <goal name="smoke4">
146
147
 <proof prover="2"><result status="unknown" time="0.06"/></proof>
 <proof prover="7"><result status="unknown" time="0.01"/></proof>
148
 <proof prover="8" timelimit="5" memlimit="1000"><result status="timeout" time="4.93"/></proof>
149
 <proof prover="9"><result status="timeout" time="2.05"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
150
 <proof prover="12"><result status="unknown" time="0.00"/></proof>
151
 <proof prover="13"><result status="timeout" time="1.98"/></proof>
152
 <proof prover="14"><result status="timeout" time="2.03"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
153
 <proof prover="15"><result status="unknown" time="0.00"/></proof>
154
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
155
 <proof prover="19"><result status="unknown" time="0.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
156
 <proof prover="20"><result status="unknown" time="0.02"/></proof>
157
 <proof prover="21"><result status="timeout" time="2.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
158
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
159
 <proof prover="24"><result status="unknown" time="0.32"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
160
 <proof prover="25"><result status="unknown" time="0.16"/></proof>
161
 <proof prover="26"><result status="timeout" time="1.98"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
162
 </goal>
163
 <goal name="smoke5">
164
 <proof prover="2"><result status="unknown" time="0.05"/></proof>
165
 <proof prover="7"><result status="unknown" time="0.00"/></proof>
166
 <proof prover="8" timelimit="5" memlimit="1000"><result status="timeout" time="4.91"/></proof>
167
 <proof prover="9"><result status="timeout" time="2.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
168
 <proof prover="12"><result status="unknown" time="0.00"/></proof>
169
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
170
171
 <proof prover="14"><result status="timeout" time="2.01"/></proof>
 <proof prover="15"><result status="unknown" time="0.00"/></proof>
172
173
 <proof prover="16"><result status="timeout" time="2.00"/></proof>
 <proof prover="19"><result status="unknown" time="0.06"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
174
 <proof prover="20"><result status="unknown" time="0.01"/></proof>
175
 <proof prover="21"><result status="timeout" time="2.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
176
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
177
178
179
 <proof prover="24"><result status="unknown" time="0.05"/></proof>
 <proof prover="25"><result status="unknown" time="0.26"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
180
 </goal>
181
 <goal name="smoke6">
182
 <proof prover="2"><result status="unknown" time="0.06"/></proof>
183
 <proof prover="7"><result status="unknown" time="0.00"/></proof>
184
 <proof prover="8" timelimit="5" memlimit="1000"><result status="timeout" time="4.97"/></proof>
185
 <proof prover="9"><result status="timeout" time="2.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
186
 <proof prover="12"><result status="unknown" time="0.00"/></proof>
187
 <proof prover="13"><result status="timeout" time="1.98"/></proof>
188
 <proof prover="14"><result status="timeout" time="2.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
189
 <proof prover="15"><result status="unknown" time="0.00"/></proof>
190
191
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
 <proof prover="19"><result status="unknown" time="0.07"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
192
 <proof prover="20"><result status="unknown" time="0.05"/></proof>
193
 <proof prover="21"><result status="timeout" time="2.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
194
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
195
196
197
 <proof prover="24"><result status="unknown" time="0.06"/></proof>
 <proof prover="25"><result status="unknown" time="0.23"/></proof>
 <proof prover="26"><result status="timeout" time="1.98"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
198
199
 </goal>
</theory>
200
<theory name="ComputerDivTest" sum="e88ff8a75d71641b9d8bebae288f3cd7" expanded="true">
201
 <goal name="ok1">
202
203
204
205
206
 <proof prover="2"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.02"/></proof>
 <proof prover="13"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
207
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
208
 <proof prover="22"><result status="valid" time="0.00"/></proof>
209
210
 <proof prover="24"><result status="valid" time="0.02" steps="9"/></proof>
 <proof prover="26"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
211
 </goal>
212
 <goal name="ok2">
213
214
215
216
217
 <proof prover="2"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.01"/></proof>
 <proof prover="8"><result status="valid" time="0.02"/></proof>
 <proof prover="13"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="9"/></proof>
218
 <proof prover="20"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
219
 <proof prover="22"><result status="valid" time="0.00"/></proof>
220
221
 <proof prover="24"><result status="valid" time="0.02" steps="8"/></proof>
 <proof prover="26"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
222
 </goal>
223
 <goal name="ok3">
224
225
226
227
228
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.02"/></proof>
 <proof prover="13"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="9"/></proof>
229
 <proof prover="20"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
230
 <proof prover="22"><result status="valid" time="0.00"/></proof>
231
232
 <proof prover="24"><result status="valid" time="0.02" steps="15"/></proof>
 <proof prover="26"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
233
 </goal>
234
 <goal name="ok4">
235
236
237
238
239
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.03"/></proof>
 <proof prover="13"><result status="valid" time="0.02"/></proof>
 <proof prover="19"><result status="valid" time="0.01" steps="9"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
240
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
241
 <proof prover="22"><result status="valid" time="0.00"/></proof>
242
243
 <proof prover="24"><result status="valid" time="0.03" steps="8"/></proof>
 <proof prover="26"><result status="valid" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
244
 </goal>
245
 <goal name="ok5">
246
247
 <proof prover="2"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
248
 <proof prover="8"><result status="valid" time="0.00"/></proof>
249
250
 <proof prover="13"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.02" steps="9"/></proof>
251
 <proof prover="20"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
252
 <proof prover="22"><result status="valid" time="0.00"/></proof>
253
254
 <proof prover="24"><result status="valid" time="0.01" steps="15"/></proof>
 <proof prover="26"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
255
 </goal>
256
 <goal name="ok6">
257
258
 <proof prover="2"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
259
 <proof prover="8"><result status="valid" time="0.00"/></proof>
260
261
 <proof prover="13"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.01" steps="9"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
262
 <proof prover="20"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
263
 <proof prover="22"><result status="valid" time="0.00"/></proof>
264
265
 <proof prover="24"><result status="valid" time="0.01" steps="8"/></proof>
 <proof prover="26"><result status="valid" time="0.01"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
266
 </goal>
267
 <goal name="smoke1">
MARCHE Claude's avatar
MARCHE Claude committed
268
 <proof prover="2"><result status="unknown" time="0.17"/></proof>
269
270
271
 <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>
MARCHE Claude's avatar
MARCHE Claude committed
272
 <proof prover="12"><result status="unknown" time="0.00"/></proof>
273
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
274
 <proof prover="14"><result status="timeout" time="2.23"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
275
 <proof prover="15"><result status="unknown" time="0.00"/></proof>
276
277
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
 <proof prover="19"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
278
 <proof prover="20"><result status="unknown" time="0.02"/></proof>
279
 <proof prover="21"><result status="timeout" time="2.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
280
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
281
 <proof prover="24"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
282
 <proof prover="25"><result status="unknown" time="0.18"/></proof>
283
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
284
 </goal>
285
 <goal name="smoke2">
286
 <proof prover="2"><result status="unknown" time="0.09"/></proof>
287
288
289
 <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>
MARCHE Claude's avatar
MARCHE Claude committed
290
 <proof prover="12"><result status="unknown" time="0.00"/></proof>
291
 <proof prover="13"><result status="timeout" time="1.98"/></proof>
292
 <proof prover="14"><result status="timeout" time="2.07"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
293
 <proof prover="15"><result status="unknown" time="0.00"/></proof>
294
295
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
 <proof prover="19"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
296
 <proof prover="20"><result status="unknown" time="0.03"/></proof>
297
 <proof prover="21"><result status="timeout" time="2.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
298
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
299
300
301
 <proof prover="24"><result status="unknown" time="0.04"/></proof>
 <proof prover="25"><result status="unknown" time="0.24"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
302
 </goal>
303
 <goal name="smoke3">
MARCHE Claude's avatar
MARCHE Claude committed
304
 <proof prover="2"><result status="unknown" time="0.16"/></proof>
305
306
307
 <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>
MARCHE Claude's avatar
MARCHE Claude committed
308
 <proof prover="12"><result status="unknown" time="0.00"/></proof>
309
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
310
 <proof prover="14"><result status="timeout" time="2.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
311
 <proof prover="15"><result status="unknown" time="0.00"/></proof>
312
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
313
 <proof prover="17"><result status="unknown" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
314
 <proof prover="18"><result status="timeout" time="5.14"/></proof>
315
 <proof prover="19"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
316
 <proof prover="20"><result status="unknown" time="0.05"/></proof>
317
 <proof prover="21"><result status="timeout" time="2.07"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
318
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
319
320
321
 <proof prover="24"><result status="unknown" time="0.02"/></proof>
 <proof prover="25"><result status="unknown" time="0.26"/></proof>
 <proof prover="26"><result status="timeout" time="1.98"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
322
 </goal>
323
 <goal name="smoke4">
MARCHE Claude's avatar
MARCHE Claude committed
324
 <proof prover="2"><result status="unknown" time="0.14"/></proof>
325
326
 <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
327
 <proof prover="9"><result status="timeout" time="2.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
328
 <proof prover="12"><result status="unknown" time="0.00"/></proof>
329
 <proof prover="13"><result status="timeout" time="1.98"/></proof>
330
 <proof prover="14"><result status="timeout" time="2.16"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
331
 <proof prover="15"><result status="unknown" time="0.00"/></proof>
332
333
 <proof prover="16"><result status="timeout" time="2.00"/></proof>
 <proof prover="19"><result status="unknown" time="0.03"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
334
 <proof prover="20"><result status="unknown" time="0.01"/></proof>
335
 <proof prover="21"><result status="timeout" time="2.09"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
336
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
337
338
339
 <proof prover="24"><result status="unknown" time="0.04"/></proof>
 <proof prover="25"><result status="unknown" time="0.26"/></proof>
 <proof prover="26"><result status="timeout" time="1.98"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
340
 </goal>
341
 <goal name="smoke5">
MARCHE Claude's avatar
MARCHE Claude committed
342
 <proof prover="2"><result status="unknown" time="0.20"/></proof>
343
344
345
 <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>
MARCHE Claude's avatar
MARCHE Claude committed
346
 <proof prover="12"><result status="unknown" time="0.00"/></proof>
347
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
348
 <proof prover="14"><result status="timeout" time="1.96"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
349
 <proof prover="15"><result status="unknown" time="0.00"/></proof>
350
351
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
 <proof prover="19"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
352
 <proof prover="20"><result status="unknown" time="0.04"/></proof>
353
 <proof prover="21"><result status="timeout" time="2.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
354
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
355
356
357
 <proof prover="24"><result status="unknown" time="0.02"/></proof>
 <proof prover="25"><result status="unknown" time="0.26"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
358
 </goal>
359
 <goal name="smoke6">
360
 <proof prover="2"><result status="unknown" time="0.10"/></proof>
361
362
363
 <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>
MARCHE Claude's avatar
MARCHE Claude committed
364
 <proof prover="12"><result status="unknown" time="0.00"/></proof>
365
 <proof prover="13"><result status="timeout" time="1.99"/></proof>
366
 <proof prover="14"><result status="timeout" time="2.08"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
367
 <proof prover="15"><result status="unknown" time="0.00"/></proof>
368
369
 <proof prover="16"><result status="timeout" time="1.99"/></proof>
 <proof prover="19"><result status="unknown" time="0.02"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
370
 <proof prover="20"><result status="unknown" time="0.02"/></proof>
371
 <proof prover="21"><result status="timeout" time="2.10"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
372
 <proof prover="22"><result status="unknown" time="0.00"/></proof>
373
374
375
 <proof prover="24"><result status="unknown" time="0.02"/></proof>
 <proof prover="25"><result status="unknown" time="0.29"/></proof>
 <proof prover="26"><result status="timeout" time="1.99"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
376
377
378
 </goal>
</theory>
</file>
379
</why3session>