| 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 |