| benchmark | AProVE | TcT | TcT-certify |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.10.xml | MAYBE 60408 | MAYBE 59113 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.12.xml | n^0 - n^3 2382 | n^0 - n^3 33066 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 60390 | MAYBE 59097 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^1 1376 | n^0 - n^1 5074 | n^0 - n^1 336 |
| tpdb-8.0/TRS/AG01/#3.16.xml | n^0 - n^3 3666 | n^0 - n^3 20785 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | n^0 - n^2 2138 | n^0 - n^2 30240 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.17.xml | n^0 - n^2 2003 | n^0 - n^2 30268 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.18.xml | MAYBE 60313 | MAYBE 59082 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.19.xml | MAYBE 60339 | MAYBE 59166 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.1.xml | n^0 - n^2 1645 | n^0 - n^1 884 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.22.xml | n^0 - n^2 1762 | n^0 - n^2 7153 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.23.xml | n^0 - n^1 1371 | n^0 - n^1 469 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.24.xml | n^0 - n^2 1528 | n^0 - n^1 1042 | n^0 - n^2 426 |
| tpdb-8.0/TRS/AG01/#3.26.xml | MAYBE 60464 | MAYBE 59128 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.29.xml | n^0 - n^0 995 | n^0 - n^0 268 | n^0 - n^1 80 |
| tpdb-8.0/TRS/AG01/#3.2.xml | n^0 - n^2 1756 | n^0 - n^2 25410 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.31.xml | MAYBE 4188 | MAYBE 59132 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.33.xml | n^0 - n^0 1016 | n^0 - n^0 1372 | n^0 - n^2 2160 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^1 1345 | n^0 - n^1 259 | n^0 - n^1 214 |
| tpdb-8.0/TRS/AG01/#3.36.xml | MAYBE 60380 | MAYBE 59107 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.37.xml | n^0 - n^1 1400 | n^0 - n^1 1596 | n^0 - n^2 1001 |
| tpdb-8.0/TRS/AG01/#3.38.xml | MAYBE 60364 | MAYBE 59067 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.39.xml | n^0 - n^2 4865 | n^0 - n^1 30241 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.40.xml | n^0 - n^2 6878 | n^0 - n^2 30194 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.41.xml | n^0 - n^1 1487 | n^0 - n^1 52539 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.42.xml | n^0 - n^2 2172 | n^0 - n^1 19956 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.47.xml | n^0 - n^1 2564 | n^0 - n^1 6430 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.48.xml | n^0 - n^2 1524 | n^0 - n^2 30205 | MAYBE 60028 |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 60384 | MAYBE 59071 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.4.xml | MAYBE 60302 | MAYBE 53278 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 1412 | n^0 - n^1 2465 | n^0 - n^2 2155 |
| tpdb-8.0/TRS/AG01/#3.52.xml | n^0 - n^1 1346 | n^0 - n^1 970 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | n^0 - n^0 991 | n^0 - n^0 237 | n^0 - n^1 130 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | n^0 - n^1 1372 | n^0 - n^1 924 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.53.xml | n^0 - n^3 8561 | n^0 - n^3 48704 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.54.xml | MAYBE 60408 | MAYBE 59069 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.55.xml | MAYBE 60491 | MAYBE 59106 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 1475 | n^0 - n^1 1767 | n^0 - n^2 1496 |
| tpdb-8.0/TRS/AG01/#3.57.xml | MAYBE 60391 | MAYBE 59134 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | n^0 - n^2 3858 | n^0 - n^2 28043 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | n^0 - n^3 10766 | n^0 - n^3 36941 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.5.xml | n^0 - n^2 3702 | n^0 - n^2 2836 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | n^0 - n^2 4189 | n^0 - n^2 4736 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | n^0 - n^3 16454 | n^0 - n^3 43287 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.6.xml | n^0 - n^2 4930 | n^0 - n^2 26483 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.7.xml | n^0 - n^2 1539 | n^0 - n^1 5044 | n^0 - n^1 125 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | n^0 - n^2 5248 | n^0 - n^3 34025 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.8b.xml | MAYBE 60370 | n^0 - n^4 53846 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | MAYBE 60332 | MAYBE 59067 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | MAYBE 61049 | MAYBE 59303 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | MAYBE 60421 | MAYBE 59130 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 60368 | MAYBE 59056 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | n^0 - n^2 2590 | n^0 - n^2 14632 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml | MAYBE 60389 | MAYBE 59079 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | n^0 - n^1 1410 | n^0 - n^1 28517 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | MAYBE 60449 | MAYBE 59088 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | MAYBE 60352 | MAYBE 59081 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | n^0 - n^1 29804 | MAYBE 59136 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | MAYBE 60361 | n^0 - n^1 59194 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 60387 | MAYBE 59139 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | MAYBE 60375 | MAYBE 59130 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^1 6080 | n^0 - n^1 3918 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 60334 | MAYBE 59099 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^1 47853 | n^0 - n^1 59073 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^1 29024 | n^0 - n^1 59148 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 60434 | MAYBE 59131 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | MAYBE 60687 | MAYBE 59132 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | MAYBE 5357 | MAYBE 59098 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | MAYBE 60370 | MAYBE 59104 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 60359 | MAYBE 59094 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | MAYBE 60390 | MAYBE 59115 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 60390 | MAYBE 59069 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | MAYBE 60681 | MAYBE 59114 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 60354 | MAYBE 59132 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 60494 | MAYBE 59138 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 60445 | MAYBE 59107 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 60430 | MAYBE 59159 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 60465 | MAYBE 59137 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 60578 | MAYBE 59127 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | n^0 - n^2 6141 | MAYBE 59093 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 60414 | MAYBE 59123 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 60387 | MAYBE 59079 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | n^0 - n^1 18547 | MAYBE 59124 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_07/kabasci02.xml | MAYBE 60335 | MAYBE 59220 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | n^0 - n^0 1107 | n^0 - n^0 70 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | MAYBE 60306 | MAYBE 59104 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | MAYBE 60843 | MAYBE 59148 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | MAYBE 60949 | MAYBE 59195 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | MAYBE 60384 | MAYBE 59162 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | MAYBE 60237 | MAYBE 59089 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto04.xml | MAYBE 60381 | MAYBE 59089 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/otto05.xml | n^0 - n^2 11475 | MAYBE 59137 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | MAYBE 60441 | MAYBE 59234 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 60225 | MAYBE 59073 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | MAYBE 60349 | MAYBE 59137 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto09.xml | MAYBE 60381 | MAYBE 59072 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | MAYBE 60490 | MAYBE 59108 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MAYBE 60392 | MAYBE 59141 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/otto12.xml | MAYBE 60366 | MAYBE 59117 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | MAYBE 60415 | MAYBE 59119 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | MAYBE 60291 | MAYBE 59129 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_07/thiemann02.xml | MAYBE 60375 | MAYBE 59214 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | MAYBE 60352 | MAYBE 59116 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | MAYBE 60875 | MAYBE 59107 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | MAYBE 60471 | MAYBE 59105 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann06.xml | MAYBE 60645 | MAYBE 59140 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | MAYBE 60388 | MAYBE 59152 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_07/thiemann08.xml | MAYBE 60721 | MAYBE 59075 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann09.xml | MAYBE 60411 | MAYBE 59151 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann10.xml | MAYBE 60365 | MAYBE 59063 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann11.xml | MAYBE 60450 | MAYBE 59087 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | MAYBE 60370 | MAYBE 59076 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | MAYBE 60407 | MAYBE 59133 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | MAYBE 60445 | MAYBE 59115 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 60262 | MAYBE 59122 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | MAYBE 60770 | MAYBE 59172 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | MAYBE 60442 | MAYBE 59164 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann18.xml | MAYBE 60391 | MAYBE 59134 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | MAYBE 60435 | MAYBE 59084 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann20.xml | MAYBE 60336 | MAYBE 59074 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | MAYBE 60346 | MAYBE 59100 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | MAYBE 60281 | MAYBE 59071 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | MAYBE 60301 | MAYBE 59102 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | MAYBE 60357 | MAYBE 59141 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | MAYBE 60332 | MAYBE 59081 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann26.xml | MAYBE 60415 | MAYBE 59081 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | MAYBE 60223 | MAYBE 59088 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann28.xml | MAYBE 60303 | MAYBE 59080 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | MAYBE 60390 | MAYBE 59093 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann30.xml | MAYBE 60403 | MAYBE 59107 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 60371 | MAYBE 59083 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann32.xml | MAYBE 60375 | MAYBE 59079 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | MAYBE 60351 | MAYBE 59215 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | MAYBE 60284 | MAYBE 59137 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | MAYBE 60327 | MAYBE 59090 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | MAYBE 60369 | MAYBE 59159 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann38.xml | MAYBE 60325 | MAYBE 59101 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | n^0 - n^1 3735 | MAYBE 59324 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | MAYBE 60326 | MAYBE 59259 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | MAYBE 60329 | MAYBE 59154 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | MAYBE 60430 | MAYBE 59161 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | MAYBE 60559 | MAYBE 59153 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MAYBE 60854 | MAYBE 59170 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 60802 | MAYBE 59184 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/wiehe07.xml | MAYBE 60561 | MAYBE 59162 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | MAYBE 60433 | MAYBE 59227 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/wiehe09.xml | MAYBE 60585 | MAYBE 59101 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | MAYBE 60565 | MAYBE 59078 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/wiehe12.xml | MAYBE 60987 | MAYBE 59946 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 60337 | MAYBE 59094 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 60377 | MAYBE 59109 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 60419 | MAYBE 59149 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 60312 | MAYBE 59147 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 60631 | MAYBE 59163 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 60627 | MAYBE 59144 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 60435 | MAYBE 59124 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 60260 | MAYBE 59119 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_08/round.xml | n^0 - n^1 47398 | MAYBE 59150 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 60187 | MAYBE 59115 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | MAYBE 60398 | MAYBE 59122 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | MAYBE 60295 | MAYBE 59077 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | MAYBE 60346 | MAYBE 59093 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | MAYBE 60344 | MAYBE 59095 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 60292 | MAYBE 59115 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | MAYBE 60391 | MAYBE 59070 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | MAYBE 60321 | MAYBE 59105 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 60397 | MAYBE 59140 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MAYBE 60535 | MAYBE 59134 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | MAYBE 60389 | MAYBE 59073 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | MAYBE 60314 | MAYBE 59156 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml | MAYBE 60493 | MAYBE 59672 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | MAYBE 60329 | MAYBE 59110 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 60232 | MAYBE 59139 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | MAYBE 60375 | MAYBE 59073 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/11.xml | MAYBE 60295 | MAYBE 59070 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | MAYBE 60237 | MAYBE 59121 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | MAYBE 60252 | MAYBE 59082 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | MAYBE 60216 | MAYBE 59141 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | MAYBE 60411 | MAYBE 59122 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | MAYBE 60337 | MAYBE 59148 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | MAYBE 60415 | MAYBE 59149 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 60401 | MAYBE 59191 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 60484 | MAYBE 59150 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 60294 | MAYBE 59096 | MAYBE 60028 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | MAYBE 60379 | MAYBE 59093 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 60476 | MAYBE 59093 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | MAYBE 60334 | MAYBE 59069 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | MAYBE 60318 | MAYBE 59067 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MAYBE 60342 | MAYBE 59101 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | n^0 - n^2 59233 | MAYBE 59084 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MAYBE 60320 | MAYBE 59109 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 60145 | MAYBE 59068 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MAYBE 60480 | MAYBE 59072 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MAYBE 60296 | MAYBE 59084 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | MAYBE 60370 | MAYBE 59216 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | MAYBE 60445 | MAYBE 59085 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | MAYBE 60596 | MAYBE 59080 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | MAYBE 60432 | MAYBE 59421 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | n^0 - n^1 2059 | MAYBE 59119 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 12670 | MAYBE 59097 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/append.xml | n^0 - n^1 1375 | n^0 - n^1 495 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 60619 | MAYBE 59384 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^0 1053 | n^0 - n^0 1901 | n^0 - n^2 1184 |
| tpdb-8.0/TRS/CiME_04/fact-hard.xml | MAYBE 60399 | MAYBE 59127 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 60607 | MAYBE 59157 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | MAYBE 60415 | MAYBE 59231 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 60621 | MAYBE 59303 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | n^0 - n^2 11452 | n^0 - n^2 59199 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | MAYBE 60320 | MAYBE 59093 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | MAYBE 60385 | MAYBE 59119 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 60556 | MAYBE 59081 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | MAYBE 60566 | MAYBE 59137 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 60414 | MAYBE 59396 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | MAYBE 60408 | MAYBE 59187 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/log2.xml | MAYBE 60518 | MAYBE 59398 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/lse.xml | n^0 - n^2 7695 | n^0 - n^2 59277 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | MAYBE 60588 | MAYBE 59095 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | n^0 - n^1 20316 | MAYBE 59402 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | MAYBE 60941 | MAYBE 59146 | MAYBE 60028 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | MAYBE 60435 | MAYBE 59103 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/tree.xml | MAYBE 60411 | MAYBE 59132 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 1281 | n^0 - n^1 162 | n^0 - n^1 255 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^1 1516 | n^0 - n^1 615 | n^0 - n^1 197 |
| tpdb-8.0/TRS/Der95/08.xml | n^0 - n^1 1422 | n^0 - n^1 1325 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/11.xml | n^0 - n^1 1800 | n^0 - n^1 30085 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 60327 | MAYBE 59087 | MAYBE 60028 |
| tpdb-8.0/TRS/Der95/18.xml | n^0 - n^1 1310 | n^0 - n^1 208 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 60671 | MAYBE 59134 | MAYBE 60028 |
| tpdb-8.0/TRS/Der95/21.xml | MAYBE 60323 | MAYBE 59180 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^1 1342 | n^0 - n^1 332 | n^0 - n^1 116 |
| tpdb-8.0/TRS/Der95/31.xml | n^0 - n^1 1530 | n^0 - n^1 1866 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/32.xml | n^0 - n^2 3975 | n^0 - n^2 30093 | MAYBE 60031 |
| tpdb-8.0/TRS/Der95/33.xml | n^0 - n^1 7405 | MAYBE 59076 | MAYBE 60029 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 46901 | n^0 - n^1 7973 | n^0 - n^3 14311 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | MAYBE 60293 | MAYBE 59076 | MAYBE 60039 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 60249 | MAYBE 59143 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | MAYBE 60261 | MAYBE 59096 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 60395 | MAYBE 59076 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 60374 | MAYBE 59180 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 60303 | MAYBE 59097 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 60336 | MAYBE 59116 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 60346 | MAYBE 59069 | MAYBE 60028 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | MAYBE 60323 | MAYBE 59112 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MAYBE 60267 | MAYBE 59086 | MAYBE 60031 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 60501 | MAYBE 59198 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MAYBE 60330 | MAYBE 59125 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 60339 | MAYBE 59142 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 60711 | MAYBE 59095 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 60440 | MAYBE 59096 | MAYBE 60031 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | MAYBE 60414 | MAYBE 59179 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 1396 | MAYBE 5891 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 1488 | MAYBE 6252 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 1476 | MAYBE 6810 | MAYBE 60042 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 60416 | MAYBE 59150 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 60240 | MAYBE 13697 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 1562 | MAYBE 11464 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 60374 | MAYBE 59118 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | n^0 - n^2 3968 | MAYBE 59166 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 60285 | MAYBE 59107 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 60444 | MAYBE 59183 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 60414 | MAYBE 59226 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^1 1353 | n^0 - n^1 5042 | n^0 - n^1 124 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 60596 | MAYBE 59116 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 60319 | MAYBE 59109 | MAYBE 60028 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | n^0 - n^2 1880 | n^0 - n^2 20810 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | MAYBE 60365 | MAYBE 59135 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/fossacs.xml | MAYBE 60350 | MAYBE 59149 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | MAYBE 60467 | MAYBE 59167 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 60709 | MAYBE 59330 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | MAYBE 60424 | MAYBE 59103 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | n^0 - n^1 1429 | n^0 - n^1 622 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | n^0 - n^1 7322 | MAYBE 59090 | MAYBE 60028 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^1 1328 | n^0 - n^1 478 | n^0 - n^1 192 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | n^0 - n^1 1355 | n^0 - n^1 799 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 1365 | n^0 - n^1 474 | n^0 - n^1 206 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | MAYBE 60093 | MAYBE 59189 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^1 1410 | n^0 - n^1 915 | n^0 - n^1 334 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 60801 | MAYBE 59133 | MAYBE 60028 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | MAYBE 60327 | MAYBE 59120 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | n^0 - n^1 1423 | n^0 - n^1 2148 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 20618 | MAYBE 59136 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | MAYBE 60257 | MAYBE 59093 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/appendAll.raml.xml | n^0 - n^1 4534 | n^0 - n^1 2945 | n^0 - n^2 2325 |
| tpdb-8.0/TRS/raML/bfs.raml.xml | MAYBE 1091 | MAYBE 59135 | MAYBE 60031 |
| tpdb-8.0/TRS/raML/bft_mmult.raml.xml | MAYBE 1120 | MAYBE 59153 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/bitvectors.raml.xml | MAYBE 1312 | n^0 - n^2 50849 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/clevermmult.raml.xml | MAYBE 1035 | n^0 - n^2 31017 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/duplicates.raml.xml | MAYBE 1034 | n^0 - n^2 27621 | MAYBE 60031 |
| tpdb-8.0/TRS/raML/dyade.raml.xml | MAYBE 1012 | n^0 - n^2 24455 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/eratosthenes.raml.xml | MAYBE 1117 | n^0 - n^2 31191 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/flatten.raml.xml | MAYBE 998 | n^0 - n^2 30185 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/insertionsort.raml.xml | MAYBE 1055 | MAYBE 59197 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/listsort.raml.xml | MAYBE 1064 | n^0 - n^2 30266 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/longestCommonSubsequence.raml.xml | MAYBE 1177 | n^0 - n^2 45640 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/matrix.raml.xml | MAYBE 1196 | MAYBE 59205 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/mergesort.raml.xml | MAYBE 1018 | MAYBE 59160 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/minsort.raml.xml | MAYBE 983 | n^0 - n^2 30131 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/queue.raml.xml | MAYBE 60395 | MAYBE 59154 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/quicksort.raml.xml | MAYBE 1090 | MAYBE 59190 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/rationalPotential.raml.xml | n^0 - n^1 1825 | n^0 - n^1 3034 | n^0 - n^1 1204 |
| tpdb-8.0/TRS/raML/splitandsort.raml.xml | MAYBE 1133 | MAYBE 60088 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/subtrees.raml.xml | n^0 - n^2 3905 | n^0 - n^2 17811 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 1750 | n^0 - n^1 1833 | n^0 - n^2 908 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | n^0 - n^2 1998 | n^0 - n^1 1013 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/division.xml | n^0 - n^3 7987 | n^0 - n^3 33654 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/elimdupl.xml | n^0 - n^2 5558 | n^0 - n^2 23270 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | MAYBE 60528 | n^0 - n^2 30169 | MAYBE 60032 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | n^0 - n^2 4591 | n^0 - n^2 26795 | MAYBE 60031 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 1341 | n^0 - n^1 1401 | n^0 - n^2 1322 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | n^0 - n^2 2035 | n^0 - n^1 1084 | MAYBE 60031 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^0 1009 | n^0 - n^0 398 | n^0 - n^1 149 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | n^0 - n^2 3915 | n^0 - n^2 30227 | MAYBE 60031 |
| tpdb-8.0/TRS/Rubio_04/ma96.xml | MAYBE 60741 | MAYBE 59103 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^0 992 | n^0 - n^0 192 | n^0 - n^1 84 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 60379 | MAYBE 59073 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^0 1039 | n^0 - n^1 1780 | n^0 - n^2 985 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | n^0 - n^1 1778 | n^0 - n^1 30070 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | n^0 - n^1 1678 | n^0 - n^1 940 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | MAYBE 60621 | MAYBE 59136 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 60330 | MAYBE 53908 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 60363 | MAYBE 59105 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | MAYBE 60346 | n^0 - n^3 44863 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 2107 | n^0 - n^1 2513 | n^0 - n^2 812 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 1332 | n^0 - n^1 1030 | n^0 - n^2 396 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | n^0 - n^2 7361 | MAYBE 59126 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | n^0 - n^2 57821 | MAYBE 59075 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 60364 | MAYBE 59166 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | n^0 - n^2 8967 | MAYBE 59062 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 60445 | MAYBE 60069 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | n^0 - n^1 2408 | n^0 - n^1 3102 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 60487 | MAYBE 59142 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | n^0 - n^0 1021 | n^0 - n^0 8702 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 60872 | MAYBE 59446 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml | MAYBE 60401 | MAYBE 59164 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 60444 | MAYBE 59573 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml | MAYBE 60475 | MAYBE 59099 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | MAYBE 60660 | MAYBE 59098 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 60349 | MAYBE 59117 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | n^0 - n^0 1034 | n^0 - n^0 30126 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 2306 | MAYBE 60238 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 1534 | n^0 - n^1 1278 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | n^0 - n^1 10814 | n^0 - n^1 59111 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^0 1046 | n^0 - n^0 527 | n^0 - n^2 5050 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | MAYBE 60881 | MAYBE 59160 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | MAYBE 60479 | MAYBE 59130 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | MAYBE 60304 | MAYBE 59071 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | MAYBE 60338 | MAYBE 59080 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | n^0 - n^0 1019 | n^0 - n^0 30478 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | n^0 - n^0 1047 | n^0 - n^0 194 | n^0 - n^2 2650 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | n^0 - n^0 20058 | MAYBE 60109 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | MAYBE 60651 | MAYBE 59115 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | MAYBE 60647 | MAYBE 59166 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | MAYBE 60809 | MAYBE 59079 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | MAYBE 60726 | MAYBE 59110 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/times.xml | MAYBE 60431 | MAYBE 59218 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MAYBE 60878 | MAYBE 59094 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | MAYBE 60452 | MAYBE 59185 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml | MAYBE 60670 | MAYBE 59082 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | MAYBE 60652 | MAYBE 59496 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | MAYBE 60399 | MAYBE 59141 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 60651 | MAYBE 59082 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml | MAYBE 60780 | MAYBE 59166 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | MAYBE 60434 | MAYBE 59197 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | n^0 - n^1 2026 | MAYBE 59217 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 60402 | MAYBE 59171 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | MAYBE 60389 | MAYBE 59120 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 60412 | MAYBE 59165 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 60345 | MAYBE 59683 | MAYBE 60028 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | MAYBE 60379 | MAYBE 59135 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 60377 | MAYBE 59103 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | MAYBE 60365 | MAYBE 59246 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MAYBE 60686 | MAYBE 59098 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 60633 | MAYBE 59135 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | MAYBE 60835 | MAYBE 59117 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 60737 | MAYBE 59270 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | MAYBE 60356 | MAYBE 59131 | MAYBE 60028 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | MAYBE 60603 | MAYBE 59336 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | n^0 - n^1 2013 | n^0 - n^1 1371 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.02.xml | MAYBE 18220 | n^0 - n^1 59214 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.03.xml | n^0 - n^1 1327 | n^0 - n^1 409 | n^0 - n^1 196 |
| tpdb-8.0/TRS/SK90/2.07.xml | n^0 - n^1 1933 | n^0 - n^1 1248 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.09.xml | n^0 - n^1 1335 | n^0 - n^1 382 | n^0 - n^1 135 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^1 1343 | n^0 - n^1 397 | n^0 - n^1 238 |
| tpdb-8.0/TRS/SK90/2.12.xml | n^0 - n^3 6431 | MAYBE 59129 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.13.xml | n^0 - n^1 1480 | n^0 - n^1 821 | n^0 - n^1 283 |
| tpdb-8.0/TRS/SK90/2.14.xml | n^0 - n^1 1457 | n^0 - n^1 616 | n^0 - n^1 539 |
| tpdb-8.0/TRS/SK90/2.15.xml | MAYBE 21790 | MAYBE 11258 | MAYBE 60028 |
| tpdb-8.0/TRS/SK90/2.16.xml | n^0 - n^2 2178 | n^0 - n^2 12460 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.17.xml | n^0 - n^1 1321 | n^0 - n^1 286 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.18.xml | n^0 - n^2 1682 | n^0 - n^2 11103 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.19.xml | n^0 - n^2 4134 | n^0 - n^2 30100 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.20.xml | n^0 - n^1 1336 | n^0 - n^1 332 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.21.xml | MAYBE 24736 | MAYBE 59460 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.22.xml | n^0 - n^2 2202 | n^0 - n^2 8950 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.23.xml | MAYBE 60302 | MAYBE 59110 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.24.xml | MAYBE 60200 | MAYBE 23621 | MAYBE 60034 |
| tpdb-8.0/TRS/SK90/2.25.xml | MAYBE 60381 | MAYBE 59086 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.26.xml | MAYBE 60571 | MAYBE 59131 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.27.xml | MAYBE 60354 | MAYBE 59128 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.28.xml | MAYBE 60463 | MAYBE 59083 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.29.xml | n^0 - n^1 1276 | n^0 - n^1 1080 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.30.xml | n^0 - n^0 972 | n^0 - n^0 194 | n^0 - n^1 128 |
| tpdb-8.0/TRS/SK90/2.31.xml | n^0 - n^1 1385 | n^0 - n^1 626 | n^0 - n^1 224 |
| tpdb-8.0/TRS/SK90/2.36.xml | n^0 - n^1 1332 | n^0 - n^1 5043 | n^0 - n^1 224 |
| tpdb-8.0/TRS/SK90/2.37.xml | n^0 - n^1 1356 | n^0 - n^1 345 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.38.xml | n^0 - n^1 1452 | n^0 - n^1 817 | n^0 - n^1 229 |
| tpdb-8.0/TRS/SK90/2.39.xml | n^0 - n^2 1779 | n^0 - n^2 30070 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.40.xml | n^0 - n^1 1353 | n^0 - n^1 898 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.41.xml | n^0 - n^1 1401 | n^0 - n^1 555 | n^0 - n^1 267 |
| tpdb-8.0/TRS/SK90/2.42.xml | n^0 - n^1 2537 | n^0 - n^1 22422 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 20646 | MAYBE 59086 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.44.xml | n^0 - n^1 1666 | n^0 - n^1 2614 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.45.xml | n^0 - n^1 1387 | n^0 - n^1 5217 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.47.xml | n^0 - n^1 1286 | n^0 - n^1 148 | n^0 - n^1 112 |
| tpdb-8.0/TRS/SK90/2.48.xml | n^0 - n^0 1009 | n^0 - n^0 227 | n^0 - n^1 243 |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^0 1020 | n^0 - n^0 2222 | n^0 - n^1 234 |
| tpdb-8.0/TRS/SK90/2.50.xml | n^0 - n^1 1273 | n^0 - n^1 107 | n^0 - n^1 71 |
| tpdb-8.0/TRS/SK90/2.51.xml | MAYBE 60417 | MAYBE 59114 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.52.xml | MAYBE 60328 | MAYBE 59635 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^1 1367 | n^0 - n^1 449 | n^0 - n^1 94 |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^1 1286 | n^0 - n^1 309 | n^0 - n^1 135 |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^1 1311 | n^0 - n^1 302 | n^0 - n^1 122 |
| tpdb-8.0/TRS/SK90/2.59.xml | n^0 - n^1 1308 | n^0 - n^1 164 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^2 5357 | n^0 - n^1 3579 | n^0 - n^1 1465 |
| tpdb-8.0/TRS/SK90/4.05.xml | n^0 - n^2 1458 | n^0 - n^2 10224 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.06.xml | MAYBE 60609 | MAYBE 59224 | MAYBE 60198 |
| tpdb-8.0/TRS/SK90/4.07.xml | n^0 - n^0 1015 | n^0 - n^0 604 | n^0 - n^1 111 |
| tpdb-8.0/TRS/SK90/4.09.xml | n^0 - n^0 1034 | n^0 - n^0 5939 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/4.10.xml | n^0 - n^2 1457 | n^0 - n^2 25102 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/4.12.xml | n^0 - n^1 1369 | n^0 - n^1 5055 | n^0 - n^1 180 |
| tpdb-8.0/TRS/SK90/4.13.xml | n^0 - n^1 1534 | MAYBE 59093 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 1406 | n^0 - n^1 847 | n^0 - n^1 336 |
| tpdb-8.0/TRS/SK90/4.17.xml | MAYBE 60119 | n^0 - n^2 30090 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.18.xml | n^0 - n^0 1012 | n^0 - n^0 710 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.22.xml | MAYBE 60472 | MAYBE 59078 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/4.24.xml | MAYBE 60382 | MAYBE 59099 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^1 1346 | n^0 - n^1 384 | n^0 - n^1 107 |
| tpdb-8.0/TRS/SK90/4.26.xml | n^0 - n^2 1928 | n^0 - n^1 59107 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.28.xml | n^0 - n^1 1700 | n^0 - n^1 1559 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^1 1376 | n^0 - n^1 808 | n^0 - n^1 328 |
| tpdb-8.0/TRS/SK90/4.30.xml | n^0 - n^1 46292 | n^0 - n^1 10349 | n^0 - n^2 1394 |
| tpdb-8.0/TRS/SK90/4.31.xml | MAYBE 5955 | MAYBE 59081 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 60277 | MAYBE 59083 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^0 1001 | n^0 - n^0 305 | n^0 - n^2 177 |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^1 1395 | n^0 - n^1 744 | n^0 - n^1 229 |
| tpdb-8.0/TRS/SK90/4.42.xml | MAYBE 60410 | MAYBE 59153 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/4.43.xml | MAYBE 51700 | MAYBE 59119 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 1282 | n^0 - n^1 199 | n^0 - n^1 103 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^0 1050 | n^0 - n^1 2157 | n^0 - n^2 2228 |
| tpdb-8.0/TRS/SK90/4.48.xml | n^0 - n^0 1029 | n^0 - n^0 922 | n^0 - n^1 128 |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^2 1393 | n^0 - n^1 2026 | n^0 - n^2 494 |
| tpdb-8.0/TRS/SK90/4.53.xml | n^0 - n^1 1385 | n^0 - n^1 2497 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.54.xml | MAYBE 60346 | MAYBE 59213 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.57.xml | n^0 - n^0 1080 | n^0 - n^0 30084 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.59.xml | MAYBE 24112 | MAYBE 30431 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.60.xml | MAYBE 60358 | MAYBE 59152 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.61.xml | MAYBE 60450 | MAYBE 59153 | MAYBE 60030 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | n^0 - n^2 21712 | MAYBE 59068 | MAYBE 60030 |
| tpdb-8.0/TRS/TCT_12/polycounter-10.xml | MAYBE 60511 | n^0 - POLY 59280 | MAYBE 60029 |
| tpdb-8.0/TRS/TCT_12/polycounter-5.xml | MAYBE 60255 | n^0 - POLY 51248 | MAYBE 60044 |
| tpdb-8.0/TRS/TCT_12/recursion-10.xml | MAYBE 60566 | n^0 - n^10 59309 | MAYBE 60031 |
| tpdb-8.0/TRS/TCT_12/recursion-5.xml | MAYBE 60277 | n^0 - n^5 38936 | MAYBE 60029 |
| tpdb-8.0/TRS/TCT_12/sat.xml | n^0 - n^2 3044 | n^0 - n^2 15535 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml | MAYBE 60881 | MAYBE 59270 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | n^0 - n^1 1953 | n^0 - n^1 1802 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | MAYBE 60891 | MAYBE 59447 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | MAYBE 323 | MAYBE 39 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml | n^0 - n^2 1962 | n^0 - n^2 7440 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml | MAYBE 60346 | MAYBE 59096 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml | n^0 - n^1 1622 | n^0 - n^1 1363 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml | MAYBE 60327 | MAYBE 59128 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | MAYBE 295 | MAYBE 29 | MAYBE 32 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | n^0 - n^0 1048 | n^0 - n^0 494 | n^0 - n^1 231 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | MAYBE 60534 | MAYBE 59066 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml | MAYBE 60385 | MAYBE 59105 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml | n^0 - n^1 52631 | MAYBE 59079 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml | MAYBE 60385 | MAYBE 59201 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml | n^0 - n^1 33616 | n^0 - n^1 59067 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | n^0 - n^1 1397 | n^0 - n^1 1506 | n^0 - n^2 1238 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml | n^0 - n^1 1461 | n^0 - n^1 1121 | n^0 - n^2 810 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | n^0 - n^0 1051 | n^0 - n^1 1126 | n^0 - n^2 611 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml | MAYBE 60851 | MAYBE 59139 | MAYBE 60037 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | MAYBE 60329 | MAYBE 59132 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | n^0 - n^1 4181 | n^0 - n^1 7162 | n^0 - n^1 1795 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | MAYBE 327 | MAYBE 34 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml | MAYBE 60331 | MAYBE 30218 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | n^0 - n^1 24603 | MAYBE 59113 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | n^0 - n^1 1681 | n^0 - n^1 7834 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml | n^0 - n^1 36040 | n^0 - n^1 59054 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^1 1349 | n^0 - n^1 327 | n^0 - n^1 274 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^2 1505 | n^0 - n^1 853 | n^0 - n^2 458 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | n^0 - n^0 1014 | n^0 - n^0 116 | n^0 - n^1 164 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | MAYBE 60387 | MAYBE 59137 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml | MAYBE 60409 | MAYBE 59112 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml | n^0 - n^1 1661 | n^0 - n^1 2572 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml | MAYBE 60793 | MAYBE 59142 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml | n^0 - n^1 2924 | n^0 - n^1 3879 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | MAYBE 60508 | MAYBE 59162 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml | MAYBE 307 | MAYBE 34 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml | n^0 - n^1 30289 | MAYBE 59138 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml | MAYBE 60419 | MAYBE 59079 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | MAYBE 60770 | MAYBE 59135 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml | n^0 - n^1 1474 | n^0 - n^1 1163 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | MAYBE 60397 | MAYBE 59091 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | MAYBE 302 | MAYBE 33 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml | n^0 - n^2 1988 | n^0 - n^2 30438 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | MAYBE 60372 | n^0 - n^1 59110 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | MAYBE 60334 | MAYBE 59108 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | MAYBE 312 | MAYBE 32 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | n^0 - n^2 23018 | n^0 - n^1 59114 | n^0 - n^3 33737 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | n^0 - n^1 1332 | n^0 - n^0 529 | n^0 - n^1 495 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml | n^0 - n^1 46316 | n^0 - n^1 59059 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | n^0 - n^1 1357 | n^0 - n^1 630 | n^0 - n^1 449 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml | n^0 - n^1 1354 | n^0 - n^1 685 | n^0 - n^1 305 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | n^0 - n^0 1018 | n^0 - n^0 106 | n^0 - n^1 170 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml | n^0 - n^1 35474 | MAYBE 59147 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml | MAYBE 60306 | MAYBE 59086 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml | n^0 - n^1 1430 | n^0 - n^1 10730 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | MAYBE 60311 | MAYBE 59267 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml | n^0 - n^1 28060 | MAYBE 59133 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | n^0 - n^1 1516 | n^0 - n^1 30058 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml | n^0 - n^1 46328 | n^0 - n^1 59196 | n^0 - n^2 28293 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml | n^0 - n^1 1395 | n^0 - n^1 842 | n^0 - n^2 2951 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml | n^0 - n^1 2178 | n^0 - n^1 1586 | n^0 - n^1 941 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml | n^0 - n^0 1048 | n^0 - n^0 560 | n^0 - n^1 573 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml | MAYBE 60895 | MAYBE 59135 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | n^0 - n^1 3619 | n^0 - n^1 3071 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml | MAYBE 60674 | n^0 - n^2 59155 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | n^0 - n^0 1043 | n^0 - n^0 229 | n^0 - n^1 357 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml | n^0 - n^0 1138 | n^0 - n^0 1011 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | MAYBE 61022 | MAYBE 59158 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml | n^0 - n^1 1984 | n^0 - n^1 1369 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml | MAYBE 60605 | MAYBE 59915 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | MAYBE 60399 | MAYBE 59085 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml | MAYBE 60376 | MAYBE 59129 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml | MAYBE 60649 | MAYBE 59137 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml | MAYBE 60324 | n^0 - n^1 30106 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml | MAYBE 60687 | n^0 - n^2 12922 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | n^0 - n^0 966 | n^0 - n^0 145 | n^0 - n^1 134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | n^0 - n^1 1592 | n^0 - n^1 1521 | n^0 - n^1 1943 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml | n^0 - n^1 59722 | MAYBE 59095 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml | n^0 - n^1 1372 | n^0 - n^1 671 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml | MAYBE 60412 | MAYBE 59077 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml | MAYBE 296 | MAYBE 32 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml | n^0 - n^1 1555 | n^0 - n^1 572 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml | MAYBE 60540 | MAYBE 59138 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml | MAYBE 60439 | MAYBE 60184 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml | MAYBE 60740 | MAYBE 59174 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | MAYBE 315 | MAYBE 47 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml | MAYBE 60895 | MAYBE 59133 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | MAYBE 60554 | MAYBE 59102 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml | MAYBE 60569 | MAYBE 59181 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | MAYBE 60665 | n^0 - n^2 28975 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml | n^0 - n^0 1036 | n^0 - n^0 345 | n^0 - n^1 219 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml | n^0 - n^2 53377 | MAYBE 59082 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml | MAYBE 60320 | n^0 - n^2 11204 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | n^0 - n^1 1306 | n^0 - n^1 126 | n^0 - n^1 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | n^0 - n^1 46987 | n^0 - n^1 59104 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^1 1375 | n^0 - n^1 661 | n^0 - n^2 1665 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^1 5765 | n^0 - n^1 8623 | n^0 - n^2 3373 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml | n^0 - n^1 1355 | n^0 - n^0 650 | n^0 - n^2 538 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | n^0 - n^1 1371 | n^0 - n^1 834 | n^0 - n^2 851 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | MAYBE 60893 | MAYBE 59309 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml | MAYBE 60593 | MAYBE 59134 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | MAYBE 60928 | MAYBE 59600 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml | MAYBE 316 | MAYBE 39 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml | MAYBE 60382 | MAYBE 59075 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml | n^0 - n^1 58867 | MAYBE 59093 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | n^0 - n^1 1369 | n^0 - n^1 598 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml | MAYBE 60470 | MAYBE 59190 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml | MAYBE 296 | MAYBE 32 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml | n^0 - n^1 1568 | n^0 - n^1 562 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | n^0 - n^1 47277 | n^0 - n^1 59163 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml | n^0 - n^0 1012 | n^0 - n^0 155 | n^0 - n^1 194 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml | n^0 - n^1 46829 | n^0 - n^1 1633 | n^0 - n^2 853 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | MAYBE 295 | MAYBE 30 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml | MAYBE 60915 | MAYBE 59223 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml | MAYBE 60421 | n^0 - n^2 12274 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml | MAYBE 60326 | n^0 - n^2 59181 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | MAYBE 302 | MAYBE 44 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml | n^0 - n^1 2010 | n^0 - n^1 2172 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml | MAYBE 60857 | MAYBE 59267 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml | MAYBE 60815 | MAYBE 60008 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | MAYBE 337 | MAYBE 56 | MAYBE 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | MAYBE 60512 | MAYBE 59139 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | MAYBE 60294 | MAYBE 59071 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml | MAYBE 60384 | MAYBE 59075 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | MAYBE 302 | MAYBE 32 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | MAYBE 60250 | MAYBE 59089 | MAYBE 60036 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml | MAYBE 60882 | MAYBE 59351 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml | MAYBE 60330 | MAYBE 59161 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | MAYBE 60649 | MAYBE 60022 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | MAYBE 320 | MAYBE 40 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml | MAYBE 60755 | MAYBE 59264 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml | MAYBE 61016 | MAYBE 59135 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | MAYBE 60497 | MAYBE 60859 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml | MAYBE 329 | MAYBE 37 | MAYBE 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | n^0 - n^1 34977 | n^0 - n^1 59078 | MAYBE 60038 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | n^0 - n^2 2045 | n^0 - n^1 17662 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml | MAYBE 60447 | MAYBE 59971 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml | MAYBE 297 | MAYBE 39 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 1412 | n^0 - n^1 616 | n^0 - n^1 343 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | MAYBE 60965 | MAYBE 59157 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml | MAYBE 60581 | MAYBE 59110 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | MAYBE 60927 | MAYBE 59533 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | MAYBE 338 | MAYBE 43 | MAYBE 45 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | MAYBE 60494 | MAYBE 59121 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml | n^0 - n^1 1368 | n^0 - n^1 30158 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml | MAYBE 60347 | MAYBE 59085 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | MAYBE 297 | MAYBE 32 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml | n^0 - n^0 1053 | n^0 - n^1 1590 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | n^0 - n^1 46422 | n^0 - n^1 59094 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | n^0 - n^0 1008 | n^0 - n^0 302 | n^0 - n^1 252 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml | n^0 - n^1 59474 | MAYBE 59168 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml | n^0 - n^1 1449 | n^0 - n^1 1203 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml | MAYBE 60572 | n^0 - n^2 14613 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | n^0 - n^0 951 | n^0 - n^0 116 | n^0 - n^1 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | n^0 - n^1 1421 | n^0 - n^1 539 | n^0 - n^1 466 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml | MAYBE 60972 | MAYBE 59143 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml | n^0 - n^1 1472 | n^0 - n^2 30089 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml | MAYBE 60478 | MAYBE 59854 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | MAYBE 321 | MAYBE 35 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml | n^0 - n^2 1969 | n^0 - n^1 30102 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml | MAYBE 60858 | MAYBE 59113 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml | MAYBE 60413 | MAYBE 59121 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml | MAYBE 60717 | MAYBE 59468 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml | MAYBE 304 | MAYBE 34 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml | MAYBE 60363 | MAYBE 59267 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | MAYBE 60816 | MAYBE 59125 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml | MAYBE 60532 | MAYBE 59589 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml | MAYBE 60525 | MAYBE 59173 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | n^0 - n^0 1017 | n^0 - n^0 920 | n^0 - n^1 268 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml | MAYBE 60315 | MAYBE 59183 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml | n^0 - n^1 21747 | MAYBE 59166 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | MAYBE 60536 | MAYBE 59116 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml | n^0 - n^1 26762 | MAYBE 59089 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^1 1729 | n^0 - n^1 5053 | n^0 - n^1 306 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml | MAYBE 61107 | MAYBE 59232 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml | n^0 - n^1 1479 | n^0 - n^1 1094 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | MAYBE 60917 | MAYBE 59580 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml | MAYBE 328 | MAYBE 41 | MAYBE 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | n^0 - n^2 4582 | n^0 - n^2 30100 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | n^0 - n^1 46300 | n^0 - n^1 59085 | n^0 - n^2 16807 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml | n^0 - n^1 1343 | n^0 - n^1 621 | n^0 - n^1 346 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | n^0 - n^1 1344 | n^0 - n^1 636 | n^0 - n^1 277 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | MAYBE 60461 | n^0 - n^1 59136 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml | MAYBE 60772 | MAYBE 59492 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | MAYBE 304 | MAYBE 38 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | MAYBE 60564 | n^0 - n^1 59126 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | MAYBE 60432 | MAYBE 59147 | n^0 - n^3 24883 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml | MAYBE 309 | MAYBE 33 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml | MAYBE 61028 | MAYBE 59639 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml | n^0 - n^1 2928 | n^0 - n^1 4377 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml | MAYBE 60661 | MAYBE 60084 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml | MAYBE 314 | MAYBE 60 | MAYBE 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml | MAYBE 60856 | MAYBE 59129 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml | n^0 - n^1 2814 | n^0 - n^1 10033 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml | MAYBE 60774 | MAYBE 59605 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | MAYBE 330 | MAYBE 36 | MAYBE 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | n^0 - n^1 47539 | n^0 - n^1 59104 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | n^0 - n^1 1393 | n^0 - n^1 551 | n^0 - n^2 1925 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | MAYBE 60347 | MAYBE 59299 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml | n^0 - n^0 1791 | n^0 - n^1 2386 | n^0 - n^2 521 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | n^0 - n^0 1773 | n^0 - n^1 2607 | n^0 - n^2 849 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml | MAYBE 60885 | MAYBE 59165 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml | n^0 - n^1 2027 | n^0 - n^1 1444 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml | MAYBE 60726 | MAYBE 60796 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | MAYBE 60373 | MAYBE 59091 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml | MAYBE 60357 | MAYBE 59623 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml | MAYBE 61056 | MAYBE 59180 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml | n^0 - n^1 1457 | n^0 - n^1 1656 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml | MAYBE 61071 | MAYBE 59733 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml | MAYBE 320 | MAYBE 38 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml | n^0 - n^1 2115 | n^0 - n^1 2080 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml | MAYBE 61114 | MAYBE 59440 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 61083 | MAYBE 59173 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml | MAYBE 60883 | MAYBE 60130 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | MAYBE 348 | MAYBE 54 | MAYBE 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml | MAYBE 60770 | MAYBE 59289 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml | MAYBE 61053 | MAYBE 59156 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml | MAYBE 384 | MAYBE 58 | MAYBE 59 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml | MAYBE 60737 | MAYBE 59154 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml | MAYBE 60742 | MAYBE 59128 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml | MAYBE 60443 | MAYBE 59560 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml | MAYBE 335 | MAYBE 41 | MAYBE 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml | MAYBE 60884 | MAYBE 59249 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml | MAYBE 60503 | MAYBE 60574 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | MAYBE 326 | MAYBE 39 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | n^0 - n^1 47612 | n^0 - n^1 59093 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml | MAYBE 60362 | MAYBE 59097 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | MAYBE 311 | MAYBE 32 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | n^0 - n^1 47981 | n^0 - n^1 59111 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml | MAYBE 60366 | MAYBE 59072 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | MAYBE 322 | MAYBE 34 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_C.xml | MAYBE 61078 | MAYBE 59562 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml | MAYBE 60534 | MAYBE 59183 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml | MAYBE 60548 | MAYBE 59294 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml | MAYBE 418 | MAYBE 92 | MAYBE 86 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml | MAYBE 60812 | MAYBE 60189 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | MAYBE 60502 | MAYBE 59285 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml | MAYBE 60458 | MAYBE 59598 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | MAYBE 491 | MAYBE 148 | MAYBE 131 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | MAYBE 60497 | MAYBE 59253 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml | MAYBE 60490 | MAYBE 59162 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml | MAYBE 60861 | MAYBE 59190 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml | MAYBE 60908 | MAYBE 59111 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml | MAYBE 61096 | MAYBE 60695 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | MAYBE 361 | MAYBE 50 | MAYBE 54 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml | MAYBE 60586 | MAYBE 59434 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml | MAYBE 60397 | MAYBE 59134 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml | MAYBE 61075 | MAYBE 59204 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml | MAYBE 401 | MAYBE 76 | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | MAYBE 60333 | MAYBE 59131 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml | MAYBE 60912 | MAYBE 59219 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml | MAYBE 60939 | MAYBE 59447 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml | n^0 - n^1 1810 | n^0 - n^1 30155 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml | MAYBE 61169 | MAYBE 60704 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | MAYBE 321 | MAYBE 39 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml | MAYBE 60928 | MAYBE 59230 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml | MAYBE 60400 | n^0 - POLY 30302 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml | MAYBE 60962 | MAYBE 60113 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | MAYBE 353 | MAYBE 55 | MAYBE 53 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml | n^0 - n^1 4745 | n^0 - n^1 30301 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml | n^0 - n^1 2758 | n^0 - n^1 30143 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_C.xml | MAYBE 60962 | MAYBE 59604 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml | MAYBE 60960 | MAYBE 59718 | MAYBE 60141 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml | MAYBE 61106 | MAYBE 59560 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | MAYBE 339 | MAYBE 44 | MAYBE 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_C.xml | MAYBE 60617 | MAYBE 59293 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | MAYBE 60873 | MAYBE 59132 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_GM.xml | MAYBE 60904 | MAYBE 59168 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml | MAYBE 372 | MAYBE 63 | MAYBE 60 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | MAYBE 60929 | MAYBE 59126 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml | MAYBE 60908 | MAYBE 59186 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_C.xml | MAYBE 61060 | MAYBE 59151 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml | MAYBE 60650 | MAYBE 59131 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_GM.xml | MAYBE 61084 | MAYBE 59759 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | MAYBE 335 | MAYBE 38 | MAYBE 40 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml | MAYBE 61046 | MAYBE 59178 | MAYBE 60034 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml | n^0 - n^2 9330 | MAYBE 59097 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | MAYBE 61131 | MAYBE 59444 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | MAYBE 328 | MAYBE 40 | MAYBE 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | n^0 - n^1 6417 | n^0 - n^1 9356 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml | MAYBE 60404 | n^0 - n^1 25861 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml | n^0 - n^1 54901 | MAYBE 59101 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml | n^0 - n^2 1762 | n^0 - n^2 6926 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_GM.xml | MAYBE 60573 | MAYBE 59122 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml | MAYBE 300 | MAYBE 35 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml | MAYBE 60856 | MAYBE 59163 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml | n^0 - n^2 6334 | n^0 - n^2 30262 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml | MAYBE 60934 | MAYBE 59533 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml | MAYBE 308 | MAYBE 35 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_C.xml | MAYBE 61058 | MAYBE 59213 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml | MAYBE 61042 | MAYBE 60009 | MAYBE 60027 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml | MAYBE 60921 | MAYBE 59786 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml | MAYBE 359 | MAYBE 53 | MAYBE 53 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml | MAYBE 60598 | MAYBE 59417 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml | MAYBE 60544 | MAYBE 59127 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml | MAYBE 61061 | MAYBE 59206 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml | MAYBE 409 | MAYBE 82 | MAYBE 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml | MAYBE 61013 | MAYBE 59127 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml | MAYBE 61175 | MAYBE 59154 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_C.xml | MAYBE 61071 | MAYBE 59274 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml | MAYBE 60667 | MAYBE 60748 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml | MAYBE 60543 | MAYBE 60074 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | MAYBE 334 | MAYBE 40 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | MAYBE 61097 | MAYBE 59289 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml | MAYBE 60831 | MAYBE 59817 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | MAYBE 359 | MAYBE 46 | MAYBE 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml | MAYBE 60862 | MAYBE 59147 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml | n^0 - n^1 47785 | n^0 - n^1 59138 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml | MAYBE 60507 | MAYBE 59091 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | MAYBE 316 | MAYBE 49 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml | MAYBE 61210 | MAYBE 59159 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml | MAYBE 60766 | MAYBE 60131 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml | MAYBE 325 | MAYBE 36 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml | MAYBE 61119 | MAYBE 59180 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml | MAYBE 61165 | MAYBE 59100 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_GM.xml | MAYBE 61080 | MAYBE 59737 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | MAYBE 355 | MAYBE 49 | MAYBE 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | MAYBE 60487 | MAYBE 59316 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | MAYBE 60892 | MAYBE 59254 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml | MAYBE 60879 | MAYBE 59176 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml | MAYBE 60847 | MAYBE 59157 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | MAYBE 60954 | MAYBE 59159 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml | n^0 - n^1 50562 | n^0 - n^1 59174 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | MAYBE 60721 | n^0 - n^2 59442 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml | MAYBE 60947 | MAYBE 59163 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | MAYBE 313 | MAYBE 37 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml | MAYBE 60877 | n^0 - n^1 59193 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml | n^0 - n^2 10172 | n^0 - n^2 34442 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml | MAYBE 60902 | MAYBE 59519 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | n^0 - n^1 3758 | n^0 - n^1 8361 | n^0 - n^2 20234 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | MAYBE 60588 | n^0 - n^1 59336 | n^0 - n^2 17128 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml | n^0 - n^1 45930 | n^0 - n^1 59095 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml | MAYBE 60731 | MAYBE 59173 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml | MAYBE 312 | MAYBE 33 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml | n^0 - n^1 47421 | n^0 - n^1 59404 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml | MAYBE 60668 | MAYBE 59097 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_C.xml | MAYBE 60984 | MAYBE 59253 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml | MAYBE 60936 | MAYBE 59181 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_GM.xml | MAYBE 60847 | MAYBE 59803 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | MAYBE 330 | MAYBE 63 | MAYBE 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_C.xml | MAYBE 61011 | MAYBE 59282 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml | MAYBE 60624 | MAYBE 59098 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_GM.xml | MAYBE 60621 | MAYBE 59508 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | MAYBE 342 | MAYBE 44 | MAYBE 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml | MAYBE 60865 | n^0 - n^2 39678 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | MAYBE 60882 | MAYBE 59153 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml | MAYBE 60745 | MAYBE 59145 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml | MAYBE 60600 | n^0 - n^2 59160 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_GM.xml | MAYBE 60485 | MAYBE 59145 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml | MAYBE 319 | MAYBE 36 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_C.xml | MAYBE 61107 | MAYBE 59157 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | n^0 - n^2 4296 | n^0 - n^2 30203 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml | MAYBE 60547 | MAYBE 59623 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | MAYBE 323 | MAYBE 50 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml | n^0 - n^1 3864 | n^0 - n^1 6905 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml | MAYBE 60422 | n^0 - n^1 4260 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml | n^0 - n^1 46600 | n^0 - n^1 59067 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | n^0 - n^1 1315 | n^0 - n^1 266 | n^0 - n^1 205 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml | MAYBE 60536 | MAYBE 59142 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | MAYBE 295 | MAYBE 32 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | n^0 - n^1 47743 | n^0 - n^1 59132 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^1 1499 | n^0 - n^1 5050 | n^0 - n^2 856 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml | MAYBE 60672 | MAYBE 59124 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | MAYBE 315 | MAYBE 33 | MAYBE 35 |
| tpdb-8.0/TRS/Various_04/04.xml | n^0 - n^0 1137 | n^0 - n^0 1432 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/08.xml | n^0 - n^0 1186 | n^0 - n^0 30156 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/10.xml | n^0 - n^2 17093 | n^0 - n^3 39453 | MAYBE 60031 |
| tpdb-8.0/TRS/Various_04/11.xml | n^0 - n^1 4307 | MAYBE 59167 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 60518 | MAYBE 59206 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/13.xml | MAYBE 60406 | MAYBE 59094 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/14.xml | n^0 - n^2 22107 | MAYBE 59431 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^1 1480 | n^0 - n^1 59086 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^1 1837 | n^0 - n^1 59213 | MAYBE 60031 |
| tpdb-8.0/TRS/Various_04/22.xml | n^0 - n^1 1940 | n^0 - n^1 13923 | MAYBE 60028 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^1 1390 | n^0 - n^1 1359 | n^0 - n^1 314 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 46534 | MAYBE 59174 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | n^0 - n^1 46299 | n^0 - n^1 6065 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | n^0 - n^1 46286 | n^0 - n^1 6935 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 60623 | MAYBE 59079 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 60341 | MAYBE 59103 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 60351 | MAYBE 59066 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 60392 | MAYBE 59067 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 60330 | MAYBE 59140 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 60321 | MAYBE 59061 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 60293 | MAYBE 59123 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 60315 | MAYBE 59120 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | n^0 - n^1 47523 | MAYBE 59106 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 60404 | MAYBE 59074 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^1 46317 | n^0 - n^1 59424 | n^0 - n^2 17002 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MAYBE 60433 | MAYBE 59668 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 60351 | MAYBE 59381 | MAYBE 60033 | 840 | 858 | 202 |