| benchmark | TcT | TcT-certify |
|---|---|---|
| tpdb-8.0/TRS/AG01/#3.10.xml | MAYBE 46 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.12.xml | MAYBE 59193 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 42 | MAYBE 60028 |
| tpdb-8.0/TRS/AG01/#3.15.xml | MAYBE 21104 | n^0 - n^2 509 |
| tpdb-8.0/TRS/AG01/#3.16.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 59194 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 59084 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.18.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.19.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.1.xml | MAYBE 32 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.22.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.23.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.24.xml | MAYBE 728 | n^0 - n^2 256 |
| tpdb-8.0/TRS/AG01/#3.26.xml | MAYBE 56774 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.29.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.2.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.31.xml | MAYBE 30 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.33.xml | MAYBE 2814 | n^0 - n^2 591 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^2 59062 | n^0 - n^2 258 |
| tpdb-8.0/TRS/AG01/#3.36.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.37.xml | MAYBE 1148 | n^0 - n^2 718 |
| tpdb-8.0/TRS/AG01/#3.38.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.39.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.40.xml | MAYBE 37 | MAYBE 60041 |
| tpdb-8.0/TRS/AG01/#3.41.xml | MAYBE 32 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.42.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.47.xml | MAYBE 30 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.48.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.49.xml | n^0 - n^2 59117 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.4.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.51.xml | MAYBE 8095 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.52.xml | MAYBE 31 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | MAYBE 31 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.53.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.54.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.55.xml | MAYBE 45 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^2 59784 | n^0 - n^2 768 |
| tpdb-8.0/TRS/AG01/#3.57.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | MAYBE 37 | MAYBE 60076 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.5.xml | MAYBE 37 | MAYBE 60028 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | MAYBE 37 | MAYBE 60032 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.6.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.7.xml | n^0 - n^2 59629 | n^0 - n^2 594 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.8b.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | MAYBE 59 | MAYBE 60029 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 59143 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | MAYBE 80 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | MAYBE 46 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 41 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | MAYBE 38 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml | MAYBE 47 | MAYBE 60084 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | MAYBE 46 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | MAYBE 48 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 59176 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | MAYBE 59128 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^2 59096 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 59156 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^3 59847 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | MAYBE 59291 | n^0 - n^3 59580 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 59136 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | MAYBE 30 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | MAYBE 35 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 58 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | MAYBE 54 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 59257 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 39 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 59344 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 48 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 59166 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 47 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | MAYBE 62 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/kabasci02.xml | MAYBE 55 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | MAYBE 47 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | MAYBE 42 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto04.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/otto05.xml | MAYBE 44 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | MAYBE 43 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/otto09.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto12.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | MAYBE 50 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann02.xml | MAYBE 61 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | MAYBE 46 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | MAYBE 79 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann06.xml | MAYBE 40 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann08.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann09.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann10.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann11.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | MAYBE 44 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 39 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann18.xml | MAYBE 47 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann20.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | MAYBE 52 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | MAYBE 37 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann26.xml | MAYBE 38 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | MAYBE 35 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_07/thiemann28.xml | MAYBE 39 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | MAYBE 42 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann30.xml | MAYBE 53 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann32.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | MAYBE 44 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | MAYBE 38 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | MAYBE 48 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann38.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | MAYBE 50 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | MAYBE 46 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MAYBE 40 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/wiehe07.xml | MAYBE 42 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | MAYBE 62 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/wiehe09.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | MAYBE 48 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/wiehe12.xml | MAYBE 56 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 39 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 46 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 43 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 52 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 59080 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 59067 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | MAYBE 54 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | MAYBE 44 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MAYBE 44 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml | MAYBE 47 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 37 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_10/andIsNat.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_10/challenge_fab.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_10/double.xml | MAYBE 45 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/downfrom.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_10/ex1.xml | MAYBE 32 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_10/ex2.xml | MAYBE 32 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_10/ex3.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/ex4.xml | MAYBE 35 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | MAYBE 175 | n^0 - n^1 148 |
| tpdb-8.0/TRS/AProVE_10/halfdouble.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_10/isList.xml | MAYBE 31 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/isNat.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_10/scnp.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/Zantema06-03-modified.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/11.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | MAYBE 37 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | MAYBE 47 | MAYBE 60033 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 39 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | MAYBE 55 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MAYBE 33 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | MAYBE 35 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | MAYBE 59130 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/append.xml | MAYBE 65 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 81 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | MAYBE 5132 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/fact-hard.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 59267 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 60277 | MAYBE 60034 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | MAYBE 44 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | MAYBE 39 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | MAYBE 36 | MAYBE 60028 |
| tpdb-8.0/TRS/CiME_04/log2.xml | MAYBE 50 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/lse.xml | MAYBE 48 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | MAYBE 47 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | MAYBE 343 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | MAYBE 47 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | MAYBE 46 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/tree.xml | MAYBE 70 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/06.xml | MAYBE 59046 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 59294 | n^0 - n^2 379 |
| tpdb-8.0/TRS/Der95/08.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/11.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/18.xml | MAYBE 30 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 59087 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/21.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/27.xml | MAYBE 11740 | n^0 - n^2 194 |
| tpdb-8.0/TRS/Der95/31.xml | MAYBE 42 | MAYBE 60031 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/33.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | MAYBE 21108 | n^0 - n^3 3035 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | MAYBE 35 | MAYBE 60028 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 39 | MAYBE 60068 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 43 | MAYBE 60031 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | MAYBE 61 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 59041 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 59044 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 59040 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 59073 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 59039 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | MAYBE 49 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 59139 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 60395 | MAYBE 60032 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | MAYBE 9958 | n^0 - n^2 223 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 59150 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 33 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/157388.xml | MAYBE 60123 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/158152.xml | MAYBE 59928 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/160263.xml | MAYBE 59649 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/211471.xml | n^0 - n^1 60238 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/211639.xml | n^0 - n^1 59521 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/211857.xml | MAYBE 60519 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/211960.xml | MAYBE 59684 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/212094.xml | MAYBE 59692 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/212117.xml | n^0 - n^1 59555 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/212421.xml | MAYBE 59611 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/212480.xml | MAYBE 59749 | MAYBE 60032 |
| tpdb-8.0/TRS/ICFP_2010/212612.xml | MAYBE 59482 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/212693.xml | MAYBE 59576 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/213281.xml | MAYBE 59792 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/213437.xml | MAYBE 60091 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/213560.xml | MAYBE 60603 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/213611.xml | n^0 - n^1 59694 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/214011.xml | MAYBE 59568 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/214091.xml | MAYBE 60561 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/230780.xml | n^0 - n^1 59672 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/230819.xml | n^0 - n^1 59390 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/230948.xml | n^0 - n^1 59574 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/231043.xml | n^0 - n^1 59719 | MAYBE 60033 |
| tpdb-8.0/TRS/ICFP_2010/231149.xml | n^0 - n^1 59468 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/231230.xml | n^0 - n^1 60160 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/231300.xml | n^0 - n^1 59505 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/231378.xml | n^0 - n^1 59822 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/231480.xml | n^0 - n^1 59711 | MAYBE 60028 |
| tpdb-8.0/TRS/ICFP_2010/231604.xml | n^0 - n^1 59808 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/246924.xml | n^0 - n^1 59564 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/247020.xml | n^0 - n^1 59816 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/247254.xml | n^0 - n^1 59698 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/247504.xml | n^0 - n^1 59578 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/247906.xml | n^0 - n^1 59619 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/247992.xml | n^0 - n^1 59827 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/248060.xml | n^0 - n^1 59497 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/249386.xml | n^0 - n^1 59568 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/249459.xml | n^0 - n^1 59567 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/249663.xml | MAYBE 60305 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/25192.xml | n^0 - n^1 59860 | n^0 - n^2 813 |
| tpdb-8.0/TRS/ICFP_2010/25731.xml | n^0 - n^1 59571 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/26069.xml | n^0 - n^1 59528 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/26103.xml | n^0 - n^1 59555 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/26123.xml | n^0 - n^1 59523 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/26130.xml | n^0 - n^1 59548 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/26186.xml | n^0 - n^1 59542 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/26226.xml | n^0 - n^1 59590 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/26291.xml | n^0 - n^1 60167 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/264370.xml | n^0 - n^1 59449 | n^0 - n^2 5319 |
| tpdb-8.0/TRS/ICFP_2010/264405.xml | n^0 - n^1 60020 | n^0 - n^2 4397 |
| tpdb-8.0/TRS/ICFP_2010/26683.xml | n^0 - n^1 59561 | MAYBE 60028 |
| tpdb-8.0/TRS/ICFP_2010/27030.xml | n^0 - n^1 60219 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/27131.xml | n^0 - n^1 59589 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/27134.xml | MAYBE 60470 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/27213.xml | n^0 - n^1 59557 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/27235.xml | n^0 - n^1 60316 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/27280.xml | n^0 - n^1 59658 | MAYBE 60035 |
| tpdb-8.0/TRS/ICFP_2010/28293.xml | n^0 - n^1 59583 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/28464.xml | MAYBE 60433 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/28643.xml | n^0 - n^1 60344 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/28838.xml | n^0 - n^1 59591 | MAYBE 60028 |
| tpdb-8.0/TRS/ICFP_2010/40093.xml | n^0 - n^1 60469 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/40708.xml | MAYBE 60542 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/45720.xml | MAYBE 59901 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/45757.xml | MAYBE 60762 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/48262.xml | MAYBE 59752 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/54532.xml | n^0 - n^1 59908 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/54622.xml | n^0 - n^1 59710 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/57355.xml | MAYBE 60577 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/58194.xml | MAYBE 60235 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/58301.xml | MAYBE 60592 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | n^0 - n^2 59228 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | MAYBE 59072 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | MAYBE 59093 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | MAYBE 90 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml | MAYBE 59872 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | MAYBE 59143 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_SRS/turing_add.xml | n^0 - n^2 59211 | n^0 - n^2 1567 |
| tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml | MAYBE 59251 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml | MAYBE 59291 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | MAYBE 59181 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/fossacs.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | MAYBE 45 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 50 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | MAYBE 3286 | n^0 - n^2 261 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | MAYBE 216 | n^0 - n^1 134 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | MAYBE 5182 | n^0 - n^2 492 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 30 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/MNZ_10/labelled.xml | MAYBE 3399 | MAYBE 60030 |
| tpdb-8.0/TRS/MNZ_10/nrvsq.xml | MAYBE 45 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | MAYBE 8190 | n^0 - n^2 539 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/division.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/elimdupl.xml | MAYBE 64 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | MAYBE 23713 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | MAYBE 173 | n^0 - n^1 131 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/Rubio_04/ma96.xml | MAYBE 50 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | MAYBE 728 | n^0 - n^2 160 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 59205 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | MAYBE 982 | n^0 - n^2 252 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | MAYBE 39 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | MAYBE 57 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | MAYBE 785 | n^0 - n^2 721 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | MAYBE 753 | n^0 - n^2 265 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | MAYBE 59188 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | MAYBE 59140 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | MAYBE 59175 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | MAYBE 59322 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml | MAYBE 116 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | MAYBE 109 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | n^0 - n^1 59115 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | n^0 - n^1 59253 | n^0 - n^3 16799 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | MAYBE 59117 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | MAYBE 910 | n^0 - n^2 1390 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | MAYBE 59186 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 46 | MAYBE 60048 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | MAYBE 44 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 83 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 59048 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_06_SRS/10.xml | MAYBE 59115 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml | MAYBE 57 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml | MAYBE 59240 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | MAYBE 59144 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | MAYBE 59158 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove00.xml | MAYBE 59438 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml | MAYBE 59337 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml | MAYBE 59456 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml | MAYBE 59421 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove04.xml | MAYBE 59387 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml | MAYBE 59421 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | MAYBE 59379 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove07.xml | MAYBE 59434 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml | MAYBE 59431 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove09.xml | MAYBE 59392 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/secr3.xml | MAYBE 59158 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/secr4.xml | MAYBE 59134 | MAYBE 60033 |
| tpdb-8.0/TRS/Secret_06_SRS/secr5.xml | MAYBE 1509 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/secr8.xml | MAYBE 59520 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | MAYBE 196 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | MAYBE 59171 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | MAYBE 174 | n^0 - n^3 3441 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | MAYBE 45 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | MAYBE 37 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | MAYBE 33 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | MAYBE 39 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/times.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml | MAYBE 35 | MAYBE 60028 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | MAYBE 38 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml | MAYBE 42 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | MAYBE 38 | MAYBE 60028 |
| tpdb-8.0/TRS/Secret_07_SRS/num-514.xml | MAYBE 59316 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/num-515.xml | MAYBE 59147 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/num-518.xml | MAYBE 59170 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | MAYBE 59183 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | MAYBE 59162 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/num-521.xml | MAYBE 59256 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | MAYBE 59303 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/num-527.xml | MAYBE 59352 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | MAYBE 59168 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | MAYBE 60030 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | MAYBE 59053 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | MAYBE 250 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/x03.xml | MAYBE 59641 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/x05.xml | MAYBE 59087 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | MAYBE 347 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | MAYBE 59285 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 45 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | MAYBE 44 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 56 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 49 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | MAYBE 43 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 44 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | MAYBE 41 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MAYBE 45 | MAYBE 60028 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 44 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | MAYBE 42 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 42 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | MAYBE 65 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.02.xml | n^0 - n^3 59329 | MAYBE 60032 |
| tpdb-8.0/TRS/SK90/2.03.xml | MAYBE 4141 | n^0 - n^2 280 |
| tpdb-8.0/TRS/SK90/2.07.xml | MAYBE 34 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.09.xml | MAYBE 2720 | n^0 - n^2 204 |
| tpdb-8.0/TRS/SK90/2.11.xml | MAYBE 4561 | n^0 - n^2 337 |
| tpdb-8.0/TRS/SK90/2.12.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.13.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.14.xml | MAYBE 59108 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.15.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.16.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.17.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.18.xml | MAYBE 34 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.19.xml | MAYBE 47 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.20.xml | MAYBE 41 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.21.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.22.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.23.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.24.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.25.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.26.xml | MAYBE 38 | MAYBE 60032 |
| tpdb-8.0/TRS/SK90/2.27.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.28.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.29.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.30.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.31.xml | MAYBE 5203 | n^0 - n^2 515 |
| tpdb-8.0/TRS/SK90/2.36.xml | MAYBE 6204 | n^0 - n^2 305 |
| tpdb-8.0/TRS/SK90/2.37.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.38.xml | MAYBE 4116 | n^0 - n^2 368 |
| tpdb-8.0/TRS/SK90/2.39.xml | n^0 - n^6 59172 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.40.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.41.xml | MAYBE 21062 | n^0 - n^2 527 |
| tpdb-8.0/TRS/SK90/2.42.xml | n^0 - n^6 59117 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.44.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.45.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.47.xml | MAYBE 2065 | n^0 - n^2 163 |
| tpdb-8.0/TRS/SK90/2.48.xml | MAYBE 290 | n^0 - n^1 222 |
| tpdb-8.0/TRS/SK90/2.49.xml | MAYBE 223 | n^0 - n^1 174 |
| tpdb-8.0/TRS/SK90/2.50.xml | MAYBE 59046 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.51.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.52.xml | MAYBE 39 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^2 59165 | n^0 - n^2 177 |
| tpdb-8.0/TRS/SK90/2.54.xml | MAYBE 2276 | n^0 - n^2 165 |
| tpdb-8.0/TRS/SK90/2.55.xml | MAYBE 2766 | n^0 - n^2 174 |
| tpdb-8.0/TRS/SK90/2.59.xml | MAYBE 30 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.61.xml | MAYBE 1054 | n^0 - n^1 1061 |
| tpdb-8.0/TRS/SK90/4.05.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.06.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.07.xml | MAYBE 2643 | n^0 - n^2 232 |
| tpdb-8.0/TRS/SK90/4.09.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.10.xml | MAYBE 33 | MAYBE 60028 |
| tpdb-8.0/TRS/SK90/4.12.xml | MAYBE 6770 | n^0 - n^2 374 |
| tpdb-8.0/TRS/SK90/4.13.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.16.xml | MAYBE 9067 | n^0 - n^2 515 |
| tpdb-8.0/TRS/SK90/4.17.xml | MAYBE 32 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.18.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.22.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.24.xml | MAYBE 44 | MAYBE 60039 |
| tpdb-8.0/TRS/SK90/4.25.xml | MAYBE 9267 | n^0 - n^2 340 |
| tpdb-8.0/TRS/SK90/4.26.xml | n^0 - n^10 59075 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/4.28.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^2 59126 | n^0 - n^2 679 |
| tpdb-8.0/TRS/SK90/4.30.xml | MAYBE 59438 | n^0 - n^3 2456 |
| tpdb-8.0/TRS/SK90/4.31.xml | MAYBE 41 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 59066 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.35.xml | MAYBE 357 | n^0 - n^2 128 |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^2 59074 | n^0 - n^2 402 |
| tpdb-8.0/TRS/SK90/4.42.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.43.xml | n^0 - n^5 59148 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.45.xml | MAYBE 143 | n^0 - n^1 98 |
| tpdb-8.0/TRS/SK90/4.47.xml | MAYBE 7058 | n^0 - n^2 1010 |
| tpdb-8.0/TRS/SK90/4.48.xml | MAYBE 146 | n^0 - n^1 106 |
| tpdb-8.0/TRS/SK90/4.51.xml | MAYBE 4592 | n^0 - n^3 765 |
| tpdb-8.0/TRS/SK90/4.53.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.54.xml | MAYBE 42 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.57.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.59.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.60.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.61.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml | MAYBE 99 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | MAYBE 66 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | MAYBE 40 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml | MAYBE 42 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml | MAYBE 42 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml | MAYBE 35 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | MAYBE 38 | MAYBE 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | MAYBE 39 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | MAYBE 46 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml | MAYBE 42 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml | MAYBE 59181 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | MAYBE 5662 | n^0 - n^2 936 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml | n^0 - n^2 59198 | n^0 - n^2 543 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | MAYBE 946 | n^0 - n^2 432 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml | MAYBE 64 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | MAYBE 44 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | MAYBE 34 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | MAYBE 59203 | MAYBE 60033 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | MAYBE 59201 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml | n^0 - n^3 59629 | n^0 - n^3 18284 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | MAYBE 2184 | n^0 - n^2 441 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | MAYBE 39363 | n^0 - n^2 451 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | MAYBE 125 | n^0 - n^1 142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | MAYBE 60 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml | MAYBE 59 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml | MAYBE 39 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml | MAYBE 35 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | MAYBE 61 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | MAYBE 39 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | MAYBE 34 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | MAYBE 59328 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | MAYBE 59168 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | MAYBE 63 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | MAYBE 59115 | n^0 - n^3 12801 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | MAYBE 463 | n^0 - n^1 516 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml | MAYBE 60187 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | MAYBE 3426 | n^0 - n^2 960 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml | n^0 - n^2 59151 | n^0 - n^2 593 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | MAYBE 117 | n^0 - n^1 150 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml | n^0 - n^2 59117 | n^0 - n^2 6869 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml | MAYBE 5614 | n^0 - n^2 1769 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml | n^0 - n^2 59132 | n^0 - n^2 1875 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml | MAYBE 284 | n^0 - n^1 371 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml | MAYBE 69 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml | MAYBE 47 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | MAYBE 342 | n^0 - n^1 233 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | MAYBE 65 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml | MAYBE 45 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml | MAYBE 63 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | MAYBE 225 | n^0 - n^1 120 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml | MAYBE 56 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml | MAYBE 37 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml | MAYBE 33 | MAYBE 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml | MAYBE 57 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml | MAYBE 46 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml | MAYBE 42 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | MAYBE 35 | MAYBE 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | MAYBE 60 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml | MAYBE 272 | n^0 - n^1 194 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml | MAYBE 32 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | MAYBE 64 | n^0 - n^1 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | MAYBE 59245 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | MAYBE 3472 | n^0 - n^2 1252 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^3 59197 | n^0 - n^3 3839 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml | MAYBE 898 | n^0 - n^2 329 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | MAYBE 1542 | n^0 - n^2 605 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | MAYBE 73 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml | MAYBE 57 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | MAYBE 52 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml | MAYBE 39 | MAYBE 40 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml | MAYBE 46 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml | MAYBE 32 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | MAYBE 59855 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml | MAYBE 220 | n^0 - n^1 185 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml | n^0 - n^2 59109 | n^0 - n^2 796 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | MAYBE 35 | MAYBE 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml | MAYBE 67 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml | MAYBE 45 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | MAYBE 35 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml | MAYBE 96 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml | MAYBE 66 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | MAYBE 41 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | MAYBE 51 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | MAYBE 34 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml | MAYBE 107 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml | MAYBE 55 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | MAYBE 65 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | MAYBE 39 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml | MAYBE 59 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml | MAYBE 80 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | MAYBE 47 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml | MAYBE 63 | MAYBE 40 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | MAYBE 59386 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | MAYBE 59058 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml | MAYBE 59159 | MAYBE 60042 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml | MAYBE 32 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | MAYBE 376 | n^0 - n^1 300 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | MAYBE 114 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml | MAYBE 61 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | MAYBE 68 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | MAYBE 43 | MAYBE 45 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | MAYBE 50 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | MAYBE 41 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | n^0 - n^3 59415 | n^0 - n^3 29403 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | MAYBE 224 | n^0 - n^1 226 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml | MAYBE 49 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml | MAYBE 42 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | MAYBE 91 | n^0 - n^1 88 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml | MAYBE 66 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml | MAYBE 45 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | MAYBE 43 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml | MAYBE 64 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml | MAYBE 42 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml | MAYBE 33 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml | MAYBE 36 | MAYBE 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | MAYBE 58 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | MAYBE 365 | n^0 - n^1 216 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml | MAYBE 39 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml | MAYBE 59151 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | MAYBE 29327 | n^0 - n^2 922 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml | MAYBE 103 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | MAYBE 60 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml | MAYBE 40 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | n^0 - n^2 59181 | n^0 - n^2 4754 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml | MAYBE 5695 | n^0 - n^2 449 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | n^0 - n^2 59087 | n^0 - n^2 445 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | MAYBE 59197 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml | MAYBE 59158 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | MAYBE 34 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | MAYBE 59220 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | n^0 - n^3 59190 | n^0 - n^3 6287 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml | MAYBE 32 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml | MAYBE 74 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml | MAYBE 48 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml | MAYBE 35 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml | MAYBE 67 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml | MAYBE 42 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml | MAYBE 45 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | MAYBE 36 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | MAYBE 59140 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | MAYBE 3239 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | MAYBE 59166 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml | MAYBE 3559 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | MAYBE 6326 | MAYBE 60033 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml | MAYBE 76 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml | MAYBE 42 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml | MAYBE 46 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml | MAYBE 46 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml | MAYBE 121 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml | MAYBE 58 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml | MAYBE 37 | MAYBE 40 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml | MAYBE 151 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 65 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml | MAYBE 94 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | MAYBE 47 | MAYBE 48 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml | MAYBE 238 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml | MAYBE 134 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml | MAYBE 58 | MAYBE 59 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml | MAYBE 69 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml | MAYBE 69 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml | MAYBE 54 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml | MAYBE 36 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml | MAYBE 103 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml | MAYBE 66 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | MAYBE 41 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | MAYBE 59262 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml | MAYBE 59148 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | MAYBE 36 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | MAYBE 60316 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml | MAYBE 59175 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | MAYBE 33 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_C.xml | MAYBE 451 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml | MAYBE 157 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml | MAYBE 231 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml | MAYBE 89 | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml | MAYBE 851 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | MAYBE 230 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml | MAYBE 417 | MAYBE 60050 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | MAYBE 143 | MAYBE 134 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | MAYBE 247 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml | MAYBE 185 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml | MAYBE 198 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml | MAYBE 92 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml | MAYBE 111 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | MAYBE 54 | MAYBE 51 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml | MAYBE 307 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml | MAYBE 123 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml | MAYBE 168 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml | MAYBE 78 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | MAYBE 126 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml | MAYBE 89 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml | MAYBE 114 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml | MAYBE 42 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml | MAYBE 71 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | MAYBE 40 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml | MAYBE 206 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml | MAYBE 64 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml | MAYBE 119 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | MAYBE 50 | MAYBE 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml | MAYBE 63 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_C.xml | MAYBE 154 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml | MAYBE 72 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml | MAYBE 183 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | MAYBE 45 | MAYBE 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_C.xml | MAYBE 261 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | MAYBE 84 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_GM.xml | MAYBE 149 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml | MAYBE 61 | MAYBE 60 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | MAYBE 83 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml | MAYBE 90 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_C.xml | MAYBE 89 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml | MAYBE 45 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_GM.xml | MAYBE 54 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | MAYBE 41 | MAYBE 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml | MAYBE 114 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml | MAYBE 52 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | MAYBE 71 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | MAYBE 41 | MAYBE 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | MAYBE 48 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml | MAYBE 45 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml | MAYBE 59 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml | MAYBE 45 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_GM.xml | MAYBE 57 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml | MAYBE 34 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml | MAYBE 76 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml | MAYBE 45 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml | MAYBE 35 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_C.xml | MAYBE 199 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml | MAYBE 90 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml | MAYBE 114 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml | MAYBE 51 | MAYBE 51 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml | MAYBE 343 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml | MAYBE 104 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml | MAYBE 175 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml | MAYBE 78 | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml | MAYBE 135 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml | MAYBE 86 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_C.xml | MAYBE 88 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml | MAYBE 60 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml | MAYBE 66 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | MAYBE 39 | MAYBE 40 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | MAYBE 158 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml | MAYBE 99 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | MAYBE 47 | MAYBE 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml | MAYBE 66 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml | MAYBE 59128 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml | MAYBE 17115 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | MAYBE 33 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml | MAYBE 59242 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml | MAYBE 59113 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml | MAYBE 36 | MAYBE 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml | MAYBE 143 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml | MAYBE 77 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_GM.xml | MAYBE 106 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | MAYBE 50 | MAYBE 51 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | MAYBE 261 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | MAYBE 104 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml | MAYBE 146 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml | MAYBE 96 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | MAYBE 72 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml | MAYBE 59227 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | MAYBE 28930 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml | MAYBE 59149 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | MAYBE 38 | MAYBE 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml | MAYBE 59403 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml | MAYBE 32613 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml | MAYBE 59234 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | MAYBE 12782 | n^0 - n^2 11404 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | MAYBE 5915 | n^0 - n^2 7867 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml | MAYBE 59302 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml | MAYBE 59449 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml | MAYBE 33 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml | MAYBE 59333 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml | MAYBE 59322 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_C.xml | MAYBE 90 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml | MAYBE 51 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_GM.xml | MAYBE 63 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | MAYBE 62 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_C.xml | MAYBE 158 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml | MAYBE 61 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_GM.xml | MAYBE 97 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | MAYBE 47 | MAYBE 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml | MAYBE 58 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | MAYBE 47 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml | MAYBE 62 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml | MAYBE 51 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_GM.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml | MAYBE 58 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_C.xml | MAYBE 78 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | MAYBE 47 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml | MAYBE 50 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | MAYBE 37 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml | MAYBE 45 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml | MAYBE 59283 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | MAYBE 3553 | n^0 - n^2 296 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml | MAYBE 59078 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | MAYBE 32 | MAYBE 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | MAYBE 59396 | MAYBE 60042 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | MAYBE 21306 | n^0 - n^2 968 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml | MAYBE 59165 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | MAYBE 32 | MAYBE 34 |
| tpdb-8.0/TRS/Various_04/04.xml | MAYBE 49 | MAYBE 60028 |
| tpdb-8.0/TRS/Various_04/08.xml | MAYBE 84 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/11.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/13.xml | MAYBE 48 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/14.xml | MAYBE 63 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/15.xml | MAYBE 59182 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^3 59154 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/22.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/23.xml | MAYBE 6374 | n^0 - n^2 454 |
| tpdb-8.0/TRS/Various_04/24.xml | MAYBE 59379 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | MAYBE 59445 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | MAYBE 59115 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | MAYBE 19747 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | MAYBE 59141 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | MAYBE 10070 | n^0 - n^3 13580 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml | MAYBE 67 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml | MAYBE 63 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | MAYBE 117 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-11.xml | MAYBE 59088 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | MAYBE 59259 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml | MAYBE 59065 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml | MAYBE 59138 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | MAYBE 141 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml | MAYBE 59258 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | MAYBE 59134 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | MAYBE 115 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml | MAYBE 118 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml | MAYBE 90 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml | MAYBE 87 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | MAYBE 85 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml | MAYBE 59158 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-13.xml | MAYBE 81 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-17.xml | MAYBE 66 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-18.xml | MAYBE 64 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-2.xml | MAYBE 60094 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-6.xml | MAYBE 59260 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-8.xml | MAYBE 59265 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-104.xml | MAYBE 70 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-105.xml | MAYBE 126 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-106.xml | MAYBE 142 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-107.xml | MAYBE 160 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-108.xml | MAYBE 142 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-109.xml | MAYBE 117 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml | MAYBE 99 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-110.xml | MAYBE 154 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-111.xml | MAYBE 139 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-112.xml | MAYBE 75 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-113.xml | MAYBE 62 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-114.xml | MAYBE 64 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-11.xml | MAYBE 95 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-120.xml | MAYBE 4934 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-121.xml | MAYBE 50 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-122.xml | MAYBE 128 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-123.xml | MAYBE 132 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-124.xml | MAYBE 132 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-125.xml | MAYBE 84 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-126.xml | MAYBE 121 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-127.xml | MAYBE 154 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-128.xml | MAYBE 124 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-129.xml | MAYBE 59045 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-131.xml | MAYBE 60080 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml | MAYBE 59595 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-133.xml | MAYBE 59187 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml | MAYBE 59150 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml | MAYBE 59076 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-158.xml | MAYBE 60171 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-15.xml | MAYBE 81 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-16.xml | MAYBE 121 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml | MAYBE 59100 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-174.xml | MAYBE 59142 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml | MAYBE 59186 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-17.xml | MAYBE 73 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-198.xml | n^0 - n^1 59191 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-199.xml | MAYBE 59160 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-211.xml | MAYBE 59182 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml | MAYBE 158 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-21.xml | MAYBE 59182 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-222.xml | MAYBE 59103 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-224.xml | MAYBE 59153 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-227.xml | MAYBE 59091 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-22.xml | MAYBE 59741 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-231.xml | MAYBE 59058 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-232.xml | MAYBE 59040 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-233.xml | MAYBE 2320 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-236.xml | MAYBE 59078 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-237.xml | MAYBE 2178 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-238.xml | MAYBE 59188 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-243.xml | MAYBE 59058 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-247.xml | MAYBE 59705 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-248.xml | MAYBE 59076 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-249.xml | MAYBE 60143 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-260.xml | MAYBE 59111 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-263.xml | MAYBE 59295 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-267.xml | MAYBE 59210 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-270.xml | MAYBE 59244 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-271.xml | MAYBE 59167 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-272.xml | MAYBE 59626 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml | MAYBE 59087 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-275.xml | MAYBE 59121 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-286.xml | MAYBE 59083 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-289.xml | MAYBE 59195 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-291.xml | MAYBE 152 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-292.xml | MAYBE 203 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-293.xml | MAYBE 59145 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-294.xml | MAYBE 59229 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-296.xml | MAYBE 59371 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-297.xml | MAYBE 59287 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-298.xml | MAYBE 59152 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-299.xml | MAYBE 59081 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-300.xml | MAYBE 59091 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-301.xml | MAYBE 59121 | MAYBE 60033 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-303.xml | MAYBE 59148 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-304.xml | MAYBE 59153 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-309.xml | MAYBE 91 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-30.xml | MAYBE 59042 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml | MAYBE 59209 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-328.xml | MAYBE 108 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-32.xml | MAYBE 59671 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-330.xml | MAYBE 59047 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-335.xml | MAYBE 124 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-337.xml | MAYBE 149 | MAYBE 60045 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-338.xml | MAYBE 60 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-339.xml | MAYBE 67 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-340.xml | MAYBE 53 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-341.xml | MAYBE 108 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-345.xml | MAYBE 59393 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-346.xml | MAYBE 88 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-347.xml | MAYBE 59288 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml | MAYBE 59386 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-353.xml | MAYBE 59170 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-354.xml | MAYBE 59355 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-355.xml | MAYBE 111 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-356.xml | MAYBE 54 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-359.xml | MAYBE 59071 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-35.xml | MAYBE 147 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-360.xml | MAYBE 59101 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-361.xml | MAYBE 59148 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml | MAYBE 59131 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-363.xml | MAYBE 59135 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-366.xml | MAYBE 66 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-367.xml | MAYBE 59315 | MAYBE 60028 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-368.xml | MAYBE 59149 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-369.xml | MAYBE 59197 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-373.xml | MAYBE 59188 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-374.xml | MAYBE 59065 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-375.xml | MAYBE 59232 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-376.xml | MAYBE 59133 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-377.xml | MAYBE 59185 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml | MAYBE 59157 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-382.xml | MAYBE 67 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-383.xml | MAYBE 92 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-384.xml | MAYBE 64 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml | MAYBE 86 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-386.xml | MAYBE 68 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-391.xml | MAYBE 83 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-395.xml | MAYBE 59226 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml | MAYBE 59218 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-400.xml | MAYBE 74 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-401.xml | MAYBE 68 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-402.xml | MAYBE 81 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml | MAYBE 70 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml | MAYBE 59401 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-408.xml | MAYBE 59147 | MAYBE 60033 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-409.xml | MAYBE 59150 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml | MAYBE 88 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-410.xml | MAYBE 59261 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-41.xml | MAYBE 142 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml | MAYBE 59042 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-430.xml | MAYBE 59050 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-431.xml | MAYBE 202 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-434.xml | n^0 - n^1 59113 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-435.xml | MAYBE 145 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-436.xml | MAYBE 59092 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-437.xml | MAYBE 59175 | MAYBE 60033 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-438.xml | MAYBE 59183 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-439.xml | MAYBE 59087 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-441.xml | MAYBE 59165 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-443.xml | MAYBE 59135 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-446.xml | MAYBE 59468 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-448.xml | MAYBE 59074 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-450.xml | MAYBE 59122 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml | MAYBE 59083 | MAYBE 60047 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-456.xml | MAYBE 59061 | MAYBE 60052 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml | MAYBE 59047 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-469.xml | MAYBE 59268 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml | MAYBE 59124 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml | MAYBE 59076 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-476.xml | MAYBE 59119 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-477.xml | MAYBE 59079 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml | MAYBE 59169 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-480.xml | MAYBE 59235 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-482.xml | MAYBE 59041 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-485.xml | MAYBE 59164 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-487.xml | MAYBE 59119 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml | MAYBE 59091 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-489.xml | MAYBE 59228 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-48.xml | MAYBE 59087 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-491.xml | MAYBE 59196 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-492.xml | MAYBE 59178 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-497.xml | MAYBE 59066 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-49.xml | MAYBE 59087 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-4.xml | MAYBE 59071 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml | MAYBE 59071 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-506.xml | MAYBE 59062 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-508.xml | MAYBE 59089 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml | MAYBE 59472 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml | MAYBE 59241 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-532.xml | MAYBE 59119 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-535.xml | MAYBE 59282 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-536.xml | MAYBE 59190 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-540.xml | MAYBE 59055 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-541.xml | MAYBE 59070 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-543.xml | MAYBE 59190 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-545.xml | MAYBE 59122 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-546.xml | MAYBE 59110 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-547.xml | MAYBE 59096 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml | MAYBE 59136 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-549.xml | MAYBE 59053 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-550.xml | MAYBE 59245 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-551.xml | MAYBE 59082 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-552.xml | MAYBE 59180 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-553.xml | MAYBE 59139 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-556.xml | MAYBE 59452 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml | MAYBE 59478 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-559.xml | MAYBE 59091 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-560.xml | MAYBE 59244 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-561.xml | MAYBE 59055 | MAYBE 60034 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-563.xml | MAYBE 59467 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-564.xml | MAYBE 59061 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-565.xml | MAYBE 59223 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-566.xml | MAYBE 59049 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml | MAYBE 193 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-59.xml | MAYBE 104 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-64.xml | MAYBE 135 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-65.xml | MAYBE 120 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-66.xml | MAYBE 105 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-67.xml | MAYBE 130 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-71.xml | MAYBE 59250 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-72.xml | MAYBE 59044 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-7.xml | MAYBE 96 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml | MAYBE 228 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-84.xml | MAYBE 131 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-85.xml | MAYBE 118 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-86.xml | MAYBE 110 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-88.xml | MAYBE 99 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-91.xml | MAYBE 2552 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-92.xml | MAYBE 59082 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-98.xml | MAYBE 171 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml | MAYBE 89 | MAYBE 60028 |
| tpdb-8.0/TRS/Zantema_04/syracuse.xml | MAYBE 59269 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z002.xml | n^0 - n^1 59096 | n^0 - n^4 18450 |
| tpdb-8.0/TRS/Zantema_04/z003.xml | n^0 - n^1 59072 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z004.xml | n^0 - n^1 59157 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z005.xml | MAYBE 842 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z008.xml | MAYBE 59224 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z009.xml | n^0 - n^3 59069 | n^0 - n^4 1745 |
| tpdb-8.0/TRS/Zantema_04/z010.xml | MAYBE 59114 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z013.xml | MAYBE 59135 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z014.xml | MAYBE 546 | MAYBE 60028 |
| tpdb-8.0/TRS/Zantema_04/z017.xml | MAYBE 59135 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z018.xml | MAYBE 59067 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z020.xml | MAYBE 59082 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z026.xml | MAYBE 59125 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z042.xml | MAYBE 59334 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z043.xml | n^0 - n^1 59337 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z044.xml | MAYBE 59759 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z045.xml | n^0 - n^1 59397 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z046.xml | MAYBE 59324 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z047.xml | n^0 - n^1 59336 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z065.xml | MAYBE 59130 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z072.xml | MAYBE 59316 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z073.xml | MAYBE 59134 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z074.xml | n^0 - n^2 59126 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z075.xml | MAYBE 59117 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z076.xml | MAYBE 59118 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z077.xml | MAYBE 59063 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z078.xml | MAYBE 59167 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z079.xml | MAYBE 59095 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z081.xml | MAYBE 59322 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z082.xml | MAYBE 59348 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z083.xml | MAYBE 59217 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z090.xml | MAYBE 59110 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z091.xml | MAYBE 59222 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z092.xml | n^0 - n^2 59283 | n^0 - n^2 4722 |
| tpdb-8.0/TRS/Zantema_04/z094.xml | MAYBE 1196 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_04/z100.xml | MAYBE 59170 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z103.xml | MAYBE 59139 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z105.xml | MAYBE 19372 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z106.xml | MAYBE 325 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z107.xml | MAYBE 227 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z111.xml | MAYBE 26283 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z114.xml | MAYBE 59203 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z117.xml | MAYBE 60177 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z118.xml | MAYBE 5634 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z120.xml | MAYBE 199 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z123.xml | MAYBE 51792 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z124.xml | n^0 - n^2 59262 | n^0 - n^2 3133 |
| tpdb-8.0/TRS/Zantema_04/z125.xml | MAYBE 1752 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 45 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 59447 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 59131 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 59119 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 59098 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 59157 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 59098 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 59145 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 59503 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 59136 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | MAYBE 25546 | n^0 - n^2 1225 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/01.xml | MAYBE 59066 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_06/02.xml | MAYBE 59156 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_06/03.xml | MAYBE 59154 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/04.xml | MAYBE 59071 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_06/05.xml | MAYBE 59192 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/06.xml | MAYBE 59140 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/07.xml | MAYBE 59299 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/08.xml | MAYBE 59211 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/09.xml | MAYBE 59237 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/10.xml | MAYBE 501 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/15.xml | MAYBE 202 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/beans1.xml | MAYBE 59252 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_06/beans2.xml | MAYBE 59182 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/beans3.xml | MAYBE 59181 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/beans6.xml | MAYBE 59147 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/loop1.xml | MAYBE 59147 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/while1.xml | MAYBE 59205 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/while2.xml | MAYBE 59310 | n^0 - n^4 6039 | 178 | 200 |