| benchmark | CaT | TCT-IDC |
|---|---|---|
| tpdb-8.0/TRS/AG01/#3.10.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/AG01/#3.12.xml | MAYBE 60136 | MAYBE 60223 |
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 71 | MAYBE 65 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^2 5137 | n^0 - n^2 1155 |
| tpdb-8.0/TRS/AG01/#3.16.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 60272 | MAYBE 60522 |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 60236 | MAYBE 60436 |
| tpdb-8.0/TRS/AG01/#3.18.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AG01/#3.19.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AG01/#3.1.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/AG01/#3.21.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/AG01/#3.22.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/AG01/#3.23.xml | MAYBE 64 | MAYBE 63 |
| tpdb-8.0/TRS/AG01/#3.24.xml | n^0 - n^1 110 | n^0 - n^1 89 |
| tpdb-8.0/TRS/AG01/#3.26.xml | MAYBE 60153 | MAYBE 60121 |
| tpdb-8.0/TRS/AG01/#3.29.xml | MAYBE 64 | MAYBE 63 |
| tpdb-8.0/TRS/AG01/#3.2.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/AG01/#3.31.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/AG01/#3.33.xml | n^0 - n^1 119 | n^0 - n^1 113 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^2 5142 | n^0 - n^2 1094 |
| tpdb-8.0/TRS/AG01/#3.36.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AG01/#3.37.xml | n^0 - n^1 97 | n^0 - n^1 93 |
| tpdb-8.0/TRS/AG01/#3.38.xml | MAYBE 65 | MAYBE 64 |
| tpdb-8.0/TRS/AG01/#3.39.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/AG01/#3.40.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/AG01/#3.41.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/AG01/#3.42.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/AG01/#3.47.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/AG01/#3.48.xml | MAYBE 66 | MAYBE 65 |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 60303 | MAYBE 60243 |
| tpdb-8.0/TRS/AG01/#3.4.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 106 | n^0 - n^1 93 |
| tpdb-8.0/TRS/AG01/#3.52.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | MAYBE 66 | MAYBE 62 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/AG01/#3.53.xml | MAYBE 73 | MAYBE 66 |
| tpdb-8.0/TRS/AG01/#3.54.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/AG01/#3.55.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^2 5131 | n^0 - n^2 1106 |
| tpdb-8.0/TRS/AG01/#3.57.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AG01/#3.5.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AG01/#3.6.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AG01/#3.7.xml | n^0 - n^1 1382 | n^0 - n^2 1141 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/AG01/#3.8b.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AotoYamada_05/001.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/AotoYamada_05/003.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/AotoYamada_05/004.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | n^0 - n^2 5127 | n^0 - n^2 1143 |
| tpdb-8.0/TRS/AotoYamada_05/006.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AotoYamada_05/009.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/AotoYamada_05/010.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/AotoYamada_05/011.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/AotoYamada_05/012.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/AotoYamada_05/013.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/AotoYamada_05/014.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/AotoYamada_05/015.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | MAYBE 71 | MAYBE 65 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | n^0 - n^1 91 | n^0 - n^1 80 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/AotoYamada_05/020.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AotoYamada_05/021.xml | MAYBE 69 | MAYBE 67 |
| tpdb-8.0/TRS/AotoYamada_05/022.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | n^0 - n^2 5143 | n^0 - n^2 1122 |
| tpdb-8.0/TRS/AotoYamada_05/024.xml | MAYBE 66 | MAYBE 62 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | n^0 - n^1 92 | n^0 - n^1 77 |
| tpdb-8.0/TRS/AotoYamada_05/026.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/AotoYamada_05/027.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AotoYamada_05/028.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/AotoYamada_05/Ex1SimplyTyped.xml | MAYBE 69 | MAYBE 67 |
| tpdb-8.0/TRS/AotoYamada_05/Ex5TermProof.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_05/Ex10Functional.xml | MAYBE 73 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | n^0 - n^1 93 | n^0 - n^1 80 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_05/Ex2PrimRec.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_05/Ex3Lists.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Applicative_05/Ex5Folding.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/Applicative_05/Ex5Sorting.xml | MAYBE 73 | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Applicative_05/Ex6Folding.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Applicative_05/Ex7_9.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml | MAYBE 72 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | MAYBE 79 | MAYBE 70 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinusHard.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_05/nonTermF.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml | MAYBE 60142 | MAYBE 60168 |
| tpdb-8.0/TRS/Applicative_05/TakeDropWhile.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_05/termMonTypes.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_05/TreeHeight.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_05/TreeLevels.xml | MAYBE 108 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_05/TreeMap.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Applicative_05/TreeSize.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/Applicative_05/TypeEx1.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Applicative_05/TypeEx3.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 23027 | MAYBE 60110 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | MAYBE 74 | MAYBE 69 |
| tpdb-8.0/TRS/Applicative_first_order_05/02.xml | MAYBE 73 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_first_order_05/06.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_first_order_05/08.xml | MAYBE 73 | MAYBE 69 |
| tpdb-8.0/TRS/Applicative_first_order_05/11.xml | MAYBE 77 | MAYBE 70 |
| tpdb-8.0/TRS/Applicative_first_order_05/12.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_first_order_05/13.xml | MAYBE 74 | MAYBE 68 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | MAYBE 74 | MAYBE 68 |
| tpdb-8.0/TRS/Applicative_first_order_05/18.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_first_order_05/21.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_first_order_05/29.xml | MAYBE 71 | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_first_order_05/30.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml | MAYBE 87 | MAYBE 75 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.13.xml | MAYBE 81 | MAYBE 72 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.16.xml | MAYBE 73 | MAYBE 68 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml | MAYBE 73 | MAYBE 68 |
| tpdb-8.0/TRS/Applicative_first_order_05/31.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.22.xml | MAYBE 74 | MAYBE 68 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.27.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.2.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.36.xml | MAYBE 72 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_first_order_05/33.xml | MAYBE 74 | MAYBE 68 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.40.xml | MAYBE 75 | MAYBE 70 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml | MAYBE 74 | MAYBE 69 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.52.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.55.xml | MAYBE 81 | MAYBE 72 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | MAYBE 76 | MAYBE 68 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.6.xml | MAYBE 76 | MAYBE 69 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml | MAYBE 73 | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml | MAYBE 73 | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_first_order_05/minsort.xml | MAYBE 79 | MAYBE 71 |
| tpdb-8.0/TRS/Applicative_first_order_05/motivation.xml | MAYBE 71 | MAYBE 68 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml | MAYBE 77 | MAYBE 72 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect.xml | MAYBE 73 | MAYBE 69 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | MAYBE 80 | MAYBE 71 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | MAYBE 72 | MAYBE 68 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | MAYBE 64 | MAYBE 62 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml | MAYBE 64 | MAYBE 61 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | MAYBE 73 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | MAYBE 74 | MAYBE 68 |
| tpdb-8.0/TRS/AProVE_04/improved_usable2.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 60236 | MAYBE 60199 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^5 32334 | MAYBE 60293 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | MAYBE 60350 | MAYBE 60250 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 60302 | MAYBE 60257 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | MAYBE 60334 | n^0 - n^3 26542 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^3 11110 | MAYBE 60201 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 60283 | MAYBE 60255 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 60263 | MAYBE 60231 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | MAYBE 72 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 60194 | MAYBE 60320 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 60203 | MAYBE 60472 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | MAYBE 74 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/kabasci02.xml | MAYBE 73 | MAYBE 68 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/otto04.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/otto05.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/otto09.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/otto12.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/thiemann02.xml | MAYBE 74 | MAYBE 68 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/thiemann06.xml | MAYBE 69 | MAYBE 68 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/thiemann08.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/thiemann09.xml | MAYBE 69 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/thiemann10.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/thiemann11.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | MAYBE 68 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/thiemann18.xml | MAYBE 72 | MAYBE 68 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/thiemann20.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | MAYBE 74 | MAYBE 68 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/thiemann30.xml | MAYBE 74 | MAYBE 69 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/thiemann32.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | MAYBE 67 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/thiemann35.xml | MAYBE 73 | MAYBE 69 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/thiemann38.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 70 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/wiehe07.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/AProVE_07/wiehe09.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_07/wiehe12.xml | MAYBE 74 | MAYBE 69 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 18819 | MAYBE 60276 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 46805 | MAYBE 60266 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Beerendonk_07/11.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | MAYBE 70 | MAYBE 64 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 67 | MAYBE 62 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/CiME_04/append.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 84 | MAYBE 73 |
| tpdb-8.0/TRS/CiME_04/boolean_rings.xml | MAYBE 69 | MAYBE 63 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 103 | n^0 - n^1 88 |
| tpdb-8.0/TRS/CiME_04/fact-hard.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 60302 | MAYBE 60204 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 60341 | MAYBE 60169 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | MAYBE 71 | MAYBE 68 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 72 | MAYBE 65 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | MAYBE 68 | MAYBE 67 |
| tpdb-8.0/TRS/CiME_04/log2.xml | MAYBE 73 | MAYBE 68 |
| tpdb-8.0/TRS/CiME_04/lse.xml | MAYBE 74 | MAYBE 69 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | MAYBE 74 | MAYBE 69 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | MAYBE 155 | MAYBE 150 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | MAYBE 73 | MAYBE 67 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | MAYBE 74 | MAYBE 66 |
| tpdb-8.0/TRS/CiME_04/tree.xml | MAYBE 76 | MAYBE 70 |
| tpdb-8.0/TRS/Der95/01.xml | n^0 - n^1 93 | n^0 - n^1 85 |
| tpdb-8.0/TRS/Der95/02.xml | n^0 - n^1 89 | n^0 - n^1 83 |
| tpdb-8.0/TRS/Der95/03.xml | n^0 - n^1 94 | n^0 - n^1 77 |
| tpdb-8.0/TRS/Der95/04.xml | n^0 - n^1 104 | n^0 - n^1 81 |
| tpdb-8.0/TRS/Der95/06.xml | MAYBE 60160 | MAYBE 60120 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 5137 | n^0 - n^2 1093 |
| tpdb-8.0/TRS/Der95/08.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^2 5105 | n^0 - n^2 1086 |
| tpdb-8.0/TRS/Der95/11.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Der95/13.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Der95/17.xml | MAYBE 39086 | MAYBE 60246 |
| tpdb-8.0/TRS/Der95/18.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 59226 | MAYBE 60313 |
| tpdb-8.0/TRS/Der95/21.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^2 5103 | n^0 - n^2 1090 |
| tpdb-8.0/TRS/Der95/28.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Der95/30.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/Der95/31.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Der95/33.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 102 | n^0 - n^1 98 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | MAYBE 60205 | MAYBE 60238 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | MAYBE 60197 | MAYBE 60158 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | MAYBE 68 | MAYBE 63 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | n^0 - n^2 17293 | n^0 - n^2 21956 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | MAYBE 60216 | MAYBE 60240 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^1 97 | n^0 - n^1 93 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^1 97 | n^0 - n^1 89 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 65 | MAYBE 64 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | MAYBE 64 | MAYBE 63 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 13078 | MAYBE 60070 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 13086 | MAYBE 60070 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 13085 | MAYBE 60068 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 15245 | MAYBE 60070 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 15240 | MAYBE 60070 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 65 | MAYBE 65 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml | MAYBE 13091 | MAYBE 60070 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | MAYBE 60171 | MAYBE 60341 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 25518 | MAYBE 60153 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | MAYBE 130 | MAYBE 107 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | n^0 - n^1 90 | n^0 - n^1 78 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | n^0 - n^1 108 | n^0 - n^1 89 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml | n^0 - n^2 17002 | n^0 - n^2 9570 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 60232 | MAYBE 60102 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | n^0 - n^1 111 | n^0 - n^1 85 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 5123 | n^0 - n^2 1101 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 60152 | MAYBE 60305 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | MAYBE 68 | MAYBE 70 |
| tpdb-8.0/TRS/Mixed_CTRS/quick.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | n^0 - n^1 89 | n^0 - n^1 85 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | MAYBE 58790 | MAYBE 60151 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | MAYBE 66 | MAYBE 65 |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | n^0 - n^1 88 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | MAYBE 60131 | MAYBE 60116 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | MAYBE 60310 | MAYBE 60098 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | MAYBE 60304 | MAYBE 60437 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | MAYBE 69 | MAYBE 63 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^2 5102 | n^0 - n^2 1090 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 90 | n^0 - n^1 80 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | MAYBE 68 | MAYBE 68 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^2 5128 | n^0 - n^2 1098 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Mixed_TRS/motivation.xml | MAYBE 67 | MAYBE 66 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 64 | MAYBE 62 |
| tpdb-8.0/TRS/Mixed_TRS/while2.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Rubio_04/aoto.xml | n^0 - n^1 114 | n^0 - n^1 95 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 5137 | n^0 - n^2 1121 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Rubio_04/bn129.xml | MAYBE 60175 | MAYBE 60215 |
| tpdb-8.0/TRS/Rubio_04/division.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Rubio_04/elimdupl.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 105 | n^0 - n^1 86 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 92 | n^0 - n^1 79 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | n^0 - n^2 5125 | n^0 - n^2 1102 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | n^0 - n^1 99 | n^0 - n^1 92 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Rubio_04/ma96.xml | MAYBE 75 | MAYBE 69 |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | n^0 - n^1 87 | n^0 - n^1 81 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 86 | n^0 - n^1 80 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 60150 | MAYBE 60141 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 101 | n^0 - n^1 94 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | MAYBE 65 | MAYBE 64 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | MAYBE 72 | MAYBE 68 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 96 | n^0 - n^1 89 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 101 | n^0 - n^1 141 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove1.xml | MAYBE 72 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | MAYBE 72 | MAYBE 66 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 72 | MAYBE 68 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 82 | MAYBE 73 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox1.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | n^0 - n^1 89 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | n^0 - n^3 19917 | n^0 - n^3 16196 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | MAYBE 59950 | MAYBE 60186 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | MAYBE 42075 | n^0 - n^3 17265 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml | MAYBE 65 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml | MAYBE 71 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 60113 | MAYBE 60189 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 98 | MAYBE 60261 |
| tpdb-8.0/TRS/Secret_06_TRS/2.xml | MAYBE 60207 | MAYBE 60290 |
| tpdb-8.0/TRS/Secret_06_TRS/3.xml | MAYBE 60196 | MAYBE 60254 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | MAYBE 60173 | MAYBE 60261 |
| tpdb-8.0/TRS/Secret_06_TRS/5.xml | MAYBE 60196 | MAYBE 60334 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^3 10487 | n^0 - n^3 1960 |
| tpdb-8.0/TRS/Secret_06_TRS/7.xml | n^0 - n^1 679 | n^0 - n^1 373 |
| tpdb-8.0/TRS/Secret_06_TRS/8.xml | n^0 - n^1 94 | n^0 - n^1 81 |
| tpdb-8.0/TRS/Secret_06_TRS/9.xml | n^0 - n^1 89 | n^0 - n^1 88 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | MAYBE 72 | MAYBE 68 |
| tpdb-8.0/TRS/Secret_06_TRS/cime1.xml | MAYBE 72 | MAYBE 74 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-18.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | MAYBE 72 | MAYBE 66 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Secret_06_TRS/times.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | n^0 - n^1 10183 | MAYBE 60116 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml | MAYBE 56901 | MAYBE 60115 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | MAYBE 56550 | MAYBE 60115 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Secret_07_SRS/dj.xml | MAYBE 60165 | MAYBE 60115 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | MAYBE 60161 | MAYBE 60114 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | MAYBE 60146 | MAYBE 60252 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | MAYBE 60261 | MAYBE 60285 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | MAYBE 60168 | MAYBE 60216 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | MAYBE 60241 | MAYBE 60285 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | MAYBE 60279 | MAYBE 60344 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | MAYBE 60207 | MAYBE 60320 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | MAYBE 74 | MAYBE 67 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 74 | MAYBE 69 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | MAYBE 72 | MAYBE 68 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 72 | MAYBE 66 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | MAYBE 72 | MAYBE 68 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 72 | MAYBE 68 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/2.01.xml | n^0 - n^2 5145 | n^0 - n^2 1136 |
| tpdb-8.0/TRS/SK90/2.02.xml | MAYBE 60178 | MAYBE 60245 |
| tpdb-8.0/TRS/SK90/2.03.xml | n^0 - n^2 5129 | n^0 - n^2 1094 |
| tpdb-8.0/TRS/SK90/2.04.xml | n^0 - n^2 5119 | n^0 - n^2 1093 |
| tpdb-8.0/TRS/SK90/2.05.xml | MAYBE 68 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/2.06.xml | n^0 - n^2 5119 | n^0 - n^2 1112 |
| tpdb-8.0/TRS/SK90/2.07.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/2.08.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/2.09.xml | n^0 - n^2 5118 | n^0 - n^2 1091 |
| tpdb-8.0/TRS/SK90/2.10.xml | MAYBE 59181 | MAYBE 60266 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^2 5112 | n^0 - n^2 1098 |
| tpdb-8.0/TRS/SK90/2.12.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/2.13.xml | MAYBE 66 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/2.14.xml | MAYBE 60151 | MAYBE 60486 |
| tpdb-8.0/TRS/SK90/2.15.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/2.16.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/2.17.xml | MAYBE 67 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/2.18.xml | MAYBE 66 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/2.19.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/2.20.xml | MAYBE 67 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/2.21.xml | MAYBE 64 | MAYBE 62 |
| tpdb-8.0/TRS/SK90/2.22.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/2.23.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/2.24.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/SK90/2.25.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/2.26.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/2.27.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/2.28.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/2.29.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/2.30.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/2.31.xml | n^0 - n^2 5118 | n^0 - n^2 1106 |
| tpdb-8.0/TRS/SK90/2.32.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/2.33.xml | n^0 - n^2 5114 | n^0 - n^2 1109 |
| tpdb-8.0/TRS/SK90/2.34.xml | MAYBE 60142 | MAYBE 60224 |
| tpdb-8.0/TRS/SK90/2.35.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/SK90/2.36.xml | n^0 - n^2 5107 | n^0 - n^2 1097 |
| tpdb-8.0/TRS/SK90/2.37.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/2.38.xml | n^0 - n^2 5111 | n^0 - n^2 1099 |
| tpdb-8.0/TRS/SK90/2.39.xml | MAYBE 60148 | MAYBE 60345 |
| tpdb-8.0/TRS/SK90/2.40.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/2.41.xml | n^0 - n^2 5138 | n^0 - n^2 1117 |
| tpdb-8.0/TRS/SK90/2.42.xml | MAYBE 60141 | MAYBE 60193 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 67 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/2.44.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/2.45.xml | MAYBE 65 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/2.46.xml | n^0 - n^2 5119 | n^0 - n^2 1104 |
| tpdb-8.0/TRS/SK90/2.47.xml | n^0 - n^2 5118 | n^0 - n^2 1082 |
| tpdb-8.0/TRS/SK90/2.48.xml | n^0 - n^1 96 | n^0 - n^1 83 |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^1 101 | n^0 - n^1 93 |
| tpdb-8.0/TRS/SK90/2.50.xml | MAYBE 59614 | MAYBE 60135 |
| tpdb-8.0/TRS/SK90/2.51.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/SK90/2.52.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^2 5105 | n^0 - n^2 1097 |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^2 5101 | n^0 - n^2 1086 |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^2 5114 | n^0 - n^2 1087 |
| tpdb-8.0/TRS/SK90/2.56.xml | n^0 - n^1 88 | n^0 - n^1 81 |
| tpdb-8.0/TRS/SK90/2.57.xml | MAYBE 64 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/2.58.xml | MAYBE 64 | MAYBE 62 |
| tpdb-8.0/TRS/SK90/2.59.xml | MAYBE 64 | MAYBE 62 |
| tpdb-8.0/TRS/SK90/2.60.xml | n^0 - n^1 86 | n^0 - n^1 98 |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^1 111 | n^0 - n^1 98 |
| tpdb-8.0/TRS/SK90/4.01.xml | n^0 - n^1 96 | n^0 - n^1 82 |
| tpdb-8.0/TRS/SK90/4.02.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/SK90/4.03.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/4.04.xml | n^0 - n^2 5115 | n^0 - n^2 1112 |
| tpdb-8.0/TRS/SK90/4.05.xml | MAYBE 68 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/4.06.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/4.07.xml | n^0 - n^2 5134 | n^0 - n^2 1096 |
| tpdb-8.0/TRS/SK90/4.08.xml | n^0 - n^2 5102 | n^0 - n^2 1085 |
| tpdb-8.0/TRS/SK90/4.09.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/SK90/4.10.xml | MAYBE 70 | MAYBE 64 |
| tpdb-8.0/TRS/SK90/4.11.xml | n^0 - n^2 5126 | n^0 - n^2 1095 |
| tpdb-8.0/TRS/SK90/4.12.xml | n^0 - n^2 5128 | n^0 - n^2 1122 |
| tpdb-8.0/TRS/SK90/4.13.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/SK90/4.14.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/SK90/4.15.xml | n^0 - n^2 5105 | n^0 - n^2 1094 |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 110 | n^0 - n^1 115 |
| tpdb-8.0/TRS/SK90/4.17.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/4.18.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/4.19.xml | n^0 - n^1 95 | n^0 - n^1 80 |
| tpdb-8.0/TRS/SK90/4.20.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/SK90/4.21.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/SK90/4.22.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/4.23.xml | MAYBE 67 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/4.24.xml | MAYBE 67 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^2 5126 | n^0 - n^2 1099 |
| tpdb-8.0/TRS/SK90/4.26.xml | MAYBE 60139 | MAYBE 60252 |
| tpdb-8.0/TRS/SK90/4.27.xml | n^0 - n^3 10576 | MAYBE 60151 |
| tpdb-8.0/TRS/SK90/4.28.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^2 5132 | n^0 - n^2 1197 |
| tpdb-8.0/TRS/SK90/4.30.xml | n^0 - n^4 20464 | MAYBE 60262 |
| tpdb-8.0/TRS/SK90/4.31.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/4.32.xml | MAYBE 45296 | MAYBE 60199 |
| tpdb-8.0/TRS/SK90/4.33.xml | n^0 - n^1 101 | n^0 - n^1 80 |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 57316 | MAYBE 60112 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 97 | n^0 - n^1 77 |
| tpdb-8.0/TRS/SK90/4.36.xml | n^0 - n^1 101 | n^0 - n^1 81 |
| tpdb-8.0/TRS/SK90/4.37.xml | n^0 - n^1 103 | n^0 - n^1 82 |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^2 5133 | n^0 - n^2 1109 |
| tpdb-8.0/TRS/SK90/4.39.xml | n^0 - n^2 5105 | n^0 - n^2 1101 |
| tpdb-8.0/TRS/SK90/4.40.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/SK90/4.41.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/4.42.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/4.43.xml | MAYBE 60143 | MAYBE 60251 |
| tpdb-8.0/TRS/SK90/4.44.xml | n^0 - n^1 96 | n^0 - n^1 82 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 89 | n^0 - n^1 77 |
| tpdb-8.0/TRS/SK90/4.46.xml | n^0 - n^1 107 | n^0 - n^1 84 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^1 88 | n^0 - n^2 1668 |
| tpdb-8.0/TRS/SK90/4.48.xml | n^0 - n^1 93 | n^0 - n^1 81 |
| tpdb-8.0/TRS/SK90/4.49.xml | MAYBE 66 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/4.50.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^3 10278 | n^0 - n^3 1214 |
| tpdb-8.0/TRS/SK90/4.52.xml | n^0 - n^2 5150 | n^0 - n^2 1141 |
| tpdb-8.0/TRS/SK90/4.53.xml | MAYBE 66 | MAYBE 65 |
| tpdb-8.0/TRS/SK90/4.54.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/SK90/4.55.xml | n^0 - n^1 89 | n^0 - n^1 81 |
| tpdb-8.0/TRS/SK90/4.56.xml | n^0 - n^1 96 | n^0 - n^1 79 |
| tpdb-8.0/TRS/SK90/4.57.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/SK90/4.59.xml | MAYBE 70 | MAYBE 68 |
| tpdb-8.0/TRS/SK90/4.60.xml | MAYBE 67 | MAYBE 66 |
| tpdb-8.0/TRS/SK90/4.61.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | MAYBE 64 | MAYBE 63 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex15_Luc98.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml | MAYBE 29022 | MAYBE 60125 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex24_GM04.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex2_Luc03b.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml | MAYBE 66 | MAYBE 62 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | MAYBE 60126 | MAYBE 60357 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | MAYBE 20539 | MAYBE 60199 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_Zan97.xml | MAYBE 66 | MAYBE 66 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | MAYBE 60149 | MAYBE 60233 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml | MAYBE 68 | MAYBE 67 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | MAYBE 15506 | MAYBE 60126 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml | MAYBE 65 | MAYBE 65 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex7_BLR02.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex9_BLR02.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | MAYBE 15591 | MAYBE 60115 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml | MAYBE 60141 | MAYBE 60234 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | MAYBE 60141 | MAYBE 60261 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM99.xml | MAYBE 69 | MAYBE 67 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | MAYBE 66 | MAYBE 62 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | MAYBE 64 | MAYBE 62 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | MAYBE 13548 | MAYBE 60134 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml | MAYBE 14223 | MAYBE 60119 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 41258 | MAYBE 60117 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | MAYBE 13325 | MAYBE 60132 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | MAYBE 22384 | MAYBE 60184 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | MAYBE 13200 | MAYBE 60118 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/muladd.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | n^0 - n^1 96 | n^0 - n^1 88 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | MAYBE 65 | MAYBE 64 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml | MAYBE 84 | MAYBE 76 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml | MAYBE 79 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | NO 68 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml | MAYBE 69 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | NO 63 | MAYBE 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_FR.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml | MAYBE 66 | MAYBE 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_iGM.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_L.xml | MAYBE 13743 | MAYBE 60133 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_Z.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_iGM.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml | MAYBE 28166 | MAYBE 60151 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml | MAYBE 60254 | MAYBE 60240 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | n^0 - n^3 10275 | n^0 - n^3 1193 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml | n^0 - n^3 10230 | n^0 - n^3 1190 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml | n^0 - n^3 10524 | n^0 - n^3 2197 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml | MAYBE 13078 | MAYBE 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | n^0 - n^1 462 | n^0 - n^1 667 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml | MAYBE 76 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | MAYBE 72 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml | MAYBE 79 | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | NO 67 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | MAYBE 60337 | MAYBE 60118 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml | n^0 - n^1 94 | n^0 - n^1 90 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | MAYBE 60138 | MAYBE 60296 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml | MAYBE 60259 | MAYBE 60115 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml | MAYBE 13088 | MAYBE 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml | MAYBE 60242 | n^0 - n^3 30728 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^2 5126 | n^0 - n^2 1110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^2 5127 | n^0 - n^2 1112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml | n^0 - n^2 5148 | n^0 - n^2 1205 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml | n^0 - n^1 98 | n^0 - n^1 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | n^0 - n^1 110 | n^0 - n^1 79 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | MAYBE 74 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_iGM.xml | MAYBE 73 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml | MAYBE 40110 | MAYBE 60252 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml | MAYBE 73 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml | MAYBE 72 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml | NO 66 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml | MAYBE 66 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_iGM.xml | MAYBE 66 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | MAYBE 13094 | MAYBE 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml | MAYBE 68 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_iGM.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | NO 66 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | MAYBE 60403 | MAYBE 60404 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml | MAYBE 60154 | MAYBE 60329 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | MAYBE 60300 | MAYBE 60656 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml | MAYBE 60314 | MAYBE 60273 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | NO 65 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml | MAYBE 60153 | MAYBE 60240 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | MAYBE 60261 | MAYBE 60195 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml | MAYBE 60158 | MAYBE 60199 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | n^0 - n^1 106 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | n^0 - n^1 1565 | n^0 - n^1 847 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | MAYBE 10077 | MAYBE 60074 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml | MAYBE 60340 | MAYBE 60356 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | n^0 - n^2 5153 | n^0 - n^2 1133 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml | n^0 - n^2 5132 | n^0 - n^2 1145 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml | n^0 - n^3 10822 | n^0 - n^3 2789 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml | n^0 - n^1 97 | n^0 - n^1 79 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | n^0 - n^1 105 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml | MAYBE 66 | MAYBE 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_iGM.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_L.xml | MAYBE 13094 | MAYBE 60071 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_iGM.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml | MAYBE 13094 | MAYBE 60068 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml | n^0 - n^2 6099 | n^0 - n^2 3114 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml | n^0 - n^2 5178 | n^0 - n^2 1190 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml | n^0 - n^2 5139 | n^0 - n^2 1141 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml | n^0 - n^2 5433 | n^0 - n^2 3087 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml | n^0 - n^1 96 | n^0 - n^1 78 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml | n^0 - n^1 105 | n^0 - n^2 1152 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml | MAYBE 77 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_iGM.xml | MAYBE 74 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | n^0 - n^1 95 | n^0 - n^1 87 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | MAYBE 77 | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml | MAYBE 74 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml | MAYBE 69 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | n^0 - n^1 88 | n^0 - n^1 84 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml | MAYBE 66 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml | NO 64 | MAYBE 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml | MAYBE 74 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml | MAYBE 73 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | NO 66 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | MAYBE 76 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml | MAYBE 73 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml | n^0 - n^1 90 | n^0 - n^1 84 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml | MAYBE 68 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | n^0 - n^1 97 | n^0 - n^1 75 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | MAYBE 60374 | MAYBE 60282 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^2 5149 | n^0 - n^2 1167 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^3 10688 | n^0 - n^3 3566 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml | MAYBE 60312 | MAYBE 60249 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml | n^0 - n^1 105 | n^0 - n^1 87 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | n^0 - n^1 94 | n^0 - n^1 89 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | MAYBE 76 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml | MAYBE 74 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml | NO 65 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml | NO 66 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml | MAYBE 66 | MAYBE 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | MAYBE 60361 | MAYBE 60271 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml | n^0 - n^1 91 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml | n^0 - n^2 5129 | n^0 - n^2 1120 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | n^0 - n^4 25328 | MAYBE 60263 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | NO 65 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml | MAYBE 74 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml | MAYBE 80 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | NO 68 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml | MAYBE 85 | MAYBE 75 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_FR.xml | MAYBE 74 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml | MAYBE 74 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml | MAYBE 85 | MAYBE 75 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | NO 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_Z.xml | MAYBE 75 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | NO 66 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | MAYBE 66 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml | MAYBE 81 | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml | MAYBE 79 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | NO 67 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml | MAYBE 78 | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml | MAYBE 72 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | MAYBE 73 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | MAYBE 76 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml | NO 68 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | MAYBE 60399 | MAYBE 60160 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | MAYBE 60144 | MAYBE 60363 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml | MAYBE 60211 | MAYBE 60159 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml | MAYBE 60288 | MAYBE 60306 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml | NO 65 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 98 | n^0 - n^1 84 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | MAYBE 88 | MAYBE 78 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | MAYBE 75 | MAYBE 81 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml | MAYBE 85 | MAYBE 76 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | NO 66 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_Z.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | MAYBE 72 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | NO 66 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | n^0 - n^5 42985 | MAYBE 60245 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | MAYBE 60169 | MAYBE 60234 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | n^0 - n^1 113 | n^0 - n^1 84 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | n^0 - n^1 1561 | n^0 - n^1 597 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml | n^0 - n^1 92 | n^0 - n^1 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml | MAYBE 71 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_iGM.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | n^0 - n^1 88 | n^0 - n^1 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml | MAYBE 74 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml | MAYBE 68 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_iGM.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | NO 67 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml | MAYBE 74 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml | MAYBE 68 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_iGM.xml | MAYBE 73 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml | NO 67 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | MAYBE 73 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_iGM.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | n^0 - n^1 100 | n^0 - n^1 90 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml | MAYBE 67 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml | MAYBE 65 | MAYBE 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_iGM.xml | MAYBE 67 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml | MAYBE 60367 | MAYBE 60176 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | MAYBE 60177 | MAYBE 60203 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^2 5134 | n^0 - n^2 1100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml | n^0 - n^5 25167 | MAYBE 60275 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml | MAYBE 85 | MAYBE 74 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | MAYBE 72 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml | MAYBE 81 | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml | NO 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | MAYBE 68 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | n^0 - n^2 5486 | n^0 - n^2 2045 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml | n^0 - n^2 5126 | n^0 - n^2 1097 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | n^0 - n^2 5124 | n^0 - n^2 1115 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | n^0 - n^3 10525 | n^0 - n^3 1654 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml | n^0 - n^1 91 | n^0 - n^1 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_Z.xml | MAYBE 16705 | MAYBE 60186 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | MAYBE 60384 | MAYBE 60365 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | MAYBE 60152 | MAYBE 60373 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml | MAYBE 60305 | MAYBE 60329 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml | MAYBE 60304 | MAYBE 60288 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | NO 67 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_Z.xml | MAYBE 60279 | MAYBE 60364 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | MAYBE 60415 | MAYBE 60371 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml | MAYBE 60147 | MAYBE 60418 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | n^0 - n^3 15459 | MAYBE 60406 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml | MAYBE 60298 | MAYBE 60303 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml | NO 65 | MAYBE 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_Z.xml | MAYBE 60248 | MAYBE 60565 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml | MAYBE 78 | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml | MAYBE 71 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml | MAYBE 74 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_iGM.xml | MAYBE 76 | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml | NO 67 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml | MAYBE 71 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml | MAYBE 75 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml | MAYBE 68 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml | MAYBE 74 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | NO 65 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_Z.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | MAYBE 60351 | MAYBE 60245 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | MAYBE 60192 | MAYBE 60290 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | n^0 - n^5 40339 | MAYBE 60259 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml | MAYBE 60313 | MAYBE 60259 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml | n^0 - n^1 99 | n^0 - n^1 84 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | n^0 - n^1 89 | n^0 - n^1 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml | MAYBE 82 | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml | MAYBE 71 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml | MAYBE 76 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | MAYBE 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml | MAYBE 70 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml | MAYBE 87 | MAYBE 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml | MAYBE 70 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml | MAYBE 75 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml | MAYBE 83 | MAYBE 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml | NO 67 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml | MAYBE 69 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 78 | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | NO 70 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml | MAYBE 83 | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml | NO 70 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml | MAYBE 80 | MAYBE 73 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml | MAYBE 77 | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml | MAYBE 71 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml | NO 66 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml | MAYBE 73 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | NO 68 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml | MAYBE 71 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | MAYBE 60252 | MAYBE 60193 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | NO 65 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml | MAYBE 60247 | MAYBE 60362 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | NO 68 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml | MAYBE 105 | MAYBE 84 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml | NO 72 | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | MAYBE 137 | MAYBE 99 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | NO 84 | MAYBE 82 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | MAYBE 125 | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml | MAYBE 101 | MAYBE 83 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml | MAYBE 85 | MAYBE 74 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | NO 67 | MAYBE 81 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml | MAYBE 93 | MAYBE 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml | NO 71 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | MAYBE 87 | MAYBE 76 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml | MAYBE 81 | MAYBE 74 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml | MAYBE 72 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | NO 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml | MAYBE 78 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | NO 72 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml | MAYBE 76 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml | MAYBE 72 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml | MAYBE 78 | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | NO 72 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | MAYBE 82 | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml | NO 69 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | MAYBE 78 | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml | MAYBE 77 | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml | MAYBE 72 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | NO 68 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml | MAYBE 75 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | NO 69 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | MAYBE 73 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml | MAYBE 73 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml | MAYBE 67 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml | NO 66 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml | MAYBE 68 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml | NO 68 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml | MAYBE 91 | MAYBE 73 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml | NO 70 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml | MAYBE 92 | MAYBE 78 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml | NO 73 | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml | MAYBE 88 | MAYBE 78 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml | MAYBE 83 | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml | MAYBE 76 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | NO 67 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml | MAYBE 77 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | NO 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml | MAYBE 76 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml | MAYBE 76 | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml | MAYBE 60186 | MAYBE 60259 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | NO 65 | MAYBE 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml | MAYBE 60264 | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml | NO 68 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml | MAYBE 60270 | MAYBE 60224 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | MAYBE 60372 | MAYBE 60258 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml | MAYBE 82 | MAYBE 73 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | NO 72 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | MAYBE 87 | MAYBE 76 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | MAYBE 60155 | MAYBE 60197 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml | MAYBE 83 | MAYBE 76 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | MAYBE 79 | MAYBE 73 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | MAYBE 60210 | MAYBE 60174 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | NO 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml | MAYBE 60182 | MAYBE 60193 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | MAYBE 60146 | MAYBE 60386 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | n^0 - n^2 7608 | n^0 - n^2 2184 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | n^0 - n^2 5665 | n^0 - n^2 1608 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml | n^0 - n^2 5138 | n^0 - n^2 1110 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml | NO 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml | n^0 - n^2 5127 | n^0 - n^2 1113 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml | n^0 - n^2 5128 | n^0 - n^2 1114 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml | MAYBE 75 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | NO 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml | MAYBE 75 | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | NO 71 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml | MAYBE 75 | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | MAYBE 73 | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml | MAYBE 69 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml | NO 69 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | NO 67 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml | MAYBE 69 | MAYBE 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | n^0 - n^2 5105 | n^0 - n^2 1093 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | NO 65 | MAYBE 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^2 5138 | n^0 - n^2 1138 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | NO 68 | MAYBE 65 |
| tpdb-8.0/TRS/Various_04/02.xml | MAYBE 70 | MAYBE 94 |
| tpdb-8.0/TRS/Various_04/03.xml | MAYBE 65 | MAYBE 64 |
| tpdb-8.0/TRS/Various_04/04.xml | MAYBE 70 | MAYBE 67 |
| tpdb-8.0/TRS/Various_04/05.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Various_04/06.xml | MAYBE 67 | MAYBE 66 |
| tpdb-8.0/TRS/Various_04/07.xml | n^0 - n^1 87 | n^0 - n^1 75 |
| tpdb-8.0/TRS/Various_04/08.xml | MAYBE 72 | MAYBE 66 |
| tpdb-8.0/TRS/Various_04/09.xml | MAYBE 67 | MAYBE 62 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 71 | MAYBE 66 |
| tpdb-8.0/TRS/Various_04/11.xml | MAYBE 68 | MAYBE 65 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 69 | MAYBE 67 |
| tpdb-8.0/TRS/Various_04/13.xml | MAYBE 71 | MAYBE 69 |
| tpdb-8.0/TRS/Various_04/14.xml | MAYBE 81 | MAYBE 73 |
| tpdb-8.0/TRS/Various_04/15.xml | MAYBE 60113 | MAYBE 60154 |
| tpdb-8.0/TRS/Various_04/18.xml | MAYBE 60262 | MAYBE 60102 |
| tpdb-8.0/TRS/Various_04/19.xml | MAYBE 53473 | MAYBE 60266 |
| tpdb-8.0/TRS/Various_04/21.xml | MAYBE 60189 | MAYBE 60165 |
| tpdb-8.0/TRS/Various_04/22.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 5145 | n^0 - n^2 1135 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 19288 | n^0 - n^1 21854 |
| tpdb-8.0/TRS/Various_04/25.xml | n^0 - n^1 96 | n^0 - n^1 87 |
| tpdb-8.0/TRS/Various_04/26.xml | MAYBE 66 | MAYBE 63 |
| tpdb-8.0/TRS/Various_04/27.xml | n^0 - n^1 87 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | MAYBE 60160 | MAYBE 60207 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | MAYBE 59318 | MAYBE 60201 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | n^0 - n^2 13577 | n^0 - n^2 2007 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | n^0 - n^1 89 | n^0 - n^1 88 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | MAYBE 57655 | MAYBE 60324 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | MAYBE 57052 | MAYBE 60254 |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | MAYBE 60130 | MAYBE 60250 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | MAYBE 60125 | MAYBE 60104 |
| tpdb-8.0/TRS/Waldmann_06/jwno3.xml | MAYBE 60173 | MAYBE 60460 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | MAYBE 60127 | MAYBE 60324 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | MAYBE 60136 | MAYBE 60121 |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | MAYBE 59708 | MAYBE 60327 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | MAYBE 60156 | MAYBE 60487 |
| tpdb-8.0/TRS/Waldmann_06/jwno8.xml | MAYBE 58597 | MAYBE 60134 |
| tpdb-8.0/TRS/Waldmann_06/jwno9.xml | MAYBE 58925 | MAYBE 60131 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | MAYBE 65 | MAYBE 64 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | MAYBE 65 | MAYBE 63 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | n^0 - n^1 93 | n^0 - n^1 88 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | n^0 - n^2 13474 | n^0 - n^2 2315 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | n^0 - n^3 14098 | MAYBE 60204 |
| tpdb-8.0/TRS/Zantema_04/z001.xml | n^0 - n^1 10391 | MAYBE 60117 |
| tpdb-8.0/TRS/Zantema_05/jw01.xml | n^0 - n^1 87 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | n^0 - n^1 89 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | n^0 - n^1 96 | n^0 - n^1 83 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | n^0 - n^1 94 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw05.xml | n^0 - n^1 90 | n^0 - n^1 81 |
| tpdb-8.0/TRS/Zantema_05/jw06.xml | n^0 - n^1 93 | n^0 - n^1 83 |
| tpdb-8.0/TRS/Zantema_05/jw07.xml | n^0 - n^1 90 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw08.xml | n^0 - n^1 93 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | n^0 - n^1 90 | n^0 - n^1 87 |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | n^0 - n^1 86 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw12.xml | n^0 - n^1 88 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | n^0 - n^1 91 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw14.xml | n^0 - n^1 90 | n^0 - n^1 85 |
| tpdb-8.0/TRS/Zantema_05/jw15.xml | n^0 - n^1 87 | n^0 - n^1 88 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | n^0 - n^1 88 | n^0 - n^1 80 |
| tpdb-8.0/TRS/Zantema_05/jw17.xml | n^0 - n^1 88 | n^0 - n^1 81 |
| tpdb-8.0/TRS/Zantema_05/jw18.xml | n^0 - n^1 89 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | n^0 - n^1 88 | n^0 - n^1 83 |
| tpdb-8.0/TRS/Zantema_05/jw20.xml | n^0 - n^1 88 | n^0 - n^1 90 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | n^0 - n^1 88 | n^0 - n^1 89 |
| tpdb-8.0/TRS/Zantema_05/jw22.xml | n^0 - n^1 89 | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw23.xml | n^0 - n^1 88 | n^0 - n^1 89 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | n^0 - n^1 90 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | n^0 - n^1 88 | n^0 - n^1 85 |
| tpdb-8.0/TRS/Zantema_05/jw26.xml | n^0 - n^1 89 | n^0 - n^1 94 |
| tpdb-8.0/TRS/Zantema_05/jw27.xml | n^0 - n^1 87 | n^0 - n^1 88 |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | n^0 - n^1 151 | n^0 - n^1 86 |
| tpdb-8.0/TRS/Zantema_05/jw29.xml | n^0 - n^1 88 | n^0 - n^1 89 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | n^0 - n^1 90 | n^0 - n^1 88 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | n^0 - n^1 94 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw32.xml | n^0 - n^1 93 | n^0 - n^1 81 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | n^0 - n^1 87 | n^0 - n^1 83 |
| tpdb-8.0/TRS/Zantema_05/jw34.xml | n^0 - n^1 87 | n^0 - n^1 85 |
| tpdb-8.0/TRS/Zantema_05/jw35.xml | n^0 - n^1 90 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw36.xml | n^0 - n^1 89 | n^0 - n^1 83 |
| tpdb-8.0/TRS/Zantema_05/jw37.xml | n^0 - n^1 87 | n^0 - n^1 80 |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | n^0 - n^1 87 | n^0 - n^1 84 |
| tpdb-8.0/TRS/Zantema_05/jw39.xml | n^0 - n^1 91 | n^0 - n^1 89 |
| tpdb-8.0/TRS/Zantema_05/jw40.xml | n^0 - n^1 91 | n^0 - n^1 85 |
| tpdb-8.0/TRS/Zantema_05/jw41.xml | n^0 - n^1 89 | n^0 - n^1 86 |
| tpdb-8.0/TRS/Zantema_05/jw42.xml | n^0 - n^1 87 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | n^0 - n^1 92 | n^0 - n^1 83 |
| tpdb-8.0/TRS/Zantema_05/jw44.xml | n^0 - n^2 5129 | n^0 - n^2 1110 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | n^0 - n^2 5126 | n^0 - n^2 1101 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | n^0 - n^1 94 | n^0 - n^1 81 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | n^0 - n^1 10334 | MAYBE 60126 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | n^0 - n^1 96 | n^0 - n^1 90 |
| tpdb-8.0/TRS/Zantema_05/z03.xml | n^0 - n^1 10398 | n^0 - n^1 399 |
| tpdb-8.0/TRS/Zantema_05/z04.xml | MAYBE 64 | MAYBE 62 |
| tpdb-8.0/TRS/Zantema_05/z05.xml | MAYBE 60192 | MAYBE 60183 |
| tpdb-8.0/TRS/Zantema_05/z06.xml | MAYBE 59723 | MAYBE 60102 |
| tpdb-8.0/TRS/Zantema_05/z07.xml | n^0 - n^4 20301 | MAYBE 60159 |
| tpdb-8.0/TRS/Zantema_05/z08.xml | n^0 - n^3 10335 | n^0 - n^3 13717 |
| tpdb-8.0/TRS/Zantema_05/z09.xml | MAYBE 67 | MAYBE 64 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 69 | MAYBE 63 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | MAYBE 39106 | MAYBE 60260 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 60203 | MAYBE 60263 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 60201 | MAYBE 60233 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 60188 | MAYBE 60258 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 60152 | MAYBE 60267 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 60188 | MAYBE 60241 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 60190 | MAYBE 60392 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 60191 | MAYBE 60333 |
| tpdb-8.0/TRS/Zantema_05/z19.xml | MAYBE 60160 | MAYBE 60333 |
| tpdb-8.0/TRS/Zantema_05/z20.xml | MAYBE 60159 | MAYBE 60348 |
| tpdb-8.0/TRS/Zantema_05/z21.xml | MAYBE 60161 | MAYBE 60245 |
| tpdb-8.0/TRS/Zantema_05/z22.xml | MAYBE 60182 | MAYBE 60247 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 60225 | MAYBE 60313 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 60218 | MAYBE 60395 |
| tpdb-8.0/TRS/Zantema_05/z25.xml | n^0 - n^3 10214 | n^0 - n^3 9033 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^2 5285 | n^0 - n^2 1659 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MAYBE 67 | MAYBE 65 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 65 | MAYBE 66 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | MAYBE 58315 | MAYBE 60270 |
| tpdb-8.0/TRS/Zantema_05/z30.xml | n^0 - n^1 166 | n^0 - n^1 150 | 458 | 431 |