| benchmark
|
CaT
|
TcT
|
TcT-certify
|
|
tpdb-8.0/TRS/AG01/#3.10.xml
|
MAYBE
338
|
MAYBE
59111
|
MAYBE
60031
|
|
tpdb-8.0/TRS/AG01/#3.12.xml
|
MAYBE
55370
|
n^0 - n^3
32189
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AG01/#3.13.xml
|
MAYBE
327
|
MAYBE
59116
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AG01/#3.15.xml
|
n^0 - n^2
6550
|
n^0 - n^1
5070
|
n^0 - n^1
335
|
|
tpdb-8.0/TRS/AG01/#3.16.xml
|
MAYBE
309
|
MAYBE
59164
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.17a.xml
|
MAYBE
55538
|
MAYBE
59879
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.17.xml
|
MAYBE
55418
|
MAYBE
59320
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.18.xml
|
MAYBE
316
|
MAYBE
59122
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.19.xml
|
MAYBE
315
|
MAYBE
59143
|
MAYBE
60031
|
|
tpdb-8.0/TRS/AG01/#3.1.xml
|
MAYBE
309
|
n^0 - n^1
1002
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.22.xml
|
MAYBE
309
|
MAYBE
59121
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AG01/#3.23.xml
|
MAYBE
304
|
n^0 - n^1
466
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AG01/#3.24.xml
|
n^0 - n^1
409
|
n^0 - n^1
958
|
n^0 - n^2
425
|
|
tpdb-8.0/TRS/AG01/#3.26.xml
|
MAYBE
55383
|
MAYBE
59537
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.29.xml
|
MAYBE
302
|
n^0 - n^1
223
|
n^0 - n^1
79
|
|
tpdb-8.0/TRS/AG01/#3.2.xml
|
MAYBE
311
|
MAYBE
38272
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AG01/#3.31.xml
|
MAYBE
303
|
MAYBE
59135
|
MAYBE
60028
|
|
tpdb-8.0/TRS/AG01/#3.33.xml
|
n^0 - n^1
434
|
n^0 - n^0
1609
|
n^0 - n^2
2133
|
|
tpdb-8.0/TRS/AG01/#3.35.xml
|
n^0 - n^1
408
|
n^0 - n^1
248
|
n^0 - n^1
214
|
|
tpdb-8.0/TRS/AG01/#3.36.xml
|
MAYBE
311
|
MAYBE
59247
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.37.xml
|
n^0 - n^1
512
|
n^0 - n^1
1635
|
n^0 - n^2
1021
|
|
tpdb-8.0/TRS/AG01/#3.38.xml
|
MAYBE
314
|
MAYBE
59731
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AG01/#3.39.xml
|
MAYBE
317
|
n^0 - n^1
30222
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AG01/#3.40.xml
|
MAYBE
323
|
MAYBE
59222
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AG01/#3.41.xml
|
MAYBE
307
|
n^0 - n^1
20111
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AG01/#3.42.xml
|
MAYBE
314
|
MAYBE
30546
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.47.xml
|
MAYBE
306
|
n^0 - n^2
13337
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.48.xml
|
MAYBE
320
|
MAYBE
43596
|
MAYBE
60028
|
|
tpdb-8.0/TRS/AG01/#3.49.xml
|
MAYBE
55490
|
MAYBE
59069
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AG01/#3.4.xml
|
MAYBE
315
|
MAYBE
59184
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AG01/#3.51.xml
|
n^0 - n^1
461
|
n^0 - n^1
3555
|
n^0 - n^2
2149
|
|
tpdb-8.0/TRS/AG01/#3.52.xml
|
MAYBE
306
|
n^0 - n^1
752
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.53a.xml
|
MAYBE
302
|
n^0 - n^0
347
|
n^0 - n^1
124
|
|
tpdb-8.0/TRS/AG01/#3.53b.xml
|
MAYBE
307
|
n^0 - n^1
820
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.53.xml
|
MAYBE
327
|
MAYBE
59143
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.54.xml
|
MAYBE
308
|
MAYBE
59464
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.55.xml
|
MAYBE
335
|
MAYBE
59117
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.56.xml
|
n^0 - n^1
426
|
n^0 - n^1
2059
|
n^0 - n^2
1460
|
|
tpdb-8.0/TRS/AG01/#3.57.xml
|
MAYBE
326
|
MAYBE
59114
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AG01/#3.5a.xml
|
MAYBE
319
|
MAYBE
59179
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.5b.xml
|
MAYBE
321
|
MAYBE
47368
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.5.xml
|
MAYBE
322
|
n^0 - n^2
2920
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.6a.xml
|
MAYBE
322
|
n^0 - n^2
4305
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.6b.xml
|
MAYBE
322
|
MAYBE
59147
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.6.xml
|
MAYBE
322
|
MAYBE
59181
|
MAYBE
60032
|
|
tpdb-8.0/TRS/AG01/#3.7.xml
|
n^0 - n^1
3181
|
n^0 - n^1
5047
|
n^0 - n^1
126
|
|
tpdb-8.0/TRS/AG01/#3.8a.xml
|
MAYBE
318
|
MAYBE
56844
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AG01/#3.8b.xml
|
MAYBE
320
|
MAYBE
59354
|
MAYBE
60028
|
|
tpdb-8.0/TRS/AG01/#4.30c.xml
|
MAYBE
316
|
MAYBE
59143
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml
|
MAYBE
389
|
MAYBE
59174
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_04/AAECC.xml
|
MAYBE
340
|
MAYBE
59276
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_04/fac.xml
|
MAYBE
312
|
MAYBE
53344
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml
|
MAYBE
316
|
MAYBE
59160
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml
|
MAYBE
335
|
MAYBE
59155
|
MAYBE
60045
|
|
tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml
|
MAYBE
311
|
n^0 - n^1
28196
|
MAYBE
60031
|
|
tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml
|
MAYBE
344
|
MAYBE
59132
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml
|
MAYBE
340
|
MAYBE
59201
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml
|
MAYBE
326
|
MAYBE
59125
|
MAYBE
60048
|
|
tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml
|
MAYBE
326
|
MAYBE
59720
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml
|
MAYBE
55533
|
MAYBE
33409
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml
|
n^0 - n^2
56059
|
MAYBE
59120
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml
|
n^0 - n^1
485
|
n^0 - n^1
44180
|
MAYBE
60031
|
|
tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml
|
MAYBE
55625
|
MAYBE
34081
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_04/Liveness8.xml
|
n^0 - n^1
520
|
n^0 - n^1
59179
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml
|
n^0 - n^1
534
|
n^0 - n^1
59089
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml
|
MAYBE
55528
|
MAYBE
59136
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_04/rta1.xml
|
MAYBE
314
|
MAYBE
59237
|
MAYBE
60032
|
|
tpdb-8.0/TRS/AProVE_04/rta2.xml
|
MAYBE
308
|
MAYBE
59102
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_04/rta3.xml
|
MAYBE
311
|
MAYBE
59088
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml
|
MAYBE
330
|
MAYBE
31884
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_06/div_notTermin.xml
|
MAYBE
330
|
MAYBE
59215
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_06/factorial1.xml
|
MAYBE
316
|
MAYBE
59175
|
MAYBE
60031
|
|
tpdb-8.0/TRS/AProVE_06/factorial2.xml
|
MAYBE
320
|
MAYBE
59632
|
MAYBE
60028
|
|
tpdb-8.0/TRS/AProVE_06/identity.xml
|
MAYBE
55366
|
MAYBE
59164
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_06/logarithm.xml
|
MAYBE
323
|
MAYBE
59229
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_06/modulo.xml
|
MAYBE
315
|
MAYBE
59167
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_06/nonterm.xml
|
MAYBE
55403
|
MAYBE
59233
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_06/quicksort.xml
|
MAYBE
333
|
MAYBE
59120
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_06/quot.xml
|
MAYBE
318
|
MAYBE
43055
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_06/sizeChange.xml
|
MAYBE
318
|
MAYBE
59088
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml
|
MAYBE
55475
|
MAYBE
59110
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_06/tower.xml
|
MAYBE
319
|
MAYBE
59195
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/kabasci01.xml
|
MAYBE
353
|
MAYBE
59143
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/kabasci02.xml
|
MAYBE
349
|
MAYBE
59115
|
MAYBE
60031
|
|
tpdb-8.0/TRS/AProVE_07/kabasci03.xml
|
MAYBE
325
|
MAYBE
59250
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/kabasci04.xml
|
MAYBE
320
|
MAYBE
59161
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/kabasci05.xml
|
MAYBE
324
|
MAYBE
59115
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/otto01.xml
|
MAYBE
329
|
MAYBE
59164
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/otto02.xml
|
MAYBE
329
|
MAYBE
59149
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/otto03.xml
|
MAYBE
312
|
MAYBE
34678
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/otto04.xml
|
MAYBE
324
|
MAYBE
59226
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/otto05.xml
|
MAYBE
318
|
MAYBE
51920
|
MAYBE
60032
|
|
tpdb-8.0/TRS/AProVE_07/otto06.xml
|
MAYBE
363
|
MAYBE
59142
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/otto07.xml
|
MAYBE
314
|
MAYBE
59143
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/otto08.xml
|
MAYBE
322
|
MAYBE
59180
|
MAYBE
60031
|
|
tpdb-8.0/TRS/AProVE_07/otto09.xml
|
MAYBE
315
|
MAYBE
32853
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/otto10.xml
|
MAYBE
323
|
MAYBE
59161
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/otto11.xml
|
MAYBE
315
|
MAYBE
59175
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/otto12.xml
|
MAYBE
320
|
MAYBE
59162
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/otto13.xml
|
MAYBE
327
|
MAYBE
59170
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann01.xml
|
MAYBE
323
|
MAYBE
59415
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann02.xml
|
MAYBE
347
|
MAYBE
59107
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann03.xml
|
MAYBE
320
|
MAYBE
59560
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann04.xml
|
MAYBE
344
|
MAYBE
59104
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann05.xml
|
MAYBE
317
|
MAYBE
59154
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann06.xml
|
MAYBE
325
|
MAYBE
59176
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann07.xml
|
MAYBE
332
|
MAYBE
59237
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann08.xml
|
MAYBE
317
|
MAYBE
59617
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann09.xml
|
MAYBE
326
|
MAYBE
60204
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann10.xml
|
MAYBE
318
|
MAYBE
44555
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann11.xml
|
MAYBE
324
|
MAYBE
59182
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann12.xml
|
MAYBE
322
|
MAYBE
54079
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann13.xml
|
MAYBE
323
|
MAYBE
59208
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann14.xml
|
MAYBE
329
|
MAYBE
59162
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann15.xml
|
MAYBE
314
|
MAYBE
45607
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann16.xml
|
MAYBE
323
|
MAYBE
59140
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann17.xml
|
MAYBE
318
|
MAYBE
59550
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann18.xml
|
MAYBE
346
|
MAYBE
59102
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann19.xml
|
MAYBE
317
|
MAYBE
42205
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann20.xml
|
MAYBE
349
|
MAYBE
59185
|
MAYBE
60028
|
|
tpdb-8.0/TRS/AProVE_07/thiemann21.xml
|
MAYBE
343
|
MAYBE
59098
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann22.xml
|
MAYBE
315
|
MAYBE
54773
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann23.xml
|
MAYBE
318
|
MAYBE
47237
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann24.xml
|
MAYBE
317
|
MAYBE
59160
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann25.xml
|
MAYBE
316
|
MAYBE
59138
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann26.xml
|
MAYBE
318
|
MAYBE
59128
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann27.xml
|
MAYBE
312
|
MAYBE
29188
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann28.xml
|
MAYBE
323
|
MAYBE
59174
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann29.xml
|
MAYBE
330
|
MAYBE
59177
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann30.xml
|
MAYBE
345
|
MAYBE
59115
|
MAYBE
60031
|
|
tpdb-8.0/TRS/AProVE_07/thiemann31.xml
|
MAYBE
322
|
MAYBE
59384
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann32.xml
|
MAYBE
330
|
MAYBE
59131
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann33.xml
|
MAYBE
320
|
MAYBE
59163
|
MAYBE
60031
|
|
tpdb-8.0/TRS/AProVE_07/thiemann34.xml
|
MAYBE
321
|
MAYBE
35811
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann36.xml
|
MAYBE
326
|
MAYBE
59169
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann37.xml
|
MAYBE
335
|
MAYBE
59356
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/thiemann38.xml
|
MAYBE
323
|
MAYBE
59166
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/thiemann40.xml
|
MAYBE
312
|
MAYBE
59483
|
MAYBE
60032
|
|
tpdb-8.0/TRS/AProVE_07/thiemann41.xml
|
MAYBE
317
|
MAYBE
59240
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/wiehe01.xml
|
MAYBE
328
|
MAYBE
59114
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/wiehe02.xml
|
MAYBE
338
|
MAYBE
59090
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/wiehe03.xml
|
MAYBE
345
|
MAYBE
59092
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/wiehe05.xml
|
MAYBE
332
|
MAYBE
59129
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/wiehe06.xml
|
MAYBE
334
|
MAYBE
59090
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/wiehe07.xml
|
MAYBE
333
|
MAYBE
59110
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_07/wiehe08.xml
|
MAYBE
334
|
MAYBE
59126
|
MAYBE
60031
|
|
tpdb-8.0/TRS/AProVE_07/wiehe09.xml
|
MAYBE
331
|
MAYBE
59110
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/wiehe11.xml
|
MAYBE
347
|
MAYBE
59083
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_07/wiehe12.xml
|
MAYBE
365
|
MAYBE
59109
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_08/id_inc.xml
|
MAYBE
313
|
MAYBE
59129
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_08/log.xml
|
MAYBE
318
|
MAYBE
59167
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml
|
MAYBE
321
|
MAYBE
59139
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml
|
MAYBE
322
|
MAYBE
59205
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml
|
MAYBE
328
|
MAYBE
59136
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml
|
MAYBE
337
|
MAYBE
59261
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml
|
MAYBE
330
|
MAYBE
59136
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_08/round_nonterm.xml
|
MAYBE
26438
|
MAYBE
59121
|
MAYBE
60032
|
|
tpdb-8.0/TRS/AProVE_08/round.xml
|
MAYBE
13060
|
MAYBE
59156
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml
|
MAYBE
316
|
MAYBE
59202
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml
|
MAYBE
324
|
MAYBE
28797
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/div.xml
|
MAYBE
319
|
MAYBE
59227
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml
|
MAYBE
325
|
MAYBE
59164
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml
|
MAYBE
321
|
MAYBE
59139
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml
|
MAYBE
327
|
MAYBE
59345
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/log.xml
|
MAYBE
313
|
MAYBE
39165
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml
|
MAYBE
328
|
MAYBE
59143
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml
|
MAYBE
333
|
MAYBE
59137
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml
|
MAYBE
327
|
MAYBE
59138
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml
|
MAYBE
319
|
MAYBE
54971
|
MAYBE
60030
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml
|
MAYBE
337
|
MAYBE
59128
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml
|
MAYBE
347
|
MAYBE
59118
|
MAYBE
60031
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml
|
MAYBE
324
|
MAYBE
59127
|
MAYBE
60029
|
|
tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml
|
MAYBE
316
|
MAYBE
59201
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Beerendonk_07/10.xml
|
MAYBE
322
|
MAYBE
22154
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Beerendonk_07/11.xml
|
MAYBE
320
|
MAYBE
22345
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Beerendonk_07/12.xml
|
MAYBE
314
|
MAYBE
20150
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Beerendonk_07/13.xml
|
MAYBE
314
|
MAYBE
20525
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Beerendonk_07/14.xml
|
MAYBE
318
|
MAYBE
22131
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Beerendonk_07/15.xml
|
MAYBE
318
|
MAYBE
51731
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Beerendonk_07/16.xml
|
MAYBE
327
|
MAYBE
53427
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Beerendonk_07/17.xml
|
MAYBE
324
|
MAYBE
51347
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Beerendonk_07/18.xml
|
MAYBE
322
|
MAYBE
31568
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Beerendonk_07/19.xml
|
MAYBE
323
|
MAYBE
30211
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Beerendonk_07/1.xml
|
MAYBE
311
|
MAYBE
18036
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Beerendonk_07/20.xml
|
MAYBE
322
|
MAYBE
30127
|
MAYBE
60028
|
|
tpdb-8.0/TRS/Beerendonk_07/21.xml
|
MAYBE
322
|
MAYBE
30221
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Beerendonk_07/22.xml
|
MAYBE
310
|
MAYBE
19170
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Beerendonk_07/23.xml
|
MAYBE
312
|
MAYBE
19759
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Beerendonk_07/24.xml
|
MAYBE
324
|
MAYBE
31304
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Beerendonk_07/2.xml
|
MAYBE
308
|
MAYBE
16800
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Beerendonk_07/3.xml
|
MAYBE
310
|
MAYBE
25142
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Beerendonk_07/4.xml
|
MAYBE
307
|
MAYBE
59111
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Beerendonk_07/5.xml
|
MAYBE
318
|
MAYBE
30109
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Beerendonk_07/6.xml
|
MAYBE
313
|
MAYBE
14861
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Beerendonk_07/7.xml
|
MAYBE
311
|
MAYBE
30067
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Beerendonk_07/8.xml
|
MAYBE
312
|
MAYBE
30247
|
MAYBE
60033
|
|
tpdb-8.0/TRS/Beerendonk_07/9.xml
|
MAYBE
316
|
MAYBE
30227
|
MAYBE
60031
|
|
tpdb-8.0/TRS/CiME_04/ack_prolog.xml
|
MAYBE
313
|
MAYBE
59115
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/append-hard.xml
|
MAYBE
314
|
MAYBE
59220
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/append-wrong.xml
|
MAYBE
314
|
MAYBE
59230
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/append.xml
|
MAYBE
314
|
n^0 - n^1
755
|
MAYBE
60031
|
|
tpdb-8.0/TRS/CiME_04/big.xml
|
MAYBE
390
|
MAYBE
59135
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/dpqs.xml
|
n^0 - n^1
439
|
n^0 - n^1
2127
|
n^0 - n^2
1128
|
|
tpdb-8.0/TRS/CiME_04/fact-hard.xml
|
MAYBE
321
|
MAYBE
59173
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/filliatre2.xml
|
MAYBE
55515
|
MAYBE
59174
|
MAYBE
60030
|
|
tpdb-8.0/TRS/CiME_04/filliatre3.xml
|
MAYBE
326
|
MAYBE
59193
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/filliatre.xml
|
MAYBE
55606
|
MAYBE
59315
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/intersect.xml
|
MAYBE
331
|
n^0 - n^2
59266
|
MAYBE
60030
|
|
tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml
|
MAYBE
327
|
MAYBE
59522
|
MAYBE
60030
|
|
tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml
|
MAYBE
318
|
MAYBE
59405
|
MAYBE
60031
|
|
tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml
|
MAYBE
333
|
MAYBE
59109
|
MAYBE
60031
|
|
tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml
|
MAYBE
326
|
MAYBE
59128
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml
|
MAYBE
323
|
MAYBE
59133
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/list-sum-prod.xml
|
MAYBE
313
|
MAYBE
59281
|
MAYBE
60031
|
|
tpdb-8.0/TRS/CiME_04/log2.xml
|
MAYBE
343
|
MAYBE
59127
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/lse.xml
|
MAYBE
341
|
n^0 - n^2
59405
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/maude2.xml
|
MAYBE
341
|
MAYBE
59140
|
MAYBE
60030
|
|
tpdb-8.0/TRS/CiME_04/mucrl1.xml
|
MAYBE
750
|
MAYBE
60025
|
MAYBE
60030
|
|
tpdb-8.0/TRS/CiME_04/ternary-hard.xml
|
MAYBE
345
|
MAYBE
59100
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/ternary.xml
|
MAYBE
345
|
MAYBE
59106
|
MAYBE
60029
|
|
tpdb-8.0/TRS/CiME_04/tree.xml
|
MAYBE
362
|
MAYBE
59121
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Der95/06.xml
|
n^0 - n^1
397
|
n^0 - n^1
165
|
n^0 - n^1
117
|
|
tpdb-8.0/TRS/Der95/07.xml
|
n^0 - n^1
420
|
n^0 - n^1
624
|
n^0 - n^1
204
|
|
tpdb-8.0/TRS/Der95/08.xml
|
MAYBE
309
|
n^0 - n^1
979
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Der95/11.xml
|
MAYBE
320
|
n^0 - n^2
30485
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Der95/12.xml
|
MAYBE
310
|
MAYBE
59180
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Der95/18.xml
|
MAYBE
304
|
n^0 - n^1
189
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Der95/20.xml
|
MAYBE
30954
|
MAYBE
59121
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Der95/21.xml
|
MAYBE
312
|
MAYBE
59451
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Der95/27.xml
|
n^0 - n^1
396
|
n^0 - n^1
349
|
n^0 - n^1
116
|
|
tpdb-8.0/TRS/Der95/31.xml
|
MAYBE
312
|
n^0 - n^2
59279
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Der95/32.xml
|
MAYBE
319
|
MAYBE
59157
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Der95/33.xml
|
MAYBE
317
|
MAYBE
59305
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Endrullis_06/direct.xml
|
n^0 - n^1
1057
|
n^0 - n^1
8380
|
n^0 - n^3
13655
|
|
tpdb-8.0/TRS/GTSSK07/cade01.xml
|
MAYBE
312
|
MAYBE
59136
|
MAYBE
60029
|
|
tpdb-8.0/TRS/GTSSK07/cade03.xml
|
MAYBE
309
|
MAYBE
59808
|
MAYBE
60028
|
|
tpdb-8.0/TRS/GTSSK07/cade04t.xml
|
MAYBE
310
|
MAYBE
59146
|
MAYBE
60029
|
|
tpdb-8.0/TRS/GTSSK07/cade05t.xml
|
MAYBE
319
|
MAYBE
59234
|
MAYBE
60029
|
|
tpdb-8.0/TRS/GTSSK07/cade06.xml
|
MAYBE
314
|
MAYBE
36296
|
MAYBE
60029
|
|
tpdb-8.0/TRS/GTSSK07/cade07.xml
|
MAYBE
313
|
MAYBE
59111
|
MAYBE
60028
|
|
tpdb-8.0/TRS/GTSSK07/cade08.xml
|
MAYBE
315
|
MAYBE
30243
|
MAYBE
60030
|
|
tpdb-8.0/TRS/GTSSK07/cade09.xml
|
MAYBE
312
|
MAYBE
59125
|
MAYBE
60029
|
|
tpdb-8.0/TRS/GTSSK07/cade10.xml
|
MAYBE
314
|
MAYBE
59232
|
MAYBE
60030
|
|
tpdb-8.0/TRS/GTSSK07/cade11.xml
|
MAYBE
313
|
MAYBE
59205
|
MAYBE
60030
|
|
tpdb-8.0/TRS/GTSSK07/cade12t.xml
|
MAYBE
318
|
MAYBE
54580
|
MAYBE
60030
|
|
tpdb-8.0/TRS/GTSSK07/cade13t.xml
|
MAYBE
322
|
MAYBE
57243
|
MAYBE
60030
|
|
tpdb-8.0/TRS/GTSSK07/cade14.xml
|
MAYBE
321
|
MAYBE
59106
|
MAYBE
60031
|
|
tpdb-8.0/TRS/GTSSK07/cade15.xml
|
MAYBE
330
|
MAYBE
59124
|
MAYBE
60034
|
|
tpdb-8.0/TRS/GTSSK07/cade16.xml
|
MAYBE
316
|
MAYBE
59200
|
MAYBE
60030
|
|
tpdb-8.0/TRS/GTSSK07/cade17.xml
|
MAYBE
319
|
MAYBE
59185
|
MAYBE
60030
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml
|
MAYBE
10327
|
MAYBE
5927
|
MAYBE
60029
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml
|
MAYBE
10348
|
MAYBE
6243
|
MAYBE
60031
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml
|
MAYBE
10336
|
MAYBE
6892
|
MAYBE
60031
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml
|
MAYBE
10328
|
MAYBE
59188
|
MAYBE
60030
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml
|
MAYBE
10333
|
MAYBE
12424
|
MAYBE
60029
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml
|
MAYBE
303
|
MAYBE
11789
|
MAYBE
60029
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml
|
MAYBE
326
|
MAYBE
59128
|
MAYBE
60030
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml
|
MAYBE
317
|
MAYBE
59210
|
MAYBE
60029
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml
|
MAYBE
323
|
MAYBE
59141
|
MAYBE
60029
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml
|
MAYBE
25114
|
MAYBE
59192
|
MAYBE
60030
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml
|
MAYBE
56031
|
MAYBE
59234
|
MAYBE
60028
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml
|
n^0 - n^2
6019
|
n^0 - n^1
5039
|
n^0 - n^1
126
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml
|
MAYBE
42585
|
MAYBE
59139
|
MAYBE
60029
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml
|
MAYBE
312
|
MAYBE
59293
|
MAYBE
60031
|
|
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml
|
MAYBE
315
|
MAYBE
59176
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml
|
MAYBE
55538
|
MAYBE
59094
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Mixed_TRS/fossacs.xml
|
MAYBE
339
|
MAYBE
59124
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml
|
MAYBE
524
|
MAYBE
59149
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml
|
MAYBE
325
|
MAYBE
59111
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Mixed_TRS/gcd.xml
|
MAYBE
321
|
MAYBE
59139
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Mixed_TRS/hydra.xml
|
MAYBE
310
|
n^0 - n^2
59166
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml
|
MAYBE
315
|
MAYBE
59246
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Mixed_TRS/jones1.xml
|
n^0 - n^1
395
|
n^0 - n^1
452
|
n^0 - n^1
191
|
|
tpdb-8.0/TRS/Mixed_TRS/jones2.xml
|
MAYBE
306
|
n^0 - n^1
681
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Mixed_TRS/jones4.xml
|
n^0 - n^1
399
|
n^0 - n^1
478
|
n^0 - n^1
202
|
|
tpdb-8.0/TRS/Mixed_TRS/jones5.xml
|
MAYBE
308
|
MAYBE
59184
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Mixed_TRS/jones6.xml
|
n^0 - n^1
487
|
n^0 - n^1
967
|
n^0 - n^1
332
|
|
tpdb-8.0/TRS/Mixed_TRS/minsort.xml
|
MAYBE
322
|
MAYBE
59144
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Mixed_TRS/perfect2.xml
|
MAYBE
324
|
MAYBE
59165
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Mixed_TRS/perfect.xml
|
MAYBE
315
|
n^0 - n^1
2216
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Mixed_TRS/test1.xml
|
MAYBE
305
|
MAYBE
59145
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Mixed_TRS/while.xml
|
MAYBE
308
|
MAYBE
59677
|
MAYBE
60028
|
|
tpdb-8.0/TRS/Rubio_04/bintrees.xml
|
n^0 - n^1
1295
|
n^0 - n^1
1685
|
n^0 - n^2
911
|
|
tpdb-8.0/TRS/Rubio_04/bn122.xml
|
MAYBE
307
|
n^0 - n^1
1348
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Rubio_04/division.xml
|
MAYBE
319
|
MAYBE
59167
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Rubio_04/elimdupl.xml
|
MAYBE
317
|
n^0 - n^2
59170
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Rubio_04/enno.xml
|
MAYBE
323
|
MAYBE
59101
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Rubio_04/gcd.xml
|
MAYBE
320
|
MAYBE
59185
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Rubio_04/gmnp.xml
|
n^0 - n^1
429
|
n^0 - n^1
1433
|
n^0 - n^2
1323
|
|
tpdb-8.0/TRS/Rubio_04/gm.xml
|
MAYBE
313
|
n^0 - n^1
1356
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Rubio_04/koen.xml
|
n^0 - n^1
479
|
n^0 - n^1
15033
|
n^0 - n^1
150
|
|
tpdb-8.0/TRS/Rubio_04/logarquot.xml
|
MAYBE
314
|
n^0 - n^2
30245
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Rubio_04/ma96.xml
|
MAYBE
351
|
MAYBE
59118
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Rubio_04/mfp95.xml
|
n^0 - n^1
448
|
n^0 - n^0
233
|
n^0 - n^1
84
|
|
tpdb-8.0/TRS/Rubio_04/nestrec.xml
|
MAYBE
55384
|
MAYBE
59129
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Rubio_04/p266.xml
|
n^0 - n^1
409
|
n^0 - n^1
2062
|
n^0 - n^2
977
|
|
tpdb-8.0/TRS/Rubio_04/polo2.xml
|
MAYBE
325
|
n^0 - n^1
42627
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Rubio_04/prov.xml
|
MAYBE
306
|
n^0 - n^1
1053
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Rubio_04/quick.xml
|
MAYBE
327
|
MAYBE
59122
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Rubio_04/quotminus.xml
|
MAYBE
316
|
MAYBE
59176
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Rubio_04/revlist.xml
|
MAYBE
315
|
MAYBE
59519
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Rubio_04/selsort.xml
|
MAYBE
342
|
MAYBE
59115
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Rubio_04/test4.xml
|
n^0 - n^1
476
|
n^0 - n^1
2630
|
n^0 - n^2
822
|
|
tpdb-8.0/TRS/Rubio_04/test829.xml
|
n^0 - n^1
414
|
n^0 - n^1
817
|
n^0 - n^2
408
|
|
tpdb-8.0/TRS/Rubio_04/wst99.xml
|
MAYBE
323
|
MAYBE
59101
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml
|
MAYBE
316
|
MAYBE
41043
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml
|
MAYBE
322
|
MAYBE
59139
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml
|
MAYBE
314
|
MAYBE
36151
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml
|
MAYBE
320
|
MAYBE
59441
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Secret_05_TRS/cime2.xml
|
MAYBE
321
|
MAYBE
59191
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_05_TRS/cime3.xml
|
MAYBE
334
|
MAYBE
59106
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Secret_05_TRS/cime4.xml
|
MAYBE
304
|
n^0 - n^0
9350
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_05_TRS/cime5.xml
|
MAYBE
395
|
MAYBE
60336
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml
|
MAYBE
316
|
MAYBE
59170
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml
|
MAYBE
310
|
MAYBE
59239
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml
|
MAYBE
315
|
MAYBE
59301
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml
|
MAYBE
315
|
MAYBE
59353
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml
|
MAYBE
334
|
MAYBE
33461
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml
|
MAYBE
307
|
MAYBE
60058
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml
|
MAYBE
10334
|
MAYBE
59222
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_06_TRS/10.xml
|
n^0 - n^1
431
|
n^0 - n^1
59144
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_06_TRS/4.xml
|
n^0 - n^1
418
|
n^0 - n^1
59094
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_06_TRS/6.xml
|
n^0 - n^1
426
|
n^0 - n^1
24116
|
n^0 - n^2
5016
|
|
tpdb-8.0/TRS/Secret_06_TRS/addList.xml
|
MAYBE
337
|
MAYBE
59235
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_06_TRS/divExp.xml
|
MAYBE
316
|
MAYBE
59192
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_06_TRS/division.xml
|
MAYBE
318
|
MAYBE
59168
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Secret_06_TRS/double.xml
|
MAYBE
327
|
MAYBE
59124
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml
|
MAYBE
317
|
MAYBE
59523
|
MAYBE
60028
|
|
tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml
|
MAYBE
306
|
n^0 - n^1
18759
|
n^0 - n^2
2687
|
|
tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml
|
MAYBE
314
|
MAYBE
59147
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml
|
MAYBE
322
|
MAYBE
59232
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml
|
MAYBE
323
|
MAYBE
59131
|
MAYBE
60028
|
|
tpdb-8.0/TRS/Secret_06_TRS/reverse.xml
|
MAYBE
319
|
MAYBE
59405
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Secret_06_TRS/sumList.xml
|
MAYBE
325
|
MAYBE
59142
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_06_TRS/times.xml
|
MAYBE
328
|
MAYBE
59148
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_06_TRS/toList.xml
|
MAYBE
327
|
MAYBE
59608
|
MAYBE
60028
|
|
tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml
|
MAYBE
320
|
MAYBE
59136
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml
|
MAYBE
323
|
MAYBE
59138
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml
|
MAYBE
321
|
MAYBE
59108
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml
|
MAYBE
314
|
MAYBE
59281
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml
|
MAYBE
320
|
MAYBE
59494
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml
|
MAYBE
331
|
MAYBE
59146
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml
|
MAYBE
323
|
MAYBE
59123
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Secret_07_TRS/3.xml
|
n^0 - n^1
527
|
MAYBE
59110
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml
|
MAYBE
340
|
MAYBE
59133
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml
|
MAYBE
332
|
MAYBE
59122
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml
|
MAYBE
354
|
MAYBE
59118
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml
|
MAYBE
338
|
MAYBE
59117
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml
|
MAYBE
330
|
MAYBE
59127
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml
|
MAYBE
338
|
MAYBE
59140
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml
|
MAYBE
328
|
MAYBE
59145
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml
|
MAYBE
338
|
MAYBE
59105
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml
|
MAYBE
326
|
MAYBE
59125
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml
|
MAYBE
324
|
MAYBE
59140
|
MAYBE
60028
|
|
tpdb-8.0/TRS/Secret_07_TRS/secret1.xml
|
MAYBE
331
|
MAYBE
59196
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_07_TRS/secret3.xml
|
MAYBE
320
|
MAYBE
59242
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Secret_07_TRS/secret4.xml
|
MAYBE
330
|
MAYBE
59105
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Secret_07_TRS/secret5.xml
|
MAYBE
324
|
MAYBE
59419
|
MAYBE
60031
|
|
tpdb-8.0/TRS/SK90/2.02.xml
|
n^0 - n^1
417
|
n^0 - n^1
59365
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/2.03.xml
|
n^0 - n^1
436
|
n^0 - n^1
404
|
n^0 - n^1
194
|
|
tpdb-8.0/TRS/SK90/2.07.xml
|
MAYBE
311
|
n^0 - n^2
59282
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.09.xml
|
n^0 - n^1
398
|
n^0 - n^1
398
|
n^0 - n^1
135
|
|
tpdb-8.0/TRS/SK90/2.11.xml
|
n^0 - n^1
443
|
n^0 - n^1
425
|
n^0 - n^1
245
|
|
tpdb-8.0/TRS/SK90/2.12.xml
|
MAYBE
319
|
MAYBE
59249
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.13.xml
|
MAYBE
309
|
n^0 - n^1
902
|
n^0 - n^1
272
|
|
tpdb-8.0/TRS/SK90/2.14.xml
|
n^0 - n^1
441
|
n^0 - n^1
969
|
n^0 - n^1
535
|
|
tpdb-8.0/TRS/SK90/2.15.xml
|
MAYBE
308
|
MAYBE
59117
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.16.xml
|
MAYBE
319
|
n^0 - n^2
59165
|
MAYBE
60031
|
|
tpdb-8.0/TRS/SK90/2.17.xml
|
MAYBE
306
|
n^0 - n^1
317
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/2.18.xml
|
MAYBE
307
|
n^0 - n^2
11180
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.19.xml
|
MAYBE
311
|
MAYBE
43410
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.20.xml
|
MAYBE
308
|
n^0 - n^1
558
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/2.21.xml
|
MAYBE
309
|
MAYBE
56718
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/2.22.xml
|
MAYBE
312
|
MAYBE
59274
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/2.23.xml
|
MAYBE
314
|
MAYBE
59217
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.24.xml
|
MAYBE
307
|
MAYBE
23952
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/2.25.xml
|
MAYBE
310
|
MAYBE
59406
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.26.xml
|
MAYBE
322
|
MAYBE
59343
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.27.xml
|
MAYBE
318
|
MAYBE
59319
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.28.xml
|
MAYBE
305
|
MAYBE
59132
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.29.xml
|
MAYBE
316
|
n^0 - n^1
1737
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/2.30.xml
|
MAYBE
309
|
n^0 - n^1
264
|
n^0 - n^1
124
|
|
tpdb-8.0/TRS/SK90/2.31.xml
|
n^0 - n^1
487
|
n^0 - n^1
703
|
n^0 - n^1
227
|
|
tpdb-8.0/TRS/SK90/2.36.xml
|
n^0 - n^2
6072
|
n^0 - n^1
5051
|
n^0 - n^1
214
|
|
tpdb-8.0/TRS/SK90/2.37.xml
|
MAYBE
304
|
n^0 - n^1
329
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.38.xml
|
n^0 - n^1
412
|
n^0 - n^1
1284
|
n^0 - n^1
230
|
|
tpdb-8.0/TRS/SK90/2.39.xml
|
MAYBE
24284
|
n^0 - n^2
30085
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.40.xml
|
MAYBE
310
|
n^0 - n^1
21364
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.41.xml
|
n^0 - n^1
530
|
n^0 - n^1
581
|
n^0 - n^1
267
|
|
tpdb-8.0/TRS/SK90/2.42.xml
|
n^0 - n^1
454
|
n^0 - n^1
59291
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/2.43.xml
|
MAYBE
320
|
MAYBE
59288
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/2.44.xml
|
MAYBE
314
|
n^0 - n^1
2118
|
MAYBE
60028
|
|
tpdb-8.0/TRS/SK90/2.45.xml
|
MAYBE
311
|
n^0 - n^1
6642
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.47.xml
|
n^0 - n^1
392
|
n^0 - n^1
166
|
n^0 - n^1
108
|
|
tpdb-8.0/TRS/SK90/2.48.xml
|
n^0 - n^1
409
|
n^0 - n^0
230
|
n^0 - n^1
242
|
|
tpdb-8.0/TRS/SK90/2.49.xml
|
n^0 - n^1
435
|
n^0 - n^1
3050
|
n^0 - n^1
232
|
|
tpdb-8.0/TRS/SK90/2.50.xml
|
n^0 - n^1
392
|
n^0 - n^1
101
|
n^0 - n^1
70
|
|
tpdb-8.0/TRS/SK90/2.51.xml
|
MAYBE
310
|
MAYBE
59600
|
MAYBE
60032
|
|
tpdb-8.0/TRS/SK90/2.52.xml
|
MAYBE
331
|
MAYBE
59862
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/2.53.xml
|
n^0 - n^1
403
|
n^0 - n^1
460
|
n^0 - n^1
99
|
|
tpdb-8.0/TRS/SK90/2.54.xml
|
n^0 - n^1
385
|
n^0 - n^1
298
|
n^0 - n^1
129
|
|
tpdb-8.0/TRS/SK90/2.55.xml
|
n^0 - n^2
5964
|
n^0 - n^1
332
|
n^0 - n^1
120
|
|
tpdb-8.0/TRS/SK90/2.59.xml
|
MAYBE
304
|
n^0 - n^1
151
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/2.61.xml
|
n^0 - n^1
915
|
n^0 - n^1
59172
|
n^0 - n^1
1495
|
|
tpdb-8.0/TRS/SK90/4.05.xml
|
MAYBE
304
|
n^0 - n^2
10790
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/4.06.xml
|
MAYBE
310
|
MAYBE
59574
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/4.07.xml
|
n^0 - n^1
467
|
n^0 - n^0
825
|
n^0 - n^1
110
|
|
tpdb-8.0/TRS/SK90/4.09.xml
|
MAYBE
309
|
n^0 - n^2
59804
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/4.10.xml
|
MAYBE
340
|
n^0 - n^2
37066
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/4.12.xml
|
n^0 - n^1
1194
|
n^0 - n^1
5041
|
n^0 - n^1
183
|
|
tpdb-8.0/TRS/SK90/4.13.xml
|
MAYBE
312
|
n^0 - n^1
30098
|
MAYBE
60031
|
|
tpdb-8.0/TRS/SK90/4.16.xml
|
n^0 - n^1
444
|
n^0 - n^1
927
|
n^0 - n^1
266
|
|
tpdb-8.0/TRS/SK90/4.17.xml
|
MAYBE
306
|
MAYBE
30107
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/4.18.xml
|
MAYBE
311
|
n^0 - n^1
968
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/4.22.xml
|
MAYBE
311
|
MAYBE
59186
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/4.24.xml
|
MAYBE
310
|
MAYBE
59349
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/4.25.xml
|
n^0 - n^2
6116
|
n^0 - n^1
432
|
n^0 - n^1
103
|
|
tpdb-8.0/TRS/SK90/4.26.xml
|
n^0 - n^1
433
|
n^0 - n^1
59181
|
MAYBE
60031
|
|
tpdb-8.0/TRS/SK90/4.28.xml
|
MAYBE
320
|
n^0 - n^1
7720
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/4.29.xml
|
n^0 - n^1
547
|
n^0 - n^1
798
|
n^0 - n^1
329
|
|
tpdb-8.0/TRS/SK90/4.30.xml
|
n^0 - n^1
486
|
n^0 - n^1
11260
|
n^0 - n^2
1414
|
|
tpdb-8.0/TRS/SK90/4.31.xml
|
MAYBE
308
|
MAYBE
59187
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/4.34.xml
|
MAYBE
55382
|
MAYBE
59092
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/4.35.xml
|
n^0 - n^1
398
|
n^0 - n^0
286
|
n^0 - n^2
178
|
|
tpdb-8.0/TRS/SK90/4.38.xml
|
n^0 - n^1
465
|
n^0 - n^1
739
|
n^0 - n^1
230
|
|
tpdb-8.0/TRS/SK90/4.42.xml
|
MAYBE
311
|
MAYBE
59128
|
MAYBE
60028
|
|
tpdb-8.0/TRS/SK90/4.43.xml
|
MAYBE
12130
|
MAYBE
59175
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/4.45.xml
|
n^0 - n^1
383
|
n^0 - n^1
180
|
n^0 - n^1
102
|
|
tpdb-8.0/TRS/SK90/4.47.xml
|
n^0 - n^1
1054
|
n^0 - n^1
2045
|
n^0 - n^2
2224
|
|
tpdb-8.0/TRS/SK90/4.48.xml
|
n^0 - n^1
404
|
n^0 - n^0
1334
|
n^0 - n^1
129
|
|
tpdb-8.0/TRS/SK90/4.51.xml
|
n^0 - n^1
507
|
n^0 - n^1
1888
|
n^0 - n^2
501
|
|
tpdb-8.0/TRS/SK90/4.53.xml
|
MAYBE
309
|
n^0 - n^2
59318
|
MAYBE
60032
|
|
tpdb-8.0/TRS/SK90/4.54.xml
|
MAYBE
309
|
MAYBE
59124
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/4.57.xml
|
MAYBE
315
|
MAYBE
43414
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/4.59.xml
|
MAYBE
316
|
MAYBE
59447
|
MAYBE
60030
|
|
tpdb-8.0/TRS/SK90/4.60.xml
|
MAYBE
312
|
MAYBE
59379
|
MAYBE
60029
|
|
tpdb-8.0/TRS/SK90/4.61.xml
|
MAYBE
326
|
MAYBE
60537
|
MAYBE
60028
|
|
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml
|
MAYBE
319
|
MAYBE
59169
|
MAYBE
60029
|
|
tpdb-8.0/TRS/TCT_12/polycounter-10.xml
|
MAYBE
343
|
MAYBE
59170
|
MAYBE
60031
|
|
tpdb-8.0/TRS/TCT_12/polycounter-5.xml
|
MAYBE
316
|
MAYBE
59121
|
MAYBE
60030
|
|
tpdb-8.0/TRS/TCT_12/recursion-10.xml
|
MAYBE
333
|
MAYBE
60072
|
MAYBE
60030
|
|
tpdb-8.0/TRS/TCT_12/recursion-5.xml
|
MAYBE
318
|
n^0 - n^5
46278
|
MAYBE
60029
|
|
tpdb-8.0/TRS/TCT_12/sat.xml
|
MAYBE
330
|
MAYBE
59127
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml
|
MAYBE
413
|
MAYBE
59325
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml
|
MAYBE
327
|
MAYBE
59586
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml
|
MAYBE
349
|
MAYBE
60210
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml
|
MAYBE
315
|
MAYBE
38
|
MAYBE
41
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml
|
MAYBE
324
|
MAYBE
59332
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml
|
MAYBE
328
|
MAYBE
59234
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml
|
MAYBE
310
|
MAYBE
59170
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml
|
MAYBE
313
|
MAYBE
59327
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml
|
MAYBE
305
|
MAYBE
32
|
MAYBE
33
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml
|
MAYBE
312
|
n^0 - n^1
1370
|
n^0 - n^1
231
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml
|
MAYBE
335
|
MAYBE
59221
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml
|
MAYBE
318
|
MAYBE
59296
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml
|
MAYBE
333
|
MAYBE
59071
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml
|
MAYBE
314
|
MAYBE
59133
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml
|
n^0 - n^1
478
|
n^0 - n^1
59064
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml
|
n^0 - n^1
421
|
n^0 - n^1
1404
|
n^0 - n^2
1257
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml
|
n^0 - n^1
421
|
n^0 - n^1
1148
|
n^0 - n^2
805
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml
|
n^0 - n^1
423
|
n^0 - n^1
1296
|
n^0 - n^2
620
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml
|
MAYBE
366
|
MAYBE
59200
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml
|
MAYBE
323
|
MAYBE
59332
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml
|
MAYBE
370
|
n^0 - n^1
59979
|
n^0 - n^1
1757
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml
|
MAYBE
305
|
MAYBE
37
|
MAYBE
37
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml
|
MAYBE
329
|
MAYBE
59532
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml
|
n^0 - n^1
11589
|
MAYBE
59114
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml
|
MAYBE
10333
|
n^0 - n^1
7531
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml
|
n^0 - n^1
484
|
n^0 - n^1
59063
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml
|
n^0 - n^1
477
|
n^0 - n^1
1146
|
n^0 - n^1
281
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml
|
n^0 - n^1
477
|
n^0 - n^1
909
|
n^0 - n^2
458
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml
|
n^0 - n^1
409
|
n^0 - n^0
600
|
n^0 - n^1
161
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml
|
MAYBE
351
|
MAYBE
59208
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml
|
MAYBE
329
|
MAYBE
59103
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml
|
MAYBE
325
|
MAYBE
59492
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml
|
MAYBE
361
|
MAYBE
59193
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml
|
MAYBE
321
|
MAYBE
59144
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml
|
MAYBE
327
|
MAYBE
60443
|
MAYBE
60065
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml
|
MAYBE
308
|
MAYBE
35
|
MAYBE
37
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml
|
MAYBE
321
|
MAYBE
59171
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml
|
MAYBE
311
|
MAYBE
51556
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml
|
MAYBE
353
|
MAYBE
59223
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml
|
MAYBE
321
|
MAYBE
59135
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml
|
MAYBE
325
|
MAYBE
59571
|
MAYBE
60028
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml
|
MAYBE
307
|
MAYBE
33
|
MAYBE
36
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml
|
MAYBE
320
|
MAYBE
59112
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml
|
n^0 - n^1
2355
|
n^0 - n^1
59118
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml
|
MAYBE
55613
|
MAYBE
59484
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml
|
MAYBE
319
|
MAYBE
33
|
MAYBE
37
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml
|
n^0 - n^1
617
|
n^0 - n^1
30072
|
n^0 - n^3
33936
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml
|
n^0 - n^1
491
|
n^0 - n^0
516
|
n^0 - n^1
491
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml
|
n^0 - n^1
528
|
n^0 - n^1
59075
|
MAYBE
60032
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml
|
n^0 - n^1
512
|
n^0 - n^1
1394
|
n^0 - n^1
467
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml
|
n^0 - n^1
484
|
n^0 - n^1
623
|
n^0 - n^1
306
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml
|
n^0 - n^1
405
|
n^0 - n^0
382
|
n^0 - n^1
169
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml
|
MAYBE
321
|
MAYBE
59087
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml
|
MAYBE
309
|
MAYBE
59266
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml
|
MAYBE
313
|
MAYBE
59161
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml
|
MAYBE
351
|
MAYBE
59285
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml
|
MAYBE
318
|
MAYBE
59108
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml
|
MAYBE
311
|
MAYBE
50653
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml
|
n^0 - n^1
520
|
n^0 - n^1
59066
|
n^0 - n^2
28003
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml
|
n^0 - n^1
709
|
n^0 - n^1
9790
|
n^0 - n^2
2979
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml
|
n^0 - n^1
547
|
n^0 - n^1
1520
|
n^0 - n^1
932
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml
|
n^0 - n^1
538
|
n^0 - n^1
2021
|
n^0 - n^1
568
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml
|
MAYBE
380
|
MAYBE
59168
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml
|
MAYBE
333
|
MAYBE
59674
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml
|
MAYBE
332
|
MAYBE
59520
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml
|
n^0 - n^1
431
|
n^0 - n^0
240
|
n^0 - n^1
360
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml
|
MAYBE
325
|
MAYBE
59276
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml
|
MAYBE
374
|
MAYBE
59249
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml
|
MAYBE
323
|
MAYBE
59502
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml
|
MAYBE
341
|
MAYBE
59688
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml
|
MAYBE
314
|
MAYBE
57295
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml
|
MAYBE
361
|
MAYBE
59097
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml
|
MAYBE
365
|
MAYBE
59268
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml
|
MAYBE
325
|
MAYBE
59417
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml
|
MAYBE
325
|
MAYBE
59637
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml
|
n^0 - n^1
416
|
n^0 - n^0
163
|
n^0 - n^1
135
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml
|
MAYBE
321
|
MAYBE
61419
|
n^0 - n^1
1954
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml
|
MAYBE
338
|
MAYBE
59271
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml
|
MAYBE
317
|
MAYBE
59128
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml
|
MAYBE
314
|
MAYBE
59128
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml
|
MAYBE
309
|
MAYBE
32
|
MAYBE
34
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml
|
MAYBE
309
|
n^0 - n^1
30077
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml
|
MAYBE
358
|
MAYBE
59156
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml
|
MAYBE
331
|
MAYBE
59714
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml
|
MAYBE
332
|
MAYBE
59780
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml
|
MAYBE
309
|
MAYBE
43
|
MAYBE
37
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml
|
MAYBE
330
|
MAYBE
59322
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml
|
MAYBE
363
|
MAYBE
59121
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml
|
MAYBE
325
|
MAYBE
59078
|
MAYBE
60028
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml
|
MAYBE
330
|
MAYBE
59336
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml
|
n^0 - n^1
418
|
n^0 - n^0
312
|
n^0 - n^1
227
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml
|
MAYBE
318
|
MAYBE
59156
|
MAYBE
60028
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml
|
MAYBE
312
|
MAYBE
59217
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml
|
n^0 - n^1
383
|
n^0 - n^1
105
|
n^0 - n^1
66
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml
|
n^0 - n^1
546
|
n^0 - n^1
59127
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml
|
n^0 - n^1
523
|
n^0 - n^1
5507
|
n^0 - n^2
1697
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml
|
n^0 - n^1
562
|
n^0 - n^1
9696
|
n^0 - n^2
3342
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml
|
n^0 - n^1
405
|
n^0 - n^0
593
|
n^0 - n^2
535
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml
|
n^0 - n^1
424
|
n^0 - n^1
956
|
n^0 - n^2
854
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml
|
MAYBE
381
|
MAYBE
59253
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml
|
MAYBE
329
|
MAYBE
59097
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml
|
MAYBE
336
|
MAYBE
59768
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml
|
MAYBE
318
|
MAYBE
36
|
MAYBE
40
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml
|
MAYBE
324
|
MAYBE
59100
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml
|
MAYBE
339
|
MAYBE
59238
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml
|
MAYBE
310
|
MAYBE
59099
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml
|
MAYBE
313
|
MAYBE
59353
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml
|
MAYBE
311
|
MAYBE
31
|
MAYBE
34
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml
|
MAYBE
312
|
n^0 - n^1
1078
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml
|
n^0 - n^1
689
|
n^0 - n^1
59129
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml
|
n^0 - n^1
408
|
n^0 - n^0
164
|
n^0 - n^1
195
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml
|
n^0 - n^2
8161
|
n^0 - n^1
1646
|
n^0 - n^2
821
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml
|
MAYBE
306
|
MAYBE
32
|
MAYBE
34
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml
|
MAYBE
353
|
MAYBE
59292
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml
|
MAYBE
324
|
MAYBE
59112
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml
|
MAYBE
330
|
MAYBE
60261
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml
|
MAYBE
307
|
MAYBE
34
|
MAYBE
35
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml
|
MAYBE
321
|
MAYBE
59146
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml
|
MAYBE
399
|
MAYBE
59281
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml
|
MAYBE
358
|
MAYBE
59096
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml
|
MAYBE
316
|
MAYBE
40
|
MAYBE
43
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml
|
MAYBE
344
|
MAYBE
59220
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml
|
MAYBE
315
|
MAYBE
59103
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml
|
MAYBE
318
|
MAYBE
59397
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml
|
MAYBE
308
|
MAYBE
35
|
MAYBE
37
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml
|
MAYBE
314
|
MAYBE
59157
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml
|
MAYBE
398
|
MAYBE
59198
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml
|
MAYBE
342
|
MAYBE
59092
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml
|
MAYBE
355
|
MAYBE
59332
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml
|
MAYBE
320
|
MAYBE
46
|
MAYBE
41
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml
|
MAYBE
345
|
MAYBE
59079
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml
|
MAYBE
384
|
MAYBE
59188
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml
|
MAYBE
338
|
MAYBE
59079
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml
|
MAYBE
315
|
MAYBE
38
|
MAYBE
39
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml
|
n^0 - n^1
1210
|
n^0 - n^1
59081
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml
|
n^0 - n^1
566
|
n^0 - n^1
59171
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml
|
MAYBE
14640
|
MAYBE
59225
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml
|
MAYBE
306
|
MAYBE
40
|
MAYBE
33
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml
|
n^0 - n^1
542
|
n^0 - n^1
613
|
n^0 - n^1
342
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml
|
MAYBE
441
|
MAYBE
59243
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml
|
MAYBE
351
|
MAYBE
59107
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml
|
MAYBE
360
|
MAYBE
60366
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml
|
MAYBE
320
|
MAYBE
82
|
MAYBE
44
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml
|
MAYBE
342
|
MAYBE
59151
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml
|
MAYBE
313
|
MAYBE
59184
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml
|
MAYBE
317
|
MAYBE
59288
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml
|
MAYBE
308
|
MAYBE
31
|
MAYBE
34
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml
|
MAYBE
311
|
n^0 - n^1
1828
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml
|
n^0 - n^1
893
|
n^0 - n^1
59057
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml
|
n^0 - n^1
474
|
n^0 - n^0
382
|
n^0 - n^1
252
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml
|
MAYBE
336
|
MAYBE
59362
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml
|
MAYBE
335
|
MAYBE
59667
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml
|
MAYBE
318
|
MAYBE
59428
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml
|
n^0 - n^1
396
|
n^0 - n^0
92
|
n^0 - n^1
95
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml
|
MAYBE
313
|
n^0 - n^1
4066
|
n^0 - n^1
464
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml
|
MAYBE
361
|
MAYBE
59195
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml
|
MAYBE
318
|
MAYBE
59129
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml
|
MAYBE
328
|
MAYBE
59499
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml
|
MAYBE
309
|
MAYBE
34
|
MAYBE
37
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml
|
MAYBE
322
|
MAYBE
60504
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml
|
MAYBE
357
|
MAYBE
59141
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml
|
MAYBE
318
|
MAYBE
59275
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml
|
MAYBE
327
|
MAYBE
59437
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml
|
MAYBE
310
|
MAYBE
34
|
MAYBE
38
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml
|
MAYBE
316
|
MAYBE
59247
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml
|
MAYBE
362
|
MAYBE
59234
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml
|
MAYBE
328
|
MAYBE
59305
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml
|
MAYBE
330
|
MAYBE
60452
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml
|
n^0 - n^1
438
|
n^0 - n^0
1021
|
n^0 - n^1
265
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml
|
MAYBE
324
|
MAYBE
59098
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml
|
MAYBE
324
|
MAYBE
59096
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml
|
MAYBE
312
|
MAYBE
58308
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml
|
n^0 - n^1
21538
|
MAYBE
59118
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml
|
n^0 - n^2
43519
|
n^0 - n^1
5053
|
n^0 - n^1
301
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml
|
MAYBE
430
|
MAYBE
59370
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml
|
MAYBE
330
|
MAYBE
59311
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml
|
MAYBE
362
|
MAYBE
59479
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml
|
MAYBE
323
|
MAYBE
43
|
MAYBE
43
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml
|
MAYBE
327
|
MAYBE
59313
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml
|
n^0 - n^1
487
|
n^0 - n^1
59074
|
n^0 - n^2
16825
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml
|
n^0 - n^1
407
|
n^0 - n^1
599
|
n^0 - n^1
345
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml
|
n^0 - n^1
413
|
n^0 - n^1
596
|
n^0 - n^1
253
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml
|
n^0 - n^1
2990
|
n^0 - n^1
59157
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml
|
MAYBE
55565
|
MAYBE
59442
|
MAYBE
60061
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml
|
MAYBE
310
|
MAYBE
34
|
MAYBE
36
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml
|
n^0 - n^1
2389
|
n^0 - n^1
59124
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml
|
n^0 - n^3
56138
|
MAYBE
59142
|
n^0 - n^3
27443
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml
|
MAYBE
306
|
MAYBE
41
|
MAYBE
35
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml
|
MAYBE
387
|
MAYBE
59684
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml
|
MAYBE
333
|
MAYBE
59234
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml
|
MAYBE
344
|
MAYBE
60477
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml
|
MAYBE
314
|
MAYBE
36
|
MAYBE
38
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml
|
MAYBE
372
|
MAYBE
59576
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml
|
MAYBE
326
|
MAYBE
59091
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml
|
MAYBE
338
|
MAYBE
59682
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml
|
MAYBE
315
|
MAYBE
45
|
MAYBE
39
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml
|
n^0 - n^1
539
|
n^0 - n^1
59127
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml
|
n^0 - n^1
543
|
n^0 - n^1
59188
|
n^0 - n^2
1890
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml
|
MAYBE
55513
|
MAYBE
59350
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml
|
n^0 - n^1
405
|
n^0 - n^1
2504
|
n^0 - n^2
513
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml
|
n^0 - n^1
430
|
n^0 - n^1
2589
|
n^0 - n^2
835
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml
|
MAYBE
383
|
MAYBE
59185
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml
|
MAYBE
324
|
MAYBE
59813
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml
|
MAYBE
340
|
MAYBE
60055
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml
|
MAYBE
315
|
MAYBE
59177
|
MAYBE
60028
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml
|
MAYBE
322
|
MAYBE
59091
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml
|
MAYBE
427
|
MAYBE
59238
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml
|
MAYBE
324
|
MAYBE
59129
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml
|
MAYBE
353
|
MAYBE
59334
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml
|
MAYBE
314
|
MAYBE
46
|
MAYBE
40
|
|
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml
|
MAYBE
319
|
MAYBE
59097
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml
|
MAYBE
476
|
MAYBE
59309
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml
|
MAYBE
367
|
MAYBE
59131
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml
|
MAYBE
395
|
MAYBE
59133
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml
|
MAYBE
327
|
MAYBE
49
|
MAYBE
49
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml
|
MAYBE
606
|
MAYBE
59420
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml
|
MAYBE
447
|
MAYBE
59347
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml
|
MAYBE
338
|
MAYBE
58
|
MAYBE
62
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml
|
MAYBE
364
|
MAYBE
59125
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml
|
MAYBE
368
|
MAYBE
59189
|
MAYBE
60032
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml
|
MAYBE
336
|
MAYBE
59084
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml
|
MAYBE
314
|
MAYBE
43
|
MAYBE
60
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml
|
MAYBE
423
|
MAYBE
59221
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml
|
MAYBE
360
|
MAYBE
59095
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml
|
MAYBE
314
|
MAYBE
40
|
MAYBE
41
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml
|
n^0 - n^1
1038
|
n^0 - n^1
59103
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml
|
MAYBE
55611
|
MAYBE
59106
|
MAYBE
60033
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml
|
MAYBE
303
|
MAYBE
34
|
MAYBE
35
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml
|
n^0 - n^1
1191
|
n^0 - n^1
59100
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml
|
MAYBE
55661
|
MAYBE
59611
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml
|
MAYBE
307
|
MAYBE
33
|
MAYBE
37
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_C.xml
|
MAYBE
837
|
MAYBE
60429
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml
|
MAYBE
504
|
MAYBE
59321
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml
|
MAYBE
580
|
MAYBE
60281
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml
|
MAYBE
373
|
MAYBE
95
|
MAYBE
97
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml
|
MAYBE
1437
|
MAYBE
59932
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml
|
MAYBE
608
|
MAYBE
59306
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml
|
MAYBE
869
|
MAYBE
60156
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml
|
MAYBE
437
|
MAYBE
159
|
MAYBE
132
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml
|
MAYBE
599
|
MAYBE
59413
|
MAYBE
60051
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml
|
MAYBE
500
|
MAYBE
59298
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml
|
MAYBE
558
|
MAYBE
59614
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml
|
MAYBE
402
|
MAYBE
59166
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml
|
MAYBE
436
|
MAYBE
59190
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml
|
MAYBE
336
|
MAYBE
58
|
MAYBE
54
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml
|
MAYBE
743
|
MAYBE
60423
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml
|
MAYBE
433
|
MAYBE
59206
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml
|
MAYBE
514
|
MAYBE
59478
|
MAYBE
60032
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml
|
MAYBE
356
|
MAYBE
77
|
MAYBE
72
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml
|
MAYBE
429
|
MAYBE
59171
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml
|
MAYBE
450
|
MAYBE
59152
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml
|
MAYBE
438
|
MAYBE
60116
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml
|
MAYBE
329
|
MAYBE
59312
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml
|
MAYBE
360
|
MAYBE
59925
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml
|
MAYBE
316
|
MAYBE
40
|
MAYBE
42
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml
|
MAYBE
592
|
MAYBE
60130
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml
|
MAYBE
362
|
MAYBE
59193
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml
|
MAYBE
419
|
MAYBE
59236
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml
|
MAYBE
331
|
MAYBE
49
|
MAYBE
50
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml
|
MAYBE
352
|
MAYBE
59098
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml
|
MAYBE
323
|
MAYBE
59061
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_C.xml
|
MAYBE
482
|
MAYBE
59522
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml
|
MAYBE
373
|
MAYBE
59138
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml
|
MAYBE
389
|
MAYBE
59116
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml
|
MAYBE
322
|
MAYBE
44
|
MAYBE
45
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_C.xml
|
MAYBE
639
|
MAYBE
60611
|
MAYBE
60033
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml
|
MAYBE
402
|
MAYBE
59193
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_GM.xml
|
MAYBE
462
|
MAYBE
59303
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml
|
MAYBE
342
|
MAYBE
61
|
MAYBE
74
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml
|
MAYBE
387
|
MAYBE
59185
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml
|
MAYBE
364
|
MAYBE
59123
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_C.xml
|
MAYBE
399
|
MAYBE
59193
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml
|
MAYBE
334
|
MAYBE
59104
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_GM.xml
|
MAYBE
345
|
MAYBE
59660
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml
|
MAYBE
314
|
MAYBE
36
|
MAYBE
40
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml
|
MAYBE
448
|
MAYBE
59271
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml
|
MAYBE
342
|
MAYBE
59110
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml
|
MAYBE
367
|
MAYBE
59588
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml
|
MAYBE
319
|
MAYBE
41
|
MAYBE
44
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml
|
MAYBE
341
|
MAYBE
59105
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml
|
MAYBE
337
|
MAYBE
59095
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml
|
MAYBE
344
|
MAYBE
59162
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml
|
MAYBE
310
|
n^0 - n^2
59141
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_GM.xml
|
MAYBE
323
|
MAYBE
59455
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml
|
MAYBE
304
|
MAYBE
34
|
MAYBE
36
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml
|
MAYBE
381
|
MAYBE
59304
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml
|
MAYBE
322
|
MAYBE
59240
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml
|
MAYBE
334
|
MAYBE
59386
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml
|
MAYBE
311
|
MAYBE
37
|
MAYBE
36
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_C.xml
|
MAYBE
541
|
MAYBE
59422
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml
|
MAYBE
395
|
MAYBE
59175
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml
|
MAYBE
422
|
MAYBE
59171
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml
|
MAYBE
334
|
MAYBE
52
|
MAYBE
53
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml
|
MAYBE
789
|
MAYBE
60624
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml
|
MAYBE
435
|
MAYBE
59268
|
MAYBE
60028
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml
|
MAYBE
528
|
MAYBE
59561
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml
|
MAYBE
400
|
MAYBE
71
|
MAYBE
72
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml
|
MAYBE
431
|
MAYBE
59270
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml
|
MAYBE
395
|
MAYBE
59166
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_C.xml
|
MAYBE
405
|
MAYBE
59289
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml
|
MAYBE
351
|
MAYBE
59098
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml
|
MAYBE
358
|
MAYBE
59089
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml
|
MAYBE
316
|
MAYBE
41
|
MAYBE
41
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml
|
MAYBE
488
|
MAYBE
59293
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml
|
MAYBE
396
|
MAYBE
59149
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml
|
MAYBE
326
|
MAYBE
48
|
MAYBE
47
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml
|
MAYBE
353
|
MAYBE
59100
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml
|
n^0 - n^1
1273
|
n^0 - n^1
59151
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml
|
MAYBE
55560
|
MAYBE
59089
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml
|
MAYBE
309
|
MAYBE
33
|
MAYBE
36
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml
|
MAYBE
56154
|
MAYBE
59208
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml
|
MAYBE
55639
|
MAYBE
59948
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml
|
MAYBE
313
|
MAYBE
36
|
MAYBE
39
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml
|
MAYBE
518
|
MAYBE
59438
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml
|
MAYBE
385
|
MAYBE
59153
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_GM.xml
|
MAYBE
415
|
MAYBE
59258
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml
|
MAYBE
329
|
MAYBE
50
|
MAYBE
50
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml
|
MAYBE
676
|
MAYBE
60666
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml
|
MAYBE
408
|
MAYBE
59281
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml
|
MAYBE
496
|
MAYBE
59497
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml
|
MAYBE
408
|
MAYBE
59256
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml
|
MAYBE
383
|
MAYBE
59155
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml
|
n^0 - n^1
4596
|
n^0 - n^1
59147
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml
|
MAYBE
36729
|
MAYBE
59105
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml
|
MAYBE
29978
|
MAYBE
59156
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml
|
MAYBE
312
|
MAYBE
36
|
MAYBE
38
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml
|
MAYBE
56996
|
n^0 - n^1
59181
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml
|
MAYBE
29775
|
MAYBE
59167
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml
|
MAYBE
55665
|
MAYBE
59570
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml
|
n^0 - n^2
14995
|
MAYBE
59169
|
n^0 - n^2
20051
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml
|
n^0 - n^2
9898
|
n^0 - n^1
59338
|
n^0 - n^2
16776
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml
|
n^0 - n^1
858
|
n^0 - n^1
59237
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml
|
MAYBE
15804
|
MAYBE
59149
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml
|
MAYBE
304
|
MAYBE
36
|
MAYBE
35
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml
|
n^0 - n^1
790
|
n^0 - n^1
59092
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml
|
MAYBE
21656
|
MAYBE
59090
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_C.xml
|
MAYBE
409
|
MAYBE
59325
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml
|
MAYBE
342
|
MAYBE
59114
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_GM.xml
|
MAYBE
357
|
MAYBE
59597
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml
|
MAYBE
318
|
MAYBE
39
|
MAYBE
41
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_C.xml
|
MAYBE
498
|
MAYBE
59307
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml
|
MAYBE
351
|
MAYBE
59170
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_GM.xml
|
MAYBE
397
|
MAYBE
59136
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml
|
MAYBE
322
|
MAYBE
45
|
MAYBE
46
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml
|
MAYBE
353
|
MAYBE
59164
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml
|
MAYBE
340
|
MAYBE
59104
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml
|
MAYBE
355
|
MAYBE
59168
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml
|
MAYBE
320
|
MAYBE
59111
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_GM.xml
|
MAYBE
328
|
MAYBE
59410
|
MAYBE
60032
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml
|
MAYBE
310
|
MAYBE
33
|
MAYBE
37
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_C.xml
|
MAYBE
390
|
MAYBE
59149
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml
|
MAYBE
327
|
MAYBE
59144
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml
|
MAYBE
342
|
MAYBE
59260
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml
|
MAYBE
313
|
MAYBE
35
|
MAYBE
39
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml
|
MAYBE
325
|
MAYBE
59137
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml
|
MAYBE
324
|
MAYBE
59115
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml
|
n^0 - n^1
591
|
n^0 - n^1
59134
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml
|
n^0 - n^1
406
|
n^0 - n^1
280
|
n^0 - n^1
204
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml
|
MAYBE
28474
|
MAYBE
59165
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml
|
MAYBE
305
|
MAYBE
31
|
MAYBE
34
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml
|
n^0 - n^1
1012
|
n^0 - n^1
59113
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml
|
n^0 - n^2
8122
|
n^0 - n^1
5054
|
n^0 - n^2
871
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml
|
MAYBE
55470
|
MAYBE
59099
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml
|
MAYBE
304
|
MAYBE
32
|
MAYBE
34
|
|
tpdb-8.0/TRS/Various_04/04.xml
|
MAYBE
332
|
MAYBE
59173
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Various_04/08.xml
|
MAYBE
345
|
MAYBE
59099
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Various_04/10.xml
|
MAYBE
327
|
MAYBE
59117
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Various_04/11.xml
|
MAYBE
307
|
MAYBE
59156
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Various_04/12.xml
|
MAYBE
318
|
MAYBE
59219
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Various_04/13.xml
|
MAYBE
326
|
MAYBE
59196
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Various_04/14.xml
|
MAYBE
380
|
MAYBE
59138
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Various_04/15.xml
|
n^0 - n^1
408
|
n^0 - n^1
59088
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Various_04/18.xml
|
n^0 - n^1
415
|
n^0 - n^1
59209
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Various_04/22.xml
|
MAYBE
307
|
MAYBE
59179
|
MAYBE
60052
|
|
tpdb-8.0/TRS/Various_04/23.xml
|
n^0 - n^2
7927
|
n^0 - n^1
1412
|
n^0 - n^1
317
|
|
tpdb-8.0/TRS/Various_04/24.xml
|
n^0 - n^1
2389
|
MAYBE
59155
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml
|
n^0 - n^1
406
|
n^0 - n^1
7397
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml
|
n^0 - n^1
406
|
n^0 - n^1
7528
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Zantema_05/z10.xml
|
MAYBE
316
|
MAYBE
59817
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Zantema_05/z12.xml
|
MAYBE
55469
|
MAYBE
59112
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Zantema_05/z13.xml
|
MAYBE
55504
|
MAYBE
59060
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Zantema_05/z14.xml
|
MAYBE
55447
|
MAYBE
59060
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Zantema_05/z15.xml
|
MAYBE
55420
|
MAYBE
59130
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Zantema_05/z16.xml
|
MAYBE
55487
|
MAYBE
59064
|
MAYBE
60031
|
|
tpdb-8.0/TRS/Zantema_05/z17.xml
|
MAYBE
55539
|
MAYBE
59127
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Zantema_05/z18.xml
|
MAYBE
55452
|
MAYBE
59152
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Zantema_05/z23.xml
|
MAYBE
55489
|
MAYBE
59085
|
MAYBE
60029
|
|
tpdb-8.0/TRS/Zantema_05/z24.xml
|
MAYBE
55525
|
MAYBE
59100
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Zantema_05/z26.xml
|
n^0 - n^1
415
|
n^0 - n^1
59360
|
n^0 - n^2
18401
|
|
tpdb-8.0/TRS/Zantema_05/z27.xml
|
MAYBE
309
|
MAYBE
59241
|
MAYBE
60030
|
|
tpdb-8.0/TRS/Zantema_05/z28.xml
|
MAYBE
305
|
MAYBE
60216
|
MAYBE
60030
|
|
|
348
|
564
|
213
|
|---|