-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathlp.html
427 lines (420 loc) · 67.9 KB
/
lp.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
<html>
<head>
<title>WST competition 2004 - LP category - results table</title>
</head>
<body>
<h1 align=center>WST competition 2004 - LP category</h1>
<p>
Short legend (<a href="help.html">help page</a> for more):
<table border=1>
<tr><td></td><td>Tool id</td>
<tr>
<td>Problem id</td>
<td bgcolor=#66FF99>YES, it is terminating</font></td>
<td bgcolor=#99FFFF>I don't know</font></td>
<td bgcolor=#FFCC66>NO, it is NOT terminating</font></td>
</tr>
</table>
Times for giving answers are in seconds
</p>
<table border=1 cols=3>
<tr><td></td>
<td><a href="webform.cgi?command=viewtool&id=aprove">AProVE</td>
<td><a href="webform.cgi?command=viewtool&id=talp">TALP</td>
</tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.ackermann-ioi.pl">lpexamples1 - ackermann-ioi</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.ackermann-ioi.pl">0.55</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.ackermann-ioi.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.ackermann.pl">lpexamples1 - ackermann</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.ackermann.pl">0.85</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.ackermann.pl">0.12</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.average-ioi.pl">lpexamples1 - average-ioi</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.average-ioi.pl">0.80</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.average-ioi.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.average.pl">lpexamples1 - average</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.average.pl">0.84</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.average.pl">0.05</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.kay4.pl">lpexamples1 - kay4</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.kay4.pl">0.55</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.kay4.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.log2a-oi.pl">lpexamples1 - log2a-oi</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.log2a-oi.pl">0.93</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.log2a-oi.pl">3.71</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.log2a.pl">lpexamples1 - log2a</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.log2a.pl">0.92</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.log2a.pl">0.98</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.log2b-oi.pl">lpexamples1 - log2b-oi</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.log2b-oi.pl">1.24</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.log2b-oi.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.log2b.pl">lpexamples1 - log2b</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.log2b.pl">0.96</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.log2b.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.mapcolor.pl">lpexamples1 - mapcolor</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.mapcolor.pl">0.67</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.mapcolor.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.mergesort-oi.pl">lpexamples1 - mergesort-oi</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.mergesort-oi.pl">0.58</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.mergesort-oi.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.mergesort.pl">lpexamples1 - mergesort</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.mergesort.pl">4.75</a></font></td><td><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.mergesort.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.shapes.pl">lpexamples1 - shapes</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.shapes.pl">0.66</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.shapes.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples1.tautology.pl">lpexamples1 - tautology</a></td>
<td><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples1.tautology.pl">(timeout)</td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples1.tautology.pl">12.67</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples2.factorial.pl">lpexamples2 - factorial</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples2.factorial.pl">0.59</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples2.factorial.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples2.fib-oi.pl">lpexamples2 - fib-oi</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples2.fib-oi.pl">0.74</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples2.fib-oi.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples2.fib.pl">lpexamples2 - fib</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples2.fib.pl">0.68</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples2.fib.pl">24.20</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples2.hanoi.pl">lpexamples2 - hanoi</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples2.hanoi.pl">0.45</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples2.hanoi.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=lpexamples2.totient.pl">lpexamples2 - totient</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=lpexamples2.totient.pl">0.77</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=lpexamples2.totient.pl">8.28</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=qualif.append-iio.pl">qualif - append-iio</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=qualif.append-iio.pl">0.68</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=qualif.append-iio.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=qualif.append-oio.pl">qualif - append-oio</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=qualif.append-oio.pl">0.54</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=qualif.append-oio.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=qualif.append-ooi.pl">qualif - append-ooi</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=qualif.append-ooi.pl">0.67</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=qualif.append-ooi.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=qualif.syr.pl">qualif - syr</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=qualif.syr.pl">3.33</a></font></td><td><a href="webform.cgi?command=viewres&tool=talp&prob=qualif.syr.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp.append.pl">talp - append</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp.append.pl">0.72</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp.append.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp.evaluate.pl">talp - evaluate</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp.evaluate.pl">2.44</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp.evaluate.pl">0.06</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp.flat.pl">talp - flat</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp.flat.pl">0.94</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp.flat.pl">0.05</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp.qsort.pl">talp - qsort</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp.qsort.pl">1.18</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp.qsort.pl">36.19</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp.slowsort.pl">talp - slowsort</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp.slowsort.pl">0.90</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp.slowsort.pl">0.06</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp.transitive_closure.pl">talp - transitive_closure</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp.transitive_closure.pl">0.81</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp.transitive_closure.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.append.pl">talp-bench/apt - append</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.append.pl">0.73</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.append.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.curry_ap.pl">talp-bench/apt - curry_ap</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.curry_ap.pl">0.46</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.curry_ap.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.dc_schema.pl">talp-bench/apt - dc_schema</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.dc_schema.pl">0.73</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.dc_schema.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.fold.pl">talp-bench/apt - fold</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.fold.pl">0.85</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.fold.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.gtsolve.pl">talp-bench/apt - gtsolve</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.gtsolve.pl">0.52</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.gtsolve.pl">0.00</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.list.pl">talp-bench/apt - list</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.list.pl">0.79</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.list.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.lte.pl">talp-bench/apt - lte</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.lte.pl">0.36</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.lte.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.map1.pl">talp-bench/apt - map1</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.map1.pl">0.51</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.map1.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.map.pl">talp-bench/apt - map</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.map.pl">0.70</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.map.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.member.pl">talp-bench/apt - member</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.member.pl">0.67</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.member.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.mergesort_ap.pl">talp-bench/apt - mergesort_ap</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.mergesort_ap.pl">0.47</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.mergesort_ap.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.mergesort_ap_variant.pl">talp-bench/apt - mergesort_ap_variant</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.mergesort_ap_variant.pl">0.51</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.mergesort_ap_variant.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.mergesort.pl">talp-bench/apt - mergesort</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.mergesort.pl">5.52</a></font></td><td><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.mergesort.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.naive_rev-oi.pl">talp-bench/apt - naive_rev-oi</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.naive_rev-oi.pl">0.53</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.naive_rev-oi.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.naive_rev.pl">talp-bench/apt - naive_rev</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.naive_rev.pl">0.86</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.naive_rev.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.ordered.pl">talp-bench/apt - ordered</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.ordered.pl">0.88</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.ordered.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.overlap.pl">talp-bench/apt - overlap</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.overlap.pl">0.86</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.overlap.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.permutation.pl">talp-bench/apt - permutation</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.permutation.pl">0.93</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.permutation.pl">0.05</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.quicksort-oi.pl">talp-bench/apt - quicksort-oi</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.quicksort-oi.pl">0.59</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.quicksort-oi.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.quicksort.pl">talp-bench/apt - quicksort</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.quicksort.pl">1.18</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.quicksort.pl">30.60</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.select1.pl">talp-bench/apt - select1</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.select1.pl">0.75</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.select1.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.select.pl">talp-bench/apt - select</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.select.pl">0.73</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.select.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.SS_map_out.pl">talp-bench/apt - SS_map_out</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.SS_map_out.pl">1.58</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.SS_map_out.pl">2.44</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.SS_map.pl">talp-bench/apt - SS_map</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.SS_map.pl">0.67</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.SS_map.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.SS_map_t.pl">talp-bench/apt - SS_map_t</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.SS_map_t.pl">0.74</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.SS_map_t.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.subset1.pl">talp-bench/apt - subset1</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.subset1.pl">0.81</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.subset1.pl">2.47</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.subset.pl">talp-bench/apt - subset</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.subset.pl">0.76</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.subset.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.apt.sum.pl">talp-bench/apt - sum</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.apt.sum.pl">0.67</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.apt.sum.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.az.flat-oi.pl">talp-bench/az - flat-oi</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.az.flat-oi.pl">0.47</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.az.flat-oi.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.az.flat.pl">talp-bench/az - flat</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.az.flat.pl">0.97</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.az.flat.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.az.perm.pl">talp-bench/az - perm</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.az.perm.pl">0.91</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.az.perm.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.az.p.pl">talp-bench/az - p</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.az.p.pl">0.73</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.az.p.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.dds.append.pl">talp-bench/dds - append</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.dds.append.pl">0.61</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.dds.append.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.dds.dis_con-bis.pl">talp-bench/dds - dis_con-bis</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.dds.dis_con-bis.pl">0.88</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.dds.dis_con-bis.pl">0.05</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.dds.dis_con.pl">talp-bench/dds - dis_con</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.dds.dis_con.pl">0.89</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.dds.dis_con.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.dds.duplicate.pl">talp-bench/dds - duplicate</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.dds.duplicate.pl">0.74</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.dds.duplicate.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.dds.merge.pl">talp-bench/dds - merge</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.dds.merge.pl">0.93</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.dds.merge.pl">0.11</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.dds.permute.pl">talp-bench/dds - permute</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.dds.permute.pl">0.89</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.dds.permute.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.dds.reverse-iio.pl">talp-bench/dds - reverse-iio</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.dds.reverse-iio.pl">0.67</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.dds.reverse-iio.pl">0.00</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.dds.reverse.pl">talp-bench/dds - reverse</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.dds.reverse.pl">0.70</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.dds.reverse.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.dds.sum-ioi.pl">talp-bench/dds - sum-ioi</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.dds.sum-ioi.pl">0.84</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.dds.sum-ioi.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.dds.sum.pl">talp-bench/dds - sum</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.dds.sum.pl">0.86</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.dds.sum.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.bid.pl">talp-bench/maria - bid</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.bid.pl">1.63</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.bid.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.deriv-oii.pl">talp-bench/maria - deriv-oii</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.deriv-oii.pl">0.73</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.deriv-oii.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.deriv.pl">talp-bench/maria - deriv</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.deriv.pl">0.64</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.deriv.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.fib.pl">talp-bench/maria - fib</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.fib.pl">0.84</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.fib.pl">24.25</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.fib_t.pl">talp-bench/maria - fib_t</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.fib_t.pl">36.96</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.fib_t.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.grammar2.pl">talp-bench/maria - grammar2</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.grammar2.pl">0.54</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.grammar2.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.grammar.pl">talp-bench/maria - grammar</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.grammar.pl">0.51</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.grammar.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.hanoiapp.pl">talp-bench/maria - hanoiapp</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.hanoiapp.pl">0.87</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.hanoiapp.pl">18.55</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.hanoiapp.suc.pl">talp-bench/maria - hanoiapp.suc</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.hanoiapp.suc.pl">0.82</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.hanoiapp.suc.pl">6.93</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.mmatrix.pl">talp-bench/maria - mmatrix</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.mmatrix.pl">1.03</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.mmatrix.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.money.pl">talp-bench/maria - money</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.money.pl">1.20</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.money.pl">0.06</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.progeom.pl">talp-bench/maria - progeom</a></td>
<td><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.progeom.pl">(timeout)</td><td><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.progeom.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.qsortapp.pl">talp-bench/maria - qsortapp</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.qsortapp.pl">1.12</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.qsortapp.pl">0.06</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.query.pl">talp-bench/maria - query</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.query.pl">0.59</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.query.pl">0.06</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.tak.pl">talp-bench/maria - tak</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.tak.pl">0.87</a></font></td><td><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.tak.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.maria.zebra.pl">talp-bench/maria - zebra</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.maria.zebra.pl">1.66</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.maria.zebra.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.naomil.ack.pl">talp-bench/naomil - ack</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.naomil.ack.pl">0.94</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.naomil.ack.pl">0.13</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.naomil.queens.pl">talp-bench/naomil - queens</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.naomil.queens.pl">1.38</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.naomil.queens.pl">0.21</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.naomil.reverse.pl">talp-bench/naomil - reverse</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.naomil.reverse.pl">0.70</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.naomil.reverse.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.naomil.sicstus1.pl">talp-bench/naomil - sicstus1</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.naomil.sicstus1.pl">0.78</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.naomil.sicstus1.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.mergesort_t.pl">talp-bench/plumer - mergesort_t</a></td>
<td><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.mergesort_t.pl">(timeout)</td><td><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.mergesort_t.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl1.1.pl">talp-bench/plumer - pl1.1</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl1.1.pl">0.50</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl1.1.pl">0.00</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl1.2.pl">talp-bench/plumer - pl1.2</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl1.2.pl">0.92</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl1.2.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl1.2_t.pl">talp-bench/plumer - pl1.2_t</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl1.2_t.pl">1.01</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl1.2_t.pl">12.70</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl2.3.1.pl">talp-bench/plumer - pl2.3.1</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl2.3.1.pl">0.82</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl2.3.1.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl3.1.1.pl">talp-bench/plumer - pl3.1.1</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl3.1.1.pl">0.30</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl3.1.1.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl3.5.6a.pl">talp-bench/plumer - pl3.5.6a</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl3.5.6a.pl">0.77</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl3.5.6a.pl">1.14</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl3.5.6.pl">talp-bench/plumer - pl3.5.6</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl3.5.6.pl">0.85</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl3.5.6.pl">1.16</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl4.0.1-oooi.pl">talp-bench/plumer - pl4.0.1-oooi</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl4.0.1-oooi.pl">0.57</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl4.0.1-oooi.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl4.0.1.pl">talp-bench/plumer - pl4.0.1</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl4.0.1.pl">0.78</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl4.0.1.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl4.4.3.pl">talp-bench/plumer - pl4.4.3</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl4.4.3.pl">0.89</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl4.4.3.pl">0.07</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl4.4.6a.pl">talp-bench/plumer - pl4.4.6a</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl4.4.6a.pl">0.75</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl4.4.6a.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl4.5.2.pl">talp-bench/plumer - pl4.5.2</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl4.5.2.pl">1.30</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl4.5.2.pl">24.12</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl4.5.3a.pl">talp-bench/plumer - pl4.5.3a</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl4.5.3a.pl">0.71</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl4.5.3a.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl4.5.3b.pl">talp-bench/plumer - pl4.5.3b</a></td>
<td bgcolor=#FFCC66><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl4.5.3b.pl">0.74</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl4.5.3b.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl4.5.3c.pl">talp-bench/plumer - pl4.5.3c</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl4.5.3c.pl">0.52</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl4.5.3c.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl5.2.2.pl">talp-bench/plumer - pl5.2.2</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl5.2.2.pl">4.50</a></font></td><td><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl5.2.2.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl6.1.1.pl">talp-bench/plumer - pl6.1.1</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl6.1.1.pl">1.19</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl6.1.1.pl">30.25</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl7.2.9.pl">talp-bench/plumer - pl7.2.9</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl7.2.9.pl">0.78</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl7.2.9.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl7.6.2a.pl">talp-bench/plumer - pl7.6.2a</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl7.6.2a.pl">0.83</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl7.6.2a.pl">12.37</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl7.6.2b.pl">talp-bench/plumer - pl7.6.2b</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl7.6.2b.pl">0.88</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl7.6.2b.pl">42.95</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl7.6.2c.pl">talp-bench/plumer - pl7.6.2c</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl7.6.2c.pl">0.93</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl7.6.2c.pl">2.50</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl8.2.1a.pl">talp-bench/plumer - pl8.2.1a</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl8.2.1a.pl">2.20</a></font></td><td><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl8.2.1a.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl8.2.1.pl">talp-bench/plumer - pl8.2.1</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl8.2.1.pl">5.10</a></font></td><td><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl8.2.1.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl8.3.1a.pl">talp-bench/plumer - pl8.3.1a</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl8.3.1a.pl">1.12</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl8.3.1a.pl">0.13</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl8.3.1.pl">talp-bench/plumer - pl8.3.1</a></td>
<td><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl8.3.1.pl">(timeout)</td><td><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl8.3.1.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl8.4.1.pl">talp-bench/plumer - pl8.4.1</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl8.4.1.pl">0.72</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl8.4.1.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.plumer.pl8.4.2.pl">talp-bench/plumer - pl8.4.2</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.plumer.pl8.4.2.pl">0.82</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.plumer.pl8.4.2.pl">0.07</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.taboch.bad_sublist.pl">talp-bench/taboch - bad_sublist</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.taboch.bad_sublist.pl">0.51</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.taboch.bad_sublist.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.taboch.mergesort.pl">talp-bench/taboch - mergesort</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.taboch.mergesort.pl">4.94</a></font></td><td><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.taboch.mergesort.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.taboch.permute1.pl">talp-bench/taboch - permute1</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.taboch.permute1.pl">1.08</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.taboch.permute1.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.taboch.permute2.pl">talp-bench/taboch - permute2</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.taboch.permute2.pl">0.80</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.taboch.permute2.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.taboch.qicksort.pl">talp-bench/taboch - qicksort</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.taboch.qicksort.pl">1.21</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.taboch.qicksort.pl">30.77</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.taboch.queens.pl">talp-bench/taboch - queens</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.taboch.queens.pl">1.07</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.taboch.queens.pl">0.06</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.taboch.rotate.pl">talp-bench/taboch - rotate</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.taboch.rotate.pl">0.82</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.taboch.rotate.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.taboch.sameleaves.pl">talp-bench/taboch - sameleaves</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.taboch.sameleaves.pl">1.05</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.taboch.sameleaves.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.taboch.sublist1.pl">talp-bench/taboch - sublist1</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.taboch.sublist1.pl">0.75</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.taboch.sublist1.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.taboch.sublist.pl">talp-bench/taboch - sublist</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.taboch.sublist.pl">0.76</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.taboch.sublist.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.append.pl">talp-bench/talp - append</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.append.pl">0.70</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.append.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.binary2.pl">talp-bench/talp - binary2</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.binary2.pl">1.20</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.binary2.pl">0.16</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.binary3.pl">talp-bench/talp - binary3</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.binary3.pl">1.29</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.binary3.pl">0.20</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.binary4.pl">talp-bench/talp - binary4</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.binary4.pl">0.54</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.binary4.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.binary.pl">talp-bench/talp - binary</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.binary.pl">1.26</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.binary.pl">0.12</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.div.pl">talp-bench/talp - div</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.div.pl">0.85</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.div.pl">0.08</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.evaluate.pl">talp-bench/talp - evaluate</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.evaluate.pl">2.03</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.evaluate.pl">0.07</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.example1.pl">talp-bench/talp - example1</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.example1.pl">0.71</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.example1.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.example4-2.pl">talp-bench/talp - example4-2</a></td>
<td bgcolor=#FFCC66><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.example4-2.pl">0.69</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.example4-2.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.example4.pl">talp-bench/talp - example4</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.example4.pl">0.78</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.example4.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.flat.pl">talp-bench/talp - flat</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.flat.pl">0.77</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.flat.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.gcd.pl">talp-bench/talp - gcd</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.gcd.pl">1.25</a></font></td><td><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.gcd.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.nat.pl">talp-bench/talp - nat</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.nat.pl">0.87</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.nat.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.normal.pl">talp-bench/talp - normal</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.normal.pl">1.01</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.normal.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.palindrome.pl">talp-bench/talp - palindrome</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.palindrome.pl">0.77</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.palindrome.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.perm.pl">talp-bench/talp - perm</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.perm.pl">0.93</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.perm.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.permute.pl">talp-bench/talp - permute</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.permute.pl">0.85</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.permute.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.qsort.pl">talp-bench/talp - qsort</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.qsort.pl">1.14</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.qsort.pl">36.19</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.reminder-ioi.pl">talp-bench/talp - reminder-ioi</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.reminder-ioi.pl">0.60</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.reminder-ioi.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.reminder.pl">talp-bench/talp - reminder</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.reminder.pl">0.86</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.reminder.pl">44.94</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.simple.pl">talp-bench/talp - simple</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.simple.pl">0.68</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.simple.pl">0.00</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.slowsort-oi.pl">talp-bench/talp - slowsort-oi</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.slowsort-oi.pl">0.60</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.slowsort-oi.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.slowsort.pl">talp-bench/talp - slowsort</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.slowsort.pl">0.88</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.slowsort.pl">0.06</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.transitive_closure.pl">talp-bench/talp - transitive_closure</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.transitive_closure.pl">0.81</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.transitive_closure.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=talp-bench.talp.vangelder.pl">talp-bench/talp - vangelder</a></td>
<td><a href="webform.cgi?command=viewres&tool=aprove&prob=talp-bench.talp.vangelder.pl">(timeout)</td><td><a href="webform.cgi?command=viewres&tool=talp&prob=talp-bench.talp.vangelder.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.backwards.append.pl">terminweb/backwards - append</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.backwards.append.pl">0.78</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.backwards.append.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.basic.append-ooi.pl">terminweb/basic - append-ooi</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.basic.append-ooi.pl">0.70</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.basic.append-ooi.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.basic.append.pl">terminweb/basic - append</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.basic.append.pl">0.72</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.basic.append.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.basic.ways.pl">terminweb/basic - ways</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.basic.ways.pl">0.92</a></font></td><td><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.basic.ways.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.combination.der.pl">terminweb/combination - der</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.combination.der.pl">0.61</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.combination.der.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.cti.som.pl">terminweb/cti - som</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.cti.som.pl">0.56</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.cti.som.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.ackerman.pl">terminweb/old-terminweb - ackerman</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.ackerman.pl">0.94</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.ackerman.pl">0.12</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.append3-bis.pl">terminweb/old-terminweb - append3-bis</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.append3-bis.pl">0.85</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.append3-bis.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.append3.pl">terminweb/old-terminweb - append3</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.append3.pl">0.76</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.append3.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.balance_tree2.pl">terminweb/old-terminweb - balance_tree2</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.balance_tree2.pl">0.47</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.balance_tree2.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.balance_tree.pl">terminweb/old-terminweb - balance_tree</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.balance_tree.pl">0.50</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.balance_tree.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.inorder.pl">terminweb/old-terminweb - inorder</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.inorder.pl">0.89</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.inorder.pl">0.12</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.interleave.pl">terminweb/old-terminweb - interleave</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.interleave.pl">0.74</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.interleave.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.mergesort.pl">terminweb/old-terminweb - mergesort</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.mergesort.pl">4.87</a></font></td><td><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.mergesort.pl">(timeout)</td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.permutation1.pl">terminweb/old-terminweb - permutation1</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.permutation1.pl">0.93</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.permutation1.pl">0.04</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.permutation2.pl">terminweb/old-terminweb - permutation2</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.permutation2.pl">0.91</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.permutation2.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.queens.pl">terminweb/old-terminweb - queens</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.queens.pl">1.01</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.queens.pl">0.07</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.quicksort.pl">terminweb/old-terminweb - quicksort</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.quicksort.pl">0.97</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.quicksort.pl">0.06</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.reach.pl">terminweb/old-terminweb - reach</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.reach.pl">0.95</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.reach.pl">2.33</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.rotate.pl">terminweb/old-terminweb - rotate</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.rotate.pl">0.71</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.rotate.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.sameleaves.pl">terminweb/old-terminweb - sameleaves</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.sameleaves.pl">0.94</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.sameleaves.pl">0.05</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.sublist0.pl">terminweb/old-terminweb - sublist0</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.sublist0.pl">0.73</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.sublist0.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.sublist_bad.pl">terminweb/old-terminweb - sublist_bad</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.sublist_bad.pl">0.50</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.sublist_bad.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.sublist.pl">terminweb/old-terminweb - sublist</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.sublist.pl">0.70</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.sublist.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.subset-no.pl">terminweb/old-terminweb - subset-no</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.subset-no.pl">0.78</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.subset-no.pl">2.45</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.subset.pl">terminweb/old-terminweb - subset</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.subset.pl">0.79</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.subset.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.old-terminweb.untupled_bal_tree.pl">terminweb/old-terminweb - untupled_bal_tree</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.old-terminweb.untupled_bal_tree.pl">0.66</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.old-terminweb.untupled_bal_tree.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.Size-Change_NJ.NJ1.pl">terminweb/Size-Change:NJ - NJ1</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.Size-Change_NJ.NJ1.pl">0.51</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.Size-Change_NJ.NJ1.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.Size-Change_NJ.NJ2.pl">terminweb/Size-Change:NJ - NJ2</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.Size-Change_NJ.NJ2.pl">0.79</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.Size-Change_NJ.NJ2.pl">0.03</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.Size-Change_NJ.NJ3.pl">terminweb/Size-Change:NJ - NJ3</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.Size-Change_NJ.NJ3.pl">0.93</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.Size-Change_NJ.NJ3.pl">0.14</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.Size-Change_NJ.NJ4.pl">terminweb/Size-Change:NJ - NJ4</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.Size-Change_NJ.NJ4.pl">0.74</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.Size-Change_NJ.NJ4.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.Size-Change_NJ.NJ5.pl">terminweb/Size-Change:NJ - NJ5</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.Size-Change_NJ.NJ5.pl">0.76</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.Size-Change_NJ.NJ5.pl">0.05</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.Size-Change_NJ.NJ6.pl">terminweb/Size-Change:NJ - NJ6</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.Size-Change_NJ.NJ6.pl">0.78</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.Size-Change_NJ.NJ6.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.type-based.append.pl">terminweb/type-based - append</a></td>
<td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.type-based.append.pl">0.70</a></font></td><td bgcolor=#66FF99><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.type-based.append.pl">0.01</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.type-based.transpose.pl">terminweb/type-based - transpose</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.type-based.transpose.pl">0.54</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.type-based.transpose.pl">0.02</a></font></td></tr>
<tr><td><a href="webform.cgi?command=viewpb&id=terminweb.untupling.preorder_dl.pl">terminweb/untupling - preorder_dl</a></td>
<td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=aprove&prob=terminweb.untupling.preorder_dl.pl">0.51</a></font></td><td bgcolor=#99FFFF><a href="webform.cgi?command=viewres&tool=talp&prob=terminweb.untupling.preorder_dl.pl">0.02</a></font></td></tr>
<tr><td></td>
<td><a href="webform.cgi?command=viewtool&id=aprove">AProVE</td>
<td><a href="webform.cgi?command=viewtool&id=talp">TALP</td>
</tr>
<tr><td>YES score</td>
<td>120</td>
<td>111</td>
</tr>
<tr><td>NO score</td>
<td>2</td>
<td>0</td>
</tr>
</table>
<hr>
This script has been written in the <a href="http://caml.inria.fr/ocaml/">Objective CAML</a> language using the <a href="http://www.lri.fr/~filliatr/ftp/ocaml/cgi/">CGI Library</a>
</body>