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